{
 "run": "RUN-033",
 "subject": "Round 30: the independent whole-shard replay and the backend lock",
 "document": "main.zip!/AMRAL_LUC_FC_Round_30_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_30_A1_Backend_Pinning_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "target": true,
  "nested": {
   "d": [
    true,
    true
   ],
   "t3": [
    true,
    true
   ],
   "t5": [
    true,
    true
   ],
   "t7": [
    true,
    true
   ]
  },
  "widths": {
   "d": [
    2.83e-73,
    3.112e-61
   ],
   "t3": [
    4.044e-73,
    4.343e-64
   ],
   "t5": [
    3.154e-73,
    3.387e-64
   ],
   "t7": [
    2.985e-73,
    3.205e-64
   ]
  },
  "stated": true,
  "flags": [
   "PASS",
   true,
   true,
   true
  ],
  "cast": {
   "shift": [
    1.702e-17,
    1.702e-17
   ],
   "t3": [
    true,
    2.433e-17,
    2.433e-17
   ],
   "t5": [
    true,
    1.897e-17,
    1.897e-17
   ],
   "t7": [
    true,
    1.795e-17,
    1.795e-17
   ]
  },
  "correction": true,
  "tree": [
   true,
   true,
   true
  ]
 },
 "w2": {
  "audit_row": true,
  "file": [
   true,
   true,
   true
  ],
  "input": true,
  "all_constraints": true,
  "active": [
   1317,
   1284,
   1284
  ],
  "above_exact": true,
  "exact": 0.8348018420315643,
  "uniform_difference": 5.22e-11,
  "mine": [
   128,
   0.00013675030022222711,
   11
  ]
 },
 "w3": {
  "all_points": {
   "leaves": 9278,
   "same_paths": true,
   "pass": 9278,
   "refused": 0,
   "above": 9278,
   "gap": [
    2.111246498919578e-08,
    0.00015677548448447376
   ],
   "least": [
    "1101011010010011111001110",
    16384,
    3.194892273812446e-08
   ],
   "least_is_round28s": [
    true,
    1.9e-19
   ],
   "thinnest": [
    "11010110100110101001110111",
    2048,
    3.5423707500925403e-09,
    2.221117597766235e-05
   ],
   "densities": {
    "replay_higher": 974,
    "replay_lower": 0,
    "none_passing": 0
   }
  },
  "rule": {
   "first_equal": 9278,
   "hull_equal": 9278,
   "gap": [
    1.5735052150134266e-12,
    1.6701004728475466e-12
   ],
   "refused": 0,
   "density_counts": {
    "512": 8174,
    "1024": 869,
    "2048": 163,
    "4096": 56,
    "8192": 12,
    "16384": 4
   },
   "least": [
    "11010110100110101001110111",
    2048,
    3.54403351648527e-09
   ]
  },
  "exposures": [
   {
    "path": "00000",
    "density": 512,
    "margins": [
     0.0013094480928614774,
     0.001326824192892529,
     0.0013094480944934733
    ],
    "difference": 1.738e-05,
    "runs": 6,
    "sub_step": true,
    "sum_is_difference": true,
    "largest": [
     [
      "B3"
     ],
     4.269e-06,
     0.002629,
     [
      0.265,
      0.01226
     ],
     4.269e-06
    ]
   },
   {
    "path": "1101011010010011111001110",
    "density": 16384,
    "margins": [
     6.779501363957614e-09,
     3.194892273812446e-08,
     6.78116921701634e-09
    ],
    "difference": 2.517e-08,
    "runs": 12,
    "sub_step": true,
    "sum_is_difference": true,
    "largest": [
     [
      "B3"
     ],
     8.255e-09,
     0.0001206,
     [
      0.0003831,
      0.3575
     ],
     8.255e-09
    ]
   },
   {
    "path": "11010110100110101001110111",
    "density": 2048,
    "margins": [
     3.5423707500925403e-09,
     2.221117597766235e-05,
     3.54403351648527e-09
    ],
    "difference": 2.221e-05,
    "runs": 10,
    "sub_step": true,
    "sum_is_difference": true,
    "largest": [
     [
      "disc"
     ],
     2.105e-05,
     0.001853,
     [
      0.2669,
      0.084
     ],
     2.077e-05
    ]
   }
  ]
 },
 "w4": {
  "lower": true,
  "marker": true,
  "unpinned": [
   "r30_marker_a1_chunk.py"
  ],
  "root_script": [],
  "pinned": [
   "1.3.0",
   "3.13.5",
   9
  ],
  "status": "PINNED-REPRODUCIBLE-PROTOTYPE / TRUST-AUDIT-OPEN",
  "not_an_audit": true,
  "here": {
   "mpmath": "1.3.0",
   "python": "3.14.5",
   "libmp": "equal",
   "whole_package": {
    "tried": 12,
    "reproduced": 0
   },
   "fractions": "not compared"
  }
 },
 "w5": {
  "r29_marker_a1_verify.py": {
   "lines": 92,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_29_A1_MARKER_AUDIT.json",
    "AMRAL_LUC_FC_Round_29_reference"
   ],
   "not_in_archive": [],
   "mpmath_iv": true,
   "round29_bytes": true,
   "sector_support": true,
   "imports_scipy": false,
   "method_string": true
  },
  "r30_a1_lower_chunk.py": {
   "lines": 212,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_28_ROOT_RECONSTRUCTION.json",
    "AMRAL_LUC_FC_Round_28_reference/cell0_topology.bin",
    "AMRAL_LUC_FC_Round_28_reference/witness_axis_stream_2bit.bin",
    "AMRAL_LUC_FC_Round_29_reference/marker_70.json",
    "AMRAL_LUC_FC_Round_30_reference"
   ],
   "not_in_archive": [],
   "mpmath_iv": true,
   "dps": 75,
   "grid": "10**17",
   "inward": 2e-12,
   "ladder": [
    512,
    1024,
    2048,
    4096,
    8192,
    16384,
    32768
   ],
   "root_from_round28": true,
   "winner_only": true,
   "decimal_into_interval": true
  },
  "r30_marker_a1_chunk.py": {
   "lines": 10,
   "absolute_path": true,
   "uses": [
    "AMRAL_LUC_FC_Round_30_reference",
    "r29_marker_a1_verify"
   ],
   "not_in_archive": [],
   "mpmath_iv": false,
   "writes": [
    "marker_a1_{a:02d}_{b:02d}.json"
   ],
   "outputs_shipped": false
  }
 },
 "w6": {
  "functions": 33,
  "mpmath_in": [
   "acos_iv",
   "d_star_iv"
  ],
  "then_asserted": [
   "acos_iv",
   "d_star_iv"
  ],
  "machin_in_60_decimals": true
 },
 "p1": {
  "density_counts": {
   "512": 8174,
   "1024": 869,
   "2048": 163,
   "8192": 12,
   "4096": 56,
   "16384": 4
  },
  "least": [
   "11010110100110101001110111",
   3.5423707500925403e-09
  ]
 },
 "p2": {
  "root_A1_pass": true,
  "marker70_A1_pass": true,
  "lower_A1_9278": true,
  "lower_A1_no_inconclusive": true,
  "lower_A1_margin_positive": true,
  "backend_pinned": true,
  "backend_trust_open": true,
  "not_publication_candidate": true,
  "not_theorem_ready": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 18,
  "plants_caught_by_named_checks": 18,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 199,
  "must_stay_green_held": 199,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-lower-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-shard-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-margin",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-root-interval",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-root-correction",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-tree-digest",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-marker-area",
    "kind": "mutation",
    "expected": [
     "P1",
     "W2"
    ],
    "tripped": [
     "P1",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-marker-input",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-lower-margin",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-lower-density",
    "kind": "mutation",
    "expected": [
     "P1",
     "W3"
    ],
    "tripped": [
     "P1",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-lock-script",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-lock-libmp",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-code-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-backend-claim",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-chunk-summary",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-shard-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}