Mister-Meeseeks · Oct 22, 2026 · Oct 22, 2026 · Oct 22, 2026 · Oct 22, 2026 · Oct 22, 2026
diff --git a/docs/research/pr-intake-decisions.json b/docs/research/pr-intake-decisions.json
@@ -57514,6 +57514,48 @@
         "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4507",
         "merge_commit": "b1857553b7ea74493b01080c67842e2b4a0dfea0"
       }
+    },
+    {
+      "number": 4633,
+      "metadata": {
+        "author": {
+          "id": "MDQ6VXNlcjg4MjYxNTE2",
+          "is_bot": false,
+          "login": "DaysSky",
+          "name": ""
+        },
+        "headRefOid": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+        "isDraft": false,
+        "number": 4633,
+        "title": "Conditional \u03ba = 0.012401086416 (BIT-limited, +310.6%): BIT supplier to 0.012401086416 via the ambient quotient (kernel 150)"
+      },
+      "reviewed_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+      "current_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+      "disposition": "partially_reviewed",
+      "github_state": "CLOSED",
+      "integration_location": [],
+      "unresolved_question": "Revision required: rational-kernel realization and physical main-port controller fail; the verifier accepts zero MOVE charges and empty frame bases. Raw numerical crossings also lack ordinary BIT/outer admission. See the exact-head audit, including full submitted scans.",
+      "closure": {
+        "kind": "closed_unmerged_observed",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4633",
+        "closed_at": "2026-10-22T13:41:17Z",
+        "merged": false,
+        "scope": "Observed during audit; this agent did not close the PR and does not infer the reason."
+      },
+      "scope": "User-assigned full audited replay of both submitted packages and the nine-file update. Passing executions are preserved; scoped negative findings are not supplier or theorem acceptance. Proposed ledger entry only; the reviewed PR closed unmerged before audit publication.",
+      "review_completion": {
+        "changed_file_coverage": true,
+        "scoped_mechanism_review": true,
+        "required_execution_complete": true,
+        "published": true
+      },
+      "verification_evidence": [
+        "research/pr4633-quotient-contract-audit/README.md",
+        "research/pr4633-quotient-contract-audit/REPLAY.json",
+        "research/pr4633-quotient-contract-audit/EXPECTED.json",
+        "research/pr4633-quotient-contract-audit/EXPECTED-LATEST.json",
+        "https://github.com/CrocSwap/integer-mult-bounds/pull/4636"
+      ]
     }
   ]
 }
diff --git a/docs/research/pr-ledger.json b/docs/research/pr-ledger.json
@@ -3,7 +3,7 @@
   "snapshot": "research/pr-reconciliation-20261012/starting-snapshot.json",
   "starting_main": "f19cb621be2caf3a7291a37c343c1c55afe935e0",
   "starting_open_count": 446,
-  "inventory_count": 3926,
+  "inventory_count": 3927,
   "family_round": "docs/research/pr-intake-decisions.json",
   "family_rounds": [
     "research/community-family533-audit/DISPOSITIONS.json",
@@ -56,7 +56,7 @@
   ],
   "counts": {
     "incorporated": 2089,
-    "partially_reviewed": 1775,
+    "partially_reviewed": 1776,
     "superseded": 2,
     "unreviewed": 60
   },
@@ -123,7 +123,7 @@
     "research/community-efficient2400-audit/DISPOSITIONS.json": "2602f88f4a333ade0b654645a3126fcde85f16c41f25f36a397f8c760f8acf4c",
     "research/community-efficient2500-audit/DISPOSITIONS.json": "23d12152b20bd788c5fb1e1935543185dc3772634cf26efbfad88f6d78ed6e15",
     "research/community-efficient2600-audit/DISPOSITIONS.json": "d7816f0e79c421d750d691cb1edfc4646accae0a47dc817fb32409745795765c",
