Mathematics & verification

metapat

frontier

Meta Energy Theory Axioms Postulates And Theorems - meta study of energy identifying interdomain first principals

Purpose within the whole

A reviewed project purpose has not yet been declared.

Repository self-description · exact-head projection

MSDMD

ok 84 declarations 0 gaps 93 edges

Collection metapat_msdmd.ts at e4165b0cac9e. The repository remains source authority; this page only projects it.

Refresh reads the repository's current public HEAD without mutating it. The build-time exact-head projection remains the fallback.

Repository-owned reading surface

Documentation

README and Markdown documentation are copied from the exact repository head recorded by this site build. A live refresh can replace this view with the repository's current public HEAD for this browser session.

README · e4165b0cac9e

METAPAT

Meta Energy Theory — Axioms, Postulates, Theorems, and Theories.

METAPAT is the canonical semantic authority for Meta Energy Theory. It compares structures and actions independently exposed across domains without allowing any one domain to own the root or transfer its vocabulary by resemblance alone.

Different domains may expose common structures and actions. Domain-specific names, mechanisms, evidence standards, and conservation laws remain domain-owned unless the target domain independently licenses them.

Root spine

Thing is that which is.
Boundary is the thing between things.
State is a metricable property of a thing.
A simplex is a thing with boundary and state.
A tensor is structure produced when simplexes relate.

The current action, measurement, result, and domain-qualification extension is:

Relate is this to that.
Tensors emerge from simplexes.
Vector alters state.
Vector is inferred by scalar measurement.
Scalar is a state metric.
Transformation is resulting state change.
Time is sequential transformation.
Structural recurrence does not transfer a domain term.

The final line is a semantic transfer constraint, not a measurement or transformation rule. Energy is domain-qualified: METAPAT does not call every state transformation energy merely because energetic systems can share the same abstract structure.

Recursion

Thing + Thing -> Boundary
Thing + Boundary + State -> Simplex
Simplexes Relate -> Tensor Emerges
Tensor -> Thing
Thing + Boundary + State -> Simplex
Repeat

A simplex may be constructed below the level at which it participates as a whole. Construction history does not prevent whole participation.

Cross-domain reconstruction

METAPAT compares independently recovered structures and actions across domains.

The domain implementation does not transfer automatically. A capacitor remains electrical; a flywheel remains mechanical; language remains linguistic. What may transfer is the structure or action that survives removal of the domain-specific implementation.

A new domain may:

  • reveal a new primitive;
  • split a presently conflated primitive;
  • refine an existing definition;
  • or falsify part of the current architecture.

Completeness is never presumed.

Architecture

Authority flow:

METAPAT canon
    |
    +-- constrains terms, interpretation, allowed derivations, and claim status
    +-- catalog makes doctrine addressable
    +-- application modules bind domain uses to exact catalog identities and evidence limits
    v
UCNS adapters and EDCM consumers

Runtime data flow remains separate:

source evidence -> EDCM parsing -> actual UCNS representation -> EDCM readouts
                                     ^
                                     |
                          METAPAT-derived semantic constraints

UCNS owns geometry and its theorem status. EDCM owns measurement. Neither implementation owns or proves the METAPAT root.

Install, test, and build

Python 3.11 or newer is required.

