-
bf7ec55e92
kernel: Phase 6 hygiene — $let + $define-in! + 18 tests [shapes-reflective]
giles
2026-05-11 20:57:47 +00:00
-
45789520ce
kernel: Phase 5 encapsulations + promise demo + 19 tests [nothing]
giles
2026-05-11 20:54:31 +00:00
-
b91d8cf72e
kernel: Phase 4 standard env + factorial + 49 tests [shapes-reflective]
giles
2026-05-11 20:50:34 +00:00
-
6e997e9382
HS: test runner — auto-unwrap shim for new WASM kernel ABI
giles
2026-05-11 20:30:32 +00:00
-
0df5e92c46
datalog: magic pre-saturation is conditional, not unconditional
loops/datalog
giles
2026-05-11 10:15:05 +00:00
-
fadcdbd6a9
datalog: dl-set-strategy! validates known strategy values
giles
2026-05-11 09:40:29 +00:00
-
ce98d97728
datalog: anonymous-renamer avoids user
_anon<N> collision
giles
2026-05-11 09:34:41 +00:00
-
82dfa20e82
datalog: dl-magic-query pre-saturates for aggregate correctness
giles
2026-05-11 08:59:28 +00:00
-
66aa003461
datalog: anonymous _ in negation is existential, not unbound
giles
2026-05-11 08:49:20 +00:00
-
6bae94bae1
datalog: reject compound terms in fact / rule-head args
giles
2026-05-11 08:44:30 +00:00
-
7a94a47e26
datalog: quoted 'atoms' tokenize as strings
giles
2026-05-11 08:39:24 +00:00
-
917ffe5ccc
datalog: comparison ops require same-type operands
giles
2026-05-11 08:07:40 +00:00
-
ba60db2eef
datalog: reject malformed dict body literals
giles
2026-05-11 08:04:03 +00:00
-
00881f84eb
datalog: arith / by zero raises instead of returning inf
giles
2026-05-11 07:59:25 +00:00
-
9e380fd96e
datalog: aggregate validates that agg-var appears in goal
giles
2026-05-11 07:57:01 +00:00
-
c6f646607e
datalog: dl-retract! preserves EDB in mixed relations
giles
2026-05-11 07:51:08 +00:00
-
0da39de68a
kernel: Phase 3 $vau/$lambda/wrap/unwrap + 34 tests [shapes-reflective]
giles
2026-05-11 07:43:45 +00:00
-
285cd530eb
datalog: reject body lits with reserved names
giles
2026-05-11 07:41:49 +00:00
-
dcae125955
datalog: aggregate arg validators (259/259)
giles
2026-05-11 07:26:48 +00:00
-
9a16f27075
datalog: dl-walk handles circular substitutions without infinite loop (257/257)
giles
2026-05-11 07:20:20 +00:00
-
154e2297fe
js-on-sx: fix js-string-repeat arity collision, repeat() raises RangeError on neg/inf
loops/js
giles
2026-05-11 05:55:51 +00:00
-
0231bb46a6
ocaml: phase 5.1 trapping_rain.ml baseline (LeetCode trapped water = 6)
loops/ocaml
giles
2026-05-11 05:54:39 +00:00
-
fed07059a3
ocaml: phase 5.1 gas_station.ml baseline (circular tour start = 3)
giles
2026-05-11 05:44:38 +00:00
-
c8327823ee
ocaml: phase 5.1 min_jumps.ml baseline (greedy BFS-like min jumps = 4)
giles
2026-05-11 05:34:46 +00:00
-
fad81e0b0c
ocaml: phase 5.1 combinations.ml baseline (C(9, 4) = 126)
giles
2026-05-11 05:25:03 +00:00
-
3ccce58e0a
ocaml: phase 5.1 unique_paths_obs.ml baseline (4x4 grid w/ obstacles = 3)
giles
2026-05-11 05:14:47 +00:00
-
8ab2f80615
ocaml: phase 5.1 daily_temperatures.ml baseline (sum of waits = 10)
giles
2026-05-11 05:04:37 +00:00
-
230f803abb
ocaml: phase 5.1 count_bits.ml baseline (sum popcount 0..100 = 319)
giles
2026-05-11 04:54:36 +00:00
-
b240408a4c
ocaml: phase 5.1 bs_rotated.ml baseline (rotated array search, encoded -66)
giles
2026-05-11 04:44:37 +00:00
-
67ece98ba1
ocaml: phase 5.1 task_scheduler.ml baseline ("AAABBC" cooldown 2 -> 7)
giles
2026-05-11 04:34:40 +00:00
-
33be068c01
ocaml: phase 5.1 min_subarr_target.ml baseline (min subarray sum >= 7 = 2)
giles
2026-05-11 04:24:29 +00:00
-
bf468e5ec3
ocaml: phase 5.1 min_meeting_rooms.ml baseline (8 meetings, min 4 rooms)
giles
2026-05-11 04:14:33 +00:00
-
90ba37ecc8
ocaml: phase 5.1 activity_select.ml baseline (greedy non-overlap = 4)
giles
2026-05-11 04:04:42 +00:00
-
3f00e62577
ocaml: phase 5.1 count_paths_dag.ml baseline (source-to-sink paths = 3)
giles
2026-05-11 03:54:52 +00:00
-
97a29c6bac
ocaml: phase 5.1 stock_two.ml baseline (best of 2 transactions = 6)
giles
2026-05-11 03:44:40 +00:00
-
73efd229be
ocaml: phase 5.1 house_robber.ml baseline (max non-adjacent sum = 22)
giles
2026-05-11 03:34:48 +00:00
-
6d89da9380
ocaml: phase 5.1 interval_overlap.ml baseline (7 intervals, 6 overlapping pairs)
giles
2026-05-11 03:24:45 +00:00
-
d3340107e6
ocaml: phase 5.1 count_palindromes.ml baseline ("aabaa" -> 9 palindromes)
giles
2026-05-11 03:14:23 +00:00
-
aaa6020037
ocaml: phase 5.1 count_subarrays_k.ml baseline (sum-k subarrays = 7)
giles
2026-05-11 03:04:14 +00:00
-
8ef24847d3
ocaml: phase 5.1 floyd_cycle.ml baseline (tortoise-hare, mu=0 lam=8 -> 8)
giles
2026-05-11 02:54:50 +00:00
-
b3ee88e9bb
ocaml: phase 5.1 kth_two.ml baseline (8th smallest of two sorted = 8)
giles
2026-05-11 02:44:40 +00:00
-
2c7a1bfc47
ocaml: phase 5.1 permutations_gen.ml baseline (24 perms, 12 with a<b ends)
giles
2026-05-11 02:34:58 +00:00
-
047ea62d43
ocaml: phase 5.1 regex_simple.ml baseline (./* matcher, 7/28 match)
giles
2026-05-11 02:25:04 +00:00
-
2726ed9b8a
ocaml: phase 5.1 palindrome_part.ml baseline (min cuts "aabba" = 1)
giles
2026-05-11 02:14:44 +00:00
-
6d7df11224
ocaml: phase 5.1 island_count.ml baseline (6x7 grid, 5 components)
giles
2026-05-11 02:04:08 +00:00
-
8a80bd3923
ocaml: phase 5.1 dp_word_break.ml baseline (4/5 strings segmentable)
giles
2026-05-11 01:53:21 +00:00
-
609205b551
ocaml: phase 5.1 histogram_area.ml baseline (largest rectangle = 10)
giles
2026-05-11 01:42:26 +00:00
-
f9371e7d22
ocaml: phase 5.1 lps_dp.ml baseline (LPS "BBABCBCAB" = 7)
giles
2026-05-11 01:32:41 +00:00
-
7f310a4da7
ocaml: phase 5.1 bs_bounds.ml baseline (lower/upper bound, fingerprint 3211)
giles
2026-05-11 01:22:31 +00:00
-
6780acd0af
ocaml: phase 5.1 distinct_subseq.ml baseline ("rabbit" in "rabbbit" = 3)
giles
2026-05-11 01:12:33 +00:00
-
b771ea306c
ocaml: phase 5.1 bracket_match.ml baseline (5/9 balanced strings)
giles
2026-05-11 01:02:59 +00:00
-
6c77dec495
ocaml: phase 5.1 wildcard_match.ml baseline (* / ? matcher, 6/18 match)
giles
2026-05-11 00:52:42 +00:00
-
0a3f02d636
ocaml: phase 5.1 powerset_target.ml baseline (subsets of {1..10} summing to 15 = 20)
giles
2026-05-11 00:42:08 +00:00
-
800dca67ca
ocaml: parser accepts top-level tuple patterns in match cases
giles
2026-05-11 00:31:08 +00:00
-
fd1f94f292
ocaml: phase 5.1 lru_cache.ml baseline (cap=3 LRU, fingerprint 499)
giles
2026-05-11 00:20:30 +00:00
-
1d1c35a438
ocaml: phase 5.1 convex_hull.ml baseline (Andrew monotone chain, 5 vertices)
giles
2026-05-11 00:09:06 +00:00
-
ca34cede88
ocaml: phase 5.1 next_greater.ml baseline (monotonic stack, sum 153)
giles
2026-05-10 23:58:50 +00:00
-
cb626fc402
ocaml: phase 5.1 fenwick_tree.ml baseline (BIT over 8 elements, fingerprint 228)
giles
2026-05-10 23:48:46 +00:00
-
175a77fba5
ocaml: phase 5.1 segment_tree.ml baseline (range-sum tree, fingerprint 4232)
giles
2026-05-10 23:38:40 +00:00
-
3fe3b7b66f
ocaml: phase 5.1 magic_square.ml baseline (5x5 Siamese, diag sum = 65)
giles
2026-05-10 23:28:29 +00:00
-
689438d12e
ocaml: phase 5.1 matrix_power.ml baseline (F(30) = 832040 via 2x2 matrix pow)
giles
2026-05-10 23:18:26 +00:00
-
d1a4616ac4
ocaml: phase 5.1 bipartite.ml baseline (7-node bipartite, 4 in color 0)
giles
2026-05-10 23:08:16 +00:00
-
32f6c4ee0c
ocaml: phase 5.1 egg_drop.ml baseline (2 eggs, 36 floors -> 8 trials)
giles
2026-05-10 22:58:13 +00:00
-
62712accdd
ocaml: phase 5.1 polygon_area.ml baseline (pentagon 2x area = 32)
giles
2026-05-10 22:47:22 +00:00
-
c69a7694c8
ocaml: phase 5.1 min_cost_path.ml baseline (4x4 grid DP, optimal cost 12)
giles
2026-05-10 22:37:44 +00:00
-
5384ff6c42
ocaml: phase 5.1 topo_dfs.ml baseline (DFS topo sort, fingerprint 24135)
giles
2026-05-10 22:27:18 +00:00
-
bcb7db2ea4
ocaml: phase 5.1 radix_sort.ml baseline (LSD radix sort, sentinel 802002)
giles
2026-05-10 22:17:40 +00:00
-
5eed0dd5f5
ocaml: phase 5.1 coin_min.ml baseline (67 cents in US coins = 6)
giles
2026-05-10 22:07:17 +00:00
-
3ea8967571
ocaml: phase 5.1 flood_fill.ml baseline (largest grid component = 7)
giles
2026-05-10 21:57:42 +00:00
-
e057d9f18f
ocaml: phase 5.1 next_permutation.ml baseline (5! - 1 = 119 successors)
giles
2026-05-10 21:47:52 +00:00
-
4761d41a0d
ocaml: && / || short-circuit fix + bfs_grid.ml baseline (5x5 grid, dist 8)
giles
2026-05-10 21:37:41 +00:00
-
a9e4eea334
datalog-plan: log parser/safety bug-hunt round (7 bugs fixed)
giles
2026-05-10 21:18:04 +00:00
-
3a1ecaa362
datalog: tokenizer raises on unexpected characters (256/256)
giles
2026-05-10 21:17:07 +00:00
-
69a53ece43
datalog: dl-magic-query shape validator (255/255)
giles
2026-05-10 21:13:30 +00:00
-
96c9e90743
datalog: rule-shape validators in dl-add-rule! (253/253)
giles
2026-05-10 21:09:33 +00:00
-
5bcda5c88c
datalog: tokenizer raises on unterminated string + quoted atom (251/251)
giles
2026-05-10 21:05:28 +00:00
-
4b5e75dc3e
datalog: tokenizer raises on unterminated block comment (249/249)
giles
2026-05-10 20:59:33 +00:00
-
2a1d8eeab2
datalog: parser accepts negative integer literals (248/248)
giles
2026-05-10 20:55:42 +00:00
-
2c8c1f75b3
datalog: reject reserved relation names as rule/fact heads (246/246)
giles
2026-05-10 20:51:56 +00:00
-
7e57e0b215
kernel: Phase 2 evaluator — lookup-and-combine + 36 tests [shapes-reflective]
giles
2026-05-10 20:50:42 +00:00
-
cbba642d7f
kernel: Phase 1 parser — s-expr reader + 54 tests [consumes-lex]
giles
2026-05-10 20:42:53 +00:00
-
4510e7e475
haskell: Phase 17 —
import declarations anywhere among top-level decls
loops/haskell
giles
2026-05-10 19:11:36 +00:00
-
0fbfce949b
merge: hs-f into architecture — JIT Phase 1 (tiered compilation)
giles
2026-05-10 18:57:29 +00:00
-
-
-
-
7c229eb321
js-on-sx: runner inlines small upstream harness includes per-test (allowlisted)
giles
2026-05-10 17:30:23 +00:00
-
01d0e97706
js-on-sx: real Date prototype setters (setFullYear/Month/Date/Hours/Minutes/Seconds/Milliseconds)
giles
2026-05-10 16:29:22 +00:00
-
a8596bd090
js-on-sx: Object.assign uses js-set-prop so keys appear in __js_order__
giles
2026-05-10 15:37:15 +00:00
-
9d364a0c20
js-on-sx: user function prototype chain links Object.prototype + sets constructor
giles
2026-05-10 14:52:49 +00:00
-
dfb660073e
js-on-sx: ASI rejects postfix ++/-- after LineTerminator
giles
2026-05-10 14:15:56 +00:00
-
7f5b77415f
js-on-sx: SyntaxError on let/const/function/class as single-stmt body of if/while/for/labeled
giles
2026-05-10 13:43:47 +00:00
-
29a3fb4bc2
js-on-sx: parse-time SyntaxError on illegal break/continue/return; void evaluates expr
giles
2026-05-10 13:07:43 +00:00
-
019a0c6105
js-on-sx: Math.hypot and Math.cbrt honour NaN/Infinity/+-0 edges
giles
2026-05-10 12:32:14 +00:00
-
1e29bba1be
js-on-sx: globalThis self-ref, toFixed range + 1e21 fallback
giles
2026-05-10 12:01:14 +00:00
-
0142d69212
js-on-sx: delete <ident> returns false per non-strict spec
giles
2026-05-10 11:20:24 +00:00
-
e93e1eeab1
js-on-sx: reject unary-op directly before ** per spec (parens still allowed)
giles
2026-05-10 10:47:56 +00:00
-
551c24c5a0
js-on-sx: Math.round/max/min spec edges (NaN, +/-Infinity, +/-0)
giles
2026-05-10 10:17:12 +00:00
-
85414df868
js-on-sx: Map/Set prototype methods throw TypeError on non-Map/Set this
giles
2026-05-10 09:31:52 +00:00
-
237ea5ce84
js-on-sx: Date.UTC and new Date propagate NaN/Infinity args
giles
2026-05-10 09:03:42 +00:00
-
df4aa8eb0a
js-on-sx: real Date construction + getters via Howard-Hinnant civil arithmetic
giles
2026-05-10 08:33:22 +00:00
-
5bb65d8315
js-on-sx: Date.prototype.toISOString proper YMDhms format + Type/RangeError gates
giles
2026-05-10 07:39:40 +00:00
-
bed374c9e1
ocaml: phase 5.1 tarjan_scc.ml baseline (8-node digraph, 4 SCCs)
giles
2026-05-10 07:06:29 +00:00