Search results

Rust checker: propagate the additive-& / multiplicative-⊗ product split

Status: Open.

#109 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 14, 2026

Solo kernel: switch additive & to lazy evaluation when recursion/effects land

Status: Open.

#107 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 14, 2026

[estate/standards] Contractile sextet + self-validating/bot_directives incomplete & inconsistent across all repos

machine-readable

standards

upstream

Status: Open.

#96 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 5, 2026

[upstream: standards] Hypatia missing_timeout_minutes fires on reusable-workflow callers (not fixable in my-lang)

ci

standards

upstream

Status: Open.

#95 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 5, 2026

Replace expect() in shipped hot paths (parser.rs ×157, string.rs, measure_depth.rs) — CWE-754

code-safety

tech-debt

Status: Open.

#94 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 5, 2026

Solo-core: choose product/elimination form before F1.4 preservation (Fst/Snd unsound as-is)

design-decision

proofs

Status: Open.

#93 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 5, 2026

Pre-existing governance/CI failures unrelated to feature PRs (ReScript anti-pattern, Hypatia baseline format, workflow audit)

Status: Open.

#85 In hyperpolymath/my-lang;

· hyperpolymath opened on Jun 2, 2026

my-lang: deferred analyses (was #38/#39/#40/#41) — blocked on ~330 LOC repro file

investigation

performance

Status: Open.

#75 In hyperpolymath/my-lang;

· hyperpolymath opened on May 27, 2026

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

Status: Open.

#67 In hyperpolymath/my-lang;

· hyperpolymath opened on May 26, 2026