Learn Platform Status Blog

702/881 tests passing

CORE LANGUAGE / BASIC SYNTAX 22/22

✓ 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

CORE LANGUAGE / EVENTS FLOWS 18/18

✓ 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

CORE LANGUAGE / LITERALS 7/7

✓ 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
✓ host type injection

CORE LANGUAGE / TYPE SYSTEM 0/19

? 100 string type
? 101 int type
? 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
? 130 nominal string mismatch
? 131 nominal int mismatch
? 132 generic type mismatch
? 133 instantiation param mismatch
? 140 type with const
? 141 type with capture
? 142 nominal in pipeline

CORE LANGUAGE / CONTROL FLOW 28/30

✗ 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

MODULE SYSTEM / IMPORTS 16/16

✓ 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
✓ 020 cross module literal arg

MODULE SYSTEM / NAMESPACES 2/2

✓ 001 directory namespace collision
✓ 002 local name priority

MODULE SYSTEM / PACKAGES 1/1

✓ 002 package requires npm

MODULE SYSTEM / FILE LAYOUT 13/15

✓ 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

✓ 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

COMPILER FEATURES / PARSER 81/86

✓ 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
✓ 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

COMPILER FEATURES / COMPILATION 13/13

✓ 001 cross module type basic
✓ 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
✓ 021 void chaining codegen
✓ 022 combined continuation bugs
✓ 023 comptime program return
✓ compiler requires
✓ compiler flags declare

COMPILER FEATURES / FLOW CHECKER 5/6

✓ 009 unused binding error
✓ 011 discard binding ok
○ 012 interpolation use in for loop
✓ 014 reject void redundant terminator
✓ 015 reject branch payload unbound
✓ 016 reject continuation without branch handler

COMPILER FEATURES / CODEGEN 1/1

✓ 002 emitter wrapper

COMPILER FEATURES / EMITTER 5/5

✓ 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

COMPILER FEATURES / STD LIBRARY 3/3

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

COMPILER FEATURES / TEMPLATE ENGINE 7/7

✓ 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

COMPILER FEATURES / SUBFLOW 1/1

✓ 010 plain value branch

SYNTAX / STRUCT CONSTRUCTORS 2/2

✓ 021 field punning shorthand
✓ 025 field punning

ADVANCED FEATURES / COMPTIME 52/60

✓ 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
✓ comptime pass noop
✓ buildstep api

ADVANCED FEATURES / STDLIB 44/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
✗ 038 capture binding qualified
✓ 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
✓ 060 fs read lines
✓ 070 for with binding
○ 080 ecology circular import
✓ 081 ecology pass ran mechanism
○ 082 ecology custom transform
○ 083 ecology module aliasing
✓ 090 rings basic
✓ 091 print float format
✓ 092 print blk void chain multiline
✓ 093 print blk void chain inline second
✓ 094 std if nested

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 65/77

✓ 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
✗ obligation lost at boundary
✓ 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 8/18

✓ 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 ambiguous discharge
✗ 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
✗ 041 subflow opens and forgets
✗ 042 read file no free
✗ 043 read stdin no free
✗ 044 taint stripped at untyped param
✓ 045 taint stripped at echo boundary

ADVANCED FEATURES / OBLIGATION MATRIX 5/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 0/5

? 001 struct basic
? 002 struct keyword
? 003 struct pub keyword
? 004 struct in flow
? 005 type declaration

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 9/13

✓ subflow immediate
✓ subflow flow
✓ subflow chained
✓ subflow multi continuation
✓ subflow invalid branch
✓ subflow with taps
✓ nested recursive label
✗ 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

ADVANCED FEATURES / OPTIONAL BRANCHES 9/10

✓ 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

ADVANCED FEATURES / TAPS OBSERVERS 5/7

✓ branch coverage complete
✓ void event no branches
✓ multiple events mixed
✗ tap when clause filtering
✓ tap shorthand syntax
○ multi branch tap
✓ meta event taps

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 1/1

✓ 020 label jump obligation

ADVANCED FEATURES / VARIANTS 8/13

✓ variants basic
○ variant compilation
✓ blur variants
○ gpu blur real
✓ zig and gpu variants
✓ gpu compiler pass
○ actual glsl compilation
○ gpu execution
✓ 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 20/24

✓ 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
✓ 060 multi op fusion
✓ 070 step basic
✓ 080 multiline chained computed
✓ 090 nbody multistep
✓ 091 nested kernel fusion
✓ 092 kernel fusion oracle

ADVANCED FEATURES / TESTING 10/10

✓ 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

CONTROL FLOW 5/6

✓ 051 expand stdlib wrap
✓ 052 expand with continuations
✓ 056 expand basic
○ 061 auto thread pipeline
✓ 095 recursive value event
✓ 096 if value return subflow

RUNTIME FEATURES 43/45

✓ 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

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 8/9

✓ 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

RUNTIME FEATURES / PERFORMANCE 0/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 6/11

✓ 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
✓ custom coordinator bug

RUNTIME FEATURES / RUNTIME 31/36

✓ 002 parser userland
✓ 012 registry dispatch test
✓ 013 interpreter test
✓ 014 interpreter benchmark
✓ 015 interpreter dataflow
✓ 016 interpreter conditionals
✓ 017 expr evaluator
✓ 018 runtime if
✓ 019 interpreter if
✗ 020 interpreter if e2e
✓ 021 if arg inspection
✓ 022 if expression parsing
✓ 023 registry scope basic
✓ 024 registry scope composition
✓ 025 interpreter benchmark real
✓ 026 interpreter run event
✓ 030 honest benchmark
✗ 035 interpreter binding args
✓ 036 interpreter for loop
○ 037 interpreter field types
✓ 038 interpreter nested loop benchmark
✓ 039 runtime eval scope
✓ 040 registry scope dotted
✓ 041 registry typed args
✗ 042 registry scope debug
✓ 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

RUNTIME FEATURES / RESOURCE BRIDGE 2/2

✓ 001 bridge basic
✓ 002 cross session discharge

INTEGRATION TESTING / NEGATIVE TESTS 34/36

✓ 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
✓ 069 string type
✓ 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

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 4/4

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

INTEGRATION TESTING / VALIDATION 7/7

✓ import io
✓ import dotdot forbidden
✓ import unknown alias
✓ import lib root
✓ import rejects dollar prefix
✓ import explicit extension
✓ field shadows event name

STDLIB / STRING 13/14

✓ 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

STDLIB / FMT 2/2

✓ 001 fmt ln basic
✓ 002 fmt ln nested

STDLIB / IO 0/1

✗ 001 io println cross target

STDLIB / REGEX 10/10

✓ 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

STDLIB / SWITCH 4/4

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

STDLIB / FS 6/6

✓ 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

STDLIB / COLLECTIONS 0/3

✗ 001 list new flow
✗ 002 list const module
✗ 003 list len in expr

EVENT GLOBBING 4/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

EXAMPLES SHOWCASE 1/1

✓ HELLO WORLD

EXAMPLES SHOWCASE / LANGUAGE SHOOTOUT 21/22

✓ 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

Lesson Not Found

The lesson "335-001-if-then-discharges-else-drops" in "300-advanced-features--335-obligation-stress" doesn't exist.

Koru

The Event Continuation Language

Community

Contributing GitHub Discord

Resources