Correct pre-registration claims and add documentation and Actions policy checks - #18
Merged
arena-ai-coding-agent[bot] merged 1 commit intoSep 27, 2026
Conversation
Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
|
Important Review skippedBot user detected. To trigger a single review, invoke the ⚙️ Run configurationConfiguration used: Organization UI Review profile: ASSERTIVE Plan: Advanced Run ID: You can disable this status message by setting the Use the checkbox below for a quick retry:
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 |
arena-ai-coding-agent
Bot
deleted the
arena/01a0e147-choreographic-types
branch
September 27, 2026 09:38
hyperpolymath
added a commit
that referenced
this pull request
Oct 3, 2026
…ssue #15) (#20) ## Summary Completes the in-repo residue of #15 (owner ruling D-4, booked on hyperpolymath/standards#787 rows D78–D81). PR #18 already shipped the README corrections, the dev-note citation removals, and the A2ML retirement; this change closes what remained: - **CITATION.cff** abstract no longer claims an *Agda formalisation*; it now discloses the pre-registration status, matching README.adoc and the canonical description recorded in docs/actions-policy.adoc. Citation infrastructure (Zenodo et al.) is a downstream vector for the same false claim, so it is corrected at source. - **scripts/check-repository.mjs** gains a description-surface guard: README.adoc and CITATION.cff must not claim a completed Agda formalisation until a checked module exists, and CITATION.cff must disclose pre-registration status. The comment says to relax the guard in the same change that lands the first checked module. - **Four new regression tests** (16 total) cover: claim in README, claim in CITATION.cff, missing citation disclosure, and the honest-metadata pass case. - **docs/actions-policy.adoc**: dated re-verification addendum; the owner repair command now carries the canonical 345-character description (GitHub's limit is 350). - **docs/pre-registration.adoc**: status date bumped to 2026-10-03 with a pointer to the description record. - No placeholder source tree is scaffolded, per the ruling. ## Cross-dependency audit (2026-10-03) - `nextgen-typing` TYPE-CONNECTIONS/ECOSYSTEM references are honest ("general K-CUT remains open in reviewed documentation") — no change needed. - `valence-shell` THEORY-FEED already describes this repo correctly (pre-registration, open K-CUT, postulates only) — no change needed. - `standards` estate-board tracks CI posture only — no description claim to fix. - GitHub description PATCH re-attempted: still HTTP 403 for this integration, so criterion 1 of #15 remains an owner-only server-side step (one-liner in docs/actions-policy.adoc). ## Validation - `node scripts/check-repository.mjs` — passed (also fails the old CITATION.cff abstract). - `node --test tests/*.test.mjs` — 16/16 pass. - Acceptance re-measure on this branch: `grep -c 'dev-notes/2026-06-16' README.adoc` = 0; `grep -c 'src/ChoreographicTypes' README.adoc` = 0; zero `.a2ml` files in tree. - CI: Documentation Integrity + Secret Scanner run on this PR. Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
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
Validation
node scripts/check-repository.mjs— passed.node --test tests/*.test.mjs— all 12 tests passed.git diff --check— passed.2479cf769ed5f0481ccf64860a2ab954514c2b59— succeeded, 93 patterns.Remaining owner actions
Related to #15 and #16; deliberately does not auto-close either issue.
selectedwith 0 patterns — any third-party action dies at startup with jobs=0; owner PUT of the canon needed #16 reserves the allow-list PUT for the owner. Apply the reviewed canonical payload and verify both repositories usingdocs/actions-policy.adoc.These checks validate documentation and policy handling, not Agda proofs. K-CUT remains open. Recent existing Secret Scanner runs were green; historical billing failures were not treated as source defects.