{
  "date": "2026-10-28",
  "scope": "Checks reproduced from the supplied or pinned sources while preparing this website. These are execution receipts, not independent peer review.",
  "checks": [
    {
      "name": "Mirror_Audit C++20 compile-time suite",
      "result": "PASS",
      "exitCode": 0,
      "stdout": "",
      "scope": "Encoded compile-time audit cases; no general semantic inference."
    },
    {
      "name": "MoneyRoot v0.1 finite enumeration",
      "result": "PASS",
      "exitCode": 0,
      "stdout": "{\n  \"artifact\": \"MoneyRoot v0.1 finite model receipt\",\n  \"counts\": {\n    \"T1_maps\": 154,\n    \"T2_pairs\": 11132,\n    \"T3_pairs\": 11132,\n    \"T4_reader_decoder_pairs\": 6344,\n    \"T5_reader_policy_pairs\": 4764\n  },\n  \"entry_witnesses\": {\n    \"03_price\": {\n      \"collision\": true,\n      \"decision\": [\n        1,\n        0\n      ],\n      \"factorization_possible\": false,\n      \"read\": [\n        100,\n        100\n      ]\n    },\n    \"18_abundance\": {\n      \"collision\": true,\n      \"factorization_possible\": false,\n      \"read\": [\n        0,\n        0\n      ],\n      \"use_read\": [\n        1,\n        9\n      ]\n    },\n    \"23_living\": {\n      \"collision\": true,\n      \"continuation\": [\n        1,\n        0\n      ],\n      \"factorization_possible\": false,\n      \"read\": [\n        0,\n        0\n      ]\n    },\n    \"25_settlement\": {\n      \"collision\": true,\n      \"factorization_possible\": false,\n      \"gross_total\": [\n        2,\n        4\n      ],\n      \"net\": [\n        0,\n        0\n      ],\n      \"states\": [\n        [\n          1,\n          1\n        ],\n        [\n          2,\n          2\n        ]\n      ]\n    }\n  },\n  \"scope\": \"finite exhaustive model-check only; not universal proof-kernel execution\",\n  \"source_sha256\": {\n    \"MoneyRoot.lean\": \"eb280b45a2d7a04464840d47451c77662f14deb36084c248c1457387508337b3\",\n    \"finite_witness_check.py\": \"6573c78e57430b30a1f9e0b5da9168057507937aa46949f6517a3833630fdc1f\"\n  },\n  \"status\": \"PASS\",\n  \"theorems_checked\": {\n    \"T1\": \"read collision iff noninjective on every enumerated finite reader\",\n    \"T2\": \"fiber refinement iff factorization on the observed image\",\n    \"T3\": \"decision collision iff failure of fiber refinement; collision refutes factorization\",\n    \"T4\": \"every enumerated left inverse occurs only for an injective reader\",\n    \"T5\": \"every reader-only policy is constant on reader fibers\"\n  }\n}\n",
      "scope": "Exhaustive checks on the release’s stated finite carriers; not a Lean elaboration."
    },
    {
      "name": "Clear Onyx five exact blocks",
      "result": "PASS",
      "exitCode": 0,
      "stdout": "PASS  root algebra, mirrors, lift, and escapement\nPASS  su(3) bracket and 12-to-66-to-11 count\nPASS  one-generation anomaly cancellation\nPASS  su(2)+u(1) invariant-form obstruction\nPASS  Bell-CHSH local and quantum exact bounds\nPASS  all 5 exact verification blocks\n",
      "scope": "The five declared finite algebraic/combinatorial verification blocks."
    },
    {
      "name": "Four Clear Onyx model inline JavaScript syntax",
      "result": "PASS",
      "exitCode": 0,
      "stdout": "PASS models/atomic-music/atomic-circle-of-fifths.html: inline script 0 parses\nPASS models/helium/helium-dynamics.html: inline script 0 parses\nPASS models/hydrogen/hydrogen-orbital-ladder.html: inline script 0 parses\nPASS models/hydrogen/hydrogen-orbital-ladder.html: inline script 1 parses\nPASS models/hydrogen/hydrogen-orbital-ladder.html: inline script 2 parses\nPASS models/water/water-field.html: inline script 0 parses\nPASS models/water/water-field.html: inline script 1 parses\nPASS models/water/water-field.html: inline script 2 parses\nSUMMARY pass=8 fail=0\n",
      "scope": "JavaScript parses; this does not claim an independent browser runtime or empirical physics validation."
    },
    {
      "name": "Zero-Noise Runtime v0.3 semantic adapter",
      "result": "PASS",
      "exitCode": 0,
      "stdout": "PASS: 6 semantic-adapter groups",
      "scope": "The supplied six source-binding and runtime test groups."
    }
  ]
}