Testing

X07 includes a built-in test harness designed for agents.

Test command

• x07 test (unit tests; manifest entries where pbt is not set)
• x07 test --pbt (property-based tests only)
• x07 test --all (unit + property-based)

Each test declares an execution world (typically run-os).

Output is an x07test JSON report including:

• pass/fail summary
• failures with diagnostic codes
• failure classification (failure_kind, for example contract_violation)
• optional mem_stats / sched_stats

See also:

• Test manifest
• Testing by example
• Property-based testing
• PBT repro → regression test
• Diagnostic codes
• Benchmarks

Why X07 includes a built-in test harness

Agents need:

• a single canonical way to run tests
• a structured report
• stable failure semantics

If every project reinvents testing, agents become unreliable.