{
  "author": "Maclain Hunter",
  "title": "Loop Halting Guarantee",
  "identifier": "archived-q1060-9bca977c1c26",
  "sourceKind": "archived-authored-source",
  "content": "{\n  \"name\": \"Loop Halting Guarantee\",\n  \"formal\": \"∀config.maxDepth ∈ ℕ⁺: mcbLoop terminates in ≤ maxDepth iterations\",\n  \"proof\": \"Strictly increasing counter bounded by finite maxDepth\",\n  \"implementation\": \"mcbLoop(initial, transform, config): MCBComputationUnit[]\"\n}",
  "formal": null,
  "structuredAuthoredProof": null,
  "authoredSteps": null,
  "recordedAt": null,
  "originalAuthoredAt": null,
  "propositionMeaningBoundary": "Atomic identifiers retain their meanings in the exact source. No arbitrary truth assignment establishes an ontological or empirical premise; the formal witness checks the written inference."
}