Task Contracts and Verifier Harness

The Chat Info panel includes a reliability harness that helps the agent produce more deterministic results.

What It Includes

• Task Contract: Structured objective, constraints, and acceptance criteria.
• Verifier Profile: Structured post-run checks (command, etc.) with required/optional flags.
• Hard Gate + Waiver: Required check failures block done status until re-run or waiver.
• Verifier History: Per-run status, timing, and per-check output.
• Telemetry: Session and workspace rollups for pass/fail/waive/checkpoint trends.
• Constraint Telemetry: Hard-constraint block counters by rule kind and typed migration counters.
• Checkpoints: Snapshot changed files before risky operations, with restore support.

Structured Editors

You can edit both Task Contracts and Verifier Profiles inline without touching raw JSON.

• Add/remove constraints and acceptance criteria.
• Choose Constraint Engine:
  • typed (recommended): explicit deterministic hard-rule kinds
  • text: heuristic parsing from constraint descriptions
• In typed mode, each hard constraint can carry a rule kind:
  • deny_destructive_bash
  • deny_network
  • deny_install
  • read_only
  • deny_mcp_mutation
  • deny_api_mutation
• Add/remove verifier checks and edit command/timeouts.
• Live validation warnings are shown in the panel.
• Duplicate ID warnings are surfaced before save.
• Draft contracts support watermark-style empty fields (title, objective) until you fill them.
• Use Migrate Text Constraints -> Typed Rules for one-click conversion from text mode.

Raw JSON remains available under Raw JSON (Advanced) for power users.

Presets and Versioning

Both contract and verifier sections support versioned presets.

• Save Preset Version: Saves a new version (v1, v2, ... ) under the given name.
• Load Preset Version: Loads a specific saved version into the structured editor.

This helps teams keep reusable, versioned quality policies.

Import and Export Library

Preset libraries can be moved between workspaces and teammates.

• Export Library: Opens save dialog and writes a JSON bundle.
• Import Library: Opens file picker and imports a JSON bundle.
• Share Online: Uploads the library bundle and returns a shareable URL (with copy/open actions).
  • URLs are canonicalized to /s/{id} and validated before display.
• After export, the panel shows:
  • saved file path
  • Copy Path
  • Show in Folder

Hard Gate Behavior

When required verifier checks fail:

• the session gets a pending gate
• done status transitions are blocked
• user can either:
  • re-run and pass checks, or
  • explicitly waive with a reason

This prevents false-success completions.

Suggested Workflow

1. Load or edit a Task Contract.
2. Load or edit a Verifier Profile.
3. Save both.
4. Run work as normal.
5. Review verifier history/telemetry.
6. Use checkpoints when risky edits are involved.

Share Links (/s/{id}) Reliability

Viewer links are now more robust:

• Session IDs are normalized/canonicalized before saving and sharing.
• Viewer route parsing accepts trailing slashes.
• Worker fallback supports both /s/index.html and /index.html deployments.

If share links still 404, verify the viewer assets are deployed and reachable at the same domain used by VIEWER_URL.