Stage a result from THIS repo into the Noumenal Verified ML Journal. Use when a contributor wants to submit, stage, or publish a Lean result (a theorem + optional executable witness) to the journal / the Noumenal site, or asks "how do I add my repo / my theorem to Noumenal", "stage this for the journal", "make a noumenal.json", or "submit this unit". Produces a verified noumenal.json (schema unit.v2) and opts the repo in. Honesty-enforcing: it derives the tier and the trust base from the real artifacts and refuses to stamp an unproven result as accepted.
2026-06-30