research-notes-20261011.json

{
  "status": "All listed checks passed; research and verification integration; no new kappa",
  "timestamp_utc": "2026-10-12T01:36:29.985683+00:00",
  "base_main": "12a4934d15006e8c10f9b2264f13f8f341be802b",
  "tested_integration_parent": "e966b7475eff0f4debb26369508810e4f4365412",
  "environment": {
    "system": "macOS-26.6.2-arm64-arm-64bit-Mach-O",
    "python": "3.14.6",
    "linux_replay": false,
    "new_lean_build": false
  },
  "prs": [
    {
      "number": 190,
      "author": "romainhedouin",
      "source_head": "f8c431499bf669e3307bc2080420533037e3ff34",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 209,
      "author": "jacobalansussman",
      "source_head": "a7aeea067ec1e2b7e91b0ecec660512b7cafca26",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 218,
      "author": "GamingPuzzled",
      "source_head": "82550f298ecff75dd1f1138589e210633118cc7f",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 220,
      "author": "maxime-fleury",
      "source_head": "24e51c7f0b20f92abb63f356a385b3cc43bb5fb0",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 222,
      "author": "romainhedouin",
      "source_head": "e8001f49efcf62fc33dc94a55dc88aa5feb65030",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 231,
      "author": "GamingPuzzled",
      "source_head": "3c11e696a2fb2c454585d72710de27cd6bd3be68",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 239,
      "author": "RichardHoekstra",
      "source_head": "fd687eecd781631bc38ae8b03a83d00c13f05aa7",
      "scope": "historically reviewed; integrated with maintainer clarifications"
    },
    {
      "number": 468,
      "author": "aliromman",
      "source_head": "07a78bf335b0b5039a1fecd7cd74a0fe1d1605ea",
      "scope": "scoped source review and complete supplied finite replay"
    },
    {
      "number": 477,
      "author": "rohanarun",
      "source_head": "a5b588d7f16be383ec80e6c5adaa1a75049cb758",
      "scope": "archive integrity and navigation only; historical mathematical reports not endorsed"
    },
    {
      "number": 524,
      "author": "chafreaky",
      "source_head": "9161fb1ff1c71bd8255e32d57ab5164aa8109376",
      "scope": "scoped source review and complete supplied finite replay"
    }
  ],
  "queue_snapshot": {
    "open": 457,
    "drafts": 77,
    "path": "docs/research/pr-queue-20261011.json"
  },
  "checks": [
    {
      "command": "python3 -B research/bit-three-register-lower-bound/replay.py --work-dir /tmp/integer-mult-pr468-replay",
      "result": "PASS: both engines agree on every one of 2276 families, 21317520 orders, 415398 diagonal terminals, zero survivors; positive and negative controls pass"
    },
    {
      "command": "python3 -B research/graded-box-convolution/verify.py /tmp/integer-mult-pr524-check",
      "result": "PASS: 2040 integer products, 37205 carry identities, 28799 invalid aliases rejected, eight weighted fixtures and five arithmetic mutants"
    },
    {
      "command": "python3 -B research/experiment-log/validate.py",
      "result": "PASS: complete archive manifest, original 100 idea IDs, original 300 trial IDs, local links. Historical mathematics not independently replayed."
    },
    {
      "command": "python3 -B -m unittest discover -s tests -p test_rational_span_frames.py",
      "result": "PASS: four tests"
    },
    {
      "command": "python3 -B research/hypercube-decoder-parity/check.py",
      "result": "PASS: k=3,4,5,6 have 2,0,8,16 decoders in the stated family"
    },
    {
      "command": "python3 -B research/paired-cube-bit-fast/verify.py --against-main",
      "result": "PASS: 10/10 comparisons with pinned PR181 base word and independent checker; five mutation controls rejected. This does not regenerate the distinct frozen physical layer."
    },
    {
      "command": "make joint-dual-verify",
      "result": "PASS: complete affected historical calculation and 16 tests"
    },
    {
      "command": "VERIFY_JOBS=4 make verify-recycled-bit",
      "result": "PASS: 4878 new frame pairs and all inherited pairs, complete arbitrary-input scalar maps, negative controls, historical assembly and three tests"
    },
    {
      "command": "python3 -B research/gzip-container-reproducibility/gzip_hash_audit.py research",
      "result": "PASS execution only: heuristic inventory, not a proof of artifact portability"
    },
    {
      "command": "python3 -B scripts/verify_selected_result.py",
      "result": "PASS: selected exact kappa, original source inventory and proof supplement; selected certificate unchanged"
    }
  ],
  "selected_record_sha256": "df836c6d34509e980d067bd5678489c968bc6e329af9dd82c6207abf6443da89",
  "maintainer_changes": [
    "Link research notes and add contributor credits",
    "Correct stale current-status and contribution-review pointers",
    "Correct only the inverse-Gram sign in PR222 explanatory text; implementation unchanged"
  ],
  "evidence_sha256": {
    "research/community-notes-20261011-audit/gzip-scan.log.txt": "5ddedbb2cf5ee96ee49b4dae8037f78b23ebd5abebcc6810d39f3689a18721ef",
    "research/community-notes-20261011-audit/joint-dual.log.txt": "cd1d38c785ff38300e951ab90d336ccb7bbf2a7d320eecb5be7c16c94e2f49f8",
    "research/community-notes-20261011-audit/pr468-f101-results.jsonl.gz": "a2139befe9bc965fcdc8d6f46fb0afe655e74af53d556978dd0d7db3bb9ed487",
    "research/community-notes-20261011-audit/pr468-rational-results.jsonl.gz": "218c4874d5556b3792649cf4f700417c09c998bc2348515a8e1c56fa5dce6663",
    "research/community-notes-20261011-audit/pr468-replay.json": "888a1534ed6ddbc0b596f33e5649cc2eeaad4acf5fa4b505083e6cddc899c7a8",
    "research/community-notes-20261011-audit/pr524-CHECKS.json": "1dc18826e2154ba31f1739448807fcf618dce236996ae8a9b9f6e89b3d905e9d",
    "research/community-notes-20261011-audit/pr524-RECEIPT.json": "511b268b9f9db321f8a9eb3ae46a76fe8703eee7b9fb74376ea5123d0660edd7",
    "research/community-notes-20261011-audit/pr524-RESULT.json": "3a7f92141ace1985d12da8cb4f2033a5a294e51fa43d390fe60eecaa2471216a",
    "research/community-notes-20261011-audit/recycled-bit.log.txt": "bc2c5d01952d903060de2c2261b7c171b4c65dea59b01482bc6d00a7d2d2fc9d"
  },
  "limits": [
    "No claim to audit all open PRs",
    "No stronger selected multiplication bound",
    "No new Linux or complete Lean reproduction",
    "Research inclusion does not certify every historical experiment claim"
  ],
  "publication": {
    "main_first_publish": "16fc034",
    "directly_merged_prs": [
      468,
      477,
      524
    ],
    "cherry_picked_prs_closed_after_head_check": [
      190,
      209,
      218,
      220,
      222,
      231,
      239
    ],
    "note": "Source heads matched the review snapshot; closure records incorporation, not rejection."
  }
}