Skip to content

Two DESIGN passages lived only in the projection, where the next regen deletes them #9463

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
gunbai-bot wants to merge 26 commits into from
Closed

Two DESIGN passages lived only in the projection, where the next regen deletes them #9463

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
7df68b8
Anchor the v2-corpus self-host program in a .dag plan bound to the CI…
Aug 26, 2026
27e6ae4
Merge main into the v2-corpus self-host anchor
Aug 26, 2026
a295e17
Drop the hand-authored plan markdown: the .dag carrier is the authority
Aug 26, 2026
6b01a24
Plan carrier for the import/namespace program
Aug 26, 2026
cf3d7fc
Plan corrections from two independent audits
Aug 26, 2026
ba59ee5
S1: record the receipt for delete-rather-than-correct
Aug 26, 2026
620a118
Carry the cross-program ruling once, in a typed interlock
Aug 26, 2026
5bb1099
Remove invalid \' escapes from the import/namespace plan
Aug 26, 2026
f9d1df8
Review 56363: delete the nickname predicate, de-duplicate the prose
Aug 26, 2026
f689457
Operator exact-head checks: S2 becomes its own milestone; gap count c…
Aug 26, 2026
09ced4a
Review 56367: delete the Bool projection — it had no consumer
Aug 26, 2026
626cd53
Split the fused S3+S4 milestone: two prerequisite sets are two elements
Aug 26, 2026
5401b61
Split ratchet enrolment into observation and gate: a third instance o…
Aug 26, 2026
1064409
A fourth fused variant, found by census rather than by report
Aug 26, 2026
a5a4110
The missing milestone: Step 0.5, and the limit it exposes in this con…
Aug 26, 2026
233c358
Hoist eight in-body annotations to module-item grain
Aug 26, 2026
3e826f0
The irreversible step was gated on strictly weaker conditions than it…
Aug 26, 2026
91793b2
Emitter capability is a milestone: installing the emitter's output wo…
Aug 26, 2026
faa11be
Merge remote-tracking branch 'origin/main' into session/warm-hawk-909
Aug 27, 2026
9410c52
Merge remote-tracking branch 'origin/main' into session/warm-hawk-909
Aug 27, 2026
3d10bb5
Merge remote-tracking branch 'origin/main' into session/warm-hawk-909
Aug 27, 2026
098a07a
Merge remote-tracking branch 'origin/main' into session/warm-hawk-909
Aug 27, 2026
1805e69
Restore the repo_ruleset ruling to the authority: 1685 characters liv…
Aug 27, 2026
6a53a4f
A DESIGN passage lived only in the projection, where the next regen d…
Aug 27, 2026
9a59649
Merge main: keep both accounts of the emit-stage row, and state their…
Aug 27, 2026
1b08e62
Merge main (third time): base on main, reapply four edits, prove the …
Aug 27, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading