Skip to content

Emit the exact conservative Gaussian pair as a clean bit circuit (no κ) #6700

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

Open
ToikY wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Emit the exact conservative Gaussian pair as a clean bit circuit (no κ) #6700

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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/conservative-gaussian-clean-bit-pair/CASES.json
View file
Open in desktop

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions research/conservative-gaussian-clean-bit-pair/GATE-INVENTORY.json
View file
Open in desktop

Large diffs are not rendered by default.

Binary file added research/conservative-gaussian-clean-bit-pair/GATES.json.gz
View file
Open in desktop
Binary file not shown.
23 changes: 23 additions & 0 deletions research/conservative-gaussian-clean-bit-pair/NOTICE
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
Conservative Gaussian clean-bit pair
Copyright 2026 ToikY. Apache-2.0.

Prepared with substantial OpenAI Codex assistance, including separate primary,
independent arithmetic/actual-gate oracle and static review. New scope is the
actual6509 center-dependent pair's logical clean elementary construction and
complete gate/stock/address bill under a supplied-zero headroom promise.

Ali Romman6509 at a4173e810c4d34a1d13b9745af123ad0ec6cfed5 supplies the exact
numerical pair, center, inverse/error/phase/ports. ToikY6523 at
2f02d6b9b460227d72df1ed1914bbc1091be01d7 supplies actual MOVE9896 binding and
released cleanup question. Nick Petalas3152/3081/3088 and Cuccaro, Draper, Kutin,
Moulton supply the unchanged scalar/MAJ-UMA primitives. Ali Romman6511 at
39b87aa272de863f454df3e7c8d7bbec4fa4efa3 supplies integration and pointers.
Clear1nsight4017 at527c80c4e20d699abf6c089d825bb9be01288f94, Tekalign and
Barenco et al. retain earlier literal lifting/controlled-gate credit.
Bennett compute-copy-uncompute is classical; no generic method is newly claimed.

All ten original source headers/bytes remain unchanged. Exactly6509 kernel and
3152 scalar are declared executable, authenticated before import; other source
programs are inert. Retained3159/3241/scalar/native/compiler and earlier authors
keep their credit. No complete caller/native/tape/physical admission, dirty-bank
cleaning, unbounded-width theorem, κ or selected-frontier change follows.
Loading