research(proximity): consolidate the latest prize campaign#503

Open

lalalune wants to merge 461 commits into

mainfrom

research/proximity-prize

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 10, 2026

Merge remote-tracking branch 'origin/research/proximity-prize' into codex/deltastar-next-20260710
lalalune
committed
docs(#466): KB §7 — the unconditional ladder inventory + the k-fold ENERGY ladder discovery (improves with k; per-rung input = pure-Nat divisor moments)

lalalune
and
claude
committed
Merge remote-tracking branch 'origin/codex/g77-first-incidence-jordan' into codex/deltastar-next-20260710
lalalune
committed
Merge remote-tracking branch 'origin/codex/g92-dyadic-pair-stabilizer' into codex/deltastar-next-20260710
lalalune
committed
Merge remote-tracking branch 'origin/codex/g98-canonical-slot-decoder' into codex/deltastar-next-20260710
lalalune
committed
feat(#466 G80H): formalize k-fold product energy engine
lalalune
committed
research(#466 G104): expose affine triple syzygies
lalalune
committed
research(#466): per-depth anomaly census — odd-depth nonpositivity is a SUBGROUP law

lalalune
and
claude
committed
docs(#466): CORRECTION — depth-anomaly census law framing refuted at n=32 by G106

lalalune
and
claude
committed
feat(#466 G80H): close generic no-wrap energy consumer
lalalune
committed
Merge remote-tracking branch 'origin/research/proximity-prize' into codex/deltastar-next-20260710
lalalune
committed
feat(#466 SYZ2): degenerate-subset pencil formalized — single-subset production lower bound (520093695 bad scalars at the 31/64-predecessor) + full channel; D=3 over-budget stack stated as named re…

Shaw
and
claude
committed
Merge branch 'codex/syz2-predecessor-cap-refutation-lean' into syz2-land
Shaw
committed
feat(#466 G80G): weld k-fold energy to Nat divisor moment
lalalune
committed
Merge remote-tracking branch 'origin/research/proximity-prize' into codex/deltastar-next-20260710
lalalune
committed
docs(#466 G80H): formalize square-root fence for k-fold route
lalalune
committed
feat(#466 G121): descent matching identity — exact cross-rung transfer

lalalune
and
claude
committed
feat(#466 G105): depth ledger lossless no-go

0xSolace
and
wakesync
committed
docs(#466): workbench §5 item (10) — doctrine v3 (2026-07-10 evening): #505 closed → #509 orbit-class profile; certificate reshaped to signed prefix/small-difference control; chaining metric-univer…

lalalune
and
claude
committed
feat(#466 G123): triangular moment ladder — every lower rung constrains the depth census

lalalune
and
claude
committed
docs(#506): frontier guide — #505 closed → #509 (orbit-class profile), doctrine-v3 pointers, G-number collision naming note; sync AGENTS.md copy

lalalune
and
claude
committed
feat(#466 G100F): the integer-lift mechanism COUNTS — CG product trick extended to every coset via faithful ℤ-lift of strip products; first unconditional non-Fourier counting bound on the G80Q term…

lalalune
and
claude
committed

Commits on Jul 11, 2026

Commits on Jul 12, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026