Repository navigation

Dev - #9

Merged

a9lim merged 135 commits into

mainfrom

dev

Aug 12, 2026

Merged

Dev#9
a9lim merged 135 commits into
mainfrom
dev

Commits on Aug 7, 2026
- docs: resolve transfinite Arf classification
  a9lim
  committed
  a46a1ac
- Advance the FIFO linking proof frontier
  a9lim
  committed
  60c3144
- Sharpen the FIFO linking proof frontier
  a9lim
  committed
  fd9e096
- Prove the two-bit FIFO root refinement
  a9lim
  committed
  1dbb8c5
- Formalize the FIFO repair-forest frontier
  a9lim
  committed
  3f02c98
- Sharpen the FIFO contraction frontier
  a9lim
  committed
  ff07c8d
- Close static FIFO contraction routes
  a9lim
  committed
  e602c0a
- Expose the Eulerian FIFO curvature kernel
  a9lim
  committed
  830f4f2
- Sharpen the FIFO affine contraction frontier
  a9lim
  committed
  0796c33
Commits on Aug 9, 2026
- Sharpen the FIFO linking proof frontier
  a9lim
  committed
  e742739
- Advance FIFO linking odd-flow frontier
  a9lim
  committed
  7193ed3
- Sharpen FIFO linking dual obstruction
  a9lim
  committed
  8cb04c4
- formalize off core and FIFO proof frontier
  a9lim
  committed
  9aeac12
- formalize Lenstra excess column reduction
  a9lim
  committed
  e294f29
- Formalize FIFO strategy duality and tail repair
  a9lim
  committed
  2ac1024
- Resolve game-exterior deformation by divisibility
  a9lim
  committed
  39445e9
- Resolve Brown game-semantics reduction
  a9lim
  committed
  672689d
- formalize FIFO curvature and narrow strategy frontier
  a9lim
  committed
  5cee614
- prove conditioned FIFO close-first contraction
  a9lim
  committed
  5f2d568
- Prove stopped FIFO root contraction
  a9lim
  committed
  c2d6158
Commits on Aug 10, 2026
- Sharpen ordinal excess Kummer frontier
  a9lim
  committed
  1d71716
- Sharpen ordinal tower nonvanishing frontier
  a9lim
  committed
  c6eb8fe
- Prove all-exponent Gold diagonal source
  a9lim
  committed
  deb7d38
- Resolve Gold-Arf normal-play semantics
  a9lim
  committed
  e567f62
- Sharpen Gold-Arf naturality boundary
  a9lim
  committed
  c5f137a
- Integrate the complete Gold-Arf proof
  a9lim
  committed
  89dc057
- Strengthen Gold-Arf to a q-blind FIFO strategy
  a9lim
  committed
  b25bf7b
- Formalize FIFO singleton-wall transport
  a9lim
  committed
  b3cd2dd
- Formalize FIFO singleton-wall transport
  a9lim
  committed
  caa2dee
- Transport FIFO strategies across score sheets
  a9lim
  committed
  559513a
- Transport FIFO strategies across score sheets
  a9lim
  committed
  c4382f3
- Prove fixed-front affine no-separation
  a9lim
  committed
  ab335d8
- Sharpen FIFO fixed-front ancestry frontier
  a9lim
  committed
  457c2fa
- Prove fixed-front affine no-separation
  a9lim
  committed
  429ded6
- Document kernel-checked FIFO prefix boundary
  a9lim
  committed
  dd6e95e
- Sharpen Lenstra excess proof frontier
  a9lim
  committed
  a784f15
- Merge remote-tracking branch 'origin/dev' into dev
  a9lim
  committed
  32ab455
- docs: consolidate current research papers and ledgers
  a9lim
  committed
  6c753fc
- Strengthen cubic Lenstra-excess proof boundary
  a9lim
  committed
  42200ce
- Solve intrinsic Brown game semantics
  a9lim
  committed
  212f116
- Sharpen selected reciprocity proof boundary
  a9lim
  committed
  5d1172c
- Sharpen selected tower obstruction formulas
  a9lim
  committed
  a15b09e
- Formalize FIFO strategy-tree ancestry frontier
  a9lim
  committed
  c5c403a
- Close selected tower proof routes sharply
  a9lim
  committed
  0687929
