Epistemic + formal core
Proof state, verification, provenance, invalidation, replay, formal artifacts.
STRONG
ALEPH
A repository-grounded timeline of the major verified engineering transitions visible in the current ALEPH codebase and audit history.
The repository audit recorded 30/30 implementation surfaces and 30/30 unit verification, while clearly separating integration, authoritative execution and scientific demonstration. At that audit point: 10/30 integration verified, 9/30 end-to-end executed, 3/30 authoritative, 0/30 scientifically demonstrated.
The Step-27 V3 status documented a release-native executable, fail-closed artifact verification, direct Lean release worker and engineering checks โ while explicitly leaving some mutation/reproducibility controls unfinished and refusing to claim science from the path.
The repo moved beyond isolated modules into a durable organism event spine: runtime, planner and scientific/recovery events were connected, replay became durable, and protected projections gained explicit transaction boundaries.
Level-3 commits connected typed predictions, scientific episodes, epistemic frontier evaluation, trusted result ingress, real execution, scientific experiment specification and admissibility. The system started forming a real closed experimental pipeline rather than a collection of standalone science modules.
Formal experiment semantic IR, goal/CGE lowering, canonical formal artifact materialization and grounded realization were followed by execution-plan commitment, dispatch, observation capture, prediction evaluation, epistemic consequence bridges, frontier-aware planning and action authorization.
The latest repository commit adds an immutable, content-addressed proof over the full causal cycle:
The proof is explicitly bounded: it does not claim AGI, scientific omnipotence or unbounded self-improvement. That boundary is part of the achievement.
The repository does not contain a canonical full-vision completion field. The figure used across this site is therefore a weighted realization index constructed from the vision pillars in the master documentation and the current repository state.
Proof state, verification, provenance, invalidation, replay, formal artifacts.
STRONGLevel-3 candidate generation, experiments, observations, consequences and planning.
STRONG / EARLYCommitment, authorization, execution and durable result continuity.
NOW PROVENPersistent personal memory, continuity and protected self-model.
PARTIALNL semantics, voice, vision and natural continuous interaction.
PARTIALEmotion, curiosity, self-improvement, social cognition, embodiment and lifelong autonomy.
EARLY / FUTURE