Learn Platform Status Blog

1531/1718 tests passing

CORE LANGUAGE / BASIC SYNTAX 22/24

✓ 000 hello world koru
✓ 001 hello world
✓ 002 simple event
✓ 003 event multiline shape
✓ 004 const block module scope
✓ 005 const typed values
✓ 006 const cross target
✓ 007 string escape in flow arg
✓ 020 eol comments
✓ 050 kebab event emits
✓ 051 kebab event field
✓ 052 slash namespace
✓ 053 reject underscore name
✓ 054 println removed
✓ 055 bare import
✓ 056 slash resolves qualified event
✓ 057 reject dot namespace
✓ 058 kebab canonical in pipeline
✓ 059 backtick raw pattern branch
✓ 060 quoted branch with space
✓ 061 backtick bracket equivalence
✓ 062 const array index
✗ 063 modulo operator signed i64 gap
✗ 064 for range loop var i64 mix gap

CORE LANGUAGE / EVENTS FLOWS 38/40

✓ 001 simple flow
✓ 002 multiple flows
✓ 004 void event
✓ 005 void event chained
✓ 006 void pipeline sequence
✓ 007 binding annotations
✓ 008 wildcard branch payload
✓ 010 expression with brace
✓ 011 reject tilde inside flow
✓ 012 reject pub proc
✗ 013 reject function call in branch constructor
✓ 014 pure subflow impl
✓ 015 reject binding on void branch
✓ 016 destructure basic
✓ 017 destructure nested host
✓ 018 destructure effect branch
✓ 019 reject destructure unused field
✓ 020 reject destructure void branch
✓ 021 event arrow return
✓ 022 proc arrow return
✓ 023 subflow arrow return
✓ 024 event arrow record return
✓ 025 continuation handler bare return
✓ 026 slice arrow return
✓ 027 record arrow return proc
✓ 028 loop exit arrow return
✓ 029 subflow bind produce
✓ 030 chained subflow bind produce
✓ 031 midchain bind produce in handler
✓ 032 reject unimplemented event invocation
✓ 033 if bare return produce
✓ 034 recursive if bind produce
✓ 035 destructure effect branch when guard
✓ 036 destructure when guard boolean and
✓ 037 multiline decl bare return
✗ 038 union param callsite gap
✓ 060 string payload canonical
✓ 061 subflow inline transform bound value
✓ 062 kebab branch across a module boundary
✓ 063 multiline record arrow return

CORE LANGUAGE / LITERALS 7/8

✓ 010 array literal simple
✓ 011 array literal bindings
✓ 012 struct literal inline
✓ 013 array of structs
✓ 014 array literal invalid target
✗ 016 array literal subflow impl
✓ 018 string escape backslash then quote
✓ host type injection

CORE LANGUAGE / TYPE SYSTEM 10/16

✓ 102 float type
✓ 103 bool type
✓ 110 generic struct basic
✓ 111 generic struct two params
✗ 112 generic struct nested
✓ 113 generic struct with primitives
✗ 120 instantiate basic
✗ 121 instantiate with named type
✗ 122 instantiate two params
✗ 123 instantiate nested generic
✓ 132 generic type mismatch
✓ 133 instantiation param mismatch
✓ 140 type with const
✓ 141 type with capture
✓ 142 nominal in pipeline
✗ 143 signed runtime division

CORE LANGUAGE / CONTROL FLOW 31/32

MODULE SYSTEM / IMPORTS 21/27

✓ 001 file import basic
✓ 002 directory import basic
✓ 003 directory import public
✗ 004 file processor
✓ 005 deep error handling
✗ 006 transitive file import
✗ 007 dir import basic
✓ 008 dir import no pub
✗ 009 dir import dotted
✗ 010 dir import flow
✓ 012 auto import parent
✗ 013 module event globbing
✓ 014 auto import index
✓ 015 sibling in same directory
✓ 016 optional parent
✓ 017 granular path longest match
✓ 020 cross module literal arg
✓ 021 keyword tor as subflow head in module
✓ 022 store across module boundary
✓ 023 implicit expr slot in module
✓ 024 implicit expr slot in entry
✓ 025 implicit expr slot declared second
✓ 026 pun survives without expr param
✓ 027 paths declared in source
✓ 028 paths declared in pure k
✓ 029 koru alias is a default
✓ 030 index and directory are one module

MODULE SYSTEM / COMPTIME MIRROR 47/47

✓ 001 io print ln in module
✓ 002 switch char in module
✓ 003 regex scan in module
✓ 004 field new in module
✓ 005 kernel init in module
✓ 006 field new in entry tor
✓ 007 regex scan in entry tor
✓ 008 nested loop in module
✓ 009 nested loop in entry tor
✓ 010 nested loop under branch in module
✓ 011 nested loop under branch in entry tor
✓ 012 parser grammar in module
✓ 013 regex match in module
✓ 014 liquid emit in module
✓ 015 print blk in module
✓ 016 kernel self in module
✓ 017 store take in entry tor
✓ 018 store insert in module
✓ 019 store query in module
✓ 020 store sweep in module
✓ 021 store watch in module
✓ 022 store stripe in module
✓ 023 store take in module
✓ 024 capture in module
✓ 025 list new in module
✓ 026 fmt ln in module
✓ 027 kernel pairwise in module
✓ 028 kernel step in module
✓ 029 field mark multiples in module
✓ 030 types struct in module
✓ 031 types nominal in module
✓ 032 types float in module
✓ 033 taps tap in module
✓ 034 constructor struct in module
✓ 035 io print in module
✓ 036 runtime register in module
✓ 037 types bool in module
✓ 038 trellis enforce in module
✓ 039 trellis check in module
✓ 040 store query in entry tor
✓ 041 parser grammar in entry tor
✓ 042 store rule in module
✓ 043 sweep capture across module boundary
✓ 044 id request across module boundary
✓ 045 grid in module
✓ 046 grid cells across modules
✓ 047 vendor bindings in module

MODULE SYSTEM / NAMESPACES 2/2

✓ 001 directory namespace collision
✓ 002 local name priority

MODULE SYSTEM / PACKAGES 10/10

✓ 002 package requires npm
✓ 003 vendor pin matches
✓ 004 vendor drift refused
✓ 005 vendor unpinned refused
✓ 006 vendor binding resolves import
✓ 007 vendor binding conflicts with path
✓ 008 vendor binding agrees with path
✓ 009 vendor lock v1 still pins
✓ 010 vendor patch survives sync
✓ 011 vendor gate is the compiled tree

MODULE SYSTEM / FILE LAYOUT 18/19

✓ 001 kjs extension import
✓ 002 k pure contract
✓ 003 directory mixed extensions
✓ 004 index kjs directory source
✓ 005 companion k and kz
○ 006 reject private event in contract
✓ 007 reject pub event in impl when k exists
✓ 008 pub event in kz alone is fine
✓ 009 entry merges companions
✓ 010 cross target host line routing
✓ 011 vaxis pump realistic
✓ 012 js dispatch binding shadow
✓ 013 js continuation branch dispatch
✓ 014 for template cross target
✓ 015 if template cross target
✓ 016 private event in k allowed
✓ 017 lib mode exports survive and are importable
✓ 018 lib mode text crosses as pointer and length
✓ 019 lib mode numeric buffers cross as pointer and length

✓ 050 identity branches
✓ 052 braceless branch constructors
✓ 053 braceless continuation constructors
✓ 060 single line source blocks
✓ 070 nested tilde invocations
✓ 080 nested when guards
✓ 081 unbalanced bracket in payload
✓ 082 unbalanced bracket in args
✓ 083 unclosed paren in capture value
✓ 084 bare module call in kz is host line
✓ 085 braced ctor payload inline bind

COMPILER FEATURES / PARSER 166/177

