Koru logo Koru
LearnPlatformStatusBlog
The Koru Book

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
  • ✓ 008 if print ln branch
  • ✓ multiple branches
  • ✓ binding scopes
  • ✓ shadowing behavior
  • ○ shadowing rejected
  • ✓ labels and jumps
  • ✓ zig keyword escaping
  • ✓ continuation label
  • ✓ nested labels
  • ✓ label scope errors
  • ✓ arbitrary label jumps
  • ✓ label scope isolation
  • ✓ simple server flow
  • ✓ branching flow
  • ✓ nested depth 2
  • ✓ nested depth 3
  • ✓ nested depth 4
  • ✓ nested depth 5
  • ✓ nested depth 5 multi branch
  • ✓ reserved keyword branch
  • ✓ binding in string literal
  • ✓ namespace nested flow
  • ✓ nested labels
  • ✓ multi event chain
  • ✓ namespace labels combo
  • ✓ empty payload branches
  • ✓ loop module qualified
  • ✓ loop imported module
  • ✓ loop in library tapped from user
  • ✓ subflow defines semantics
  • ✓ record produce named fields
  • ✓ record produce string fields
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
PARSER 11/11
  • ✓ 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
CHALLENGES 3/3
  • ✓ 002 effect branch capture shadow
  • ✓ 003 style record unknown field
  • ✓ 004 vaxis run no tick
AOC 2015 38/44
  • ✓ 011 day01 part1
  • ✓ 012 day01 part2
  • ✓ 021 day02 part1
  • ✓ 022 day02 part2
  • ✓ 031 day03 part1
  • ✓ 032 day03 part2
  • ✓ 041 day04 part1
  • ✓ 042 day04 part2
  • ✓ 051 day05 part1
  • ✗ 052 day05 part2
  • ✓ 061 day06 part1
  • ✓ 062 day06 part2
  • ✗ 071 day07 part1
  • ✓ 081 day08 part1
  • ✓ 082 day08 part2
  • ✓ 091 day09 part1
  • ✓ 092 day09 part2
  • ✗ 101 day10 part1
  • ✓ 111 day11 part1
  • ✓ 121 day12 part1
  • ✓ 122 day12 part2
  • ✓ 131 day13 part1
  • ✓ 132 day13 part2
  • ✓ 141 day14 part1
  • ✓ 142 day14 part2
  • ✓ 151 day15 part1
  • ✓ 152 day15 part2
  • ✓ 161 day16 part1
  • ✓ 162 day16 part2
  • ✓ 171 day17 part1
  • ✓ 172 day17 part2
  • ✓ 181 day18 part1
  • ✓ 182 day18 part2
  • ✗ 191 day19 part1
  • ✗ 192 day19 part2
  • ✓ 201 day20 part1
  • ✓ 202 day20 part2
  • ✓ 211 day21 part1
  • ✓ 212 day21 part2
  • ✗ 221 day22 part1
  • ✓ 231 day23 part1
  • ✓ 241 day24 part1
  • ✓ 242 day24 part2
  • ✓ 251 day25 part1
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
Learn / STDLIB / TODO

stdlib / todo

✓ 4 passing

Lessons

1 ✓ Passing
001 todo declares without executing
2 ✓ Passing
002 todo takes no arguments
3 ✓ Passing
003 unwitnessed residual refused
4 ✓ Passing
004 witnessed residual accepted
Koru logo Koru

The Continuation Language

Community

Contributing GitHub Discord

Resources

Learn Playground Status