Corvidae-Coding-Projects · dollspace-gay · Jul 29, 2026 · Jul 29, 2026 · Jul 29, 2026 · Jul 29, 2026
diff --git a/.design/basis/02-recursion-schemes.md b/.design/basis/02-recursion-schemes.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 9465c40b9cb13c9d7d1df49e36d751bee6fd76d4e2e13980c2384d33101e02cf
+audited-content-sha256: 233bba31b9b79f796b931325d5542eada48aeb1dacf1981282b6716a99d00576
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/basis/04-collections.md b/.design/basis/04-collections.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7b94ae19debe08195561fa5cfd7a64afa7214923f7a06fab7021d4f132ccc83a
+audited-content-sha256: c2d49852cf6133dee75d384c92736de61ab033e6a364dcff117dda6cc5deb4c2
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/basis/06-provenance-and-sinks.md b/.design/basis/06-provenance-and-sinks.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 0982a363ece7986bdb15f21d4cbfcc4ebfefd36158f471a3b8a79e13e163c1d5
+audited-content-sha256: 3fc06e7b12bb9271ab5f13ff36a554f93addf85b8f57b704c0009f1937b184cd
 governs: thermite-spec/src/validator.rs
 governs: thermite-syntax/src/ast.rs
 governs: thermite-lower/src/lower.rs

