Search results

Phase 1: multi-module region-imports (L13 positive-form) + cross-module differential fixtures

phase:1

Status: Open.

#140 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Phase 1 / D2: round-trip soundness corpus — verify(codegen(parse(src))) == OK, ECHIDNA-enforced

phase:1

Status: Open.

#130 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Phase 1 / D5: source maps for .twasm source-level debugging

phase:1

Status: Open.

#129 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Phase 1 / D1: codegen coverage — all 10 levels across all 6 .twasm examples

phase:1

Status: Open.

#127 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Phase 1 / D6: human-readable error messages (proof/checker failure → "resource X used twice at line N")

phase:1

Status: Open.

#126 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Proof bodies for VerifierSpecAgreement / SourceVerifierAgreement (statements landed in #79; bodies are long-tail)

Status: Open.

#103 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Epistemic.idr: Fresh and ExplicitSync constructors lack FieldVersion pinning (residual gap after A11)

Status: Open.

#102 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 30, 2026

Phase 6: Production hardening

phase:6

tracking

Status: Open.

#54 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 24, 2026

Phase 5: Specification + standards

phase:5

tracking

Status: Open.

#53 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 24, 2026

Phase 4: Tooling + developer experience

phase:4

tracking

Status: Open.

#52 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 24, 2026

Phase 3: Runtime-side enforcement

phase:3

tracking

Status: Open.

#51 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 24, 2026

Phase 2: Multi-producer adoption

phase:2

tracking

Status: Open.

#50 In hyperpolymath/typed-wasm;

· hyperpolymath opened on May 24, 2026