{
  "tool_id": "art-540-por-liabilities-composer",
  "kernel_id": "art-540-por-liabilities-composer",
  "display_name": "PoR Liabilities Composer",
  "tool_version": "1.0.0",
  "mandate_type": "compliance_mandate",
  "purpose": "Composes a caller-restated art-280-reserve-proof-verifier inclusion result (soft-dep: inclusion_verified, computed_root.sum) with a caller-supplied aggregate reported_total_liabilities_musd figure. Computes reserve_to_liability_ratio and a composite_determination in {INCLUSION_AND_LIABILITIES_CONSISTENT, INCLUSION_FAILED, LIABILITIES_UNDERCOVERED, LIABILITIES_INPUT_MISSING}. Carries forward art-280's not_proven list plus its own: the liabilities figure is caller-asserted, not independently audited -- this node verifies internal consistency, it does not audit the liabilities source. Composes only; does not edit art-280's own kernel.",
  "control_description": "Composes a caller-restated art-280-reserve-proof-verifier inclusion result (soft-dep: inclusion_verified, computed_root.sum) with a caller-supplied aggregate reported_total_liabilities_musd figure. Computes reserve_to_liability_ratio and a composite_determination in {INCLUSION_AND_LIABILITIES_CONSISTENT, INCLUSION_FAILED, LIABILITIES_UNDERCOVERED, LIABILITIES_INPUT_MISSING}. Carries forward art-280's not_proven list plus its own: the liabilities figure is caller-asserted, not independently audited -- this node verifies internal consistency, it does not audit the liabilities source. Composes only; does not edit art-280's own kernel.",
  "declared_inputs": [
    "art-280-reserve-proof-verifier"
  ],
  "declared_outputs": [],
  "kernel_digest": "sha256:563cc673f35c6b1c66e152e11a07460a4cfa55b51028b1dcea2c42733e1b10c5",
  "trust_label": "independently verified: zkVM execution proof (risc0/groth16-bn254)",
  "data_vintage": "2026-08-04",
  "last_validated": "2026-08-04",
  "conformance_fixtures_vendored": true,
  "compute_proof_ready": "ready",
  "wave": 84,
  "source_url": "https://ainumbers.co/chaingraph/art-540-por-liabilities-composer.html",
  "generated_at": "2026-08-15T11:12:17.704Z"
}