Amend SS5 so an unresolvable subject is not an unchecked run - #34
Merged
Conversation
Unblocks S4, which design/30-slices.md gates on "do not start until SS5 is settled". SS5 escalated any unchecked entry to exit 2; CrossRepositoryUnresolvable was filed as an unchecked entry described as a permanent steady state; verify.yml fails the step on 2. The corpus carries 8 engine/*.md references made permanently unresolvable by the 2026-08-20 no-EnginePath decision, so from the commit S4 lands, Verify is red on every branch and no edit to this repository can clear it. Split the one word that was doing two jobs. Unchecked now means only a degraded run and still forces exit 2, leaving I19/I20 and AGENTS.md Verification untouched. A second list, unresolvable, holds a check that completed against a subject a recorded decision placed out of reach; it is reported and counted every run and never changes run status. The list is closed at one member and widening it is a contract amendment. SS5 reworded, SS6 counts four buckets so S4.6's sum still holds, SS9 keeps "never passed, never broken" verbatim, and new SS18 requires every completed run to name its unresolvable count so the report carries what the exit code no longer does. Also records the mirror-obligation bound from contract question 2: an obligation asserts its body is a complete restatement of the declaration's membership, and there is no partial form, because the wisdom defect the brief names is a missing member. No check or marker changes. Corrects descriptive drift found in passing: the invariants block is a live projected region rendered from design/state/invariants/*.md, not a scaffold awaiting those records.
Two design-state findings were pre-existing at this branch's base commit: the install-code-review-agent command had no unit record naming it as Anchor, and the 2026-08-23 kit-sync decision-log heading had no decision record naming it. Both blocked Test-DesignState.ps1 and the CI verify gate on every branch. Added the missing unit and decision records, bound the decision to unit/document/agents-md's Live list, and regenerated design/state-index.md's stale units and decision-affects projections.
The SS5 amendment split unchecked from unresolvable, and S4 was written against the old single list. S4.3 put the 8 engine references in the unchecked list, which forces exit 2 — the permanently red build the amendment removed. S4.5 deferred its exit code to a question now settled, and S4.6 summed three buckets where SS6 now counts four. All three are reworded on their existing ids, so /track sees no drift from them. SS18 and the Unresolvable scaffold had no criterion at all. S4.7 and S4.8 add them; those two ids are drift against issue #11 and are /track's to reconcile. Contract questions becomes Resolved contract questions, pointing at the two 2026-08-23 decisions rather than still saying S4 must not start. S1, S2, S3 and S5 have closed issues, so their bodies retire to the Landed index per How this document is kept. All four were last complete at 394505a and git show returns them.
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.
Resolves
design/30-slices.md§ Contract questions 1, which blocks #11 from starting.SS5 escalated any unchecked entry to exit 2, but
CrossRepositoryUnresolvableis a permanentsteady state, not a degraded run — so from S4's first commit, Verify would go red on every
branch with no edit able to clear it. Splits the one word doing two jobs:
uncheckedstillforces exit 2; a new
unresolvablelist holds checks completed against a subject a recordeddecision placed out of reach, reported and counted but never affecting run status.
Also fixes two pre-existing design-state findings uncovered while verifying this PR: the
install-code-review-agentcommand and the 2026-08-23 kit-sync decision-log heading (bothadded by a prior
/kit-syncsession, before this branch) had no unit/decision record namingthem, which failed
Test-DesignState.ps1and the CIverifycheck on every branch.Closes #11 (unblocks)
Verified
Ran and passed:
*.ps1files parsed cleanlyMirrorStalework/* records reported, expected since the last/tracksync)Ran and failed:
Did not run:
Agent detail
design/30-slices.md§ Contract questions 1, resolved via/contractdesign/20-contract.md(SS5 reworded, SS6/SS9/SS18),design/90-decisions.md,design/state-index.md, mirror-obligation bound (Contract Question 2); plus the design-state fix:design/state/units/command/install-code-review-agent.md,design/state/decisions/2026-08-23-kit-sync-reconciliation-agents-md-content-forks-and-three-tools-test-files-left-divergent.md,design/state/units/document/agents-md.md