docs(pkg): canonical Nix-retirement inventory worklist (Wave 0) - #104
Merged
Conversation
Wave 0 of the Guix-primary consumer-repo campaign. Read-only GitHub discovery over all 379 hyperpolymath repos (top-level HEAD): 277 candidate (→ 14 waves, pending flake-vs-Guix∪container diff) 8 monorepo → handle at source 2 excluded (standards done, echidna pilot #73) 92 out-of-scope (no top-level flake.nix, or flake but no Guix) Provisional verdicts only — the final keep/remove decision is made per-repo at wave time. .guix-channel-only and flake-without-Guix traps checked and found empty (the earlier triage's 'my-lang = channel-only' was inaccurate: my-lang has no flake.nix). The Wave column is authoritative for slicing the wave sub-issues of #102. Refs #103 Refs #101 Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
🔍 Hypatia Security ScanFindings: 100 issues detected
View findings[
{
"reason": "Issue in quality.yml",
"type": "missing_workflow",
"file": "quality.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Issue in security-policy.yml",
"type": "missing_workflow",
"file": "security-policy.yml",
"action": "create",
"rule_module": "workflow_audit",
"severity": "medium"
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance-reusable.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/standards/standards/a2ml/bindings/deno/mod.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/standards/standards/lol/test/vitest.config.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "TypeScript file detected -- banned language",
"type": "banned_language_file",
"file": "/home/runner/work/standards/standards/k9-svc/bindings/deno/mod.ts",
"action": "flag",
"rule_module": "cicd_rules",
"severity": "critical"
},
{
"reason": "believe_me undermines formal verification (1 occurrences, CWE-704)",
"type": "believe_me",
"file": "/home/runner/work/standards/standards/lol/src/abi/Locale.idr",
"action": "flag",
"rule_module": "code_safety",
"severity": "critical"
},
{
"reason": "Wildcard CORS -- restrict to specific origins or use env var (1 occurrences, CWE-942)",
"type": "js_wildcard_cors",
"file": "/home/runner/work/standards/standards/consent-aware-http/examples/reference-implementations/deno/aibdp_middleware.js",
"action": "flag",
"rule_module": "code_safety",
"severity": "high"
},
{
"reason": "innerHTML assignment -- XSS risk, use textContent or SafeDOM (1 occurrences, CWE-79)",
"type": "js_innerhtml",
"file": "/home/runner/work/standards/standards/axel-protocol/src/Tea.res.js",
"action": "flag",
"rule_module": "code_safety",
"severity": "high"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
hyperpolymath added a commit
that referenced
this pull request
Aug 7, 2026
…y fall (#591) ## Why A GitHub issue is a **boolean**. Much of what this estate tracks in issues is an **integer that changes every week**. An audit of the 697 open estate issues on 2026-08-07 found what that costs: | Issue | Claimed | Measured 2026-08-07 | | |---|---|---|---| | `standards#309` | ~45 banned `.py` files | **176** | ~4× wrong, unchallenged for ten weeks | | `standards#308` | ~12,000 PMPL headers | **4,968** | 59% paid down, unrecorded | | `reposystem#138` | Nix in 63 repos | **67** | grew, unnoticed | The purest case is `.git-private-farm`, where a bot mints the same measurement as a **new issue** on every run: ``` #104 07-05 rustsec: 138 open advisories (34 high/critical) #105 07-06 rustsec: 136 open advisories (34 high/critical) #107 07-07 rustsec: 139 open advisories (34 high/critical) #117 08-01 rustsec: 156 open advisories (54 high/critical) #119 08-02 rustsec: 156 open advisories (54 high/critical) #120 08-03 rustsec: 155 open advisories (53 high/critical) ``` Six issues carrying one number, plus three more for mirror drift. This PR adds a register that holds the integer, so the tracker can go back to holding booleans. ## What | File | Role | |---|---| | `.machine_readable/Debtfile.a2ml` | the register — same `### <id>` block shape as `Mustfile.a2ml` | | `scripts/check-debtfile-structure.sh` | structural half — rejects a **hollow entry** (a number with no probe) | | `scripts/run-debtfile.sh` | executable half — re-measures every probe; `--write` lowers ceilings | | `scripts/check-debt-ratchet.sh` | ceilings may fall, never rise silently | | `.github/workflows/debt-measure.yml` | weekly re-measure → opens **one PR**, never an issue | ## Why not a contractile The name fits the convention exactly (`Mustfile`, `Trustfile`, `Bustfile`, `Dustfile`, `Intentfile`). The placement does not: 1. **The contractile CLI does not exist.** `reposystem/contractiles/cli/` is an *empty directory*; five of six verbs have no runner. 2. **Only `must` executes**, via hand-written bash — the pattern copied here. 3. **`EXEMPTION-MECHANISMS.adoc` already rejects declarations with no reader** (`.hypatia-ignore`: *"never read by anything. Reject."*). A seventh verb would be exactly that. 4. **No verb fits** — `bust` is fault-injection drills, `dust` is exnovation, `intend` is roadmap. If the CLI is ever built, this absorbs as the `debt` verb with no rename. ## Why not a sixth exemption mechanism It **absorbs two conventions the estate already invented**: - `debt.a2ml` (`gitbot-fleet`, `flat-mate`, `rpa-elysium`, `chronicles-of-slavia`; ADR-002) - Exemption **Layer 4b** — debt stored as a Markdown table inside `.claude/CLAUDE.md`, rows `\| glob \| count \| rationale \| unblock-condition \|`, regex-parsed, in **19 repos** Sibling to the exemption ratchet, governing a different population: - `check-exemption-ratchet.sh` — debt you **excused**: *"did you quietly excuse more?"* - `check-debt-ratchet.sh` — debt you **measured**: *"did the number go up?"* ## Probe discipline — all learned the hard way in this PR - **No fallback.** A probe that fails is a hard failure. A counter returning 0 on error is indistinguishable from zero debt, and zero is the state that passes. - **Three candidate probes were rejected for manufacturing debt.** Two matched **comments** (usage examples in `codeql-reusable.yml`; a comment explaining why a script does *not* use `python3`); one counted the test files themselves. - **The register must not count itself.** The first live run breached on `todo-fixme-markers` (278 > 277) and `pmpl-licence-headers` (590 > 589) *purely because writing the entries down created the strings they search for*. Licensing debt is `policy: flag-only` — measured and reported, **never acted on**, per the standing owner directive in `.claude/CLAUDE.md`. ## Verification ``` debtfile-structure-test.sh 14 passed, 0 failed run-debtfile-test.sh 16 passed, 0 failed debt-ratchet-test.sh 12 passed, 0 failed just debt-measure · HOLDING [low ] docs-md-not-adoc 309 · HOLDING [high ] gate-scripts-without-tests 31 · HOLDING [medium ] shell-scripts-missing-spdx 2 · HOLDING [low ] todo-fixme-markers 277 · HOLDING [medium ] pmpl-licence-headers 589 ``` Each suite proves its gate **can fail** and was mutation-tested. The runner suite was itself found to be a fake gate during authoring — piping into `expect` ran it in a subshell, so counters were discarded and a real failure would still have exited 0 — and fixed. Workflows re-verified as parsing (`debt-measure.yml` initially did **not**: a multi-line `git commit -m` put continuation lines at column 1 and ended the YAML block scalar — the estate's own broken-workflow class, caught before merge). `actions.lock` updated; duplicate-key linter clean across 39 files. ## Rollout Wired as job `debt-ratchet` in `governance-reusable.yml`, so **every caller picks it up on next run with no per-repo PR**. Tier **🟡 CHECK** — MUST NOT be a required status check. Promotion to 🔴 GATE only after two clean weekly measure cycles. Adoption is opt-in: a repo with no `Debtfile.a2ml` is not in violation; a repo that has one must have a well-formed one. 🤖 Generated with [Claude Code](https://claude.com/claude-code) --------- Co-authored-by: Claude Opus 5 <noreply@anthropic.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 freeto join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
Closes the actionable of #103 (Wave 0 of campaign #102; policy #101).
Read-only discovery over all 379 hyperpolymath repos (top-level
HEAD), committed as the durable worklistrhodium-standard-repositories/spec/nix-retirement-inventory.adoc:Verdicts are provisional — final keep/remove is per-repo at wave time (
flakeinputs vsGuix ∪ sealed-container). The.guix-channel-only and flake-without-Guix traps were checked and are empty; the earlier triage's "my-lang = channel-only" was inaccurate (my-lang has no flake.nix → out-of-scope). TheWavecolumn is authoritative for slicing the wave sub-issues.Gate rules are not duplicated here — the artifact links to #102 /
LANGUAGE-POLICY.adoc.Refs #103
Refs #101