S5: split the provisional register into Reason and Settles when, and mark every number's site - #31
Open
The-Running-Dev wants to merge 4 commits into
Open
S5: split the provisional register into Reason and Settles when, and mark every number's site#31The-Running-Dev wants to merge 4 commits into
The-Running-Dev wants to merge 4 commits into
Conversation
… when, and mark every provisional number's site Adds the provisional-register and provisional-site- marker vocabulary to the spec-set reader and checker, splits 04 §22.2's third column into Reason and Settles when, and wraps all six provisional numbers (four in 04, two in 03) with their matching site regions. The §8.7 Housing quality row's Settles when cell is left deliberately empty per the contract's own migration note and the user's explicit call - it produces a real provisional finding until a checkable condition is written. AGENTS.md and agent.md now point at 04 §22.2 instead of carrying their own provisional lists.
The provisional register's last empty Settles when cell made the spec-set gate fail on every branch, main included: the sole-provisional-register decision accepted the row as a finding, and the CI-gate decision makes a finding fail the build. S5.1 requires all six rows non-empty, so the slice was not complete; S5's Out of scope directed that the condition be asked for rather than invented, and the question had not been put. The cell now names the simulation harness, matching the two other balance-derived rows. Removes the prose calling the empty cell intended, and flips the test that asserted one finding to assert none.
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
1 participant
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.
What changed, and why.
04§22.2's provisional register gainsReasonandSettles whencolumns in place of one free-text cell, and each of the six provisional numbers (four in
04,two in
03) is wrapped in aprovisional-site-region so the checker can tie a register row tothe exact sentence carrying the number.
AGENTS.mdandagent.mdnow point at04§22.2 insteadof each carrying their own (already-disagreeing) list. The
§8.7 Housing qualityrow'sSettles whencell is deliberately left empty — no checkable condition exists yet, so it produces a realprovisionalfinding on every run until one is written, per the contract's migration note and anexplicit call from the repository owner.
Closes #12
Verified
Not yet run — the gates run next and this section is replaced with their report.
Agent detail
design/30-slices.md§ S5 @93b0842ReasonandSettles when; thesixth (
§8.7 Housing quality) is deliberately left empty per the contract's migration note,which names this exact row as the intended day-one
provisionalfinding, and per therepository owner's explicit decision not to invent a settling condition for it.
ReasonandSettles whenfor the other five rows was not purely mechanical — four of them needed a newconnective clause beyond the source prose. Drafted and confirmed with the repository owner
before writing it into
04.