Skip to content

Prove sharp all-Clifford helper-detour bounds and correction budgets #5779

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 4 commits into from
Oct 27, 2026
Merged

Prove sharp all-Clifford helper-detour bounds and correction budgets #5779

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
4 commits
Select commit Hold shift + click to select a range
7b8c9d2
Retain exact native, moment and published P104 detour inputs
aliromman Oct 26, 2026
e7b5272
Retain the exact noncontiguous main-field interface contract
aliromman Oct 26, 2026
939a16a
Prove sharp all-Clifford helper detour bounds and source fee minima
aliromman Oct 26, 2026
071e4b8
Record sealed helper-detour proof validation
aliromman Oct 26, 2026
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
1 change: 1 addition & 0 deletions research/p104-helper-detour-projection/.gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
source/** -text
5 changes: 5 additions & 0 deletions research/p104-helper-detour-projection/NOTICE
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
New metric proof, canonical projection, source inventory and fee bounds: Ali Romman with substantial OpenAI Codex assistance. No subagents. Apache-2.0.

The exact PR5756 word is by Joel Pulikkan (GamingPuzzled), with Claude Opus 5.5 assistance. It retains PR5751 by Ali Romman with OpenAI Codex assistance and flyingviper PR5718. The original source NOTICE is retained unchanged.

The native compiler is retained from research/p104-native-channel/vendor/clifford_exact.py and its predecessor line. The exact moment engine is by zxv with OpenAI Codex assistance. PR5772 supplies the previously published canonical Pauli image-space calculation; it is not claimed as new here. All original source pins and byte hashes are explicit. The source local.py supplies the noncontiguous main/helper interface.
37 changes: 37 additions & 0 deletions research/p104-helper-detour-projection/ORIGINAL-SOURCES.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,37 @@
[
{
"path": "research/p104-block-reframe-r22/WORD.json.gz",
"local_path": "source/WORD.json.gz",
"pin": "head:a1b338e5d9271b541f2a198f4fc19cefc565feed:research/p104-block-reframe-r22/WORD.json.gz",
"sha256": "a767dc298dee729d73389cd9240922e28024452d76442931396fb8307763752c",
"git_blob": "156ff6d62780383467d195dce3728b7a434190b1"
},
{
"path": "research/p104-block-reframe-r22/RESULT.json",
"local_path": "source/RESULT.json",
"pin": "head:a1b338e5d9271b541f2a198f4fc19cefc565feed:research/p104-block-reframe-r22/RESULT.json",
"sha256": "062fb71b92ca620cbea4a4469458ede513e4dc1039bfa783e06ed11f51335a9e",
"git_blob": "9d47144bd99dc57d799345c940232eb26afdc33c"
},
{
"path": "research/p104-native-channel/vendor/clifford_exact.py",
"local_path": "source/clifford_exact.py",
"pin": "head:de5ec2e7a6074068452f45b1a191b5c72832df4a:research/p104-native-channel/vendor/clifford_exact.py",
"sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962",
"git_blob": "166841a037f069249f6f7f6dedb89248812f59e2"
},
{
"path": "research/higher-moment-strictification/verify.py",
"local_path": "source/moments.py",
"pin": "head:de5ec2e7a6074068452f45b1a191b5c72832df4a:research/higher-moment-strictification/verify.py",
"sha256": "0ce7e7137422d5ffeda22085c81fa88471bbe963100fdad62e659f1e3bf89326",
"git_blob": "4b24a5096154736ce060474eb8c72dc64c303699"
},
{
"path": "research/p104-paid-meeting-splits/local.py",
"local_path": "source/source-local.py",
"pin": "head:8483f9a679d06c1e270141dbc686a7e76e7a7522:research/p104-paid-meeting-splits/local.py",
"sha256": "fc7c7293f7cffb8a9074e65b926e1782f2ebce2991c9ea75d42b94e888052689",
"git_blob": "c181baa903d671744a35f8d7749b74ab548086fe"
}
]
Loading
Loading