bounded-systems

EVM — Evolution Vector Memory: deterministic interaction-state continuity and bounded identity evolution framework for AI systems.

Machine-checked Lean 4 proofs for "Projection Insufficiency and Trajectory Realization." Establishes that no function on a non-injective projection can recover a trajectory-dependent property, with specializations to language-model hallucination, planning, RL, POMDPs, and constraint propagation.

Integrity Preservation Theory reference surface for evaluating continuity, invariant preservation, and integrity in bounded systems.

Dependency-free Python reference implementation for explicit data contracts, canonicalization, measurable state transitions, KL-divergence checks, validation, and reproducible repository boundaries.