Research: Source-complete native leaves

research/current-coded-all-source-leaf/FINAL-CHECKS.json

@@ -0,0 +1,68 @@
+{
+  "canonical_base": "7c49fe32c55de02c2c873655c804b16e4c3fef0a",
+  "lead_review": {
+    "independent_derivative_cases": 33296,
+    "independent_fraction_C_conjugations": 32,
+    "proof_and_runtime": "no blocker found",
+    "qualification": "Separate code-assisted AI arithmetic checks, shared source context; not human-independent or proof-kernel admission."
+  },
+  "metadata_and_pins": "PASS_PACKAGE_METADATA_AND_PINS",
+  "publication_checks": "Final commit bytes/modes, additions-only tree, export and remote tree are recorded separately by the publishing orchestrator.",
+  "python_version": "3.12.14",
+  "registered_replay": {
+    "command": [
+      "/opt/codex/runtimes/codex-primary-runtime/dependencies/python/bin/python",
+      "-B",
+      "scripts/research_package.py",
+      "--package",
+      "research/current-coded-all-source-leaf"
+    ],
+    "commands": 6,
+    "declared_total_seconds": 1200,
+    "elapsed_seconds": 578.66,
+    "exit_code": 0,
+    "log": "REPLAY.log",
+    "log_sha256": "5f63e810f718c91b12d14411cb866fc952e8abddb6559fa244920a449c98b168",
+    "normal_and_optimized": true,
+    "outer_cap_seconds": 1260
+  },
+  "schema_version": 1,
+  "scope": {
+    "full_generic_MOVE_physical_trace": false,
+    "no_new_kappa": true,
+    "numeric_space_receipts": "materialized extents, not exact visited space",
+    "source_family_finite": true,
+    "universal_f_argument": "PROOF.md coordinate/tensor and literal header induction, relative to explicitly retained provider premises"
+  },
+  "separate_rank_eight": {
+    "cap_seconds": 580,
+    "completed": true,
+    "elapsed_seconds": 255.269,
+    "physical_actions": 1501302941,
+    "reexecuted_by_registered_gates": false
+  },
+  "source_files_sha256": {
+    "all_leaf_sources.py": "85dc8ee85b3a9f4974ce72121e78a205d72d09e04675ea35fa48cd01fad545fa",
+    "check_catalog.py": "ae376fc4f7f867ca7e8849bb3d96daa5240bf4eb08f4fd640f573f73de67a5f8",
+    "check_child.py": "189227a45ab15c46035ad107f35cc9af46e63297212b3b2804ca5ed35a4348b3",
+    "check_receipts.py": "88ba221a0c4c8add5674601af356d5f02ef74b520db5fdc241bf97b5ada10944",
+    "check_view.py": "3647116b31456d15e6feb472f493ea189fee6850513a466da7cf1a21b3c69cd9",
+    "clifford_certificate.py": "c9a8ae71e428439c964c83886b2d6eb3509402e04c572a002ff9d795fb0cb90e",
+    "leaf_view.py": "22767f9311e360b795a20c961f537d888620f6dc7a79390094c61928e79cec64",
+    "selected_leaf.py": "e287d49bedf0b8f30e03a5ced8a92b22bed7d4f7b6260a86be00d43488c5b97f",
+    "source_catalog.py": "e8f3fa73a7af50b395d1fc4fdddb53c059ece3430cd5ff1fa2aaf66c41974df6",
+    "verify_child.py": "b1aa63a06ceae0ab273e0382a5d1b8f9fed5bb7ce19b1662bfc6f25e69864784",
+    "verify_interface.py": "025712c25a9317c408743da9217e8d1368c069d85486fc5674c7e2e26978d3a8"
+  },
+  "tested_receipts_sha256": {
+    "CATALOG-RESULT.json": "9a2be014a0374f213a4eed706d14e1861af5cc845c9e1609bc22dcf5ad6ceab2",
+    "INTERFACE-RESULT.json": "d554f93542a2596358d76dff4af16ccdaf905f2499625e84611106698799456c",
+    "receipts/rank2-cutoff.json": "e726bf1f442968eb3bff046ed5f76d349b5233c17da98ca44d6dc7be7c128c9c",
+    "receipts/rank2-parity-execution.json": "2c3e12ff5c785ea540819671b0d5e0d2586d306e45e5d9c16dc17d7396160335",
+    "receipts/rank2-parity.json": "27965ec63c04e8b79ca7192c2188b5c3516ef5cf52367b4c39f46d91b87ed9ca",
+    "receipts/rank2-success-execution.json": "bedafc37ecd1f3682199dd59b391a79a9d5d422fec0ff12ffcad8c00c9dd0abc",
+    "receipts/rank2-success.json": "09ec620d7037f149c177fd590677c3aa374218939962b588cb2b9e5ead206adc",
+    "receipts/rank8-success-execution.json": "76af2846ed3ec1f8d6ba70a219aa6a09b08b798f125990a8342e66ce612ca873",
+    "receipts/rank8-success.json": "64042967383d3fc3e7bd9dee2b0f73f51990275aa304641df3f76eed6583e27f"
+  }
+}