Search results

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

Proof: Hindley-Milner soundness + principal types + decidability of unification

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.

#517 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof: affine discipline soundness — @linear consumed exactly once (QTT semiring + Scaled-Let)

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.

#516 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof: borrow-graph soundness (no use-after-move + no conflict + BorrowOutlivesOwner)

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.

#515 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Proof: progress + preservation for the surface type system

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.

#514 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

Umbrella: 8 must-have + 12 high-priority proof obligations for the AffineScript compiler

tech-debtExplicit, tracked technical debtExplicit, tracked technical debt

umbrellaUmbrella issue tracking multiple sub-issuesUmbrella issue tracking multiple sub-issues

Status: Open.

#513 In hyperpolymath/affinescript;

· hyperpolymath opened on Jun 1, 2026

stdlib: pub-mark sweep for io/math/option/result/testing (follow-up to #505)

Status: Open.

#508 In hyperpolymath/affinescript;

· hyperpolymath opened on May 31, 2026

[#446 Tier 1 #5 follow-up] wasm_export_call Zig-FFI smoke-test

bindingsAffineScript bindings to external APIs/frameworksAffineScript bindings to external APIs/frameworks

tier-1AS bindings top-50 Tier 1 (idaptik blockers)AS bindings top-50 Tier 1 (idaptik blockers)

Status: Open.

#501 In hyperpolymath/affinescript;

· hyperpolymath opened on May 31, 2026

[#446 Tier 1 #5 follow-up] examples/wasm-exports-demo.affine — end-to-end usage demo

bindingsAffineScript bindings to external APIs/frameworksAffineScript bindings to external APIs/frameworks

tier-1AS bindings top-50 Tier 1 (idaptik blockers)AS bindings top-50 Tier 1 (idaptik blockers)

Status: Open.

#500 In hyperpolymath/affinescript;

· hyperpolymath opened on May 31, 2026