python -m pip install -e .[dev]
python -m unittest discover -s tests
python -m pytest -q
python tools/check_contract_graph.py
python tools/generate_catalog.py --check
python tools/generate_application_fixtures.py --check
python tools/generate_msdmd.py --check
python -m build
python -m twine check dist/*

The base package has no third-party runtime dependency. Install the actual UCNS adapter dependency explicitly when needed:

python -m pip install "git+https://github.com/The-Interdependency/ucns.git@19f1afddb993f7d933ac8727627e7d5e1c3b88fc"
python -m pip install -e .[dev]

Byte-complete canon identity

metapat.canon_digest() binds the exact importable canon surface and the exact Git blob identities of every canon-bearing Markdown file.

The current canon epoch is metapat-canon-v4; identity schema 4.0.0 covers the exact v4 public identity shape and complete canon-file set:

  • CHAPTER_ZERO.md
  • AXIOMS.md
  • POSTULATES.md
  • THEOREMS.md
  • THEORIES.md
  • GLOSSARY.md
  • DOMAIN_RESTRAINT.md
from pathlib import Path
import metapat

print(metapat.CANON_VERSION)
print(metapat.canon_digest())
metapat.assert_canon_files_match(Path("."))

A digest is identity evidence, not empirical validation or formal proof.

Consumer migration is fail-closed. A consumer bound to any earlier canon, identity schema, or catalog—including v3 schema 3.0.0—must reject v4 until it explicitly binds identity schema 4.0.0 and the v4 identities it uses. Unknown top-level identity fields are not an implicit migration path.

Immutable semantic module envelope

MetapatModuleEnvelope carries semantic authority and provenance only. It preserves:

  • schema and module identity;
  • canon version and digest;
  • exact source references and statements;
  • constraints and permitted interpretations;
  • unresolved hmmm;
  • deterministic provenance identity.

The root spine is represented as module_kind="canon-module". Current module vocabulary includes thing, boundary, state, simplex, tensor, relate, relation, emergence, scalar, vector, transformation, time, domain-qualification, registration, observer, question, postulate, theorem, and theory. energy is not a universal module kind in v4; a domain may use the term only under its own applicable evidence and licensing.

The v4 envelope wire schema is 2.0.0. It is deliberately incompatible with the prior 1.2.0 epoch, so old and current parsers fail closed across the boundary until a consumer explicitly rebinds the v4 canon and provenance identities.

The packaged fixtures/root-spine-envelope-v4.json must remain byte-identical to the live constructor.

Addressable semantic catalog

metapat.canonical_semantic_catalog() materializes the current doctrine as stable provenance-bearing modules:

1 root module
12 axiom modules
7 postulate modules
8 theorem modules
12 theory modules
40 modules total
43 declared derived-from relations

The catalog does not infer ancestry from analogy, repeated terms, ordering, geometry, or similarity.

from pathlib import Path
import metapat

catalog = metapat.canonical_semantic_catalog()
metapat.assert_catalog_complete(catalog)
metapat.assert_catalog_sources_match(Path("."), catalog)

tensor = metapat.semantic_module_by_id("metapat.axiom.5.tensor", catalog)
print(tensor.claim_status)
print(tensor.envelope.source_statements)
print(catalog.catalog_digest)

The current catalog epoch is metapat-semantic-catalog-v4. The packaged fixtures/semantic-module-catalog-v4.json must remain byte-identical to the live constructor plus one trailing newline.

Catalog-bound applications

Application modules bind domain uses to exact catalog modules while preserving domain evidence boundaries. They do not promote application claims into root truth.

The v4 application-module wire schema is 2.0.0; the prior 1.0.0 parser epoch must reject it until a consumer explicitly migrates to the v4 application and catalog identities.

The quantum-magnetism vertical slice is currently:

application: metapat.application.quantum_magnetism
version: quantum-magnetism-application-v4
claim status: CROSS-DOMAIN-HYPOTHESIS
catalog bindings: 12
root impact: none

The application remains answerable to physics. Passing METAPAT contract checks does not validate quantum mechanics, a material model, or METAPAT itself.

Actual UCNS adapter

METAPAT defines no local UCNS algebra. metapat.ucns lazily imports the actual ucns package only when adaptation is requested.

The default semantic mapping is external-provenance: METAPAT semantics remain in the adaptation record while UCNS owns its representation and geometry.

UCNSAdaptationRecord wire version 2.0.0 validates its embedded envelope schema 2.0.0 and exact v4 canon identity. The prior adaptation wire 1.0.0 and current wire reject one another; an outer record cannot be used to bypass explicit v4 migration.

One explicit semantic exception remains available through canon-bound UCNSForkAuthorization for constitutive-simultaneous children. Authorization supplies semantic permission only; downstream UCNS topology still has to be verified independently.

Contract and evidence graph

The repository follows the pinned skill-lib split:

CONTRACTS are source-owned obligations.
CHECKS are test-owned accountable witnesses.
audit reconciles the graph without importing code.

tools/check_contract_graph.py rejects orphan contracts, phantom evidence, unresolved self-calls, and other graph drift. Generated fixtures and metapat_msdmd.ts are regenerated from source; they are not hand-maintained.

Current authority map

  • CHAPTER_ZERO.md — canonical chapter and textbook Chapter Zero source.
  • AXIOMS.md — numbered root structures/actions/results.
  • POSTULATES.md — revisable working commitments.
  • THEOREMS.md — internal derivations.
  • THEORIES.md — organized derivation families.
  • DOMAIN_RESTRAINT.md — prevents domain capture.
  • GLOSSARY.md — current term definitions.
  • docs/claims-ledger.md — public claim classification.
  • docs/semantic-module-catalog.md — catalog contract and limits.
  • docs/application-modules.md — application schema and evidence firewall.
  • UCNS_IMPLEMENTATION.md — actual adapter scope and limits.
  • docs/ucns-phi-policy.md — explicit constitutive-fork authority and limits.
  • COMPLIANCE.md — current evidence surfaces and commands.

Repository rule

No implementation owns the root.

hmmm

METAPAT is intentionally open to falsification. A later domain may reveal a new primitive, split one, refine one, or falsify part of the current construction. Completeness is never presumed.

Open exact README source

Repository documents

The static page indexes exact-head documents without duplicating their full bytes into the site artifact. Use Refresh MSDMD + docs above to render the current public copies here.

Documentation provenance
Repository
metapat
Consumed HEAD
e4165b0cac9eca41daef9c2f941881028ca55d48
Default branch
main
Projected documents
29
Projection mode
exact-head build observation

Public surfaces

Primary artifact
hmmm
Documentation
Rendered above from repository source
Default branch
main
Primary language
Python
License
MPL-2.0
Last push
2026-09-29T07:29:30Z

hmmm

Editorial project role is inferred from public GitHub metadata until a reviewed .interdependency/project.yml is added.

hmmm

Project maturity has not been explicitly declared.