8000 [Principia M0] Freeze the 1846 edition, source normalization, rights, and campaign ADRs · Issue #18 · Mnehmos/mathcorpus · GitHub
[go: up one dir, main page]

Skip to content

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

Open

Description

@Mnehmos

Parent: #17

Objective

Freeze the campaign inputs and governance decisions before source extraction or formalization begins.

Required work

  • Pin the exact 1846 English Motte/Chittenden source file with SHA-256.
  • Create or update the edition-level literature_source record and pin its record hash.
  • Record exact title-page metadata, publication year, translator/editor/publisher roles, acquisition source, scan provenance, and OCR provenance.
  • Build a deterministic mapping between PDF page numbers and printed page numbers.
  • Define the source-segmentation normalization algorithm used before computing source_segment_sha256.
  • Classify textual layers: translated work text, translator note, editor note, biographical matter, publisher matter, and uncertain.
  • Complete a rights review covering source file retention, excerpts, public export, full-text export, and training eligibility.
  • Write an ADR for cross-packet reuse: prefer importing stable sibling packets unless an explicit isolation requirement justifies re-proving.
  • Record provisional category paths and the dependency on Expand the packet curriculum taxonomy across mathematics and add a generic first-principles-to-frontier authoring prompt #11's canonical category registry/aliases.
  • Ensure feat(corpus): NumberTheory/PrimeDistribution wave 1 — Erdős-647 analytic core (#12) #16 or equivalent verifier CI is merged or explicitly tracked as a blocking prerequisite.

Deliverables

  • docs/campaigns/principia/source_identity.md
  • docs/campaigns/principia/source_normalization.md
  • docs/campaigns/principia/rights_review.md
  • docs/campaigns/principia/page_map.json
  • ADRs for source identity, cross-packet reuse, and campaign category placement

Acceptance criteria

  • Every source byte used by the campaign traces to the pinned file hash.
  • Every source locator can resolve through the committed page map.
  • Re-running normalization on the same segment produces the same segment hash.
  • No agent is permitted to infer public-domain, excerpt, or training rights from publication year alone.
  • The edition is described as an English translation/edited edition, not as Newton's exact original Latin wording.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions

      0