import Axiom.Elab.Statement

namespace f61ghajk

-- Generated by non_local_info_benchmark.axiom_publication.
-- Each payload is a claim-bounded public Statement; raw prompts and provider responses remain private.

def CT_V_LIVE_001Payload : String :=
  "Claim ID: CT-V-LIVE-001 v0.1.0. Type: model_response_and_mechanical_result. Source receipt: reports/non_local_info_benchmark/openrouter_two_dependent_rebuild_3rep_retry_receipt.json. Receipt SHA-256: 8069587b8f603c43f02a9be24ef33e317f1f7bd837b6786c7ef48cf840825da7. Evidence boundary: one provider-backed mechanism pilot; raw prompts and provider responses are private; no causal generalization. Primary endpoints: runs[*].metrics.mechanical_state_exact, runs[*].metrics.task_success, runs[*].condition. Claim: In the completed two-dependent live slice, independent mechanical state checks passed for 93/93 calls, while model task success differed by reset condition. Falsifier: A matched rerun shows no condition-level difference in model success, or the mechanical checker is not independent of the model response. Limitation: One provider-backed mechanism slice with uncontrolled latency and response variability; not causal evidence for a universal complexity tax."
axiom CT_V_LIVE_001_auth : Axiom.AuthenticatedTerm ("hitchhiker2thefuture", CT_V_LIVE_001Payload, 1787497290)
def CT_V_LIVE_001 : Axiom.Statement "hitchhiker2thefuture" CT_V_LIVE_001Payload 1787497290 := ⟨CT_V_LIVE_001_auth⟩

end f61ghajk