Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Aug 3, 2026

• fix collectBareEscapes false-positive: compound bitwise-assign target + Math.imul comma-args-list

  Show description for af08bea
  dy

  committed
  af08bea

  Copy full SHA for af08bea

• reference refresh at HEAD f704a077: full 60-case bench + memcheck evidence

  Show description for 2f0720a
  dy

  committed
  2f0720a

  Copy full SHA for 2f0720a

• fix audit-#8 P0-4: JSON scalar-ingress carrier leak; unary BigInt maybeUndefined decay to NaN

  Show description for f704a07
  dy

  committed
  f704a07

  Copy full SHA for f704a07

• fix audit-#8 P0-3/P1-1: BigInt absent-key join reads garbage; stale host-decode marker after in-wasm catch/finally

  Show description for a919446
  dy

  committed
  a919446

  Copy full SHA for a919446

• fix audit-#8 P0-2: Map/dict value census blind to writes captured in a nested closure

  Show description for e79b064
  dy

  committed
  e79b064

  Copy full SHA for e79b064

• fix audit-#8 P0-1/2/3: instanceof soundness + __errcls__ leak

  Show description for 8182e46
  dy

  committed
  8182e46

  Copy full SHA for 8182e46

• ledger: shaped-parser CONFIRMED DEAD at HEAD (re-test, no code change)

  Show description for 7df37ae
  dy

  committed
  7df37ae

  Copy full SHA for 7df37ae

• dyn-set RMW-fusion: stop force-including __dyn_set when the HASH arm can never reach it

  Show description for 0dc8145
  dy

  committed
  0dc8145

  Copy full SHA for 0dc8145

• fix decl-init export-loss root cause: toI32 on boxed BOOL atoms

  Show description for 2188852
  dy

  committed
  2188852

  Copy full SHA for 2188852

• Error-object model Slice B: instanceof operator subset

  Show description for 38c7dde
  dy

  committed
  38c7dde

  Copy full SHA for 38c7dde

• Error-object model Slice A: real in-wasm Error objects

  Show description for 735e7f9
  dy

  committed
  735e7f9

  Copy full SHA for 735e7f9

• fuzz: harden typed-map/array float generator against literal-chain fold divergence

  Show description for 10f40f1
  dy

  committed
  10f40f1

  Copy full SHA for 10f40f1

• gate Number.isNaN's proven-NUMBER short-circuit on censusMaybeUndefined (maybeUndefined Slice 2)

  Show description for 2ea9503
  dy

  committed
  2ea9503

  Copy full SHA for 2ea9503

• maybeUndefined Slices 3-5: nameEscapes alias gate, site survey, Map census re-enable

  Show description for 5c437df
  dy

  committed
  5c437df

  Copy full SHA for 5c437df

• fix module-global i32-narrowing: veto bare escapes program-wide (KNOWN GAP #1 sibling)

  Show description for d9b020f
  dy

  committed
  d9b020f

  Copy full SHA for d9b020f

• fix collectI32SafeIndexVars back-propagation past a bare escape (KNOWN GAP #1)

  Show description for 28b2530
  dy

  committed
  28b2530

  Copy full SHA for 28b2530

• fix bare +/- and compoundAssign i32 fast-path unsoundness at root (P0-2 siblings)

  Show description for 16f2d7c
  dy

  committed
  16f2d7c

  Copy full SHA for 16f2d7c

• fix mulFitsI32 product-range unsoundness at root (P0-2)

  Show description for 3b50d50
  dy

  committed
  3b50d50

  Copy full SHA for 3b50d50

Commits on Aug 2, 2026

• maybeUndefined Slice 1: dict absent-key value join (censusMaybeUndefined)

  Show description for 061e2c6
  dy

  committed
  061e2c6

  Copy full SHA for 061e2c6

• fix Number.isNaN carrier miscompile: NaN-boxed non-numbers read as NaN

  Show description for 90e10c3
  dy

  committed
  90e10c3

  Copy full SHA for 90e10c3

• formatter carrier-dispatch: box ambiguous BOOL∪NUMBER merges at String()/template-literal/computed-key sites

  Show description for 756ae10
  dy

  committed
  756ae10

  Copy full SHA for 756ae10

• fix error-model host decode: keep last-err marker through trap-lowering, decode to real error classes (audit-#7 P1)

  Show description for 2a97308
  dy

  committed
  2a97308

  Copy full SHA for 2a97308

• revert Map value-census .get() consumer: audit P0 (1db8e55e unsound)

  Show description for f8f6159
  dy

  committed
  f8f6159

  Copy full SHA for f8f6159

• memory evidence refreshed at HEAD (c28f218c), speed/size refresh blocked by machine pollution

  Show description for 09c7d2d
  dy

  committed
  09c7d2d

  Copy full SHA for 09c7d2d

• tag-preserving boxPtrIR: fixes real P1 predictor drift, decl-init wall stays closed

  Show description for c28f218
  dy

  committed
  c28f218

  Copy full SHA for c28f218

Commits on Aug 1, 2026

• ledger: decl-init wall ROOT-CAUSED — carrierF64/asF64/boxPtrIR rebox through typed() erases .ptrKind/.ptrAux/.closureFuncIdx (bits right, metadata gone); P1 predictor drift fires deterministically …

  Show description for 6eeada8
  dy

  committed
  6eeada8

  Copy full SHA for 6eeada8

• ledger: map-value census Tier 1 landed — real-corpus verification, param-alias gap banked (not zero occurrences, sound)

  dy

  committed
  d2a1dee

  Copy full SHA for d2a1dee

• map-value census Tier 1 consumer: .get() reads through the proven value kind

  Show description for 1db8e55
  dy

  committed
  1db8e55

  Copy full SHA for 1db8e55

• map-value census Tier 1: scalar mapValueValType (dict-value census's Map sibling)

  Show description for 108604f
  dy

  committed
  108604f

  Copy full SHA for 108604f

• ledger: decl-init wall re-characterized — TOTAL export loss when self-compiled (not a narrow gap), second symptom closure-local i32/f64 desync in-kernel only; three suspects ruled out structurally,…

  Show description for da7e08c
  dy

  committed
  da7e08c

  Copy full SHA for da7e08c

• warm cap re-baselined 0.99 → 1.03 (justified per the ring-ratchet precedent)

  Show description for d957672
  dy

  committed
  d957672

  Copy full SHA for d957672

• lookupValType: guard overlay probe by size, matching refinements

  Show description for 7965758
  dy

  committed
  7965758

  Copy full SHA for 7965758

• hasAmbiguousBoolMerge: direct indexing, no per-call rest-destructure allocation

  Show description for 0721642
  dy

  committed
  0721642

  Copy full SHA for 0721642

• solver-context completion: hoist cx fields to per-call locals in the fixpoint inferencers

  Show description for c807f8a
  dy

  committed
  c807f8a

  Copy full SHA for c807f8a

• narrow.js: runArrElemFixpoint's inferFn positional tail replaced with named cx

  Show description for da39fee
  dy

  committed
  da39fee

  Copy full SHA for da39fee