Conceptual Map — How the Current Project Connects¶

Status: Reader map — navigation, not theory.

Scope: A compact map after the foundations audit. Every load-bearing term below resolves to a home file, an instrument, or an open problem.

The Shared Root¶

Given a trace, declared evidence, and a model family, which candidate process models remain — and what observation or intervention could distinguish them?

Forward and inverse costs depend on representation, evidence, target equivalence, and algorithm. The inverse-reconstruction benchmark measures selected finite regimes; the Foundations Reconstruction states the formal limits.

From that root, the repository asks two different questions.

The Two Spines¶

Spine	Question	Route	Current status
Epistemic Loop	Can a system construct and revise a useful world-model?	Trace → Candidate Model → Construction → World-Coupling → Intervention → Revision → Self-Binding	selected phases measured in toy systems; composition into one loop hypothesized; experience out of scope
Viability Arc	Can a system remain viable and correctable while optimizing?	Emergence → Optimization → Constraint Architecture → Survivability	conditional model results + synthetic ODE/ABM evidence; sufficiency and external applicability open

The Epistemic Loop and Canonical Path v2 are navigation folds, not additional theories. They touch at world-coupling: better contact with reality improves capability, but does not supply values or safety constraints.

The Layers¶

Layer	Central move	Main homes	Instrument / boundary
Forward process	declared rules unfold into traces and global organization	Emergence Manifesto, simulation models	selected toy processes; no claim that all intelligence reduces to one formalism
Inverse reconstruction	traces constrain a class of candidate process models	Foundations Reconstruction, Generator Question (legacy)	benchmark v0–v1.8
Construction and coupling	candidates are built, run, and refereed by a world	Construction vs. Deduction, World Models & VLA	family-search curves; runtime/provenance constraints
Intervention and revision	distinguishing queries collapse the class; execution updates the model	Measurement as Weak Intervention	watching < perturbing < preparing; closed-loop revision
Identity boundary	persistence is tested under perturbation and commitment	Invariance & Identity, Chord vs. Arpeggio	Exp5–7; real models and optimized mimics open
Constraint architecture	capability loads concentration, coherence, and substrate constraints	TEO, Viable Corridor	demonstrated in two synthetic models; real systems open
Consciousness boundary	functional self-binding is a research question at the loop's reflexive edge	Global Availability, Coherence Work	organizational hypotheses only; no inference to experience or present-system consciousness

What the Repository Has Actually Measured¶

Known-family inversion can be cheap. Full observability and clean data permit exact or low-error recovery.
Coverage limits this observation process. A selected rule-90 orbit leaves an eight-member consistent-model class in the elementary-CA family.
Intervention can reduce the class. In the selected CA setup, passive watching plateaus while a prepared query identifies the rule in one step.
Occam is world-dependent. It helps on simple worlds, is chance on uniform worlds, and is systematically wrong on complex worlds until coverage is nearly complete.
Unmarked uncertainty is exploitable. The optimizer's-curse wedge grows with class size and disappears when the planner represents the class honestly.
Optimization is not curiosity. In the closed loop, argmax planning does not collapse uncertainty faster than random exploration.
Binding has a functional signature in the current toys. Exp5–7 separate joint satisfaction at the commitment boundary from rotating or blended constraint use; IP and Δ-Kohärenz each have measured blind spots.
Capability loading and single-axis insufficiency occur in-model. They have been reproduced in the TEO ODE and a structurally different agent-ecology ABM, not yet in real agent ecologies.
Coupling can expose family misspecification. In v1.8, data from a coupled process can leave the declared single-rule family empty; supplying the coupled family restores a fit.
Useful support is not automatically retained. v1.10 establishes a bounded, budget-matched redundancy benefit. v1.11 lets the population and realized links turn over: the evolved network helps in paired acute ablation, but paid contribution is selected downward in all 16 seeds and abundance is lower. Functional collective benefit and evolutionary stability separate.

These results are receipts, not universal laws. Their scope is maintained in What This Project Does NOT Claim.

The Current Frontier¶

Learned searchers vs. exact family search — can LLMs or program synthesizers beat the enumeration floor under matched evidence and query budgets?
From useful support to evolutionarily stable support — can partner choice, conditional reciprocity, or spatial/kin assortment preserve contribution against low-contributing recipients under matched costs?
Real-model identity probes — do the Exp5–7 distinctions survive outside handcrafted toy agents?
Real-agent constraint architectures — do P7/P8 survive when budgets and capability are varied in actual agent ecologies?
External review and calibration — does the Viable Corridor survive scrutiny beyond its own equations and synthetic models?

The maintained problem statements live in Open Problems. New concepts do not enter this map until they have a home, status, and instrument or explicit open problem in the Concept Registry.

Recommended Route¶

The repository is a research notebook: theory proposes, code constrains, fiction stress-tests consequences, and meta-governance keeps the claim surface below the evidence.