Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
131 changes: 131 additions & 0 deletions research/odd-e8-lowrank-e-native/AUTHOR-FILES.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,131 @@
{
"files": {
"E-ADAPTER.json": {
"bytes": 2794,
"sha256": "1ec176ac7036671edeafaba2e67bc0ddb7d454f3f2448dde3db5b21b97ee5d0d"
},
"LICENSE": {
"bytes": 11357,
"sha256": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4"
},
"MODES-PROGRAM.json": {
"bytes": 428520,
"sha256": "149b5b4999bb01849850b821a2d99d0580b1daaafa95890e7440c531a9d131b0"
},
"MODES.json": {
"bytes": 5559,
"sha256": "55b7f800257c058b0c01ceb41e6609419c558bde7021c40e47a7784dc4b701b6"
},
"N3-PROGRAM.json": {
"bytes": 8661,
"sha256": "00470b4fc8804e944e6a6117e70bedff651ae61eb7db46539f156f38f47940c9"
},
"N3.json": {
"bytes": 1189,
"sha256": "fd6baed6ae2e0ebf00c7ae1c2944587f29e1fb9fc68b66c366b2c901eb43ef55"
},
"NOTICE.txt": {
"bytes": 542,
"sha256": "790abb0b415e41c5dcbd1fd1a772b79a35fa2ff78eaf2c9b6005ee8bbe2fa722"
},
"OWNED-E-PROGRAM.json": {
"bytes": 38238,
"sha256": "ff52294f183796f0157f17eabe665d8f9b21a1aea6d0521fcddead5a1d63f9a0"
},
"OWNED-E.json": {
"bytes": 5921,
"sha256": "ad9c74f0816dd0ed958f70ad6fe139e9a733daed34a683c49bfb38779f1cf2c4"
},
"PRECISION-SCOPE.md": {
"bytes": 1631,
"sha256": "9f99ba0108d8d51a47bafb65b6de964128c6ad57c7c469be2c11d154bb7e71f5"
},
"PROOF.md": {
"bytes": 12131,
"sha256": "0b7aee69687ca6baa045b3721f37c54a54aab7cf4f0eec9c352d9bae48482486"
},
"README.md": {
"bytes": 2357,
"sha256": "1f92c67a858c76ccd8046d366e29e639be06c498b7453a4255a957823fc6bb83"
},
"RESULT.json": {
"bytes": 2602,
"sha256": "90665c569995b990cd709f647f3d684e010bbd02e7d4beb13318ba25101015c9"
},
"ROOT-CHECKPOINT-PROGRAM.json.gz": {
"bytes": 2167868,
"sha256": "9170fddc15c07c9e5bcfa82fe1a51f4470c39f41c588bef33fcaeda3a3deacac"
},
"ROOT-CHECKPOINT.json": {
"bytes": 1656,
"sha256": "f28b0b8edd39821da216eac98854153bec70cfe7b44b2967aaff47c470bd1864"
},
"SOURCES.json": {
"bytes": 4475,
"sha256": "9558526119412661ed0df8572d58ea096a010041a30f5c2592897a42bb808ad4"
},
"TWO-CUBE-NATIVE-PROGRAM.json.gz": {
"bytes": 26536,
"sha256": "ed828723d74d7a328660aa8578404cd3363a550bbbc64b95ec5a2ac6b278a34b"
},
"TWO-CUBE-NATIVE.json": {
"bytes": 1839,
"sha256": "531f940bb4a7b1f8af5b72aa669a4969e1513f133588ea8e3b9b594cdc83c267"
},
"VERIFY.json": {
"bytes": 633,
"sha256": "0d4f85c119b99447774a015037cb184752852e2a3be067badbdcf0f50a191391"
},
"checkpoint.py": {
"bytes": 12071,
"sha256": "8b27e2553ab9cd5a0467c488b3c9bb72c0997d756f70736f0f01ff72a9591582"
},
"e_adapter.py": {
"bytes": 6279,
"sha256": "fd01fcd33e0915b32bfa75d53be5ddf10982391327f40dde3001b45d3a54107f"
},
"inputs/B-PROGRAM.json.gz": {
"bytes": 910130,
"sha256": "fd30f46e210e4f46302fbeb4055a0e61aa5dce1268a864b53db58406be5a2ed9"
},
"inputs/K-TEMPLATE.json": {
"bytes": 21134,
"sha256": "7477f45dc0036a1e2da980964a2775696c259be56bc0d4e70ba62788dd853cdf"
},
"inputs/NORMALIZERS.json": {
"bytes": 281582,
"sha256": "ae8aad06aa5d1811d725895b3ab5a4f4daa9dcdd88294aa0d5f723e78bb1e0da"
},
"inputs/clifford_exact.py": {
"bytes": 6824,
"sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962"
},
"modes.py": {
"bytes": 14747,
"sha256": "86b21613c95f5f42ec40976fba25b49371bbba2bcdeec9c7cdeb027625be073b"
},
"n3.py": {
"bytes": 5912,
"sha256": "454d1ac01ef00b79814e25287e5f3ad38fce0c5a1320659086f4ae0363d35ce2"
},
"owned_e.py": {
"bytes": 9197,
"sha256": "8f6e04abb73904833d821968627f97021829354f77c4a8f1f872d2d71cfce17a"
},
"run.py": {
"bytes": 3500,
"sha256": "f9cda77f8c36a35692316f4eefc2eb3dfcf5f42306a84a0f213fe57987dae34d"
},
"two_cube_frame_tools.py": {
"bytes": 3117,
"sha256": "e5b2ea1f60d554b3a285569602360c663ee8b387350424678b3bd0b0b5432bf4"
},
"two_cube_native.py": {
"bytes": 13748,
"sha256": "010f6a501f4232a3b536085021d58056e5bd11a3e3818c0c02cc0599a88532ae"
}
},
"payload_bytes": 4012750,
"payload_files": 31,
"schema": "source-consuming-E-local-frozen-files/v1"
}
16 changes: 16 additions & 0 deletions research/odd-e8-lowrank-e-native/AUTHOR-README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
# Low-rank R-mode correction for the whole-K native module

This local package constructs corrected forward and backward E-coded native modules with paid profile `{8:v,9:v,15:v,16:v,25:20480}`, where `v=112^3` and `E=K(I-F_3(C))^-1`. It replaces the proposed high-rank H-side-module correction by20480 full-R spectral queries. Original source acquisition, owned scratch, restoration, inverse source contacts and linear transposition are explicit.

The three-fresh-stage word has one autonomous positive H73 half and one exact negative E-coded half. The negative half's Gaussian admission is **UNKNOWN**. This package does not improve kappa, establish a complete Gaussian caller or assert repository acceptance. Its positive moment is only a conditional screen granting that missing terminal.

Run either self-contained cold command with Python3.12 and only the standard library:

python -I -B run.py
python -I -O -B run.py

Both default commands regenerate and compare every mathematical receipt and literal program without writing. They use only same-folder files, require no Git/network, and do not modify previously sealed packages. `--write` is explicit authoring.

`PROOF.md` is the all-width argument and exact scope. `MODES-PROGRAM.json` gives the rational112-owner basis, elementary ADD/SCALE/SWAP words and structured global loops; these are not an expansion of all global scalar operations. `ROOT-CHECKPOINT-PROGRAM.json.gz` is the actual512-port native inverse/snapshot and transpose program, with emitted literal unary realizations. `OWNED-E-PROGRAM.json` and `N3-PROGRAM.json` are complete small owned fulloperator words. The two-cube fixture binds two actual distinct E8 cube geometries and all phase-correct native transfer blocks.