✓ lenient multiple errors
✓ 001 event multiline shape
✓ 003 conditional imports
✓ 004 branch when clauses
✓ 006 flow checker validation
✓ 007 flow checker missing else
✓ 008 tap nested continuation
✗ 009 source with scope capture
✓ 010 module annotations
✓ 011 optional branch catchall
✓ 012 missing required branch
✓ 013 void event chaining
✓ 014 void chaining nested
✓ 015 abstract impl
✓ 016 optional branches ignored
✓ 017 catchall end to end
✓ 018 multiline annotations
✓ 019 subflow multiline call
✓ 020 transitive imports
✓ 022 invocation parentheses rules
✓ 023 pipeline chain depth
○ 024 source scope capture
✓ 026 template interpolation
✓ 029 transform requires comptime
✓ 030 comptime flows
✓ 031 annotations in ast
✓ 032 implicit source param
✓ 034 parser wrapper
✗ 035 circular imports
✓ 036 expression parameter
✓ 037 expression scope capture
✓ 038 implicit expr and source
○ 039 file source syntax
✗ 040 expression string capture
✓ 041 expression backslash escape
✓ 042 orisha pattern
✓ 043 inline continuation rejected
✓ 044 source block with branches
✓ 045 source block in pipeline
✗ 046 implicit expression with semicolon
✓ 047 flow step brace is invocation not constructor
✓ 048 loop unhandled branch
✗ 049 parser runtime
✓ 050 expression parameter emit
✓ 051 subflow field shorthand
✓ 052 pattern branches
✗ 053 reject old tap syntax
✓ 054 inline source block args
✓ 056 cross module comptime dispatch
○ 057 cross module comptime callsite fields
✓ 058 cross module comptime return type
✗ 059 reject tilde after pipe forward
✓ 060 proc abstract override
✓ 061 reject zig struct syntax
✓ 062 reject empty brace payload
✓ 063 reject single field braces
✓ 064 parser drops second call after void
✓ 065 reject inline flow in proc
✓ 066 reject pipe forward body on next line
✓ 070 reject terminal before effect at decl
✓ 071 reject terminal before effect at dispatch
✓ 072 effect branch simple decl
✓ 073 effect branch only no terminal
✓ 074 effect branch resume type
✓ 075 effect branch consumer dispatch
✓ 076 optional effect branch decl
✓ 077 effect catchall dispatch
✓ 078 reject redundant when parens
✓ 079 effect branch resume expression
✓ 080 body position expressions
✓ 081 reject bare terminal catchall discard
✓ 082 reject bare effect catchall discard
✓ 083 reject metatype catchall full discard
✓ 084 reject when only required terminal branch
✓ 085 reject when only required effect branch
✓ 086 accept when only optional effect branch
✓ 087 phantom literal suffix
✓ 088 reject redundant punning call site
✓ 089 reject redundant punning path
✓ 090 reject redundant punning constructor
✓ 091 explicit label required when not punnable
✓ 092 effect multi arm decl indented
✓ 093 effect multi arm decl single line
✓ 094 reject bare arg name mismatch
✓ 095 reject bare literal arg
✓ 096 reject bare path name mismatch
✓ 120 reject square bracket phantom
✓ 121 module annotation above import
✓ 122 char literal paren in args
✓ 123 label on subflow rhs panics
✓ 124 if cond and dropped
✓ 125 panic branch decl
✓ 126 panic effect branch decl
✓ 127 panic branch synthesized
✓ 128 reject bare panic marker
✓ 129 reject panic dup name
✓ 130 panic branch strict flag
✓ 131 reject single continuation branch with payload
✓ 132 reject arrow in continuation branch decl
✓ 133 reject bare const decl dot k
✓ 134 effect arm indent must align
✓ 135 effect arms exclusive with resume type
✓ 136 effect arms never nest effects
✓ 137 effect unit payload spelled by omission
✓ 138 reject empty ctor braces
✓ 139 inline block close then branch
✓ 140 variant selector on transform swallowed
✓ 141 reject branches off bodiless branch
✓ 142 capture inflow compiler annotation
✓ 144 single field multi branch advises identity
✓ 145 reject deferred branch decl
✓ 146 reject deref continuation
✓ 147 destructure field must exist in payload
✓ 148 destructure valid fields
✓ 149 reject single field bare return record
✓ 150 reject single field effect resume record
✓ 151 pointfree chain threads whole input
✓ 152 pointfree choke catches failing stage
✓ 153 pointfree choke record body
✓ 154 pun scalar bind inline
✓ 155 pun required no match
✓ 156 pun type mismatch
✓ 157 pun effect payload bind
✓ 158 transform continuation position panic
✓ 159 annotation error keeps rest of file
✓ 160 annotation error locates the entry
✓ 161 diagnostic never shows injected source
✓ 162 reject pub var decl dot k
✓ 163 reject variant tag on tor decl
✓ 164 ast locations are file relative
✓ 165 reject unknown label on implicit slot callee
✓ 166 fold prefix drops exit arm capture
✓ 167 midflow fold reads outer binding
✓ 168 source block opens subflow definition line
✓ 169 chain after multiline source block on definition line
✓ 170 fold prefix drops effect handlers
✓ 171 double slash in midchain string
✓ 172 chain bind threads by pun
✓ 173 rebind in chain leaks zig error
✓ 174 multiline chain eats following arms
✓ 175 thread arrives as subject
✓ 176 thread binds by type not position
✓ 177 subflow chain runs every step
✓ 178 listed body line is refused dot k
✓ 179 listed body line is refused dot kz
✓ 180 thread cannot elect between slots
✓ 181 thread has no home in next stage
✓ 182 arrow terminus after binderless chain
✓ 183 bare arrow terminus without bind is refused
✓ 184 last step return satisfies flow return
✓ 185 chain arrow terminus without any bind is refused
✓ 186 chain ends on wrong return type
✓ 187 chain ends on step producing nothing
✓ 188 threaded chain gets synthesized terminus
✓ 189 effect bearing step keeps its return bind
✓ 190 reject named single outcome
✓ 191 unbound branch payload threads by type
✓ 192 unbound effect payload threads by type
✓ 193 multiline chain carries its effect arms
✓ 194 durable bind threads by type through subtree
✓ 195 head label on bare return binds result
✓ 196 escaped quote in arg string
✓ 197 pointfree choke heterogeneous stages
✓ 198 pointfree choke claims no stage
✓ 199 choke body keeps module qualifier
✓ 200 multiline subflow body keeps its chain tail
✓ 201 arm diagnostic locates the arm
✓ 202 multiline string is not proc body code
✓ 203 reject tilde in dot k
✓ 204 inline flow in proc is refused
✓ 205 head label on bare return binds in a subflow
✓ 206 inline identity branches on tor
✓ 207 source block shallower than branch
✓ 208 top level multiline chain carries its arms
✓ 209 braced produce in an arm
✗ 210 head label in subflow body binds result
✓ 209 reject tilde after annotation close

COMPILER FEATURES / COMPILATION 15/19

✓ 001 cross module type basic
✓ 002 reject dotted type ref
✓ 003 cross module type basic
✓ 004 cross module type nested
✓ 005 cross module type nullable
✗ 006 std module type ref
✗ 007 parser dump ast
✗ 008 parser benchmark
✓ 010 module annotation serialization
✓ 013 many transforms no cap
✓ 014 abstract seam host facets
✓ 021 void chaining codegen
✓ 022 combined continuation bugs
✓ 023 comptime program return
✓ 026 transform ctx injection
✓ 027 transform reporter injection
✓ compiler requires
✓ compiler flags declare
✗ unknown flag rejected

COMPILER FEATURES / FLOW CHECKER 9/12

✗ 009 unused binding error
✓ 011 discard binding ok
○ 012 interpolation use in for loop
✓ 015 reject branch payload unbound
✗ 016 reject continuation without branch handler
✓ 017 effect branch multiline chain
✓ 018 optional effect noop discard banned
✓ 019 optional effect multi guard no else
✓ 020 flowhead multiline chain
✓ 024 obligation branch multiline chain
✓ 025 err hoist wrong type
✓ 028 reject underscore outside branch handler

COMPILER FEATURES / CODEGEN 1/1

✓ 002 emitter wrapper

COMPILER FEATURES / EMITTER 9/9

✓ 010 variable naming nested scopes
✓ 011 print ln continuation ordering
✓ 012 for binding in nested range
✓ 013 qualified type in branch
✓ 014 binding param name collision
✓ 015 nested inline effect arg shadow
✓ 016 host line local shadows tor input
✓ 017 tor param named zig keyword
✓ 018 binding shadows zig primitive

COMPILER FEATURES / STD LIBRARY 3/3

✓ 020 args basic
✓ 021 args passthrough
✓ 022 args cross target

COMPILER FEATURES / TEMPLATE ENGINE 9/9

✓ 001 substitute arg
✓ 002 if truthy
✓ 003 if else
✓ 004 for over continuations
✓ 005 missing branch comp error
✓ 006 template continues to terminal
✓ 007 if returns terminals
✓ 008 if compares to literal
✓ 009 reject unparseable condition

COMPILER FEATURES / SUBFLOW 1/1

✓ 010 plain value branch

SYNTAX / STRUCT CONSTRUCTORS 2/2

✓ 021 field punning shorthand
✓ 025 field punning

ADVANCED FEATURES / COMPTIME 77/93

✓ 001 import registers taps
✓ 002 import registers taps wildcards
✓ 003 implicit destructuring shadowing
✓ 005 annotation inline syntax
✓ 006 event taps
✓ 007 event taps nested
✓ 008 annotation vertical syntax
✓ 009 multiple taps
✓ 010 annotation edge cases
✗ 013 tap chains
✓ 014 taps with labels
✗ 015 when clauses
✓ 017 namespace wildcards
✓ 018 ccp opt in
✓ 020 ccp flag only
✓ 021 build requires basic
✓ 022 multiline params
✓ 023 scoped patterns
✓ 024 shorthand field params
✓ 025 qualified patterns
✓ 026 destination scoping
✓ 027 conditional imports
✓ 028 conditional import flag off
✓ 029 conditional import flag on
✓ 030 build command sh
✓ 031 flow annotations
✓ 032 default override basic
✓ 033 default with dependencies
○ 034 metatype branch requires binding
✓ 035 tap void event transition
✓ 036 tap terminal invocation
✓ 037 tap destination matching
✓ 038 tap terminal void
✓ 039 branch payload requires binding
○ 040 literate annotations
✓ 041 metatype profile binding
✓ 042 metatype transition binding
✓ 043 metatype audit binding
✓ 044 metatype multiple observers
✓ 045 metatype when guards
✓ 046 metatype enum helpers
✓ 047 deps system
✓ 048 branch payload discard ok
✗ 049 invocation meta
✗ 050 build flag check
✗ 051 build variants
✓ 052 optional expression
✓ 053 help discovers commands
✓ 054 help discovers flags
✓ 055 command subcommands
✓ 056 user defined flags
✓ 057 build config basic
✓ 058 build config annotation quotes
✓ 059 opaque tap skipping
✓ 060 tap as library
○ 061 named expression params
✓ 062 tap nested invocation
✓ 063 deps install
✗ 064 explain command
○ 090 aspire comptime pure koru fold
✗ 091 aspire comptime loop
✓ 092 table from comptime range
✓ 093 table keep wheel
✓ 094 wheel 30030
✓ 095 wheel gaps
✓ 096 wheel gaps 30030
✓ 097 wheel runtime walk
✓ 098 comptime fold expression
○ 099 aspire koru template facet
○ 100 aspire comptime pgo route order
○ 101 aspire comptime data to liquid
✗ 102 comptime obligation leak
✓ 103 bare stem command dispatch
✓ 104 multiline conditional import
✓ 105 conditional import expression entry
✓ 106 annotation nested entry delimiters
✓ 107 comptime module tap wall
✓ 108 command gated import
✓ 109 command gated import absent
✓ 110 glance command
✓ 111 claims variant keys
✓ 112 claims key crash
✗ 113 gated import inside imported module
✓ 114 deps from imported module
✓ 115 deps argument order
✓ 116 invariants declare and list
✓ 119 build config target reaches backend
✓ 120 default build step chain
✓ 121 wasm freestanding target builds
✓ 122 x86 freestanding program allocates
✓ 123 missing input exits nonzero
✓ comptime pass noop
✓ buildstep api

ADVANCED FEATURES / STDLIB 50/52

✓ 001 std if
✓ 002 stdlib if
✓ 003 stdlib if scoped
✓ 010 std for basic
✓ 011 std for nested
✓ 018 template define
✓ 019 template lookup
✓ 020 if inline codegen
✓ 021 for zero overhead
✓ 022 for outer scope
✓ 023 for pipeline
✓ 024 for deeply nested
✓ 025 if deeply nested
✓ 026 for subflow
✓ 027 capture basic
✓ 028 capture multi
✓ 029 template lookup in transform
✓ 030 println basic
✓ 031 println types
✓ 032 println blk basic
✓ 033 println koru scope
✓ 034 capture nested
○ 035 capture multi field
✓ 036 capture nested qualified
✓ 037 nested if simple
✓ 039 if inside for
✓ 040 for inside if
✓ 041 triple nested
✓ 042 capture if for multi
✓ 043 const basic
✓ 044 const simple
✓ 045 capture array index
✓ 046 capture existing struct
✓ 047 if subflow enclosing branches
✓ 048 reject for terminal each
✓ 049 println conditionals
✓ 050 transform impl pattern
✓ 053 println blk conditionals
✓ 054 transform order
✓ 055 nested for simple
✓ 057 capture 2d array index
✓ 060 fs read lines
✓ 070 for with binding
✓ 081 ecology pass ran mechanism
○ 082 ecology custom transform
✓ 090 rings basic
✓ 091 print float format
✓ 092 print blk void chain multiline
✓ 093 print blk void chain inline second
✓ 094 std if nested
✓ 098 capture nested site
✓ 100 print blk raw posix variant

ADVANCED FEATURES / KEYWORD 5/5

✓ 001 keyword basic
✓ 002 keyword collision
✓ 003 keyword explicit
✓ 004 keyword requires pub
✓ 005 keyword expression

ADVANCED FEATURES / PHANTOM TYPES 109/130

