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

project	domain	type	settlement	authority	route_signature	status	issue
ENE	axis-12-publishing	ResearchTopicRegistry	FORMING	registry	ene/axis-12-publishing/research-topics/sanitized/v0	SURFACED	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)