{
 "budget_per_graph": 16384,
 "config": {
  "iters": 120,
  "polish_per_round": 3,
  "rounds": 8,
  "seed": 20261007,
  "starts": 2048
 },
 "controls_all_found": true,
 "controls_embedded_B11_found": 2833,
 "controls_minus_edge_found": 2833,
 "float_edge_tol": 1e-10,
 "float_gap_min": 0.0001,
 "genuine_rule": "60-digit refinement; all edge residues <1e-45; all pair gaps >1e-6",
 "input_hashes": {
  "B11": "ec9a7109ae07ee7c1da853449d7c93d46587982ac75af3f9775bc89f8fc8937f",
  "L11": "498ac6bf3fd6e8dc5e4a14ceb0790e8bb1431778526f2b39fa31dff78bbde035",
  "records": "41731c987fade25c26b205fb02c809a2b75461ddeae852869ad61aab2804e114"
 },
 "member_hits": [],
 "members": 2833,
 "note": "Summary of embed.json (49 MB, seeded and reproducible with the recorded config and input hashes); per-member details are in embed.jsonl.gz.",
 "omitted_large_fields": [
  "rows"
 ],
 "scope": "all provided L11",
 "search_is_not_a_proof": true,
 "seconds": 5263.31,
 "shard": "0/1",
 "source_hashes": {
  "embed_redteam.py": "078c17d2ff6692fa9ccb6b4decf944b1a9a921947c41a7e3706d4df5522367ae",
  "independent_core.py": "898b416487e0727dbeb316761ee08093d33b705b0cfc7b3b4a30acedb973f1e5"
 },
 "status": "NO_COUNTEREXAMPLE_FOUND",
 "total_L11": 2833,
 "worker_seconds": 61868.908
}