Prove adjacent gamma interlacing transfer - #325

Open

PerAlexandersson wants to merge 21 commits into

mainfrom

codex-gamma315

Commits on Aug 4, 2026

Correct gamma transfer source hypotheses
PerAlexandersson
committed
6116b75
Make gamma transfer source-exact
PerAlexandersson
committed
cc895ca
Prove gamma root-map monotonicity
PerAlexandersson
committed
d5eb497
Factor gamma transforms at the minus-one root
PerAlexandersson
committed
610e067
Golf gamma transform factorization proof
PerAlexandersson
committed
2aa64f9
Prove gamma transform minus-one multiplicity
PerAlexandersson
committed
ba8722c
Transport gamma root interleaving order
PerAlexandersson
committed
2273b7c
Golf gamma root interleaving transport
PerAlexandersson
committed
69a53e8
Repair gamma root transport order
PerAlexandersson
committed
789bdde
Iterate gamma reciprocal root factors
PerAlexandersson
committed
51a4d16
Deduplicate gamma root factor specialization
PerAlexandersson
committed
25aa559
Prove gamma transform root multiplicity
PerAlexandersson
committed
3301730
Prove gamma root map surjectivity
PerAlexandersson
committed
e42dcd5
Golf gamma root map surjectivity proof
PerAlexandersson
committed
9984b8b
Reconstruct gamma roots as transform root multiset
PerAlexandersson
committed
fd515a9
Reconstruct reciprocal gamma transform roots
PerAlexandersson
committed
67695c0
Deduplicate gamma root reconstruction proof
PerAlexandersson
committed
af01895
Formalize gamma root completion cases
PerAlexandersson
committed
004b80e
Prove adjacent gamma transform interlacing equivalence
PerAlexandersson
committed
2a524b3
Deduplicate proper-position multiplicity proof
PerAlexandersson
committed
a9bd73b
Prove adjacent gamma interlacing endpoint
PerAlexandersson
committed
e6c8320

Navigation Menu

Prove adjacent gamma interlacing transfer - #325

Prove adjacent gamma interlacing transfer#325
PerAlexandersson wants to merge 21 commits into
mainfrom
codex-gamma315

Commits on Aug 4, 2026

Correct gamma transfer source hypotheses

Make gamma transfer source-exact

Prove gamma root-map monotonicity

Factor gamma transforms at the minus-one root

Golf gamma transform factorization proof

Prove gamma transform minus-one multiplicity

Transport gamma root interleaving order

Golf gamma root interleaving transport

Repair gamma root transport order

Iterate gamma reciprocal root factors

Deduplicate gamma root factor specialization

Prove gamma transform root multiplicity

Prove gamma root map surjectivity

Golf gamma root map surjectivity proof

Reconstruct gamma roots as transform root multiset

Reconstruct reciprocal gamma transform roots

Deduplicate gamma root reconstruction proof

Formalize gamma root completion cases

Prove adjacent gamma transform interlacing equivalence

Deduplicate proper-position multiplicity proof

Prove adjacent gamma interlacing endpoint