Codex/typechecker contract audit - #652

Merged

logbie merged 4 commits into

mainfrom

codex/typechecker-contract-audit

Jul 27, 2026

Commits on Jul 27, 2026

fix: harden gradual type checking contracts

logbie
authored and
codesmith-bot
committed
de3725f
test: add AST baseline for pattern matching documentation examples

logbie
authored and
codesmith-bot
committed
fbfd2d7
test: bind a real request for repeat-until stream retype after rebase

logbie
and
codesmith-bot
committed
158d0e2
fix: restore handler test constructor and websocket binding contract

logbie
and
codesmith-bot
committed
b8acbdf