Praxeophysics Canonical Glossary & Terminology Standard
Version: 4.1.0 (English Canonical Reference)
Author: Koki Sato / Praxeophysics Institute
License: CC BY 4.0 International
- Protocol Specification: 03_Praxeophysics_Protocol_Specification_EN
- Japanese Bilingual Edition: 05_Praxeophysics_Protocol_and_Glossary_JA
- Master Index: 00_Praxeophysics_Master_MOC
1. Design Principles of the Canonical Glossary
The Praxeophysics Canonical Glossary establishes a strictly domain-neutral terminology standard across Theoretical Physics / Active Inference (Free Energy Principle), Mathematical Economics (Praxeology, Catallactics, Synallactics, and Mechanism Design), Epistemology (Buddhist Pramāṇa-Madhyamaka, Apoha, Tacit Knowledge, and Mathematical Logic), and Cryptography (Verifiable Credentials & Differential Privacy)
To preserve universal applicability across physical environments, multi-agent systems, and institutional governance, this canonical reference excludes all industry-specific or commercial application jargon. Each concept is defined by:
- Canonical Academic & Specification Term: The formal term used in scholarly publications and standard specifications
- Protocol & Schema Identifier: The immutable key used in JSON-LD schemas (
ontologyRef) and TypeScript reference implementations - Formal System & Mathematical Definition: The exact functional definition within the Praxeophysics framework
2. Internal Generative State Parameters: Dynamic Boundary Generative Model
Under the Laplace approximation, an agent’s internal continuous state across orthogonal dimensions is parameterized by the Internal Generative State (), from which the allowable tolerance radius () is derived
| Symbol | Canonical Term | Protocol Identifier | Formal Mathematical & System Definition |
|---|---|---|---|
| Prior Mean Vector | mu_prior | The -dimensional baseline expectation vector () representing the state values where prediction error is zero | |
| Precision Weighting Vector | pi_precision | The -dimensional inverse variance vector () representing sensitivity to prediction error , subject to finite attentional conservation | |
| Normalized Allostatic Load | allostatic_load | The dynamic scalar representing cumulative unresolved variational free energy over time, reducing remaining homeostatic capacity | |
| Allowable Tolerance Radius | allowable_radius | The derived protective boundary radius such that the binary guardrail predicate holds if and only if $ |
3. Complete Canonical Glossary (T01–T54 across 5 Domains)
Domain 1: Ontology — Bounded Individuated Systems & Self-Organization (T01–T07)
| ID | Canonical Term | Protocol Identifier | Formal Definition |
|---|---|---|---|
| T01 | Adaptation | adaptation | The dynamic process wherein a bounded system preserves its statistical boundary while minimizing variational free energy through internal model updating and active environmental intervention |
| T02 | Markov Blanket | markov_blanket | The statistical boundary partitioning internal states () from external states () into conditional independence via sensory states () and active states () |
| T03 | Nonequilibrium Steady State (NESS) | ness_homeostasis | A dynamical regime in which a self-organizing system resists thermodynamic dissipation by maintaining its state distribution within viable bounds |
| T04 | Selective Permeability | selective_permeability | The property of a Markov blanket that protects internal states from direct external interference while selectively transmitting signals across sensory and active interfaces |
| T05 | Law of Requisite Variety | requisite_variety | Ashby’s cybernetic theorem proving that a controller’s variety must be at least as great as the variety of the system being regulated, precluding uniform regulation of high-variety agents |
| T06 | Dependent Origination (Relationality) | relational_dependence | The structural condition whereby internal and external states possess no isolated intrinsic nature, co-arising strictly through boundary-mediated coupling |
| T07 | Concrete Particular (Svalaksana) | concrete_particular | A unique, momentary physical state possessing specific causal efficacy prior to conceptual abstraction or scalar aggregation |
Domain 2: Epistemology — Information Compression, Guardrails & Regularization (T08–T20)
| ID | Canonical Term | Protocol Identifier | Formal Definition |
|---|---|---|---|
| T08 | Variational Free Energy (VFE) | variational_free_energy | The upper bound on sensory surprise defined as model complexity minus predictive accuracy; the objective function minimized during adaptation |
| T09 | Prediction Error | prediction_error | The discrepancy () between actual sensory input and the internal generative prior at the boundary interface |
| T10 | Generative Model | generative_model | The internal probabilistic model () parameterizing beliefs about external hidden causes, prior preferences, and remaining capacity |
| T11 | Threshold Demarcation (Apoha) | threshold_demarcation | The concept-forming operation that defines a functional decision boundary by excluding states that violate a specific causal efficacy threshold |
| T12 | Causal Efficacy (Arthakriya) | causal_efficacy | The concrete capacity of a state or parameter to produce an intended functional outcome or resolve variational friction |
| T13 | Continuous-Discrete Two-Tier Separation | two_tier_separation | The epistemological distinction between continuous tacit dynamics (first tier / paramārtha) and discrete symbolic guardrail predicates (second tier / saṃvṛti) |
| T14 | Symbolic Construct (Universal) | symbolic_construct | A discrete conceptual category constructed via threshold demarcation for low-complexity communication and verification |
| T15 | Tacit Knowledge (Non-Symbolic Margin) | tacit_margin | The unformalizable kernel of embodied and contextual dynamics () preserved inside the symbolic guardrails (Polanyi) |
| T16 | Intrinsic Reification (Svabhava) | intrinsic_reification | The epistemological error of treating a context-dependent symbolic construct or classification as an immutable, context-independent essence |
| T17 | Conceptual Overfitting (Prapanca) | conceptual_overfitting | The pathological state in which hyper-precision () is assigned to a fixed rule or category, halting Bayesian updating from sensory evidence |
| T18 | Higher-Order Precision Regularization (Sunyata) | precision_regularization | The meta-level regularization principle that de-reifies rigid constructs and relaxes hyper-precision back to finite, context-sensitive bounds |
| T19 | Incompleteness & Open Schema Extension | open_schema_extension | The requirement, grounded in Gödel’s Incompleteness Theorem, that formal rule sets remain open to external ontology and dimension extensions |
| T20 | [[Term_Attribute_Rule_Separation | Attribute-Rule Structural Separation]] | attribute_rule_separation |
Domain 3: Micro-Teleology — Subjective Value, Exploration & Precision Conservation (T21–T30)
| ID | Canonical Term | Protocol Identifier | Formal Definition |
|---|---|---|---|
| T21 | Axiom of Purposeful Action | action_axiom | The foundational praxeological axiom that an agent employs scarce means to transition from a less satisfactory (higher friction) state to a more satisfactory state |
| T22 | Expected Free Energy (EFE) | expected_free_energy | The path-integral objective function minimized during policy selection, decomposing into pragmatic value (exploitation) and epistemic value (exploration) |
| T23 | Subjective Value (Preference Prior) | preference_prior | The principle that value is not intrinsic to external objects, but is defined by the log-probability preference distribution internal to an acting agent () |
| T24 | Demonstrated Preference | demonstrated_preference | Rothbard’s principle that externally verifiable preferences are deduced strictly from an agent’s actual boundary choices and cryptographic signatures |
| T25 | Opportunity Cost | opportunity_cost | The subjective value of the next-best foregone policy alternative sacrificed when executing a specific action in irreversible time |
| T26 | Time Preference | time_preference | The universal teleological preference for earlier rather than later resolution of variational friction, grounding the value of automated low-latency verification |
| T27 | Pragmatic Value (Exploitation) | pragmatic_value | The first component of Expected Free Energy, representing the fulfillment of known prior preferences and protective boundaries |
| T28 | Epistemic Value (Exploration) | epistemic_value | The second component of Expected Free Energy, representing expected information gain () achieved when exploring novel contexts within safe guardrails |
| T29 | Precision Weighting & Resource Conservation | precision_conservation | The conservation law () dictating that high attentional precision in specific dimensions necessitates lower precision or narrower tolerance in others |
| T30 | [[Term_Allostatic_Load | Allostatic Load & Homeostatic Capacity]] | allostatic_load |
Domain 4: Macro-Teleology — Self-Ownership, Synallactics & Polycentric Order (T31–T40)
| ID | Canonical Term | Protocol Identifier | Formal Definition |
|---|---|---|---|
| T31 | Informational Self-Ownership | self_ownership | The exclusive control right of an agent over its own Markov blanket and internal state repository |
| T32 | Argumentation Ethics | argumentation_ethics | The formal demonstration that any non-violent propositional agreement presupposes the mutual recognition of informational and bodily self-ownership |
| T33 | Performative Contradiction | performative_contradiction | A self-refuting proposition whose semantic content denies the pragmatic boundary conditions required to assert it |
| T34 | Incentive Compatibility | incentive_compatibility | The mechanism design property whereby truthful retention and verification of an agent’s true internal priors is the dominant strategy |
| T35 | Strategy-Proofness (Myerson-Satterthwaite) | strategy_proofness | A settlement design using independent reference points () so that bilateral agents have zero incentive to misreport reservation thresholds |
| T36 | Reservation Threshold (Reservation Price) | reservation_threshold | The internal boundary limit in bilateral exchange or coupling beyond which interaction yields net variational loss |
| T37 | Pareto Improvement | pareto_improvement | A coupling transition that reduces variational friction for at least one agent without breaching the protective boundaries of any other agent |
| T38 | Frictionless Sorting & Exit (UNSAT Resolution) | frictionless_sorting | Hirschman-inspired non-penalized separation of agents into distinct niches when their required guardrails are logically unsatisfiable () |
| T39 | Catallactics & Synallactics | catallactics_synallactics | The complementarity between Catallactics (monetary price-signal exchange of alienable goods) and Synallactics (non-price multi-dimensional predicate reconciliation of inalienable boundary conditions) |
| T40 | Asymmetric Lock-in & Polycentric Order | polycentric_order | The institutional transition from Olson’s Stationary Bandit (monopolistic rent extraction under high exit costs) to Ostrom’s Polycentric Governance Order (autonomous, interoperable rule-forming contexts) |
Domain 5: Protocol Implementation — 4 Pipelines, Inverse Precision & Privacy (T41–T54)
| ID | Canonical Term | Protocol Identifier | Formal Definition |
|---|---|---|---|
| T41 | Atomic Predicate | atomic_predicate | An orthogonal, non-scalar condition unit evaluated at verification time as a binary truth value |
| T42 | Ingestion Pipeline | ingestion_pipeline | The first protocol stage (Importer, Mapper, Extractor) that normalizes external data into the Internal Generative State () and typed atomic predicates |
| T43 | Inverse Precision Inference | inverse_precision_inference | The algorithm deriving protective tolerance radii () directly from positive commitment weights (), mitigating self-reporting bias |
| T44 | Dynamic Boundary Learning | dynamic_boundary_learning | Bayesian updating of protective boundaries across epochs using initial Inverse Precision Inference and empirical friction feedback () |
| T45 | Storage & Holder Pipeline | storage_holder_vault | The second protocol stage maintaining signed claims in a Personal Data Store under self-sovereign control, strictly separated from contextual rules |
| T46 | Epoch Re-configuration & Revocation | epoch_revocation | The lifecycle mechanism that updates internal state vectors at epoch while cryptographically revoking outdated credentials from epoch |
| T47 | Verification Pipeline | verification_pipeline | The third protocol stage (Prover, Verifier) evaluating binary guardrail predicates via Selective Disclosure or Zero-Knowledge Proofs |
| T48 | Selective Disclosure | selective_disclosure | Lightweight verification in symmetric cooperative contexts that discloses only the minimal subset of predicates required by the contextual rule |
| T49 | Zero-Knowledge Proof (ZKP) | zero_knowledge_proof | Cryptographic verification in asymmetric contexts proving without revealing the underlying state vectors () or reservation thresholds |
| T50 | Plausible Deniability (Differential Privacy) | plausible_deniability | Dwork-inspired output pooling () designed to mitigate Bayesian reverse-inference of sensitive internal constraints from observable outputs |
| T51 | Personal Fiduciary Agent & 4-Step A2A | personal_agent_a2a | The local agent operating inside the user’s Markov blanket that executes automated 4-step Agent-to-Agent handshakes (Schema, Policy, Proof, Settlement) |
| T52 | [[Term_Reconciliation_Adapter | Reconciliation & Alignment Adapter]] | reconciliation_adapter |
| T53 | Environmental Alignment | environmental_alignment | Single-agent parameter optimization () matching external physical or informational niche settings to the agent’s internal prior |
| T54 | Complementary Reconciliation | complementary_reconciliation | Multi-agent parameter optimization () deriving mutually viable interaction rules (COMPLEMENTARY_PRECISION_SYNC or INTERFACE_SCHEMA_MEDIATION) |