import Axiom.Elab.Statement

namespace v775tart

-- 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_SWEEP_LIVE_001Payload : String :=
  "Claim ID: CT-V-SWEEP-LIVE-001 v0.1.0. Type: dependent_count_scorecard. Source receipt: reports/non_local_info_benchmark/openrouter_dependent_count_sweep_corrected_receipt.json. Receipt SHA-256: c05948b96f98422ef174fba5577868d7ed2d242fc75ecc3e13cceaee66cd03be. Evidence boundary: One provider-backed mechanism sweep; not causal evidence for a universal complexity tax.. Primary endpoints: rows[*].dependent_count, rows[*].mean_writes, rows[*].mean_retrievals, rows[*].mean_verifications. Claim: In the live dependent-count sweep, the receipt records dependency-aware rebuild work across N=[0, 1, 2, 3, 4] dependent counts; the component-wise scorecard preserves writes, retrievals, verifications, repairs, valid-state loss, and stale-state reuse separately. Falsifier: A complete matched sweep cannot reproduce the component-wise scorecard, or mechanical primary endpoints are not independently recorded. Limitation: One fixed topology and protocol; the sweep estimates descriptive mechanism behavior, not a universal scaling law or human/organizational cost."
axiom CT_V_SWEEP_LIVE_001_auth : Axiom.AuthenticatedTerm ("hitchhiker2thefuture", CT_V_SWEEP_LIVE_001Payload, 1787511109)
def CT_V_SWEEP_LIVE_001 : Axiom.Statement "hitchhiker2thefuture" CT_V_SWEEP_LIVE_001Payload 1787511109 := ⟨CT_V_SWEEP_LIVE_001_auth⟩

end v775tart