midnight-verify:verify-by-execution

What problem does it solve?

Verifies that Compact smart contract claims are true by observing actual runtime behavior rather than relying on compilation success alone, reducing false positives caused by code that compiles but misbehaves at execution time.

Core Features & Use Cases

• End-to-end verification: create a minimal test contract related to the claim, compile it with the Compact CLI, run the compiled output with the Compact runtime, and interpret the observed results.
• Ledger-level evidence: extract cost breakdowns, well-formedness checks, and transaction properties when claims concern ledger semantics or cost models.
• Reproducible job workspace: lazy-initialized workspace per job, structured job directories, runner scripts, and standardized report format to capture compiler and runtime outputs.

Quick Start

Create a minimal Compact test contract that exercises the claimed behavior, compile it with the Compact CLI, run the compiled output with the @midnight-ntwrk/compact-runtime, and report whether the observed output confirms the claim.