Search results

δ* completion gate: production theorem assembly and independent axiom audit

Status: Open.

#507 In lalalune/ArkLib;

· lalalune opened on Jul 10, 2026

δ* campaign: refresh canonical state, residual census, and branch-local guide

Status: Open.

#506 In lalalune/ArkLib;

· lalalune opened on Jul 10, 2026

Cleanup master plan: full fork assessment — slop removal, prize-research isolation, and the road to an upstream PR

Status: Open.

#499 In lalalune/ArkLib;

· lalalune opened on Jul 10, 2026

Prove δ* — complete research dossier (v3) for the RS proximity-gap prize (successor to #464)

Status: Open.

#466 In lalalune/ArkLib;

· lalalune opened on Jul 1, 2026