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/40_reproduction_manifest.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'notes/40_reproduction_manifest.md') diff --git a/notes/40_reproduction_manifest.md b/notes/40_reproduction_manifest.md index 7e18d98..009f058 100644 --- a/notes/40_reproduction_manifest.md +++ b/notes/40_reproduction_manifest.md @@ -31,7 +31,7 @@ deterministic given the seeds shown. Long runs use `nohup`. | claim | command | outputs | note | |---|---|---|---| -| `E_B[e_0]=0.4378+/-0.008` vs hidden share 0.4403; per-width errors <= 0.008 | `python scripts/actual_fa_initial_operator_moments.py --widths 16 24 32 48 64 96 --init-seeds 6 --feedback-samples 512 --torch-threads 8 --outdir outputs/actual_fa_initial_operator_moments` | `actual_fa_initial_operator_moments/` | 29 | +| no-fit erosion = hidden share, max abs error <= 0.008 across 6 widths x 6 inits (predicted span 0.15-0.45); "0.4378/0.4403" headline retired (note 37 ยง4) | `python scripts/actual_fa_initial_operator_moments.py --widths 16 24 32 48 64 96 --init-seeds 6 --feedback-samples 512 --torch-threads 8 --outdir outputs/actual_fa_initial_operator_moments` | `actual_fa_initial_operator_moments/` | 29, 42 | | e0 exactly Gaussian; KS p 0.13-0.999; sampler = real FA backward, linear identity <= 8.9e-16 | `python scripts/actual_fa_initial_erosion_distribution.py --widths 16 32 64 128 --init-seeds 3 --feedback-samples 4096 --torch-threads 8 --outdir outputs/actual_fa_initial_erosion_distribution` | `actual_fa_initial_erosion_distribution/` (pre-fix snapshot kept in `*_pre_fix_backup/`) | 32, 37 | ## Finite-time chain (lazy validity -> drift -> estimator) -- cgit v1.2.3