✓ 006 cleanup consumed by disposal
✓ 007 use after disposal
✓ 008 obligation escapes via interface
✗ 009 universal wildcard metatype
✗ 010 module wildcard metatype
✓ 011 auto discharge multiple
✓ 012 auto discharge explicit with multiple
✓ 013 auto discharge explicit ok
✓ 014 scope for loop inner
✓ 015 scope for loop outer
✓ 016 scope nested
○ 017 scope label loop
✓ 018 auto discharge escaped obligation
✗ 019 auto discharge branch constructor
○ 020 auto discharge void event
✓ 021 auto discharge multiple resources
✓ 022 if manual both branches
✓ 023 if auto both branches
✓ 024 if hybrid manual auto
✓ 025 auto discharge disabled
✓ 026 auto discharge warn
✓ 027 db transaction pattern
✓ 028 ambiguous without default
✓ 029 module qualified phantom states
✗ 030 taps with auto discharge
✗ 031 tap binding substitution
✓ 032 nested for scopes
✓ 033 phantom state mismatch
✓ 034 unknown phantom module
✓ 035 autodischarge prefers void
✓ 036 autodischarge no void candidate
✓ 037 default discharge must be void
✓ 038 cleanup obligation satisfied
○ 039 transition metatype
✓ 040 undisposed nested obligation
✓ 041 auto discharge single
✓ 042 metatype binding scope
✓ 043 auto discharge none
✓ 044 for manual done ok
✓ 045 for manual each error
✓ 046 for auto done ok
✓ 047 nested if in for
✓ 048 nested for in if
✓ 049 default discharge annotation
✗ 050 union accepts either state
✓ 051 union with consume marker
✓ 052 escape field name mismatch
✓ 053 for loop obligation escape
✓ 054 optional branch obligation
○ 055 auto discharge cascade
✓ 056 union per member consume marker
✓ 057 auto discharge emission parity
✓ 058 reject issue on input
✓ 059 reject consume on output
✗ 060 reject state mismatch on input
✓ 061 inline obligation cascade
✓ 062 reject identity struct mismatch
✓ 063 phantom state on primitive
✓ 064 reject phantom primitive mismatch
✓ 065 phantom compound unit
✓ 066 phantom literal suffix callsite
✓ 067 reject bare literal at phantom param
✓ 068 phantom obligation on primitive string
✓ 069 reject undischarged string obligation
✓ 070 auto discharge strict convention
✓ 071 aspire chain autodischarge
✓ 073 label fold borrow outer own
✓ 074 obligation carried through back edge
✓ 075 back edge drops obligation
✗ 076 obligation seed via consuming param
✓ 077 reject carry consume in for
✗ 078 reject dropped carried obligation
✓ 079 reject double consume carried
✓ 080 reject consume outside obligation in loop
✓ 081 container move i64 in loop
✓ 082 element obligation move in for
✓ 083 element obligation move through loop
✗ 084 nested loop carries outer obligation
✗ 085 obligation held across back edge
✗ 086 inline nested fold outer obligation
✓ 087 cross module qualified state unifies
✓ 088 reject bare state outside declaring module
✓ 089 taint tracking capability
✓ 090 auto discharge dotted disposer
✓ 091 auto discharge disable leaks through borrow
✓ 092 phantom direct return rechain drops obligation
✓ 093 flat phantom bind chain
✓ 094 bare return discard auto discharges
✓ 095 flow head obligation no continuation
✓ 096 obligation in record field
✓ 097 midchain unbound obligation leak
✓ 098 obligation record field under for each
✓ 099 obligation record field leak under subflow
✓ 100 obligation record field explicit discharge misdiagnosed under subflow
✓ 101 field narrowing discharge all
✓ 102 field narrowing drop remainder
✓ 103 partial destructure omits obligation
✓ 104 field narrowing three fields
✓ 105 narrowing keeps plain field
✓ 106 discharge out of order
✓ 107 destructure all then discharge
✓ 108 destructure may drop plain field
✓ 109 double discharge field
✓ 110 reject issue obligation in input
✓ 111 reject consume obligation in output
○ 112 reject redundant phantom qualification
✓ 113 named capture obligation undischarged
✓ 114 produce obligation lost to continuation
✓ 115 branch payload obligation survives continuation
✓ 116 field narrowing mid chain
✓ 117 aliased obligation fields are proc business
✓ 118 conserving tor is not a disposal candidate
✓ 119 autodischarge use is invisible to koru100
✓ 120 unbound bare return obligation auto discharges
✓ 121 head label bind discharges through label
✓ 122 head label bind obligation undischarged
✗ 123 midchain unbound still walls under disable
✗ 124 union discharger named in diagnostic
✓ 125 transferred obligation dropped in body
✗ 133 partial reissue keeps converting arm
✓ multiple cleanup paths
✓ multiple resources cleanup
✓ multiple resources partial cleanup
✓ state variable wildcard
✓ state variable constrained accepts
✓ state variable constraint violation
✓ state variable chaining
○ phantom state mismatch
✓ phantom state valid
✓ multiple errors

ADVANCED FEATURES / OBLIGATION STRESS 22/25

✓ 002 if else discharges then drops
✓ 003 if then discharges else drops strict
✓ 004 loop body discharges outer
✓ 005 nested loop inner discharges outer
✗ 006 err branch leaks opened resource
✗ 007 chain second err leaks first resource
✓ 020 instance single discharger
✓ 021 instance no explicit free
✓ 022 disconnect before commit
✓ 023 disconnect before rollback
✓ 024 stale view after take
✓ 025 stale tx after commit
✓ 040 subflow drops obligation on input
✓ 042 read file no free
✓ 043 read stdin no free
✓ 044 taint stripped at untyped param
✓ 045 taint stripped at echo boundary
✓ 046 continuation after borrow auto discharges
✗ 047 taint original reused after sanitizer
✓ 048 taint original printed beside sanitized
✓ 050 auto discharge lifo order
✓ 051 explicit then auto discharge
✓ 052 stale record field in interpolation
✓ 054 discharge a binding that never owed
✓ 055 bare state return aliases the borrow

ADVANCED FEATURES / OBLIGATION MATRIX 6/6

✓ 001 string view drop single
✓ 002 string instance drop single
✓ 003 string instance drop discard branch
✓ 004 string view drop multibranch
✓ 005 transaction active nonvoid only
✓ 006 connection active drop single

ADVANCED FEATURES / TYPE SYSTEM 11/15

✓ 001 struct basic
✓ 002 struct keyword
✓ 003 struct pub keyword
✓ 004 struct in flow
✓ 005 type declaration
✓ 006 nominal binding check
✗ 007 registry field comprehension
✗ 008 comprehension rows vec3
✗ 009 mixed literal comprehension rows
✓ 010 constructor list terminal
✓ 011 constructor generates struct
✓ 012 constructor consumes type registry
✓ 013 fields of standalone traversal
✗ 014 constructor named targets and value
✓ 015 constructor unbound each default loop var

ADVANCED FEATURES / AUTO PROC 3/3

✓ 001 basic passthrough
✓ 002 phantom transition
✓ 004 uncalled event ok

ADVANCED FEATURES / PATTERN BRANCHES 3/4

○ 003 pattern dispatch
✓ 006 http routing
✓ 008 pattern syntax
✓ 011 http routing

ADVANCED FEATURES / SUBFLOWS 22/24

✓ subflow immediate
✓ subflow flow
✓ subflow chained
✓ subflow multi continuation
✓ subflow invalid branch
✓ subflow with taps
✓ nested recursive label
✓ subflow with taps pure koru
✗ 005 static router nested
✓ 007 subflow inline body
✓ 009 cross module impl inline body
✓ 010 orisha router showcase
✗ 012 nested router
✓ 013 orisha router rejects terminal
✓ 015 subflow mid chain bare return
✓ 016 subflow bind then construct
✓ 017 subflow produces named branch
✓ 019 arm produces a bare return record
✓ 020 inline stmt head binds no result
✓ 021 router bare return bind
✓ 022 router fmt blk
✓ 023 router fmt blk response body
✓ 024 router kebab handler
✓ 025 router bind c

ADVANCED FEATURES / OPTIONAL BRANCHES 11/12

✓ 001 basic catchall
✓ 002 explicit plus catchall
✓ 003 ignored no catchall
✓ 004 shape error
✓ 005 all optional
✓ 006 api evolution
✓ 007 when guards
○ 008 event pump
✓ 009 no handler silent
✓ 010 catchall audit binding
✓ 011 catchall inside event body
✓ 012 declined panic branch inside an arm

ADVANCED FEATURES / TAPS OBSERVERS 8/10

✓ branch coverage complete
✓ void event no branches
✓ multiple events mixed
✗ tap when clause filtering
✓ tap shorthand syntax
○ multi branch tap
✓ meta event taps
✓ tap on bare return
✓ tap observer print on subflow terminal
✓ profiler end to end

ADVANCED FEATURES / INTERCEPTORS 0/4

○ 001 basic intercept
○ 003 single interceptor error
○ 004 opaque protection
○ 010 no function calls in payload

ADVANCED FEATURES / PHANTOM TYPES 0/1

✗ 020 label jump obligation

ADVANCED FEATURES / VARIANTS 13/20

✓ 010 unselected variant rewrites mod
✓ 011 selected variant carries effect arm
✓ 012 registered variant beats the inline splice
✓ 013 submodule variant key matches
✓ 014 submodule variant effect arm at a subflow head
✓ variants basic
○ variant compilation
✓ blur variants
○ gpu blur real
✓ zig and gpu variants
✓ gpu compiler pass
○ actual glsl compilation
○ gpu execution
✗ mlir cpu variant
✗ mlir cpu loop
✓ bare proc call site fails
✓ bare proc no call site succeeds
✓ subflow variant parser accepts
✓ subflow variant picks no
✗ subflow variant with continuations

