Repository navigation

Import the Apollonian classification of integer superharmonic matrices - #805

Open

Vilin97 wants to merge 48 commits into

mainfrom

codex/daily-superharmonic-20261111

Open

Import the Apollonian classification of integer superharmonic matrices#805
Vilin97 wants to merge 48 commits into
mainfrom
codex/daily-superharmonic-20261111

Commits on Nov 12, 2026
- Checkpoint compiling Apollonian superharmonic port
  Vilin97
  committed
  2de1cf4
- Optimize Apollonian superharmonic formalization and finish validation
  Vilin97
  committed
  6f2ef60
- Simplify finite ownership selection proof
  Vilin97
  committed
  6713da1
- Share the tile odometer domain proof
  Vilin97
  committed
  e38241e
- Finish shared odometer API and document retained scope
  Vilin97
  committed
  2fe2f14
- Reuse shared Apollonian geometry proofs and narrow helper contracts
  Vilin97
  committed
  d805f57
- Share recurring geometric facts and remove duplicate private proofs
  Vilin97
  committed
  dfd58c0
- Narrow private helper captures and strengthen boundary concatenation
  Vilin97
  committed
  5e970f1
- Share lattice geometry facts and narrow proof interfaces
  Vilin97
  committed
  381f4fe
- Share remaining Apollonian infrastructure and localize elementary proofs
  Vilin97
  committed
  12372a9
Commits on Nov 13, 2026
- Share grid path reversal and remove redundant proof interfaces
  Vilin97
  committed
  2257e80
- Share prototile invariants and document vector initialization
  Vilin97
  committed
  07f2252
- Reduce private proof context and reuse repeated facts
  Vilin97
  committed
  c311c3b
- Refine helper interfaces and share geometric facts
  Vilin97
  committed
  6f193e8
- Share Ford geometry facts and isolate vector negation dependencies
  Vilin97
  committed
  e96e708
- Remove unused proof scaffolding and narrow geometry helpers
  Vilin97
  committed
  991527a
- Generalize touching-to-bordering to nonempty tiles
  Vilin97
  committed
  ce59cd5
- Share tile-string construction and remove unused geometric setup
  Vilin97
  committed
  bafbfeb
- Reuse canonical sector, tile and face-path constructions
  Vilin97
  committed
  f6c11c9
- Remove dead private scaffolding and share lattice primitives
  Vilin97
  committed
  65a99d6
- Share adjacent-cell geometry and simplify forwarding proofs
  Vilin97
  committed
  81d23d7
- Share frame algebra and boundary incidence proofs
  Vilin97
  committed
  ae250f7
- Generalize Gaussian coordinates and neighbor selection proofs
  Vilin97
  committed
  7eff471
- Share path and phase algebra and streamline neighbor ranks
  Vilin97
  committed
  04d38b6
- Narrow geometry helpers and remove redundant proof forwarding
  Vilin97
  committed
  fe9ae92
Commits on Nov 14, 2026
Commits on Nov 15, 2026

Commits

Commits on Nov 12, 2026

Commits on Nov 13, 2026

Commits on Nov 14, 2026

Commits on Nov 15, 2026