Open Issues Need Help
View All on GitHub Make the C test target independent of a repository-local virtualenv about 2 months ago
good first issue verification
Prove clean-room whole-repository regeneration about 2 months ago
help wanted provenance verification bootstrap milestone-2
Milestone 2: Root-seed fixed-point bootstrap about 2 months ago
help wanted architecture provenance research verification bootstrap uem milestone-2
Project measured corpus evidence into the generated Atlas application about 2 months ago
help wanted verification application-atlas outward-boundary
GitHub Application Atlas: live corpus acquisition about 2 months ago
help wanted architecture research application-atlas
Prove unseen GitHub holdout generation without compiler changes about 2 months ago
help wanted research verification application-atlas
Extract traceable candidate application seeds from canonical records about 2 months ago
help wanted research application-atlas data
Normalize repositories and collapse mirrors into canonical candidates about 2 months ago
help wanted architecture research application-atlas data
Add a canonical public-repository fixture pack about 2 months ago
documentation help wanted good first issue verification application-atlas data
Implement the read-only GitHub corpus OUTWARD adapter about 2 months ago
enhancement help wanted application-atlas outward-boundary
Define the canonical GitHub corpus snapshot contract about 2 months ago
help wanted architecture provenance research application-atlas
Enforce arithmetic-result range in stateful transitions about 2 months ago
enhancement help wanted verification uem milestone-1.1
Enforce the post-bootstrap single-language boundary about 2 months ago
help wanted provenance verification bootstrap blocked uem milestone-2
Define one post-bootstrap Unified Language about 2 months ago
help wanted architecture research bootstrap uem milestone-2
Inventory pre-bootstrap language and toolchain surfaces about 2 months ago
documentation help wanted good first issue provenance verification bootstrap milestone-2
bug help wanted architecture verification milestone-1.1
Define external dependency provenance about 2 months ago
help wanted good first issue provenance research milestone-2
Generate tests, mutations, goldens, documentation, and audit tooling about 2 months ago
help wanted provenance verification blocked milestone-2
Generate UEM hosts and target adapters about 2 months ago
help wanted architecture verification blocked uem milestone-2
Prove byte-identical Stage-1 fixed point about 2 months ago
help wanted verification bootstrap blocked milestone-2
Generate the framework and generator from ROOT.seed about 2 months ago
help wanted architecture bootstrap blocked milestone-2
Define the minimal Stage-0 bootstrap contract about 2 months ago
help wanted architecture research bootstrap milestone-2