8000 [Principia M2] Review the Definitions, Laws, and Book I source map · Issue #20 · Mnehmos/mathcorpus · GitHub
[go: up one dir, main page]

Skip to content

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

Open

Description

@Mnehmos

Parent: #17
Blocked by: #18, #19

Objective

Create the first complete, reviewed source map for the campaign using canonical source-object packets rather than an OCR dump or informal notes.

Pilot scope

Map the complete:

  • Definitions section;
  • Laws of Motion section, including associated corollaries and scholia;
  • first three sections of Book I, identified by the edition as the minimum mathematical preparation before Book III.

Required classification

Every source object must receive:

  • a structured edition/book/section/item/page locator;
  • a source-segment hash produced by the committed normalization rule;
  • a textual layer distinguishing work text, translation/editorial material, biography, publisher matter, or uncertainty;
  • a source role such as definition, law/postulate, philosophical rule, pure mathematical lemma, mathematical proposition, corollary, problem/construction, physical-model claim, phenomenon, empirical measurement, approximation, scholium, diagram, or historical/editorial material;
  • attributed author/translator/editor roles;
  • extraction method;
  • editorial review state;
  • rights review state;
  • fidelity notes where wording or attribution is ambiguous.

Mapping requirements

For each selected source object, create zero or more reviewed links to:

  • an edition-faithful restatement;
  • a modern specialization or generalization;
  • a formalization target;
  • an analytical core;
  • an approximation justification;
  • an empirical premise;
  • historical context.

Every mapping must describe assumptions added, removed, strengthened, weakened, specialized, or generalized. The mapping review state must not change the proof authority of either endpoint.

Review workflow

  • deterministic extraction/localization;
  • human locator review;
  • source-fidelity review;
  • separate mathematical interpretation review;
  • rights/excerpt review;
  • external review where available.

Generated outputs

  • source-object packets for the full pilot scope;
  • reverse relation index;
  • coverage report grouped by source section and source role;
  • unresolved-fidelity report;
  • unresolved-rights report;
  • explicit list of excluded editorial/biographical matter.

Acceptance criteria

  • 100% of pilot objects have locators, roles, segment hashes, textual layers, review states, and rights states.
  • No English translation is described as exact original Latin wording.
  • Translator/editor/biographer material is not attributed to Newton.
  • No retrieved passage or model extraction becomes canonical without source-object review.
  • No whole-book OCR dump is committed as packet content.
  • Coverage can be regenerated from packet data without a hand-maintained second database.

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