// jaylene slide // 0x04 - #1

Open

baileylu121 wants to merge 26 commits into

b7r6/dev-0x03from

baileylu/dev-0x04

Commits on Feb 13, 2026

// slide // test // add property and stress tests (37 tests, 0 failures) // 0x05
b7r6
committed
6b946c4
// slide // test // add markov chain SSE generator for polyhedral tensor calculus // 0x06
b7r6
committed
77e0b5a
// slide // bench // add benchmark suite and Buck2 test target (1.18B tokens/s) // 0x07
b7r6
committed
8f20860
// slide // docs // add GC analysis to performance doc (99.7% productivity) // 0x08
b7r6
committed
1581df7
// slide // docs // add claims & evidence section with honest assessment // 0x09
b7r6
committed
6db9ee7
// slide // core // implement reset-on-ambiguity strategy for provable correctness // 0x0A
b7r6
committed
8160524
// slide // docs // add pseudo-Lean4 specification to Decode.hs // 0x0B
b7r6
committed
fddd364
// slide // docs // add CORRECTNESS_STRATEGY.md, move docs to docs/ // 0x0C
b7r6
committed
536ebbd
// slide // tools // add markov SSE generator and ZMQ benchmarks with CLI // 0x0D
b7r6
committed
f7c26af
// slide // tools // markov now uses full SIGIL pipeline (tokenize → frame → ZMQ) // 0x0E
b7r6
committed
7b42747
// slide // nix // add markov and listen-debug apps // 0x0F
b7r6
committed
c86a870
// slide // nix // pure nix builds for slide, markov, and all apps // 0x10
b7r6
committed
1355ea0

Commits on Feb 15, 2026

Add direnv support
baileylu121
committed
12f95c4
Add nixos module + nix fmt
baileylu121
committed
21ac435
Fix hlint suggestions
baileylu121
committed
fcfe48b
Improve descriptions in nixos module
baileylu121
committed
5f11eb5
Improve nixos module
baileylu121
committed
3d8b29e
Package can never be null
baileylu121
committed
bdf3813
Add a nimi module
baileylu121
committed
577a79d
Port to service module instead of nimi module directly
baileylu121
committed
309f256
Add debug logs for user prompt connections
baileylu121
committed
aa7421e
Improve logging + set high watermark
baileylu121
committed
b1550fa
Rebase onto dev
baileylu121
committed
b218019

Commits on Feb 16, 2026

Use updated sensenet infra
baileylu121
committed
9d9dbd3
Fix stan lints
baileylu121
committed
5bea93a
`nix fmt`
baileylu121
committed
bc522df