Testing Contracts

Recommended test layers:

1. parse and verify source;
2. compile and inspect artifact hashes;
3. execute locally with ContractInstance;
4. assert storage snapshots and effects;
5. run ledger integration tests for posting policy.

Local Runtime Test

let module = parse_contract(source)?;
verify_contract(&module)?;
let mut instance = ContractInstance::new(module)?;

let output = instance.execute("entrypoint", args, ctx)?;
assert!(output.cost.total_units > 0);

Use local runtime tests to prove:

• guard behavior;
• storage transitions;
• event emission;
• effect shape.

Ledger Test

Use ledger tests when a contract emits post(...), because AllowedEdge policy is enforced at ledger commit.

Use ledger tests to prove:

• posting route admissibility;
• lifecycle gating;
• accepted version resolution;
• artifact publication and instance binding behavior.

Coverage Rule

A passing local runtime test does not prove that ledger commit will succeed.

If a contract produces accounting effects, add at least one ledger integration test for the same flow.

Fixture Location

Current fixtures live at:

crates/domain/atlas-trea/tests/fixtures/