v0.0.2

What's Changed

• SPIKE-1: the de Bruijn SubstKit toy (Lean) — sdenote_push_lift + sdenote_subst, axiom-clean by @maxine-at-forecast in #3
• ci: cache Rust build + Verus, cancel superseded PR runs, fail-fast ordering by @maxine-at-forecast in #5
• ci: shard the Verus/Z3 test suite with cargo-nextest across 4 runners by @maxine-at-forecast in #7
• SPIKE-2: the normalizer probe (REQ-5..7) by @maxine-at-forecast in #4
• docs: tone & voice pass — top-level docs (affirmative, plain register) by @maxine-at-forecast in #9
• docs: tone pass — root thermite-2 design docs + complete the standard by @maxine-at-forecast in #10
• docs: external-facing docs/ tree (foundation) by @maxine-at-forecast in #11
• docs: bake tone-and-voice into the build workflow + comment-pass plan by @maxine-at-forecast in #12
• docs(stage-2): resolve Q-KIT/Q-TV2 against merged M0 spike results by @maxine-at-forecast in #13
• style: deep tone pass over all source comments (Rust + Lean) by @maxine-at-forecast in #14
• docs(stage-1): kickoff plan + spec grounding amendment by @maxine-at-forecast in #15
• Lint REQ status comments for doc drift by @dollspace-gay in #18
• Add canonical REQ registry gate by @dollspace-gay in #19
• Stage 1 forge-tier foundation — relax spine lemmas + seven verdicts + axiom gate + covenant signature (increments 0 & 1) by @maxine-at-forecast in #20
• [codex] Harden REQ registry legacy status mapping by @dollspace-gay in #21
• [codex] Turn over contract-TV status summary by @dollspace-gay in #22
• Turn over exec-TV status summary to REQ registry by @dollspace-gay in #23
• Turn over exec-TV forge status to REQ registry by @dollspace-gay in #24
• Turn over forge scaffold status to REQ registry by @dollspace-gay in #25
• [codex] Bulk turn over crate status docs to REQ registry by @dollspace-gay in #26
• [codex] Turn over lowerer status docs to REQ registry by @dollspace-gay in #28
• Turn over syntax AST status docs by @dollspace-gay in #30
• Turn over syntax parser status docs by @dollspace-gay in #31
• Turn over spec validator status docs by @dollspace-gay in #32
• Turn over forge manifest status docs to REQ registry by @dollspace-gay in #33
• Turn over forge check status docs to REQ registry by @dollspace-gay in #34
• Turn over L1 status docs to REQ registry by @dollspace-gay in #35
• Batch turn over core status docs to REQ registry by @dollspace-gay in #36
• [codex] Turn over forge workflow status docs by @dollspace-gay in #37
• [codex] Turn over forge quality status docs by @dollspace-gay in #38
• Turn over forge runtime status docs to REQ registry by @dollspace-gay in #39
• Finish source status turnover to REQ registry by @dollspace-gay in #40
• [codex] Close RFC req-registry hardening by @dollspace-gay in #41
• Stage 1 forge tier — increment 2a: surface syntax (REQ-3) by @maxine-at-forecast in #29
• Stage 1 forge tier — increment 2b: covenant engine (REQ-4 / AC-8) by @maxine-at-forecast in #42
• Stage 1 forge tier — increment 2c: frozen tactic/simp battery (REQ-5 / AC-9) by @maxine-at-forecast in #43
• Stage 1 forge tier — increment 2d: anti-Goodhart at L3 (REQ-6 / AC-10) by @maxine-at-forecast in #44
• Stage 1 forge tier — increment 2e: forge goal --proof / fill + burn receipts (REQ-7 / AC-11) by @maxine-at-forecast in #45
• [codex] Fix string literal and L1 TString regressions by @dollspace-gay in #46
• Stage 1 forge tier — increment 2f: nlsat relax routing + L4 ladder (REQ-8 / AC-12) by @maxine-at-forecast in #47
• Stage 1 forge tier — increment 3 (final): lemma library mechanics (REQ-9 / AC-13) by @maxine-at-forecast in #49
• ci: run spine-dependent forge tests in the lean job (close audit F4) by @maxine-at-forecast in #50
• Fix doc-drift topology nondeterminism by @dollspace-gay in #51
• fix(forge): solver-vacuity no longer silently no-ops on ADT-returning fns (#275) by @maxine-at-forecast in #52
• [codex] Add arm64 seccomp sandbox support by @dollspace-gay in #53
• [codex] Add merge-stable doc drift content pins by @dollspace-gay in #54
• Stage 1: the G1 gate artifact — L4/L4/L3 merge-class cert + per-clause hybrid route + seven-verdict suite (REQ-10/AC-14) by @maxine-at-forecast in #55
• Stage 1 governance: thermite2-semantics.md (normative home) + the five goal.md R-rules (REQ-8/AC-13) by @maxine-at-forecast in #56
• Stage 1 governance: THERMITE.skill.md v2 — agent-facing forge tier (REQ-8/AC-13) by @maxine-at-forecast in #57
• feat(forge): §6 metrics dashboard — forge audit --metrics (#316) by @maxine-at-forecast in #58
• docs: flip headline to the five-rung ladder at gate G1 (R-GATE-1, #318) by @maxine-at-forecast in #59
• chore(post-g1): rotating-seed TV cron + #148 regression + umbrella AC sync (#319) by @maxine-at-forecast in #60
• fix(audit): re-pin Rust↔Lean correspondence + drift-check lean_export… by @dollspace-gay in #62
• docs(stage2): G1 re-pass — kickoff-ready, REQ-0 added (#320) by @maxine-at-forecast in #63
• Stage-2 REQ-0: surface quantifiers — raw forall/exists in thermite-syntax (#322) by @maxine-at-forecast in #64
• fix doc drift invalid pins by @dollspace-gay in #65
• Stage-2 REQ-1: the Strat spine foundation — Syntax/Carrier/Denote + PinFiniteEscape (#323) by @maxine-at-forecast in #66
• Stage-2 REQ-2: the SubstKit binder kit — Strat/SubstKit.lean + PinBrokenLift (#324) by @maxine-at-forecast in #67
• Stage-2 REQ-3: classifier kernel half — Nnf/Graph/Fragment + T3-C (#325) by @maxine-at-forecast in #68
• Stage-2 REQ-4: classifier ops half (Rust) + differential battery (#326) by @maxine-at-forecast in #69
• Stage-2 REQ-5: encoder + T1-S soundness — the two-syntax bridge (#327) by @maxine-at-forecast in #70
• docs(stage2): REQ-5 option-B consequence — REQ-8 owns atom-grounding, G2 gates on it (#338) by @maxine-at-forecast in #71
• Stage-2 REQ-6: combinator demotion — CombDeriv + PinCombDeriv (#328) by @maxine-at-forecast in #72
• Stage-2 REQ-7: restratify — Restratify + forge edit --restratify + R-SIDE-1 (#329) by @maxine-at-forecast in #73
• Stage-2 REQ-8: faithfulness + two-phase TV + the trust flip (#330) by @maxine-at-forecast in #74
• fix(doc-drift): re-pin 4 lower.rs docs after #74 squash (#339) by @maxine-at-forecast in #75
• ci: split lean job → lean-probe + sharded lean-spine-forge (#340) by @maxine-at-forecast in #76
• Stage-2 REQ-9: audit integration — the G2 gate (#331) by @maxine-at-forecast in #77
• Stage-2 REQ-10: the pin battery, complete (AC-10, gate G2) (#332) by @maxine-at-forecast in #78
• docs: synthesize a curated CHANGELOG (G1+G2 trajectory) (#341) by @maxine-at-forecast in #79
• Stage-3 REQ-1: the @bv clause tag, parse-gated (#343) by @maxine-at-forecast in #81
• fix(doc-drift): re-pin 6 legacy commit-pins to the #343 squash commit by @maxine-at-forecast in #82
• docs(stage3): land resolved design doc + untrack .kickoff-session by @maxine-at-forecast in #83
• Stage-3 REQ-2: @bv lowering — EngineName::BitVector (QF_BV, L4) (#344) by @maxine-at-forecast in #84
• chore(doc-drift): migrate 6 legacy commit-pins to content-sha (end the squash re-pin tax) by @maxine-at-forecast in #85
• Stage-3 REQ-3: lock 1 — the bv shadow flag (#345) by @maxine-at-forecast in #86
• Stage-3 REQ-4: lock 2 — bv-semantics mutation (#346) by @maxine-at-forecast in #87
• Stage-3 REQ-5: lock 3 — the nowrap side obligation (#347) by @maxine-at-forecast in #88
• Stage-3 REQ-6: review surface — semantic forks + towers (the F-F tripwire) (#348) by @maxine-at-forecast in #89
• Stage-3 REQ-7: the Rust→Lean obligation exporter (QF_LIA + QF_BV) (#349) by @maxine-at-forecast in #90
• Stage-3 REQ-8: reconstruction default-on — the per-clause trust migration (#350) by @maxine-at-forecast in #91
• fix(harness): re-wire the de-wired gates + route the control plane (#93) by @dollspace-gay in #94
• forge: check — weave the ADTs reachable through woven spec fns, and name harnesses after what they check (closes #92) by @dollspace-gay in #95
• Clarify documentation and complete BitVec reconstruction by @dollspace-gay in #96
• Complete Gate G3 checked reconstruction by @dollspace-gay in #97
• Stage 4 checked EPR reconstruction by @dollspace-gay in #98
• Make setup and generated skill current by @dollspace-gay in #99

New Contributors

• @maxine-at-forecast made their first contribution in #3
• @dollspace-gay made their first contribution in #18

Full Changelog: v0.0.1...v0.0.2