Repository navigation
Arena/01a10a3c standards - #1196
Closed
hyperpolymath wants to merge 8 commits into
Closed
hyperpolymath wants to merge 8 commits into
hyperpolymath wants to merge 8 commits into
Conversation
MIGRATION-1058 M3 (standards#1058, issue #C). A template is never loaded, so it must not claim the reserved `.k9.ncl` component suffix. The three trust-tier templates keep their TODO placeholders — that is the point of a template — and become `template-*.k9.ncl.in`, outside every scope that reads `*.k9`/`*.k9.ncl` as a loadable component (the pre-commit hook, the corpus walk, CI's Nickel pathspec). `setup-repo.k9.ncl` keeps the suffix because it IS a component, and is fixed as one: its grant pays for all three security flags (`net.fetch`, `fs.write`, `process.spawn` — K9-S007/§8.4), `side_effects` names what the recipes actually do (K9-S010/§6.5), and a `signature` block is present (K9-S009/§10.1) whose header says, per §10.2, that presence is not verification. - ledger: 17 → 13 — the four M3 entries removed, shrink-only ratchet intact - docs repointed: svc/k9 README, contractiles README + INDEX.a2ml, canonical templates, CONTRACTILE-SPEC, K9-CONTRACT-SPEC, ADR-001 amendment note - REGISTRY.a2ml regenerated with `just registry` (also refreshes three hashes already stale on main: 1-formats/k9, 2-protocols/axel, form-fill-provenance) Verified: --self-test passes; --fixtures 5 positive / 21 negative / 0 failures; L1 clean on the four svc/k9 components; the hook is green for this change set (1 conforming, 0 grandfathered). The corpus hook still exits 1 on the pre-existing contractile (#A) and axel (#D) failures, untouched here. Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
Resolve conflict in k9-contract-debt.txt by accepting PR version (removes 4 template entries, count 13). Generated by Mistral Vibe. Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
Remove k9 from INDEX.a2ml verb registry (now only 6 verbs, no exceptions). Update README.adoc and CONTRACTILE-SPEC.adoc to reflect k9 relocation to .machine_readable/svc/k9/ estate-wide. Rename [[k9-exception]] anchor to [[k9-relocation]] for clarity. Addresses CodeRabbit review comment on PR #1148 lines +176-+181. Signed-off-by: Mistral Vibe <vibe@mistral.ai>
Resolve merge conflicts by accepting main branch changes: - Remove k9 exception from contractile registry (INDEX.a2ml) - Update README.adoc to reflect k9 relocation - Update CONTRACTILE-SPEC.adoc tree diagram and registry description - Fix subpath pin in codeql-reusable.yml (init@ → @) These changes align with ADR-001 which relocated k9 to .machine_readable/svc/k9/ and removes it from the contractile verb registry.
This fixes the merge conflict by accepting the main branch's removal of k9 exception from the contractile registry, per ADR-001. - INDEX.a2ml: k9 removed from [[verbs]] section - README.adoc: Updated to reflect k9 relocation to .machine_readable/svc/k9/ - CONTRACTILE-SPEC.adoc: Updated tree diagram and registry description - codeql-reusable.yml: Fixed subpath pin (init@ → @)
Amendment 2026-10-05 (standards#1058, MIGRATION-1058 M3) added note that templates now carry the .in suffix, but tree diagram was not updated. This commit updates the tree to match the amendment. Fixes CodeRabbit review comment on PR #1148. SPDX-License-Identifier: CC-BY-SA-4.0 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
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 59 minutes. View limit detailsLimit details: You’ve used the included review currently available. Review configuration: ⚙️ Run configuration
📒 Files selected for processing (18)
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 |
|
hyperpolymath
enabled auto-merge (squash)
October 7, 2026 10:02
hyperpolymath
disabled auto-merge
October 7, 2026 10:53
Owner
Author
|
Closing as superseded by #1154 ("Pr 1148 fixed", Blob comparison of this head against
The ADR-001 tree fix is cherry-picked on its own into a separate PR, which will be linked below. 🤖 Generated with Claude Code |
Owner
Author
|
Correction to my comment above: no salvage PR will be opened. On 🤖 Generated with Claude Code |
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
Closes #
Type of change
How has this been verified?
Checklist
git commit -S).SPDX-License-Identifier(code/configMPL-2.0,prose
CC-BY-SA-4.0); I did not relicense existing files.Notes for reviewers