{
 "film": "leave-one-out",
 "format": "master",
 "title": "Leave One Out",
 "rendered_from_head": "e7c6b9d2677b79ed7448710c95a6a65ade0fc48a",
 "rendered_on": "2026-09-15",
 "inputs": {
  "film.html": "f73a1cae0e90b037d00986d34967e8f75de205e489a03f7d53c2744b585c597e",
  "films/lib/film.js": "62648bbc6b91a5b7f5748633cc38d691152005976a5c18b63463711c2c2ff5fb",
  "films/lib/tokens.css": "c5663d72be0bf7c0fcf3919a4df59a9a64c7e6193d9057e1f5759b17735118a7",
  "films/data/facts.json": "9d0d11e351d5b5d5fe93cf2332489a2943f7f480deec730924b5912262a6e847"
 },
 "runtime": {
  "chrome": "153.0.8010.36",
  "ffmpeg": "ffmpeg-macos-aarch64-v7.1",
  "crf": 20
 },
 "fps": 30,
 "frames": 1021,
 "duration_s": 34,
 "width": 1920,
 "height": 1080,
 "frames_digest": "1e34a0ee2aad1dd498014e7680f5da5a2852c9fd1301031eaab91f0b6675ae26",
 "determinism": {
  "sampled_frames": 5,
  "identical": true
 },
 "text_overflows": [],
 "facts_used": [
  "MC-002.all_miss",
  "MC-002.constructed_arrangement",
  "MC-002.exclusive_full_stack_coverage",
  "MC-002.guard_labels",
  "MC-002.guards",
  "MC-002.leave_one_out_union",
  "MC-002.n_harmful",
  "MC-002.per_guard_catches",
  "MC-002.support_commit",
  "MC-002.union_detection",
  "MC-003.aggregate_unique_contribution_bounds",
  "MC-003.members_zero_exclusive_full_stack_coverage"
 ],
 "outputs": {
  "master": "renders/leave-one-out__master.mp4",
  "master_sha256": "08128e79c666b17fd5cf533713384395e37f97c9dafc0f2908a78e24fe19760c",
  "master_bytes": 976464,
  "master_duration_probe_s": 34.03,
  "poster": "renders/leave-one-out__master.poster.png",
  "poster_t": 16.3,
  "stills": [
   "renders/stills/master-open.jpg",
   "renders/stills/master-q1.jpg",
   "renders/stills/master-mid.jpg",
   "renders/stills/master-q3.jpg",
   "renders/stills/master-end.jpg"
  ],
  "claim_frames": [
   {
    "n": 1,
    "t": 12,
    "label": "all five lamps on: 73/82 lit, 9 dark; aggregate-only bounds on exclusive coverage beside each lamp",
    "still": "renders/stills/master-claim-01.jpg"
   },
   {
    "n": 2,
    "t": 16.3,
    "label": "NeMo shuttered: 18 windows go dark, 55/82 still lit by the other four",
    "still": "renders/stills/master-claim-02.jpg"
   },
   {
    "n": 3,
    "t": 29,
    "label": "summary: 3 of 5 lamps have zero exclusive coverage on this stratum; identified values beside each lamp",
    "still": "renders/stills/master-claim-03.jpg"
   }
  ],
  "phone_previews": []
 },
 "render_seconds": 65.7
}