CARRY

Problem

Explicit state progression and transition evidence.

Approach

Rust execution with a Prolog logic kernel and braid-based transition tracking.

Verification and limits

Formal or topological descriptions do not establish security or correctness for arbitrary agent actions.

This project summary reviews public documentation. It does not substitute for the project's build, tests, proof audit, or independent evaluation.

License

AGPL — see terms. The actual project terms govern use.