PMS Theory

A Praxeological Meta-Structure Theory

Formal Grammar & PMS.yaml

Purpose of this Page

This page documents the formal core of PMS: its machine-readable grammar, defined in a single canonical specification file.

PMS is not primarily explained in prose. It is defined normatively through PMS.yaml.


What Is PMS.yaml

PMS.yaml is the canonical specification of PMS.

It defines:

In short:

PMS.yaml is the source of truth for the PMS operator grammar.

All papers, diagrams, implementations, and derivatives are secondary to this file.


What PMS.yaml Is Not

PMS.yaml is not:

It does not:

PMS.yaml defines structural operators only.


Normative Role

PMS.yaml is a normative specification, not a descriptive dataset.

This means:

Any system claiming to “use PMS” must be auditable against this file.


High-Level Structure (Conceptual)

The YAML is organised into clearly separated blocks:

Each block has a distinct role and must not be conflated with others.


Minimal Illustrative Example

The following snippet illustrates the style of the specification. It is not a complete definition.

meta_axioms:
			  - id: "Δ"
			    name: "Difference"
			    order: 1
			    definition: "Introduces a distinction within a structural field."
			    depends_on: []
			    provides: ["selectability"]

			  - id: "Ω"
			    name: "Asymmetry"
			    order: 6
			    definition: "Establishes directional or role-based imbalance."
			    depends_on: ["Δ", "□"]
			    provides: ["directionality"]
			

Key properties illustrated:


Versioning & Status

The YAML is versioned explicitly to allow:


Repository & Downloads

Implementations should consume the YAML directly, not reimplement parts ad hoc.


Who This Page Is For

This page is intended for:

If you are looking for applications, continue to:


What Comes Next

PMS.yaml defines what exists in the operator system and what is allowed at the level of formal grammar.

What it does not yet show is how operators interact dynamically once composed: how frames persist, how commitments form, and how invariants constrain future structure.

The next page moves from static definition to structural interaction.

Continue to:
Composition & Semantics
(How Δ–Ψ operators combine, bind, and constrain one another)