{
 "run": "RUN-043",
 "subject": "UESFCM: the unbounded-expansion, self-referential finite-closure methodology, and its own application",
 "document": "main.zip!/UESFCM/UESFCM_v0.1_Package.zip!/UESFCM_Unbounded_Expansion_Self_Referential_Finite_Closure_Methodology_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": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "links": [
   "PROVES",
   "REFUTES",
   "REDUCES",
   "ELIMINATES",
   "REPRESENTS",
   "CERTIFIES",
   "BOUNDS",
   "CONNECTS",
   "OPENS",
   "META",
   "NULL"
  ],
  "same_in_protocol": true,
  "sizes": {
   "links": 11,
   "links_protocol": 11,
   "obligations": 9,
   "artifacts": 15,
   "closures_21": 3,
   "closures_30": 5,
   "stalled": 1,
   "frozen": 1
  },
  "repeated": [],
  "state": {
   "methodology": [
    "G_t",
    "O_t",
    "B_t",
    "R_t",
    "D_t",
    "V_t",
    "P_t",
    "K_t"
   ],
   "protocol": [
    "G_t",
    "O_t",
    "B_t",
    "D_t",
    "P_t"
   ]
  },
  "banned": [
   "probably solved",
   "looks correct",
   "essentially proved"
  ]
 },
 "w2": {
  "exits": {
   "abstract": [
    "counterexample",
    "proof"
   ],
   "sec. 3": [
    "counterexample",
    "proof"
   ],
   "sec. 21": [
    "counterexample",
    "proof",
    "target-failure"
   ],
   "sec. 50": [
    "counterexample",
    "proof"
   ],
   "sec. 58": [
    "independence"
   ],
   "sec. 61": [
    "counterexample",
    "independence",
    "proof"
   ],
   "protocol sec. 7": [
    "counterexample",
    "independence",
    "proof",
    "search-stalled",
    "target-failure"
   ],
   "protocol sec. 10": [
    "counterexample",
    "independence",
    "proof"
   ]
  },
  "distinct": 4,
  "sec. 21 says three": true,
  "sec. 49 stalls into more expansion": true,
  "protocol stops at SEARCH-STALLED": true,
  "pseudocode": {
   "loop": true,
   "breaks": 0,
   "handles": {
    "target failure": false,
    "search stalled": false,
    "independence": false
   }
  }
 },
 "w3": {
  "codes": [],
  "previous": [
   "UESFCM-LUC-C00-v0.1"
  ],
  "targets": [
   "UESFCM-LUC-TARGET-v0.1"
  ],
  "statuses": [
   "FINITE-CLOSED / PROBLEM-OPEN"
  ],
  "problem_status": [
   "OPEN"
  ],
  "schema": [
   "UESFCM-LUC-State-v0.1"
  ],
  "dates": {
   "2026-09-19": [
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10
   ],
   "2026-09-20": [
    11,
    12,
    13,
    14,
    15,
    16,
    17
   ]
  },
  "headers_agree": true,
  "problem_closed": false,
  "target_written_down": [],
  "first_state_mentions": [
   "UESFCM_Lebesgue_Cycle_01_Package_v0.1.zip!/UESFCM_Lebesgue_Cycle_01_B7_Separator_Gate_v0.1.md"
  ],
  "named_files": [],
  "crystal_provenance": [
   5
  ],
  "identities": 39,
  "identities_failing": []
 },
 "w4": {
  "discipline": {
   "crystal_strings": 15,
   "verdict_lines": 15,
   "violations": [],
   "closure_joined_to_evidence": {
    "11": 2
   }
  },
  "banned": {
   "probably solved": 0,
   "looks correct": 0,
   "essentially proved": 0
  },
  "method_used": {
   "COMPUTE-DEFERRED": 4,
   "DEPENDENCY-DEFERRED": 2,
   "NUMERICAL-EVIDENCE": 14,
   "OPEN": 70,
   "OPENS": 1,
   "PROVED": 64,
   "REDUCED": 1,
   "REDUCES": 1,
   "REFUTED": 1,
   "REJECTED": 3,
   "SEARCH-ONLY": 2
  },
  "method_unused": [
   "BOUNDS",
   "BRANCH-CLOSED",
   "CERTIFICATE-CLOSED",
   "CERTIFIED-COMPUTATION",
   "CERTIFIES",
   "CONNECTS",
   "COUNTEREXAMPLE",
   "COUNTEREXAMPLE-CLOSED",
   "DERIVED-CANDIDATE",
   "ELIMINATES",
   "FORMALIZATION-DEFERRED",
   "HIDDEN-BRANCH",
   "INVALID",
   "META",
   "MISSING-LEMMA",
   "NULL",
   "PROBLEM-PROOF-CLOSED",
   "PROOF-CLOSED",
   "PROVES",
   "REFUTES",
   "REOPENED",
   "REPRESENTATION-CLOSED",
   "REPRESENTATION-ONLY",
   "REPRESENTS",
   "ROUND-CLOSED",
   "SEARCH-STALLED",
   "SUPERSEDED",
   "TARGET-FAILURE",
   "VERIFIED-THEOREM-APPLICATION"
  ],
  "own_labels": 84,
  "own_top": [
   [
    "NOT-F3",
    24
   ],
   [
    "FINITE-CLOSED",
    17
   ],
   [
    "PROBLEM-OPEN",
    17
   ],
   [
    "AREA-PRUNED",
    13
   ],
   [
    "ORBIT-COVERED",
    8
   ],
   [
    "AREF-PRUNED",
    8
   ]
  ],
  "cycle_status": [
   "FINITE-CLOSED / PROBLEM-OPEN"
  ],
  "link_types_used": {
   "1": [
    "REDUCES",
    "OPENS"
   ]
  },
  "cycle01_linkback_map": [
   "EXTERNAL-DATA",
   "CERTIFICATE-INTERFACE",
   "OPENS",
   "REDUCES",
   "SEARCH-ONLY",
   "SEARCH-PRIOR"
  ],
  "format": {
   "recentre on entry": {
    "cycles": 17,
    "except": []
   },
   "next recentre": {
    "cycles": 15,
    "except": [
     8,
     10
    ]
   },
   "obligation or responsibility ledger": {
    "cycles": 10,
    "except": [
     1,
     6,
     7,
     8,
     9,
     12,
     15
    ]
   },
   "LinkBack section": {
    "cycles": 2,
    "only": [
     1,
     3
    ]
   },
   "finite-closure section": {
    "cycles": 2,
    "only": [
     1,
     2
    ]
   },
   "verdict": {
    "cycles": 17,
    "except": []
   },
   "crystal's next recentre": {
    "cycles": 17,
    "except": []
   }
  },
  "reopening": {
   "REOPENED": 0,
   "mentions": {
    "16": [
     "# 10. Formal Responsibility Must Not Be Reopened"
    ],
    "17": [
     "Do not reopen:",
     "Do not reopen the five tight-reference cells."
    ]
   },
   "all_prohibitive": true,
   "rejections": [
    3,
    7,
    15,
    16
   ]
  }
 },
 "w5": {
  "references": 9,
  "documents": {
   "UBE": false,
   "Paper 08": false,
   "UBGUL": false,
   "RCHM": false,
   "SREG / PEC": false,
   "RCIG": false,
   "DLMVC": true
  },
  "mentioned_by": {
   "UBE": 0,
   "Paper 08": 0,
   "UBGUL": 0,
   "RCHM": 19,
   "SREG / PEC": 0,
   "RCIG": 0,
   "DLMVC": 1
  },
  "lagged_line": "old closure -> blind reconstruct -> audit -> strengthen -> hand back",
  "dlmvc_sections": [
   true,
   true,
   true,
   true,
   true
  ],
  "dlmvc_names_uesfcm": []
 },
 "p1": {
  "records": {
   "UESFCM_Unbounded_Expansion_Self_Referential_Finite_Closure_Methodology_v0.1.md": {
    "sha256": "59115bce8786973039b04fcf231c216f8878959bd4b6cdd8c88378ddbbf3a59a",
    "bytes": 37771,
    "lines": 3034,
    "utf8": true,
    "hidden_ascii_control_count": 0,
    "display_delimiters_paired": true,
    "inline_delimiters_paired": true,
    "alternative_math_delimiters_present": false
   },
   "UESFCM_Operational_Protocol_v0.1.md": {
    "sha256": "e7bdfaf493b50939f4171c522862257cea486607e0b7e19ec25e845d50dce2bf",
    "bytes": 3654,
    "lines": 293,
    "utf8": true,
    "hidden_ascii_control_count": 0,
    "display_delimiters_paired": true,
    "inline_delimiters_paired": true,
    "alternative_math_delimiters_present": false
   }
  },
  "lines": "newline count + 1"
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 141,
  "must_stay_green_held": 141,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-status-line",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-protocol-link-type",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-pseudocode-stall-exit",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-stall-stops",
    "kind": "mutation",
    "expected": [
     "A0",
     "W2"
    ],
    "tripped": [
     "A0",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-remaining-subroots",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-target-drift",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-target-contract-shipped",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-problem-closed",
    "kind": "mutation",
    "expected": [
     "W3",
     "W4"
    ],
    "tripped": [
     "W3",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-diagnostic-proved",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-reopened",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-verdict-heading",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-reference-in-archive",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-dlmvc-names-uesfcm",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-document-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-definition-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}