Research-Stack/6-Documentation/docs/PHI_CENTER_REVAMP.md

Phi Center Revamp

Status: active local setup upgrade
Source context: /home/allaun/Documents/DeleteMe/ChatGPT-Filling_in_Help.json
Core move: promote Phi from a paper/module family to the organizing center of the Research Stack cockpit.

Center Claim

The local setup should be read as:

Phi center -> base loads -> shell codec -> witness bridge -> graph descent -> manifold field -> support export

Phi is not just another equation in the forest. It is the root lens that decides how cost, efficiency, shell position, lineage, and scheduling are compared.

What Phi Means Here

There are three different Phi roles that must stay separate:

Role	Meaning	Main anchors
Phi_field	Universal field / cost-efficiency root	docs/papers/EQUATION_00_PHI_UNIVERSAL.md, 0-Core-Formalism/lean/Semantics/Semantics/UniversalField.lean
phi_ratio	Golden-ratio spacing, phinary indexing, shell weights	PhiShellEncoding.lean, PhinaryNumberSystem.lean, MATH_MODEL_MAP_phinary.tsv
Phi_scheduler	Deterministic traversal and signal/LUT scheduling	docs/semantics/PBACS_CANONICAL_SIGNAL_ARCHITECTURE.md, docs/semantics/LUT_AS_DSP_EQUATION.md

The revamp works because these are coupled but not identical. Phi_field governs the cost/efficiency comparison. phi_ratio gives the hierarchy a stable irrational spacing/indexing scheme. Phi_scheduler turns that spacing into traversal and coverage.

New Architecture

0. Phi Center

Purpose: root invariant and comparison lens.

First files:

• docs/papers/EQUATION_00_PHI_UNIVERSAL.md
• docs/papers/VERIFICATION_SELF_CONSISTENCY.md
• 0-Core-Formalism/lean/Semantics/Semantics/UniversalField.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PhiUniversalMetaprobe.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PhinaryNumberSystem.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PhiShellEncoding.lean
• MATH_MODEL_MAP_phinary.tsv

1. Foundation Trunk

Purpose: load/cost primitives become children of Phi, not parallel roots.

Rule: base-load equations must state whether they feed Phi_field as absolute cost, relative efficiency, or control pressure.

First files:

• MATH_MODEL_MAP.tsv
• MATH_MODELS_UNIVERSAL.json
• EQUATION_FOREST_INDEX.md
• docs/semantics/UNIFIED_LOAD_EQUATION_SPEC.md

2. Shell Codec Chassis

Purpose: S3C/DIAT/PIST becomes the shell-address and witness machinery under Phi-weighted comparison.

Rule: shell work should distinguish:

• S3C number-theoretic shell decomposition
• Phi shell hierarchy / phinary addressing
• PIST witness transport
• DIAT/bracket algebra transforms

First files:

• 0-Core-Formalism/lean/Semantics/Semantics/S3C.lean
• 0-Core-Formalism/lean/Semantics/Semantics/S3CGeometry.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PIST.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PISTMachine.lean
• 0-Core-Formalism/lean/Semantics/Semantics/PistBridge.lean
• 0-Core-Formalism/lean/Semantics/Semantics/BracketedCalculus.lean

3. Phylogenetic Graph

Purpose: graph descent is now interpreted through Phi-centered ancestry: root/root-child/trunk/branch/leaf/realization.

Rule: GraphML should classify descent by dependency on Phi, not just by topic.

First files:

• research_graph.graphml
• docs/papers/EQUATION_PHYLOGENETIC_TREE.md
• PROJECT_MAP.md

4. Manifold Field

Purpose: n-space/manifold work becomes a Phi-weighted field snapshot, not a loose geometric metaphor.

Rule: field moves should name which Phi role is active: cost field, ratio spacing, or scheduler traversal.

First files:

• docs/specs/GCL_FIELD_EQUATIONS_SPEC.md
• docs/specs/MS3C_NESTED_REDUCTION_GEAR_SPEC.md
• 0-Core-Formalism/lean/Semantics/Semantics/ManifoldFlow.lean
• 0-Core-Formalism/lean/Semantics/Semantics/GCLFieldEquationsMetaprobe.lean

5. Support Export

Purpose: ingest, databases, and generated maps serve the Phi-centered cockpit.

Generated files:

• data/reflow/local_setup_reflow.tsv
• data/reflow/local_setup_reflow.json
• data/reflow/phi_center_manifest.json

Immediate Work Queues

Queue	Target	Done when
Phi correction boundary	Separate corrected UniversalField.lean from older reciprocal-log wording	docs and maps point to corrected cost/efficiency distinction
Phinary map	Make MATH_MODEL_MAP_phinary.tsv the equation-index companion	every active equation has a phinary ID or explicit exclusion
Phi-S3C bridge	Connect Phi shell hierarchy to S3C open/closed shell mass	S3C docs say where Phi weighting enters and where it does not
Phi-PIST bridge	Use PIST as witness transport for Phi-centered transforms	proof attempts route through typed state, not scalar-only sketches
Phi graph descent	Reclassify GraphML nodes by Phi lineage role	graph can be read as a descent tree from Phi center

First Bridge Spec

The first operational bridge is:

Phi_field compares
S3C locates
PIST witnesses
phinary indexes
GraphML descends

Spec: docs/specs/PHI_S3C_PIST_BRIDGE_SPEC.md

Guardrails

• Do not collapse Phi_field, phi_ratio, and Phi_scheduler into one symbol.
• Do not let S3C inherit [BEAUTIFUL_PROVISIONAL - unverified Phi claims - requires Lean theorem verification evidence]; connect them through named bridge rules.
• Do not treat phinary indexing as proof. It is an addressing/indexing discipline.
• Do not use the older w / ln N wording as the root cost law when the corrected Landauer-compatible form is required.

New Default Resume Path

When resuming work, open in this order:

docs/PHI_CENTER_REVAMP.md
docs/LOCAL_SETUP_REFLOW.md
data/reflow/phi_center_manifest.json
MATH_MODEL_MAP_phinary.tsv
0-Core-Formalism/lean/Semantics/Semantics/UniversalField.lean
0-Core-Formalism/lean/Semantics/Semantics/S3C.lean