diff --git a/.design/basis/07-strings.md b/.design/basis/07-strings.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7b94ae19debe08195561fa5cfd7a64afa7214923f7a06fab7021d4f132ccc83a
+audited-content-sha256: c2d49852cf6133dee75d384c92736de61ab033e6a364dcff117dda6cc5deb4c2
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/basis/08-runnable-effect-link.md b/.design/basis/08-runnable-effect-link.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: df347aac593e3f751d671d91af8a5bdd5c5d0ec1007017e86664c40b4f9c6ca2
+audited-content-sha256: a27e21b7ee949f1348a8b96077e1b75efbb8644ca440c70797d5fc3fee55bcd5
 governs: forge/src/build.rs
 governs: forge/src/effect_wrappers.rs
 (the thermite-stdlib/src/effect/* paths this doc originally listed were never

diff --git a/.design/basis/09-option-result.md b/.design/basis/09-option-result.md
@@ -2,7 +2,7 @@
 <!--
 tier: 3-component
 status: draft
-audited-content-sha256: 607df290746b38714bb16ddb6a651f2b52a23ed0cfdf4f515e7035ef00684a3d (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
+audited-content-sha256: 050cd55cbf580af9237e7cf471355a43b591511cd020deb5b842938d8d87a485 (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/basis/10-recursion-tuples.md b/.design/basis/10-recursion-tuples.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7b94ae19debe08195561fa5cfd7a64afa7214923f7a06fab7021d4f132ccc83a
+audited-content-sha256: c2d49852cf6133dee75d384c92736de61ab033e6a364dcff117dda6cc5deb4c2
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/basis/11-ergonomics.md b/.design/basis/11-ergonomics.md
@@ -2,7 +2,7 @@
 <!--
 tier: 3-component
 status: draft
-audited-content-sha256: 607df290746b38714bb16ddb6a651f2b52a23ed0cfdf4f515e7035ef00684a3d (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
+audited-content-sha256: 050cd55cbf580af9237e7cf471355a43b591511cd020deb5b842938d8d87a485 (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
 governs: thermite-syntax/src/parser.rs
 governs: thermite-syntax/src/ast.rs
 governs: thermite-lower/src/lower.rs

diff --git a/.design/basis/12-mutual-recursion.md b/.design/basis/12-mutual-recursion.md
@@ -2,7 +2,7 @@
 <!--
 tier: 3-component
 status: draft
-audited-content-sha256: a0626bfbc8c8a2afa354f257fa8d4b788f46cf1e7adfbd3e253ca0ab7a59a914 (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
+audited-content-sha256: 0dd9a7d3df24b2b39e14c312bdec059f5ac7447b50807f9a51eb0fc5806fe5c8 (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
 governs: forge/src/check.rs
 governs: thermite-lower/src/lower.rs
 thesis-refs:

diff --git a/.design/basis/13-map.md b/.design/basis/13-map.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7b94ae19debe08195561fa5cfd7a64afa7214923f7a06fab7021d4f132ccc83a
+audited-content-sha256: c2d49852cf6133dee75d384c92736de61ab033e6a364dcff117dda6cc5deb4c2
 governs: thermite-syntax/src/ast.rs
 governs: thermite-syntax/src/parser.rs
 governs: thermite-spec/src/validator.rs

diff --git a/.design/build/kernel-target.md b/.design/build/kernel-target.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7904c45b72a131cbb9e0da48849f593bcc5a93dfcd4d2acf49452f8beea1670f
+audited-content-sha256: 2e2947674a0b242f388c143ea99823f87b895d82d0a65ed3fbcadb4273b679d7
 governs: forge/src/build.rs
 thesis-refs:
   - thermite-design.md §3 (the stack — transpile to Rust, rustc is the codegen backend; the #21 realization note)

diff --git a/.design/forge/audit-manifest.md b/.design/forge/audit-manifest.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 1cc9d97c6c5d7eab6109561834db77f2ef4b57ab (re-pinned 2026-06-16: forge workflow status rows now render from canonical registry IDs; behavior unchanged; RFC #17)  (prior: 488103d4382815b85141d17bc01b60917ba744e7 (#274 — lean_fragment membership report; REQ-7..10 SHIPPED, audit.rs verified-current))
-audited-content-sha256: 78b1c9780993abfb7d7a0159a174da2c4d8232fb371934b86ce1de17c8f8469e
+audited-content-sha256: 3d6979af1e56a8ecc1f6964fc27da1b2869e1b2cc8502f1cda4d19c9ce58e4aa
 governs: forge/src/audit.rs
 thesis-refs:
   - thermite-design.md §6

diff --git a/.design/forge/build.md b/.design/forge/build.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: 7904c45b72a131cbb9e0da48849f593bcc5a93dfcd4d2acf49452f8beea1670f
+audited-content-sha256: 2e2947674a0b242f388c143ea99823f87b895d82d0a65ed3fbcadb4273b679d7
 governs: forge/src/build.rs
 thesis-refs:
   - thermite-design.md §3

diff --git a/.design/forge/certificate-manifest.md b/.design/forge/certificate-manifest.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: a728d95ca3dbd4fbbee1cb496c003f408d82f327 (re-pinned 2026-06-16 for stage-1 increment 2f, REQ-8: the only change to this doc's governed file (manifest.rs) is the additive Level::L4 kernel-grounded rung (REQ-S1-8); the relax route is reached only via --engine nlsat, so the v1 corpus stays L3 and oracle_subset is byte-identical (check_conformance green).)
-audited-content-sha256: 2cdf497e1e3d46002eea1f9a3e3142ef65c13727ff3b9bdd345c3b4db159ec2a
+audited-content-sha256: cf00957b6147be5267dc734373b4ba07757de9846d7d508dff17fe8634158fcc
 governs: forge/src/manifest.rs
 thesis-refs:
   - thermite-design.md §5.1

diff --git a/.design/forge/check.md b/.design/forge/check.md
@@ -3,7 +3,7 @@
 <!--
 tier: 3-component
 status: draft
-audited-content-sha256: 39db2140160524b596b95cffd085a1c025c06e0b2dd4820f590ee926c9d97198 (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
+audited-content-sha256: e684e7e3c69c17621dcfa8c3fa12c33a1f0b8ca2a89edc9ba8839a15898bbb6d (migrated from legacy audited-sha commit pin to a squash-stable content digest; doc-drift-tripwire.md REQ-2 — content pin is primary, commit pin is a migration fallback)
 governs: forge/src/check.rs
 thesis-refs:
   - thermite-design.md §5.1

diff --git a/.design/forge/cli.md b/.design/forge/cli.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: shipped
 audited-sha: 5ae0816c042debb01c70eb9b89c775837f0c0f24 (content-sha256 re-pinned 2026-06-23 for stage-3 REQ-7 / AC-8 (#349), the automated Rust→Lean obligation exporter: the change to this doc's governed file (cli.rs) is the additive `forge smt-export [<file>] [--out <path>]` subcommand (`Command::SmtExport` → `run_smt_export`, emitting the `(P_prod) ⟺ (P_ref)` `by smt` Lean theorems + `#print axioms` probes via `lean_smt_export.rs`); 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-21 stage-2 REQ-8 / AC-8 (#330) `forge strat-faithful-tv`; 2026-06-20 stage-2 REQ-4 / AC-4 (#326) `forge strat-tv` + `ForgeError::StratDifferential`; 2026-06-18 umbrella REQ-2c / AC-4 rotating-seed `--seed` flag on `forge tv`; §6 metrics dashboard `--metrics` value)
-audited-content-sha256: c26663ba3002a4cb2bd72fd30383d6d4f0c9b0eb9f975ea1d6aa0599b2a45826
+audited-content-sha256: 19ee007ec4e8bfdaed609662ab91486543b0ce3be348a40ddc1a77f3d48d9cce
 governs: forge/src/cli.rs
 thesis-refs:
   - thermite-design.md §5
@@ -58,9 +58,10 @@ What the old doc never saw, grouped (each verb cites its issue in the code):
 - **SMT-tactic obligation export** — `forge smt-export [<file>] [--out <path>]`
   (stage-3 REQ-7 / AC-8, #349): the automated Rust→Lean obligation exporter
   (`Command::SmtExport` → `run_smt_export`, driving `lean_smt_export.rs`). Emits a
-  `(P_prod) ⟺ (P_ref)` `by smt`-discharged Lean theorem + `#print axioms` probe per
-  renderable contract clause (QF_LIA, or QF_BV over the bounded-integer model for a
-  `@bvN` clause in a `bv` build); no file emits the canonical demo batch.
+  `(P_prod) ⟺ (P_ref)` Lean theorem + `#print axioms` probe per renderable contract
+  clause. QF_LIA uses `smt`; `@bvN` clauses use literal `BitVec N` terms and
+  kernel-checked normalization lemmas. With no file, the command emits the canonical
+  demo batch.
 
 ## Requirements
 

diff --git a/.design/forge/degrade-ladder.md b/.design/forge/degrade-ladder.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 9171f7fc260242151432300c3ce7ec7bd3000d6e (re-pinned 2026-06-16: forge runtime status rows now render from canonical registry IDs; behavior unchanged; RFC #17)  (prior: a2db0d8a82ae573cd114387d903ab8f3093dc840 (bootstrap pin: decision 4 — doc-last-touch, NOT verified-current; backlog #262))
-audited-content-sha256: 6bb1904c9c14ec2427f73bda8d685cfcdd66e5f3724b71820f6332f969e3f51a
+audited-content-sha256: 529978efa07a07858bc50a17d545c92aac5b5add24d550c15be363d528fd39ac
 governs: forge/src/degrade.rs
 thesis-refs:
   - thermite-design.md §5.2

diff --git a/.design/forge/e2e-vs-boundary.md b/.design/forge/e2e-vs-boundary.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 92396428567edc6940a9e2845217f5ff4c2ea3c6 (re-pinned 2026-06-16, user-authorized: the only change to this doc's governed files since the prior pin is the additive stage-1 forge-tier increment 2a — the new Item::Forge surface + inert Item::Forge match arms, verified net-additive with no substantive removal of existing v1 logic (git log <main>..HEAD = the 8 forge commits); the v1 behavior this doc governs is unchanged, and the new forge-tier surface is specified in .design/stage1-forge-tier.md / REQ-S1-3)
-audited-content-sha256: bb79087f969a6a0641d8679fc1a19c18f65e091e423eb2397b81f27a24286d03
+audited-content-sha256: 456321186914b83023c5d6ec7ca70720450de38d1bc1039f2011d20fe7a03299
 governs: forge/src/closure.rs
 thesis-refs:
   - thermite-design.md §9

diff --git a/.design/forge/goal-repl.md b/.design/forge/goal-repl.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: a728d95ca3dbd4fbbee1cb496c003f408d82f327 (re-pinned 2026-06-16 for stage-1 increment 2f, REQ-8: the only change to this doc's governed file (goal_repl.rs) is the additive Level::L4 arm in level_str (REQ-S1-8); the v1 goal/fill verbs this doc governs are unchanged.)
-audited-content-sha256: c24e4e6a4d479601364346b482350df3f29e47d26893de9ab9a216304ea149b2
+audited-content-sha256: c1ec7165e0ed89928c05caa9f6555f3c5d3a1792f9b99190ef40081950356bf3
 governs: forge/src/goal_repl.rs, forge/src/cli.rs (verb dispatch), thermite-syntax/src/parser.rs (hole token)
 thesis-refs:
   - thermite-design.md §5

diff --git a/.design/forge/mutation-scoring.md b/.design/forge/mutation-scoring.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: 80074948185b77b95006d034e461a338b1ce6b37 (re-pinned 2026-06-16: forge quality status rows now render from canonical registry IDs; behavior unchanged; RFC #17)  (prior: 488103d4382815b85141d17bc01b60917ba744e7 (re-pinned: the #269/#270 coordinated arc — the touched-file changes are exactly this doc's designed REQs / reviewed as claim-neutral)  (re-audited 2026-06-12: amended — shipped-status Summary; #48/#74/#80 early-return synthesis + 0/0 backstop, the #101 equivalence-excluded denominator, golden-anchored ratios, and the #247 Lean-battery consumer, #262. Amended 2026-06-12 (#269): the TWO MISSING early-return families F-IDENT (identity return) + F-STRUCT-ZERO (named-struct field-zeros) are specced REQ-9..REQ-13, NOT-STARTED — the outside review's item 5, the `move_up` weak-contract escape.))
-audited-content-sha256: aca03d45f70be859128483c22e3a243b8be62178d1d63387c1a87075b014a85a
+audited-content-sha256: c911b97006caffd2dd37e5dbb1f05d82093455422202ebe3bd64e43b36319bfb
 governs: forge/src/mutation.rs
 thesis-refs:
   - thermite-design.md §7

diff --git a/.design/forge/proof-cache.md b/.design/forge/proof-cache.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: 8b4d2580b472d04fca2b14de5b6be52533a2d258 (re-pinned 2026-06-17 for stage-1 increment 3, REQ-9 lemma library: the only change to this doc's governed file (cache.rs) is the additive REQ-9 dec wf accessibility-proof cache (AccessibilityProof + accessibility_cache_key + load/store, a separate wf- on-disk namespace, CHECK_SCHEMA_VERSION-invalidated like the per-item cache); the per-item proof cache is byte-identical (REQ-S1-9). prior: 1cc9d97c6c5d7eab6109561834db77f2ef4b57ab)
-audited-content-sha256: 1c787e55ab7800a9d60eb156a169fd9d99105e5bb2b192b2359f1ed39c7fd3c6
+audited-content-sha256: 927473d2e96688240e6ca8959906bf6fbaf6d3c5b1262b769aa2d003dcdafb0f
 governs: forge/src/cache.rs
 thesis-refs:
   - thermite-design.md §5.3

diff --git a/.design/forge/proof-repair.md b/.design/forge/proof-repair.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: a728d95ca3dbd4fbbee1cb496c003f408d82f327 (re-pinned 2026-06-16 for stage-1 increment 2f, REQ-8: the only change to this doc's governed file (repair.rs) is the additive Level::L4 arm in the certified-rung match (REQ-S1-8 — L4 is a certified rung, not a timeout to escalate); repair behavior unchanged.)
-audited-content-sha256: 65d0ff5ebe001498636b0a579eeab5aad1749f6372397e0accba6aad95ed0334
+audited-content-sha256: d1c5957cc4c2d7e392ba6c46c3dc22c036112fcdc84b9a0a507eb66e6834b564
 governs: forge/src/repair.rs
 thesis-refs:
   - thermite-design.md §5.2

diff --git a/.design/forge/runtime-sandbox.md b/.design/forge/runtime-sandbox.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 9171f7fc260242151432300c3ce7ec7bd3000d6e (re-pinned 2026-06-16: forge runtime status rows now render from canonical registry IDs; behavior unchanged; RFC #17)  (prior: 488103d4382815b85141d17bc01b60917ba744e7 (bootstrap pin: decision 4 — doc-last-touch, NOT verified-current; backlog #262))
-audited-content-sha256: 41538b2db294602e23ef5079c9e3742029194ae020bb6766c6b6be83ed94c650
+audited-content-sha256: cecbfd3a8b37bc83670d4fb4e32496fb7b90701a7863e7c6394a23309e7c37bf
 governs: forge/src/sandbox.rs
 thesis-refs:
   - thermite-design.md §4.1

diff --git a/.design/forge/solver-profiles.md b/.design/forge/solver-profiles.md
@@ -3,7 +3,7 @@
 tier: 3-component
 status: draft
 audited-sha: 80074948185b77b95006d034e461a338b1ce6b37 (re-pinned 2026-06-16: forge quality status rows now render from canonical registry IDs; behavior unchanged; RFC #17)  (prior: 488103d4382815b85141d17bc01b60917ba744e7 (bootstrap pin: decision 4 — doc-last-touch, NOT verified-current; backlog #262))
-audited-content-sha256: 98b4d49fab5fd9c67d6fde38b2b7fff68a864b5213b588b577886d5031feb1d4
+audited-content-sha256: ae61fe8eeeef8e515d296559475bd9d724d2eadd8a1e48f2981b9940f664ad15
 governs: forge/src/profile.rs
 thesis-refs:
   - thermite-design.md §5.1

diff --git a/.design/forge/solver-vacuity.md b/.design/forge/solver-vacuity.md
@@ -4,7 +4,7 @@
 tier: 3-component
 status: draft
 audited-sha: 90b8325951b0f625a693baf07776da39d0b95fbe (re-pinned 2026-06-17 after merging main into the #275 vacuity-fix branch: governed source carries #51's topology-stable doc-drift change + #275's ADT-deps/compile-error vacuity fix, both net-additive; the REQs this doc governs are unchanged.)
-audited-content-sha256: 3e29b4cdbc90c740be167ad1ee957ea5d30082d72248c9f49bf2f0345533e5d3
+audited-content-sha256: b94ec724e79313dae40144e6558258861253603740d035bae8b504c96cecfe47
 governs: forge/src/vacuity_solver.rs
 thesis-refs:
   - thermite-design.md §7