Search results

codegen: emit typedwasm.access-sites carrier (typed-wasm ADR-0003)

Status: Open.

#251 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 1b: subst_typing_gen_l1_m_tfuneff + preservation_l2 β wrapper (deferred from #239)

Status: Open.

#249 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

ci: mark 'Coq build — formal/_CoqProject' as REQUIRED in main ruleset (owner action)

Status: Open.

#244 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 4 (Phase 5): compound non-linear values + unconditional preservation_l2

Status: Open.

#242 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 3: relaxed restriction via declared_lambda_r_ins + CPS substitution lemma signature

Status: Open.

#241 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

Phase 3b Stage 2 (L4 track): ELam annotation extension — R_in / R_out as program-level commitments

Status: Open.

#240 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

codegen: surface Ty::Borrow into OwnershipKind::SharedBorrow / ExclBorrow at emission

Status: Open.

#221 In hyperpolymath/ephapax;

· hyperpolymath opened on May 30, 2026

security: 1 CVE advisories in Cargo.lock (bridge triage, Track E)

Status: Open.

#139 In hyperpolymath/ephapax;

· hyperpolymath opened on May 26, 2026

security: 8 Critical/High panic-attack findings need human triage (Track C)

Status: Open.

#138 In hyperpolymath/ephapax;

· hyperpolymath opened on May 26, 2026