diff --git a/.github/GOVERNANCE.md b/.github/GOVERNANCE.md index fd62221..4568a75 100644 --- a/.github/GOVERNANCE.md +++ b/.github/GOVERNANCE.md @@ -44,7 +44,7 @@ release schedules, contributor access, and community standards. - ADR statuses: `proposed`, `accepted`, `deprecated`, `superseded`, `rejected`. - ADRs provide a historical record of why decisions were made and what alternatives were considered. -- See `.machine_readable/META.a2ml` for the machine-readable ADR index. +- See `.machine_readable/descriptiles/META.a2ml` for the machine-readable ADR index. --- diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 3a8accd..ada1e9e 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -26,9 +26,9 @@ ### As Applicable -- [ ] `.machine_readable/STATE.a2ml` updated (if project state changed) -- [ ] `.machine_readable/ECOSYSTEM.a2ml` updated (if integrations changed) -- [ ] `.machine_readable/META.a2ml` updated (if architectural decisions changed) +- [ ] `.machine_readable/descriptiles/STATE.a2ml` updated (if project state changed) +- [ ] `.machine_readable/descriptiles/ECOSYSTEM.a2ml` updated (if integrations changed) +- [ ] `.machine_readable/descriptiles/META.a2ml` updated (if architectural decisions changed) - [ ] Documentation updated for user-facing changes - [ ] `TOPOLOGY.md` updated (if architecture changed) - [ ] `CHANGELOG` or release notes updated diff --git a/.machine_readable/ai/.clinerules b/.machine_readable/ai/.clinerules index eb95175..32565bc 100644 --- a/.machine_readable/ai/.clinerules +++ b/.machine_readable/ai/.clinerules @@ -2,7 +2,7 @@ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # Authoritative source: docs/AI-CONVENTIONS.md -# STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml. +# STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/descriptiles/STATE.a2ml. # LICENSE # All original code: MPL-2.0. diff --git a/.machine_readable/ai/.windsurfrules b/.machine_readable/ai/.windsurfrules index eb95175..32565bc 100644 --- a/.machine_readable/ai/.windsurfrules +++ b/.machine_readable/ai/.windsurfrules @@ -2,7 +2,7 @@ # Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) # Authoritative source: docs/AI-CONVENTIONS.md -# STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/STATE.a2ml. +# STARTUP: Read 0-AI-MANIFEST.a2ml first, then .machine_readable/descriptiles/STATE.a2ml. # LICENSE # All original code: MPL-2.0. diff --git a/.machine_readable/ai/AI.a2ml b/.machine_readable/ai/AI.a2ml index c4da8df..ed3cd3c 100644 --- a/.machine_readable/ai/AI.a2ml +++ b/.machine_readable/ai/AI.a2ml @@ -7,8 +7,8 @@ - Prefer to keep generated files out of source control, and regenerate them with the documented commands before committing. ## Workflow -1. Inspect `.machine_readable/STATE.a2ml` for blockers and next actions. -2. Respect any constraints listed inside `.machine_readable/AGENTIC.a2ml` when tooling changes are requested. +1. Inspect `.machine_readable/descriptiles/STATE.a2ml` for blockers and next actions. +2. Respect any constraints listed inside `.machine_readable/descriptiles/AGENTIC.a2ml` when tooling changes are requested. 3. After finishing edits, update STATE with your outcomes and commit with a concise, imperative message. ## Delivery Promises diff --git a/.machine_readable/ai/README.adoc b/.machine_readable/ai/README.adoc index 121bbc8..4e4f653 100644 --- a/.machine_readable/ai/README.adoc +++ b/.machine_readable/ai/README.adoc @@ -18,5 +18,5 @@ Recommended machine read order: * `.machine_readable/policies/MAINTENANCE-AXES.a2ml` * `.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml` * `.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml` -* `.machine_readable/STATE.a2ml` -* `.machine_readable/META.a2ml` +* `.machine_readable/descriptiles/STATE.a2ml` +* `.machine_readable/descriptiles/META.a2ml` diff --git a/.machine_readable/6a2/AGENTIC.a2ml b/.machine_readable/descriptiles/AGENTIC.a2ml similarity index 100% rename from .machine_readable/6a2/AGENTIC.a2ml rename to .machine_readable/descriptiles/AGENTIC.a2ml diff --git a/.machine_readable/6a2/ECOSYSTEM.a2ml b/.machine_readable/descriptiles/ECOSYSTEM.a2ml similarity index 100% rename from .machine_readable/6a2/ECOSYSTEM.a2ml rename to .machine_readable/descriptiles/ECOSYSTEM.a2ml diff --git a/.machine_readable/6a2/META.a2ml b/.machine_readable/descriptiles/META.a2ml similarity index 100% rename from .machine_readable/6a2/META.a2ml rename to .machine_readable/descriptiles/META.a2ml diff --git a/.machine_readable/6a2/NEUROSYM.a2ml b/.machine_readable/descriptiles/NEUROSYM.a2ml similarity index 100% rename from .machine_readable/6a2/NEUROSYM.a2ml rename to .machine_readable/descriptiles/NEUROSYM.a2ml diff --git a/.machine_readable/6a2/PLAYBOOK.a2ml b/.machine_readable/descriptiles/PLAYBOOK.a2ml similarity index 93% rename from .machine_readable/6a2/PLAYBOOK.a2ml rename to .machine_readable/descriptiles/PLAYBOOK.a2ml index 6408e1c..c7bd686 100644 --- a/.machine_readable/6a2/PLAYBOOK.a2ml +++ b/.machine_readable/descriptiles/PLAYBOOK.a2ml @@ -13,7 +13,7 @@ last-updated = "2026-04-11" # target = "container" # container | binary | library | wasm [incident-response] -# 1. Check .machine_readable/STATE.a2ml for current status +# 1. Check .machine_readable/descriptiles/STATE.a2ml for current status # 2. Review recent commits and CI results # 3. Run `just validate` to check compliance # 4. Run `just security` to audit for vulnerabilities diff --git a/.machine_readable/6a2/STATE.a2ml b/.machine_readable/descriptiles/STATE.a2ml similarity index 100% rename from .machine_readable/6a2/STATE.a2ml rename to .machine_readable/descriptiles/STATE.a2ml diff --git a/.machine_readable/policies/MAINTENANCE-AXES.a2ml b/.machine_readable/policies/MAINTENANCE-AXES.a2ml index 535bf9d..1d7bd18 100644 --- a/.machine_readable/policies/MAINTENANCE-AXES.a2ml +++ b/.machine_readable/policies/MAINTENANCE-AXES.a2ml @@ -18,7 +18,7 @@ machine-entrypoints = [ ".machine_readable/policies/MAINTENANCE-AXES.a2ml", ".machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml", ".machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml", - ".machine_readable/META.a2ml", + ".machine_readable/descriptiles/META.a2ml", ".machine_readable/ai/README.adoc", ".machine_readable/bot_directives/README.scm", ] diff --git a/0-AI-MANIFEST.a2ml b/0-AI-MANIFEST.a2ml index a1d940c..ee83c60 100644 --- a/0-AI-MANIFEST.a2ml +++ b/0-AI-MANIFEST.a2ml @@ -15,9 +15,9 @@ id = "typed-wasm-root-manifest" level = 0 [canonical_locations] -state = ".machine_readable/6a2/STATE.a2ml" -meta = ".machine_readable/6a2/META.a2ml" -ecosystem = ".machine_readable/6a2/ECOSYSTEM.a2ml" +state = ".machine_readable/descriptiles/STATE.a2ml" +meta = ".machine_readable/descriptiles/META.a2ml" +ecosystem = ".machine_readable/descriptiles/ECOSYSTEM.a2ml" grammar = "spec/grammar.ebnf" abi_proofs = "src/abi/" zig_ffi = "ffi/zig/" diff --git a/AUDIT.adoc b/AUDIT.adoc index 01b60d1..61061ba 100644 --- a/AUDIT.adoc +++ b/AUDIT.adoc @@ -70,7 +70,7 @@ For typed-wasm-specific audit posture: * `docs/PRODUCTION-PATH.adoc` — 6-phase plan to production-quality compile target; current state is Phase 0 (foundation stabilisation), 2 of 3 gates met -* `.machine_readable/6a2/STATE.a2ml` — machine-readable project state +* `.machine_readable/descriptiles/STATE.a2ml` — machine-readable project state * `tests/aspect/claim-envelope.mjs` (53 assertions) + `tests/aspect/security-envelope.mjs` (10 assertions) — automated drift-detection on cross-document claims diff --git a/CHANGELOG.adoc b/CHANGELOG.adoc index 8861320..e2b9071 100644 --- a/CHANGELOG.adoc +++ b/CHANGELOG.adoc @@ -8,6 +8,35 @@ https://semver.org/spec/v2.0.0.html[Semantic Versioning]. === [Unreleased] +==== Machine-readable substrate: retired `6a2` layout migrated to `descriptiles` (2026-10-10) + +`0-canon/CANONICAL-NAMES.adoc` (owner mandate of 2026-06-30) deprecates the +directory name `6a2` in favour of `descriptiles`, and requires migration "on +sight". This repo was the last hold-out: `governance / Workflow security +linter` was red on `check-descriptile-policy.sh`, which forbids an executable +file-existence test on `.machine_readable/(6a2/)?(STATE|META|ECOSYSTEM|AGENTIC| +NEUROSYM|PLAYBOOK|ANCHOR).a2ml`. + +* `.machine_readable/6a2/*.a2ml` -> `.machine_readable/descriptiles/*.a2ml` + (6 files, `git mv`, content untouched). +* 49 path references updated across 19 live files (`Justfile`, + `0-AI-MANIFEST.a2ml`, `AUDIT.adoc`, `.github/GOVERNANCE.md`, the PR template, + `.machine_readable/ai/*`, `.machine_readable/policies/MAINTENANCE-AXES.a2ml`, + `docs/`, `spec/async-convergence-abi.adoc`, `src/abi/README.adoc`). +* Left as historical records, as the mandate permits: `CHANGELOG.adoc` and + `docs/reports/maintenance/2026-05-25-phase-0-closure.adoc` keep the spelling + of their day (4 references). + +Side effect worth knowing: `just info`, `just validate-rsr` and `just +validate-state` tested paths that had never existed in this repo +(`.machine_readable/STATE.a2ml`, bare), so their `[ -f ]` guards made them +silently skip. Retargeted, all five `META.a2ml` axis assertions now run and +pass. No workflow invokes these recipes, so CI behaviour is unchanged. + +Verified with the estate's own gates, run locally: `check-descriptile-policy.sh` +exit 0 (was 1 on `main`), and `check-canonical-names.sh origin/main` reports no +deprecated names reintroduced. + ==== Multi-producer carrier ABI: proposals 0001 + 0002 accepted, promoted to ADRs (2026-05-30) Closes typed-wasm#34 (proposal 0001), typed-wasm#78 (proposal 0002), diff --git a/Justfile b/Justfile index 6eef62a..e50d4a5 100644 --- a/Justfile +++ b/Justfile @@ -49,7 +49,7 @@ info: @echo "Version: {{version}}" @echo "RSR Tier: {{tier}}" @echo "Recipes: $(just --summary | wc -w)" - @[ -f ".machine_readable/STATE.a2ml" ] && grep -oP 'phase\s*=\s*"\K[^"]+' .machine_readable/STATE.a2ml | head -1 | xargs -I{} echo "Phase: {}" || true + @[ -f ".machine_readable/descriptiles/STATE.a2ml" ] && grep -oP 'phase\s*=\s*"\K[^"]+' .machine_readable/descriptiles/STATE.a2ml | head -1 | xargs -I{} echo "Phase: {}" || true # Repository is already instantiated; there is no template bootstrap step. init: @@ -351,7 +351,7 @@ validate-rsr: for f in .editorconfig .gitignore Justfile README.adoc LICENSE 0-AI-MANIFEST.a2ml; do [ -f "$f" ] || MISSING="$MISSING $f" done - for f in .machine_readable/6a2/STATE.a2ml .machine_readable/6a2/META.a2ml .machine_readable/6a2/ECOSYSTEM.a2ml .machine_readable/anchors/ANCHOR.a2ml .machine_readable/policies/MAINTENANCE-AXES.a2ml .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml .machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml; do + for f in .machine_readable/descriptiles/STATE.a2ml .machine_readable/descriptiles/META.a2ml .machine_readable/descriptiles/ECOSYSTEM.a2ml .machine_readable/anchors/ANCHOR.a2ml .machine_readable/policies/MAINTENANCE-AXES.a2ml .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml .machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml; do [ -f "$f" ] || MISSING="$MISSING $f" done for f in docs/legal/EXHIBIT-A-ETHICAL-USE.txt docs/legal/EXHIBIT-B-QUANTUM-SAFE.txt LICENSES/MPL-2.0.txt; do @@ -363,15 +363,15 @@ validate-rsr: for f in docs/governance/MAINTENANCE-CHECKLIST.adoc docs/governance/SOFTWARE-DEVELOPMENT-APPROACH.adoc; do [ -f "$f" ] || MISSING="$MISSING $f" done - if [ -f ".machine_readable/6a2/META.a2ml" ]; then - grep -q 'axis-1 = "must > intend > like"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-1" - grep -q 'axis-2 = "corrective > adaptive > perfective"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-2" - grep -q 'axis-3 = "systems > compliance > effects"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:axis-3" - grep -q 'scoping-first = true' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:scoping-first" - grep -q 'idris-unsound-scan = "believe_me/assert_total"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:idris-unsound-scan" - grep -q 'audit-focus = "systems in place, documentation explains actual state, safety/security accounted for, observed effects reviewed"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:audit-focus" - grep -q 'compliance-focus = "seams/compromises/exception register, bounded exceptions, anti-drift checks"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:compliance-focus" - grep -q 'effects-evidence = "benchmark execution/results and maintainer status dialogue/review"' .machine_readable/6a2/META.a2ml || MISSING="$MISSING META.a2ml:effects-evidence" + if [ -f ".machine_readable/descriptiles/META.a2ml" ]; then + grep -q 'axis-1 = "must > intend > like"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:axis-1" + grep -q 'axis-2 = "corrective > adaptive > perfective"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:axis-2" + grep -q 'axis-3 = "systems > compliance > effects"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:axis-3" + grep -q 'scoping-first = true' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:scoping-first" + grep -q 'idris-unsound-scan = "believe_me/assert_total"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:idris-unsound-scan" + grep -q 'audit-focus = "systems in place, documentation explains actual state, safety/security accounted for, observed effects reviewed"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:audit-focus" + grep -q 'compliance-focus = "seams/compromises/exception register, bounded exceptions, anti-drift checks"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:compliance-focus" + grep -q 'effects-evidence = "benchmark execution/results and maintainer status dialogue/review"' .machine_readable/descriptiles/META.a2ml || MISSING="$MISSING META.a2ml:effects-evidence" grep -q 'compliance-tooling = "panic-attack"' .machine_readable/policies/MAINTENANCE-AXES.a2ml || MISSING="$MISSING MAINTENANCE-AXES.a2ml:compliance-tooling" grep -q 'effects-tooling = "ecological checking with sustainabot guidance"' .machine_readable/policies/MAINTENANCE-AXES.a2ml || MISSING="$MISSING MAINTENANCE-AXES.a2ml:effects-tooling" grep -q 'source-human = "docs/maintenance/MAINTENANCE-CHECKLIST.adoc"' .machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml || MISSING="$MISSING MAINTENANCE-CHECKLIST.a2ml:source-human" @@ -385,12 +385,12 @@ validate-rsr: # Validate STATE.a2ml syntax validate-state: - @if [ -f ".machine_readable/STATE.a2ml" ]; then \ - grep -q '^\[metadata\]' .machine_readable/STATE.a2ml && \ - grep -q 'project\s*=' .machine_readable/STATE.a2ml && \ + @if [ -f ".machine_readable/descriptiles/STATE.a2ml" ]; then \ + grep -q '^\[metadata\]' .machine_readable/descriptiles/STATE.a2ml && \ + grep -q 'project\s*=' .machine_readable/descriptiles/STATE.a2ml && \ echo "STATE.a2ml: valid" || echo "STATE.a2ml: INVALID (missing required sections)"; \ else \ - echo "No .machine_readable/STATE.a2ml found"; \ + echo "No .machine_readable/descriptiles/STATE.a2ml found"; \ fi # Validate AI installation guide completeness (finishbot pre-release check) @@ -469,14 +469,14 @@ validate: validate-rsr validate-state validate-ai-install # Update STATE.a2ml timestamp state-touch: - @if [ -f ".machine_readable/STATE.a2ml" ]; then \ - sed -i 's/last-updated = "[^"]*"/last-updated = "'"$(date +%Y-%m-%d)"'"/' .machine_readable/STATE.a2ml && \ + @if [ -f ".machine_readable/descriptiles/STATE.a2ml" ]; then \ + sed -i 's/last-updated = "[^"]*"/last-updated = "'"$(date +%Y-%m-%d)"'"/' .machine_readable/descriptiles/STATE.a2ml && \ echo "STATE.a2ml timestamp updated"; \ fi # Show current phase from STATE.a2ml state-phase: - @grep -oP 'phase\s*=\s*"\K[^"]+' .machine_readable/STATE.a2ml 2>/dev/null | head -1 || echo "unknown" + @grep -oP 'phase\s*=\s*"\K[^"]+' .machine_readable/descriptiles/STATE.a2ml 2>/dev/null | head -1 || echo "unknown" # ═══════════════════════════════════════════════════════════════════════════════ # GUIX & NIX diff --git a/docs/RSR_OUTLINE.adoc b/docs/RSR_OUTLINE.adoc index 99cfb11..5f1bedc 100644 --- a/docs/RSR_OUTLINE.adoc +++ b/docs/RSR_OUTLINE.adoc @@ -215,7 +215,7 @@ project/ * `Justfile` * `README.adoc` * `LICENSE` (MPL-2.0) -* `.machine_readable/STATE.a2ml` +* `.machine_readable/descriptiles/STATE.a2ml` * `.well-known/security.txt` * `.well-known/ai.txt` * `.well-known/humans.txt` diff --git a/docs/STATE-VISUALIZER.adoc b/docs/STATE-VISUALIZER.adoc index 4996670..f836a34 100644 --- a/docs/STATE-VISUALIZER.adoc +++ b/docs/STATE-VISUALIZER.adoc @@ -26,7 +26,7 @@ template infrastructure that was inherited and later removed. v v +--------------------+ +----------------------+ | Tests and Audits | | Papers and Metadata | - | parser/e2e/aspect | | README/docs/6a2 | + | parser/e2e/aspect | | README/docs/descriptiles | | benchmarks | | claim envelope | +--------------------+ +----------------------+ ---- diff --git a/docs/architecture/ABI-PIPELINE.adoc b/docs/architecture/ABI-PIPELINE.adoc index 472a7da..c5b2704 100644 --- a/docs/architecture/ABI-PIPELINE.adoc +++ b/docs/architecture/ABI-PIPELINE.adoc @@ -41,7 +41,7 @@ Not implemented. Closing this gap is a deliverable somewhere between Phase 1 (codegen end-to-end) and Phase 2 (C ABI for the verifier) in `docs/PRODUCTION-PATH.adoc`. Tracked in: -* `.machine_readable/6a2/STATE.a2ml` milestone "generated/abi/ C +* `.machine_readable/descriptiles/STATE.a2ml` milestone "generated/abi/ C header pipeline" — currently 0% * `TEST-NEEDS.md` blocked-on-codegen items reference this gap diff --git a/docs/architecture/AGGREGATE-LIBRARY-VISION.adoc b/docs/architecture/AGGREGATE-LIBRARY-VISION.adoc index 79ef712..77fe7d3 100644 --- a/docs/architecture/AGGREGATE-LIBRARY-VISION.adoc +++ b/docs/architecture/AGGREGATE-LIBRARY-VISION.adoc @@ -171,7 +171,7 @@ in this file. This aggregate library role is one of two first-class purposes. The other is the TypeLL progressive type safety system for WasmGC linear memory. -Both are documented in `.machine_readable/6a2/META.a2ml` (ADR-004). +Both are documented in `.machine_readable/descriptiles/META.a2ml` (ADR-004). `katagoria` does not exist as a standalone repo yet; when it is created it will be the upstream of this pipeline. @@ -182,7 +182,7 @@ will be the upstream of this pipeline. * `spec/async-convergence-abi.adoc` — ADR-005: shared async-over-WasmGC boundary protocol (Thenable handle + closure-ABI continuation; Ephapax co-stakeholder review, typed-wasm#31) -* `.machine_readable/6a2/META.a2ml` — ADR-004: dual-role architecture decision; +* `.machine_readable/descriptiles/META.a2ml` — ADR-004: dual-role architecture decision; ADR-005: async convergence ABI * AffineScript repo: `docs/DESIGN-VISION.adoc` * Ephapax repo: `docs/specs/DYADIC-VISION.adoc` diff --git a/docs/practice/AI-CONVENTIONS.adoc b/docs/practice/AI-CONVENTIONS.adoc index 07cd25b..a9c5578 100644 --- a/docs/practice/AI-CONVENTIONS.adoc +++ b/docs/practice/AI-CONVENTIONS.adoc @@ -10,12 +10,12 @@ Per-tool config files (.cursorrules, .clinerules, etc.) reference this document. ## Session Startup 1. Read `0-AI-MANIFEST.a2ml` FIRST (mandatory gatekeeper). -2. Read `.machine_readable/STATE.a2ml` for current status and blockers. +2. Read `.machine_readable/descriptiles/STATE.a2ml` for current status and blockers. 3. Read `.machine_readable/anchors/ANCHOR.a2ml` for canonical authority boundaries. 4. Read `.machine_readable/policies/MAINTENANCE-AXES.a2ml` for maintenance/audit sequencing. 5. Read `.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml` for baseline controls. 6. Read `.machine_readable/policies/SOFTWARE-DEVELOPMENT-APPROACH.a2ml` for execution order. -7. Read `.machine_readable/AGENTIC.a2ml` for agent constraints. +7. Read `.machine_readable/descriptiles/AGENTIC.a2ml` for agent constraints. ## License @@ -77,8 +77,8 @@ Use `just` (Justfile) for all build, test, lint, and format tasks. ## References - `0-AI-MANIFEST.a2ml` -- universal AI entry point -- `.machine_readable/AGENTIC.a2ml` -- agent permissions and constraints -- `.machine_readable/STATE.a2ml` -- current project state +- `.machine_readable/descriptiles/AGENTIC.a2ml` -- agent permissions and constraints +- `.machine_readable/descriptiles/STATE.a2ml` -- current project state - `.machine_readable/anchors/ANCHOR.a2ml` -- canonical authority and policy boundary - `.machine_readable/policies/MAINTENANCE-AXES.a2ml` -- canonical axis sequencing and audit requirements - `.machine_readable/policies/MAINTENANCE-CHECKLIST.a2ml` -- baseline maintenance checklist policy diff --git a/docs/status/README.adoc b/docs/status/README.adoc index 7e540df..9613516 100644 --- a/docs/status/README.adoc +++ b/docs/status/README.adoc @@ -24,5 +24,5 @@ often than any docs page and benefit from one-click visibility. feeds into phase-gate decisions * `docs/wiki/Phase-0-Status.md` — outside-reader view of current phase closure state -* `.machine_readable/6a2/STATE.a2ml` — machine-readable state +* `.machine_readable/descriptiles/STATE.a2ml` — machine-readable state (consumed by agents and dashboards) diff --git a/spec/async-convergence-abi.adoc b/spec/async-convergence-abi.adoc index ebf50c5..f611ea1 100644 --- a/spec/async-convergence-abi.adoc +++ b/spec/async-convergence-abi.adoc @@ -230,9 +230,9 @@ divergence: the closure cell converges byte-identically). AffineScript == References -* typed-wasm ADR-004 (`.machine_readable/6a2/META.a2ml`) — aggregate / +* typed-wasm ADR-004 (`.machine_readable/descriptiles/META.a2ml`) — aggregate / convergence role -* typed-wasm ADR-005 (this protocol; `.machine_readable/6a2/META.a2ml`) +* typed-wasm ADR-005 (this protocol; `.machine_readable/descriptiles/META.a2ml`) * typed-wasm#31 — convergence-ABI review issue * AffineScript: ADR-013 `docs/specs/async-on-wasm-cps.adoc`; #225 (this work), #160 (Http primitive), #199 (closure ABI), #205 (Thenable diff --git a/src/abi/README.adoc b/src/abi/README.adoc index 1e5005c..d6de21d 100644 --- a/src/abi/README.adoc +++ b/src/abi/README.adoc @@ -1,7 +1,7 @@ == src/abi — Idris2 ABI Layer This directory contains the Idris2 formal proofs for both roles of -`+typed-wasm+` (see ADR-004 in `+.machine_readable/6a2/META.a2ml+`). +`+typed-wasm+` (see ADR-004 in `+.machine_readable/descriptiles/META.a2ml+`). === Directory Layout