Repository navigation
docs(proposals): record the last four owner rulings - #50
Merged
Merged
Conversation
The owner ruled through the selector on 2026-11-10: - D-5: amend ADR 0004 to the canon reader and ratify it; mark the receipts proposal settled in part; close issue 28 with a pointer. - D-8: proof toolchains come from the Guix manifest. The plan had recommended release archives first. Work order 1.4 now follows the ruling and has a stop condition. - R-3: statement S-2 lives in Mathesis. - R-4: januskey is the first slice from theorem to code. Each decision of the plan is now ruled. R-5 of the programme is open. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0136P7ZnDRsCLfZcFcEzvPcM
The plan said that the companion programme records two rulings. It records four: the token order (provisional on X-PF1), the kernel import, the home of S-2 and the first slice. Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0136P7ZnDRsCLfZcFcEzvPcM
|
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 10, 2026 17:05
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
This pull request follows pull request 49, which merged at commit
430889d. Two later commits did not reachmain. They record the last four rulings that the owner gave through the selector on 2026-11-10. Without them,mainsays that four decisions are open, and work order 1.4 states the arm that the owner did not choose.It changes two proposal documents only. It changes no gate, schema, deed clause or data file.
Changes
docs/proposals/mathesis-re-anchoring.adoc:docs/proposals/mathesis-research-programme.adoc:januskeyis the first slice from theorem to code. Experiment E-3.1 and the order of work name it.RSR Quality Checklist
Required
just testor equivalent). Not run to completion: the session had no Idris2 and no Zig. This pull request changes documents only.unsafeblocks without// SAFETY:comments.envfiles includedAs Applicable
docs/status/ROADMAP.adocupdated. Not changed on purpose: the plan gives the change as work order 3.4.CHANGELOGor release notes updated. Not changed.Testing
Run locally on the rebased branch, with Just 1.56.0 and asciidoctor 2.0.26:
bash scripts/check-adoc-renders.sh .: PASS, all 183 tracked.adocfiles render clean.asciidoctor -v --failure-level INFOon both files: no warning, no broken cross reference.just validate-repo-map: up to date.bash scripts/check-root-shape.sh .: PASS.bash scripts/check-invisible-characters.sh: no finding.The branch was restarted from
mainafter the merge of pull request 49, with the owner's approval of the force push. The two commits have the same patch identifiers as before the rebase.Screenshots
Not applicable.
Generated by Claude Code