midnight-verify:verify-by-cli-execution

Verify Compact CLI behavior by executing compact and compactc commands to capture stdout, stderr, exit codes, and filesystem side-effects, producing a structured report that confirms, refutes, or marks claims inconclusive.

Compile a minimal Compact contract with and without the target flag, then compare directory listings and command outputs to detect and validate behavioral changes in the build artifacts.

Yes, CLI availability detection determines whether compact and compactc are installed and identifies which wrapper is present before attempting contract compilation or flag validation.

Validate flag existence by checking help output for the flag, then compare compile results with and without the flag to detect and verify behavioral changes in the Compact CLI.

Yes, CLI execution verification records stdout, stderr, and exit codes while inspecting filesystem artifacts produced during compilation to confirm or refute claims about Compact contracts.

Live command execution provides a repeatable, evidence-first method by collecting observable outputs like stdout, stderr, and exit codes rather than relying solely on source inspection or secondary reports.