Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Aug 11, 2026

• bump watr to 5.7.13: devirt stale-selector fix + regionHooks API

  dy

  committed
  a5ab9acView commit details

  Copy full SHA for a5ab9ac

  Browse repository at this point

Commits on Aug 10, 2026

• closure-plan: slice 3 ruled DEFERRED on census evidence (1/76 bench eligible) — record live, emitter waits for a real case

  dy

  committed
  6d52673View commit details

  Copy full SHA for 6d52673

  Browse repository at this point

• ClosureEnvPlan slices R/1/2 ledger: AS-LANDED + reconciliation + census

  Show description for e9ae8a5
  dy

  committed
  e9ae8a5View commit details

  Copy full SHA for e9ae8a5

  Browse repository at this point

• ClosureEnvPlan slice 2: lift-eligibility predicate, UNWIRED (byte-identical)

  Show description for 6495339
  dy

  committed
  6495339View commit details

  Copy full SHA for 6495339

  Browse repository at this point

• ClosureEnvPlan slice 1: frozen pre-emission storage plan (byte-identical)

  Show description for c624a25
  dy

  committed
  c624a25View commit details

  Copy full SHA for c624a25

  Browse repository at this point

• retire dead static-env closure path (ClosureEnvPlan slice R)

  Show description for cf760af
  dy

  committed
  cf760afView commit details

  Copy full SHA for cf760af

  Browse repository at this point

• closure-plan design: coordinator rulings — body-node keying, static path retires now, callMultiplicity dropped, slices 1-2 authorized

  dy

  committed
  6242d0eView commit details

  Copy full SHA for 6242d0e

  Browse repository at this point

