test: audit CLLN locality and numerical invariants

1 files changed, 30 insertions, 0 deletions

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"
+}