-
-
Notifications
You must be signed in to change notification settings - Fork 0
Stage E1 / CONV-05 / INT-12: emit known-good + known-bad fixture corpus into typed-wasm cross_compat (C5.1) #562
Copy link
Copy link
Open
Labels
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked uptestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverage
Description
Activity
Metadata
Metadata
Assignees
Labels
bindingsABI, FFI, WASM, and cross-language interop surfacesABI, FFI, WASM, and cross-language interop surfacesfeeds:valence-shellFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes thereFeeds valence-shell's proofs/engineering (D127): judge progress by what it contributes therepriority:p2Normal - queue itNormal - queue itscope:repoConfined to this repositoryConfined to this repositorystatus:readyFully specified and ready to be picked upFully specified and ready to be picked uptestingTests, benchmarks, fuzzing, property checks, coverageTests, benchmarks, fuzzing, property checks, coverage
TYPED-WASM-ROADMAP.adoc:311-331; TECH-DEBT CONV-05 row. typed-wasm landed the harness side (cross_compat_real.rs + 4 real affinescript-emitted fixture pairs @ 21edc15, their PR #81) — affinescript docs still call this 'not yet shipped' (TYPED-WASM-INTERFACE.adoc:274-277, stale). Residual here: (1) known-BAD fixture corpus (verifier must reject), (2) regeneration workflow on the affinescript side, (3) refresh the stale doc rows. Coordination: hyperpolymath/typed-wasm#35 (L13 mirror + fixture corpus ask). This is the Stage-E exit-criterion bridge — mechanized agreement proofs live in typed-wasm, fed by these fixtures. Part of the v1-readiness ledger.