From 065f708b52fa3dd3c2fe9bb4074ae4da59343198 Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Sat, 29 Aug 2026 18:39:24 -0500 Subject: docs: connect scaling theory and hardware evidence --- THREE_PART_EVIDENCE.md | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/THREE_PART_EVIDENCE.md b/THREE_PART_EVIDENCE.md index 6673b0f..306dfc0 100644 --- a/THREE_PART_EVIDENCE.md +++ b/THREE_PART_EVIDENCE.md @@ -77,6 +77,14 @@ The publication figure and data are: - `results/coupled_ladder/p1_scaling_analysis.json` - `results/coupled_ladder/p1_scaling_source.csv` +The mechanism statement is now explicit in `THEORY.md`. For a local +state-dependent component error, conditional subtraction removes at least as +much mean-square bias as a constant calibration. Residual component power adds +with edge count. In a local quadratic objective, persistent residual bias +produces an exact displaced optimum with excess objective +`0.5 * delta^T H^+ delta`; the classification ladder tests whether this local +effect reaches the downstream task endpoint. + The pilot has five task clusters and one component draw per task and size. The running confirmation contains all 40 released tasks, three new component draws, six sizes, and five core methods: 3,600 training trajectories. Its outputs are @@ -112,6 +120,8 @@ Sources: - `results/physical_bias/p5_full_grid_bias_crossover.json` - `results/physical_bias/p9_grid_correlated_autozero_key_results.json` - `results/physical_bias/p8_spice_autozero_primitive.json` +- `results/figs/figure_physical_hardware_evidence.pdf` +- `results/physical_bias/p10_hardware_evidence_analysis.json` The hardware claim is: the full update is simulated with published device equations and nonideal local sampling, and its primitive sample/subtract path @@ -131,8 +141,7 @@ has a SPICE check. A fabricated-chip demonstration remains future work. 1. Complete and audit the 3,600-trajectory digital ladder confirmation. 2. Run the selected overclamp pair on the full task/device confirmation panel. -3. Turn the local projection and scaling argument into a theorem whose plotted - quantity is excess task error or displaced fixed point, rather than an - unobserved residual alone. -4. Rebuild the three main figures from confirmation data and audit every number +3. Rebuild the digital transfer and scaling figures from confirmation data; + the hardware-realistic figure is complete. +4. Audit every manuscript number against its source JSON. -- cgit v1.2.3