Repository navigation
What entrance gauges and completed banks can absorb (no new κ) - #215
GamingPuzzled wants to merge 1 commit into
Conversation
The published bank endpoint replaces exactly the entrance-gauge correction F_A T_sigma F_A^-1; gauges need content that is both don't-care and restored, which targets and sources are not. Records why PR208's priced rungs need a different lemma, with two measured near-misses (auxiliary re-gauging under banks, target gauges). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
CrocSwap#215 derives from the suppliers' own papers what allocate.py reads out of their code: a gauged role's correction is one child of width 3*dim sigma, the bank replaces exactly that child, and an entrance gauge needs content that is both don't-care and restored -- which targets (they accumulate) and sources (they are consumed) fail. The rung section now names that mechanism, records the two near-misses CrocSwap#215 prices outside it, and keeps the package's verdict unchanged. Generated with Codebuff Co-Authored-By: Codebuff <noreply@codebuff.com>
|
Thank you @GamingPuzzled. This contribution is now retained on main in the scoped 100-PR review and contributor credits. Contribution: Entrance-gauge and completed-bank absorption analysis. Review and limits: Prior exact-head scoped identity/proof review. Retain the model restrictions and the distinction between an algebraic identity and a realizable bank schedule. The complete original source, notices and relevant execution evidence are retained through the pinned source archive. The review distinguishes fresh local runs, source-bound historical Linux CI and prior exact-head review; it does not claim 100 fresh full mathematical audits. Closing this historical PR as reconciled. This preserves parallel and cumulative credit without replacing the selected frontier or promoting priced research targets to completed constructions. Reviewed head: |
Scoping note, no new κ: one README and one discovery script, with no certificate or verification changes.
#208 prices "bank-absorption rungs" (rank-22 family: +2.52%, and so on) and leaves open which families a bank may absorb. This note answers that for the published mechanism:
notes/paired-cube-sharing.tex, a gauged role's end correction F_A T_σ F_A⁻¹ is one tensor child of width 3·dim σ. Shared-edge supplier, coordinated frames and entrance banks: conditional kappa = 6.61885549259598e-4 #186/Conditional kappa 6.831904550365e-4: coordinated frame optimization and completed entrance banks #207 replace exactly that child with the S_P endpoint, and say every other child remains. On Conditional kappa 6.831904550365e-4: coordinated frame optimization and completed entrance banks #207's word all 2,200 genuine entrance gauges are already banked.Two measured near-misses (float scores on #173's bit word;
regauge.py):This is a statement about the gauge/bank mechanism, not an impossibility proof for other constructions.
Prepared by Joel Pulikkan with Anthropic Claude assistance; Apache-2.0.
🤖 Generated with Claude Code