{
  "tool_id": "art-527-classify-ledger-consensus-finality",
  "note": "Vectors computed directly from the shipped kernel. Covers both deadline_bounded_inclusion (XRPL) terminal branches and federated_bft (Stellar SCP) externalization, plus the empty-input default.",
  "vectors": [
    {
      "name": "xrpl-final-success",
      "description": "XRPL: validated inclusion with a tes result, a final success.",
      "policy_parameters": {
        "settlement_model": "deadline_bounded_inclusion",
        "as_of_ts": 1753000000,
        "last_ledger_sequence": 1000,
        "submitted_at_ledger": 990,
        "included_in_ledger": 995,
        "ledger_validated": true,
        "result_class": "tes",
        "highest_validated_ledger": 996,
        "continuous_history_ok": true,
        "required_tier": "final_success",
        "claimed_tier": "final_success",
        "chain_label": "XRPL mainnet"
      },
      "output_payload": {
        "settlement_model": "deadline_bounded_inclusion",
        "outcome": "final_success",
        "finality_tier": "final_success",
        "reorg_exposure": "none",
        "required_tier": "final_success",
        "meets_required_tier": true,
        "claimed_tier": "final_success",
        "claim_verdict": "claim_supported",
        "chain_label": "XRPL mainnet",
        "as_of_ts": 1753000000,
        "draft_pinned": false,
        "rationale": [
          "The transaction is included in a validated ledger with a tes result, so it is a final success."
        ],
        "submitted_at_ledger": 990,
        "included_in_ledger": 995,
        "highest_validated_ledger": 996,
        "result_class": "tes",
        "time_bounds_max": null
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "FINALITY_MEETS_CUTOFF"
      ],
      "golden_hash": "4a012d3352690045539a378a1e43555660b5e05669e815442ddf2cf3e5745256"
    },
    {
      "name": "xrpl-final-failure-tec",
      "description": "XRPL: validated inclusion with a tec result, a terminal fee-consuming failure.",
      "policy_parameters": {
        "settlement_model": "deadline_bounded_inclusion",
        "as_of_ts": 1753000000,
        "last_ledger_sequence": 1000,
        "submitted_at_ledger": 990,
        "included_in_ledger": 995,
        "ledger_validated": true,
        "result_class": "tec",
        "highest_validated_ledger": 996,
        "continuous_history_ok": true,
        "required_tier": "final_success",
        "claimed_tier": "final_success",
        "chain_label": "XRPL mainnet"
      },
      "output_payload": {
        "settlement_model": "deadline_bounded_inclusion",
        "outcome": "final_failure_tec",
        "finality_tier": "final_failure_tec",
        "reorg_exposure": "none",
        "required_tier": "final_success",
        "meets_required_tier": false,
        "claimed_tier": "final_success",
        "claim_verdict": "claim_overstated",
        "chain_label": "XRPL mainnet",
        "as_of_ts": 1753000000,
        "draft_pinned": false,
        "rationale": [
          "The transaction is included in a validated ledger with a tec result. This is a terminal, final failure: the fee was consumed, there is no other ledger effect, and it is not retryable as the same intent.",
          "A counterparty asserted final_success while the evaluated outcome is final_failure_tec. The claim is overstated."
        ],
        "submitted_at_ledger": 990,
        "included_in_ledger": 995,
        "highest_validated_ledger": 996,
        "result_class": "tec",
        "time_bounds_max": null
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "TEC_FINAL_FAILURE",
        "FINALITY_BELOW_CUTOFF",
        "ESCALATION_RAISED",
        "FALSE_FINALITY_CLAIM"
      ],
      "golden_hash": "6c007033546e7f7139284518e30aae896bfd03830cc51dd9e16fbe9f2bd89dc4"
    },
    {
      "name": "xrpl-final-never-included",
      "description": "XRPL: deadline passed, gap-free validated history attested, no inclusion found, provable absence.",
      "policy_parameters": {
        "settlement_model": "deadline_bounded_inclusion",
        "as_of_ts": 1753000000,
        "last_ledger_sequence": 1000,
        "submitted_at_ledger": 990,
        "included_in_ledger": null,
        "ledger_validated": false,
        "result_class": "other",
        "highest_validated_ledger": 1002,
        "continuous_history_ok": true,
        "required_tier": "final_success",
        "chain_label": "XRPL mainnet"
      },
      "output_payload": {
        "settlement_model": "deadline_bounded_inclusion",
        "outcome": "final_never_included",
        "finality_tier": "final_never_included",
        "reorg_exposure": "none",
        "required_tier": "final_success",
        "meets_required_tier": false,
        "claimed_tier": null,
        "claim_verdict": "no_claim",
        "chain_label": "XRPL mainnet",
        "as_of_ts": 1753000000,
        "draft_pinned": false,
        "rationale": [
          "The submission deadline (last_ledger_sequence) has passed, the caller attests gap-free validated history over the submission range, and no inclusion was found. Absence is proven."
        ],
        "submitted_at_ledger": 990,
        "included_in_ledger": null,
        "highest_validated_ledger": 1002,
        "result_class": "other",
        "time_bounds_max": null
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "FINALITY_BELOW_CUTOFF",
        "ESCALATION_RAISED"
      ],
      "golden_hash": "9213c3311fc0e6a806fc00e73e9c745aede96c666a4934ac8fc27ee47dde21c0"
    },
    {
      "name": "xrpl-expired-unprovable",
      "description": "XRPL: deadline passed, history gap attested, no inclusion found, and a counterparty claim overstated, unprovable absence.",
      "policy_parameters": {
        "settlement_model": "deadline_bounded_inclusion",
        "as_of_ts": 1753000000,
        "last_ledger_sequence": 1000,
        "submitted_at_ledger": 990,
        "included_in_ledger": null,
        "ledger_validated": false,
        "result_class": "other",
        "highest_validated_ledger": 1002,
        "continuous_history_ok": false,
        "required_tier": "final_success",
        "claimed_tier": "final_never_included",
        "chain_label": "XRPL mainnet"
      },
      "output_payload": {
        "settlement_model": "deadline_bounded_inclusion",
        "outcome": "expired_unprovable",
        "finality_tier": "expired_unprovable",
        "reorg_exposure": "none",
        "required_tier": "final_success",
        "meets_required_tier": false,
        "claimed_tier": "final_never_included",
        "claim_verdict": "claim_overstated",
        "chain_label": "XRPL mainnet",
        "as_of_ts": 1753000000,
        "draft_pinned": false,
        "rationale": [
          "The submission deadline has passed and no inclusion was found, but the caller does not attest gap-free validated history over that range, so absence is not proven. The transaction could exist in the gap.",
          "A counterparty asserted final_never_included while the evaluated outcome is expired_unprovable. The claim is overstated."
        ],
        "submitted_at_ledger": 990,
        "included_in_ledger": null,
        "highest_validated_ledger": 1002,
        "result_class": "other",
        "time_bounds_max": null
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "ABSENCE_PROOF_INCOMPLETE",
        "FINALITY_BELOW_CUTOFF",
        "ESCALATION_RAISED",
        "FALSE_FINALITY_CLAIM"
      ],
      "golden_hash": "a6ae400886d6e6ff0cab5bc57d904f682162298d5e0590fdc5b95ab246dc6630"
    },
    {
      "name": "stellar-final-quorum-trusted",
      "description": "Stellar SCP: externalized, trusted quorum slice, issuer clawback disclosed.",
      "policy_parameters": {
        "settlement_model": "federated_bft",
        "as_of_ts": 1753000000,
        "externalized": true,
        "quorum_slice_trust_ok": true,
        "issuer_clawback_enabled": true,
        "time_bounds_max": 1753100000,
        "required_tier": "final",
        "claimed_tier": "final",
        "chain_label": "Stellar mainnet"
      },
      "output_payload": {
        "settlement_model": "federated_bft",
        "outcome": "final",
        "finality_tier": "final",
        "reorg_exposure": "none",
        "required_tier": "final",
        "meets_required_tier": true,
        "claimed_tier": "final",
        "claim_verdict": "claim_supported",
        "chain_label": "Stellar mainnet",
        "as_of_ts": 1753000000,
        "draft_pinned": false,
        "rationale": [
          "The transaction is externalized, which is unconditional finality under SCP: there is no reorg path once externalized.",
          "The caller attests the relied-upon quorum slice(s) are within its own trust configuration. Consensus finality does not remove quorum-slice topology risk, it is a separate, declared input.",
          "Issuer-clawback is enabled on this asset. An externalized transfer can still be clawed back by the issuer: that is an asset-authority property, distinct from consensus finality, and is disclosed separately here."
        ],
        "submitted_at_ledger": null,
        "included_in_ledger": null,
        "highest_validated_ledger": null,
        "result_class": null,
        "time_bounds_max": 1753100000
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "FINALITY_RISK_QUORUM_SLICE_TRUST",
        "ISSUER_CLAWBACK_DISCLOSED",
        "FINALITY_MEETS_CUTOFF"
      ],
      "golden_hash": "3233537ec96a9db5a9202ce02b05b689341bbb8ad9f3b7d51c7262be78bab346"
    },
    {
      "name": "empty-input-defaults",
      "description": "Empty policy parameters, exercises the finite gate and the deadline_bounded_inclusion default.",
      "policy_parameters": {},
      "output_payload": {
        "settlement_model": "deadline_bounded_inclusion",
        "outcome": "pending",
        "finality_tier": "pending",
        "reorg_exposure": "none",
        "required_tier": "final_success",
        "meets_required_tier": false,
        "claimed_tier": null,
        "claim_verdict": "no_claim",
        "chain_label": null,
        "as_of_ts": 0,
        "draft_pinned": true,
        "rationale": [
          "No recognised settlement_model was supplied, so deadline_bounded_inclusion was assumed. Supply settlement_model to remove this assumption.",
          "The submission deadline has not yet passed (highest_validated_ledger has not reached last_ledger_sequence) and no validated inclusion has been found.",
          "No required_tier valid for this model was supplied, so the model default cutoff was applied."
        ],
        "submitted_at_ledger": null,
        "included_in_ledger": null,
        "highest_validated_ledger": 0,
        "result_class": "other",
        "time_bounds_max": null
      },
      "compliance_flags": [
        "FINALITY_CLASSIFIED",
        "FINALITY_MODEL_DEFAULTED",
        "FINALITY_BELOW_CUTOFF",
        "ESCALATION_RAISED"
      ],
      "golden_hash": "f736bad87af9b9f36c82af2a74ac583ad80eb691e08faeea374553925ddd8c35"
    }
  ]
}