Repository navigation
docs: point the front doors at deed, k9 and coordination, not A2ML (stacked on #1213) - #1214
Merged
Merged
Conversation
Contributor
|
Warning Review limit reachedYou've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository. Next included review available in 3 minutes. View limit detailsLimit details: You’ve used the included review currently available. Review configuration: ⚙️ Run configuration
📒 Files selected for processing (5)
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
Contributor
K9 contract conformancerun https://github.com/hyperpolymath/standards/actions/runs/37906978076 K9 normative contract typecheckK9 contract self-testK9 conformance fixturesK9 corpus conformance (L2) |
A2ML is retired (D99, D269c, D312, D313), but the files agents read first still told them to create the seven A2ML files. Agents kept producing new A2ML, or "new" A2ML in a different shape, instead of the forms that replace it. Each front door now names the three live forms, each with its normative grammar and its checker: - <repo>_chora.deed: 1-formats/deed/spec/abnf/deed.abnf, deed_lint.js - *.k9.ncl: K9-CONTRACT-SPEC, k9-validate.sh --strict - coordination.k9: coordination-k9-grammar_v1.1.abnf, COORDINATION-K9-SPEC They also point at the deed mapping specs for former content and forbid bulk hand-conversion (D313). - .claude/CLAUDE.md: Machine-Readable Artefacts rewritten; the ALLOWED table's A2ML row replaced by deed and k9 rows. - .meta/REQUIRED-FILES.adoc: "Mandatory A2ML Files" replaced by "Machine-Readable Metadata". - AGENTS.adoc: A2ML-retired paragraph; validation line names both checkers. - README.adoc: new "Machine-Readable Metadata" section; the A2ML family table, templates and execution pipeline marked retired history; tree listing, Usage step 2, Document Formats and Related Projects updated. - 0-AI-MANIFEST.a2ml: deletion only. The "7 A2ML files MUST exist" section, the dead a2ml/ routing and the A2ML clause of the attestation are removed. No line is added. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015bTuGfwCcvjrmNFejydTML
hyperpolymath
force-pushed
the
docs/a2ml-front-door-to-deed-k9
branch
from
October 9, 2026 09:22
ec64f1f to
11d4583
Compare
|
Contributor
K9 contract conformancerun https://github.com/hyperpolymath/standards/actions/runs/37910881405 K9 normative contract typecheckK9 contract self-testK9 conformance fixturesK9 corpus conformance (L2) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
A2ML is retired (owner rulings D99, D269c, D312, D313). The files an agent reads first in this repo still told it to create the seven A2ML files:
0-AI-MANIFEST.a2ml: "The 7 A2ML files MUST exist", under a "UNIVERSAL RULE"..meta/REQUIRED-FILES.adoc: "Mandatory A2ML Files"..claude/CLAUDE.md: "Every Hyperpolymath repo must have.machine_readable/with these 6 A2ML files", plus an ALLOWED-languages row for A2ML.README.adoc: the 7-format family table, the templates and the execution pipeline.So agents kept writing new A2ML, or rewriting old A2ML into "new" A2ML in a different shape, instead of producing the forms that replace it. This PR repoints every one of those front doors at the three live forms. Each form is named with its normative grammar in this repo and the checker that enforces it:
<repo>_chora.deedat the repo root (D312)1-formats/deed/spec/abnf/deed.abnf(normative, D308)bun 1-formats/deed/tools/deed_lint.js FILE.deed*.k9.nclcontracts1-formats/k9/spec/K9-CONTRACT-SPEC.adoc1-formats/k9/tools/k9-validate.sh --strict FILEcoordination.k9at the repo root2-protocols/k9-coordination/spec/abnf/coordination-k9-grammar_v1.1.abnf+COORDINATION-K9-SPEC.adocThe front doors also point at the deed mapping specs (
1-formats/deed/mappings/) for where former A2ML content goes ("anything a mapping spec does not list does not translate"), namersr-template-repo_chora.deedas the worked model, and forbid bulk hand-conversion (D313).Per file:
.claude/CLAUDE.md:.a2mlfiles..meta/REQUIRED-FILES.adoc: "Mandatory A2ML Files" becomes "Machine-Readable Metadata", with the same three forms and relative links. See Also now points at the deed README and COORDINATION-K9-SPEC.AGENTS.adoc: adds the A2ML-retired paragraph. The validation line now names both checkers.README.adoc:1-formats/a2ml/*specs and1-formats/templates/as retired history.<repo>_chora.deed(pluscoordination.k9/*.k9.nclwhere they apply) and not.a2ml.tree/main/a2ml(that directory does not exist) is replaced by a link to1-formats/deed/.0-AI-MANIFEST.a2ml: deletion only.a2ml/and*-a2ml/from the Stream 1 routing row, "the A2ML metadata family" from the description, and the A2ML sentence of the attestation.+line is a shortened copy of a removed line, and no word is added (checked mechanically, below). Deed routing is not added into the.a2ml: its startup checklist sends the agent toREADME.adocnext, and that file now carries it.No issue is closed. This is the follow-up to #1213 that removes the instructions that keep regenerating A2ML.
Type of change
📌 New pins
11d458334a0ae9c0954dc7f4a712cd9862376543uses:SHA, noactions.lockentry, no lockfile record, no container digest.How has this been verified?
All commands were run locally in the worktree (Debian 13, WSL2) with
MISE_DISABLE=1.After the rebase onto
9d629d11:bash scripts/check-canonical-names.sh origin/main→no deprecated names reintroduced, rc 0.git range-diff ed4f98a3..ec64f1f6 origin/main..HEAD→1: ec64f1f6 = 1: 11d45833.bash scripts/run-shell-test-suite.sh→All 80 test file(s) passed., rc 0.The two checkers the docs now name run as written. Each was run on a valid fixture and on an invalid control:
bun 1-formats/deed/tools/deed_lint.js 1-formats/deed/tools/fixtures/valid/booleans-uuid_chora.deed→OK, rc 0. Onfixtures/invalid/inequals_chora.deed→FAIL … '=' as a field separator is not a deed, rc 1.bash 1-formats/k9/tools/k9-validate.sh --strict 1-formats/k9/tools/fixtures/valid/extension-capability.k9.ncl→1 file(s) conforming, rc 0. Onfixtures/invalid/L0-K9-E001-bad-magic.k9.ncl→K9-E001, rc 1.Every new link resolves. Each added
link:target and each added backticked repo path was tested with-e, relative to the file that holds it (.meta/links use../). Result: 18 links and 15 paths, 0 missing.The cross-reference resolves.
asciidoctor -v README.adocrenders the anchor_machine_readable_metadata, and all 5<<Machine-Readable Metadata>>references link to it.asciidoctor warnings: none new. Each edited
.adocwas rendered both new and on the base. The single error,README.adoc: line 71: dropping cells from incomplete row, is identical on the baseed4f98a3and is not introduced here.0-AI-MANIFEST.a2mlis deletion-only. The set of words on its+lines, minus the set of words in the original file, is empty.No remaining instruction to create A2ML. In the five files,
grep -i -E '(must|should|create|include|add|use|write|generate|mandatory|required).{0,60}a2ml'finds only prohibitions ("do not create…") and history.Pre-commit passed in full, including gitleaks, the canonical-names guard and bot directives. The first attempt was refused by
check-canonical-names.sh, because the draft repeated a deprecated directory name. That clause was dropped and the guard now reportsno deprecated names reintroduced..githooks/docstring-scan.sh --worktree --check→ rc 0. No function is touched.git diff --check→ clean.Checklist
git commit -S).git log --show-signaturereports a good ED25519 signature on11d45833.SPDX-License-Identifier. No new files are added, and no existing header is changed.coordination.k9is described as having no validator script yet, and the retired pipeline is not restated as live.Notes for reviewers
AGENTS.adocL4 still send an AI agent to0-AI-MANIFEST.a2mlfirst. That is an instruction to read an existing file, not to create one, and the manifest no longer tells anyone to create A2ML.descriptiles/STATE.a2ml,AGENTIC.a2ml) and its "no A2ML in the repo root" invariant stay. They describe this repo's existing files, which are not hand-converted (D313).2-protocols/0-ai-gatekeeper/docs/AI-MANIFEST-SPEC.adocL258 still says normatively "These 6 A2ML files MUST exist in.machine_readable/descriptiles/". That is a versioned protocol spec, not a front door, so changing it needs its own ruling. It is logged in the owner's findings ledger.🤖 Generated with Claude Code
https://claude.ai/code/session_015bTuGfwCcvjrmNFejydTML