Search results

docs: reconcile stale refinement-type ("TRefined parses") claims — owner-only SPDX edits (follow-up to #558)

Status: Open.

#599 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 14, 2026

v1 release-readiness ledger [umbrella] — T0 soundness → T1 completeness → T2 cut-lines → T3 post-v1, with estate cross-references

Status: Open.

#563 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

Stage E1 / CONV-05 / INT-12: emit known-good + known-bad fixture corpus into typed-wasm cross_compat (C5.1)

Status: Open.

#562 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

codegen wall 2: effect codegen — module-level mutable state / Date.now / Console.log on core-WASM

Status: Open.

#561 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

codegen wall 1: variable-string wasm backend ops (String.length / indexing / startsWith / fromCharCode)

Status: Open.

#560 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

tracking: CORE-04 traits residual — associated-type substitution, where-clause supertraits, coherence checking

Status: Open.

#559 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

gate hardening: auto-merge has fired on red builds (#334-#336, #344) — require status checks

Status: Open.

#557 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

tracking: ADR-022 Polonius origin/region variables — implementation M1–M4 (lib/borrow_polonius/)

Status: Open.

#553 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 11, 2026

Proof / property: parser conformance to spec + Menhir conflict-resolution stability (ADR-009 / ADR-012)

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#521 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof: WebAssembly backend semantic preservation (source ⇓ v ⟹ wasm ⇓ encode(v))

majorMajor issue — significant scope, broader impact than a feature/bugMajor issue — significant scope, broader impact than a feature/bug

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#520 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof / property: resolver determinism + import-cycle rejection + qualified-path canonicality (ADR-014)

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#519 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof: effect-row well-formedness + soundness against ADR-016 walker + subsumption

majorMajor issue — significant scope, broader impact than a feature/bugMajor issue — significant scope, broader impact than a feature/bug

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

Status: Open.

#518 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026