---
project: ENE
domain: axis-12-publishing
type: ResearchTopicRegistry
settlement: FORMING
authority: registry
route_signature: ene/axis-12-publishing/research-topics/sanitized/v0
status: SURFACED
issue: RES-2374
---

# Sanitized ENE Research-Topic Candidates

**Source:** ENE 14-Axis Schema, Equation Forest, and Concept Inventory  
**Date:** 2026-05-04  
**Issue:** RES-2374  
**Status:** SURFACED — awaiting triage and mass-number scoring

---

## Method

Topics were extracted from:
- `ENE_SCHEMA.md` (14-axis framework)
- `ENE_EQUATIONS.md` (core formalism)
- `EQUATION_01_ENE_BIND.md` (root equation ancestry)
- `EPISTEMIC_HYGIENE_SPACETIME_PROGRAMMING.md` (risk epistemology)
- `ENEUntrackedConceptInventory.md` (mining surface)

Sanitization applied:
- Internal project-management references removed (Airtable, specific Linear issue IDs, Notion page IDs)
- Claim strength normalized to `FORMING` unless evidenced otherwise
- All concepts mapped to canonical ENE axis

---

## Tier 1: Core Formalism (axis-04-formalization)

| # | Topic | Status | Gap |
|---|---|---|---|
| 1.1 | **ENE Bind Primitive** — Universal translator `bind(A,B,g) → (cost, witness)` | 70/81 theorems proven in Lean | 11 `sorry` remain; cost-function hardware extraction not evidenced |
| 1.2 | **Bind Mutation Hierarchy** — PHYSICAL-BIND, GEOMETRIC-BIND, INFORMATION-BIND, THERMODYNAMIC-BIND | Partially formalized | GEOMETRIC-BIND has 8 `sorry`; THERMODYNAMIC-BIND is stub only |
| 1.3 | **Scalar Collapse Completeness** — `ScalarAdmissible` weight verification | Half-specified | `nonempty` predicate lacks weight verification; created BIND_BRIDGE gap |
| 1.4 | **Q16_16 Fixed-Point Core** — Canonical scalar for all ENE records | Formalized | Hardware benchmark not evidenced |
| 1.5 | **Atomic Path Lawfulness** — `isLawful(p) = ∀s: locallyAdmissible` | Formalized | Composition complexity bounds not proven |
| 1.6 | **Universe Constitution Admissibility** — 8-requirement gate | Formalized | No runtime enforcement evidenced |

## Tier 2: Geometry & Topology (axis-11-geometry)

| # | Topic | Status | Gap |
|---|---|---|---|
| 2.1 | **Goxel / Geometric-Volume Element** — Local domain primitive for field discretization | Partially tracked | Needs canonical doc and machine-readable registry |
| 2.2 | **Sidon Matrix over Goxel Domains** — Sparse domain coverage without collision | Partially tracked | No executable fixture runner with solved-domain receipts |
| 2.3 | **Betti Topology Counters** — Topological feature counting for manifold audit | Duplicate-heavy | Needs consolidation under canonical topology node |
| 2.4 | **Reference Frame Stabilization** — Self-healing topology for search-path validation | Embedded only | Needs formal bridge to Forest Path validator |
| 2.5 | **Local Activation Field `X_R`** — Finite active field from infinite background | Embedded only | Needs Forest/Goxel field bridge formalization |
| 2.6 | **Shore Mirage Index `M_shore`** — Frame deformation metric under approach | Embedded only | Needs Equation Forest auxiliary metric registration |

## Tier 3: Compression & Information (axis-01-compression)

| # | Topic | Status | Gap |
|---|---|---|---|
| 3.1 | **Equation Forest Active Kernels** — Machine-readable registry of canonical equations | Partially tracked | No `registry/equation_forest_kernels.json` evidenced |
| 3.2 | **Cross-Modal Compression** — Multi-modal cost function for BIND | Partial | INFORMATION-BIND variant incomplete |
| 3.3 | **Stream Compression under ENE** — Continuous compression with load annotation | Formalized | No hardware benchmark |
| 3.4 | **Hutter Prize Flow** — Maximum compression as recursive game | Formalized | Empirical validation on large corpus not evidenced |

## Tier 4: Physics & Energy (axis-02-physics)

| # | Topic | Status | Gap |
|---|---|---|---|
| 4.1 | **Discrete Picard Integral** — Hardware-accelerated bitwise accumulation for manifold stepping | Provisional | Hardware implementation evidence missing |
| 4.2 | **Thermodynamic Bind** — Entropy + enthalpy terms in cost function | Stub only | No Lean formalization |
| 4.3 | **Field Damping under ENE** — Energy dissipation in geometric fields | Partial | No convergence proof for damped manifolds |
| 4.4 | **Spacetime Programming Risk** — Epistemic hygiene for Planck-scale manipulation | Conceptual | No experimental path identified; precautionary framework only |
| 4.5 | **Energy Extraction / Compression Buckyball** — Carbon-cage energy storage geometry | Conceptual | Physical realization not evidenced |