-    "docs/research/pr-intake-decisions.json": "d357fca16133cad4e3e5ab629556d804f648fe0cfed143b6a8dade6275fdf7eb",
+    "docs/research/pr-intake-decisions.json": "76e5b7738292ee011ab88bf274e09380ea95d29d8e177280a91f98ad12a39417",
     "research/community-batch970-audit/COMPANION-REVIEWS.json": "6510eb71b37cd3c0842999011ff84408c58493b7c8451a24082f526c6c18e7ec",
     "research/community-efficient300-audit/PARENT-EVIDENCE.json": "8d9e28ec3ece26b91ef5a297092697c341652853164477a4961c992151cec353",
     "research/pr116-evidence-reconciliation/PARENT-EVIDENCE.json": "62a666dac3e67ba8d388820c92e0cd4495657a20b6eae280a5367af8e89d769c",
@@ -218813,6 +218813,63 @@
       "reconciliation_evidence": [
         "docs/research/pr-intake-decisions.json"
       ]
+    },
+    {
+      "number": 4633,
+      "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4633",
+      "title": "Conditional κ = 0.012401086416 (BIT-limited, +310.6%): BIT supplier to 0.012401086416 via the ambient quotient (kernel 150)",
+      "contributor": {
+        "id": "MDQ6VXNlcjg4MjYxNTE2",
+        "is_bot": false,
+        "login": "DaysSky",
+        "name": ""
+      },
+      "draft": false,
+      "starting_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+      "previously_reviewed_heads": [
+        "b2998bacd50d57c301fe67c5392054440c42398c"
+      ],
+      "historical_assessment_heads": [],
+      "historical_mentions": [],
+      "evidence": [
+        {
+          "head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+          "evidence": "docs/research/pr-intake-decisions.json",
+          "scope": "User-assigned full audited replay of both submitted packages and the nine-file update. Passing executions are preserved; scoped negative findings are not supplier or theorem acceptance. Proposed ledger entry only; the reviewed PR closed unmerged before audit publication.",
+          "kind": "integration_or_partial_review"
+        }
+      ],
+      "reviewed_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+      "current_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+      "disposition": "partially_reviewed",
+      "github_state": "CLOSED",
+      "integration_location": [],
+      "unresolved_question": "Revision required: rational-kernel realization and physical main-port controller fail; the verifier accepts zero MOVE charges and empty frame bases. Raw numerical crossings also lack ordinary BIT/outer admission. See the exact-head audit, including full submitted scans.",
+      "closure": {
+        "kind": "closed_unmerged_observed",
+        "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4633",
+        "closed_at": "2026-10-22T13:41:17Z",
+        "merged": false,
+        "scope": "Observed during audit; this agent did not close the PR and does not infer the reason."
+      },
+      "review_completion": {
+        "changed_file_coverage": true,
+        "scoped_mechanism_review": true,
+        "required_execution_complete": true,
+        "published": true
+      },
+      "verification_evidence": [
+        "research/pr4633-quotient-contract-audit/README.md",
+        "research/pr4633-quotient-contract-audit/REPLAY.json",
+        "research/pr4633-quotient-contract-audit/EXPECTED.json",
+        "research/pr4633-quotient-contract-audit/EXPECTED-LATEST.json",
+        "https://github.com/CrocSwap/integer-mult-bounds/pull/4636"
+      ],
+      "current_head_observed_in": "docs/research/pr-intake-decisions.json",
+      "reconciliation_evidence": [
+        "research/pr4633-quotient-contract-audit/README.md",
+        "research/pr4633-quotient-contract-audit/REPLAY.json"
+      ]
     }
   ],
   "ending_snapshot": "research/pr-reconciliation-20261012/ending-snapshot.json",

diff --git a/docs/research/pr-ledger.md b/docs/research/pr-ledger.md
@@ -1,6 +1,6 @@
 # PR review and integration ledger
 
-The immutable starting snapshot contains **446 PRs**. Explicit later family rounds extend the current inventory to **3926**; unrelated arrivals remain outside the round.
+The immutable starting snapshot contains **446 PRs**. Explicit later family rounds extend the current inventory to **3927**; unrelated arrivals remain outside the round.
 
 [Machine-readable ledger](pr-ledger.json) · [Starting snapshot](../../research/pr-reconciliation-20261012/starting-snapshot.json)
 
