From review to enforcement

review evidence
      ↓
candidate require-text / forbid-text rule
      ↓
read-only Git replay: broken fails · corrected passes
      ↓
verified rule → CI guard → file-relevant context → MCP

The evidence trail remains local and reviewable. A replay validates a specific literal rule against specific commits; it does not rerun an agent or prove that an entire defect class is impossible.

v0.10 beta commands

Rule model

The beta intentionally supports deterministic forbid-text and require-text rules scoped by file globs. Each case can connect review evidence, a broken commit, a corrected commit, and replay results. This narrow model is easy to inspect, explain, and reproduce.

Executable corrections are the next pilot

Literal rules catch a precise class of regressions without executing repository code. Some corrections need behavior, not text. The source-available correction pilot captures a maintainer-reviewed, dependency-free node:test file from an explicit fixed commit, then pairs it with each revision’s own source files.

Verification applies those recorded bytes to both the broken and fixed revisions, then runs them in a digest-pinned Docker image with no network, a read-only root filesystem, a non-root user, and bounded resources. Execution requires an explicit --allow-execution acknowledgement. Current-tree checks revalidate those controls before reporting a result.

A captured correction is a candidate. It becomes verified only after the controlled run fails on the broken revision and passes on the fixed revision. Spine does not infer tests, repair failing tests, or label candidate context as verified.

The operator pre-pulls an explicitly reviewed, digest-pinned image. The pilot will not select or fetch a floating image on its own. See the correction workflow contract.

Why not just write a test?

You should write the test. Spine preserves the reviewed test bytes, their source closure, their broken/fixed evidence, and the execution controls as one auditable correction. It complements the normal suite by retaining why this test exists and proving it distinguishes the recorded failure before using it as agent context.

Propose a pilot case →

Replay and evaluation are different operations

Evaluation does not provide an OS sandbox. Review the adapter and repository before enabling execution. See the evaluation contract for the adapter schema, recorded outputs, and cleanup behavior.

What remains

Boundaries

Run the beta demo →Read the code →Share a failure case →