summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
15 hoursAdd supplementary archive builder and pinned dependenciesHEADmainhaoyuren
build_supplement.py assembles the anonymized code+data archive with a SHA256 manifest and a machine readable seed manifest; research notes, drafts, raw datasets, and git history are excluded. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
31 hoursTrack legacy operator-study row data; extend generated tableshaoyuren
Pulls the training-set-size series, snapshot-location sweep, stress grid, scalar-gain comparison, oracle diagnostic, and derivative-probe rows from the experiment machine, and adds three generated fragments (train size, snapshot location, stress grid) used by the appendix. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
32 hoursAdd cluster bootstrap metrics, supplementary finite-time figure, teacher ↵haoyuren
nested SEs finite_time_supplement.py computes 95% cluster bootstrap intervals for the predictor metrics (resampling forward initializations within each cell) and renders the six-panel supplementary figure. The table generator gains the teacher-task nested-SE fragment, computed from the raw paired rows pulled from the experiment machine. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
34 hoursAdd appendix table generator and generated LaTeX fragmentshaoyuren
generate_paper_tables.py reads the row-level CSVs and emits the four appendix tables (initialization calibration rows, finite-time cells, CNN calibration rows, learning-rate regimes) with the paper's nested uncertainty convention. The fragments are included by the manuscript via \input; no table value is transcribed manually. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
34 hoursTrack learning-rate and parameter-matched row-level outputshaoyuren
Pulled from the original experiment machine. These are the authoritative source rows behind the Appendix H tables (regime_summary matches the paper values; the depth-3 compensated gap rounds to 0.16262). Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
47 hoursRedesign main figure panels and track figure-source CSVshaoyuren
Panel 1a: rename to Backward rules; DFA drawn as direct side-to-side arrows from the error to each hidden layer. Panel 1b: replace the dual y-axis with stacked guarantee/cost sub-axes. Figure 2: reader-facing panel titles; legend renames (linear extrapolation, relinearization). Track the regenerated figure-source CSVs (verified bit-exact against the frozen paper numbers) so figures can be rebuilt without rerunning experiments. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2 daysAdd AAAI depth experiments and diagnostic figuresYurenHao0426
2026-06-13Add master technical reference; retire unverified e0 headlineYurenHao0426
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 <noreply@anthropic.com>
2026-06-13Add prose style contract for the writing passYurenHao0426
Adapt the flossing project's anti-slop checklist to facap: keep the general layers (lexical bans, em-dash budget, density floor, Buschek integrity mapping) and replace the project-specific honesty rails with facap's (retired 0.977, no-fit definition, estimator scope, hard-k as null model only, inline assumptions, MNIST MAE-first, teacher gap as scoping evidence). Note 41 section 7 and the schedule now point at it. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Organize repo and add AAAI-27 writing planYurenHao0426
Root README orients the repo; notes/README reindexed by status (writing pipeline / authoritative note per result / six historical phases with superseded markers); scripts/README gains a status table. Note 40 = reproduction manifest (claim -> command -> outputs -> note; everything unlisted is not citable). Note 41 = the binding paper plan: AAAI-27 constraints (7pp + refs, appendix not guaranteed read), narrative, section/page budget, frozen theorem and figure numbering, related-work list with per-cite rationale, writing rules, weekly schedule to the 07-20/07-27 deadlines, and risk register. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Add teacher-task test-gap sweep and figureYurenHao0426
SGD teacher sweep (widths 8-96, 24 FA runs/width): train gap soft and monotone (0.249 -> 0.0069) while the test gap changes sign — FA generalizes better than BP at intermediate width (-0.120 +/- 0.013 at w=32) and settles slightly positive once both fit. Scopes the paper's optimization-gap claims and preempts the generalization question. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Add MNIST real-data validation of e0 theorem and estimatorYurenHao0426
New script validates both no-fit claims on MNIST-subset MLPs. e0 theorem: 16 configs, hidden share 0.39-0.82, measured E_B[e0] within 0.0001-0.0089 of prediction (512 real-backward draws each). Estimator: 96 trajectories, velocity MAE 0.00196 (3.9% of mean gap), bias -0.0006, beating fixed K(0) everywhere; kernels computed via a layerwise gram identity self-tested against autograd at machine precision. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Add AAAI-27 paper scaffoldingYurenHao0426
main.tex (AuthorKit 27 wrapper), preview.tex (kit-free preview build), shared defs. body.tex is a draft to be REWRITTEN from the evidence ledger (notes/36): it omits most of the validation chain and cites the retired closed-form number; do not treat its content as authoritative. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Record evidence ledger and wrap-up correctionsYurenHao0426
Note 36 consolidates the full evidence chain (numbers, figure sources, negative results, claim discipline) as the paper-writing base; note 37 records the two audit fixes; superseded banners on notes 00/03; README index updated. Superseded alignment_recovery_dynamics probe removed. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Switch e0 distribution sampler to real FA backwardYurenHao0426
The sampler previously drew e0 through the analytic linear form <C,B>, making the Gaussian KS test near-tautological. It now runs the real FA backward pass per feedback draw and reports the max deviation from the linear identity (<= 8.9e-16). Rerun reproduces the published table. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-09Add closed-form soft-ramp theorem and matched comparisonYurenHao0426
Closed-form gap law note (34) + consolidated snapshot (35), with the comparison script reading the dense run's config/gaps from its output dir and evaluating the closed form on matched data and init seed plus a multi-init band. Corrected headline: corr(log,log) 0.933 matched / 0.982 five-init geometric mean; lam_min ensemble corr 0.987. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
2026-06-07Add complete markdown draftYurenHao0426
2026-06-05Validate exact initial FA erosion distributionYurenHao0426
2026-06-05Test first order FA tangent hierarchyYurenHao0426
2026-06-05Review methods for FA operator dynamicsYurenHao0426
2026-06-05Derive actual FA initial operator momentYurenHao0426
2026-06-05Clarify proof and estimator statusYurenHao0426
2026-06-05Position Song Xu Lafferty related workYurenHao0426
2026-06-05Separate estimator from nonzero cost theoremYurenHao0426
2026-06-05Compare soft erosion theory distributionsYurenHao0426
2026-06-05Add effective capacity literature and gap theory noteYurenHao0426
2026-06-05Clarify soft erosion scaling claimYurenHao0426
2026-06-05Revise capacity theory to soft erosionYurenHao0426
2026-06-05Record dense soft capacity transitionYurenHao0426
2026-06-05Add phase transition trajectory zoom analysisYurenHao0426
2026-06-05Analyze phase transition training timeYurenHao0426
2026-06-05Add contribution roadmap and phase transition plotYurenHao0426
2026-06-05Record systematic low bias analysisYurenHao0426
2026-06-05Plot operator overlap stress panelsYurenHao0426
2026-06-05Stress test early-kernel operator predictorYurenHao0426
2026-06-03Add early-kernel operator predictorYurenHao0426
2026-06-03Check directional predictor across NYurenHao0426
2026-06-03Probe early kernel predictorsYurenHao0426
2026-06-03Add time-varying kernel diagnosticYurenHao0426
2026-06-03Investigate finite-T kernel errorsYurenHao0426
2026-06-02Plan finite-time tangent extensionYurenHao0426
2026-06-02Record T5 local tangent validationYurenHao0426
2026-06-02Record fixed-width capacity probeYurenHao0426
2026-06-02Record short SGD tangent validationYurenHao0426
2026-06-02Replace transition theory with tangent capacityYurenHao0426
2026-06-02Add BP-calibrated transition theoryYurenHao0426
2026-06-02Record 256-trajectory transition analysisYurenHao0426
2026-06-02Expand empirical transition overlaysYurenHao0426
2026-06-02Add smooth capacity transition overlay plotYurenHao0426
2026-06-01Add downstream capacity threshold validationYurenHao0426