Default branch

main
Some checks failed
Anti-Smuggle Gate / gate (push) Has been cancelled
Doc Sync Check / check (push) Has been cancelled
Lean Check / build (push) Has been cancelled
Python Check / test (push) Has been cancelled
Q16_16 Roundtrip / roundtrip (push) Has been cancelled

6d2136c328 · Extract monolithic lakefile into 14 standalone module targets · Updated 2026-07-07 23:42:39 +00:00

Branches

fb2718842d · docs: synthesize chiral CRT multiplexing theory · Updated 2026-07-04 19:37:12 +00:00    allaun

67
0
Included

8bf8781e49 · feat(semisym): modular fast path + scar-map ingest skeleton · Updated 2026-07-03 10:04:23 +00:00    allaun

155
1

f87c78d4e8 · ci(gate): add anti-smuggle vacuity check script + CI workflow layer · Updated 2026-07-03 10:03:08 +00:00    allaun

155
0
Included

094f211922 · Close the loop: retire re-exported YB tautology; register SidonMirrorNotch · Updated 2026-07-03 09:26:05 +00:00    allaun

161
0
Included

3b6baec64e · wip: durability snapshot of local working tree (pre-existing, uncommitted) · Updated 2026-07-03 01:49:53 +00:00    allaun

163
4

a24f6a9f9c · New files from Fly.io Launch · Updated 2026-06-27 21:07:32 +00:00    allaun

406
1