Skip to content

Commit b112ab7

Browse files
docs: README internal-drift fix + DOC-04/05/06 done-in-tree (Refs #176, Refs #175) (#315)
README.adoc had two leftover lines (25, 614) calling `.machine_readable/6a2/STATE.a2ml` the authoritative status doc, which contradicts the line-10 banner pointing to CAPABILITY-MATRIX (and STATE.a2ml itself now self-declares as a mirror via its `authoritative-status-doc` + `drift-flag` keys). Both lines now point at CAPABILITY-MATRIX and label STATE.a2ml as the mirror. While here, bump TECH-DEBT DOC-04/05/06 from "open" to "DONE in tree" to match reality: the banners exist on all four target docs, the STATE.a2ml drift-flag is in place, and ROADMAP.adoc cross-links CAPABILITY-MATRIX + TECH-DEBT + ECOSYSTEM and names the INT-01..12 track. MONITOR posture (DOC-08/09) is unchanged. Refs #176, Refs #175 (epic is requirements-target — does not close here). Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent 7e9f181 commit b112ab7

2 files changed

Lines changed: 16 additions & 6 deletions

File tree

README.adoc

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ Write software where the compiler helps enforce resource lifecycles, protocol st
2222

2323
[NOTE]
2424
====
25-
Honest status sync (2026-04-12): affine/QTT and borrow checking are wired into the standard CLI paths today (`check`, `compile`, `eval`) and gate user programs. Dependent/refinement features are still parse-first in places, and some backend features remain incomplete, especially around effect-handler lowering in Wasm targets. See `.machine_readable/6a2/STATE.a2ml` for the authoritative per-feature status.
25+
Honest status sync (2026-04-12): affine/QTT and borrow checking are wired into the standard CLI paths today (`check`, `compile`, `eval`) and gate user programs. Dependent/refinement features are still parse-first in places, and some backend features remain incomplete, especially around effect-handler lowering in Wasm targets. See link:docs/CAPABILITY-MATRIX.adoc[docs/CAPABILITY-MATRIX.adoc] for the authoritative per-feature status (`.machine_readable/6a2/STATE.a2ml` mirrors that matrix; it does not lead).
2626
====
2727

2828
== What AffineScript Is
@@ -611,7 +611,10 @@ ____
611611
== Documentation
612612

613613
- `docs/` — language and architecture documentation
614-
- `.machine_readable/6a2/STATE.a2ml` — authoritative feature status
614+
- `docs/CAPABILITY-MATRIX.adoc` — authoritative per-feature status (overrides everything else)
615+
- `docs/TECH-DEBT.adoc` — coordination ledger (DOC/CORE/STDLIB/INT/SAT)
616+
- `docs/ECOSYSTEM.adoc` — spine, AS↔typed-wasm contract, satellite registry, INT-01..12
617+
- `.machine_readable/6a2/STATE.a2ml` — machine-readable mirror of CAPABILITY-MATRIX (does not lead)
615618
- `examples/` — example programs
616619
- `tools/affinescript-lsp/` — language tooling
617620
- `editors/` — editor integrations

docs/TECH-DEBT.adoc

Lines changed: 11 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -60,11 +60,18 @@ from re-drifting.
6060
INT-01..12 |*DONE 2026-05-19* (this PR)
6161
|DOC-03 |`TECH-DEBT.adoc` — this ledger |*DONE 2026-05-19* (this PR)
6262
|DOC-04 |Authoritative banners on README/BACKEND-IMPLEMENTATION/
63-
COMPILER-CAPABILITIES/ALPHA-1-RELEASE-NOTES |open (this PR adds where
64-
touched; full sweep tracked here)
65-
|DOC-05 |`STATE.a2ml` drift flagged (it mirrors, does not lead) |open
63+
COMPILER-CAPABILITIES/ALPHA-1-RELEASE-NOTES |*DONE in tree*
64+
2026-05-21 (banners present on all four; README internal drift on
65+
lines 25/614 also fixed — pointed both at CAPABILITY-MATRIX). MONITOR
66+
posture stays live via DOC-08/09
67+
|DOC-05 |`STATE.a2ml` drift flagged (it mirrors, does not lead) |*DONE
68+
in tree* 2026-05-21 (`authoritative-status-doc` + `drift-flag` keys
69+
present in `.machine_readable/6a2/STATE.a2ml`; README "Documentation"
70+
section now also labels STATE.a2ml as the mirror)
6671
|DOC-06 |`ROADMAP.adoc` Ecosystem Integration Track (INT-01..12) cross-links
67-
this ledger |open
72+
this ledger |*DONE in tree* 2026-05-21 (ROADMAP.adoc §"Status &
73+
contract" cross-links CAPABILITY-MATRIX + TECH-DEBT + ECOSYSTEM and
74+
names the INT-01..12 track)
6875
|DOC-07 |Stage A–E definitions authoritative (were never committed) |
6976
*DONE 2026-05-19* (ECOSYSTEM.adoc §The spine)
7077
|DOC-08 |MONITOR rule: reject backend-breadth over-claims |DONE (Hypatia/

0 commit comments

Comments
 (0)