• ClosureEnvPlan design (audit-#18 item 1): survey + lambda-lift draft for coordinator review

  Show description for 9a37613
  dy

  committed
  9a37613View commit details

  Copy full SHA for 9a37613

  Browse repository at this point

• FeaturePlan slice 4 (post-carrier bigint gate retirement): attempted, wall hit, fully reverted

  Show description for dc6139d
  dy

  committed
  dc6139dView commit details

  Copy full SHA for dc6139d

  Browse repository at this point

• carrier §35 ledger: the flip landed, full gate table, goal-state update

  Show description for 34b23b0
  dy

  committed
  34b23b0View commit details

  Copy full SHA for 34b23b0

  Browse repository at this point

• carrier §35: flip 6 test sites from opt-in to opt-out CARRIER_BOX sense

  Show description for 659b72d
  dy

  committed
  659b72dView commit details

  Copy full SHA for 659b72d

  Browse repository at this point

• carrier §34→§35: flip CARRIER_BOX default ON (opt-out via JZ_CARRIER_BOX=0)

  Show description for 377cc2d
  dy

  committed
  377cc2dView commit details

  Copy full SHA for 377cc2d

  Browse repository at this point

• carrier §34: root-cause + fix the last named carrier gap -- collProbeDyn's

  Show description for cf7b1b7
  dy

  committed
  cf7b1b7View commit details

  Copy full SHA for cf7b1b7

  Browse repository at this point

• carrier §33: ternaryBoxedNames/.bigint:toString gap traced to a precise, narrow location -- Set.has() on ctx.func.ternaryBoxedNames returns stale/wrong at the isTernaryBoxedBigint call site despite…

  Show description for 5487128
  dy

  committed
  5487128View commit details

  Copy full SHA for 5487128

  Browse repository at this point

• align heap base to 64 bytes: v128 stream code deserves cache-line alignment (particle 1.47x was the 8-mod-64 layout lottery; prelude edits no longer re-roll perf)

  dy

  committed
  2cc75d2View commit details

  Copy full SHA for 2cc75d2

  Browse repository at this point

• audit-#18 (9e4764c3) downstream gate ladder: correctness clean (test:wasm 2714/0/6, kernel-parity 33/33, kernel-oracle 13/13, selfhost 21/21, fuzz 4x2000 zero divergence, build x2 identical); impac…

  Show description for c3c184f
  dy

  committed
  c3c184fView commit details

  Copy full SHA for c3c184f

  Browse repository at this point

• carrier §32: root-cause + fix item 8 (rawField() write-side census miscompile) -- CARRIER_BOX's typeof-process host-capability probe permanently folds to false inside ANY self-hosted kernel (jz's o…

  Show description for 9936057
  dy

  committed
  9936057View commit details

  Copy full SHA for 9936057

  Browse repository at this point

• audit-#18: complete the staticClosureEnv soundness fix — grant only when the body's sole calls are the closure itself (re-entry between two calls overwrote the static slot)

  dy

  committed
  9e4764cView commit details

  Copy full SHA for 9e4764c

  Browse repository at this point

• carrier §31: attack the final flag-forced tail with the trace-inject instrument -- 2 of 3 named gaps were stale pins (already-fixed bugs), the third (test:wasm item 8) root-caused to a write-side s…

  Show description for fb202a0
  dy

  committed
  fb202a0View commit details

  Copy full SHA for fb202a0

  Browse repository at this point

• carrier kernel-oracle: 2 stale KNOWN-FAIL pins corrected -- console.log heap-string crash already fixed by §24 CONSERVATIVE PAIRING (KNOWN-FAIL -> AGREE), audit-#16 native leg no longer corrupted u…

  Show description for 73f74de
  dy

  committed
  73f74deView commit details

  Copy full SHA for 73f74de

  Browse repository at this point

• carrier §30: enumerate/classify/close the flag-forced tail (15->4), test:wasm item 8 re-verified unchanged -- ledger

  dy

  committed
  4b7777cView commit details

  Copy full SHA for 4b7777c

  Browse repository at this point

• carrier §30 tail: fix 2 stale negative-control assertions in dyn-keys.js --

  Show description for 53a0e39
  dy

  committed
  53a0e39View commit details

  Copy full SHA for 53a0e39

  Browse repository at this point

• carrier §30 tail fix: census-BIGINT reads unbox a CARRIER_BOX-boxed Map/dict

  Show description for 8857842
  dy

  committed
  8857842View commit details

  Copy full SHA for 8857842

  Browse repository at this point

• carrier §29: root-cause and fix the UNDEF_NAN/NULL_NAN corruption -- coerceArg's isNullish() value-test false-positives on atomNanHex's pure-BigInt OR expression, skipping boxBigInt and handing i64…

  Show description for 1a91c23
  dy

  committed
  1a91c23View commit details

  Copy full SHA for 1a91c23

  Browse repository at this point

• carrier §28: read-before-init trace one layer past §27 -- LAYOUT.NAN_PREFIX_BITS write-side boxing nailed byte-exact, live-memory proof the box is not permanently corrupted, a new undocumented sent…

  Show description for 689dab6
  dy

  committed
  689dab6View commit details

  Copy full SHA for 689dab6

  Browse repository at this point

• carrier §27: §26a's own segment-collision hypothesis refuted by direct byte diff; UNDEF_NAN wall nailed to a literal i64.load(address 0), order-dependent across atomNanHex(1,2) vs (4,5) -- banked d…

  Show description for 03f1d46
  dy

  committed
  03f1d46View commit details

  Copy full SHA for 03f1d46

  Browse repository at this point

• carrier §26a: corrupted undefined bits decode as formatter string-table text — segment/pool offset confusion lead

  dy

  committed
  b80641dView commit details

  Copy full SHA for b80641d

  Browse repository at this point

• re-test all banked kernel-scale walls against AUDIT-#17-fixed kernel (6490bb68)

  Show description for f979f04
  dy

  committed
  f979f04View commit details

  Copy full SHA for f979f04

  Browse repository at this point

• fix AUDIT-#17: static-closure-env optimization unsound under re-entrant enclosing-function calls

  Show description for 6490bb6
  dy

  committed
  6490bb6View commit details

  Copy full SHA for 6490bb6

  Browse repository at this point

• audit-#17 allocator-traffic hypothesis: falsified by WAT + allocator-source evidence, redirected toward calling-context/schema-reentrancy

  dy

  committed
  7a9c443View commit details

  Copy full SHA for 7a9c443

  Browse repository at this point

• audit-#17 store-loop WAT-diff: general per-field store loop isolated, three recursion-clobber hypotheses traced and falsified, banked at memory-level wall

  dy

  committed
  736c57fView commit details

  Copy full SHA for 736c57f

  Browse repository at this point

• audit-#17 lead 1: pin the '{}' handler's compiled closure — $closure854

  Show description for 31d6631
  dy

  committed
  31d6631View commit details

  Copy full SHA for 31d6631

  Browse repository at this point

• narrow: generalize specializeBimorphicTyped to VAL-kind landslide dichotomies

  Show description for 2658ef3
  dy

  committed
  2658ef3View commit details

  Copy full SHA for 2658ef3

  Browse repository at this point

Commits on Aug 9, 2026

• consistency audit item 4: extract inferTypedValueRanges' range algebra

  Show description for 8ab53f6
  dy

  committed
  8ab53f6View commit details

  Copy full SHA for 8ab53f6

  Browse repository at this point

• audit-#17 item 7: remove hz.all compatibility boolean, pointsTo==='ALL' sole authority

  Show description for 1239193
  dy

  committed
  1239193View commit details

  Copy full SHA for 1239193

  Browse repository at this point