Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Jul 22, 2026

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for 97c2b6f
  umpolungfish

  committed
  97c2b6f

  Copy full SHA for 97c2b6f

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for 018181f
  umpolungfish

  committed
  018181f

  Copy full SHA for 018181f

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for 4d33aa0
  umpolungfish

  committed
  4d33aa0

  Copy full SHA for 4d33aa0

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for f743139
  umpolungfish

  committed
  f743139

  Copy full SHA for f743139

Commits on Jul 21, 2026

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for 2d99dbe
  umpolungfish

  committed
  2d99dbe

  Copy full SHA for 2d99dbe

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for 19a3ef6
  umpolungfish

  committed
  19a3ef6

  Copy full SHA for 19a3ef6

Commits on Jul 20, 2026

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for d49cfad
  umpolungfish

  committed
  d49cfad

  Copy full SHA for d49cfad

• Demotion can reach every funded provider, and never borrows a foreign model.

  Show description for d981248
  umpolungfish

  committed
  d981248

  Copy full SHA for d981248

• The tri-dyad wears its true face across the store: ☊/☋ → ∈/∋

  Show description for 76255e3
  umpolungfish

  committed
  76255e3

  Copy full SHA for 76255e3

• The tri-dyad wears its true face across the store: ☊/☋ → ∈/∋

  Show description for 078b84f
  umpolungfish

  committed
  078b84f

  Copy full SHA for 078b84f

Commits on Jul 19, 2026

• ROTAT fully integrated into the auto-design pipeline.

  Show description for 60ffdbc
  umpolungfish

  committed
  60ffdbc

  Copy full SHA for 60ffdbc

• ROTAT fully integrated into the auto-design pipeline.

  Show description for e0ea895
  umpolungfish

  committed
  e0ea895

  Copy full SHA for e0ea895

• ROTAT integrated into auto pipeline: full orbit audit on every artifact — spectral vs phase readouts, canonical rotation

  umpolungfish

  committed
  a61b551

  Copy full SHA for a61b551

• ROTAT: op-opcode added to the kernel

  Show description for 9ed9bd9
  umpolungfish

  committed
  9ed9bd9

  Copy full SHA for 9ed9bd9

Commits on Jul 18, 2026

• ROTAT: op-opcode added to the kernel

  Show description for 2734889
  umpolungfish

  committed
  2734889

  Copy full SHA for 2734889

• ROTAT: op-opcode added to the kernel

  Show description for dda162d
  umpolungfish

  committed
  dda162d

  Copy full SHA for dda162d

• ROTAT: op-opcode added to the kernel

  Show description for 2c45f0c
  umpolungfish

  committed
  2c45f0c

  Copy full SHA for 2c45f0c

• ROTAT: op-opcode added to the kernel

  Show description for cd580db
  umpolungfish

  committed
  cd580db

  Copy full SHA for cd580db

• prime ob3ects carry their composition fingerprint now

  Show description for a5208de
  umpolungfish

  committed
  a5208de

  Copy full SHA for a5208de

Commits on Jul 17, 2026

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for e6cc3fe
  umpolungfish

  committed
  e6cc3fe

  Copy full SHA for e6cc3fe

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for f2dde7c
  umpolungfish

  committed
  f2dde7c

  Copy full SHA for f2dde7c

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 10a2d5c
  umpolungfish

  committed
  10a2d5c

  Copy full SHA for 10a2d5c

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for bf59bae
  umpolungfish

  committed
  bf59bae

  Copy full SHA for bf59bae

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for bc89667
  umpolungfish

  committed
  bc89667

  Copy full SHA for bc89667

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 650b838
  umpolungfish

  committed
  650b838

  Copy full SHA for 650b838

Commits on Jul 16, 2026

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 77d530f
  umpolungfish

  committed
  77d530f

  Copy full SHA for 77d530f

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 1974404
  umpolungfish

  committed
  1974404

  Copy full SHA for 1974404

Commits on Jul 15, 2026

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 26371f1
  umpolungfish

  committed
  26371f1

  Copy full SHA for 26371f1

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 052b813
  umpolungfish

  committed
  052b813

  Copy full SHA for 052b813

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 4f5ac1d
  umpolungfish

  committed
  4f5ac1d

  Copy full SHA for 4f5ac1d

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for 9cad336
  umpolungfish

  committed
  9cad336

  Copy full SHA for 9cad336

• Ħ is chirality everywhere, including in Core.lean's own comments

  Show description for f41b1e1
  umpolungfish

  committed
  f41b1e1

  Copy full SHA for f41b1e1

• Retire the Phi_c family: gen-1 criticality names to bare Shavian

  Show description for 62743ec
  umpolungfish

  committed
  62743ec

  Copy full SHA for 62743ec

• Retire the Phi_c family: gen-1 criticality names to bare Shavian

  Show description for f9f53a8
  umpolungfish

  committed
  f9f53a8

  Copy full SHA for f9f53a8

• Retire the gen-2 glyph-pair notation for bare Shavian

  Show description for f7c1189
  umpolungfish

  committed
  f7c1189

  Copy full SHA for f7c1189