No local artifacts found
Generate local artifacts first with:
bash ./scripts/first_run.shOptional second artifact root:
python3 -m actenon.demo.portable_local_proof --artifacts-dir artifacts/portable_local_proofRun
Scenario
Why It Succeeded Or Failed
Verification
What Was Verified
Execution Flow
What Happened In Order
Artifacts