ADVANCED FEATURES / TEMPLATING 2/4

✓ 001 basic interpolation
✓ 002 conditionals
○ 003 source metadata
○ 004 optimized codegen

ADVANCED FEATURES / KERNEL 36/38

✓ 001 shape basic
○ 002 array init
✓ 003 pairwise basic
○ 004 dynamic shape
✓ 005 user event binding
✓ 010 layout metadata
✓ 020 nbody benchmark
✓ 021 multiline source
✓ 022 singleline shape bug
✓ 023 require computed in pipeline
✓ 040 self basic
✓ 042 pairwise symmetric
✓ 043 pairwise other readonly
✓ 050 reject for in kernel
✓ 051 reject branch constructor in kernel
✓ 052 reject user event in kernel
✓ 053 reject stdlib event in kernel
✓ 054 require computed branch
✓ 055 reject nested kernel init
✓ 056 self outside init must refuse not panic
✓ 060 multi op fusion
✓ 070 step basic
✓ 080 multiline chained computed
✓ 090 nbody multistep
✓ 091 nested kernel fusion
✓ 092 kernel fusion oracle
✓ 100 self mlir generated
✓ 101 self mlir chained
✓ 102 self mlir under step
✓ 103 self mlir gpu blob
✓ 104 reject f64 gpu kernel
✓ 105 self mlir gpu runs
✓ 110 reduce basic
✓ 111 reduce with self
✓ 112 store backed kernel
✓ 113 store kernel parallel
✓ 114 store kernel step
✓ 115 store kernel pairwise

ADVANCED FEATURES / TESTING 13/13

✓ 001 test syntax
✓ 002 mock multiple branches
✓ 003 pure event no mock
✓ 004 constant event auto inline
✓ 005 impure event error
✓ 006 impure event fixed
✓ 007 failing test
✓ 008 complex flow test
✓ 009 cross module mock
✓ 010 unexpected branch fails
✓ 011 test generation block reaches ast
✓ 012 unfilled event dies loudly
✓ 013 unfilled abstract dies loudly

CONTROL FLOW 29/33

✓ 051 expand stdlib wrap
✓ 052 expand with continuations
✓ 056 expand basic
○ 061 auto thread pipeline
✓ 095 recursive value event
✓ 096 if value return subflow
✓ 097 if nested step under return switch
✗ 099 sequential for phases under capture
✓ 101 loopvar in complex capture array write
✓ 102 captured cross field snapshot
○ 120 expand long path overflow KNOWN BUG
✓ 121 tail self loop parallel assign
✓ 122 tail self loop parallel assign multiarg
✓ 123 mutual tail loop crossref reargs
✓ 124 multibind produce tree recursion
✓ 125 nested if arm produce
✓ 126 capture as discard binding
✓ 127 nested call argument
✓ 128 call in if condition
✓ 129 call in produce expression
✓ 130 call in captured field
✓ 131 call in for bound
✗ 132 else arm keyword escape selfloop
✓ 133 cond guarded dispatch
✓ 134 cond binder in produce
✓ 135 cond destructure scrutinee
✓ 136 captured bare positional footgun
✓ 137 cond constructs named branches
✓ 138 cond arms are exclusive
✓ 139 for stops at its keep condition
✓ 140 string equality if dispatch
✓ 141 cond string guard dispatch
✓ 142 when guard string payload

RUNTIME FEATURES 110/121

✓ 060 fmt blk autodispose
✓ 061 phantom autodispose
✓ 070 effect branch minimal
✓ 071 effect branch multifire void
✓ 072 effect branch multifire with terminal
✓ 073 effect branch multiple kinds
✓ 074 effect branch single fire with terminal
✓ 075 effect branch inside terminal body
✓ 076 effect branch nested in void chain
✓ 077 effect branch optional unhandled
✓ 078 effect branch catchall runtime
✓ 079 effect branch struct payload
✓ 080 effect branch phantom payload
✓ 081 effect branch labeled loop
✓ 082 effect branch resume value
✓ 083 effect branch resume binding
✓ 084 effect branch resume numeric
✓ 085 effect branch resume arithmetic
✓ 086 effect branch iter slice
✓ 087 effect branch when guard
✓ 088 effect branch when guard struct field
✓ 089 effect when with unguarded fallback
✗ 090 template variant passthrough
✗ 091 template variant interpolation
✗ 092 template variant conditional
✓ 093 template per call basic
✓ 094 template per call arg substitution
✓ 095 template per call range expr
✓ 096 effect branch void payload
✓ 097 required terminal must be handled
○ 098 capture with effect branch event
✓ 100 effect obligation discharged in firing
✓ 101 wip for as template effect
✓ 102 effect wildcard payload
✓ 103 effect obligation cannot escape
✓ 104 effect branch cannot discharge outer
✓ 105 effect payload in obligation transfer
✓ 106 effect resume out emits correct zig
✓ 107 effect resume cannot issue obligation
✓ 108 effect handler autodischarge emits member
✓ 109 plain event from handler flow
✓ 110 effect branch single void cross target
✓ 111 effect branch multikind cross target
✓ 112 effect branch arg name mismatch cross target
✓ 113 effect handler cannot recurse producer
✓ 114 effect multi arm output
✓ 115 effect event via subflow
✓ 116 effect resume arrow producer
✓ 117 effect resume produce is call
✓ 118 bench sum range xor
✓ 119 bench multi kind dispatch
✓ 120 bench sum range foldable
✓ 121 bench filter map reduce
✓ 122 reject construct glyph on resume effect
✓ 123 reject chain glyph introduces value
✓ 124 effect arm cannot issue obligation
✓ 125 reject produce glyph on multi arm effect
✓ 126 reject unknown resume arm
✓ 127 effect arm discharge emits correct zig
✓ 128 effect payloadless multi arm
✓ 129 effect record payload arm
✓ 130 effect subflow fires void arm
✓ 131 effect subflow generator for each
✓ 132 effect subflow plain resume bind
✓ 133 effect subflow multi arm resume
✓ 134 effect subflow payloadless multi arm
✓ 135 effect subflow record payload arm
✓ 136 effect subflow obligation in firing
✓ 137 effect subflow obligation cannot escape
✓ 138 effect arm call outside impl rejected
✓ 139 effect subflow record payload fire
✓ 140 effect record fire requires named fields
✗ 141 child run nonzero exit stderr term
✗ 142 effect inliner singleline body discard
✗ 143 effect branch borrow escapes firing
✓ 144 effect subflow optional arm handled
✓ 145 effect subflow optional arm omitted noop
✓ 146 effect subflow optional resume if presence
✓ 147 effect subflow optional when presence
✓ 148 effect proc optional resume nullable alias
✓ 149 effect optional resume unguarded fire
✓ 150 effect required arm presence test rejected
✓ 151 effect inliner param name no hygiene
✓ 152 effect void beat heartbeat
✓ 153 effect lone optional
✓ 154 effect void arm presence omitted
✓ 155 effect inliner self module scope
✓ 156 effect resume record anonymous
✗ 157 effect inliner bare module name rejected
✓ 160 prototype mode incomplete program runs
✓ 161 prototype hole rejected without annotation
✓ 162 release rejects prototype module
✓ 163 release allows complete module
✓ 164 release rejects imported prototype
✓ 165 prototype tolerates undeclared branch
✓ 166 undeclared branch rejected without annotation
✗ 167 prototype scope must not leak across modules
✓ 168 effect inliner guarded branch drops prelude
✓ 169 effect inline binding shadows producer local
✓ 170 effect inline unhandled void arm discard
✓ 171 effect marker on outcome branch rejected
✓ 172 continuation marker on effect rejected
✓ 173 effect unguarded multicast
✓ 174 effect unguarded arm not last unreachable
✓ 175 subflow body calls effect branch event
✓ 176 effect payload type qualified cross module
✓ 177 effect proc optional void arm presence spliced
✓ 178 effect proc optional void arm presence spliced omitted
✓ 179 proc splice mod after range op
✓ 180 subflow call omits optional param
✓ 181 optional string param lowers
✓ 182 arm chain calls effectful tor without arms
✓ 183 reject omitted required param
✓ 184 reject omitted required expression param
✓ 185 param default on subflow path
✓ 186 param default on proc path
✓ 187 optional expression slot is legal
✗ 188 array sort lowers
✗ 189 mod interpolates in a host line fn
✓ 190 void effect fire from proc body
✓ 191 zig only proc js build refuses

