Commits

Meet the length in i64 where a typed access's key is a name holding an integer past a word: an expression key did, and `const si = (i % seg) * ch + ~~(i / seg); s[si]` clamped its integer to a word…

dy

committed

a67c16b

Take subscript 10.8.3, where a do-while takes a statement for its body and ends at its test: `do i++; while (i < n)` and `do { i++ } while (i < n) return i` were compile errors. The early-error sca…

dy

committed

360770d

Retract an integral parameter by a zero level, not a delete of its stamp: the self-hosted compiler's subset has no delete of a static key, and its build failed on int-params.js

dy

committed

1ee4305

Walk the second pass that takes every integer typed read as hitting only for the names a key reads: intOrMiss has no other reader (expr-type.js wholeOrMissKey), and asked of every binding the pass …

dy

committed

eaf0ffa

Read a binding's integrality off the interval proof's values and delete type/int-certain.js: the table holds an integer wherever finite as one fact (`whole`), a binding other flows write holds the …

dy

committed

9bafbb6

Read an assignment's value as the number assigned where its target is a word-only local: `let p = 2; const r = (p = v * 1) + 1; return (p & 3) + r * 8` answered 8 for 0.5 at levels 2 and up, `A[p =…

dy

committed

6c8338e

Count a write through a literal string key as a write of that property: `const o = { w: 2, t: 1 }; o['w'] *= 3; return o.w` answered 6, 18, 54 on successive calls at level 0 (and at level 1 where t…

dy

committed

b16d106

Declare a split literal's slot that a statement writes as a let: `const a = [1, 2]; a[1] = Math.floor(x); A[a[1]]` loaded from outside `A` with no bounds test at levels 1 and up (the first element …

dy

committed

8745d4c

Record the eight fixes found on the way as landed with what they cost: the for body's own let, a null's conversion to 0, null told from undefined, -0 as a parameter's constant, a nullable module bi…

dy

committed

ba71f66

Ask the value where Array.isArray's operand may be missing: an array the compiler knew answered true for every operand, and `let a; if (c) a = []`, a `find`'s or a `get`'s result and a callee's nul…

dy

committed

267ad34

End what a function knows of a module binding, or of a captured cell, at the code that may assign it: a straight-line assignment and a guard's proof were kept across a call, so `X = 1; w(); return …

dy

committed

43d73d4

Fold a module's string `let` only where no statement assigns the name: a template in a function body folded during the walk, ahead of the scan that drops an assigned name, and read `let X = 'ab'` a…

dy

committed

f375142

Claim no value type for a module binding of a Number, a string or a Boolean that may be null or undefined, as none is claimed for a local: `Object.is(X, NaN)` held for a null `X`, `typeof X` named …

dy

committed

4f57546

Keep -0 out of a parameter's integer constant: `===` took the -0 one call passes for the 0 of another, and `g(-0)` beside `g(0)` compiled the parameter as -0 for both (levels 0, 1 and size)

dy

committed

cba74ea

Tell null from undefined where a binding's definitions are compared: they were compared by their JSON text, which writes both as null, so `let x = null; if (c) x = undefined` kept null at levels 2 …

dy

committed

707d479

Keep a null's conversion to 0 unless its value is held a Number: the pass that drops an undefined test whose value only comparisons read (NaN either way) dropped the null test beside it, so `let i …

dy

committed

2265a49

Give a for body that declares a name its head names a block of its own: the parser hands a braced body as its bare list and the head's frame held it, so `for (let i = 0; i < k; i++) { let i = 5; c …

dy

committed

de94b68

Record 1b as landed with what its review met: a counter declared from a parameter, an inner function's parameter, a bare declaration and a countdown lost their spelling gaps and no kind gained one,…

dy

committed

e278d71

List the second normalize call among the kernel's timed phases: it ran as `other` in the self-hosted compiler's heap marks, and test/self-compile.js's "every phase is in the table" failed

dy

committed

69fdca4

Normalize loops again once the summary knows kinds, and lower do…while in normalize alone: a counter declared from a parameter, `for (let i = k; n > i; i = 1 + i)`, compiles to the WAT of `for (let…

dy

committed

0b3f3b0

Navigation Menu

Repository navigation

Commits on Nov 12, 2026

Record node keys as landed: the rule and its three helpers, the three defects pinned on main, the review's batteries (25 of 378 to 0, 48 of 1,064 to 0) and its three fixes (a literal zero's sign in…

Keep a literal zero its sign in two folds: `c ? -0 : 1` was the negated bit of the condition and `c ? 1 : -0` the bit, which has no -0, so `1 / (k > -1 ? -0 : 1)` answered Infinity at every level (…

Give a module whose prefix is taken a prefix of its own: a module's names are prefixed by its specifier with every character but a letter or a digit written `_`, so `./a-b` and `./a_b`, `./a/b.js` …

Refuse a key of a leaf that has no text of its own: nodeKey wrote an object, a function or a symbol by String, every object one leaf where nodeEqual tells them apart by identity. No node of the ben…

Hold the closure dedup invariant to every leaf's value: it pinned the old JSON key's classes, NaN with null, the five leaves JSON writes as null as one group, and 0 with -0 (its expected groups wer…

Key a hoisted constant array by its values' node, not their join: join writes -0 as 0, so `[0, 1][i]` and `[-0, 1][i]` shared one segment, and `1 / [-0, 1][i]` answered Infinity at every level wher…

Tell closure bodies apart by every leaf's value: the dedup's hash and comparison kept the old JSON key's classes, undefined, null, NaN and the infinities one leaf and -0 the leaf 0, so `const fs = …

Compare and key a node by its leaves' values, never by its JSON text: JSON writes NaN, the infinities, null and undefined all as null and -0 as 0, and `for (let i = 0; i < 4; i += 2) { t[i] = k + n…

Record the Boolean beside a number and the two reports of #120 as landed: six batteries with what each leaves open, the convention that stays, the built-in staging written and reverted, CI's cleanu…

Drop an import nothing reads (program-facts/slot-int-census.js `repOf`, left by the int-certain deletion): CI's source cleanup step failed on it and the default leg's tests did not run there since

Read an optional chain on a name the compiler resolves where it is used as the plain member: `Math?.max(a, b)`, `JSON?.stringify(x)`, `console?.log(x)` and `Object?.keys(o)` were refused ("'Math&#x 10000 27; a…

Read a Boolean a binding holds beside its numbers as itself wherever the reader does not convert it: a typed array's key and `Array(x)` counted as no evidence in the demand pass, and a field nothin…

Add the field-lines example: the electric field lines of twelve line charges as the level set of the stream function ψ = Σ n·arg(z − zₖ), no line traced and no arctangent taken; a charge is dragged…

Record 2d as landed: its review, the three defects found beside it, the two regressions in time that only timing the moved cases told, the typed array's Boolean key still open, and phase 4 handed b…

Hold a word read off memory as its number where only float code reads it: a field of a schema whose every write is a word loads as a number in a float sum, and a local every write of which is such …

Commits on Nov 11, 2026

Meet the length in i64 where a typed access's key is a name holding an integer past a word: an expression key did, and `const si = (i % seg) * ch + ~~(i / seg); s[si]` clamped its integer to a word…

Take subscript 10.8.3, where a do-while takes a statement for its body and ends at its test: `do i++; while (i < n)` and `do { i++ } while (i < n) return i` were compile errors. The early-error sca…

Retract an integral parameter by a zero level, not a delete of its stamp: the self-hosted compiler's subset has no delete of a static key, and its build failed on int-params.js

Walk the second pass that takes every integer typed read as hitting only for the names a key reads: intOrMiss has no other reader (expr-type.js wholeOrMissKey), and asked of every binding the pass …

Read a binding's integrality off the interval proof's values and delete type/int-certain.js: the table holds an integer wherever finite as one fact (`whole`), a binding other flows write holds the …

Read an assignment's value as the number assigned where its target is a word-only local: `let p = 2; const r = (p = v * 1) + 1; return (p & 3) + r * 8` answered 8 for 0.5 at levels 2 and up, `A[p =…

Count a write through a literal string key as a write of that property: `const o = { w: 2, t: 1 }; o['w'] *= 3; return o.w` answered 6, 18, 54 on successive calls at level 0 (and at level 1 where t…

Declare a split literal's slot that a statement writes as a let: `const a = [1, 2]; a[1] = Math.floor(x); A[a[1]]` loaded from outside `A` with no bounds test at levels 1 and up (the first element …

Record the eight fixes found on the way as landed with what they cost: the for body's own let, a null's conversion to 0, null told from undefined, -0 as a parameter's constant, a nullable module bi…

Ask the value where Array.isArray's operand may be missing: an array the compiler knew answered true for every operand, and `let a; if (c) a = []`, a `find`'s or a `get`'s result and a callee's nul…

End what a function knows of a module binding, or of a captured cell, at the code that may assign it: a straight-line assignment and a guard's proof were kept across a call, so `X = 1; w(); return …

Fold a module's string `let` only where no statement assigns the name: a template in a function body folded during the walk, ahead of the scan that drops an assigned name, and read `let X = 'ab'` a…

Claim no value type for a module binding of a Number, a string or a Boolean that may be null or undefined, as none is claimed for a local: `Object.is(X, NaN)` held for a null `X`, `typeof X` named …

Keep -0 out of a parameter's integer constant: `===` took the -0 one call passes for the 0 of another, and `g(-0)` beside `g(0)` compiled the parameter as -0 for both (levels 0, 1 and size)

Tell null from undefined where a binding's definitions are compared: they were compared by their JSON text, which writes both as null, so `let x = null; if (c) x = undefined` kept null at levels 2 …

Keep a null's conversion to 0 unless its value is held a Number: the pass that drops an undefined test whose value only comparisons read (NaN either way) dropped the null test beside it, so `let i …

Give a for body that declares a name its head names a block of its own: the parser hands a braced body as its bare list and the head's frame held it, so `for (let i = 0; i < k; i++) { let i = 5; c …

Record 1b as landed with what its review met: a counter declared from a parameter, an inner function's parameter, a bare declaration and a countdown lost their spelling gaps and no kind gained one,…

List the second normalize call among the kernel's timed phases: it ran as `other` in the self-hosted compiler's heap marks, and test/self-compile.js's "every phase is in the table" failed

Normalize loops again once the summary knows kinds, and lower do…while in normalize alone: a counter declared from a parameter, `for (let i = k; n > i; i = 1 + i)`, compiles to the WAT of `for (let…

Branch selector

User selector

Datepicker

Commit history

Commits on Nov 12, 2026

Commits on Nov 11, 2026