v1.3.0

What's Changed

• [fix-sql-table-counting-regex] Fix SQL table counting regex by @rpatricksmith in #268
• Hero: new headline + pressed-ink engine, and force light theme by @rpatricksmith in #275
• Hero subhead: "It scans" → "Anatomia scans" by @rpatricksmith in #277
• [template-propagation] Template Propagation — Lock-Stock Overwrite of Machine-Owned Templates on Re-init by @rpatricksmith in #278
• [captured-test-evidence] Captured Test Evidence — Engine-Captured, Seal-Gated Test Evidence by @rpatricksmith in #279
• [retire-capture-self-arming] Retire Capture-Gate Self-Arming — Drive the Gate from a Committed Config Flag by @rpatricksmith in #280
• Capture-seal cleanup: drop brittle A028 test + refuse sealing-stage/checkpoint contradiction by @rpatricksmith in #281
• [compact-capture-seal] Compact the capture seal + fix the count by @rpatricksmith in #282
• chore: remove abandoned token-efficiency + context-compression-savings scopes by @rpatricksmith in #283
• [simplify-seal-and-test-core] Simplify ana test to its load-bearing core by @rpatricksmith in #284
• [session-capture] session-capture — agent-session capture & provenance unlock by @rpatricksmith in #289
• Process-capture hooks: always-install, flag is the single runtime switch by @rpatricksmith in #291
• [cross-machine-provenance] Cross-machine process provenance (capture v2) by @rpatricksmith in #307
• [enforcement-state-in-doctor] Move enforcement-gate state from ana work status to ana doctor by @rpatricksmith in #309
• [rename-capturegate-testevidencegate] Rename captureGate → testEvidenceGate (clean rename — no back-compat) by @rpatricksmith in #312
• [remove-processcapturestrict] Remove processCaptureStrict — provenance records-and-annotates, never blocks by @rpatricksmith in #313
• [remove-plan-phase-checkbox] Remove the non-authoritative plan.md phase checkbox by @rpatricksmith in #316
• [gitignore-merge-on-reinit] Merge (not clobber) managed .gitignore files on re-init by @rpatricksmith in #315
• [proof-last-and-completion-hint] surface the proof after work complete + ana proof --last by @rpatricksmith in #318
• [proof-card-redesign] Proof card visual redesign on a shared render vocabulary by @rpatricksmith in #319
• [scan-card-redesign] Scan card redesign — adopt the render vocabulary + surface "how your team writes" by @rpatricksmith in #320
• [health-dashboard-redesign] Health dashboard + proof list table adopt the render vocabulary by @rpatricksmith in #321
• [anatrace-core-integration] anatrace-core integration (provenance swap + behavioral attestation) by @rpatricksmith in #322
• [anatrace-pin-0-4-0] Bump anatrace-core 0.2.0 → 0.4.0 (pin, fail-closed emit, reason lock, real-engine CI) by @rpatricksmith in #323
• [verifier-intent-coverage] Verifier Intent Coverage — Mechanically Guarantee the Contract Covers Scope Intent by @rpatricksmith in #325
• [verifier-verdict-honesty] Verifier Verdict Honesty (light) — the PASS/FAIL verdict stops grading itself by @rpatricksmith in #326
• [attestation-emit-and-guard] Make behavioral attestation reliably emit, and crash-proof the save path when anatrace-core is absent by @rpatricksmith in #327
• Guard against silent dev-binary staleness by @rpatricksmith in #328
• [public-surface-honesty] Public-surface honesty touch-ups by @rpatricksmith in #329
• [devday-config] Optional configurability — honest Tier-1 core (Tier-2 excised) by @rpatricksmith in #330
• [proof-context-intelligence] Proof-Context Intelligence — make ana proof context answer why this file exists and what moves with it by @rpatricksmith in #332
• [proof-benchmark-harness] Empirical Proof Benchmark — the measuring instrument ("ruler") by @rpatricksmith in #333

Full Changelog: v1.2.2...v1.3.0