Adversarial conformance review follow-ups: runtime + translator (wave 1) - #103

Merged

lann merged 8 commits into

mainfrom

adversarial-review-runtime-translator

Aug 11, 2026

Commits on Aug 11, 2026

#96: cabi hardening — scalar store range asserts, MemInst grow-safety note, transcoder defensive guards
lann
committed
3500ab4
#87 #93 #92: sync subtask.cancel park takes the has_sync_waiter discipline; SuspensionPoint resume guard; race/failure pins
lann
committed
058894f
#99: enter-sync-call carries the reference's reentrance gate
lann
committed
68dc4cf
#84 #90 #97: unwritten futures whose writer dies trap their reader; drop-before-write is abandonment; host buffer bound
lann
committed
26d6016
#85 #86 #91: resource lifetime — gated dtors, host lend tracking, lender unwind on trap paths
lann
committed
ce7db70
#88 #94 #95: plan/executor strictness — duplicate-import guard, loud table accessors, deep schema checks, CM_VALUES tripwire
lann
committed
9a6bb9c
#92 #98: docs and contracts — named divergences, amendment corrections, CM-5 tracker entry
lann
committed
c855b33
justfile: smoke-tls needs --allow-env (wosh-rename fallout)
lann
committed
dace168