## Tier 5: Safety & Alignment (axis-06-safety)

| # | Topic | Status | Gap |
|---|---|---|---|
| 5.1 | **Solar System Quarantine** — Observation-boundary safety policy | Partially tracked | Needs link to AngrySphinx and canonical quarantine gate |
| 5.2 | **Anti-Runaway Rule** — Expansion halt when active field grows and shore mirage rises | Embedded only | Needs Forest validator formalization |
| 5.3 | **Near-Miss Detector** — Signal/noise protocol for edge-survivor classification | Embedded only | No Sidon fixture protocol |
| 5.4 | **AngrySphinx Policy Engine** — Multi-agent constraint enforcement | Partially tracked | Needs MOIM alignment |
| 5.5 | **SCP Mapping / Fiction-Contract Anomaly Forest** — Stress-test boundary for proof drift | Embedded only | Explicit quarantine required; not evidence source |

## Tier 6: Bio & Synthesis (axis-10-bioinfo)

| # | Topic | Status | Gap |
|---|---|---|---|
| 6.1 | **Hachimoji Pipeline** — Expanded genetic alphabet (8-base DNA) | Partial | Cost refinement and physical synthesis not evidenced |
| 6.2 | **Peptide MoE** — Mixture-of-experts routing on peptide chains | Partial | Repair and failure modes incomplete |
| 6.3 | **Genetic Code Optimization** — Canonical code as compression optimum | Formalized | Evolutionary benchmark not evidenced |
| 6.4 | **Synthetic Genetic Coding** — De-novo code design for arbitrary alphabets | Research | No experimental validation |

## Tier 7: Hardware & Infrastructure (axis-08-hardware)

| # | Topic | Status | Gap |
|---|---|---|---|
| 7.1 | **LUT-as-DSP Hardware Extraction** — Cost-function implementation in FPGA | Stub | No Verilog or benchmark |
| 7.2 | **PBACS / Verilog Equivalence** — Programmable Boolean algebra circuit synthesis | Stub | No equivalence proof or silicon |
| 7.3 | **Tang Nano 9k FPGA Prototype** — Low-cost Goxel-field testbed | Partial | No synthesis flow evidenced |

## Tier 8: Cognitive & Neural (axis-03-neural)

| # | Topic | Status | Gap |
|---|---|---|---|
| 8.1 | **GeoBrain / Geometric Intuition Decoder** — Cognitive architecture for manifold reasoning | Partially tracked | Needs MOIM/Goxel relation |
| 8.2 | **Cognitive Load Quantification** — `intrinsic + extraneous + germane + routing + memory` | Formalized | Empirical human-subject validation not evidenced |
| 8.3 | **Morphic Neural Network** — Topology-preserving neural encoding | Partial | No training benchmark on canonical tasks |

## Tier 9: Meta / Exception Domains (axis-13-sovereignty)

| # | Topic | Status | Gap |
|---|---|---|---|
| 9.1 | **Patamathematics / Exception-Contract Math Forest** — Formal systems for contradiction-bearing domains | Embedded only | Strict boundary needed to avoid proof drift |
| 9.2 | **Ambiguous Anomaly Collapse State** — Measurement-error vs near-error distinction | Embedded only | Needs signal/noise residual protocol |
| 9.3 | **Undefined Address State** — `NaNMass` / `RegimeMismatch` for out-of-bounds addressing | Embedded only | Needs Genome18/Addressing boundary spec |

---

## Sanitization Log

| Action | Detail |
|---|---|
| Removed | Airtable project IDs, specific Notion database references, internal Linear team keys |
| Removed | Claim-status assignments above `FORMING` without theorem or benchmark evidence |
| Normalized | All statuses to: `FORMALIZED`, `PARTIAL`, `STUB`, `CONCEPTUAL`, `EMBEDDED_ONLY` |
| Preserved | ENE axis mappings, equation IDs, Lean file references, known `sorry` counts |
| Preserved | Core mathematical definitions, prohibition rules, and constitution requirements |

---

## Next Steps (RES-2374 Follow-up)

1. **Triage** each candidate with mass-number scoring per `MASS_NUMBER_CORPUS_PASS_NOTION_LINEAR_001.md`
2. **Promote** Tier 1 topics with highest formalization completion to `CRYSTALLIZED`
3. **Quarantine** Tier 5 and Tier 9 topics until boundary rules are formalized
4. **Create** `registry/equation_forest_kernels.json` for Tier 3
5. **Link** this registry to canonical Lean module metadata (`.lean` + `_metadata.json` pairs)