Skip to content

Construct and price cyclic H6 partial-frame networks - #4260

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/h6-partial-frame-networks-20261020
Oct 21, 2026
Merged

Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
RossRichardson:research/h6-partial-frame-networks-20261020

Conversation

@RossRichardson

@RossRichardson RossRichardson commented Oct 20, 2026 •

Copy link
Copy Markdown

Summary

Construct and price cyclic H6 logical networks with arbitrary ordinary input dirt. For r = 2,...,7 and N = 2r, mutable readers save 18N(r-2) scalar component primitives in each orientation, while their recursive rank-profile pressure worsens for r > 2. The package also gives a disjoint 4,800-module tiling and constructs one compatible eight-centre Pauli refinement; its fully charged shared visits outweigh the private-rank saving.

The proofs and reproduction guide include complete deterministic receipts and separate AI mathematical reviews.

Scope and limits

Exact finite operators, binary-frame geometry and written identities under the declared logical frame/private-stream interfaces. Helpers restore logical values at declared final frames; raw physical return and a native phase compiler remain open. Full-H6 support/K evidence is explicitly inherited, and the residual completion is specified and counted rather than fully executed. No favorable full supplier, rounded/owner/tape admission, selected-frontier change or new kappa is claimed. The rank/Smith results already published in #3649 and #3655 are excluded.

Test plan

  • Committed-byte/source-history preflight and registered Python 3.12 replay.
  • All four registered commands from a read-only, Git-free export in a path containing spaces.
  • Automatic GitHub checks passed on exact head 43221d752884ad3c4778f45295068a42c32f105e.

The independent audit covers 44,440 ordinary operator coefficients, 22,220 duality entries and 90 semantic defects with named-check deletions. Package controls exercise 67 intended rejections and 16 check deletions per optimization mode. Complete regenerated typed JSON is compared; recompression bytes are not used as a mathematical equality test.

Sources and credit

Scientific sources: 20ecf2891d80b5acf18d980b2164fb44ea7faa90; task/guidance: 12fa8c5c844be21bfefb38a19503fbd867a11244 (priority 7). Exact Git blobs and unpublished predecessors are retained in SOURCES.json and component source inventories. Credit Dominik Scholz / #606, DreamingOfClouds, and the #1830 compensation/encoder audit and its retained lineage. Original notices are preserved.

Ross Richardson, with substantial OpenAI Codex assistance, including separate AI mathematical review contexts. This is not independent human or formal-kernel acceptance. Apache-2.0.

@Mister-Meeseeks
Mister-Meeseeks merged commit 21be39f into CrocSwap:main Oct 21, 2026
2 checks passed
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.

2 participants