Repository navigation
Remove development narration from the reader-facing repository - #18
Merged
Merged
Conversation
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.
Readers were directed to a continuing workspace, a dated work order and repository-setup narration. Remove
WORKSPACE.mdandwork_orders/CURRENT.mdfrom the current tree, consolidate durable maintenance rules inAGENTS.md, and lead the reading route through the overview, tutorial bridge and proof map. Present source access and verification as stable reference guides.Retired documents remain in Git history. Two dated records receive only link-target repairs to their historical work order. All 27 protected inputs, mathematical expressions, scientific code, saved references, comparison policy, authorship and licensing are preserved.
Validation: 292 local link destinations/heading anchors pass; integrity passes (27 inputs, 291 file links, five suites); all 14 infrastructure tests pass. Exact comparison confirms unchanged math in every edited surviving document and only the specified URL change in each dated record. The documentation diff received a separate read. The existing CI workflow runs all 60 supplementary checks and five scientific suites.
The PR verification run passed all 60 supplementary checks and all five scientific suites (28 groups, 272 controls). Full logs were inspected for tested merge
2a7bed77ac624c3a5dda2368a6a939f215fd1624. The retained comparisons contain 526 raw differences, including eight suite-07 ODE-workload counters accepted by the unchanged policy; outputs are not byte-identical to the references. All scientific assertions, counts and policy agreement checks pass.Merged as
a13eceb36bb2d2482a5c59ab20e5d63bf61a32e8. Candidate, tested PR merge and main have the same tree97ab0d3840cdba5d5f8a2700fcbd2bb1848fb52b; the merged worktree is clean and its fresh integrity check passes. The post-merge workflow was inspected and is running at this record's update.PR evidence: artifact
11553447297, digestsha256:8a3acd16ba1672a05c60bb716bf204a14cc8f76ee5a93de2f3fb443bff8f07fa, expires2026-10-22T13:27:16Z. Local documentation evidence and inspected PR logs are retained inreader-facing-2026-10-08-evidence.