Metaphysics Verification
Verification for the τ-framework's metaphysics layer (Book VII): categorical-only architecture — Reg_E/P/D/C registers + OR1–OR6 narrowing principles. No empirical anchor; coherence + commitment-discipline are the verification modes.
In plain language
Unlike physics or life, the metaphysics layer has no single empirical anchor. It is purely categorical: concepts instantiate as lived-experience correlates, narrative examples, and ethical/proof-theoretic content rather than as numerical measurements. Verification here is the discipline of (1) keeping the four canonical readout registers (Reg_E/P/D/C → Obs/Norm/Proof/Stance) working coherently, (2) enforcing the OR1–OR6 narrowing principles (no internal contradictions, completeness, generativity, independence, continuity, stability), and (3) being honest about what diagrammatic access can and cannot establish. The framework's central limit-theorem here — No Forced Stance (VII.T47) — proves τ cannot force a stance on the ω-germ question, marking the categorical floor below which the framework explicitly does not commit.
At a glance
Per-book Lean coverage
Inspection routes
Kernel, Model & Reality
The agenda's articulation of what diagrammatic access can and cannot establish.
FormalizationTauLib Status
Per-module formalization for the metaphysics layer · 337 formalized declarations · 100% formal.
GlossaryMetaphysics Glossary
68 entries across registers / principles / architecture / ontology / commitment / phenomenology.
RecoveryMetaphysics Core Semantics
The language the theory must earn before it can answer metaphysical questions — categorical recovery targets and status.
AuditHow to Verify (Philosopher)
Reviewer route for philosophers of mind, science, ethics, and metaphysics — the derivation-vs-redefinition test.
ResultsMetaphysics Results Hub
45 metaphysics results · architecture page · landmark results · phenomenological correlates.
Verification burden
Metaphysical verification is not laboratory proof and not Lean proof. It checks whether the program’s ontic commitments are:
- Explicit — every commitment is named, not smuggled in
- Coherent with the construction — no contradictions among the four registers (Reg_E/P/D/C) or the six narrowing principles (OR1–OR6)
- Disciplined by the no-externalities rule — claims do not reach beyond τ-categorical structure
- Honest about diagrammatic access — what the kernel can show is not the same as what is
The Six Ontic Requirements (VII.D37) are the explicit narrowing rules: self-coherence, completeness, generativity, independence, continuity, stability. The No Forced Stance theorem (VII.T47) is the framework’s structural floor — τ cannot force a stance on the ω-germ question, and any such stance belongs to the commitment register (Reg_C), not to proof.
A metaphysical page may argue for coherence, closure, or explanatory discipline. It must not imply direct noumenal access, final ontology, or external acceptance unless those stronger statuses are separately earned.
Key glossary terms
Cross-domain bridges
This verification surface intersects glossary terms that bridge to other domains. The τ-framework's cross-domain pivots are the structural junctions where verification claims meet the empirical, life, and metaphysical readouts.
-
PG-P01-neutronτ-Neutron →MG-R01-empirical-registerEmpirical Register (Reg_E) -
LG-M01-consciousnessConsciousness →MG-A01-ci-operator-graphCI Operator Graph -
LG-M01-consciousnessConsciousness →MG-H01-qualiaQualia (subsymbolic morphisms) -
LG-Y02-kinetic-pseudoscalar-channelKinetic Pseudoscalar Channel →MG-R01-empirical-registerEmpirical Register (Reg_E) -
MG-A01-ci-operator-graphCI Operator Graph →LG-M01-consciousnessConsciousness -
MG-H01-qualiaQualia (subsymbolic morphisms) →LG-M01-consciousnessConsciousness -
MG-R01-empirical-registerEmpirical Register (Reg_E) →PG-P01-neutronτ-Neutron -
MG-R01-empirical-registerEmpirical Register (Reg_E) →LG-Y02-kinetic-pseudoscalar-channelKinetic Pseudoscalar Channel
See also
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.