Skip to content

Commit 4ffd9c4

Browse files
chore(doc-drift): re-pin design docs for Stage-2 REQ-4 (#326)
The REQ-4 classifier-ops change touched four doc-drift-governed files; re-pin each governing design doc's content-sha256 to the new digest (the legacy commit pin stays at its stable-main ancestor — content-sha256 is the active check): - .design/forge/cli.md — forge/src/cli.rs grew `forge strat-tv` + the ForgeError::StratDifferential variant. - .design/scaffold/workspace.md — thermite-spec/src/lib.rs `pub mod classifier;` + forge/src/main.rs `mod strat_tv;` (additive). - .design/tooling/req-registry.md — registry.toml/status.md grew REQ-S2-4 + the regenerated status view (447 reqs, --check clean). - .design/verified/contract-tv.md — thermite-tv/src/gen.rs grew gen_strat_formulas (a new generator; the contract-TV REQs unchanged). doc-drift.py + make doc-drift clean. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
1 parent 39c2137 commit 4ffd9c4

4 files changed

Lines changed: 8 additions & 8 deletions

File tree

.design/forge/cli.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
<!--
44
tier: 3-component
55
status: shipped
6-
audited-sha: 5ae0816c042debb01c70eb9b89c775837f0c0f24 (re-pinned 2026-06-18 for umbrella REQ-2c / AC-4, the rotating-seed scheduled-CI watchdog: the only change to this doc's governed file (cli.rs) is the additive `--seed <u64>` flag on `forge tv` — parsed into `Command::Tv.seed`, threaded to `run_tv`→`run_generated` for the off-corpus space only (the corpus phase keeps the pinned seed); a missing/non-numeric value is a Usage error (REQ-8 flag discipline, test `parses_tv_seed_flag`). Every other subcommand + flag parse is unchanged. prior: §6 metrics dashboard `--metrics` value)
7-
audited-content-sha256: ff919b92b7f812e57241b6dc360741ef5a4814ab525d1c30d627aa47895df534
6+
audited-sha: 5ae0816c042debb01c70eb9b89c775837f0c0f24 (content-sha256 re-pinned 2026-06-20 for stage-2 REQ-4 / AC-4 (#326), the classifier differential battery: the change to this doc's governed file (cli.rs) is the additive `forge strat-tv [--generated N] [--seed <u64>] [--json]` subcommand (`Command::StratTv` → `run_strat_tv`) plus the new `ForgeError::StratDifferential` harness-error variant; every other subcommand + flag parse is unchanged. The legacy commit pin stays at the 5ae0816c stable-main ancestor; only the active content-sha256 digest moves. prior: 2026-06-18 umbrella REQ-2c / AC-4 rotating-seed `--seed` flag on `forge tv`; §6 metrics dashboard `--metrics` value)
7+
audited-content-sha256: 05126b8e86e1246b5f550835bed1b09ca5c592534b3d2eb59483a90733c6e041
88
governs: forge/src/cli.rs
99
thesis-refs:
1010
- thermite-design.md §5

.design/scaffold/workspace.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@
22
<!--
33
tier: 3-component
44
status: draft
5-
audited-sha: 5ae0816c042debb01c70eb9b89c775837f0c0f24 (re-pinned 2026-06-17 for umbrella REQ-7 / AC-12, the §6 metrics dashboard: the only change to this doc's governed file (main.rs) is one additive module declaration (`mod metrics;`, the new §6 dashboard projection); the workspace/crate structure is otherwise unchanged. prior: stage-1 REQ-10/AC-14 G1 gate seven-verdict test module)
6-
audited-content-sha256: 84bfe82ea82020b3101c719056069804b06e321cfcbd0240bbe668a3f52c8867
5+
audited-sha: 5ae0816c042debb01c70eb9b89c775837f0c0f24 (content-sha256 re-pinned 2026-06-20 for stage-2 REQ-4 / AC-4 (#326), the classifier ops half: the changes to this doc's governed lib roots are additive — `pub mod classifier;` + the classifier re-exports in thermite-spec/src/lib.rs (the new Rust admission classifier), and `mod strat_tv;` in forge/src/main.rs (the differential battery module); the workspace/crate structure is otherwise unchanged. The legacy commit pin stays at the 5ae0816c stable-main ancestor; only the active content-sha256 digest moves. prior: 2026-06-17 umbrella REQ-7 / AC-12 §6 metrics dashboard `mod metrics;`; stage-1 REQ-10/AC-14 G1 gate seven-verdict test module)
6+
audited-content-sha256: 637b666dfb2ccebf326fa59fc9a29b3c1c42f10784abd0eada0946bb4ed087ff
77
governs:
88
- Cargo.toml (virtual workspace manifest)
99
- rust-toolchain.toml

.design/tooling/req-registry.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
<!--
44
tier: 3-component
55
status: draft
6-
audited-sha: f09f8ca376257cc1e2543b8ebc9fb771bffd04df (content-sha256 re-pinned 2026-06-20 for stage-2 REQ-2 / AC-2, the SubstKit binder kit: this doc's governed files (registry.toml, status.md) carry the additive REQ-S2-2 requirement entry + the regenerated status view; req-registry.py --check is clean (445 requirements, 119 views). The legacy commit pin stays at the f09f8ca3 stable-main ancestor; only the active content-sha256 digest moves. prior: 2026-06-19 stage-2 REQ-1 / AC-1 Strat spine foundation REQ-S2-1 entry; 2026-06-17 umbrella REQ-7 / AC-12 §6 metrics dashboard REQ-FORGE-METRICS-DASHBOARD entry; before that stage-1 REQ-10/AC-14 G1 gate REQ-S1-10 entry)
7-
audited-content-sha256: af5c5d43f56184108a6e82195e03cc29576dfbde854b45e54b43345c0c24ea86
6+
audited-sha: f09f8ca376257cc1e2543b8ebc9fb771bffd04df (content-sha256 re-pinned 2026-06-20 for stage-2 REQ-4 / AC-4 (#326), the classifier ops half + differential battery: this doc's governed files (registry.toml, status.md) carry the additive REQ-S2-4 requirement entry + the regenerated status view; req-registry.py --check is clean (447 requirements, 119 views). The legacy commit pin stays at the f09f8ca3 stable-main ancestor; only the active content-sha256 digest moves. prior: 2026-06-20 stage-2 REQ-2 / AC-2 SubstKit REQ-S2-2 entry; 2026-06-19 stage-2 REQ-1 / AC-1 Strat spine foundation REQ-S2-1 entry; 2026-06-17 umbrella REQ-7 / AC-12 §6 metrics dashboard REQ-FORGE-METRICS-DASHBOARD entry; before that stage-1 REQ-10/AC-14 G1 gate REQ-S1-10 entry)
7+
audited-content-sha256: 50df3cc71c264f3f4e3ffeae2d7e1d4fff580d897387aca24cdf203c7e98ccbe
88
governs:
99
- .design/reqs/registry.toml
1010
- .design/reqs/status.md

.design/verified/contract-tv.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@
33
<!--
44
tier: 3-component
55
status: draft
6-
audited-sha: 4a748bc98172c98cc39fb245996ab4143bdab08d (re-pinned 2026-06-16 for stage-1 increment 2b: thermite-tv's SplitMix64 Rng is made pub so the covenant falsify can reuse it (a visibility widening, additive); the contract-TV REQs this doc governs are unchanged.)
7-
audited-content-sha256: 3894d2078d92981e70882f80bf31eb63b43eb3d5cb1084ed41cda5b523404146
6+
audited-sha: 4a748bc98172c98cc39fb245996ab4143bdab08d (content-sha256 re-pinned 2026-06-20 for stage-2 REQ-4 / AC-4 (#326), the classifier differential battery: the change to this doc's governed file (thermite-tv/src/gen.rs) is the additive `gen_strat_formulas` generator (the well-sorted stratified-cage binder productions for the classifier differential, plus its `strat_to_wire`/`strat_rust_admitted` helpers) — a NEW generator beside the contract/exec ones; the contract-TV REQs this doc governs are unchanged. The legacy commit pin stays at the 4a748bc9 stable-main ancestor; only the active content-sha256 digest moves. prior: 2026-06-16 stage-1 increment 2b SplitMix64 `Rng` made pub.)
7+
audited-content-sha256: 8f1186a568bd89ca6dc160080fb505a2faf4a72debbc27602baa8401e89157f2
88
governs: thermite-tv/src/ref_encode.rs, thermite-tv/src/obligation.rs, forge/src/contract_tv.rs
99
thesis-refs:
1010
- thermite-design.md §1 (trust relocated twice: code → spec → spec-intent)

0 commit comments

Comments
 (0)