{
  "IsCompleteAndExact": true,
  "FindingProofs": [
    {
      "FindingId": "K-SIM-001",
      "ProofCategory": "K4A_DEPTH_AWARE_EXECUTION",
      "RuntimeTruth": "LEGACY_SIMPLE_FILL_CANNOT_ESTABLISH_MICROSTRUCTURE_FIDELITY",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_INDEPENDENT_DEPTH_PREVENTS_INTENT_QUANTITY_FULL_FILL",
        "K4A_HOST_VALID_FIDELITY_REACHES_CANONICAL_EXECUTION",
        "K4A_HOST_NO_LEGACY_BROKER_SIMULATOR_FALLBACK_OBSERVED"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "A20EBAA52ED90720358BB2D3B1F03C82109188746CC9B6A0682342BFD6F02476"
    },
    {
      "FindingId": "K-SIM-002",
      "ProofCategory": "K4A_INDEPENDENT_DEPTH",
      "RuntimeTruth": "FILL_CAPACITY_COMES_FROM_MARKET_DEPTH_NOT_ORDER_INTENT_QUANTITY",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_INDEPENDENT_DEPTH_PREVENTS_INTENT_QUANTITY_FULL_FILL",
        "K4A_QUEUE_AHEAD_CAN_EXHAUST_VISIBLE_DEPTH"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "D539639C06A69FEB06F28BE3D030371C67E373637F6F3438C7FD6D87B2EDACD1"
    },
    {
      "FindingId": "K-SIM-003",
      "ProofCategory": "K4A_SIDE_AWARE_BOOK",
      "RuntimeTruth": "BUY_CONSUMES_ASKS_SELL_CONSUMES_BIDS_WITH_LIMIT_MARKETABILITY",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_BUY_EXECUTION_CONSUMES_ASK_SIDE",
        "K4A_SELL_EXECUTION_CONSUMES_BID_SIDE",
        "K4A_SIDE_AWARE_SPREAD_PRODUCES_DIFFERENT_REFERENCE_PRICES",
        "K4A_NONMARKETABLE_LIMIT_PRODUCES_NO_FILL"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "9E4A79779858D5B92349118829FBD27A31E9E4EFA96653B37785EA29E9E4F098"
    },
    {
      "FindingId": "K-SIM-004",
      "ProofCategory": "K4A_QUEUE_DEPTH",
      "RuntimeTruth": "QUEUE_AHEAD_CONSUMES_DEPTH_BEFORE_SIMULATED_ORDER",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_QUEUE_AHEAD_CAN_EXHAUST_VISIBLE_DEPTH",
        "K4A_QUEUE_AHEAD_INCREASES_LATENCY",
        "K4A_HOST_GOVERNED_QUEUE_EVENTS_RESTORE_EXECUTABLE_DEPTH",
        "K4A_HOST_GOVERNED_QUEUE_EVENTS_ARE_DIGEST_BOUND"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "A511E41CDE805D408305A2A674247A11968E50018C06D714F068AB41E5A12767"
    },
    {
      "FindingId": "K-SIM-005",
      "ProofCategory": "K4A_EXECUTION_COSTS",
      "RuntimeTruth": "LATENCY_SLIPPAGE_MARKET_IMPACT_ADVERSE_SELECTION_EXPLICIT",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_LATENCY_IS_EXPLICIT_AND_NONZERO",
        "K4A_MARKET_IMPACT_IS_EXPLICIT",
        "K4A_ADVERSE_SELECTION_IS_EXPLICIT",
        "K4A_SLIPPAGE_IS_EXPLICIT",
        "K4A_HOST_RESULT_EXPOSES_EXECUTION_ECONOMICS"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "82D50160E6905C5C05C14EC98C7CD498CEE827B866B4C9A1509A1BA6560121A0"
    },
    {
      "FindingId": "K-SIM-006",
      "ProofCategory": "K4A_CALIBRATION",
      "RuntimeTruth": "PAPER_BENCHMARK_METRICS_AND_ACCEPTANCE_TOLERANCES_DIGEST_BOUND",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_CALIBRATED_CLAIM_REQUIRES_DIGEST_BOUND_CALIBRATION_EVIDENCE",
        "K4A_PAPER_CALIBRATION_WITHIN_TOLERANCE_IS_CALIBRATED",
        "K4A_PAPER_CALIBRATION_OUTSIDE_TOLERANCE_FAILS",
        "K4A_CALIBRATION_EVIDENCE_DIGEST_MATERIALIZED",
        "K4A_CALIBRATION_EVIDENCE_GRANTS_NO_TRADING_OR_BROKER_AUTHORITY"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "5AACEA0A93B8B2F70424DD18B7C15BB700EE9E4B602932C22235BD685872EB9B"
    },
    {
      "FindingId": "K-SIM-007",
      "ProofCategory": "K4B_TRUTH_CLASS_SEPARATION",
      "RuntimeTruth": "SIMULATION_REPLAY_EVIDENCE_CANNOT_BECOME_OPERATIONAL_TRUTH",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4B_REPLAY_RESULT_TRUTH_CLASS_HISTORICAL_ONLY",
        "K4B_REPLAY_RESULT_CANNOT_ESTABLISH_OPERATIONAL_TRUTH",
        "K4B_REPLAY_RESULT_GRANTS_NO_TRADING_OR_BROKER_AUTHORITY",
        "K4A_HOST_RESULT_CANNOT_ESTABLISH_OPERATIONAL_TRUTH",
        "K4A_HOST_RESULT_GRANTS_NO_TRADING_OR_BROKER_AUTHORITY"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "1A3A99F93D86785A00273E719DE60040C0910B259E0FF3964A55B3A1FC914B3A"
    },
    {
      "FindingId": "K-SIM-008",
      "ProofCategory": "K4A_FIDELITY_LABEL",
      "RuntimeTruth": "EVERY_DEPTH_AWARE_RESULT_CARRIES_FIDELITY_AND_CALIBRATION_STATUS",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4A_FILL_RESULT_CARRIES_FIDELITY_LABEL",
        "K4A_FILL_RESULT_CARRIES_CALIBRATION_STATUS",
        "K4A_HOST_RESULT_BINDS_FIDELITY_PROVENANCE"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "82E82B5AC0A49992AB8F15564C9474F8C9750F8DE9C074BF7DCBE956D266B593"
    },
    {
      "FindingId": "K-RPL-001",
      "ProofCategory": "K4B_REPLAY_PARITY",
      "RuntimeTruth": "SUPPORTED_REPLAY_ORDER_SEMANTICS_MATCH_CANONICAL_EXECUTION_MODEL",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4B_REPLAY_CANONICAL_EXECUTION_EXACT_PARITY",
        "K4B_REPLAY_PARITY_FILL_ECONOMICS",
        "K4B_REPLAY_PARITY_PROVENANCE"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "9F18CF8875F614D9A5EB510A597DA464E16CBFE511ADA139B0EBADCB0F24EAFD"
    },
    {
      "FindingId": "K-RPL-002",
      "ProofCategory": "K4B_DEGRADED_REPLAY",
      "RuntimeTruth": "STALE_CONFLICTING_AND_AMBIGUOUS_TRUTH_STATES_FAIL_OR_DEGRADE_EXPLICITLY",
      "Accepted": true,
      "RequiredCheckIds": [
        "K4B_DEGRADED_REPLAY_STALE_DUPLICATE_FAILS_CLOSED",
        "K4B_DEGRADED_REPLAY_STALE_TIME_REGRESSION_FAILS_CLOSED",
        "K4B_DEGRADED_REPLAY_CONFLICTING_SAME_TIMESTAMP_TRUTH_FAILS_CLOSED",
        "K4B_DEGRADED_REPLAY_AMBIGUOUS_BUY_WITHOUT_ASK_FAILS_CLOSED",
        "K4B_DEGRADED_REPLAY_AMBIGUOUS_SELL_WITHOUT_BID_FAILS_CLOSED",
        "K4B_DEGRADED_REPLAY_ZERO_LIQUIDITY_IS_EXPLICIT_NOT_AMBIGUOUS"
      ],
      "MissingOrFailedCheckIds": [],
      "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
      "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
      "RunId": "a902eef412f544a4a494543170340715",
      "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
      "ProofDigestSha256": "F972FA7CD5540050F819C6FC359B298567F5C8E18980FFC4A2A025C38BCFDB58"
    }
  ],
  "OpenFindingIds": [],
  "SourceHeadSha": "42dca99cfb3ea1bb3b490ba6ccf4d092a6c7e270",
  "VerifierArtifactSha256": "2E7AD19E67AC1E353F0255B0198470E4D103E1C904A59C12E37C36BE4F3E512C",
  "RunId": "a902eef412f544a4a494543170340715",
  "ExecutedAtUtc": "2026-10-26T23:56:17.5743417+00:00",
  "LedgerDigestSha256": "3FFED1022AB7A4C037252D28E253D7A3D568B9AF39E0D19CE25AECEA0D164FE6"
}