{
  "schema": "https://arbace.org/schema/correctness-receipt-v3",
  "release": "Wave 19",
  "date": "2026-08-15",
  "status": "PASS",
  "claim": "The frozen Wave 19 source, compiler/runtime build, test suites, ten PGO artifacts, and listed finite release gates passed.",
  "boundary": "This receipt authenticates finite tests and exact artifacts. It is not a proof for arbitrary Clojure programs, inputs, machines, or future runtime state.",
  "build": {
    "receipt": {
      "path": "/evidence/wave19-build-receipt.json",
      "sha256": "e56cf283e1991416beef578efc3fa4a4a7b2e7580d82f117d0a459ba1ecad10d"
    },
    "sourceInventory": {
      "path": "/evidence/wave19-source-tree-inventory.json",
      "sha256": "352b54753ba99b8b69029fa62b34c1f1afa517d39af15fc09ec341f834332ea3"
    },
    "toolchain": {
      "path": "/evidence/wave19-toolchain.json",
      "sha256": "d8d8b02966b35d09a73419ba85e1a033ef1f66d6f6bbcd721db1f0545c32777e"
    },
    "compilerSha256": "91f8e24bf52f188d2de40c35c0af0753bcd78bc13ff78c4dad97be7beacc4763",
    "runtimeSha256": "a9beb7e4c40c28cb8fb749de97334fc1ee0ce88b79e0cfff5f4a7aac524efb4f",
    "fullImageIrSha256": "31c5e56f6e4ffc96859b5e1c58d8b3b00aba20e44cd13b343e2211f584aee896",
    "sourceFiles": 40
  },
  "tests": {
    "compiler": {
      "command": "CARGO_INCREMENTAL=0 CARGO_BUILD_JOBS=4 CARGO_TARGET_DIR=/dev/shm/arbace-wave19-arbnc-tests-final cargo test -p arbnc --tests -q",
      "log": {
        "path": "/evidence/wave19-arbnc-tests.log",
        "sha256": "75e674d574a5f10f81a467f04dc37fa1bdff49f86687ca552b26b7737460b033"
      },
      "passed": 294,
      "failed": 0,
      "breakdown": {
        "unit": 243,
        "contractIntegration": 14,
        "nativeIntegration": 37
      }
    },
    "runtime": {
      "command": "CARGO_INCREMENTAL=0 CARGO_BUILD_JOBS=4 CARGO_TARGET_DIR=/dev/shm/arbace-wave19-arbrt-tests-final cargo test -p arbrt --lib -q",
      "log": {
        "path": "/evidence/wave19-arbrt-tests.log",
        "sha256": "fb3d3e72705ae0679854ef1d49593579a9d861960b43f6e5e2b0105094bc73e1"
      },
      "passed": 210,
      "failed": 0
    }
  },
  "canonicalArtifacts": {
    "expected": 10,
    "passed": 10,
    "records": [
      {
        "workload": "numeric-kernels",
        "binarySha256": "1b8eee38f0e93da616bd78c89773f452420d24648b07a6664b277d17e019e516",
        "activationGateSha256": "02e529b8881b719b667a1f9e4a4e92a404f2dbff771f6c5f0ee47819d4a1ba1d",
        "verificationGateSha256": "fcc862d84d0b0ee9cc74b516bf0a08c6e95831665e375e58780e85a01246bbf3",
        "artifactTreeSha256": "c0dd747ccc8c753dee460ceaefbc8242ecc654ec0f146640c49f087fe187427d"
      },
      {
        "workload": "string-processing",
        "binarySha256": "47d9c55a0409f648ab6b6319e721d53938900271cce764b5494b3880e16035e9",
        "activationGateSha256": "5456f410792046356bf2bb37f55ea505402366d3daf14cf8256ba5b74be94096",
        "verificationGateSha256": "d7562900b6a1440a06ab8fb394c2bbda76b61a6757d3c1604f7703b9e30c78ed",
        "artifactTreeSha256": "8d78838bf59c23456af6f17c2ac14733e30b1ade34ad616c1457c12bbec2a7a2"
      },
      {
        "workload": "vector-invoke",
        "binarySha256": "52f4cfb15745afa7a906e76a74409272049b7576cd0d82d0e16b09aefb997b43",
        "activationGateSha256": "09c13b2801433895d7facd1e910dbf73e22ca810b7461ea2d290d2eb4a8ed110",
        "verificationGateSha256": "500affabf6f05395c9e30c8a690185d040473c429c27bfac95adba1f8f0a1ac3",
        "artifactTreeSha256": "1342d60516a5b336265f690f22108729f4c745a3e17827e7c3413422c51621be"
      },
      {
        "workload": "immutable-collections",
        "binarySha256": "9c94aee96c0317e8e3de8259464e67bce043d9c616b2ed61100e02731d8f3d82",
        "activationGateSha256": "9cbcefa8b299e63f88e68fc461b97bee7bd55566b7580095cc1094cde6e424ba",
        "verificationGateSha256": "afb087820175baf100bfb472abee0239de3e677a8911fb81a1c00cb0e54ad15b",
        "artifactTreeSha256": "cf7288a7058ae2ae60560570cdf45238f8d6a2e2febed64b0b994c5dc167cf53"
      },
      {
        "workload": "transducers-vector",
        "binarySha256": "7bd3c73c0bedfd972611e7c860f1dd638605e83c970ec4ee783832e564becffd",
        "activationGateSha256": "59c5c0862ba629b0e09eb72cf037d47fef71de7694ddfb7c517ff24b219faf9d",
        "verificationGateSha256": "38fb8ba725ecb2af26f039bcc48a2447b859c43ab031e2fa6472bd959e4a766f",
        "artifactTreeSha256": "1ec9ea379f6b9791328cfe88cf5c8330680f305067b6933685b426e86afed373"
      },
      {
        "workload": "transducers-range",
        "binarySha256": "f8209cfa547b485516ab92983be057149cfaaa6b774060cab2addd97f8f54b9c",
        "activationGateSha256": "44524ac55f75c7e4bd494f03046d69b553cc591f09f9028586edc15ceea8e05e",
        "verificationGateSha256": "5821f0001094754d0b5ceeddf173a2f53b231145294f7453b7fe0fc9ee4a7918",
        "artifactTreeSha256": "a4f43d2fdb5b88aeac77774d959d581fda0a5ce4e414aa3dd23579ccdb4fab15"
      },
      {
        "workload": "priority-map",
        "binarySha256": "8dacbc15f3029effe180100baa61b8470e6b63a006a4f3947e77520836855983",
        "activationGateSha256": "f73794d677f6d6e9a121f24de3ab24eb2e009b93cebd7dd5be4aaae9419d38ce",
        "verificationGateSha256": "e09e4603309c7746bdfca00643c8bd8037ef777c7b80947444e33183f7b13d7b",
        "artifactTreeSha256": "b2e283bb0ffebaa80ff78343c44c16122ff790eaf140bc27cdc9370c902d40f9"
      },
      {
        "workload": "zebra",
        "binarySha256": "02ad0903f690a980ff0eb2d103980ba33a946ce0d169b3d1adac61a0c476b3b2",
        "activationGateSha256": "cd1699036091c87bda99a745d44e0ca03aa2e828b006360c0c4e10eac10ec838",
        "verificationGateSha256": "abf15931fe0644067d6e666e423f7c430fccef73567504b315d493e8d8459919",
        "artifactTreeSha256": "3ce00f6ebb4d6c9d24c3402c4ba3c02377d17ddbb68b9738f466714130c73a09"
      },
      {
        "workload": "combinatorics-0.1.1",
        "binarySha256": "0afdb3d7bbec1ebc5088190c42b86a11aff301f32823bde20914d81e6b9ff8d6",
        "activationGateSha256": "d37ef20f2b69234ef2523cf67e18ab66c29620b05fefcade45f6c78028cb8249",
        "verificationGateSha256": "dd1f3f72818c8fa6664e98d4e40871fd66210a9b7c3065ffbf85f37d04d580d3",
        "artifactTreeSha256": "e0654d1ae9891c30e1d6535a4b03a4344d315abe87b157d3336453533974b37e"
      },
      {
        "workload": "combinatorics-0.3.0",
        "binarySha256": "ea7c91be488b6b434152006a2ac15498317fe6656e51469fe17d2effcb0f73ee",
        "activationGateSha256": "719de3d42ddf2f8d1502d3fc42aad07ac10eab0d29001bf02781144c5d3ece9b",
        "verificationGateSha256": "ca7ab8882415a9b4a4b3904777e6aa15826476bd292230008075ebc7805b2a09",
        "artifactTreeSha256": "fd9ad9f7a1095bfffadb262eece86b18eadb4ab74b9b3dc31f02311c2fb064ab"
      }
    ]
  },
  "benchmark": {
    "result": {
      "path": "/evidence/compare-wave19-all10.json",
      "sha256": "fa0d5cf85e9a55c1b8331edd7e33175f8e0f46d9db87fb0084c34e7caf501bbe"
    },
    "hostLoad": {
      "path": "/evidence/loadavg-wave19-all10.log",
      "sha256": "53ad452dd7d2ecd8fd11dd0731e8a037a171900b92d8811c2bbecba0d19da0bc"
    },
    "repetitions": 5,
    "samplesPerProcess": 12,
    "totalHotSamplesPerEngine": 600,
    "checksumGated": true,
    "maximumNativeHotSampleAllocationBytes": 0
  },
  "inc101": {
    "status": "CONFIRMED",
    "causalResult": {
      "path": "/evidence/transducer-static-result-inc101-causal.json",
      "sha256": "a8892c83d616c92e7d30dc2dd438d1e316faa87823d50a92b13ea345ff3b3d21"
    },
    "pairs": 6,
    "medianWins": 6,
    "meanWins": 6,
    "twoSidedSignP": "1/32",
    "medianGeomean": 249.93835430735652,
    "meanGeomean": 254.10052173522342,
    "scope": "The INC101 causal result compares exact OFF and ON transducers-vector artifacts in six fresh process pairs; the Wave 19 table separately measures the shipping PGO artifact."
  }
}