{
  "schema": "marici.public-research-provenance.v1",
  "snapshot_id": "current-results-publication-v1",
  "captured_at": "2026-11-01T19:09:28.257Z",
  "capture_clock": "Host UTC wall clock; not a scientific execution or independently verified calendar date",
  "capture_kind": "File metadata only; no scientific execution",
  "scientific_replay_performed": false,
  "scientific_verdicts_modified": false,
  "receipt_source_compatibility": "not revalidated",
  "transitive_dependency_closure": "not claimed",
  "text_hash_basis": "SHA-256 of UTF-8 text with CRLF/CR normalized to LF; BOM preserved",
  "receipt_hash_basis": "SHA-256 of exact historical receipt bytes; payloads not published",
  "reproduction": "Follow the owning source packet invocation and declared environment/toolchain. Checker source digests identify scripts, not unrecorded runtime/compiler binaries. Recorded compiler metadata is copied from historical receipts, not rechecked.",
  "entries": [
    {
      "slug": "witness-continuation-admission",
      "reported_status": "Reported safe Cubical continuation theorem; exact atomic presentation excluded",
      "boundary": "Source-relative continuation; atomic admission excluded; retained envelope admitted.",
      "source_packets": [
        {
          "path": "research/voevodsky/witness-generator-coherence-v1.md",
          "text_sha256": "57c1de02f055dfd3b6bd0e97749a2f3dd092130f97c35fcf4ca8f937f56f7fdb"
        }
      ],
      "checker_sources": [
        {
          "path": "research/voevodsky/checkers/check_witness_generator_coherence.py",
          "text_sha256": "402b9bc9e92522f3f99994d9378401717b0c48ac74698bcd0df214ed09bcd011"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/voevodsky/results/witness-generator-coherence-v1.json",
          "sha256": "5092b4e741ec7bce49214c5d2ba9a183e9f96209c9d57ef2e20f9394bb986c03",
          "bytes": 578145,
          "recorded_compiler": {
            "executable_sha256": "b16a66137a4c9870e3dfd2d110f1de5027709c492d3638ffa5e6d8c05b2716bf"
          }
        }
      ]
    },
    {
      "slug": "su32-native-record-comparisons",
      "reported_status": "Reported Boolean reader classification; original release and physical signal remain unbound",
      "boundary": "Boolean current-value classification, not original release or physical signal execution.",
      "source_packets": [
        {
          "path": "research/strominger/native-shared-reader-join-v1.md",
          "text_sha256": "edd21c4358e4552ff032dee3a18a71ad0215215b6f4102f67d10e686bb5ba118"
        },
        {
          "path": "research/strominger/su32-record-reader-classification-v1.md",
          "text_sha256": "a514ed9194dee2e548455baf753633785441a16d5630c4b198c5672fc4ced3be"
        },
        {
          "path": "research/strominger/su32-release-source-audit-v1.md",
          "text_sha256": "6a715965390c6066614cc08bf614b8b477e72795607081cdaec8bbdf1c5e4fdf"
        }
      ],
      "checker_sources": [
        {
          "path": "research/strominger/checkers/check_su32_record_reader_classification.py",
          "text_sha256": "5cff2267c813d1b8bc8a22e9c3df11f4006e8f6453c3db670b57c72814f8e696"
        },
        {
          "path": "research/strominger/checkers/check_su32_release_source_audit.mjs",
          "text_sha256": "514979509134bff2e423042487dd802c9cbe8ee637a21005ff0f61107ebe19a5"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/strominger/results/su32-record-reader-classification-v1/verification.json",
          "sha256": "82ea333592a23c4e29967370071b40ffc41cf6d09ce81133e4fb4845e14e0267",
          "bytes": 63163
        },
        {
          "path": "research/strominger/results/su32-release-source-audit-v1/verification.json",
          "sha256": "b9cc23fb3e28918c8d5fb704e1f9f407867c33efe4d7f8ab65bc8d243b5d9b22",
          "bytes": 78849
        }
      ]
    },
    {
      "slug": "ramsey-history-covariant-readers",
      "reported_status": "Reported coefficient theorem and finite live repair; full semantic descent open",
      "boundary": "Coefficient theorem and finite live repair; complete semantic descent remains open.",
      "source_packets": [
        {
          "path": "research/voevodsky/ramsey-covariant-EP-reader-v1.md",
          "text_sha256": "23d82a566b2f00a57f8b76863f76e6613a045b47c41231ea43dd19babe1c1709"
        }
      ],
      "checker_sources": [
        {
          "path": "research/voevodsky/checkers/check_ramsey_covariant_EP_reader.py",
          "text_sha256": "e767b687d389c745ccf13f0938e53b5c4183e21658ca1c80634f99472fce819e"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/voevodsky/results/ramsey-covariant-EP-reader-v1.json",
          "sha256": "c50beea22ee3802a2dea0efdb93c11b887f0a0962a98af29ee5757d4e708ac04",
          "bytes": 613833,
          "recorded_compiler": {
            "executable_sha256": "b16a66137a4c9870e3dfd2d110f1de5027709c492d3638ffa5e6d8c05b2716bf"
          }
        }
      ]
    },
    {
      "slug": "coherent-dependent-four-return",
      "reported_status": "Reported safe Cubical coherent-action construction; native successor not selected",
      "boundary": "Coherent action on a possibly empty dependent return fibre, not a selected native successor.",
      "source_packets": [
        {
          "path": "research/strominger/coherent-four-return-v1.md",
          "text_sha256": "96ea362e5475497ee2acf82d69b82a44b4548da4a32ecf4c93faafd11e0f128b"
        }
      ],
      "checker_sources": [
        {
          "path": "research/strominger/checkers/check_dependent_four_return_agda.ps1",
          "text_sha256": "644416cfb1cb7c65042223ef5a5a3030f1d8210daac04c5eb38c3b27b27862f8"
        },
        {
          "path": "research/strominger/checkers/check_coherent_four_return.mjs",
          "text_sha256": "3a2f092028b90dc69087bfba6b2e895a24d89859ed9fb02186f11bb3e0ec7074"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/strominger/results/coherent-four-return-v1/agda.json",
          "sha256": "a06e2067fd6e1ce1a6b8a76b9ee98c31f48a6801b9e1f4a44c97a9762f90ef48",
          "bytes": 222218,
          "recorded_compiler": {
            "executable_sha256": "b16a66137a4c9870e3dfd2d110f1de5027709c492d3638ffa5e6d8c05b2716bf",
            "version": "Agda version 2.8.0-3d04bac"
          }
        },
        {
          "path": "research/strominger/results/coherent-four-return-v1/verification.json",
          "sha256": "773cdefe8fbe2e3dfbf69bdfa773bce801e7e7cc0080bad44577b3fa103b3bfe",
          "bytes": 2795
        }
      ]
    },
    {
      "slug": "cellulation-order-and-source-roles",
      "reported_status": "Reported local nonconfluence in the weaker model; strict source-role construction blocked",
      "boundary": "Local nonconfluence of the weaker model; global search incomplete; strict role patch blocked.",
      "source_packets": [
        {
          "path": "research/realization-tower/cellulation-shell-order-audit.md",
          "text_sha256": "7cdbadf2ef728b5346dca005eb768d91aadf2f3df211d5c6d56d0a8abdb795b6"
        },
        {
          "path": "research/realization-tower/cellulation-shell-exhaustive-verification.md",
          "text_sha256": "68e34b9213f8e61f188461de5d19e9e577d233f96637a2422c083461ac6fd500"
        },
        {
          "path": "research/strominger/cellulation-dot-422-compatibility.md",
          "text_sha256": "bf246e7526af96dd3c8ad3f7e10ba3f97835768ab507a5b722d1783843725de1"
        }
      ],
      "checker_sources": [
        {
          "path": "scripts/check-cellulation-shell-exhaustive.mjs",
          "text_sha256": "9ffc75f70dc926cc1c23c9f75f095d6062281da7bf9e5fbf8fab053f5bf6b78e"
        },
        {
          "path": "research/strominger/checkers/check_cellulation_dot_compatibility.mjs",
          "text_sha256": "dc2bcf76bf8f65998e78ab134aa2487784090609ebaa5fadbac1089ce9c7f400"
        }
      ],
      "historical_receipts": [
        {
          "path": "test-results/cellulation-shell-exhaustive-report.json",
          "sha256": "5e0936e102464262404d009b1a7aa92d6f1470aa344d61b7ebc3e9b59059f796",
          "bytes": 301050
        },
        {
          "path": "research/strominger/results/cellulation-dot-422-compatibility.json",
          "sha256": "08308df185ef6916893dc59e3623bef4ccd6736499b8f34dcd3efd0df0044439",
          "bytes": 12062
        }
      ]
    },
    {
      "slug": "su32-comparison-content-and-operations",
      "reported_status": "Reported transported-preparation symmetry and finite operation span; static-payload identification excluded",
      "boundary": "Transported preparation, rejected static identification and finite operation span remain distinct.",
      "source_packets": [
        {
          "path": "research/strominger/su32-comparison-license-v1.md",
          "text_sha256": "513457de25b91aabe013675835fe7b05b31863a1fb9a340fb4058649018d1ba4"
        },
        {
          "path": "research/strominger/su32-static-payload-identification-v1.md",
          "text_sha256": "a7d3036d9815408167e7e9d3c7eb55c2acb96c5122e8aa445cf122f80b5bf9ec"
        },
        {
          "path": "research/strominger/su32-boundary-composition-span-v1.md",
          "text_sha256": "9707cc0ec70ba893f123cce91eaf2a893ec779041b261c6e9b4de75984eff323"
        }
      ],
      "checker_sources": [
        {
          "path": "research/strominger/checkers/check_su32_comparison_license.mjs",
          "text_sha256": "f9352c9ad2a2438dd8b04af29bfc71cfa1e2bcfdb9f0e78a94d1120b338a740e"
        },
        {
          "path": "research/strominger/checkers/check_finite_payload_occurs_agda.py",
          "text_sha256": "79b4c6b518077fce2e99cd345a9075acdf43310917782c56415c94d1bff4720d"
        },
        {
          "path": "research/strominger/checkers/check_su32_static_payload_identification.mjs",
          "text_sha256": "59d5ee56166b5788c0ec9edb894a4468317644ebd2de4c8f6bd0b2bbecbfb944"
        },
        {
          "path": "research/strominger/checkers/check_su32_boundary_composition_span.mjs",
          "text_sha256": "8ae089462ae1dcf54cc5686d6dde948bc9de4f0b60db2d3bde8d0d06599cef79"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/strominger/results/su32-comparison-license-v1/verification.json",
          "sha256": "d386595930046fa57c0f709dab86fb8384211331d16a62b1e82f06b4e71b9cac",
          "bytes": 11490
        },
        {
          "path": "research/strominger/results/su32-static-payload-identification-v1/verification.json",
          "sha256": "ab8d707b7895b65118b9371bb8e5f136c9d6f06f37fd1e6a8a3ba85072cf856a",
          "bytes": 268998
        },
        {
          "path": "research/strominger/results/su32-boundary-composition-span-v1/verification.json",
          "sha256": "8da8220a9163f9a97b19361ac2cea8300729cd664013d21b69b1618f50c705f7",
          "bytes": 349385
        }
      ]
    },
    {
      "slug": "analytical-native-two-route-pilot",
      "reported_status": "Reported exact native transport; chosen analytical equality rejected and witness matching blocked",
      "boundary": "Zero native defect, negative chosen analytical residual, absent intended analytical witness.",
      "source_packets": [
        {
          "path": "research/aspect/analytical-two-route-pilot.md",
          "text_sha256": "c0c1580d2778b9b8c7e2a39faf97184c8ff939b2fffec011e8bd2b34864fd2dd"
        }
      ],
      "checker_sources": [
        {
          "path": "research/aspect/checkers/check_analytical_two_route_pilot.py",
          "text_sha256": "ac5223a6591c15424b223a927205eba98f1359751f3035a80e3fefb23173bb6b"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/aspect/results/analytical-two-route-pilot.json",
          "sha256": "74c7072e88d2e50638fb9275fe3a1c25b2cd1514afc8473aded9523721af5920",
          "bytes": 18672
        }
      ]
    },
    {
      "slug": "conditional-optical-control-integration",
      "reported_status": "Reported conditional mathematical assembly; shared integration UNAPPLIED and apparatus gate deferred",
      "boundary": "Conditional statistical model; integration unapplied and empirical apparatus deferred.",
      "source_packets": [
        {
          "path": "research/sontag/owner-integration-delta-v1.md",
          "text_sha256": "a67d2bb0af9786aaa4aafbedb8b13ab0702f775f0491c134878e87cdf0c513c2"
        },
        {
          "path": "research/sontag/conditional-statistical-optical-binding-v1.md",
          "text_sha256": "5e83c86a9150f197a16d9e66a337e834ed573bf4e3fad02c1ab7442c3f43c3f0"
        }
      ],
      "checker_sources": [
        {
          "path": "research/sontag/checkers/check_owner_integration_delta_v1.py",
          "text_sha256": "fe1d92fc0ffa79328f997befe3ae6ec92b51151d8edcd4d525eb7ec92d27835a"
        },
        {
          "path": "research/sontag/checkers/check_optical_binding_assembly_v1.py",
          "text_sha256": "057909498265b83be4a0f5eb1bfb291a5ef0f01cc43d02677283ae5cda116f3c"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/sontag/results/owner-integration-delta-v1.json",
          "sha256": "f4f4cf32bcf1cf6ff8beacfa2136e35b149939bfd1ab3bdd6112193e61633166",
          "bytes": 15945
        },
        {
          "path": "research/sontag/results/optical-binding-assembly-v1.json",
          "sha256": "046ebc44b665f8cee81054ffa65b4c901655940d601bff2ae7515736ce0f3e35",
          "bytes": 4034
        }
      ]
    },
    {
      "slug": "local-contour-covariance-closure",
      "reported_status": "Reported ten-checker local construction closure; selected physical contour and global gates open",
      "boundary": "Local construction closure, not source-selected physical contour or global completion.",
      "source_packets": [
        {
          "path": "research/benincasa/history6-current-closure-2026-10-13.md",
          "text_sha256": "c14de58c504e4e7aeee2a8fb857d13edb6c585e4cd9fbf44fe5fcd7c93ff0007"
        }
      ],
      "checker_sources": [
        {
          "path": "research/benincasa/checkers/check_history6_current_closure.py",
          "text_sha256": "db14571d7e44c3850a13eb4790e01a3704c6e1f41d85c1d1bd793d99b4553749"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/benincasa/results/history6_current_closure.json",
          "sha256": "fc0030d479ee7ebd6641c1a26c14937c24fe4e97a6c9484fc185919f1a97fa28",
          "bytes": 13278
        }
      ]
    },
    {
      "slug": "atom-retained-source-transport",
      "reported_status": "Reported executable chart/history transport; physical gauge identification and ancestor maps remain open",
      "boundary": "Actual chart/history transport; unrestricted coefficient skeleton is not physical gauge selection.",
      "source_packets": [
        {
          "path": "research/kitaev/atom-transport-as-a-retained-source-route-v1.md",
          "text_sha256": "89510704be9a93b32dd9a212ce802d96619abd87aa1d10d79b31d175c0945ba8"
        }
      ],
      "checker_sources": [
        {
          "path": "research/kitaev/checkers/check_atom_retained_transport_ancestry.mjs",
          "text_sha256": "72ae51b8b050115a266a0bf2c18bbf2fe7454818f47b7139e0b4e5251f1293ed"
        }
      ],
      "historical_receipts": [
        {
          "path": "research/kitaev/results/atom-retained-transport-ancestry-v1.json",
          "sha256": "787fb3a54a6e67837889b865734c61ded46e50238b387a9e10aa6cb3d738f446",
          "bytes": 3319
        }
      ]
    }
  ]
}