From 9d131366516b0d0aad0a7b902b8a73f6fbe2bc29 Mon Sep 17 00:00:00 2001 From: YurenHao0426 Date: Sat, 29 Aug 2026 18:22:16 -0500 Subject: test: audit CLLN locality and numerical invariants --- results/coupled_ladder/x0_locality_audit.json | 30 +++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 results/coupled_ladder/x0_locality_audit.json (limited to 'results/coupled_ladder') diff --git a/results/coupled_ladder/x0_locality_audit.json b/results/coupled_ladder/x0_locality_audit.json new file mode 100644 index 0000000..a21f9c0 --- /dev/null +++ b/results/coupled_ladder/x0_locality_audit.json @@ -0,0 +1,30 @@ +{ + "analysis": "digital_coupled_ladder_locality_audit", + "autodiff_used": false, + "source_protocol": "results/physical_bias/dillavou_fig5_protocol.json", + "checks": { + "released_side4_layout_exact": true, + "released_side4_gate_vector_exact": true, + "side32_kcl_residual_below_1e_12": true, + "common_mode_cancellation_below_1e_12": true, + "default_imperfection_is_state_dependent": true, + "ideal_paths_have_identical_gates": true, + "ideal_paths_have_identical_traces": true, + "one_neutral_scalar_observation_per_edge_update": true, + "no_autodiff_dependency": true + }, + "measurements": { + "side32_maximum_unknown_kcl_residual_a": 8.646088809098271e-19, + "common_mode_cancellation_max_abs_v_per_s": 3.552713678800501e-15, + "state_dependent_neutral_bias_difference_rms_v_per_s": 1.0419674628075035, + "ideal_path_max_gate_difference_v": 0.0, + "sdil_local_edge_updates": 5120, + "sdil_neutral_scalar_observations": 5120, + "forbidden_source_tokens": { + "import torch": false, + "autograd": false, + ".backward(": false + } + }, + "gate": "pass" +} -- cgit v1.2.3