RUNTIME FEATURES / BUDGETED INTERPRETER 6/7

✓ 001 basic budget tracking
✓ 002 budget exhaustion
✓ 003 handle pool tracking
✓ 004 auto discharge
✓ 005 exhaustion with handles
✓ 006 identity branch phantom
○ 010 shape contract

RUNTIME FEATURES / PURITY CHECKING 9/10

✓ 007 event purity from impure impl
✓ 008 pure proc annotation
✓ 009 unannotated proc impure
○ 011 opaque procs
✓ 012 subflow locally pure
✓ 013 pure on event redundant
✓ 014 subflow transitive pure
✓ 015 event purity from pure impl
✓ 016 subflow impure
✓ 017 module pure proc transitive

RUNTIME FEATURES / PERFORMANCE 2/20

✗ array by reference
✓ 001 profile metatype
✗ 002 profile release
✓ 003 profiler loop
✗ 006 rings vs channels
✗ 007 simple loop
○ 008 event taps overhead
✗ 009 multi consumer async
○ 010 threading library
✗ 011 loop optimization basic
○ 012 loop optimization nested
○ 013 loop optimization work
✗ generic ring type
✗ generic ring actual
✗ ring with taps
✗ ring with when filter
✗ when at callsite
✗ ring with multitaps
⏭ dead code elimination
⏭ handler caching

RUNTIME FEATURES / COORDINATION 7/12

✗ 001 user coordinator
○ 003 impl override only
○ 004 impl with delegation
✓ 005 impl no implementation
✓ 006 coordinator timing
○ 007 tap visibility delegation
✓ 008 pipeline profiling
✗ 009 composed timing
✓ 010 ast dump stages
✓ 011 coordinator timing
✓ 057 sole implementation is the handler
✓ custom coordinator bug

RUNTIME FEATURES / RUNTIME 25/32

○ 002 parser userland
✓ 020 interpreter if e2e
○ 024 registry scope composition
○ 025 interpreter benchmark real
✓ 026 interpreter run event
✓ 035 interpreter binding args
✓ 036 interpreter for loop
○ 037 interpreter field types
✓ 039 runtime eval scope
✓ 040 registry scope dotted
○ 041 registry typed args
✓ 043 runtime run scope
✓ 044 runtime run budget
✓ 045 runtime run event denied
✓ 046 runtime run scope not found
✓ 047 runtime run parse error
✓ 048 runtime run fail fast
○ 049 runtime run lenient
✓ 050 runtime eval autodischarge
✓ 051 runtime run budget autodischarge
✓ 052 interpreter identity result
✓ 053 registry alias
✓ 054 tilde inside string is a path
✓ 055 prose is not an invocation
✗ 056 partially handled interpreted flow
✓ 058 scope manifest
✓ 059 wire parse accepts one invocation
✓ 060 wire parse rejects prose
✓ 061 wire parse rejects a chain
✓ 062 wire parse rejects unterminated string
✓ 063 scope grammar
✓ 064 scope vocabulary

RUNTIME FEATURES / RESOURCE BRIDGE 17/17

✓ 001 bridge basic
✓ 002 cross session discharge
✓ 003 forged handle refused
✓ 004 bridge session hangup
✓ 005 bridge session cannot be dropped
✓ 006 bridge run turns in koru
✓ 007 reissuing event is not a discharger
✓ 008 runtime define
✓ 009 run discriminates define
✓ 010 guarded withdrawal
✓ 011 lifo release order
✓ 012 redefine resolves
✓ 013 recovery exactness
✓ 014 transitive chain
✓ 015 dual provider
✓ 016 failed teardown blocks provider
✓ 017 bridge grammar renders rules and inventions

INTEGRATION TESTING / NEGATIVE TESTS 51/54

✓ 001 unclosed input brace
✓ 002 unclosed branch brace
✓ 005 missing event name
✓ 011 invalid module qualifier
✓ 012 multiple defaults error
✓ 013 ambiguous override error
✓ 021 duplicate branch names
✓ 022 double pipe branch
✓ 023 branch without name
✓ 030 missing colon in field
✓ 031 missing comma between fields
✓ 032 numeric field name
✓ 033 empty type after colon
✓ 050 import empty path
✓ 052 reject tilde import
✓ 053 reject quoted import
✓ 061 unknown branch in flow
✓ 062 undefined event call
✓ 063 missing event param
✓ 064 extra event param
✓ 065 pub proc double tilde
⏭ 066 duplicate proc
✓ 067 orphan loop jump
✓ 070 eof in subflow impl
✓ 071 module wildcard concrete
✓ 072 event wildcard concrete
✓ 073 universal wildcard concrete
✓ 074 std log event name
✓ 080 comment inside chain
✓ 081 mock shape mismatch
✓ 090 unknown label error
✓ 100 effect decl handled as terminal
✗ 101 terminal decl handled as effect
✓ 102 resume type mismatch
✓ 103 resume body discard
✓ 104 reject raw slice return
✓ 105 reject raw slice in event
✓ 106 raw slice return caret locates the tor
✓ 107 raw slice return on multiline shape close
✗ 108 reject compound raw slice return
✓ 109 midchain branch coverage unchecked
✓ 110 unused chain bind at head
✓ 111 unused chain bind midchain
✓ 112 bare return impl uses branch ctor
✓ 113 branch decl impl uses bare return
✓ 114 impl names undeclared branch
✓ 115 missing impl at head
✓ 116 missing impl midchain
✓ 117 missing impl midchain fabricates value
✓ 118 rejection prints a crash report
✓ 119 nested ctor names undeclared branch
✓ 120 cond arm ctor names undeclared branch
✓ 121 branch map ctor names undeclared branch
✓ 122 annotation comma separator

INTEGRATION TESTING / NEGATIVE TESTS / 020 parse errors 1/1

✓ missing event keyword

INTEGRATION TESTING / NEGATIVE TESTS / 034 type errors 1/1

✓ undefined event

INTEGRATION TESTING / BUG REPRODUCTION 3/3

✓ 002 array literal imported type
✓ 003 stdlib runtime import
✓ 007 module qualified bug

INTEGRATION TESTING / VALIDATION 10/10

✓ import io
✓ import dotdot forbidden
✓ import unknown alias
✓ import lib root
✓ import rejects dollar prefix
✓ import explicit extension
✓ field shadows event name
✓ paths line not alias path
✓ paths alias main reserved
✓ paths flag not supplied

STDLIB / STRING 18/20

✓ 001 string basic
✓ 002 string ownership
✓ 003 auto free unused string
✓ 004 reject write on view
✓ 005 reject use after free
✓ 006 reject double free
✗ 007 reject dangling slice
✓ 008 parse int
✓ 009 contains
✓ 010 index of
✓ 011 substring
✓ 012 chained multi resource discharge
✓ 013 from int
✓ 014 auto free string
✓ 020 split stream
✓ 021 bare return inline module local
✓ 022 string append char
✓ 023 string clear frees buffer
✓ 024 string pop char to empty frees
✗ 025 borrow dies on mutation

STDLIB / FMT 6/7

