SuperBizAgent-java/devflow/projects/2026-07-07-executor-verifier-claim-checks/acceptance.md

Acceptance

Implementation Result

Implemented stage three of Executor Structured Output V2:

• Verifier prompt now validates claim derivability rather than scanning final natural-language output.
• Verifier output supports claim_checks.
• ChatService derives compatibility facts_checked from claim_checks.
• ChatService persists both claim_checks and facts_checked.
• Effective verdict guardrails prevent Gatekeeper failures and malformed structured output from remaining PASS.
• Verifier logging summarizes claim_checks.

Static Verification

• Reviewed git diff --stat and changed files are scoped to stage three implementation, tests, OpenSpec/devflow, and the issue handoff document.
• cmd /c openspec validate executor-verifier-claim-checks passed.
• After OpenSpec archive, cmd /c openspec validate --specs passed.

Script Verification

Passed:

mvn "-Dtest=ExecutorGatekeeperServiceTest,VerifierInputHookTest,ChatServiceSequentialAgentTest" test

Coverage:

• Verifier payload and Gatekeeper hook behavior.
• Gatekeeper schema/invocation validation.
• claim_checks parsing and persistence.
• claim_checks to facts_checked compatibility mapping.
• all claim verification mapping classes.
• Gatekeeper failure downgrade from model PASS.
• malformed Executor output downgrade from model PASS.

The targeted Maven test command was re-run after OpenSpec archive and passed.

Browser / Manual Verification

Not run. This stage changes backend prompt, parser, audit, and tests only.

OpenSpec Archive Status

Archived:

openspec/changes/archive/2026-07-07-executor-verifier-claim-checks

Archive follow-up: the generated canonical chat-verifier-agent spec was reviewed and amended to preserve pre-existing verifier input and Gatekeeper schema scenarios while adding the new claim-check scenarios.

Remaining Risks

• Composer is not implemented in this stage; final PASS rendering still uses the temporary V2 renderer until stage four.
• Full eval fixture expansion is deferred to stage five.
• Existing Maven warnings about duplicate test dependency and Lombok builder defaults remain outside this stage.