Programs

Long-Term Research Programs

Research at AnimusLab is organized through a collection of long-term programs. Each program investigates a distinct problem space while contributing to the broader mission of governable intelligent systems.

Anchor

Deterministic Runtime Governance

Anchor investigates constitutional enforcement, runtime constraints, capability isolation, auditability, and policy-driven execution. The program explores how intelligent systems can remain governable after deployment.

ANIMUS

Reasoning Systems & Cognitive Infrastructure

ANIMUS explores reasoning architectures, symbolic representations, memory systems, semantic computation, and domain-agnostic cognition. The objective is to understand how intelligence can be represented, constrained, and governed.

Shadow Watch

Institutional Observability & Zero-Knowledge Replay

Shadow Watch researches oversight, accountability, transparency, monitoring infrastructure, and trust systems for intelligent institutions and autonomous systems.