Issues

• [Principia M6] Publish a reproducible campaign release and whole-work backlog

  Mnehmos/mathcorpus#24 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M5] Add approximation and empirical-premise governance

  Mnehmos/mathcorpus#23 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M4] Verify the first source → modern theorem vertical slices

  Mnehmos/mathcorpus#22 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M3] Audit pinned Mathlib and build the reusable mechanics prerequisite spine

  Mnehmos/mathcorpus#21 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M2] Review the Definitions, Laws, and Book I source map

  Mnehmos/mathcorpus#20 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M1] Add canonical source-object packets, mappings, safe authoring, and validation

  Mnehmos/mathcorpus#19 · Filter by author Mnehmos opened on Jul 25, 2026

• [Principia M0] Freeze the 1846 edition, source normalization, rights, and campaign ADRs

  Mnehmos/mathcorpus#18 · Filter by author Mnehmos opened on Jul 25, 2026

• [Epic] Principia source-critical corpus → verifier-gated formal mechanics

  Mnehmos/mathcorpus#17 · Filter by author Mnehmos opened on Jul 25, 2026

• Build a Prime Distribution packet family from first principles to the research frontier

  Mnehmos/mathcorpus#12 · Filter by author Mnehmos opened on Jul 15, 2026

• Expand the packet curriculum taxonomy across mathematics and add a generic first-principles-to-frontier authoring prompt

  classical-mechanicsepicplan-of-recordprincipiasource-critical
  Mnehmos/mathcorpus#11 · Filter by author Mnehmos opened on Jul 13, 2026

• feat(schema): empirical proof_profile measures + a trajectory "research record", once #231 ships real data

  Mnehmos/mathcorpus#10 · Filter by author Mnehmos opened on Jul 12, 2026

• feat(export): add a canonical RL transition dataset exporter and validator

  Mnehmos/mathcorpus#9 · Filter by author Mnehmos opened on Jul 12, 2026
  1