κ = 1.048005508028206e-3: mutable-basis Hamming packets (≈2^-9.89814; conditional; complex +4.97%)

.gitattributes

@@ -18,3 +18,8 @@ research/coordinated-frames-and-entrance-banks/** -text -whitespace
 # Frozen PR210 package and round-nine evidence retain their audited bytes.
 research/five-stage-source527-banks/** -text -whitespace
 research/community-round9-audit/** -text -whitespace
+
+# E8 bit word package: preserve exact bytes for MANIFEST.sha256
+research/e8-bit/** -text -whitespace
+# Offline Hamming replay manifest requires exact bytes of pinned inputs.
+research/hamming-mutable-basis-complex/** -text -whitespace

Makefile

@@ -547,3 +547,18 @@ recycled-bit-full-verify:
 
 verify-recycled-bit: recycled-bit-full-verify
 	python3 -m unittest discover -s tests -p 'test_recycled_bit_integration.py' -v
+
+.PHONY: complex-nine-verify
+complex-nine-verify:
+	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-complex-nine.XXXXXX"); \
+	python3 -B research/nine-stage-complex-e8/verify.py --work "$$work/replay"
+
+.PHONY: e8-bit-complex-nine-verify
+e8-bit-complex-nine-verify:
+	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-e8-nine.XXXXXX"); \
+	python3 -B research/e8-bit-complex-nine/verify.py --work "$$work/replay"
+
+.PHONY: hamming-complex-verify
+hamming-complex-verify:
+	@work=$$(mktemp -d "$${TMPDIR:-/tmp}/integer-mult-hamming.XXXXXX"); \
+	python3 -B research/hamming-mutable-basis-complex/verify.py --work "$$work/replay"

research/e8-bit-complex-nine-validation/AUDIT.json

@@ -0,0 +1,34 @@
+{
+  "status": "PASS_INDEPENDENT_COMPRESSED_BIT_TEMPLATE_AUDIT",
+  "template_sha256": "dfc59b42be1ed281eada6cbd7fb63de773ef4f65563dfdd9691cc5bfd24fb2a7",
+  "source_frames": 944,
+  "exact_nested_frame_pairs": 3289,
+  "exact_reflected_pairs": 3289,
+  "orthogonal_lift_argument": "Adding the same orthogonal E_s leaves P_V-P_U unchanged; each audited projector is therefore the literal child projector in every one of the nine windows.",
+  "exact_bank_families": 7785,
+  "slots_per_bank": 8,
+  "mutations_rejected": [
+    "omit an idle child",
+    "omit a bridge",
+    "omit terminal exchange",
+    "remove a local invocation",
+    "re-use a helper bank slot",
+    "understate live stock",
+    "omit a local paid move",
+    "wrong reflected copy charge"
+  ],
+  "profile": {
+    "1": 149472,
+    "2": 67824,
+    "3": 32256,
+    "4": 30096,
+    "5": 22176,
+    "6": 144,
+    "7": 5760,
+    "8": 1296,
+    "14": 3840,
+    "28": 3840,
+    "42": 3840
+  },
+  "seconds": 3.2433449580566958
+}

research/e8-bit-complex-nine-validation/COMBINED.json

@@ -0,0 +1,115 @@
+{
+  "status": "PASS_CONDITIONAL_COMBINED_KAPPA_ABOVE_2_POW_MINUS_10",
+  "bit_coarse": "1057833103534317/1000000000000000000",
+  "complex_coarse": "999240641319551/1000000000000000000",
+  "selected_bit_coarse": "999240640320309/1000000000000000000",
+  "kappa": "998243154231047/1000000000000000000",
+  "kappa_decimal": "0.000998243154231047",
+  "log2_kappa": -9.968321106395894,
+  "threshold": "1/1024",
+  "strict_excess": "21680654231047/1000000000000000000",
+  "gain_over_frozen_361_percent": 24.028587048896043,
+  "binding": "complex",
+  "bit_moment_interval": [
+    "3369993333393829966960646404286064940326722463344870401020098630731/3369993333393829974333376885877453834204643052817571560137951281152",
+    "13479973333575319867842585617144259761306889853379481604080394522925/13479973333575319897333507543509815336818572211270286240551805124608"
+  ],
+  "next_bit_grid_rejected": true,
+  "two_rational_engines": true,
+  "composed_moment_upper": "181709681073901721842257269672082348572976688319042820226994317933927373706449816274478711933304618280330346061081250822716338350555625/181709681073901722637330951972001133588410340171829515070372549795159822028349480831547762678440891390190630401566544483383650407153664",
+  "halving_depth": 2,
+  "bootstrap_chain": [
+    "384599/10000000000",
+    "998280589158143913911690982144519/1000000000000000000000000000000000000",
+    "999239680998170977902563761063920457564851888736371/1000000000000000000000000000000000000000000000000000000",
+    "999240639361715332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000"
+  ],
+  "strict_constraints": {
+    "bit_positive": "999240639361715332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000",
+    "complex_above_bit": "1957835667470648491037473688745331181259351719707053301741361/1000000000000000000000000000000000000000000000000000000000000000000000000",
+    "complex_below_one_over32": "30250759358680449/1000000000000000000",
+    "beta_positive": "1/1000000000",
+    "beta_below_one": "999999999/1000000000",
+    "leaf_saving_above_bit": "958595026151097491037473688745331181259351719707053301741361/1000000000000000000000000000000000000000000000000000000000000000000000000",
+    "q_positive": "499620319679858425625314039148733804118371883059069471327732700849026553301741361/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "q_below_internal": "999240639361715332529351508962526311254668818740648280292946698258639/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "q_below_leaf": "480296753714910460851266195881628116940930528672267299150973446698258639/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "c_positive": "499620319804858425625314039148733804118371883059069471327732700849026553301741361/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "c_below_one": "499500379680195141574374685960851266195881628116940930528672267299150973446698258639/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "q_below_reservations": "1/4000000000000",
+    "lambda_above_tau": "999240639361715332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "lambda_above_sigma": "1958834908110010206370003040254293707570606388525793950021653946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "lambda_above_internal": "999240639361715332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "lambda_prime_above_lambda": "999240639361715332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "compact_leaf": "480296753714910460851266195881628116940930528672267299150973446698258639/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "compact_reservations": "1/4000000000000",
+    "lambda_prime_below_one": "499620319679858425625314039148733804118371883059069471327732700849026553301741361/500000000000000000000000000000000000000000000000000000000000000000000000000000000000",
+    "epsilon_positive": "45454545454500000000000000000000000000000000000000000000000000000000000000000000000/45499965483607259856875028549013521254919851989369006315575248427349911504845612851",
+    "epsilon_below_one": "45420029107259856875028549013521254919851989369006315575248427349911504845612851/45499965483607259856875028549013521254919851989369006315575248427349911504845612851",
+    "guard_width": "45420029107259856875028549013521254919851989369006315575248427349911504845612851/45499965483607259856875028549013521254919851989369006315575248427349911504845612851",
+    "K_geometry": "34136329119982259856875028549013521254919851989369006315575248427349911504845612851/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000",
+    "K_dominates_log": "45420029073123527755046289156646226370838468114086463585879421034336256418262939495154387149/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000",
+    "record_suffix": "45420029107259856875028549013521254919851989369006315575248427349911504845612851/45499965483607259856875028549013521254919851989369006315575248427349911504845612851",
+    "phase_local": "363360232812578889516621132251295010809802393697130672612618412483716790337552896495154387149/363999723868858078855000228392108170039358815914952050524601987418799292038764902808000000000000",
+    "phase_boundary": "72672046526115805516438418564758979322749661735490252931028477444283159325630650095154387149/72799944773771615771000045678421634007871763182990410104920397483759858407752980561600000000000",
+    "gamma_sublinear": "1/2000000000000",
+    "cell_above_band": "90909090908954500034516392740143124971450986478745080148010630993684424751572650088495154387149/181999861934429039427500114196054085019679407957476025262300993709399646019382451404000000000000",
+    "prime_interval_packing": "45420029107259856875028549013521254919851989369006315575248427349911504845612851/45499965483607259856875028549013521254919851989369006315575248427349911504845612851",
+    "alpha_positive": "90840058169019748266449838170167481290690457483092779161127848384247761263875790495154387149/90999930967214519713750057098027042509839703978738012631150496854699823009691225702000000000000",
+    "alpha_below_one": "90909090909045499965483607259856875028549013521254919851989369006315575248427349911504845612851/90999930967214519713750057098027042509839703978738012631150496854699823009691225702000000000000",
+    "alpha_below_one_fourth": "22659142683634610180171064436336593146169235537201410378626496365290707991158930635004845612851/90999930967214519713750057098027042509839703978738012631150496854699823009691225702000000000000",
+    "delta_positive": "1/8000000000000",
+    "delta_below_one_eighth": "999999999999/8000000000000",
+    "short_record_fallback": "45409080039899224302490600131986310296543341991295874902987929176584489502327418358689836721903542120832428361433992401505758188914422866673811419539830211/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000000000000000000000000000000000000000000000000000000000",
+    "small_field_exposure": "1/1000000000000",
+    "artificial_boundary": "2548361427315001130736452648916435985400517567883381163752784006369341062055401272198514536838553/363999723868858078855000228392108170039358815914952050524601987418799292038764902808000000000000",
+    "literal_scalar_guard": "1",
+    "row_product_gap": "23971789/25",
+    "balanced_prefix_above_kappa": "45499979973113025362762549152530831256539957198354931233265474900000965141094763633615003/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000",
+    "coordinate_movement_above_kappa": "997485130668332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000",
+    "compact_phase_layer_above_kappa": "14489505765505887520603517310001620105208985924917690226472651053636249150782615003/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000",
+    "bulk_exposure_above_kappa": "997485130668332529351508962526311254668818740648280292946698258639/1000000000000000000000000000000000000000000000000000000000000000000000000",
+    "Gaussian_arithmetic_above_kappa": "17062501545858487952215656309397380472215049704999302286030944632907270450566255601740003/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000",
+    "scalar_work_above_kappa": "39812484287662117880653170583904141099674975699683805443818568846582226202989062027240003/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000",
+    "dimension_above_kappa": "45409125425438240123098084476349241294232678841887533641623106503883353970054388114141094763633615003/45499965483607259856875028549013521254919851989369006315575248427349911504845612851000000000000000000"
+  },
+  "next_kappa_grid_rejected": true,
+  "local_and_global_bit_sha256": "55af2a11552c04f5a87268bc2d1798246297874e9e87b50e49773e91cc495c2d",
+  "independent_bit_audit_sha256": "59625785de14c3df03abe009cdc67c7918b8fcfa8dc5f468c3d363af0494cbb7",
+  "complex_verification_sha256": "30c99200583f43a83d51f6bbf1a2c45b58b77da4cb8e76c51662ae49698e4e45",
+  "complex_global_sha256": "68da510fd0144bf5cd8a3b1b638dd527f98899372050867645bbc8eb20bef758",
+  "finite": {
+    "unit_additions": 1068696,
+    "route_items": 823776,
+    "selector_calls": 1628482176,
+    "coefficient": "93352550306090768011231627739574369",
+    "coefficient_bits": 117,
+    "two_level_coefficient": "895427416993899309353243466281177952042082345387596559413394047269841104121722500",
+    "two_level_coefficient_bits": 269,
+    "charged_bound_bits": 512,
+    "payload_prefix_bits": 117,
+    "charged_payload_prefix_bits": 192,
+    "row_coefficient": 18355,
+    "retained_row_coefficient": 20161,
+    "cutoff": [
+      {
+        "gap": "960051162165086088309017855481/1000000000000000000000000000000000000",
+        "cutoff_log2": "39058336745164"
+      },
+      {
+        "gap": "959322138022097436238936079542435148111263629/1000000000000000000000000000000000000000000000000000000",
+        "cutoff_log2": "39117723032087411874"
+      },
+      {
+        "gap": "958593667470648491037473688745331181259351719707053301741361/1000000000000000000000000000000000000000000000000000000000000000000000000",
+        "cutoff_log2": "39177199612950066624005104"
+      }
+    ]
+  },
+  "retained_obligations": [
+    "PR370 E8 local bit and nine copied-total admission",
+    "All-size weighted bit compiler, prime/tape/precision and analytic transfer interfaces",
+    "PR377 local E8 complex theorem, exact Clifford compiler and common fine-grid/row/analytic interfaces"
+  ],
+  "scope": "Conditional finite construction and exact arithmetic assembly. No Lean proof or priority claim; no enumeration of the entire orthogonal cover."
+}

research/e8-bit-complex-nine-validation/COMPLEX-VERIFICATION.json

@@ -0,0 +1,73 @@
+{
+  "status": "PASS_PORTABLE_NINE_STAGE_COMPLEX_FINITE_COMPONENT",
+  "source_manifest_sha256": "3743f954b5a652e51fa9ae5101318345d79f4c897ff9a29d5c54387b92118458",
+  "fresh_stages": [
+    {
+      "stage": "frozen-source-integrity",
+      "returncode": 0,
+      "seconds": 0.06369700003415346,
+      "log_sha256": "8275b348307e4aa5a846ed5c81c863c09091acebfbb5bc035f1174bd2d0f2d8f"
+    },
+    {
+      "stage": "fresh-local-admission",
+      "returncode": 0,
+      "seconds": 2.528666125028394,
+      "log_sha256": "ea59968fc1becce7944aa07c4bf857098ad890905a318fc48ffc8413570c7735"
+    },
+    {
+      "stage": "finite-data-banks-profile",
+      "returncode": 0,
+      "seconds": 2.214772915933281,
+      "log_sha256": "5710852ec4a262070040312fddad15dda0eedc4b1e32fe1edfaf5639ac6a2110"
+    },
+    {
+      "stage": "exact-clifford-recipes",
+      "returncode": 0,
+      "seconds": 132.9049302500207,
+      "log_sha256": "839b232b60cfd63fa1fe80146b196d5866d2a6b5631386785fa9e2001a4e972d"
+    },
+    {
+      "stage": "exact-data-and-cover-phases",
+      "returncode": 0,
+      "seconds": 11.187845165957697,
+      "log_sha256": "0abaa1d2933b0aff9fc78f5ab6f28217d5e8fa4068c37805f42b3af8464f4b31"
+    },
+    {
+      "stage": "global-template-and-invoice",
+      "returncode": 0,
+      "seconds": 22.796479791984893,
+      "log_sha256": "650765b064e043b0cb6a4ef16e9aade344d9af09f1b9e10a22aec60e16b41313"
+    },
+    {
+      "stage": "independent-template-two-moments",
+      "returncode": 0,
+      "seconds": 2.162089499994181,
+      "log_sha256": "c7008e701d628c9385265feb811f57f76c06ffc75d70ce35080080b296737491"
+    },
+    {
+      "stage": "fixed-bit-outer-check",
+      "returncode": 0,
+      "seconds": 0.030897459015250206,
+      "log_sha256": "72b2e4e23347fd983b3eaf8185ce0e17b756bfb2afafbf22ab26411848011cba"
+    }
+  ],
+  "complex_coarse": "999240641319551/1000000000000000000",
+  "fixed_bit_kappa": "804849251275843/1000000000000000000",
+  "new_final_kappa_claim": false,
+  "final_kappa_one_percent_milestone_reached": false,
+  "proof": "work/complex-nine-native/PROOF.txt",
+  "receipt_sha256": {
+    "INDEPENDENT-TEMPLATE-AUDIT.json": "34b80dc65161caaf5bcf348eb7307e92df6265dcb4a5f61993ac07410d06978c",
+    "CLIFFORD-REVIEW.json": "aae02ae2ddeb36a52b82f694f29268e15bc4a003eedadec3d95d4e10b9002fcc",
+    "DATA-PHASES.json": "f621f6d4296cb215f334830356c5f79fe10d6d04d15b3ccda76ba0885ab67d0a",
+    "CLIFFORD-RECIPES.json": "5bfabfdf50aff6d3387d7eb702dbba740b4ca64e7a449ec4924cc9d9f34b6d09",
+    "GLOBAL-TEMPLATE.json.gz": "1b84904a31a733aab9bfdda3f528c06719f590d2133a43687a8bded955dc991e",
+    "OUTER-FIXED-BIT.json": "c157055c115b9c0706e672bc73873db93580d2abf46043e6511399e79bd6502d",
+    "GLOBAL-REVIEW.json": "68da510fd0144bf5cd8a3b1b638dd527f98899372050867645bbc8eb20bef758",
+    "PROOF.txt": "ea0edb8cfb6b2f2c1adb2de12cc0aa5fb7c57e649033528565af3e52087beda7",
+    "local-admission/UPSTREAM-GUARD.json": "ca86f125cffd33633bf0204f1c12930a07d5fb760a341269311bce377a2ed687",
+    "local-admission/INDEPENDENT-AUDIT.json": "9b6eaca84d3bb0450bbbc6bca3fbc3931f0654a2c52c283b1fb666557adadaee"
+  },
+  "seconds": 173.895036916947,
+  "scope": "The explicit proof retains local E8, Clifford/compiler, common-grid and row/analytic interfaces. No Lean kernel build, astronomical cover enumeration, certificate-producer regeneration or improved bit-side theorem is claimed."
+}