Verification
Planned rows name a gate, not completed evidence. Mark Implemented only after passing concrete tests linked from the progress ledger.
E-M12-004 strengthens the JAC-CTRL-009/JAC-RUN-009/JAC-CLI-008 fleet binary regression: a rejected load preserves the other configured scopes, while a foreign-session protocol failure still invalidates them.
| ID | Status | Evidence |
|---|---|---|
| JAC-ARCH-001 | Implemented | scripts/check-boundaries.mjs; scripts/governance.test.mjs; bootstrap evidence |
| JAC-ARCH-002 | Implemented | scripts/check-boundaries.mjs; scripts/governance.test.mjs; bootstrap evidence |
| JAC-ARCH-003 | Implemented | scripts/rust-architecture.mjs; scripts/rust-architecture.test.mjs; bootstrap evidence |
| JAC-ARCH-004 | Implemented | scripts/rust-architecture.mjs; scripts/rust-architecture.test.mjs; bootstrap evidence |
| JAC-ARCH-005 | Implemented | crates/jj-acp-control/src/invocation.rs; crates/jj-acp-cli/tests/run_task.rs; M4 and real jj-store M10 evidence |
| JAC-ARCH-006 | Implemented | crates/jj-acp-cli/src/lib.rs; scripts/check-boundaries.mjs; M4 evidence |
| JAC-PROTO-001 | Implemented | crates/jj-acp-protocol/src/frame.rs; crates/jj-acp-protocol/tests/bounds.rs; M2 evidence |
| JAC-PROTO-002 | Implemented | crates/jj-acp-protocol/tests/wire.rs; M2 evidence |
| JAC-PROTO-003 | Implemented | crates/jj-acp-protocol/tests/wire.rs; crates/jj-acp-protocol/tests/inbound.rs; M2 evidence |
| JAC-PROTO-004 | Implemented | crates/jj-acp-protocol/tests/payload.rs; crates/jj-acp-protocol/tests/wire.rs; M2 evidence |
| JAC-PROTO-005 | Implemented | crates/jj-acp-protocol/tests/payload.rs; crates/jj-acp-protocol/tests/wire.rs; M2 evidence |
| JAC-PROTO-006 | Implemented | scripts/governance.test.mjs; scripts/check-boundaries.mjs; crates/jj-acp-protocol/Cargo.toml; M2 evidence |
| JAC-AGENT-001 | Implemented | crates/jj-acp-agent/src/definition.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-AGENT-002 | Implemented | crates/jj-acp-agent/src/config.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-AGENT-003 | Implemented | crates/jj-acp-agent/src/environment.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-AGENT-004 | Implemented | crates/jj-acp-agent/src/catalog.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-AGENT-005 | Implemented | crates/jj-acp-agent/src/definition.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-AGENT-006 | Implemented | crates/jj-acp-agent/src/environment.rs; crates/jj-acp-agent/tests/catalog.rs; M3 evidence |
| JAC-RUN-001 | Implemented | crates/jj-acp-runner/src/turn.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence; crates/jj-acp-control/tests/serve.rs; crates/jj-acp-cli/tests/serve.rs; M9 evidence |
| JAC-RUN-002 | Implemented | crates/jj-acp-runner/src/process.rs; crates/jj-acp-cli/tests/signals.rs; M4 evidence |
| JAC-RUN-003 | Implemented | crates/jj-acp-protocol/tests/bounds.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-RUN-004 | Implemented | crates/jj-acp-runner/src/outcome.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-RUN-005 | Implemented | crates/jj-acp-cli/tests/cleanup.rs; crates/jj-acp-runner/src/outcome.rs; M5 evidence; crates/jj-acp-control/tests/serve.rs; crates/jj-acp-cli/tests/cleanup.rs; M9 evidence |
| JAC-RUN-006 | Implemented | crates/jj-acp-runner/src/configuration.rs; crates/jj-acp-protocol/tests/session_config.rs; crates/jj-acp-cli/tests/configuration.rs; M7 evidence |
| JAC-RUN-007 | Implemented | crates/jj-acp-runner/src/process.rs; crates/jj-acp-cli/tests/cleanup.rs; M5 evidence |
| JAC-CTRL-001 | Implemented | crates/jj-acp-control/src/protocol.rs; crates/jj-acp-control/src/serve.rs; crates/jj-acp-cli/tests/serve.rs; M8 evidence |
| JAC-CTRL-002 | Implemented | crates/jj-acp-control/src/task.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CTRL-003 | Implemented | crates/jj-acp-control/src/record.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CTRL-004 | Implemented | crates/jj-acp-cli/tests/stdio_contract.rs; M4 evidence |
| JAC-CTRL-005 | Implemented | crates/jj-acp-control/src/invocation.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CTRL-006 | Implemented | crates/jj-acp-control/src/task.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CTRL-007 | Implemented | crates/jj-acp-control/src/input.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CLI-001 | Implemented | crates/jj-acp-cli/src/run_task.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-CLI-002 | Implemented | crates/jj-acp-cli/tests/run_task.rs; crates/jj-acp-cli/tests/signals.rs; M4 evidence |
| JAC-CLI-003 | Implemented | crates/jj-acp-cli/src/signals.rs; crates/jj-acp-cli/tests/signals.rs; M4 evidence |
| JAC-CLI-004 | Implemented | crates/jj-acp-cli/src/args.rs; crates/jj-acp-cli/tests/args.rs; M4 evidence |
| JAC-CLI-005 | Implemented | crates/jj-acp-cli/tests/stdio_contract.rs; crates/jj-acp-cli/tests/signals.rs; M4 evidence |
| JAC-CLI-006 | Implemented | crates/jj-acp-cli/src/lib.rs; crates/jj-acp-cli/tests/stdio_contract.rs; M4 evidence |
| JAC-SEC-001 | Implemented | scripts/check-boundaries.mjs; scripts/governance.test.mjs; docs/upstream/disposition.json; M1 evidence |
| JAC-SEC-002 | Implemented | crates/jj-acp-runner/src/launch.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-SEC-003 | Implemented | crates/jj-acp-control/src/invocation.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-SEC-004 | Implemented | scripts/check-boundaries.mjs; crates/jj-acp-runner/src/launch.rs; M4 evidence |
| JAC-SEC-005 | Implemented | crates/jj-acp-runner/src/turn.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-SEC-006 | Implemented | crates/jj-acp-cli/tests/run_task.rs; crates/jj-acp-protocol/tests/inbound.rs; M4 evidence |
| JAC-SEC-007 | Implemented | crates/jj-acp-control/src/input.rs; crates/jj-acp-cli/tests/run_task.rs; M4 evidence |
| JAC-COMPAT-001 | Implemented | docs/upstream-lock.md; docs/upstream/disposition.json; docs/upstream/lock.json; scripts/upstream-lock.test.mjs; M1 evidence |
| JAC-COMPAT-002 | Implemented | docs/licenses/NOTICE.md; docs/upstream-lock.md; scripts/upstream-lock.test.mjs; M1 evidence |
| JAC-COMPAT-003 | Implemented | scripts/upstream-sync.mjs; scripts/upstream-lock.test.mjs; M1 evidence |
| JAC-COMPAT-004 | Implemented | rust-toolchain.toml; rustfmt.toml; spec-validator.config.mjs; bootstrap evidence |
| JAC-COMPAT-005 | Implemented | tests/fixtures/fixture_agent.py; crates/jj-acp-testkit/tests/fixture.rs; M3 evidence |
| JAC-COMPAT-006 | Implemented | crates/jj-acp-protocol/tests/real_adapter.rs; crates/jj-acp-protocol/tests/fixtures/cursor-acp-session.json; crates/jj-acp-protocol/tests/fixtures/codex-acp-session.json; M6 evidence |
| JAC-COMPAT-007 | Implemented | docs/upstream/disposition.json; scripts/upstream-lock.mjs; scripts/upstream-lock.test.mjs; M1 evidence |
| JAC-GOV-001 | Implemented | scripts/governance.test.mjs; scripts/check-progress.mjs; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-002 | Implemented | scripts/governance.test.mjs; scripts/check-progress.mjs; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-003 | Implemented | scripts/governance.test.mjs; scripts/check-progress.mjs; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-004 | Implemented | scripts/governance.test.mjs; scripts/check-progress.mjs; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-005 | Implemented | scripts/governance.test.mjs; scripts/check-progress.mjs; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-006 | Implemented | rustfmt.toml; package.json; spec-validator.config.mjs; bootstrap evidence |
| JAC-GOV-007 | Implemented | scripts/rust-architecture.mjs; scripts/rust-architecture.test.mjs; bootstrap evidence |
| JAC-CTRL-008 | Implemented | crates/jj-acp-cli/tests/interactive.rs; crates/jj-acp-control/tests/interactive_overflow.rs; interactive and queued-cancellation evidence |
| JAC-RUN-008 | Implemented | crates/jj-acp-cli/tests/interactive.rs; crates/jj-acp-control/tests/interactive_overflow.rs; interactive and queued-cancellation evidence |
| JAC-PROTO-007 | Implemented | crates/jj-acp-cli/tests/interactive.rs; crates/jj-acp-control/tests/interactive_overflow.rs; interactive and queued-cancellation evidence |
| JAC-CLI-007 | Implemented | crates/jj-acp-cli/tests/interactive.rs; crates/jj-acp-control/tests/interactive_overflow.rs; interactive and queued-cancellation evidence |
| JAC-CTRL-009 | Implemented | crates/jj-acp-cli/tests/fleet.rs; warm worker evidence |
| JAC-RUN-009 | Implemented | crates/jj-acp-cli/tests/fleet.rs; warm worker evidence |
| JAC-PROTO-008 | Implemented | crates/jj-acp-cli/tests/fleet.rs; warm worker evidence |
| JAC-CLI-008 | Implemented | crates/jj-acp-cli/tests/fleet.rs; warm worker evidence |
| JAC-REL-001 | Implemented | scripts/release.test.mjs; scripts/progress-vcs.test.mjs; scripts/package-check.mjs; release evidence |
| JAC-REL-002 | Implemented | scripts/release.test.mjs; scripts/progress-vcs.test.mjs; scripts/package-check.mjs; release evidence |
| JAC-REL-003 | Implemented | scripts/release.test.mjs; scripts/progress-vcs.test.mjs; scripts/package-check.mjs; release evidence |
| JAC-REL-004 | Implemented | scripts/release.test.mjs; scripts/progress-vcs.test.mjs; scripts/package-check.mjs; release evidence |
| JAC-REL-005 | Implemented | scripts/registry-check.test.mjs; scripts/release-registry.mjs; release evidence |
| JAC-REL-006 | Implemented | Changesets version-preparation and orchestration regressions; automation recognition and selective bookkeeping exemptions in scripts/ci-automation.test.mjs; evidence in milestones.md. |
Optional v2/v3 prompt context is verified by the protocol payload and control wire tests, with separate fleet CLI block evidence in E-M12-002.
Context-only prompts are covered by interactive_wire rejection/acceptance
cases and the version-3 fleet test (E-M12-003).
Trusted MCP launch declarations are covered by crates/jj-acp-cli/tests/fleet.rs: warmup emits no tool session and both independent session/new calls receive the same trusted declarations. Installed local-agent tool acceptance remains consumer evidence.
E-CI-CLEANUP-001 strengthens the JAC-RUN-007/JAC-CLI-002 containment regression with an explicit deadline record, one prompt dispatch and a completion ceiling. Delayed-interpreter acceptance separates fixture startup from cleanup evidence.