From 82a49011de15287583d8cfec11ac5cca7efee747 Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Sat, 13 Jun 2026 04:33:08 -0500 Subject: Add master technical reference; retire unverified e0 headline Note 42 is a self-contained write-from document: full statements and proofs for Thm 1-4 / Prop 1-3 / Cor 1-2, every result with exact numbers and configs cross-checked against the CSVs, the negative results, and the honesty boundaries. Audit finding while building it: the "E_B[e0]=0.4378 +/- 0.008 vs 0.4403" headline (cited in notes 29/35/36/40/41 and the old draft) is not reproducible from the current moments CSV. Retired in favor of the reproducible 6x6 table (max |error| <= 0.008, predicted span 0.15-0.45). Living docs updated; note 37 sec 4 records the retirement. Co-Authored-By: Claude Fable 5 --- notes/36_evidence_ledger.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'notes/36_evidence_ledger.md') diff --git a/notes/36_evidence_ledger.md b/notes/36_evidence_ledger.md index 1028f48..9807e06 100644 --- a/notes/36_evidence_ledger.md +++ b/notes/36_evidence_ledger.md @@ -66,8 +66,11 @@ standard lazy approximation whose breakdown is *measured* (item 3c below). ### (b) Exact at t=0 (T5 + T6) - Mean theorem, 2-hidden-layer, real FA backward, 6 widths x 6 inits x 512 - draws: `E_B[e_0] = 0.4378 +/- 0.008` vs theory `0.4403`; per-width errors - 0.0003-0.008 (note 29, `actual_fa_initial_operator_moments`). + draws: no-fit prediction within Monte-Carlo error across all 36 rows, + **max |error| <= 0.008**; predicted erosion spans 0.15-0.45 (wide-range + calibration, not one point). Full table in note 42 §6 + (`actual_fa_initial_operator_moments`). The old "0.4378/0.4403" headline is + NOT in the current CSV -- retired, see note 37 §4. - Independent t=0 anchor from the (superseded) recovery probe: 0.4026+/-0.0066 vs 0.4071 (run log, note 37). - Full distribution (T6), **sampler = real FA backward after note-37 fix**: -- cgit v1.2.3