Repository navigation
deed: correct the deed to the Mathesis identity (re-anchoring WO 3.1) - #73
Merged
Merged
Conversation
Owner ruling D-1 (a), 2026-11-10. The owner reviewed and approved the clause text through the selector on 2026-11-11. Every write went through scripts/deed-clause.sh. - (ecosystem): the purpose and the IS-NOT list from "The proposed identity"; the chain prescribe -> prove -> describe; a standard-source edge to standards. No registry edge: registration is the owner's act. - (manifest): :project "mathesis" (it must equal :canonical-name, F-4) and a Mathesis purpose in place of the template purpose. - (meta): :languages measured over the tracked files; :type stays library (owner ruling 2026-11-11). - (anchor): golden path `just check`, the recipe CI runs (F-1); what Mathesis owns; the languages in use; five semantic-authority files that exist, in place of four that did not. - (variant (paths :added)): the 72 paths that check-variant-drift.sh measured as absent from the template at the mint pin. - (bot-directives): divergent invariants and known constraints already in force; (debt) points to the open findings in ROADMAP.adoc. - (integrations): feedback-o-tron, proven, verisimdb and vexometer go, because no tool reads them. groove stays (owner ruling 2026-11-11). CLAUDE.md and the coaptation receipt are regenerated (just claude-md, just coapt). Observed in this session: canon deed lint (standards 8e48b1c), just validate-state, just validate-claude-md, just validate-coapt and just validate-rsr pass; the drift gate reports no undeclared addition. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0136P7Zo9dheFQzYYWV49hAk
|
Caution Review failedThe pull request is closed.
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. |
|
hyperpolymath
marked this pull request as ready for review
November 11, 2026 16:22
Codex Review Summary: ❌ FailedThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
|
You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard. |
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
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
Work order 3.1 of
docs/proposals/mathesis-re-anchoring.adoc, under owner ruling D-1 (a). The deed now describes Mathesis, not the RSR template (findings F-1, F-3 and F-4). The owner reviewed the clause text through the selector on 2026-11-11 and approved it. Every write went throughscripts/deed-clause.sh, the one writer.Changes
(ecosystem): the purpose and the IS-NOT list from "The proposed identity", the chain prescribe -> prove -> describe, and astandard-sourceedge tostandards. It has noregistryedge, because registration ingv-clade-indexis the owner's act.(manifest)::project "mathesis", which must equal:canonical-name(F-4). A Mathesis purpose replaces the template purpose.(meta)::languagesmeasured over the tracked files.:typestayslibrary(owner ruling 2026-11-11).(anchor): the golden path isjust check, the recipe that CI runs in the pinned Guix job (F-1). The clause also states what Mathesis owns and the languages in use. Five semantic-authority files that exist replace four that did not.(variant (paths :added)): the 72 paths thatscripts/check-variant-drift.shmeasured as absent from the template at the mint pin.(bot-directives): divergent invariants and known constraints that are already in force.(debt)points to the open findings inROADMAP.adoc.(integrations):feedback-o-tron,proven,verisimdbandvexometerare removed, because no tool reads them.groovestays (owner ruling 2026-11-11).CLAUDE.mdand the coaptation receipt are regenerated (just claude-md,just coapt).RSR Quality Checklist
As Applicable
(ecosystem)updated(meta)updateddocs/status/ROADMAP.adocupdated: WO 3.4 writes the real stages there.Testing
Run in this session on the branch, with just 1.56.0 (checksum from
mise.lock), Nickel 1.18.0 (CI checksum) and the canon validator atstandards8e48b1c:just validate-state,just validate-claude-md,just validate-coapt,just validate-rsr: passscripts/check-variant-drift.shagainst the template at the mint pin: 0 undeclared additions (the gate still reports rendered files that differ, as expected for a minted repo)tests/workflows/deed_clause_test.sh: passOn
main,just validate-coaptfailed before this change: the committed receipt was stale. The receipt now reads band green. That reading still rests on the templateintendcontract; WO 3.3 states the Mathesis contracts. I did not runjust checkhere: this container has no Guix and no provers. CI runs it.Generated by Claude Code