Meta Energy Theory — Axioms, Postulates, Theorems, and Theories.
METAPAT is the canonical semantic authority for Meta Energy Theory: a substrate-independent ontology of energy-state relation and transformation. UCNS may represent geometry and EDCM may measure source evidence; neither implementation owns or proves the root.
Legible difference is distinction.
Distinction defines boundaries.
Boundaries define simplex.
Boundary is simplex of distinction.
Simplex holds or modifies energy in a state of being.
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:
source evidence -> EDCM parsing -> actual UCNS representation -> EDCM readouts
^
|
METAPAT-derived semantic constraints
Proof-status boundary:
UCNS theorem/domain status remains UCNS evidence.
It does not transfer into METAPAT ontology validity or EDCM measurement validity.
The former single diagram UCNS -> METAPAT -> EDCM is superseded because it collapsed authority, data, and proof status into one ambiguous arrow.
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:
python -m pip install -e .[dev,ucns]metapat.canon_digest() binds two distinct surfaces without changing canon text:
- the exact importable constants and definitions;
- the exact Git blob identities of every canon-bearing Markdown file.
The manifest covers CHAPTER_ZERO.md, AXIOMS.md, POSTULATES.md, THEOREMS.md, THEORIES.md, GLOSSARY.md, and DOMAIN_RESTRAINT.md.
from pathlib import Path
import metapat
print(metapat.CANON_VERSION)
print(metapat.CANON_IDENTITY_SCHEMA_VERSION)
print(metapat.canon_digest())
metapat.assert_canon_files_match(Path("."))The current canon epoch is metapat-canon-v2; identity schema 2.0.0 covers the complete canon file set. The aggregate identity is fd177e4f3d545005048d6352fbf6753a2f06e471231edd5fa8030b8bd1a1b14a. The Fourth Axiom root statement remains exactly Tensor is primitive.; the v2 rotation binds the explanatory tensor clarification in CHAPTER_ZERO.md and GLOSSARY.md plus the Seventh Postulate from current main, without allowing mathematical or other domain tools to redefine the METAPAT root. A digest is identity evidence, not empirical validation or formal proof of the ontology.
Consumer migration is fail-closed: a consumer pinned to metapat-canon-v1 must reject v2 until it explicitly binds the v2 canon, catalog, application, and provenance digests. METAPAT declares that migration consequence; UCNS, EDCM, and other consumers retain authority over their own epoch names.
MetapatModuleEnvelope carries semantic authority and provenance only. Schema 1.2.0 carries:
- schema and module identity;
- canon version and byte-complete digest;
- exact source references and statement text;
- bounded constraints;
- permitted interpretations;
- unresolved
hmmmfields; - deterministic provenance digest.
The canonical root spine is represented as module_kind="canon-module", not silently classified as a simplex. The allowed module vocabulary also includes distinction, simplex, boundary-simplex, tensor, energy-state, scalar, vector, relation, gradient, transformation, registration, observer, time, question, postulate, theorem, and theory. Naming a kind does not supply an empirical state or measured value.
Deserialization rejects unknown, missing, or incorrectly typed fields rather than coercing malformed input.
import metapat
module = metapat.root_spine_module_envelope()
serialized = module.to_json()
roundtrip = metapat.MetapatModuleEnvelope.from_json(serialized)
assert roundtrip == moduleThe installed package includes fixtures/root-spine-envelope-v2.json, which must remain byte-identical to the live canonical constructor.
metapat.canonical_semantic_catalog() materializes the complete current doctrine as stable provenance-bearing modules without changing canon text:
1 root module
12 axiom modules
7 postulate modules
8 theorem modules
12 theory modules
40 modules total
The catalog also carries 52 exact derived-from relations already declared in THEORIES.md. It does not infer ancestry from similar wording, analogy, ordering, geometry, carrier size, or repeated terms.
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.4.tensor", catalog)
print(tensor.claim_status)
print(tensor.envelope.source_statements)
print(catalog.catalog_digest)Catalog v2 preserves distinctions among ROOT-STIPULATION, DEFINITION, WORKING-POSTULATE, INTERNAL-DERIVATION, and CROSS-DOMAIN-HYPOTHESIS. A module's status does not transfer into an application, UCNS object, EDCM measurement, or downstream theorem.
The packaged fixtures/semantic-module-catalog-v2.json must remain byte-identical to the live constructor plus one trailing newline. See docs/semantic-module-catalog.md.
MetapatApplicationModule binds a domain application to exact catalog module IDs, module digests, and declared claim statuses while preserving source text, scales, transfer limits, evidence requirements, unresolved hmmm, and a deterministic application digest.
The first vertical slice is:
application: metapat.application.quantum_magnetism
version: quantum-magnetism-application-v2
claim status: CROSS-DOMAIN-HYPOTHESIS
catalog bindings: 12
root impact: none
from pathlib import Path
import metapat
catalog = metapat.canonical_semantic_catalog()
application = metapat.quantum_magnetism_application_module(catalog)
metapat.validate_application_against_catalog(application, catalog)
metapat.assert_application_sources_match(Path("."), application)
print(application.application_digest)The application preserves nuclear, atomic, crystalline, and magnetic-domain scale distinctions, keeps physics answerable to physics, deliberately excludes Theory 10, and makes no METAPAT-validity, domain-validity, measurement-validity, theorem-transfer, or UCNS-topology claim.
The packaged fixture is fixtures/quantum-magnetism-application-v2.json. See docs/application-modules.md and docs/applications/quantum-magnetism.md.
METAPAT defines no local UCNSObject, normalization, carrier calculation, or composition algebra. metapat.ucns lazily imports the actual ucns package only when adaptation is requested.
import metapat
import ucns
envelope = metapat.root_spine_module_envelope()
adaptation = metapat.adapt_envelope_to_ucns(envelope)
assert isinstance(adaptation.ucns_object, ucns.UCNSObject)
assert adaptation.record.ucns_object_hash == ucns.stable_hash(adaptation.ucns_object)
assert adaptation.record.constraints == envelope.constraints
assert adaptation.record.permitted_interpretations == envelope.permitted_interpretations
assert adaptation.record.theorem_status_transfer is FalseThe adapter's default semantic mapping is explicitly:
external-provenance
METAPAT statement text is not inserted into UCNS payloads by the adapter. The complete semantic envelope survives in the serializable adaptation record while UCNS payloads remain unit.
The default external-provenance mapping has one ratified semantic exception: METAPAT may issue a canon-bound UCNSForkAuthorization when ordered children are simultaneous constitutive components of one parent.
default adapter mapping: external-provenance
authorized relation: constitutive-simultaneous
authorization mode: explicit-only
Temporal succession, adjacency, provenance, alternatives, fiq connectivity, external symmetry actions, arbitrary association, catalog ancestry, and application binding are not payload containment. Authorization binds semantic meaning only; UCNS owns geometry, and a downstream integration must still bind the authorization to the exact parent object, payload path, ordered child hashes, and encoded topology. No theorem status, METAPAT validity, or EDCM measurement validity transfers.
See docs/ucns-phi-policy.md.
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 source call: fields, orphan contracts, phantom proves targets, unresolvable self:: calls, and top-level executable tests without CHECKS declarations. Its negative behavior is itself tested.
metapat_msdmd.ts is generated by tools/generate_msdmd.py through the pinned msdmd collector. It records declaration identity, metadata digests, and graph edges for all bounded src/, tests/, and tools/ surfaces while excluding vendored .agents declarations from the product graph.
metapat.validation contains deterministic canon contract checks, not theorem validators. A True result means supplied Python values satisfy an encoded condition. It does not establish external truth, empirical validity, consciousness, intent, or formal proof. See docs/claims-ledger.md.
CHAPTER_ZERO.md— canonical chapter.AXIOMS.md— invariant root and primitive extension.POSTULATES.md— revisable working commitments.THEOREMS.md— internal derivations and proof sketches, classified in the claims ledger.THEORIES.md— application families that do not redefine root.DOMAIN_RESTRAINT.md— domain-import boundary.GLOSSARY.md— term meanings and status.docs/claims-ledger.md— public claim classification.docs/semantic-module-catalog.md— addressable catalog contract and limits.docs/application-modules.md— catalog-bound application schema and evidence firewall.docs/applications/quantum-magnetism.md— first catalog-bound application vertical slice.UCNS_IMPLEMENTATION.md— actual adapter scope and limits.docs/ucns-phi-policy.md— explicit constitutive-fork semantic authority and downstream limits.COMPLIANCE.md— current evidence surfaces and commands.
No implementation owns the root.
skill-lib, ucns, edcmbone, edcm, a0, a0p, AIMMH, and other repositories may consume, apply, test, or represent METAPAT. They do not define it.
The quantum-magnetism application is now catalog-bound and source-checked, but it remains a cross-domain hypothesis. Advancing its evidentiary status requires explicit physical-variable mappings, distinguishing predictions, and experimental or computational comparison. The downstream EDCM consumer and topology-bound shared UCNS/METAPAT/EDCM fixture remain separate repository changes.