DRAFT · awaiting review Run: {{RUN_ID}} Owner: {{OWNER}}

Verification and Constraints

A compact contract for deciding whether an executor is ready to launch, what it must achieve, and how each claim will be proved.

Draftoverall state
0 / 6deliverables verified
Review firstcurrent gate
Openexecutor not launched

End state

Outcome: {{END_GOAL}}

Finished state: {{END_STATE}}

● Confirmed ● Assumption ○ Open
flowchart TD A["Requester
Owns the desired outcome"]:::confirmed --> B["Goal contract
Outcome, boundaries, proof"]:::confirmed B --> C["Review board
Checklist and evidence slots"]:::confirmed C --> D{"Human review
Approve or revise"}:::open D -->|Approve| E["Pinned executor
Works within the contract"]:::assumption D -->|Revise| C E --> F["Provider or artifact state
Read back the result"]:::assumption F --> G["Verified handoff
Evidence, limits, resume point"]:::confirmed classDef confirmed fill:#e8f6ed,stroke:#147a3d,color:#173b25 classDef assumption fill:#fce8f0,stroke:#c2185b,color:#5b1430 classDef open fill:#fff,stroke:#94a3b8,color:#475569,stroke-dasharray:5 5

Route to the end state

flowchart LR U["Unsettled brief
Desired outcome is known"]:::open --> P["Draft contract
Define proof and limits"]:::confirmed A["Missing evidence
Facts or access are unclear"]:::open --> P P --> R["Review board
User can inspect the whole plan"]:::confirmed R --> Q{"Approval gate
Revise or launch"}:::open Q -->|Revise| R Q -->|Launch| X["Verified result
Executor returns evidence"]:::assumption classDef confirmed fill:#e8f6ed,stroke:#147a3d,color:#173b25 classDef assumption fill:#fce8f0,stroke:#c2185b,color:#5b1430 classDef open fill:#fff,stroke:#94a3b8,color:#475569,stroke-dasharray:5 5

Checklist

Open each item for its proof conditions and boundaries. Most steps have multiple inputs and some have multiple outputs: each input gets its own gray field-shaped tag, and each output gets its own green deliverable tag. The executor updates only the blue live fields and checks criteria after evidence is captured.

Goal contract{{GOAL_FILE}} Brief{{BRIEF_INPUT}}

Define a goal contract for outcome

State the finished result, proof required, authority granted, and boundaries that remain in force.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not turn implementation steps into the definition of success.
  • Do not fill unknown facts with confident assumptions.
Live evidence: Waiting for the contract file and source references.
Screenshot placeholder: goal contract / source-of-truth view
Review board{{REVIEW_URL}} Goal contract{{GOAL_FILE}}

Create a review board for proof

Make the plan readable from start to finish, with collapsible evidence, counters, and screenshot slots.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not add decorative sections that do not aid a decision.
  • Do not hide a required proof condition outside the board.
Live evidence: Waiting for the rendered review page and URL readback.
Screenshot placeholder: hosted review board in the side panel
Refined contract{{REFINED_FILE}} Review feedback{{REVIEW_NOTES}}

Refine the plan for execution

Resolve material ambiguity and failure modes while preserving the requested outcome and authority.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not broaden scope merely because a related improvement is available.
  • Do not rewrite an accepted decision without recording why.
Live evidence: Waiting for review notes and the refined contract receipt.
Screenshot placeholder: revised board after critique
Launch package{{LAUNCH_PACKAGE}} Reviewed board{{REVIEW_URL}}

Approve a launch package for clarity

Pause at a clean human review gate until the user explicitly approves or requests another revision.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not interpret a page view, comment, or implied agreement as launch approval.
  • Do not launch a duplicate executor for the same run.
Live evidence: Waiting for an explicit approval message.
Screenshot placeholder: approval state in the review board
Pinned executor{{EXECUTOR_TITLE}} Approved package{{LAUNCH_PACKAGE}}

Launch an executor to verify delivery

Start one visible session with a self-contained goal and keep its live proof on this run’s review URL.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not claim a pass from a green UI state without provider or artifact evidence.
  • Do not silently change the approved outcome or authority.
Live evidence: Waiting for the executor ID, goal readback, and final receipts.
Screenshot placeholder: executor thread with the board open
Evidence handoff{{HANDOFF_FILE}} Executor receipts{{EVIDENCE_ROOT}}

Close an evidence record for handoff

Leave one concise record that distinguishes verified results, open items, and safe next actions.

0 / 3
Show verification and constraints

Verify

Must not

  • Do not delete source evidence to make the result look complete.
  • Do not turn an unverified business outcome into a configuration pass.
Live evidence: Waiting for the final evidence manifest and handoff.
Screenshot placeholder: final board and handoff record

Run rules

Create a new dated/versioned review URL for every execution. During that execution, republish the same run URL after meaningful updates. Keep the initial contract black, executor-owned live text blue, verified criteria green, and failed or blocked constraints red. Keep multiple inputs and outputs explicit as separate field-shaped tags rather than hiding them in one label.