Skip to content

Add complete EDCM mathematical reference - #48

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

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

Conversation

@erinepshovel-code

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

Copy link
Copy Markdown
Contributor

Summary

  • add one compiled reference for every mathematical surface currently declared or implemented by EDCM
  • index the previously omitted edcm/edcmucns/ v0.3.1 implementation layer without transferring its historical local “design canon” label into current joint canon
  • separate implementation authority, status authority, experiment candidates, represented evidence, typed NA, provenance identities, and unresolved hmmm boundaries
  • make the reference discoverable from README.md and CANON.md
  • include the reference in the source distribution through MANIFEST.in

Authority and impact

docs/EDCM_MATHEMATICS.md is a synchronized human-readable reference, not a second implementation authority and not a joint UCNS–EDCM canon selection. Owning EDCM source modules and frozen data remain implementation authority; CANON.md governs epistemic status.

The website may reproduce the exact bytes at a cited EDCM commit, but it does not redefine the equations or transfer canon, theorem, proof, measurement, empirical, or runtime status.

Exact producer identity

  • commit: 2f09f9af10ef950ce68c765bcbed7dca83625c65
  • tree: 4fb3ab6632a1ea64253441e569d27eabfaa7d31e
  • reference path: docs/EDCM_MATHEMATICS.md
  • reference blob: c2e059de15c4ef2c5fa9368c63363b606e503206
  • reference SHA-256: 889336c7c723d6e013188e1b3f969f98aeca88e3075b8ce2e67bc87e897e724f

Mathematical coverage

  • maintained baseline vector, recurrence, risks, projections, alerts, thresholds, and Layer-1 duplication boundary
  • signed-ternary ConstraintField and FieldMotion construction
  • implemented v0.3.1 masses, carriers, operator shares, no-bone type, carrier equivalence, append/product distinctions, validator/gauge audit, manifest/witness/payload identities, and hmmm collisions
  • controlled goal-vector projection and motion/trajectory/contradiction rules
  • joint experiment candidates v0.1–v0.4
  • exact UCNS observation boundary
  • canonical JSON, SHA-256, epoch, result, and evidence identities
  • explicit claims for which no valid mathematics currently exists

Verification

  • git diff --check — pass
  • pinned skill-lib consumer drift — 7 skills checked, 0 drift
  • generated MSDMD comparison — exact, no diff
  • python tools/check_metadata_contracts.py — 31 modules, no findings
  • python -m edcm.integrity — pass
  • pytest -q — 227 passed, 20 explicit optional-integration skips
  • python -m build — pass
  • twine check dist/* — pass
  • sdist inclusion — edcm-0.1.0/docs/EDCM_MATHEMATICS.md present

hmmm

The baseline coefficients remain candidate policy. The Layer-1 matrix still duplicates runtime equations. Independent annotation, calibrated outcomes, formal higher-gonol composition, signed producer records, external holdout custody, and the first joint canon decision remain unresolved.

Copy link
Copy Markdown
Contributor Author

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

Authority used: EDCM owning source modules for implementation facts; EDCM CANON.md for status. The website was treated only as a consumer.

Audit result

Surface Result
Equations The compiled reference now indexes the maintained baseline, field/motion layer, implemented edcm/edcmucns/ v0.3.1 layer, controlled goal-vector candidate, joint candidates v0.1–v0.4, exact observation boundary, and identity equations. The v0.3.1 layer had been the producer-side omission and is now included with exact implementation boundaries.
Status labels Current pre-canon/joint-canon boundaries are preserved. The historical local “design canon” label is not promoted. Implemented construction, candidate, represented evidence, controlled candidate-measured evidence, NA, and hmmm remain distinct.
Provenance identities Producer commit 2f09f9af10ef950ce68c765bcbed7dca83625c65; tree 4fb3ab6632a1ea64253441e569d27eabfaa7d31e; reference blob c2e059de15c4ef2c5fa9368c63363b606e503206; SHA-256 889336c7c723d6e013188e1b3f969f98aeca88e3075b8ce2e67bc87e897e724f.
Unresolved boundaries Candidate coefficients, Layer-1 duplication, independent annotation/calibration, formal higher-gonol composition, signed producer authentication, external holdout custody, and joint canon selection remain explicit; none is mapped to zero or implied complete.

Gates

All GitHub workflows are green:

Local package gate also passed: 227 tests, 20 explicit optional-integration skips; build and Twine checks passed.

Readiness and exact merge order

Producer readiness: READY. PR remains draft and has not been merged.

  1. Merge this PR first using a strategy that keeps 2f09f9af10ef950ce68c765bcbed7dca83625c65 reachable from EDCM main (merge commit/fast-forward; do not squash or rebase away the pinned commit).
  2. Verify main:docs/EDCM_MATHEMATICS.md still resolves to blob c2e059de15c4ef2c5fa9368c63363b606e503206.
  3. Only then merge website PR Publish commit-pinned EDCM mathematical reference The-Interdependency.github.io#32.

If policy requires squash/rebase, stop after this PR and repin website PR #32 to the final EDCM main commit before merging it.

hmmm — content identities detect drift; they do not provide signed producer authentication.

@erinepshovel-code
erinepshovel-code marked this pull request as ready for review August 2, 2026 09:17
@erinepshovel-code
erinepshovel-code merged commit 28632bd into main Aug 2, 2026
16 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