All mode calls are paid work, not extra independent productive helpers. Field/address operations, fixed rational arithmetic and COPY/CLEAR are counted or defined. The width-independent constants control amplification of additive field-l2 errors only; coordinatewise fixed-point rounding-to-l2 conversion and its dimension-dependent precision cost remain unproved. See PRECISION-SCOPE.md. Complete outer TM, storage and rounding admission remain open. `SOURCES.json` records exact inherited inputs, credits and a bounded nearest-primary overlap review. That review is not an exhaustive priority claim.
75 changes: 75 additions & 0 deletions research/odd-e8-lowrank-e-native/AUTHOR-SOURCES.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,75 @@
{
"bounded_primary_review": [
{
"bytes": 11341,
"commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04",
"name": "4933-canonical-gauge",
"path": "research/coded-native-caller/GAUGE.md",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "09c4e86d99245734761569efd13473623ffdd857e9eae092bd7f54bfd2f42f06"
},
{
"bytes": 10632,
"commit": "32890bc5de034ab8fc93ac88ead7279a6a416d04",
"name": "4933-canonical-physical",
"path": "research/coded-native-caller/PHYSICAL.md",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "4321b159ff8d3fe705419adaaa1beef75606e869e34341bda553f17d598a6078"
},
{
"bytes": 11699,
"commit": "e6d50e7ebd0bb1fd4f388930df78df696e56b404",
"name": "5439-separated-lift",
"path": "research/odd-e8-direct-sum/NATIVE-LIFT.md",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "aeda1201bee97081c7ab245353c4b7852eed8230a6e5f07fd4f475080d05aec2"
},
{
"bytes": 8540,
"commit": "6c768fb1df95fd5ee49a9d9ac74f1fa97b9cabe6",
"name": "5467-native-unit",
"path": "research/native-wordram-interfaces/native/REPORT.txt",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "44e5613d1c2a80138ff468baa3b8abef3b8eeea28083c8d8ec8aa9e271bd9142"
},
{
"bytes": 5657,
"commit": "6c768fb1df95fd5ee49a9d9ac74f1fa97b9cabe6",
"name": "5467-three-query-decoder",
"path": "research/native-wordram-interfaces/decoder/TERMINAL-PROOF.txt",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "5d5087a16d446195ac7e6c64887b6e4675287b31f314314d63d8939fb9159024"
},
{
"bytes": 11316,
"commit": "6c768fb1df95fd5ee49a9d9ac74f1fa97b9cabe6",
"name": "5467-precision",
"path": "research/native-wordram-interfaces/precision/RECODING-PROOF.txt",
"role": "bounded nearest-primary overlap review; not runtime imported",
"sha256": "9e30848feb079d28f4e54b08f1c9bdbb4b7c42785a28ef4c6aeec770c8d756c4"
}
],
"canonical_main": "32890bc5de034ab8fc93ac88ead7279a6a416d04",
"coverage_limit": "Only these explicitly named primary files and PR5467 body/head file list were read for this review. No exhaustive history, all pending PR or unpublished priority claim.",
"credits": "Dugongue PR4929/4933 coded source and gauges; Ali Romman odd-E8 geometry/5439; Cao Yifan native word; Cinna Davis helper/controller/cache; zxv, Jacob Alan Sussman and retained native/Clifford/compiler lineage. Substantial OpenAI Codex assistance; new work Apache-2.0.",
"nearest_source_result": "No identical E=K A^-1 plus rank(F_C) full-R modal correction plus source-contact inverse/transpose construction was found in the six named primary documents. Generic code-gauge identities and root-mode factorization are explicitly inherited, not novelty claims. PR5439 explicitly leaves conjugated/joint modules outside its fixed separated model. PR5467 changes scalar quotient realization, serializes a retained source and decodes three helper observations without changing its recursive profile.",
"new_component_scope": "Whole-K plus lowrank modal full-R correction; actual owned inverse-source checkpoint and transpose produce both local orientations with same paid profile. Typed N3 negative E terminal and outer admission remain unknown.",
"runtime_inputs": {
"inputs/B-PROGRAM.json.gz": {
"decompressed_canonical_science_sha256": "f6b26f28f2a8f2dcfbf81f98c7ca18f967384b7b61518766494f8e821d5bf56f",
"usage": "actual normalized whole-K native backward root512 word, retained source/phase attribution from PR5464"
},
"inputs/K-TEMPLATE.json": {
"sha256": "7477f45dc0036a1e2da980964a2775696c259be56bc0d4e70ba62788dd853cdf",
"usage": "whole-K forall2744 cube template and exact U25 orthonormal chart for reproducible all-port physical normalizers"
},
"inputs/NORMALIZERS.json": {
"sha256": "ae8aad06aa5d1811d725895b3ab5a4f4daa9dcdd88294aa0d5f723e78bb1e0da",
"usage": "actual E8 roots/ports/modes from canonical coded normalizers"
},
"inputs/clifford_exact.py": {
"sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"usage": "retained exact Clifford source for two actual cube phase fixture"
}
}
}
15 changes: 15 additions & 0 deletions research/odd-e8-lowrank-e-native/AUTHOR-VERIFY.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"commands": [
"python -I -B run.py",
"python -I -O -B run.py"
],
"default_readonly": true,
"gitfree": true,
"networkfree": true,
"scope": "Actual root512 native source-contact free-operator inverse/transpose; literal owned16x16 E adapters; literal64x64 typedN3; explicit20480-mode rational global algorithm and ordinary counts; two actual cube native phases. No independent negative E Gaussian target or new kappa.",
"unknown": [
"Negative E terminal Gaussian admission/decoder",
"Complete outer TM, routing, storage and precision admission",
"Formal-kernel or independent human acceptance"
]
}
72 changes: 72 additions & 0 deletions research/odd-e8-lowrank-e-native/E-ADAPTER.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
{
"address_axes": 2,
"cases": [
{
"Delta_Q_noncommuting": true,
"E": "KA",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": false,
"lambda": 14,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
},
{
"Delta_Q_noncommuting": true,
"E": "K_Ainverse",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": true,
"lambda": 14,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
},
{
"Delta_Q_noncommuting": true,
"E": "KA",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": false,
"lambda": 98,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
},
{
"Delta_Q_noncommuting": true,
"E": "K_Ainverse",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": true,
"lambda": 98,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
},
{
"Delta_Q_noncommuting": true,
"E": "KA",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": false,
"lambda": -1078,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
},
{
"Delta_Q_noncommuting": true,
"E": "K_Ainverse",
"corrected_forward_backward": true,
"forward_backward_adapters": true,
"inverse_and_transpose_boundary_checked": true,
"lambda": -1078,
"omitted_correction_rejected": true,
"physical_ground_backward_correction": true
}
],
"complex_rational_main_matrix_dimension": 16,
"correction": "Delta=I-X^-1; right-prepend L(Delta Q^-1) or U(-Q Delta) to recover scalar core with codes E/E^-1. For X=A^-1, Delta=F_C exactly, with rank rank(F_C).",
"generic_identity": "For X commuting K with E=KX, [E,DQ]=0: postX(E) F_K preY(E)=H(E) diag(D,D) L(X^-1 Q^-1); postX(E^-1) B_K preY(E^-1)=H(E^-1) diag(D,D) U(-Q X^-1).",
"owners": 2,
"remaining": "Literal all-port owned checkpoint/reverse-transpose emitter and ordinary tariff; actual IDLE/boundary endpoints; full negative terminal E-word decoding; complete precision and moment. The inverse source-Y checkpoint schedule is verified here as exact block algebra, not yet a literal owned program.",
"schema": "source-consuming-E-exact-small-model/v1",
"status": "PASS_EXACT_LOCAL_IDENTITIES_ONLY"
}
50 changes: 50 additions & 0 deletions research/odd-e8-lowrank-e-native/FROZEN.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
{
"author_manifest_sha256": "2253b65bc0dbccb7c232b555bcf59987082c1babc84b815998f4680de0453496",
"files": {
"AUTHOR-FILES.json": "2253b65bc0dbccb7c232b555bcf59987082c1babc84b815998f4680de0453496",
"AUTHOR-README.md": "1f92c67a858c76ccd8046d366e29e639be06c498b7453a4255a957823fc6bb83",
"AUTHOR-SOURCES.json": "9558526119412661ed0df8572d58ea096a010041a30f5c2592897a42bb808ad4",
"AUTHOR-VERIFY.json": "0d4f85c119b99447774a015037cb184752852e2a3be067badbdcf0f50a191391",
"E-ADAPTER.json": "1ec176ac7036671edeafaba2e67bc0ddb7d454f3f2448dde3db5b21b97ee5d0d",
"LICENSE": "c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4",
"MODES-PROGRAM.json": "149b5b4999bb01849850b821a2d99d0580b1daaafa95890e7440c531a9d131b0",
"MODES.json": "55b7f800257c058b0c01ceb41e6609419c558bde7021c40e47a7784dc4b701b6",
"N3-PROGRAM.json": "00470b4fc8804e944e6a6117e70bedff651ae61eb7db46539f156f38f47940c9",
"N3.json": "fd6baed6ae2e0ebf00c7ae1c2944587f29e1fb9fc68b66c366b2c901eb43ef55",
"NOTICE.txt": "790abb0b415e41c5dcbd1fd1a772b79a35fa2ff78eaf2c9b6005ee8bbe2fa722",
"OWNED-E-PROGRAM.json": "ff52294f183796f0157f17eabe665d8f9b21a1aea6d0521fcddead5a1d63f9a0",
"OWNED-E.json": "ad9c74f0816dd0ed958f70ad6fe139e9a733daed34a683c49bfb38779f1cf2c4",
"PEER-REVIEW.json": "40e3d0b457ca367d2ede9a908363744bd16b7db988fe4fa286fd3be58e213b64",
"PRECISION-SCOPE.md": "9f99ba0108d8d51a47bafb65b6de964128c6ad57c7c469be2c11d154bb7e71f5",
"PROOF.md": "0b7aee69687ca6baa045b3721f37c54a54aab7cf4f0eec9c352d9bae48482486",
"PUBLICATION-ADAPTER.json": "cd306c8e7bbc2a38d6800f2faeec67c4e08c1675ac05482af4a8484ffaf98527",
"README.md": "3940f80119ce04ef296b2ae732e669bb8339eb04c12b45f46abb48896b09c730",
"RESULT.json": "90665c569995b990cd709f647f3d684e010bbd02e7d4beb13318ba25101015c9",
"REVIEW.md": "330ff1d786e83844e390ef0353c5e0ac1aa1dd031cbd2cb97fafd285940de382",
"ROOT-CHECKPOINT-PROGRAM.json.gz": "9170fddc15c07c9e5bcfa82fe1a51f4470c39f41c588bef33fcaeda3a3deacac",
"ROOT-CHECKPOINT.json": "f28b0b8edd39821da216eac98854153bec70cfe7b44b2967aaff47c470bd1864",
"SOURCES.json": "1fbe5c7f984cb7483ccd1d0bcb70cf4c225e1fb0e4a644b93a78a57f929fe847",
"TASK.json": "8f0785c0cad073ed6556b8a33e50bacfdae6f9e239ddcd99b8bc981a0217aa81",
"TWO-CUBE-NATIVE-PROGRAM.json.gz": "ed828723d74d7a328660aa8578404cd3363a550bbbc64b95ec5a2ac6b278a34b",
"TWO-CUBE-NATIVE.json": "531f940bb4a7b1f8af5b72aa669a4969e1513f133588ea8e3b9b594cdc83c267",
"VERIFY.json": "cd4ed3dbc3a4105a9c7d61a0900005498e57835ca8707111594fa6e570185179",
"checkpoint.py": "8b27e2553ab9cd5a0467c488b3c9bb72c0997d756f70736f0f01ff72a9591582",
"e_adapter.py": "fd01fcd33e0915b32bfa75d53be5ddf10982391327f40dde3001b45d3a54107f",
"inputs/B-PROGRAM.json.gz": "fd30f46e210e4f46302fbeb4055a0e61aa5dce1268a864b53db58406be5a2ed9",
"inputs/K-TEMPLATE.json": "7477f45dc0036a1e2da980964a2775696c259be56bc0d4e70ba62788dd853cdf",
"inputs/NORMALIZERS.json": "ae8aad06aa5d1811d725895b3ab5a4f4daa9dcdd88294aa0d5f723e78bb1e0da",
"inputs/clifford_exact.py": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"modes.py": "86b21613c95f5f42ec40976fba25b49371bbba2bcdeec9c7cdeb027625be073b",
"n3.py": "454d1ac01ef00b79814e25287e5f3ad38fce0c5a1320659086f4ae0363d35ce2",
"owned_e.py": "8f6e04abb73904833d821968627f97021829354f77c4a8f1f872d2d71cfce17a",
"peer_review.py": "c521288a7b632e677eeffe221d326666620c2ab2d05d13f358caf3c3f3686813",
"run.py": "f9cda77f8c36a35692316f4eefc2eb3dfcf5f42306a84a0f213fe57987dae34d",
"two_cube_frame_tools.py": "e5b2ea1f60d554b3a285569602360c663ee8b387350424678b3bd0b0b5432bf4",
"two_cube_native.py": "010f6a501f4232a3b536085021d58056e5bd11a3e3818c0c02cc0599a88532ae"
},
"payload_file_count": 40,
"registered_commands": 4,
"schema": "odd-E8-lowrank-E-publication-freeze/v1",
"scope": "Both local E orientations and typedN3. Negative E Gaussian admission, outer machine costs and kappa UNKNOWN. This manifest excludes only itself.",
"status": "FROZEN"
}
Loading