S6 — Everything the game keeps in state is counted, and told what it must say

[The-Running-Dev]

Derives the concept set from GameState's 17 fields and the declarations their field types
reach, wraps §5.4.1 and §5.4.2 as lifecycle-Opportunity and lifecycle-ScheduledEvent, and adds
the concept check. The check counts a lifecycle region as stating both boundaries of the
lifecycle when its body carries at least two single-word bold-period labels — a structural test on
the region's shape, not a vocabulary of which words mean creation versus retirement, so it needs no
closed word list to recognise future concepts S7 writes with different wording. The gate lands red
on purpose: 12 of the 14 derived concepts have no lifecycle- region yet, and the run exits 1; S7
clears it.

Contradiction found while implementing, left in the document per the freeze: design/20-contract.md
§ tools/Read-SpecSet.ps1 — Corpus access and Index describes the index's return shape as
SpecDocument[], SpecDeclaration[], SpecReference[], the four authored record collections, and
State/Reason — it does not mention the new derived Concepts collection this slice adds. This
is the kind of descriptive drift that would normally be corrected in this commit, but
design/FROZEN.md exists, so per AGENTS.md § The design freeze the document is left alone and
the gap is recorded here instead.

Closes #13

Verified

Ran and passed:

• Parse-check PowerShell scripts — parsed every *.ps1 with [System.Management.Automation.Language.Parser]::ParseFile; 33 files checked, all parsed cleanly.
• Validate the core/companion split — ./tools/Test-Companion.ps1: State Valid, 22 core(s) checked, 0 companion file(s), 22 core(s) with no companion. Exit 0.
• Check the design state against the tree — ./tools/Test-DesignState.ps1: State Valid, Findings 0, Reported 12 (all MirrorStale/WorkStateDivergence on already-merged work items, downgraded to reported by the active design freeze — none blocking), CouldNotEvaluate 0. Exit 0.
• git diff --check — exited 0, no trailing whitespace or conflict markers introduced by this branch.

Ran and failed:

• Run Pester tests — Invoke-Pester -Path tools -Output Detailed -PassThru: Tests Passed 330, Failed 1, Skipped 0, Total 331. The one failure — Test-DesignState.Tests.ps1 "S18.6: EnforcementUnevidenced rejects this repository's own superseded decision once its SupersededBy line is removed, and clears once it is restored" — asserts "Expected 1, but got 0." This is the same pre-existing failure recorded in the S4 verify report (commit 9e25508, "Record verify report for S4 — 6 of 7 gates pass; S18.6 pre-existing failure tracked as S18.6 self-test does not account for the design freeze downgrading EnforcementUnevidenced #38"): design/FROZEN.md downgrades every blocking divergence class, including EnforcementUnevidenced, to reported rather than blocking (design/20-contract.md § The freeze), so ExitCode is 0 instead of the 1 this test still expects. The test predates the freeze and was never updated for it. Tracked as issue S18.6 self-test does not account for the design freeze downgrading EnforcementUnevidenced #38, unrelated to this branch's changes.
• Check the spec set — ./tools/Test-SpecSet.ps1: Spec-set Invalid; 8 documents; 936 declarations; 2 mirror obligations checked; 8 references unresolvable (cross-repository, expected — SubZeroDev.GameEngine references). Findings: 12, all CheckId: concept — RngState, GameStatus, CalendarState, PlayerState, EconomyState, WorldState, StatusEffect, PendingEventResponse, GoalState, HistoryEntry, LoggedAction, GameMetadata are each a state-bearing concept with no lifecycle-<Concept> region. This is the on-purpose result of this slice, stated above: S6 adds the concept check itself and wraps only 2 of the 14 derived concepts (Opportunity, ScheduledEvent); S7 clears the remaining 12. Exit 1.

Did not run:

• docs.ps1 -BuildOnly (Docusaurus image build) — Docker Desktop is not running locally (docker info failed). This repository's docs build needs Docker and is not CI-gated (no # verification: true flag on any docs.ps1-related step in .github/workflows/*.yml), so it was skipped rather than reported as passed.

---

Agent detail

• Slice: S6 — design/30-slices.md § S6 @ 394505aae8cdd82a2375a4956fc7ba93090db469
• Criteria met: S6.1, S6.2, S6.3, S6.4, S6.5
• Left undone: none