x07-test

This skill provides the single canonical way to run tests for an X07 project using the built-in test harness.

Canonical command

```
x07 test --manifest tests/tests.json
```

Notes

By default,
```
x07 test
```
prints JSON to stdout; use
```
--report-out <path>
```
to write a report file.
Filter selection:
- ```
x07 test --manifest tests/tests.json --filter <substr>
```
- ```
x07 test --manifest tests/tests.json --filter <id> --exact
```
- By default, filters that select 0 tests are an error; pass
```
--allow-empty
```
  to treat this as success.
- Use
```
--list
```
  to print selected tests without running them.
Progress output:
- ```
x07 test --verbose
```
  prints
```
test: <id>
```
  lines to stderr while preserving the machine report on stdout.
Fuel overrides:
- Set
```
solve_fuel
```
  on a test entry in
```
tests/tests.json
```
  to override the per-test fuel cap.
Runner traps:
- When a runner traps, the report includes diagnostic
```
X07T_RUN_TRAP
```
  with
```
details.trap
```
  set to the decoded trap string.
OS-world working directory:
- For
```
run-os
```
  /
```
run-os-sandboxed
```
  , the runner process
```
cwd
```
  is derived from the manifest directory when possible (sandboxed tests may choose a different
```
cwd
```
  to satisfy policy read roots), so relative filesystem paths resolve from that
```
cwd
```
  .
Property-based tests (PBT):
- ```
x07 test --pbt --manifest tests/tests.json
```
  runs PBT entries only.
- ```
x07 test --all --manifest tests/tests.json
```
  runs unit + PBT.
- ```
x07 test --pbt --pbt-repro <repro.json> --manifest tests/tests.json
```
  replays exactly one counterexample.
- If PBT finds a counterexample, use
```
x07 fix --from-pbt <repro.json> --write
```
  to convert it into a deterministic regression test (wrapper module + manifest entry).
```
x07 test
```
resolves
```
stdlib.lock
```
by searching upward from the manifest directory, then upward from the
```
x07
```
executable location. Override with
```
--stdlib-lock <path>
```
.
New projects created with
```
x07 init
```
include
```
tests/tests.json
```
plus a minimal
```
tests/smoke.x07.json
```
.
Publishable package repos created with
```
x07 init --package
```
include
```
tests/tests.json
```
and publishable modules under
```
modules/
```
(no
```
tests/smoke.x07.json
```
).
Tests under
```
tests/
```
can import your project modules via project module-root discovery (typically
```
src/
```
in projects, and
```
modules/
```
in package repos).
World-gating is enforced at compile time. Keep unit tests small and pure (no filesystem/network I/O) unless you are explicitly writing OS-world integration tests and running them under the sandbox profile.

x07-test

NPX Install

Tags

SKILL.md Content

x07-test

Canonical command

Notes