@@ -9,7 +9,7 @@ The ledger separates historical review from integration. A prior snapshot or a m
 | Disposition | Count |
 |---|---:|
 | incorporated | 2089 |
-| partially reviewed | 1775 |
+| partially reviewed | 1776 |
 | superseded | 2 |
 | unreviewed | 60 |
 
@@ -3969,3 +3969,4 @@ Each evidence link leads to the original scoped assessment. The JSON records exa
 | [#4505](https://github.com/CrocSwap/integer-mult-bounds/pull/4505) | Dugongue | partially reviewed | [record 1](../../docs/research/pr-intake-decisions.json) |
 | [#4506](https://github.com/CrocSwap/integer-mult-bounds/pull/4506) | jwr404 | partially reviewed | [record 1](../../docs/research/pr-intake-decisions.json) |
 | [#4507](https://github.com/CrocSwap/integer-mult-bounds/pull/4507) | mihir-s-05 | partially reviewed | [record 1](../../docs/research/pr-intake-decisions.json) |
+| [#4633](https://github.com/CrocSwap/integer-mult-bounds/pull/4633) | DaysSky | partially reviewed | [record 1](../../docs/research/pr-intake-decisions.json) · [record 2](../../research/pr4633-quotient-contract-audit/README.md) · [record 3](../../research/pr4633-quotient-contract-audit/REPLAY.json) |
diff --git a/research/pr4633-quotient-contract-audit/CLOSURE-OBSERVATION.json b/research/pr4633-quotient-contract-audit/CLOSURE-OBSERVATION.json
@@ -0,0 +1,8 @@
+{
+  "head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+  "state": "closed",
+  "merged": false,
+  "closed_at": "2026-10-22T13:41:17Z",
+  "url": "https://github.com/CrocSwap/integer-mult-bounds/pull/4633",
+  "scope": "Observed GitHub state; this audit did not close the PR; closure reason not inferred."
+}
diff --git a/research/pr4633-quotient-contract-audit/EXPECTED-LATEST.json b/research/pr4633-quotient-contract-audit/EXPECTED-LATEST.json
@@ -0,0 +1,116 @@
+{
+  "all_empty_frame_bases_accepted": true,
+  "erased_rational_ports": [
+    8,
+    9,
+    10,
+    11,
+    12,
+    13,
+    46,
+    47,
+    48,
+    49,
+    50,
+    51,
+    52,
+    53,
+    54,
+    55,
+    56,
+    57,
+    58,
+    59,
+    60,
+    61,
+    62,
+    63,
+    64,
+    65,
+    66,
+    67,
+    68,
+    69,
+    70,
+    71,
+    72,
+    103,
+    104,
+    105,
+    106,
+    107,
+    108,
+    109,
+    110
+  ],
+  "erased_rational_span_rank": 8,
+  "free_move_mutation": {
+    "author_accepts": true,
+    "changed_records": 2184,
+    "reported_kappa": 0.25
+  },
+  "port_transport_width_pairs": {
+    "(7, 4)": 62,
+    "(7, 8)": 8,
+    "(8, 4)": 41
+  },
+  "positive_control": {
+    "ambient_dim": 8,
+    "directions_agree": true,
+    "emitted_kappa": 0.003464248972023964,
+    "emitted_paid": {
+      "1": 1323,
+      "2": 1342,
+      "3": 79,
+      "4": 44,
+      "5": 102,
+      "6": 11,
+      "7": 19
+    },
+    "emitted_paid_mass": 5129,
+    "emitted_surplus": 753,
+    "endpoint_failures": 0,
+    "frames": 65,
+    "gain_absolute": 0.02878517442286887,
+    "gain_relative": 8.309210641419726,
+    "helper_widths": {
+      "8": 439
+    },
+    "kernel_basis": [
+      150,
+      102,
+      255
+    ],
+    "kernel_dimension": 3,
+    "local_checks": {
+      "adds": 24305,
+      "copies": 9
+    },
+    "main_rank_mass": 1294,
+    "main_widths": {
+      "4": 103,
+      "7": 70,
+      "8": 49
+    },
+    "package": "bit-ambient-quotient",
+    "quotient_kappa": 0.03224942339489283,
+    "quotient_paid": {
+      "1": 1020,
+      "2": 495,
+      "3": 75,
+      "4": 442,
+      "5": 143,
+      "6": 4,
+      "7": 12,
+      "8": 2
+    },
+    "quotient_paid_mass": 4842,
+    "quotient_surplus": 5919,
+    "roles": 661,
+    "status": "PASS_BIT_AMBIENT_QUOTIENT"
+  },
+  "quotient_reconstructed_by_cosets": true,
+  "reviewed_head": "b390d64abfcdba1a3816b86fc763cbc95d43c12c",
+  "scope": "Counterexamples survive the three-dimensional update; no supplier or kappa claim.",
+  "status": "PASS_PR4633_LATEST_AUDIT_COUNTEREXAMPLES"
+}
diff --git a/research/pr4633-quotient-contract-audit/EXPECTED.json b/research/pr4633-quotient-contract-audit/EXPECTED.json
@@ -0,0 +1,104 @@
+{
+  "all_source_dimensions_preserved_mod2": true,
+  "binary_reductions_distinct": 157,
+  "broken_frame_entrance_rejected": true,
+  "erased_rational_ports": [
+    8,
+    9,
+    10,
+    11,
+    12,
+    13
+  ],
+  "erased_rational_span_rank": 4,
+  "free_move_mutation": {
+    "author_accepts": true,
+    "changed_records": 2802,
+    "independent_rank_mismatches": 2802,
+    "paid_profile": {
+      "6": 9
+    },
+    "reported_kappa": 0.25
+  },
+  "independent_erased_vectors": [
+    [
+      0,
+      1,
+      1,
+      0,
+      1,
+      0,
+      0,
+      1
+    ],
+    [
+      0,
+      1,
+      1,
+      0,
+      1,
+      0,
+      0,
+      -1
+    ]
+  ],
+  "port_transport_width_pairs": {
+    "(7, 6)": 101,
+    "(7, 8)": 4,
+    "(8, 6)": 6
+  },
+  "positive_control": {
+    "ambient_dim": 8,
+    "directions_agree": true,
+    "emitted_kappa": 0.003464248972023964,
+    "emitted_paid": {
+      "1": 1323,
+      "2": 1342,
+      "3": 79,
+      "4": 44,
+      "5": 102,
+      "6": 11,
+      "7": 19
+    },
+    "emitted_paid_mass": 5129,
+    "emitted_surplus": 753,
+    "endpoint_failures": 0,
+    "frames": 117,
+    "gain_absolute": 0.008936837444043276,
+    "gain_relative": 2.5797330146343347,
+    "helper_widths": {
+      "8": 439
+    },
+    "kernel_vector": 150,
+    "local_checks": {
+      "adds": 24305,
+      "copies": 9
+    },
+    "main_rank_mass": 1457,
+    "main_widths": {
+      "6": 107,
+      "7": 105,
+      "8": 10
+    },
+    "package": "bit-ambient-quotient",
+    "quotient_kappa": 0.01240108641606724,
+    "quotient_paid": {
+      "1": 1198,
+      "2": 1255,
+      "3": 207,
+      "4": 86,
+      "5": 41,
+      "6": 23,
+      "7": 1
+    },
+    "quotient_paid_mass": 5023,
+    "quotient_surplus": 2661,
+    "roles": 661,
+    "status": "PASS_BIT_AMBIENT_QUOTIENT"
+  },
+  "quotient_reconstructed_exactly": true,
+  "rational_source_frames": 636,
+  "reviewed_head": "b2998bacd50d57c301fe67c5392054440c42398c",
+  "scope": "Exact source and verifier counterexamples; no new supplier or kappa.",
+  "status": "PASS_PR4633_AUDIT_COUNTEREXAMPLES"
+}