{
 "run": "RUN-014",
 "subject": "Round 11: global atlas partition and certificate sharding",
 "document": "main.zip!/AMRAL_LUC_FC_Round_11_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_11_Global_Shards_v0.1.md",
 "snapshot_retrieved": "2026-09-25",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w3": {
  "shards": {
   "shard-A": [
    2,
    5686,
    2844
   ],
   "shard-B": [
    1,
    2853,
    1427
   ],
   "shard-C": [
    1,
    2833,
    1417
   ]
  },
  "totals": [
   11372,
   5688
  ]
 },
 "w4": {
  "other_readings_reproduce": {
   "odd node promoted": false,
   "hex strings concatenated": false
  },
  "largest_shard_repeated_same_root": true
 },
 "w5": {
  "root_centre_base_area": 0.8389855378371307,
  "root_margin": 0.003985537837130737,
  "S0": 0.6100872749176112,
  "forecast_cycles": 9,
  "seed_inside_root": true,
  "seed_base_area": 0.8347809459115398
 },
 "p1": {
  "shard_fields_missing": [
   "arithmetic_policy_hash",
   "program_id",
   "root_domain_hash",
   "round",
   "seed_entries.worst_slack",
   "shard_status",
   "split_policy_hash",
   "witness_catalog_hash"
  ],
  "global_fields_missing": [
   "proof_policy_version",
   "verifier_requirements"
  ],
  "spec_merge_checks_missing": [
   "global manifest hash",
   "target and policy agree"
  ]
 },
 "drill": {
  "plants": 13,
  "plants_caught_by_named_checks": 13,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 155,
  "must_stay_green_held": 155,
  "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-forest-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-replacement-as-union",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-shard-count",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-seed-depth",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-replacement-drops-a-child",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-forest-single-root",
    "kind": "mutation",
    "expected": [
     "W2",
     "W3"
    ],
    "tripped": [
     "W2",
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-seed-in-two-shards",
    "kind": "mutation",
    "expected": [
     "W3",
     "W4"
    ],
    "tripped": [
     "W3",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-text-shard-count",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-unsorted-canonical",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-merkle-odd-promoted",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-forecast-claimed-a-bound",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-shard-fields-assumed",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-spec-merge-checks-complete",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-spec-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}