- Sharpen FIFO dual minimum neutral fan
  a9lim
  committed
  dcc9167
- Sharpen ordinal tower ancestry frontier
  a9lim
  committed
  4dffa6f
- Refine FIFO neutral row offset frontier
  a9lim
  committed
  cc33201
- Prove FIFO relative live-star incidence
  a9lim
  committed
  ca4deb1
- Descend ordinal tower ancestry exactly
  a9lim
  committed
  2357425
- Sharpen FIFO correlated incidence frontier
  a9lim
  committed
  cacb393
Commits on Aug 11, 2026
- Refine FIFO neutral pairing obstruction
  a9lim
  committed
  981192f
- Compress the ordinal tower obstructions
  a9lim
  committed
  78fff81
- Record FIFO isolate-stable cell obstruction
  a9lim
  committed
  70216b5
- Exclude the even-U FIFO predecessor branch
  a9lim
  committed
  7abe763
- Expose the ordinal tower terminal order words
  a9lim
  committed
  d00bd82
- Sharpen the remaining FIFO odd spike
  a9lim
  committed
  b097a79
- Merge FIFO proof branches into dev
  a9lim
  committed
  d22646a
- Fold duplicate FIFO ancestry branch
  a9lim
  committed
  bb1ce64
- Advance Conway-Fermat proof frontier
  a9lim
  committed
  e541070
- Formalize FIFO normalization frontier
  a9lim
  committed
  59bf9c4
- Compress Conway-Fermat failure indices
  a9lim
  committed
  8300103
- Sharpen Conway-Fermat selector frontier
  a9lim
  committed
  d8842e0
- Expose Conway selector dynamics and residue symbol
  a9lim
  committed
  dff0b9d
- Formalize minimum-hot FIFO wall
  a9lim
  committed
  93d2a4e
- Sharpen Conway-Fermat reciprocity frontier
  a9lim
  committed
  9143705
- Formalize complete FIFO reply fans
  a9lim
  committed
  f466f35
- Isolate Conway-Fermat weighted ray obstruction
  a9lim
  committed
  a43b98b
- Sharpen Conway-Fermat Artin obstruction
  a9lim
  committed
  cd32834
- Expose affine Conway-Fermat selector
  a9lim
  committed
  0da2464
- Add exact Conway-Fermat factor screen
  a9lim
  committed
  ab579bf
- Sharpen Conway-Fermat norm descent
  a9lim
  committed
  6d47fe9
- Close reflection-norm routes in excess tower
  a9lim
  committed
  7963f77
- Sharpen selected maximal-order frontier
  a9lim
  committed
  964e14c
- Separate selected Kummer and Artin routes
  a9lim
  committed
  589049b
- Advance selected excess frontier and screens
  a9lim
  committed
  af85e0e
- Sharpen selected ancestry obstructions
  a9lim
  committed
  def70bb
- Sharpen selected ancestry frontiers
  a9lim
  committed
  9c1b960
- Pin selected ancestry norm boundaries
  a9lim
  committed
  e8cd3a6
- Sharpen selected ancestry invariant boundaries
  a9lim
  committed
  bcfae8f
- Certify p359 and sharpen selected ancestry boundaries
  a9lim
  committed
  6283f07
- Exhaust selected remainder and cubic fibre routes
  a9lim
  committed
  4908c3d
- Collapse quotient, radical, and phase routes
  a9lim
  committed
  46f6b10
- Sharpen Lenstra excess proof frontier
  a9lim
  committed
  8804ba0
- Sharpen Lenstra excess selected-value frontiers
  a9lim
  committed
  0dca7ae
Commits on Aug 12, 2026
- Collapse recursive trace and Euler block routes
  a9lim
  committed
  1dd6941
- Sharpen the first uncollapsed Fermat jet
  a9lim
  committed
  61fd7dd
- Advance selected tower frontiers
  a9lim
  committed
  56c2474
- Certify the p719 ordinal carry
  a9lim
  committed
  37e3403
- Close the finite carry census at p727
  a9lim
  committed
  2b4ac1e
- Sharpen the global excess proof frontier
  a9lim
  committed
  7d39a6f
- Saturate global excess phase descents
  a9lim
  committed
  9ac716d
