Mathematics

Invariants

Information preservation; proof-carrying transforms.

Complexity Ceilings

Declared O() bounds for core reasoning steps.