{
  "record_version": "8472-btc-public-validation-record-v1",
  "subject": "8472 BTC internal engineering case study",
  "validation_type": "Source-bound deterministic synthetic contract simulation",
  "attested_utc": "2026-07-18T21:07:36Z",
  "source_binding_reverified_utc": "2026-08-08T04:43:46Z",
  "supplemental_contract_checks_reverified_date": "2026-08-08",
  "verdict": "PASS",
  "scenario_count": 3922,
  "recorded_failure_count": 0,
  "counting_note": "Coverage counters are non-additive: market fuzz cases are included in market-intent cases, and raw-path fuzz cases are included in raw-path and handoff cases. The authoritative combined scenario count is 3,922.",
  "coverage": {
    "owner_families": 4,
    "archetypes": 7,
    "directional_evaluation_lanes": 14,
    "required_material_suites": 8,
    "market_intent_cases": 2296,
    "synthetic_raw_path_and_handoff_cases": 114,
    "stateful_lifecycle_cases": 100,
    "deterministic_fuzz_cases": 1000,
    "market_fuzz_cases": 2000,
    "raw_path_fuzz_cases": 50
  },
  "covered_behaviors": [
    "Event sequencing and owner evaluation",
    "Frozen-snapshot and causal-input integrity",
    "Economics and plan-contract handling",
    "Mutation-authority rejection",
    "Scanner-to-execution handoff",
    "Retry and duplicate-prevention behavior",
    "Partial-fill reconciliation",
    "Terminal lifecycle and recovery behavior"
  ],
  "sanitized_contract_trace": [
    { "behavior": "Identity integrity", "expected_result": "Identity drift is rejected and the committed identity is retained", "recorded_result": "PASS" },
    { "behavior": "Repeated acknowledgement", "expected_result": "No second state transition or duplicate committed action", "recorded_result": "PASS" },
    { "behavior": "Terminal lifecycle", "expected_result": "Terminal state remains closed after a repeated callback", "recorded_result": "PASS" },
    { "behavior": "Partial reconciliation", "expected_result": "Complete or incomplete state resolves from persisted quantities", "recorded_result": "PASS" }
  ],
  "limitations": [
    "Internally maintained engineering validation",
    "Not an independent certification or external audit",
    "Not connected to an exchange during the simulation",
    "Not a market backtest or live-runtime health report",
    "Not customer or financial performance",
    "Not evidence of profitability or future outcomes"
  ]
}