- Sharpen the global excess birth edge
  a9lim
  committed
  ee01c67
- Advance the global excess frontier
  a9lim
  committed
  762d650
- Sharpen the global excess obstructions
  a9lim
  committed
  e0e452a
- Pin the marked Frobenius frontier
  a9lim
  committed
  1695670
- Prove selected-prime transversality
  a9lim
  committed
  5ec8da7
- Sharpen the Conway-Popovych frontier
  a9lim
  committed
  171e7ac
- Add a global CSDU packet sieve
  a9lim
  committed
  f0e9d92
- Sharpen the global CSDU proof boundary
  a9lim
  committed
  7bbe73c
- Exclude the adjacent CSDU endpoint classes
  a9lim
  committed
  37084a5
- Identify the exact CSDU trace-block coordinate
  a9lim
  committed
  0bc1a84
- Extend the CSDU inverse sieve across lower periods
  a9lim
  committed
  b358ea4
- Fix the literal CSDU quarter-Frobenius orientation
  a9lim
  committed
  4ddd409
- Sharpen the global CSDU quarter-class sieve
  a9lim
  committed
  81a712f
- Complete the CSDU quarter-class sieve
  a9lim
  committed
  1f6129f
- Formalize the FIFO causal affine frontier
  a9lim
  committed
  570ef28
- Classify the CSDU canonical-lift trace
  a9lim
  committed
  db5604f
- Promote the transfinite classification to quadratically closed fields
  
  a9lim
  and
  claude
  committed
  46cd0e3
- Restructure thermo_newton around the Norton thermic law
  
  a9lim
  and
  claude
  committed
  801b37d
- Merge the four resolved papers into the goldarf flagship
  
  a9lim
  and
  claude
  committed
  2c6a74d
- Repoint ledgers and working notes at the merged flagship
  
  a9lim
  and
  claude
  committed
  bb29528
- Ledger the flagship's two missing crate surfaces
  
  a9lim
  and
  claude
  committed
  3669ed1
- Make FIFO strategy policy identity explicit
  a9lim
  committed
  28d51f6
- Sharpen the FIFO causal descent boundary
  a9lim
  committed
  935dc7e
- Dress the goldarf flagship for INTEGERS submission
  
  a9lim
  and
  claude
  committed
  cab8b89
- Classify FIFO causal cross boundaries
  a9lim
  committed
  6487895
- Formalize selected-log unit frontier
  a9lim
  committed
  2668c3f
- Exhaust nonlinear selected-phase routes
  a9lim
  committed
  55c3809
- Seed frontier notes for the three flagship opens
  
  a9lim
  and
  claude
  committed
  e636f89
- Isolate the FIFO dummy-exit incidence carrier
  a9lim
  committed
  31fe4e1
- Close the observation-width open via block compression
  
  a9lim
  and
  claude
  committed
  6a31bac
- Sharpen selected-phase proof boundary
  a9lim
  committed
  a986422
- Prove the impartial uniform realizer theorem
  a9lim
  committed
  77645d7
- Fold the impartial theorem into the Gold paper
  a9lim
  committed
  f7ab950
- Solve the game-native Gold extraspecial model
  a9lim
  committed
  e89348d
- Formalize the FIFO outer real fan
  a9lim
  committed
  2f3bd46
- Harmonize the flagship after the twin closures
  
  a9lim
  and
  claude
  committed
  394f28c
- Close secondary selected-phase routes
  a9lim
  committed
  a81cf1b
- Simplify the author block to model identities
  
  a9lim
  and
  claude
  committed
  6f88874
- Formalize the protected FIFO dummy fan
  a9lim
  committed
  043a8c3
- Bring CLOSED-TODO current after the twin closures
  
  a9lim
  and
  claude
  committed
  763827f
- Formalize the FIFO interlacement boundary
  a9lim
  committed
  6da188a
- Sharpen Conway selected-phase frontier
  a9lim
  committed
  752a89c
- Correct FIFO dummy deletion and root selection
  a9lim
  committed
  5675ef6
- docs: rewrite current documentation and papers
  a9lim
  committed
  59dfe0c

Commits

Commits on Aug 7, 2026

Commits on Aug 9, 2026

Commits on Aug 10, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026