✓ 001 fmt ln basic
✓ 002 fmt ln nested
✓ 003 fmt ln mid chain result collision
✓ 004 fmt ln chained expand collision
✗ 005 width spec signed no plus
✓ 006 fmt result pun into string diagnostic
✓ 007 fmt blk basic

STDLIB / IO 6/6

✓ 001 io println cross target
✓ 002 effect under obligation drops output
✓ 003 read lines under string instance
✓ 004 read lines under scalar anchor
✓ 005 print interpolation cross target
✓ 006 print literal braces

STDLIB / REGEX 16/16

✓ 001 match basic
✓ 002 match nested in for
✓ 003 match binding
✓ 004 match alternation scale
✓ 005 match groups destructure
✓ 006 match groups whole binding
✓ 007 reject groups field mismatch
✓ 008 reject group under quantifier
✓ 009 reject group under alternation
✓ 010 reject groups discarded
✓ 011 scan global match gap
✓ 012 nested match destructure
✓ 013 scan basic
✓ 014 scan no match
✓ 015 scan reject terminal
✓ 016 scan multi pattern pinned

STDLIB / PARSER 14/14

✓ 001 parse recursive flagship
✓ 002 parse error line col
✓ 003 reject left recursion
✓ 004 json full recognizer
✓ 005 ordered choice same head
✓ 010 with scoped vocabulary
✓ 011 with unresolved only prefers local
✓ 012 with multi source resolution
✓ 013 with collision forces pick
✓ 014 with collision names every owner
✓ 015 with scoped name takes the thread
✓ 031 nested tree
✓ 032 rule keeps all its parts
✓ 040 generate conforms

STDLIB / SWITCH 4/4

✓ 001 char single
✓ 002 char range
✓ 003 char set
✓ 004 day08 switch

STDLIB / FS 6/8

✓ 001 read lines effect
✓ 002 stdin lines
✓ 003 lines match capture
✓ 004 capture across handler boundary
✓ 005 cell ctx deep nesting
✗ 006 subflow in effect branch
✗ 007 read ln leaks
✓ 008 write then read lines

STDLIB / COLLECTIONS 22/26

✓ 001 list new flow
✗ 002 list const module
✓ 003 list len in expr
✓ 004 list new free
✓ 005 list push len
✓ 006 list auto discharge
✓ 007 list new transform
✓ 008 list pop
✓ 009 list pop empty
✓ 010 list get
✓ 011 list get oob
✓ 012 list for each index
✗ 013 list loop autodischarge
✓ 014 list push in loop
✓ 015 list stream blocked
✓ 016 list stream accumulate
✓ 018 set dedup count
✓ 019 set under capture
✓ 020 set under capture loop
✓ 021 map trunk
✓ 022 map get missing
✓ 023 map under capture
✓ 024 string map trunk
✓ 025 string map under capture
✗ 026 map generic dispatch gap
✗ 027 obligation param qualified phantom

STDLIB / NET 2/2

✓ 001 net refuses with an address
✓ 002 net import alone builds

STDLIB / INVARIANTS 2/2

✓ 001 invariants declare without executing
✓ 002 invariants takes no arguments

STDLIB / ASSUMES 2/2

✓ 005 assumes transitive closure
✓ 006 assumes effective grade

STDLIB / TODO 4/4

✓ 001 todo declares without executing
✓ 002 todo takes no arguments
✓ 003 unwitnessed residual refused
✓ 004 witnessed residual accepted

STDLIB / TRELLIS 5/7

✓ 001 trellis enforce conforming
✓ 002 trellis pairwise outside init
✓ 003 trellis check categorize
✗ 010 trellis census per flow
✗ 011 trellis variant guard
✓ 012 trellis kernel chain conforming
✓ 013 trellis kernel chain illegal depth

STDLIB / STORE 176/183

✓ 001 store create stored watch
✓ 002 store watch guard producer if
✓ 003 store interceptor cross store sync
✓ 004 store no torn state
✓ 005 store plural query watch
✓ 006 store reject watch body ambient context
✓ 008 store update where
✓ 009 store chain envelope multi write
✓ 010 store multi watch same field
✓ 011 store insert capacity full branch
✓ 012 store reject cascade cycle
✓ 013 store cross store guard closure
✓ 014 store stripe scan firing
✓ 016 store lifecycle inserted removed
○ 017 store backend arms di
○ 018 store declared key addressing
○ 019 store batch insert fused cascade
○ 020 store compound field types
✓ 021 store f64 scalar columns
✓ 022 store distinct row types per name
✓ 023 store entity take discharger
✓ 024 store entity take needs discharger
✓ 025 store reference reactive attach
✓ 026 store reference guarded reactive
✓ 027 store pure k reactive attach
✓ 028 store stored chain preserves tail
✓ 029 store two write interceptor
✓ 030 store guarded plural reactive
✓ 031 store query sweep take
✓ 032 store reject unused interceptor binding
✓ 033 store interceptor binding used
✓ 034 store entity take auto discharge
✓ 035 store entity ambiguous discharge forces pick
✓ 036 store entity cross module discharge
✓ 037 store entity name shadows module heuristic
✓ 038 store plural updated delta
✓ 039 store plural updated bad destructure
✓ 040 store plural updated write only
✓ 041 store arena live hp aggregate
✓ 042 store verb inside effect branch body
✓ 043 store multifield stored through cursor
✓ 044 store stripe topo order
✓ 045 store stripe inside effect body
✓ 046 store watch midpipe bind
✓ 047 store entity take auto discharge under foreach
✓ 048 store self foreign key
✓ 049 store plural mixed scalar columns
○ 050 store capacity shape model
✓ 051 store capacity selects shape
✓ 052 store fixed char column
✓ 053 store string column roundtrip
✓ 054 store reject bare obligation insert
✓ 055 store owned resource column
✓ 056 store file open column
✓ 057 store ambiguous column drain
✓ 058 store ambiguous column undrained leaks
✓ 059 store single field explicit discharge
✓ 060 query owned string store
✓ 061 react inserted owned string
✓ 062 write owned string stored
✓ 063 watch owned string stored
✓ 064 write scalar in owned store
✓ 065 removed owned string
✓ 066 store query nested in loop
✓ 067 store each momentary sweep nested
✓ 068 store sweep owned string nested
✓ 069 store sweep row ordinal
✓ 070 store take empty branch
✓ 071 insert pun shorthand
✓ 072 insert redundant label rejected
✓ 073 store sweep captures enclosing bind
✓ 074 store cell refs in if
✓ 075 store cross store row index
✓ 076 store indexed field read in stored
✓ 077 store owned insert full giveback
✓ 078 store read in produce arm
✓ 079 store declared in imported module
✓ 080 two stores one owned by a module
✓ 081 sweep in statement position
✓ 082 sweep arm calls effect branch tor
✓ 083 sweep arm writes entity field
✓ 084 sweep arm when guard
✓ 085 insert row branch optional
✓ 086 sweep arm binds its row
✓ 087 nested sweeps resolve independently
✓ 088 global store export
✓ 089 sweep projection block retired
✓ 090 sweep row binding shadows store name
✓ 091 sweep row field typo named
✓ 092 stored row index survives a remove
✓ 093 interceptor payload reaches nested sweep
✓ 094 unbound giveback payload threads the given row
✓ 095 sparse dispatch reads the active branch
✓ 096 refused store decl does not cascade
✓ 097 store two column discharge keeps record
✓ 098 sweep one column owned row
✓ 099 unknown store still refuses under the guard
✓ 100 store one column needs no field name
✓ 101 store one column capacity one
✓ 102 watch arm on one column store
✓ 103 watch arm names no column teaches
✓ 104 undrainable column reports once
✓ 105 drain refusal names the composed type
✓ 106 drain arm with the parameter written
✓ 107 drain arm with the parameter omitted
✓ 108 drain discard names no synthetic binding
✓ 109 bare drain arm threads its column
✓ 110 nested sweep outer row is readable
✓ 111 plural f64 columns sweep
✓ 112 nested sweep same store
✓ 113 nested sweep rebound name shadows
✓ 114 pairwise f64 displacement over store
✓ 115 stale row handle write traps
✓ 116 stale row handle read traps
✓ 117 self fk follow survives a remove
✓ 118 sweep arm writes two columns
✓ 119 flattened mat4 vec3 row
✓ 120 frame loop divides f64 column
✓ 121 twenty six component stores
✓ 122 presence column add remove
✓ 123 overlapping systems compose sequentially
✓ 124 store rebuild row by row
✓ 125 multiline stored block two columns
✓ 126 stored block reads pre state
✓ 127 flattened mat4 inverse cofactor expansion
✓ 128 stored block det column reused in block
✓ 129 mat4 inverse roundtrip frame loop
✓ 130 chain bind reaches stored write
✓ 131 swap via chain bind no temp column
✓ 160 store f32 column refuses f64 narrowing write
✓ 170 swap chain bind at scale
✓ 190 store text dump thousand rows parsed back
✗ 191 split nested under split piece
✓ 192 insert literal reads store cell path
✓ 193 stored envelope refuses two stores
✓ 194 store rebuild thousand rows two scalar types
✓ 195 owned column insert from projection
✓ 196 foreign row handle addresses sibling store
✓ 200 schedule overlapping rules stripe
✓ 201 stripe dependent rules whole passes
✓ 202 overlapping unconstrained rules accepted
✓ 210 fold summation order strict
✓ 230 rule body tor call writes foreign store
✓ 231 rule body insert skips standing rules
✓ 232 rule writing own store does not reenter
✓ 233 full arm drops cross module obligation
✓ 234 impl param not captured into sweep arm
✓ 235 single named owned field full arm
✓ 236 a rule is total at its installation point
✓ 238 rule over owned string store
✗ 239 query char column
✓ 240 lifecycle interceptor body runs its transforms
✓ 241 projection derived the same down both lowerings
✓ 242 brand zero is reserved
✓ 243 sweep body reaches enclosing tor input
✓ 244 unary minus before a row reference
✓ 245 indexed read in plural envelope and nested
✓ 246 sweep names its own row handle
✓ 247 rule names its row handle
✓ 248 rule refuses ordinal by name
✓ 249 write row address reads a foreign store
✓ 250 indexed read outside a write block
✓ 251 stored butterfly reads pre state
✓ 252 phantom borrow crosses into a query arm
✓ 253 positional row addressing through a grid
✓ 254 indexed read in a call argument
✓ 255 updated over a char column
✓ 256 branch payload reads a store column
✓ 257 branch payload when a plural store walks first
✓ 258 stripe joins its chain tail
✓ 259 rule guard reads a foreign cell
✓ 260 row read in if condition under rule arm
✓ 261 char column reads on the js target
✓ 262 row read as host proc call argument
✓ 263 lifecycle arm names its row handle
✓ 264 lifecycle arm refuses ordinal and row
✓ 265 clear empties a store and fires cleared once
✓ 266 clear refuses without an aggregate arm
✓ 267 rule arm literal is not a cell read
✓ 268 a written value builds text
✓ 269 a templated write inside an if arm
✓ 270 handle survives a high generation
✓ 271 flow param shadows store name

