Skip to content

Publish commit-pinned EDCM mathematical reference - #32

Merged
erinepshovel-code merged 2 commits into
mainfrom
agent/publish-edcm-mathematics
Aug 2, 2026
Merged

erinepshovel-code merged 2 commits into
mainfrom
agent/publish-edcm-mathematics

Conversation

@erinepshovel-code

@erinepshovel-code erinepshovel-code commented Aug 2, 2026

Copy link
Copy Markdown
Contributor

Summary

  • replace the conversation-derived mathematical reconstruction with an exact reproduction of the EDCM reference
  • pin the producer repository, path, commit, Git blob, SHA-256, and license
  • keep the website explicitly non-authoritative and transfer no canon, proof, theorem, measurement, empirical, or runtime status
  • fail deterministically when the vendored bytes drift from the pinned Git blob or SHA-256
  • support an optional direct byte comparison against an EDCM checkout
  • render long reproduced code and block-MathML regions with keyboard-focusable overflow
  • regenerate the repository MSDMD collection and update source, generated-route, browser, and accessibility checks

Authority and source identity

EDCM source modules remain implementation authority and EDCM CANON.md remains status authority. This PR is only a publication consumer.

  • producer: The-Interdependency/edcm
  • path: docs/EDCM_MATHEMATICS.md
  • commit: 2f09f9af10ef950ce68c765bcbed7dca83625c65
  • Git blob: c2e059de15c4ef2c5fa9368c63363b606e503206
  • SHA-256: 889336c7c723d6e013188e1b3f969f98aeca88e3075b8ce2e67bc87e897e724f
  • license: MPL-2.0
  • website commit: 444718ad62eb47427610acef4fe5dbfeafbc2b87
  • website tree: 70d4fb52277dd6d7273f715a62e6e338f6e8dd45

Corrections must land in EDCM first. Updating the website copy requires changing the commit, blob, SHA-256, and exact copied bytes together.

Deterministic drift gates

  • npm run check:edcm-reference validates the vendored bytes against the pinned SHA-256 and Git blob identity
  • node scripts/check-edcm-reference-drift.mjs /path/to/edcm/docs/EDCM_MATHEMATICS.md additionally requires byte-for-byte equality with a producer checkout
  • source/unit, generated-site, and browser tests assert the source pin, status non-transfer, representative authority contacts, static MathML, and visible unresolved boundaries

Local verification

  • direct EDCM checkout comparison — exact: 37,475 UTF-8 bytes
  • EDCM reference unit tests — 3 passed
  • workflow action audit — pass
  • LLM build drift — pass
  • skill-lib MSDMD regeneration — exact, no diff
  • source suite — 44 passed
  • generated deployment suite — 11 passed
  • Playwright route/math/accessibility suite — 27 passed
  • git diff --check — pass
  • exact post-repair npm run check retry — reached the external textbook refresh, received an incomplete fallback snapshot, and correctly stopped production validation; this is an external retrieval blocker, not a mathematical or generated-output mismatch

Merge dependency

Merge EDCM PR #48 first. Merge this PR only afterward, with the pinned producer commit still reachable and all required GitHub checks green.

hmmm

Git content identities detect drift but do not authenticate the producer. Every mathematical unresolved boundary remains in the reproduced EDCM reference. The local all-in-one website gate remains contingent on successful retrieval of all eight external textbook sources; GitHub CI is the final readiness signal.

@erinepshovel-code erinepshovel-code changed the title Publish source-attributed EDCM mathematics artifact Publish commit-pinned EDCM mathematical reference Aug 2, 2026

Copy link
Copy Markdown
Contributor Author

Final cross-PR audit and readiness — 2026-08-02

Authority used: EDCM owning source modules for equations/implementation and EDCM CANON.md for status.

Audit result

Surface Result
Equations The website’s independently reconstructed carrier tuple, lifted domain/mirror, XOR product/zero/unit algebra, and ordered formal-carrier equivalence were not supported as current EDCM authority and have been removed. The page now renders the exact 37,475-byte EDCM reference, including every equation and explicit non-equation boundary.
Status labels “Recovered/ratified/frozen architecture” publication claims were removed. The page is labeled commit-pinned reproduction · non-authoritative publication copy and transfers no authority, canon, proof, theorem, measurement, empirical, or runtime status.
Provenance identities EDCM commit 2f09f9af10ef950ce68c765bcbed7dca83625c65, path docs/EDCM_MATHEMATICS.md, blob c2e059de15c4ef2c5fa9368c63363b606e503206, SHA-256 889336c7c723d6e013188e1b3f969f98aeca88e3075b8ce2e67bc87e897e724f; website commit 444718ad62eb47427610acef4fe5dbfeafbc2b87, tree 70d4fb52277dd6d7273f715a62e6e338f6e8dd45.
Unresolved boundaries All EDCM hmmm boundaries are reproduced unchanged. The website additionally states that Git content identity is drift evidence, not producer authentication.

Deterministic drift protection

  • npm run check:edcm-reference fails unless copied bytes match both pinned SHA-256 and Git blob.
  • Supplying an EDCM checkout to scripts/check-edcm-reference-drift.mjs additionally enforces direct byte equality.
  • Unit/generated/browser checks cover pin visibility, exact bytes, status non-transfer, representative authority contacts, static MathML, keyboard-accessible overflow, and hmmm.

Gates

  • Local: direct producer comparison exact; EDCM unit 3/3; source 44/44; generated 11/11; Playwright 27/27; workflow/LLM/MSDMD drift checks green.
  • GitHub: Pull Request run 30740481672 is green. Its Build, validate, and test and browser and accessibility release checks steps both passed.
  • The earlier local all-in-one retry stopped on an incomplete external textbook fetch; the authenticated GitHub gate subsequently completed that same build/validate/test path successfully.

Readiness and exact merge order

Consumer readiness: READY AFTER EDCM PR #48. PR remains draft and has not been merged.

  1. Merge Add complete EDCM mathematical reference edcm#48 first while preserving EDCM commit 2f09f9af10ef950ce68c765bcbed7dca83625c65.
  2. Confirm the pinned path still has blob c2e059de15c4ef2c5fa9368c63363b606e503206.
  3. Merge this PR second.

If EDCM #48 is squash/rebase merged and the pinned commit is not retained on main, this PR is not ready until its commit pin is updated and all drift/release gates rerun.

hmmm — the reproduction is byte-exact and status-bounded; signed producer authentication remains unresolved.

@erinepshovel-code
erinepshovel-code marked this pull request as ready for review August 2, 2026 09:17
@erinepshovel-code
erinepshovel-code merged commit 158113a into main Aug 2, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant