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 le...

v0.0.1

Full Changelog: https://github.com/dollspace-gay/Thermite/commits/v0.0.1