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:

```text
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.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.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.tsv` the equation-index companion with phinary indexing | 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:

```text
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:

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