JS-SAM: cross-platform sandbox, Opus 4.8, and real Phase-3 spin traces - #21

Open

jdubray wants to merge 8 commits into

specula-org:mainfrom

jdubray:js-sam-crossplatform-phase3

Commits on Jul 1, 2026

js_sam: make the Docker sandbox cross-platform (Windows host support)
kizo-core
committed
c93ba58
models: point `claude` at Opus 4.8; omit sampling params for Opus 4.7+
kizo-core
committed
7b6d155
run_benchmark: force UTF-8 std streams so status glyphs don't crash
kizo-core
committed
c900040
eval: report states_explored for non-TLA+ backends
kizo-core
committed
eaed4b6
spin harness: capture real 2-thread traces for JS-SAM Phase 3

kizo-core
and
claude
committed
d9f82f7
docs: research report for the first end-to-end JS-SAM experiment

kizo-core
and
claude
committed
f402e9f

Commits on Jul 11, 2026

harness/spin: address review — self-healing patch guard, real test rc

kizo-core
and
claude
committed
81abd0f

Commits on Jul 13, 2026

test: mock missing spin traces
Qian-Cheng-nju
committed
78a40d8