docs: re-verify the debt register against the tree - #108
Merged
Merged
Conversation
Six DEBT.adoc entries listed fixes that had already landed as still open. Each is now marked resolved with the date and the evidence: * LICENSES/AGPL-3.0-or-later.txt — absent from the working tree and from the base commit (git ls-tree -r 7781489 -- LICENSES/ lists only CC-BY-SA-4.0.txt and MPL-2.0.txt). * GOVERNANCE.md missing its SPDX header — the file was deleted; the surviving GOVERNANCE.adoc carries CC-BY-SA-4.0 on line 1. * ARCHITECTURE.md / GOVERNANCE.md boilerplate pair — both deleted; ARCHITECTURE.adoc is now the only architecture document. * ARCHITECTURE.adoc naming unbuilt components — the TARGET-design [WARNING] block names each one inline (OCaml docs analyzer, the superseded "Python + Datalog" line, the fourth bot role, the Praxis Loop / DeepProbLog inference). * push-email-notify.yml dormant — gone from .github/workflows/ (15 workflows, none named push-email-notify.yml), removed under the dual-use ruling. The wiki stub is recorded as *claimed* resolved rather than verified: wiki pages are not part of the repository tree, and this register's rule is that an unverifiable claim says so. Two entries were corrected rather than closed. The licence-identifier counts were re-measured (159 MPL-2.0 / 65 CC-BY-SA-4.0 occurrences via grep -rhoP, with the two headers quoted inside docs/superpowers/plans/ noted as such), and the #16/#17 entry now names what the 2026-09-26 documentation pass actually delivered instead of pointing at a bare docs/README.adoc. The AGPL entry deliberately does not restate the licence identifier verbatim: a quoted SPDX-License-Identifier line inside a document is indistinguishable from a real declaration to grep, and this register has already recorded that class of defect once. ROADMAP.adoc follows suit — candidate (B) is marked landed with its two consequences recorded (the naive path is still collinear and Estimated; calibrated energies saturate calculate_eco_score near 100, so the eco threshold gate is near-vacuous and needs an owner ruling on the EnergyScore scale), and "policy rules in Datalog and DeepProbLog" no longer claims the DeepProbLog asset retired by the 2026-07-28 ruling. STATE.a2ml records the re-verification and, for provenance, the verification that was actually possible in this sandbox: every changed .rs file parses clean under the tree-sitter-rust grammar, all 12 AnalysisResult literals carry resource_range, the check_gate.rs fixtures were simulated through a port of the analyser's own logic and reproduce the asserted verdicts, and tools/ci/linter-verify.sh passes all four steps. Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
arena-ai-coding-agent
Bot
requested a review
from hyperpolymath
as a code owner
September 26, 2026 00:02
|
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 |
hyperpolymath
approved these changes
Sep 26, 2026
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.
What
DEBT.adocre-verified against the tree. Six entries listed fixes that hadalready landed as still open; each is now marked resolved with its date and
the evidence, and the Summary rows are corrected to match.
LICENSES/AGPL-3.0-or-later.txtorphanedgit ls-tree -r 7781489 -- LICENSES/lists onlyCC-BY-SA-4.0.txtandMPL-2.0.txtGOVERNANCE.mdno SPDX headerGOVERNANCE.adoccarriesCC-BY-SA-4.0on line 1ARCHITECTURE.mdboilerplateARCHITECTURE.adocis the only architecture documentGOVERNANCE.mdsame defectARCHITECTURE.adocnames unbuilt components[WARNING]block now names each one inline (OCaml docs analyzer, superseded "Python + Datalog" line, fourth bot role, Praxis Loop / DeepProbLog)push-email-notify.ymldormant.github/workflows/(15 workflows, none so named), removed under the dual-use rulingThe wiki stub is recorded as claimed resolved rather than verified: wiki
pages are not part of the repository tree, and this register's own rule is that
an unverifiable claim says so.
Two entries were corrected rather than closed:
CC-BY-SA-4.0 occurrences via
grep -rhoP "SPDX-License-Identifier: \K[A-Za-z0-9.+-]+",with the two headers quoted inside
docs/superpowers/plans/called out asquotations rather than declarations;
delivered (
docs/usage.adoc,docs/ci-runbook.adoc, the per-crateREADME.adocset) instead of pointing at a baredocs/README.adoc.One deliberate restraint: the AGPL entry does not restate the licence
identifier verbatim. A quoted
SPDX-License-Identifier:line inside a documentis indistinguishable from a real declaration to
grep, and this register hasalready recorded that class of defect once (the duplicated header in
docs/README.adoc). Writing the identifier out in full would have re-created it.ROADMAP.adocfollows: candidate (B) is marked landed, with its twoconsequences recorded rather than hidden (the naive path is still collinear and
still
Estimated; calibrated energies saturatecalculate_eco_scorenear 100,so the
checkeco-threshold gate is near-vacuous and needs an owner ruling onthe EnergyScore scale). "Policy rules in Datalog and DeepProbLog" no longer
claims the DeepProbLog asset retired by the 2026-07-28 ruling.
CHANGELOG.adocandSTATE.a2mlrecord the same.Why now
PR #107 landed and CI verified it — the debt register is the repo's authority on
what is outstanding, so a register that over-reports open debt is its own kind of
dishonesty, and it hides the entries that genuinely are open.
Verification
tools/ci/linter-verify.sh→ PASS on all four steps (SPDX headers,permissions declaration, actions lockfile coverage,
lockcheck.sh).grep -rhoP "SPDX-License-Identifier: \K[A-Za-z0-9.+-]+" | sort | uniq -c→65 CC-BY-SA-4.0,159 MPL-2.0,2 MPL-2.0+(the two quoted indocs/superpowers/plans/). No third licence is declared.No code changes; documentation only.