Gap Matrix (Traditional Standards)

What seems already present in-vault

  • IIT / Φ: referenced in 03_Coherence_and_Dynamics/_DOMAIN_SUMMARY_O2_COHERENCE.md and multiple axiom/map artifacts.
  • Bohm / Active Information: present in 01_Axioms/AXIOM_MASTER_COMPILED.md and related source extracts.
  • Omega Point / Tipler: present in definitions like D-012 Event Record (E) and D-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.