S4 — Every reference resolves, and every claim about the engine repository pins a commit - #37
Merged
Conversation
…itory pins a commit Adds reference extraction (§N.N section marks, markdown document links, and engine/*.md cross-repository mentions) to Read-SpecSet.ps1, and the reference check, unresolvable bucket, and status-precedence report wiring to Test-SpecSet.ps1. Pins all 8 existing cross-repository mentions in life-in-the-fast-lane.md and bulgaria-adventure.md with the SubZeroDev.GameEngine commit they were true at. Fixes one genuine dangling same-repo reference the new check surfaced (02-narrative-voice.md's bare §17, which meant the engine spec's §17 but carried no qualifier). Materialises the Unresolvable scaffold in design/20-contract.md.
…ailure tracked as #38
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.
Adds cross-reference extraction and checking to the spec-set checker: §N.N section marks and
markdown document links resolve against the corpus, and the 8 mentions of
SubZeroDev.GameEnginedocuments are classified
CrossRepository, listed as unresolvable, and required to carry a pinnedcommit sha. All 8 existing cross-repository mentions in
life-in-the-fast-lane.mdandbulgaria-adventure.mdare now pinned toSubZeroDev.GameEngine's currentmaincommit(
bc74a62). One genuine dangling same-repo reference the new check surfaced —02-narrative-voice.md's bare§17, which meant the engine spec's §17 but carried no qualifier —is fixed in the same commit, since leaving it would fail the build for a defect the check exists to
catch.
Closes #11
Verified
Ran and passed:
tools/*.ps1parses cleanly.3f214beb175da1a0ebd8469fe3316bf9133ac855, working tree clean.git diff --check— exited 0, no trailing whitespace or conflict markers.Ran and failed:
Test-DesignState.Tests.ps1'sS18.6, expectsEnforcementUnevidencedto block (exit 1) when a decision'sSupersededByis stripped, butdesign/FROZEN.md(added at407bcea, before this slice started) downgrades every blocking divergence class to reported while active, so it exits 0. Confirmed pre-existing and unrelated to this branch — reproduces identically onmainatcbc5a60with none of this branch's changes checked out; the test predates the freeze marker and was never updated for it. Tracked as #38.Did not run:
docs.ps1 -BuildOnly(Docusaurus image build) — Docker Desktop is not running locally, and this step is not CI-gated (no# verification: trueflag in.github/workflows/verify.yml).Agent detail
design/30-slices.md§ S4 @86fc538f3e44d765f85cbaeff551ec2e06ed8919