STDLIB / STORE TREE 5/5

✓ 001 tree parent synthesis preorder
✓ 002 tree reparent cycle rejected
✓ 003 preorder arm resolves entity before descendants
✓ 004 preorder after leaf take
✓ 005 preorder names its row handle

STDLIB / GRID 14/14

✓ 001 grid two declaration forms
✓ 002 grid index out of range traps
✓ 003 grid sweep into a store
✓ 004 grid dimensioned write and count
✓ 005 grid read outside a write block
✓ 006 sweep writes the cell it visits
✓ 007 grid write block reads pre state
✓ 008 unsafe bounds annotation
✓ 009 unsafe facet must be named
✓ 010 grid layout row and column agree
✓ 011 layout must name a layout
✓ 012 a grid write is one link of its chain
✓ 013 a for loop is a link of a grid write chain
✓ 014 grid has a javascript lowering

NESTING SWEEP 34/35

✓ 010 capture under flow head
✓ 011 capture under scalar
✓ 012 capture under obligation
✓ 013 capture under effect
✓ 014 capture under for each
✓ 015 capture under capture
✓ 020 readlines under flow head
✓ 021 readlines under scalar
✓ 022 readlines under obligation
✗ 023 readlines under effect
✓ 024 readlines under for each
✓ 025 readlines under capture
✓ 030 foreach under flow head
✓ 031 foreach under scalar
✓ 032 foreach under obligation
✓ 033 foreach under effect
✓ 034 foreach under for each
✓ 035 foreach under capture
✓ 036 foreach under store watch
✓ 040 ifcond under flow-head
✓ 041 ifcond under scalar
✓ 042 ifcond under obligation
✓ 043 ifcond under effect
✓ 044 ifcond under for-each
✓ 045 ifcond under capture
✓ 050 strbranch under flow head
✓ 051 strbranch under scalar
✓ 052 strbranch under obligation
✓ 053 strbranch under effect
✓ 054 strbranch under for each
✓ 055 strbranch under capture
✓ 056 strbranch under store watch
✓ 060 pipeline produce under effect resume
✓ 070 variant destructure when under foreach
✓ 080 globinvocation under obligation

EVENT GLOBBING 3/10

○ 000 permissive event name parsing
✓ 001 glob declaration syntax
✗ 002 glob invocation match
○ 003 glob suffix validation
○ 005 glob with variants
✓ 010 generics bracket syntax
✓ 011 generics param extraction
○ 020 generics ring buffer e2e
○ 030 ai error explanation
○ 031 ai test analysis

✓ 002 effect branch capture shadow
✓ 003 style record unknown field
✓ 004 vaxis run no tick

THE WORLD 25/25

✓ generator squares
✓ generator fold named
✓ generator fold optional arm
✓ mutex unlock
✓ double unlock
✓ let it crash
✓ let it crash uncaught
✓ celld lease race
✓ celld write after release
✓ celld forged lease
✓ celld lease with no way back
✓ celld durability gate
✓ celld ack without proof
✓ celld unanswered request
✓ celld answered twice
✓ celld fence forces failure
✓ celld ack after fence
✓ celld lease end unstated
✓ raft quorum commit
✓ raft double counted ack
✓ raft identity is not linearity
✓ orleans turn exclusivity
✓ orleans state without a turn
✓ orleans state after the turn ends
✓ orleans stale read survives the interleave

EXAMPLES SHOWCASE 1/1

✓ HELLO WORLD

EXAMPLES SHOWCASE / LANGUAGE SHOOTOUT 30/30

✓ 01 unused connection
✓ 02 uncommitted tx
✓ 03 valid commit
✓ 04 valid rollback
✓ 05 commit without close
✓ 06 multiple execs
✓ 07 serial transactions
✓ 08 close without transaction
✓ 09 empty transaction
✓ 10 wrong base type
✓ 11 wrong base type reverse
✓ 12 wrong base type zig catches
✓ 13 wrong base type reverse zig catches
✓ 14 open tx commit close
✓ 15 open tx auto close
✓ 16 open tx rollback close
✓ 17 open tx multiple execs
✓ 18 open tx empty commit
✓ 19 open tx close early
✓ 20 open tx abandoned
✓ 21 open tx forgot close
✓ 22 open tx exec no finish
✓ prime sieve
✓ prime sieve bitfield
✓ prime sieve wheel
✓ prime sieve odds
✓ prime sieve generated
✓ bloom filter field
✓ prime sieve timed loop
✓ prime sieve reuse loop

WATCHDOG SELFTEST 1/1

✓ 001 runtime infinite loop

Lesson Not Found

The lesson "676-001-assumes-transitive-closure" in "600-stdlib--676-assumes" doesn't exist.

Koru

The Continuation Language

Community

Contributing GitHub Discord

Resources

Learn Playground Status