Mathematics & verification
metapat
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
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.mdAXIOMS.mdPOSTULATES.mdTHEOREMS.mdTHEORIES.mdGLOSSARY.mdDOMAIN_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.
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.
AGENTS.mdExact source13584 bytesAXIOMS.mdExact source1637 bytesCHAPTER_ZERO.mdExact source7291 bytesCOMPLIANCE.mdExact source6937 bytesDOMAIN_RESTRAINT.mdExact source3449 bytesGLOSSARY.mdExact source1952 bytesPOSTULATES.mdExact source1748 bytesROADMAP.mdExact source10982 bytesTHEOREMS.mdExact source1988 bytesTHEORIES.mdExact source4742 bytesUCNS_IMPLEMENTATION.mdExact source6745 bytesdocs/adversaries/double-entry-prereg.mdExact source4797 bytesdocs/adversaries/double-entry-result.mdExact source11241 bytesdocs/adversaries/README.mdExact source592 bytesdocs/application-modules.mdExact source4302 bytesdocs/applications/affixiation-harmonics.mdExact source9322 bytesdocs/applications/quantum-magnetism.mdExact source6766 bytesdocs/applications/three-phase-electromagnetic-pipe.mdExact source13475 bytesdocs/claims-ledger.mdExact source13273 bytesdocs/electromagnetic-pipe-application.mdExact source4259 bytesdocs/full-compliance-checklist.mdExact source938 bytesdocs/releases/metapat-0.6.0.mdExact source3072 bytesdocs/releases/metapat-0.7.0.mdExact source2756 bytesdocs/releases/metapat-canon-v3.mdExact source1961 bytesdocs/releases/metapat-canon-v4.mdExact source4557 bytesdocs/semantic-module-catalog.mdExact source4554 bytesdocs/ucns-phi-policy.mdExact source3534 bytesdocs/v2-v3-synthesis.mdExact source11583 bytes
Documentation provenance
Public surfaces
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.