Comprehensive invariant validation for an argument. Performs 9 checks: schema conformance, variable manager validation, per-premise validation, variable ownership, claim-bound references, premise-bound references, circularity detection, conclusion reference, and checksum stability.
Comprehensive invariant validation for an argument. Performs 9 checks: schema conformance, variable manager validation, per-premise validation, variable ownership, claim-bound references, premise-bound references, circularity detection, conclusion reference, and checksum stability.