chore: issue sweep — dead Justfile recipes, stray MAINTAINERS, stale pointers - #183
Conversation
…pointers - Justfile (+ its contractiles copy, kept byte-identical per the RSR template convention): remove every recipe that targets the deleted `interpreters/` tree or a `package.json` that does not exist (build-affinescript, build-typescript, test-typescript, test-interpreters, run-example/-brainfuck/-whitespace/-malbolge, clean-typescript, clean-affinescript, watch, install, install-npm, install-python), drop npm/nodejs from install-provers-*, and drop the dead "Implementation code" stats line. `lint` and `format` are kept as names but now fail loudly instead of reporting a no-op as success (`npm run lint || true` could never fail). Refs #75. - Remove the stray markdown `MAINTAINERS`, which named a different primary maintainer than the canonical `MAINTAINERS.adoc`; `docs/MAINTAINERS.adoc` is already a pointer. humans.txt now cites the root file. Refs #79. - docs/wiki/README.md: replace the stale "Automation TODO" with a description of the wiki-sync workflow that already exists. Refs #80. - LambdaCNO.v: y_not_cno's triage pointer cited a drifted line number (`LambdaCNO.v:356`, now 399/400); cite the triage row by identifier instead. Refs #166. - self-validating/README.adoc: example `cp` paths named `contractiles/self-validating/`, which does not exist. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f
|
Navigate logical layers of code changes, visualize relationships, and explore their blast radius. No actionable comments were generated in the recent review. 🎉 ℹ️ Recent review info⚙️ Run configurationConfiguration used: Organization UI Review profile: ASSERTIVE Plan: Advanced Run ID: 📒 Files selected for processing (7)
💤 Files with no reviewable changes (1)
Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review. 📜 Recent review details⏰ Context from checks skipped due to timeout. (23)
🧰 Additional context used🪛 LanguageTooldocs/wiki/README.md[uncategorized] ~38-~38: The official name of this software platform is spelled with a capital “H”. (GITHUB) 🔇 Additional comments (6)
📝 SummarySummary by CodeRabbit
WalkthroughThe root and contractiles Justfiles remove legacy build, test, cleanup, and installation recipes. Documentation updates change example paths and wiki-sync instructions. The MAINTAINERS file is removed, its contributor reference is updated, and a proof-debt comment now uses a row identifier. ChangesLegacy task recipe removal
Self-validating example paths
Wiki synchronisation instructions
Maintainer record reference
Proof-debt comment reference
Priority: ➖ Normal Estimated code review effort: 2 (Simple) | ~12 minutes Change: Other Merge Risk: ⚪ Minimal · up to The cleanup removes obsolete tasks and refreshes documentation without an established regression. Formatting and linting intentionally report unavailable tooling; the change is mergeable after normal checks. Architecture SummaryArchitecture risk: 🔵 Low · up to The change affects 5 systems. Changed systems: Architecture concerns Review detailsSystems and components
Before / after behavior
🚥 Pre-merge checks | ✅ 4 | ❌ 1❌ Failed checks (1 warning)
✅ Passed checks (4 passed)
Full details: Out of Scope Changes checkExplanation The changes to
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. A rabbit checks the task list twice Comment |
![coderabbitai[bot]](https://avatars.githubusercontent.com/in/347564?s=60&v=4){kind=small}
…pe list JUSTFILE-COOKBOOK.adoc: - remove the build-typescript, test-typescript and watch sections; - correct the build-all, test-all and clean dependency lines; - regenerate the appendix recipe list from `just --list` and the dependency graph from the Justfile; - add a banner naming the nine sections that describe recipes the Justfile has not defined since before this PR. COOKBOOK.adoc: drop the test-typescript and watch-typescript lines. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f
1 participant
Closes #75. Closes #79. Closes #80. Closes #166.
What changes
build-rescriptwas already gone; this removes the rest of the same class: every recipe targeting the deletedinterpreters/tree or apackage.jsonthat does not exist (14 recipes), npm/nodejs frominstall-provers-*, and a dead stats line.lint/formatkeep their names but now exit 1 with a message instead of reporting success (npm run lint || truecould never fail).ls interpreters package.json→ both absent;just --listparses;just lint→ rc=1docs/MAINTAINERS.adocis already a pointer to the root file. The residue was a third file, markdownMAINTAINERS, naming@metadatasticianas Primary, contradicting canonicalMAINTAINERS.adoc(sole maintainer @hyperpolymath). Removed;humans.txtnow cites the root file.git grepfinds no reference to the bare name except CODEOWNERS'MAINTAINERS*glob, which still covers the.adocwiki-sync.yml→scripts/wiki-sync.sh;just wiki-sync). Replaced the stale "Automation TODO" indocs/wiki/README.md.dcee58d= "Sync from absolute-zero/docs/wiki@3e959cb" (2026-09-26); the 09-30 run logged "Wiki is already up to date"LambdaCNO.v:356pointer by citing the triage row by identifier, so it cannot drift again.Also:
self-validating/README.adocexamplecppaths namedcontractiles/self-validating/, which does not exist.#166 acceptance, measured on this head
asciidoctor -o /dev/null docs/proof-debt.adoc→ exit 0, noERROR:.|<line>rows for all three Lean QuantumCNO tables: 7/7, 4/4, 3/3.y_not_cnocarries(* AXIOM: [CLASS-A] y_not_cno: … *)(line 399), and its leading comment now cites the triage row by identifier.\|0⟩to a bare|0⟩reproducesERROR: … dropping cells from incomplete row.Deliberately not in this PR
.machine_readable/contractiles/Justfilebyte-identical to its own rootJustfile(both blob78b18ce, 720 lines), as do six other RSR repos. Deleting it here would diverge from the template, and a template sync would re-add it. This PR keeps the copy in sync. Whether the duplicate should exist is a template-level decision.just --list. Nine older sections describe recipes that did not exist before this PR either (build-z3,check-tools,clean-all,docs-*,install-help,loc,quick-check). A banner names them; the full rewrite is left for a separate PR.🤖 Generated with Claude Code
https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f