advanced features / comptime
✓ 85 passing ○ 14 planned
Lessons
1 ✓
Passing
001 import registers taps
2 ✓
Passing 002 import registers taps wildcards
3 ✓
Passing 003 implicit destructuring shadowing
4 ✓
Passing 005 annotation inline syntax
5 ✓
Passing 006 event taps
6 ✓
Passing 007 event taps nested
7 ✓
Passing 008 annotation vertical syntax
8 ✓
Passing 009 multiple taps
9 ✓
Passing 010 annotation edge cases
10 ○
Planned 013 tap chains — OWED: tap-invoking-an-event-that-also-has-taps does not recurse (TAP_FUNCTION_CONTEXT).
11 ✓
Passing 014 taps with labels
12 ○
Planned 015 when clauses — OWED: `when` clauses conditionally fire taps.
13 ✓
Passing 017 namespace wildcards
14 ✓
Passing 018 ccp opt in
15 ✓
Passing 020 ccp flag only
16 ✓
Passing 021 build requires basic
17 ✓
Passing 022 multiline params
18 ✓
Passing 023 scoped patterns
19 ✓
Passing 024 shorthand field params
20 ✓
Passing 025 qualified patterns
21 ✓
Passing 026 destination scoping
22 ✓
Passing 027 conditional imports
23 ✓
Passing 028 conditional import flag off
24 ✓
Passing 029 conditional import flag on
25 ✓
Passing 030 build command sh
26 ✓
Passing 031 flow annotations
27 ✓
Passing 032 default override basic
28 ✓
Passing 033 default with dependencies
29 ○
Planned 034 metatype branch requires binding — Emitter should reject metatype branches without bindings (| Transition |> should require | Transition t |> or | Transition _ |>)
30 ✓
Passing 035 tap void event transition
31 ✓
Passing 036 tap terminal invocation
32 ✓
Passing 037 tap destination matching
33 ✓
Passing 038 tap terminal void
34 ✓
Passing 039 branch payload requires binding
35 ○
Planned 040 literate annotations — DEFERRED: literate / compiler annotations on TYPE positions (same bucket as 210_039)
36 ✓
Passing 041 metatype profile binding
37 ✓
Passing 042 metatype transition binding
38 ✓
Passing 043 metatype audit binding
39 ✓
Passing 044 metatype multiple observers
40 ✓
Passing 045 metatype when guards
41 ✓
Passing 046 metatype enum helpers
42 ✓
Passing 047 deps system
43 ✓
Passing 048 branch payload discard ok
44 ○
Planned 049 invocation meta — OWED: InvocationMeta is available for comptime introspection at the call site.
45 ○
Planned 050 build flag check — OWED: CompilerEnv.hasFlag() + InvocationMeta select [release] configs under --build=release.
46 ○
Planned 051 build variants — OWED: build:variants picks the registry entry that matches --build.
47 ✓
Passing 052 optional expression
48 ✓
Passing 053 help discovers commands
49 ✓
Passing 054 help discovers flags
50 ✓
Passing 055 command subcommands
51 ✓
Passing 056 user defined flags
52 ✓
Passing 057 build config basic
53 ✓
Passing 058 build config annotation quotes
54 ✓
Passing 059 opaque tap skipping
55 ✓
Passing 060 tap as library
56 ○
Planned 061 named expression params — Should use Pattern Branches instead of named Expression parameters. Pattern Branches are the better mechanism for this.
57 ✓
Passing 062 tap nested invocation
58 ✓
Passing 063 deps install
59 ✓
Passing 064 explain command
60 ○
Planned 090 aspire comptime pure koru fold — ASPIRATIONAL: pure-Koru comptime computation (a capture-fold) feeding runtime output.
61 ○
Planned 091 aspire comptime loop — OWED: a comptime loop actually iterates at compile time (aspire pin).
62 ✓
Passing 092 table from comptime range
63 ✓
Passing 093 table keep wheel
64 ✓
Passing 094 wheel 30030
65 ✓
Passing 095 wheel gaps
66 ✓
Passing 096 wheel gaps 30030
67 ✓
Passing 097 wheel runtime walk
68 ✓
Passing 098 comptime fold expression
69 ○
Planned 099 aspire koru template facet — ASPIRATIONAL: the |koru template facet — rendered output is Koru source,
70 ○
Planned 100 aspire comptime pgo route order — ASPIRATIONAL: PGO-shaped |koru lowering — dispatch order computed from
71 ○
Planned 101 aspire comptime data to liquid — ASPIRATIONAL: the data→Liquid bridge — a comptime-evaluated Koru value
72 ○
Planned 102 comptime obligation leak — OWED hole: an obligation raised inside comptime is checked — today it is erased and the program compiles.
73 ✓
Passing 103 bare stem command dispatch
74 ✓
Passing 104 multiline conditional import
75 ✓
Passing 105 conditional import expression entry
76 ✓
Passing 106 annotation nested entry delimiters
77 ✓
Passing 107 comptime module tap wall
78 ✓
Passing 108 command gated import
79 ✓
Passing 109 command gated import absent
80 ✓
Passing 110 glance command
81 ✓
Passing 111 claims variant keys
82 ✓
Passing 112 claims key crash
83 ✓
Passing 113 gated import inside imported module
84 ✓
Passing 114 deps from imported module
85 ✓
Passing 115 deps argument order
86 ✓
Passing 116 invariants declare and list
87 ✓
Passing 119 build config target reaches backend
88 ✓
Passing 120 default build step chain
Has docs89 ✓
Passing 121 wasm freestanding target builds
90 ✓
Passing 122 x86 freestanding program allocates
91 ✓
Passing 123 missing input exits nonzero
92 ✓
Passing 124 kebab command symbol
93 ✓
Passing 125 leak check is debug only
94 ✓
Passing 126 gated override flag off
95 ✓
Passing 127 gated override flag on
96 ✓
Passing 128 gated branch override flag off
97 ✓
Passing 129 gated branch override flag on
98 ✓
Passing comptime pass noop
99 ✓
Passing buildstep api