{
  "$comment": "DERIVED OUTPUT-CONTRACT SIDECAR — a WITNESS domain from fixtures, never a declaration. May decide L2G-pass; may NEVER produce a dead-branch L2G-fail. Generated by scripts/gen-output-schema.mjs (CHAIN-FV-L2-G-RESCOPE-3). ⛔ Do not hand-edit — run the generator.",
  "kernel_digest": "sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
  "output_schema": {
    "properties": {
      "aggregate_backing_after_display": {
        "enum": [
          "0.00",
          "102000.00",
          "13000.00",
          "210000.00",
          "52000.00",
          "65000.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "aggregate_backing_after_minor_units": {
        "maximum": 21000000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1300000,
          5200000,
          6500000,
          10200000,
          21000000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "aggregate_backing_before_display": {
        "enum": [
          "0.00",
          "100000.00",
          "102000.00",
          "13000.00",
          "210000.00",
          "52000.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "aggregate_backing_before_minor_units": {
        "maximum": 21000000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1300000,
          5200000,
          10000000,
          10200000,
          21000000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "as_of": {
        "enum": [
          "2026-08-01"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "backing_applicable": {
        "enum": [
          false,
          true
        ],
        "type": "boolean",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "backing_intact_after": {
        "enum": [
          false,
          true
        ],
        "type": [
          "boolean",
          "null"
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "backing_intact_before": {
        "enum": [
          false,
          true
        ],
        "type": [
          "boolean",
          "null"
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "backing_model": {
        "enum": [
          "segregated",
          "vacuous"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "backing_ratio_bps": {
        "maximum": 10500,
        "minimum": 10000,
        "type": "number",
        "x-observed-values": [
          10000,
          10500
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "breaches_after": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "breaches_before": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "buffer_count": {
        "maximum": 3,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1,
          2,
          3
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "buffer_margins": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "buffers": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "crossing_cost_display": {
        "enum": [
          "0.00",
          "15.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "crossing_cost_minor_units": {
        "maximum": 1500,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1500
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "crossing_count": {
        "maximum": 1,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "idle_amount_minor_units": {
        "maximum": 18000000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          850000,
          4400000,
          9200000,
          9400000,
          18000000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "idle_cost_display": {
        "enum": [
          "0.00",
          "110.00",
          "180.00",
          "460.00",
          "470.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "idle_cost_minor_units": {
        "maximum": 47000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          11000,
          18000,
          46000,
          47000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "movement_breaks_invariant": {
        "type": [
          "null",
          "object"
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "movements": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "note": {
        "enum": [
          "Deterministic aggregate settlement-asset backing invariant check over caller-declared buffers, backing ratio, value in circulation, and a declared movement set. Verifies the AGGREGATE composition of the buffer set before and after the declared movements, not merely per-account totals or their grand sum. Settlement-asset agnostic: no currency, scheme, country, or issuer is named in this kernel. It performs no sweep, no netting, no reserve attestation, and issues no recommendation to move money. The caller declares backing_model (\"segregated\", default, or \"vacuous\" for a direct/two-tier CBDC with no backing set); the kernel never infers this from the buffer count, and BACKING_NOT_APPLICABLE is a defined non-pass answer, not BACKING_INTACT."
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "rationale": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "rejected_inputs": {
        "type": "array",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "required_backing_display": {
        "enum": [
          "0.00",
          "10000.00",
          "100000.00",
          "210000.00",
          "50000.00",
          "500000.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "required_backing_minor_units": {
        "maximum": 50000000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1000000,
          5000000,
          10000000,
          21000000,
          50000000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "thinnest_buffer": {
        "type": [
          "null",
          "object"
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "value_in_circulation_display": {
        "enum": [
          "0.00",
          "10000.00",
          "100000.00",
          "200000.00",
          "50000.00",
          "500000.00"
        ],
        "type": "string",
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      },
      "value_in_circulation_minor_units": {
        "maximum": 50000000,
        "minimum": 0,
        "type": "number",
        "x-observed-values": [
          0,
          1000000,
          5000000,
          10000000,
          20000000,
          50000000
        ],
        "x-source": {
          "from": "conformance_fixtures",
          "generator": "scripts/gen-output-schema.mjs",
          "kind": "derived",
          "note": "derived from 9 fixtures @ sha256:2c62975ee6e29f7fd6568274a00305cd6d0043e1c89119d37e1e5d16ce3371ef",
          "vectors": 9
        }
      }
    },
    "type": "object"
  },
  "producer": "art-521-settlement-asset-backing-invariant",
  "x-derivation": {
    "from": "conformance_fixtures",
    "generator": "scripts/gen-output-schema.mjs",
    "vectors": 9
  }
}