From 9be1449c036ec717bf30827d8a7d0322de392573 Mon Sep 17 00:00:00 2001 From: "Jonathan D.A. Jewell" <6759885+hyperpolymath@users.noreply.github.com> Date: Thu, 21 May 2026 00:35:16 +0100 Subject: [PATCH] docs: README internal-drift fix + DOC-04/05/06 done-in-tree (Refs #176, Refs #175) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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) --- README.adoc | 7 +++++-- docs/TECH-DEBT.adoc | 15 +++++++++++---- 2 files changed, 16 insertions(+), 6 deletions(-) diff --git a/README.adoc b/README.adoc index cdeb107b..23da1c54 100644 --- a/README.adoc +++ b/README.adoc @@ -22,7 +22,7 @@ Write software where the compiler helps enforce resource lifecycles, protocol st [NOTE] ==== -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. +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). ==== == What AffineScript Is @@ -611,7 +611,10 @@ ____ == Documentation - `docs/` — language and architecture documentation -- `.machine_readable/6a2/STATE.a2ml` — authoritative feature status +- `docs/CAPABILITY-MATRIX.adoc` — authoritative per-feature status (overrides everything else) +- `docs/TECH-DEBT.adoc` — coordination ledger (DOC/CORE/STDLIB/INT/SAT) +- `docs/ECOSYSTEM.adoc` — spine, AS↔typed-wasm contract, satellite registry, INT-01..12 +- `.machine_readable/6a2/STATE.a2ml` — machine-readable mirror of CAPABILITY-MATRIX (does not lead) - `examples/` — example programs - `tools/affinescript-lsp/` — language tooling - `editors/` — editor integrations diff --git a/docs/TECH-DEBT.adoc b/docs/TECH-DEBT.adoc index 2c2ec641..da6af9b3 100644 --- a/docs/TECH-DEBT.adoc +++ b/docs/TECH-DEBT.adoc @@ -60,11 +60,18 @@ from re-drifting. INT-01..12 |*DONE 2026-05-19* (this PR) |DOC-03 |`TECH-DEBT.adoc` — this ledger |*DONE 2026-05-19* (this PR) |DOC-04 |Authoritative banners on README/BACKEND-IMPLEMENTATION/ -COMPILER-CAPABILITIES/ALPHA-1-RELEASE-NOTES |open (this PR adds where -touched; full sweep tracked here) -|DOC-05 |`STATE.a2ml` drift flagged (it mirrors, does not lead) |open +COMPILER-CAPABILITIES/ALPHA-1-RELEASE-NOTES |*DONE in tree* +2026-05-21 (banners present on all four; README internal drift on +lines 25/614 also fixed — pointed both at CAPABILITY-MATRIX). MONITOR +posture stays live via DOC-08/09 +|DOC-05 |`STATE.a2ml` drift flagged (it mirrors, does not lead) |*DONE +in tree* 2026-05-21 (`authoritative-status-doc` + `drift-flag` keys +present in `.machine_readable/6a2/STATE.a2ml`; README "Documentation" +section now also labels STATE.a2ml as the mirror) |DOC-06 |`ROADMAP.adoc` Ecosystem Integration Track (INT-01..12) cross-links -this ledger |open +this ledger |*DONE in tree* 2026-05-21 (ROADMAP.adoc §"Status & +contract" cross-links CAPABILITY-MATRIX + TECH-DEBT + ECOSYSTEM and +names the INT-01..12 track) |DOC-07 |Stage A–E definitions authoritative (were never committed) | *DONE 2026-05-19* (ECOSYSTEM.adoc §The spine) |DOC-08 |MONITOR rule: reject backend-breadth over-claims |DONE (Hypatia/