Open Issues Need Help
View All on GitHub Milestone 2: Root-seed fixed-point bootstrap about 3 hours ago
help wanted architecture provenance research verification bootstrap uem milestone-2
Prove clean-room whole-repository regeneration about 3 hours ago
help wanted provenance verification bootstrap blocked milestone-2
Define external dependency provenance about 3 hours ago
help wanted good first issue provenance research milestone-2
Generate tests, mutations, goldens, documentation, and audit tooling about 3 hours ago
help wanted provenance verification blocked milestone-2
Generate UEM hosts and target adapters about 3 hours ago
help wanted architecture verification blocked uem milestone-2
Prove byte-identical Stage-1 fixed point about 3 hours ago
help wanted verification bootstrap blocked milestone-2
Generate the framework and generator from ROOT.seed about 3 hours ago
help wanted architecture bootstrap blocked milestone-2
Define the minimal Stage-0 bootstrap contract about 3 hours ago
help wanted architecture research bootstrap milestone-2