World model
where we are vs. our goals → 1151/1358 passing · gap 207 perf host-parity: unmeasured 19 open gaps
Benchmarks
how fast, measured honestly → 7 benchmark bodies · 1 live compute kernels: 19/22 ported · 3 gaps
Languages
219K lines across 1703 files Zig 112K · 51.3%
Koru 72.2K · 33.0%
Markdown 17.6K · 8.0%
Shell 11.6K · 5.3%
JavaScript 3.6K · 1.6%
Python 1.8K · 0.8%
Verification Progress
Daily count of verified passing features over time.
Test Suite Composition
Recent Activity
Last 50 verified transitions 055 reject nested kernel init ADVANCED FEATURES/390 KERNEL
Regression detected • 23a2e69d
Jul 30, 01:27 PM
053 reject stdlib event in kernel ADVANCED FEATURES/390 KERNEL
Verified passing • 23a2e69d
Jul 30, 01:27 PM
052 reject user event in kernel ADVANCED FEATURES/390 KERNEL
Verified passing • 23a2e69d
Jul 30, 01:27 PM
paths flag not supplied INTEGRATION TESTING/540 VALIDATION
Regression detected • 74ade6d4
Jul 30, 11:26 AM
paths alias main reserved INTEGRATION TESTING/540 VALIDATION
Regression detected • 74ade6d4
Jul 30, 11:26 AM
paths line not alias path INTEGRATION TESTING/540 VALIDATION
Regression detected • 74ade6d4
Jul 30, 11:26 AM
028 paths declared in pure k MODULE SYSTEM/110 IMPORTS
Regression detected • 74ade6d4
Jul 30, 11:26 AM
027 paths declared in source MODULE SYSTEM/110 IMPORTS
Regression detected • 74ade6d4
Jul 30, 11:26 AM
003 preorder arm resolves entity before descendants STDLIB/695 STORE TREE
Verified passing • 4bc22755
Jul 30, 10:27 AM
002 tree reparent cycle rejected STDLIB/695 STORE TREE
Verified passing • 4bc22755
Jul 30, 10:27 AM
001 tree parent synthesis preorder STDLIB/695 STORE TREE
Verified passing • 4bc22755
Jul 30, 10:27 AM
109 bare drain arm threads its column STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
108 drain discard names no synthetic binding STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
107 drain arm with the parameter omitted STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
106 drain arm with the parameter written STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
105 drain refusal names the composed type STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
104 undrainable column reports once STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
087 nested sweeps resolve independently STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
076 store indexed field read in stored STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
075 store cross store row index STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
072 insert redundant label rejected STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
071 insert pun shorthand STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
070 store take empty branch STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
065 removed owned string STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
064 write scalar in owned store STDLIB/690 STORE
Regression detected • 4bc22755
Jul 30, 10:27 AM
063 watch owned string stored STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
061 react inserted owned string STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
056 store file open column STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
051 store capacity selects shape STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
047 store entity take auto discharge under foreach STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
045 store stripe inside effect body STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
044 store stripe topo order STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
042 store verb inside effect branch body STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
040 store plural updated write only STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
037 store entity name shadows module heuristic STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
036 store entity cross module discharge STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
034 store entity take auto discharge STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
033 store interceptor binding used STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
032 store reject unused interceptor binding STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
031 store query sweep take STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
030 store guarded plural reactive STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
027 store pure k reactive attach STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
026 store reference guarded reactive STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
025 store reference reactive attach STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
023 store entity take discharger STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
022 store distinct row types per name STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
012 store reject cascade cycle STDLIB/690 STORE
Verified passing • 4bc22755
Jul 30, 10:27 AM
118 rejection prints a crash report INTEGRATION TESTING/510 NEGATIVE TESTS
Regression detected • 4bc22755
Jul 30, 10:27 AM
117 missing impl midchain fabricates value INTEGRATION TESTING/510 NEGATIVE TESTS
Regression detected • 4bc22755
Jul 30, 10:27 AM
116 missing impl midchain INTEGRATION TESTING/510 NEGATIVE TESTS
Regression detected • 4bc22755
Jul 30, 10:27 AM