{
  "tool_id": "art-540-por-liabilities-composer",
  "note": "golden_hash filled by golden-parity.test.mjs --update. Vector 1: PoR inclusion verified and reserves exceed liabilities -- INCLUSION_AND_LIABILITIES_CONSISTENT. Vector 2: liabilities figure supplied but the composed art-280 inclusion check failed -- INCLUSION_FAILED overrides even though the raw ratio would read above 0. Vector 3: inclusion verified but reserves fall short of liabilities (0.8x) -- LIABILITIES_UNDERCOVERED. Vector 4: no liabilities figure and no PoR input supplied at all (soft-dep stubbed) -- LIABILITIES_INPUT_MISSING, ratio null, never a division artifact.",
  "vectors": [
    {
      "name": "inclusion_and_liabilities_consistent",
      "description": "art-280 inclusion verified true, computed_root.sum 120 against a reported 100 liabilities -- ratio 1.2, composite CONSISTENT.",
      "policy_parameters": {
        "por_input": {
          "inclusion_verified": true,
          "computed_root": {
            "sum": 120
          }
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "issuer_attested_balance_sheet"
      },
      "output_payload": {
        "composite_determination": "INCLUSION_AND_LIABILITIES_CONSISTENT",
        "reserve_to_liability_ratio": 1.2,
        "inclusion_verified": true,
        "computed_root": {
          "sum": 120
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "issuer_attested_balance_sheet",
        "por_input_supplied": true,
        "not_proven": [
          {
            "item": "Total liabilities completeness",
            "detail": "Only the audited customer set is provable from a single-leaf inclusion proof. An issuer could omit accounts from the tree entirely and this proof cannot detect the omission."
          },
          {
            "item": "Off-balance-sheet encumbrances",
            "detail": "Pledges, rehypothecation, or liens against reserve assets are not visible in a Merkle-sum inclusion proof."
          },
          {
            "item": "Continuous solvency",
            "detail": "This is a point-in-time snapshot at attestation time, not a continuous or real-time solvency guarantee."
          },
          {
            "item": "PCAOB audit opinion",
            "detail": "This tool performs no audit and carries no PCAOB or other audit-firm opinion; it is a cryptographic inclusion check only."
          },
          {
            "item": "Liabilities figure provenance",
            "detail": "reported_total_liabilities_musd is caller-asserted, not independently audited -- this node verifies internal consistency between a PoR inclusion result and a claimed liabilities total, it does not audit the liabilities source."
          }
        ],
        "formula": "reserve_to_liability_ratio = computed_root.sum / reported_total_liabilities_musd",
        "note": "Composes with art-280-reserve-proof-verifier (soft-dep, not_proven carried forward unchanged plus its own). Verifies internal consistency between a PoR inclusion result and a claimed liabilities total; does not audit the liabilities source. Voluntary industry practice (Summa-report-structure lineage), not a codified regime requirement as of this writing.",
        "regulatory_framework": "Voluntary proof-of-reserves-plus-liabilities attestation practice; not a codified regime requirement as of this writing."
      },
      "compliance_flags": [
        "COMPOSITE_INCLUSION_AND_LIABILITIES_CONSISTENT",
        "POR_LIABILITIES_CLEAN"
      ],
      "golden_hash": "5706a6eb128632995cd5bd8cf96a2bef52e43777d7fe7a27be8ade0130f6c483"
    },
    {
      "name": "inclusion_failed_overrides_ratio",
      "description": "art-280 inclusion_verified false; liabilities figure supplied. INCLUSION_FAILED takes priority over the raw ratio.",
      "policy_parameters": {
        "por_input": {
          "inclusion_verified": false,
          "computed_root": {
            "sum": 50
          }
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "issuer_attested_balance_sheet"
      },
      "output_payload": {
        "composite_determination": "INCLUSION_FAILED",
        "reserve_to_liability_ratio": 0.5,
        "inclusion_verified": false,
        "computed_root": {
          "sum": 50
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "issuer_attested_balance_sheet",
        "por_input_supplied": true,
        "not_proven": [
          {
            "item": "Total liabilities completeness",
            "detail": "Only the audited customer set is provable from a single-leaf inclusion proof. An issuer could omit accounts from the tree entirely and this proof cannot detect the omission."
          },
          {
            "item": "Off-balance-sheet encumbrances",
            "detail": "Pledges, rehypothecation, or liens against reserve assets are not visible in a Merkle-sum inclusion proof."
          },
          {
            "item": "Continuous solvency",
            "detail": "This is a point-in-time snapshot at attestation time, not a continuous or real-time solvency guarantee."
          },
          {
            "item": "PCAOB audit opinion",
            "detail": "This tool performs no audit and carries no PCAOB or other audit-firm opinion; it is a cryptographic inclusion check only."
          },
          {
            "item": "Liabilities figure provenance",
            "detail": "reported_total_liabilities_musd is caller-asserted, not independently audited -- this node verifies internal consistency between a PoR inclusion result and a claimed liabilities total, it does not audit the liabilities source."
          }
        ],
        "formula": "reserve_to_liability_ratio = computed_root.sum / reported_total_liabilities_musd",
        "note": "Composes with art-280-reserve-proof-verifier (soft-dep, not_proven carried forward unchanged plus its own). Verifies internal consistency between a PoR inclusion result and a claimed liabilities total; does not audit the liabilities source. Voluntary industry practice (Summa-report-structure lineage), not a codified regime requirement as of this writing.",
        "regulatory_framework": "Voluntary proof-of-reserves-plus-liabilities attestation practice; not a codified regime requirement as of this writing."
      },
      "compliance_flags": [
        "COMPOSITE_INCLUSION_FAILED"
      ],
      "golden_hash": "ea6ea0cd96c50c23af84b1464c275570384d411c675fddb00e927d413253688f"
    },
    {
      "name": "liabilities_undercovered",
      "description": "art-280 inclusion verified true, computed_root.sum 80 against a reported 100 liabilities -- ratio 0.8, composite UNDERCOVERED.",
      "policy_parameters": {
        "por_input": {
          "inclusion_verified": true,
          "computed_root": {
            "sum": 80
          }
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "third_party_audit"
      },
      "output_payload": {
        "composite_determination": "LIABILITIES_UNDERCOVERED",
        "reserve_to_liability_ratio": 0.8,
        "inclusion_verified": true,
        "computed_root": {
          "sum": 80
        },
        "reported_total_liabilities_musd": 100,
        "liabilities_attestation_source": "third_party_audit",
        "por_input_supplied": true,
        "not_proven": [
          {
            "item": "Total liabilities completeness",
            "detail": "Only the audited customer set is provable from a single-leaf inclusion proof. An issuer could omit accounts from the tree entirely and this proof cannot detect the omission."
          },
          {
            "item": "Off-balance-sheet encumbrances",
            "detail": "Pledges, rehypothecation, or liens against reserve assets are not visible in a Merkle-sum inclusion proof."
          },
          {
            "item": "Continuous solvency",
            "detail": "This is a point-in-time snapshot at attestation time, not a continuous or real-time solvency guarantee."
          },
          {
            "item": "PCAOB audit opinion",
            "detail": "This tool performs no audit and carries no PCAOB or other audit-firm opinion; it is a cryptographic inclusion check only."
          },
          {
            "item": "Liabilities figure provenance",
            "detail": "reported_total_liabilities_musd is caller-asserted, not independently audited -- this node verifies internal consistency between a PoR inclusion result and a claimed liabilities total, it does not audit the liabilities source."
          }
        ],
        "formula": "reserve_to_liability_ratio = computed_root.sum / reported_total_liabilities_musd",
        "note": "Composes with art-280-reserve-proof-verifier (soft-dep, not_proven carried forward unchanged plus its own). Verifies internal consistency between a PoR inclusion result and a claimed liabilities total; does not audit the liabilities source. Voluntary industry practice (Summa-report-structure lineage), not a codified regime requirement as of this writing.",
        "regulatory_framework": "Voluntary proof-of-reserves-plus-liabilities attestation practice; not a codified regime requirement as of this writing."
      },
      "compliance_flags": [
        "COMPOSITE_LIABILITIES_UNDERCOVERED"
      ],
      "golden_hash": "df88ba5f0b6889d6b6c198358717ad50a9e30af74e92e3505c52a83ce43970ad"
    },
    {
      "name": "liabilities_input_missing",
      "description": "No liabilities figure and no PoR soft-dep input supplied at all -- LIABILITIES_INPUT_MISSING, ratio null, never a division artifact.",
      "policy_parameters": {
        "por_input": null,
        "reported_total_liabilities_musd": null,
        "liabilities_attestation_source": ""
      },
      "output_payload": {
        "composite_determination": "LIABILITIES_INPUT_MISSING",
        "reserve_to_liability_ratio": null,
        "inclusion_verified": false,
        "computed_root": {
          "sum": 0
        },
        "reported_total_liabilities_musd": null,
        "liabilities_attestation_source": null,
        "por_input_supplied": false,
        "not_proven": [
          {
            "item": "Total liabilities completeness",
            "detail": "Only the audited customer set is provable from a single-leaf inclusion proof. An issuer could omit accounts from the tree entirely and this proof cannot detect the omission."
          },
          {
            "item": "Off-balance-sheet encumbrances",
            "detail": "Pledges, rehypothecation, or liens against reserve assets are not visible in a Merkle-sum inclusion proof."
          },
          {
            "item": "Continuous solvency",
            "detail": "This is a point-in-time snapshot at attestation time, not a continuous or real-time solvency guarantee."
          },
          {
            "item": "PCAOB audit opinion",
            "detail": "This tool performs no audit and carries no PCAOB or other audit-firm opinion; it is a cryptographic inclusion check only."
          },
          {
            "item": "Liabilities figure provenance",
            "detail": "reported_total_liabilities_musd is caller-asserted, not independently audited -- this node verifies internal consistency between a PoR inclusion result and a claimed liabilities total, it does not audit the liabilities source."
          }
        ],
        "formula": "reserve_to_liability_ratio = computed_root.sum / reported_total_liabilities_musd",
        "note": "Composes with art-280-reserve-proof-verifier (soft-dep, not_proven carried forward unchanged plus its own). Verifies internal consistency between a PoR inclusion result and a claimed liabilities total; does not audit the liabilities source. Voluntary industry practice (Summa-report-structure lineage), not a codified regime requirement as of this writing.",
        "regulatory_framework": "Voluntary proof-of-reserves-plus-liabilities attestation practice; not a codified regime requirement as of this writing."
      },
      "compliance_flags": [
        "COMPOSITE_LIABILITIES_INPUT_MISSING",
        "POR_INPUT_STUBBED"
      ],
      "golden_hash": "5773b8229b5fd4dd10919f5b36a902e722225c92fd88fa3e11d09982a6ae40f6"
    }
  ]
}