e72f742 docs(audit): NEW SOTA declaration — no-training category, TEP IDV-3/9/15
669ad0c feat+docs: --parity-threshold CLI flag + architectural ceiling audit
2798e4f test+docs: update peak thresholds to all-4-strikes operating point
717e689 feat(cubie-tep): ALL 4 STRIKES applied — THREE WINS at MATCHED 1% FAR (actually FAR=0%)
b93d5fa feat(cubie-tep): Phase-2 hysteresis fix — IDV-3/9/15 all +9-12pp at matched 2.5% FAR
00ebeab docs(audit): Round 3 red/blue — three-wins-at-2.5%-FAR accepted as peak
195f262 docs(policy): land E1 + E3 + E8 + E10 + E11 enhancements from red/blue review
73ab5a4 test(cubie-tep): E5 wreath-init + E7 three-wins regression tests
f26c835 docs(audit): THREE STRICT WINS at matched 2.5% FAR — problem solved
401904a docs(audit): RED/BLUE review — 12 architectural errors + 12 enhancements (consensus)
978c81f fix(cubie-tep): restore two-wins config as the master default (audit 2026-05-25)
9f0da3a docs(audit): credit the two-wins matrix at matched 2% FAR (commit 76a92a2)
ddabd9b feat(cubie-tep): CUB-1918 continuous wreath eval — runtime + L2 init guard
36e5905 feat(cubie-math): CUB-1918 spec triple — continuous wreath eval (stub)
cbcb811 feat(cubie-tep): CUB-1917 cotanglement Bell-measurement gate — runtime
08d5472 feat(cubie-math): CUB-1917 spec triple — cotanglement gate (Bell measurement)
27c83f3 feat(cubie-tep): CUB-1916 PEPS contraction — runtime (AND gate + decoupled Δ)
83da432 feat(cubie-math): CUB-1916 spec triple — PEPS contraction (stub)
d9db6b0 feat(cubie-tep): CUB-1913 + CUB-1915 — twisted corner parity + dynamic Δ (runtime)
dc27190 feat(cubie-math): CUB-1915 spec triple — dynamic parity gate (stub)
d8bf64c feat(cubie-math): CUB-1913 spec triple — twisted corner parity invariant (stub)
806c89c feat(cubie-tep): CUB-1912 keystone bound logic gate — runtime
c9ed3f0 feat(cubie-math): CUB-1912 spec triple — keystone bound logic gate (stub)
76a92a2 feat(cubie-tep): CUB-1910 marginal AR(3) — runtime + IDV-3 movers 67% tighter
3e03742 feat(cubie-math): CUB-1910 spec triple — marginal AR(3) extension (stub)
7e30420 feat(cubie-tep): CUB-1909 2-of-3 fractional vertex parity — runtime
43dde75 feat(cubie-tep): CUB-1907 IDV-3 vertex-interlock layout — runtime
7899214 feat(cubie-tep): CUB-1908 polynomial conditional residual — runtime
f84fc64 feat(cubie-math): CUB-1909 spec triple — 2-of-3 fractional vertex parity (stub)
53a3f48 feat(cubie-math): CUB-1908 spec triple — polynomial conditional residual (stub)
f6df14d feat(cubie-math): CUB-1907 spec triple — IDV-3 vertex-interlock layout (stub)
d81052c fix(metrics): cubie_corpus_metrics.sh dual-pattern match (CUB-NNNN + cub_NNNN_)
4eefa4d feat(cubie-tep): VAR-3 coefficients live — IDV-9 BEATS PCA at matched ~2% FAR
762cfe4 feat(cubie-tep): CUB-1906 history-aware (VAR-3) seam residual — Lever #1 scaffolding
7e4a3c3 feat(cubie-math): triple-kernel specs CUB-1896..1905 + seam_mask + topological diagnostic
4334dc1 refactor(tep_detect): defer adaptive-array load + scale to AFTER parse loop
2e8cb9e feat: joint-level adaptive scale — FIRST cubie-beats-PCA at matched 1% FAR
5138fcf feat(cubie-tep): per-cell adaptive thresholds — user's Lever #1 refactor
19b128c feat(tools): tep_matched_far_roc.py supports --ewma-lambda + tunable bounds
efd4f8c feat(cubie-tep): EWMA residual smoothing + non-parametric calibration tool
7a57659 feat(parity): CUB-1660 Coq+Lean mirrors (last real Cardinal Rule 3 gap)
d1099de feat(parity): close 8 misc parity gaps across 3 buckets (Cardinal Rule 3)
564f55e feat(parity): Coq+Lean mirrors for 11 Verus-only CUBs (Cardinal Rule 3)
266d382 docs(audit) + tool: §17 matched-FAR ROC vs PCA — closes §15.6 item #2
6e79d09 feat(cubie-tep): fluid layout + IDV-aware sticker — honest null result on Braatz
5e13376 docs(audit): §15 theoretical ranking — where cubie L0+L1+L2 lands in TEP-FDD literature
69606e9 feat(cubie-tep): MetaMetaCube L2 cascade — "all shatter if one state changes"
5fee661 feat(cubie-tep): wreath-fold (cube-within-cube) detection BEATS PCA-T2 on IDV-3/9/15
7b34741 fix(lint): close 4 workspace warnings + stale 'sorry' comment in CubieAvx2EquivV8_0
073b416 feat(parity): Coq+Lean mirrors for 6 ADR-cited CUBs (Cardinal Rule 3 closure)
6fac57c [hard-blockers] docs: mark 9 AVX-512 entries SUPERSEDED by PR #222 (a26d886)
0ace625 docs(audit): §11 Clopper-Pearson 95% CIs + §12 provenance — closes tasks #16 and #17
f16573f docs(audit): auto-route hook hazard investigation (Tasks 93/95 surfaced)
f5bf6b2 docs(crosslinks): surface docs/audit/2026-05-*.md from README + NAVIGATION
f68b5cc ci(ceiling): add direct CLAUDE.md vs manifest.json cross-check step
71fd22c refactor(cubie-tep): fluid runtime DetectorConfig — thresholds are now CLI args, no hardcoded constants
fada214 fix(cub-1823): close sorry via Lean core Nat.and_pow_two_is_mod + Coq Z.land_ones
99d8405 chore(routing): bump dev-tools pin v1.1.2 -> v1.1.3
3eafc2e [hard-blockers] fix(supersession): CUB-1511/1512/1514 assume() leaks replaced by real proofs
bab473a chore(routing): bump dev-tools workflow pin v1.1.1 -> v1.1.2
9f09f57 fix(cub-1823): close sorry/Admitted in cub_1823_b_bipolar_mask_invariant
6a85bb6 fix(lean): repair broken lean/OmegaEight.lean (was 1-line slip)
4fd17e5 chore(routing): bump dev-tools workflow pin v1.1.0 -> v1.1.1
6ffb28e demo(port): skip 8080-8089, hard-pin port range to 9090-9120
3dd8135 docs(audit): exhaustive backward-review for unfixed bugs + gaps
30a802f feat(routing): switch to Pattern B auto-route (non-blocking)
083371f fix(cubie-tep): seam-regression ordering bug + HONEST measured numbers on Braatz d00/d03/d09/d15
4fcda50 fix(parity): add CUB-ID comment headers to coq stubs for 1732/1733/1734
046f666 feat(parity): fill CUB-1735/1736 Coq+Lean mirrors (Cardinal Rule 3)
507f644 feat(parity): triple-kernel stubs for CUB-1673/1732/1733/1734 (reserved-empty backfill)
2e0b62b docs(claudemd): remove duplicate Architectural Constraints section + bump default-ON status
cdf81c5 chore(routing): Phase B.11 closeout — promote CI to blocking + agent contract
7dc2ac3 demo(terminal): spawn visible console window with live per-second tick
ab8f2ba chore(routing): tighten no-versioned-duplicates + test-fixtures exception
df3ca16 chore(routing): apply rule=whitepapers — 5 files moved
9065aab chore(routing): apply rule=audits-consolidation — 3 files moved
fcbf129 feat(cubie-tep): tep_detect CLI binary + FIX stuck-tracker baseline bug
742cf42 demo(presentation): speaker outline + 10 text-diagrams for pitch
dad9579 feat(batch-admit): wire C7+C9 into fast path (always-on, fluid like water)
89e7261 demo(desktop): one-click launcher + Desktop shortcut installer
1345e0f fix(lean): CUB-1828 spline_belnap monotone proof — use Int.le_refl not rfl
b3c0467 feat(features): flip opa_event_l0_5 + redblue_tapeout_check + formal_helpers_attest default-ON + Intel heavy E2E bench
90d8fe4 docs(audit): honest credibility audit of 2026-05-24 session
fde73c0 chore(routing): apply rule=sot-data-location — 2 files moved
32bbab2 chore(routing): apply rule=compliance-docs — 3 files moved
435d1f0 test(cubie-tep): integration test PROVES IDV-3 seam-0 detection claim
a133efc demo(live): multi-core dashboard with incidents-prevented + unfolded cube
5b4270f chore(routing): bump engine v1.0.3 → v1.0.4 + update superpowers-rename rule
0cfa6c3 fix(cubie-tep): conditional-FAIL encodes as FLUID so IDV-3 seam detection works
524f4c7 chore(routing): apply rule=dated-bench-tracking — 11 files moved
2a4bdc0 feat(cubie-tep): NEW CRATE — TEP fault detector with EXECUTABLE Rust code
bd9c9ed chore(routing): bump dev-tools engine pin v1.0.1 → v1.0.2
ed09085 feat(admit): L0.6 redblue tapeout-binding gate (CUB-1750 wire-in)
38da0bd chore(ceiling): bump CUB ceiling 1894 -> 1895 (concurrent F17 META commit 3de03f4)
2607452 chore(routing): apply rule=single-root-todo — 2 files moved
be2c10d feat(admit): L0.5 OPA event fingerprint gate (CUB-1860..1865 wire-in)
3de03f4 feat(F17): triple-kernel META + Empirical stubs (CUB-1891-1895) — PHASE 1 COMPLETE
31c4f8c feat(F16): triple-kernel v2 Expansion Family stubs (CUB-1889, 1890)
61f66ad feat(F15): triple-kernel Registry Family stubs (CUB-1886, 1887, 1888)
d3ff2c5 feat(F14): triple-kernel Distribution Family stubs (CUB-1883, 1884, 1885)
fc1c0be feat(F13): §10 plan extension to CUB-1900 + Security Family (CUB-1880-1882)
c0b7329 feat(routing): Phase B.0 - consume iamdatanick/dev-tools routing engine
5edef7a feat(F12): triple-kernel Deployment Family stubs (CUB-1878, 1879)
f964fde feat(F11): triple-kernel Alarm Output Family stubs (CUB-1870, 1876, 1877)
1f513b2 feat(F10): triple-kernel Multi-Fault Family stubs (CUB-1868, 1869)
eff5782 feat(F9): triple-kernel Drift Family stubs (CUB-1866, 1867)
29a316d feat(F8): triple-kernel Temporal Causality stubs (CUB-1852, 1856, 1858)
e8e57a0 feat(F7): triple-kernel Non-Linear Feature stubs (CUB-1849, 1851)
fc37e9b feat(F-gen): triple-kernel Schema-Ingestion Generator stubs (CUB-1848, 1850, 1853, 1854, 1855)
dd3f936 feat(opa-event): cube-transform 6 OPA-event theorems triple-kernel
7051f1a feat(redblue): 7 hardware-constraint theorems triple-kernel (CUB-1750..1756)
393220a docs(audit): §9.8.2 — PR-2..PR-6 actuals + PR-7..17 deferred to auto-generator
04b9452 feat(F6): triple-kernel Topology Family stubs (CUB-1843..1847)
3356429 feat(F5): triple-kernel Aggregator Family stubs (CUB-1831, 1837, 1839-1841)
03a5db7 feat(F4): triple-kernel Belnap Embedding Family stubs (CUB-1827..1830)
7310dba feat(formal): CubieFormal_0517 extras CUB-1833/1834/1836/1838 triple-kernel
df5319b feat(F3): triple-kernel UF Decoder stub (CUB-1826)
cb023f7 feat(F2): triple-kernel QEC Decoder Pair stubs (CUB-1824, CUB-1825)
