Skip to content

Construct reciprocal native responses with sharp rank-two blocks and fewer child calls #4728

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
Mister-Meeseeks merged 2 commits into from
Oct 22, 2026
Merged

Construct reciprocal native responses with sharp rank-two blocks and fewer child calls #4728

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
4f0a721
Add reciprocal native responses and verified low-displacement companions
aliromman Oct 22, 2026
4c903ff
Add original-response rank limits and dyadic reciprocal coefficient c…
aliromman Oct 22, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
480 changes: 480 additions & 0 deletions ...h/publication-reviews/reciprocal-native-responses/ANNEX-INDEPENDENT-CHECKS-OPTIMIZED.json
View file
Open in desktop

Large diffs are not rendered by default.

480 changes: 480 additions & 0 deletions research/publication-reviews/reciprocal-native-responses/ANNEX-INDEPENDENT-CHECKS.json
View file
Open in desktop

Large diffs are not rendered by default.

158 changes: 158 additions & 0 deletions research/publication-reviews/reciprocal-native-responses/ANNEX-REPLAY.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,158 @@
{
"additional_frozen_source_count": 59,
"annex_manifest_sha256": "7e1a6859126366456a6d7269efb34425c3a393bcc716ccd4e88cc23c173d8c5f",
"comparison": "Eight exact frozen receipt byte comparisons. Two publication-native comparisons omit only Python version and elapsed time. Compressed source files also have payload hashes.",
"core_manifest_sha256": "44861ce503d2268acd85ec4c202d7438f83755761772d5e715ba4abc54abd931",
"platform": "macOS-26.6.1-arm64-arm-64bit-Mach-O",
"publication_checker_manifest_sha256": "1ac981962cc5c86736361cf29afbe94b528cb9c6f6d41ced912884de9b19ca02",
"python": "3.14.7 (main, Aug 5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
"replay_sha256": "c703505b9ebe91c7c8d4ad84694003c68d7d1571efc3d20927f3c5a29e08ebc0",
"runs": [
{
"check": "rank30-matrix",
"command": [
"python3",
"-I",
"-B",
"lanes/independent-review-20261017/rank-thirty-review-20261020/check_review.py"
],
"elapsed_seconds": 1.506,
"mode": "normal",
"receipt_sha256": "898cbd6b6a1cc6c5bd3aa8dba6ae078c6336f797ba2238a35ea95175593bee97"
},
{
"check": "extension-matrices",
"command": [
"python3",
"-I",
"-B",
"lanes/independent-review-20261017/response-extensions-review-20261020/check_extensions.py"
],
"elapsed_seconds": 5.051,
"mode": "normal",
"receipt_sha256": "e2660de3472640fb41c673761df58f251f720f988bec4e2fab6b3871b4d29a3a"
},
{
"check": "cross-gram",
"command": [
"python3",
"-I",
"-B",
"lanes/new-core-transfer-20261017/low-displacement-20261020/check_even_clique_gram.py",
"--out",
"results/cross-gram.json"
],
"elapsed_seconds": 0.679,
"mode": "normal",
"receipt_sha256": "1172ad3de9fd5e15d6f8056d3a774bcbdfa84d0eb55c3c3e7b711e5d49659da8"
},
{
"check": "paired-line",
"command": [
"python3",
"-I",
"-B",
"lanes/new-core-transfer-20261017/low-displacement-20261020/check_paired_line_scope.py",
"--out",
"results/paired-line.json"
],
"elapsed_seconds": 0.244,
"mode": "normal",
"receipt_sha256": "f12a1e740a4ea6d7b13a99d14e26578c0fc2b17f30ce07551678d8a56487253f"
},
{
"check": "publication-native",
"command": [
"python3",
"-I",
"-B",
"publication-checks/check_native.py",
"--source-root",
".",
"--out",
"results/native.json"
],
"elapsed_seconds": 5.269,
"mathematical_receipt_sha256": "8155d13cff0d3807980a12c4106763b144e6e86f1d7fa196a7e16c781599ffd3",
"mode": "normal",
"receipt_sha256": "c86c7ea1ebad0c21344a7fa03fd599e3e4ad41476a1ee7bcd4394b02a0db3394"
},
{
"check": "rank30-matrix",
"command": [
"python3",
"-I",
"-B",
"-O",
"lanes/independent-review-20261017/rank-thirty-review-20261020/check_review.py"
],
"elapsed_seconds": 1.54,
"mode": "optimized",
"receipt_sha256": "898cbd6b6a1cc6c5bd3aa8dba6ae078c6336f797ba2238a35ea95175593bee97"
},
{
"check": "extension-matrices",
"command": [
"python3",
"-I",
"-B",
"-O",
"lanes/independent-review-20261017/response-extensions-review-20261020/check_extensions.py"
],
"elapsed_seconds": 5.055,
"mode": "optimized",
"receipt_sha256": "e2660de3472640fb41c673761df58f251f720f988bec4e2fab6b3871b4d29a3a"
},
{
"check": "cross-gram",
"command": [
"python3",
"-I",
"-B",
"-O",
"lanes/new-core-transfer-20261017/low-displacement-20261020/check_even_clique_gram.py",
"--out",
"results/cross-gram.json"
],
"elapsed_seconds": 0.675,
"mode": "optimized",
"receipt_sha256": "1172ad3de9fd5e15d6f8056d3a774bcbdfa84d0eb55c3c3e7b711e5d49659da8"
},
{
"check": "paired-line",
"command": [
"python3",
"-I",
"-B",
"-O",
"lanes/new-core-transfer-20261017/low-displacement-20261020/check_paired_line_scope.py",
"--out",
"results/paired-line.json"
],
"elapsed_seconds": 0.249,
"mode": "optimized",
"receipt_sha256": "f12a1e740a4ea6d7b13a99d14e26578c0fc2b17f30ce07551678d8a56487253f"
},
{
"check": "publication-native",
"command": [
"python3",
"-I",
"-B",
"-O",
"publication-checks/check_native.py",
"--source-root",
".",
"--out",
"results/native.json"
],
"elapsed_seconds": 6.199,
"mathematical_receipt_sha256": "8155d13cff0d3807980a12c4106763b144e6e86f1d7fa196a7e16c781599ffd3",
"mode": "optimized",
"receipt_sha256": "edf5b45ee704b66e161b8837d2de8433177a27bf76dd95d0e04214e74109847f"
}
],
"scope": "Independent matrices, scalar prices, native frame ledgers, 352 changed-exit phases, exact cross-Gram ranks, and finite paired-line checks. The historical raw native spatial replays are separate.",
"shared_core_source_count": 14,
"status": "PASS_LOW_DISPLACEMENT_RESPONSE_ANNEX"
}
108 changes: 108 additions & 0 deletions research/publication-reviews/reciprocal-native-responses/COMMANDS.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,108 @@
{
"cwd": "/Users/aliromman/Projects/IntegerMultiplicationBounds",
"runs": [
{
"command": [
"python3",
"-I",
"-B",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/packages/reciprocal-native-responses/replay.py",
"--out",
"/tmp/reciprocal-publication-independent-20261022-a"
],
"exit_code": 0,
"purpose": "Complete advertised core replay",
"receipt": "REPLAY.json"
},
{
"command": [
"python3",
"-I",
"-B",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/check_publication_review.py",
"--package",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/packages/reciprocal-native-responses",
"--out",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/INDEPENDENT-CHECKS.json"
],
"exit_code": 0,
"purpose": "Independent algebra, word, price, coalescing, and phase review",
"receipt": "INDEPENDENT-CHECKS.json"
},
{
"command": [
"python3",
"-I",
"-B",
"-O",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/check_publication_review.py",
"--package",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/packages/reciprocal-native-responses",
"--out",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/INDEPENDENT-CHECKS-OPTIMIZED.json"
],
"exit_code": 0,
"purpose": "Independent review with optimization",
"receipt": "INDEPENDENT-CHECKS-OPTIMIZED.json"
},
{
"command": [
"python3",
"-I",
"-B",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/check_import_boundary.py",
"--package",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/packages/reciprocal-native-responses",
"--out",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/IMPORT-BOUNDARY.json"
],
"exit_code": 0,
"purpose": "Top-level import boundary",
"receipt": "IMPORT-BOUNDARY.json"
},
{
"command": [
"python3",
"-I",
"-B",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/check_low_displacement_annex.py",
"--source-root",
"/tmp/reciprocal-annex-independent-20261022-a",
"--out",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/ANNEX-INDEPENDENT-CHECKS.json"
],
"exit_code": 0,
"purpose": "Independent annex matrix, native word, frame, price, and changed-exit phase review (normal)",
"receipt": "ANNEX-INDEPENDENT-CHECKS.json"
},
{
"command": [
"python3",
"-I",
"-B",
"-O",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/check_low_displacement_annex.py",
"--source-root",
"/tmp/reciprocal-annex-independent-20261022-a",
"--out",
"/Users/aliromman/Projects/IntegerMultiplicationBounds/work/centre-encoding-campaign-20261014/publication-wrap-20261022/reviews/reciprocal-native-responses/ANNEX-INDEPENDENT-CHECKS-OPTIMIZED.json"
],
"exit_code": 0,
"purpose": "Independent annex matrix, native word, frame, price, and changed-exit phase review (optimized)",
"receipt": "ANNEX-INDEPENDENT-CHECKS-OPTIMIZED.json"
},
{
"command": [
"python3",
"-I",
"-B",
"work/centre-encoding-campaign-20261014/publication-wrap-20261022/packages/reciprocal-native-responses/replay_annex.py",
"--out",
"/tmp/reciprocal-annex-publication-replay-20261022-a"
],
"exit_code": 0,
"purpose": "Complete advertised annex replay",
"receipt": "ANNEX-REPLAY.json"
}
]
}
Loading