Gap Matrix (Traditional Standards)
What seems already present in-vault
- IIT / Φ: referenced in
03_Coherence_and_Dynamics/_DOMAIN_SUMMARY_O2_COHERENCE.mdand multiple axiom/map artifacts. - Bohm / Active Information: present in
01_Axioms/AXIOM_MASTER_COMPILED.mdand related source extracts. - Omega Point / Tipler: present in definitions like
D-012 Event Record (E)andD-013 Providence. - Penrose/Hameroff is referenced (Orch-OR), but mostly as discussion, not as a clean typed external package.
Likely missing as explicit, typed packages
- Hoffman (Interface Theory / Conscious Realism): only indirect mentions found; no dedicated definition set (e.g., “Conscious Agent” tuple) or theorem statements.
- CTMU (Langan): no matches found in-vault (SCSPL / MAP / M=R / MU / UBT).
- Formal Axiology (Hartman): no matches found in-vault (axiom of value, systemic/extrinsic/intrinsic hierarchy, HVP).
Candidate “external primitives” to add (still quarantined)
Hoffman
- Definition: Conscious Agent (6-tuple)
- Claim: Fitness-Beats-Truth (FBT) theorem (as a hypothesis/theorem, not a metaphysical axiom)
- Claim: spacetime-as-interface (interpretation)
IIT 4.0
- Phenomenology axioms: Existence, Intrinsicality, Information, Integration, Exclusion, Composition
- Definition: Φ as an integration/irreducibility measure (cross-link to your existing Φ usage)
- Objection bundle: unfolding argument / falsifiability / PCI proxy
Bohm/Hiley
- Definition: Active Information (quantum potential as form-guidance)
- Definition: Implicate vs Explicate order (process ontology)
CTMU
- Definition: SCSPL
- Axioms/Principles: MAP (closure), M=R, MU
- Definition: UBT / telic principle (as metaphysical hypothesis unless you want it as a theological axiom)
Hartman
- Axiom: Goodness = concept-fulfillment
- Definitions: systemic vs extrinsic vs intrinsic value
- Operationalization: Hartman Value Profile (if you want measurement)
“How much did we miss?” (practical answer)
- Not much on the physics-side references (IIT/Φ, Bohm, Tipler/Omega are already present in some form).
- The main gaps are formal value theory (Hartman) and formal conscious-agent ontology (Hoffman + CTMU), as clean, typed note-sets.
Next step (if you want): I’ll create 3–6 quarantined definition stubs per framework (e.g., EXTD-*) and link them back to existing canonical notes they would eventually map onto.