Skip to content

Enable exact feedback through original complex helper queries - #5457

Open
aliromman wants to merge 1 commit into
CrocSwap:mainfrom
aliromman:codex/complex-helper-feedback-20261024
Open

aliromman wants to merge 1 commit into
CrocSwap:mainfrom
aliromman:codex/complex-helper-feedback-20261024

Conversation

@aliromman

Copy link
Copy Markdown
Contributor

This construction permits helper-to-helper feedback after 112 early queries in the original complex forward FULL. It updates the helper argument, held raw query result and normalized observation before the native word resumes. All eight original center calls remain. Each feedback shear adds ordinary operations and no Gaussian call.

This does not improve the complete kappa calculation. The helper outputs are R S(Q) xi, where S(Q) is the feedback code. An invertible code is not an ordinary terminal decoder, so this package does not credit autonomous Gaussian targets on the original helper inputs. The charged return completion adds six H1 and 26 H5 calls and is a strict concave-moment loss before feedback.

Review the proof, exact receipt, source pins and validation record.

PR #5388 supplied the query bank and hoist, with fixed helper arguments. The new result proves the changed-helper contract on the original source: xi_k <- xi_k + Q xi_h, including later reuse of either coordinate. The exact replay checks all 632 original inputs, 226 arbitrary owned inputs, 112 replacement cuts, five overlapping shears, 112 phase equations, 32 charged completion equations and seven semantic mutations. A separate AI worker reviewed the feedback induction and target qualification; this is not human or formal-kernel acceptance.

The full local paid profile is {1:2207,2:412,3:510,4:127,5:66,8:8}. Each shear uses two COPY, three ADD, three monomial field maps and three CLEAR, with one reused owned scratch field. The proof also charges the basis, hoist, completion and observation storage. Native physical implementation and all-width lift premises remain inherited. No backward interface, full caller, uniform precision/compiler bill, BIT transfer or new multiplication exponent is supplied.

Python 3.12.14 and the standard library ran:

python3 -B scripts/research_package.py --package research/original-helper-query-feedback --check-only
python3 -B scripts/research_package.py --package research/original-helper-query-feedback
python3 -I -O -B research/original-helper-query-feedback/verify.py

Expected token: PASS_UNCODED_FORWARD_EARLY_QUERY_FEEDBACK. Normal and optimized registered runs passed and matched the complete typed receipt. Both modes also passed on a read-only Git-free export with an empty PATH. Committed-byte and export integrity checks passed. The strict source-history option stopped because the shared repository is shallow; the declared base is the package commit's immediate parent. Hosted CI, selected cold replay and full physical compiler execution did not run.

Publication base: 32890bc5de034ab8fc93ac88ead7279a6a416d04. Scientific experiment base: 1ec1119972c9aefe42525172d07b332fcff81cb4. The selected conditional kappa at the publication base is 0.003027288235 and is unchanged.

Credit Dillon (@dillona) for PR #5388, its proof, and PR #4933's physical/Clifford conventions. Credit Cao Yifan (@intqwq) for PR #4610's native word, and Dugongue (@mdumitrean) for PR #4929's replay core. The complete predecessor attribution, including Cinna Davis, zxv, Chris R, Jacob Alan Sussman and the native/compiler/analytic lineage, remains applicable. Prepared for Ali Romman with substantial OpenAI Codex assistance; Apache-2.0.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant