Three ways in, one workflow
Whichever mode you start from, the work converges: intake, audit, contract, test, run, analyze, lock regression, patch, replay proof.
- Step 1Intake
Declare the agent and its environment.
- Step 2Audit
Present, partial, or missing — stated per input.
- Step 3Contract
Expert-approved obligations and limits.
- Step 4Test and run
Cases executed repeatedly against declared tools.
- Step 5Analyze and lock
Failures grouped, confirmed ones locked as regressions.
- Step 6Patch and prove
Baseline versus patched replay, decision recorded.
Evaluate an existing agent
You have an agent that runs. You want to know how it behaves under repetition and pressure before release.
- Agent policy or system instructionsRequired
- Tool schemas with inputs and outputsRequired
- A runnable interface to the agentRequired
- Sandbox environment or recorded tool responsesRequired
- Known business rules and escalation policyHelpful
- Each input is marked present, partial, or missing.
- Partial tool schemas are named individually, not averaged into a score.
- The audit result decides which runs are even possible.
- Clauses are drafted from the policy and cited back to the source line.
- Anything not supported by a citation is marked unresolved, not inferred silently.
- A domain expert approves, requests changes, or marks a clause unknown.
- Test cases tied to specific clauses.
- Repeated runs with structural checks and an outcome distribution.
- Failure clusters explained in plain language, with traces attached.
Readiness: needs tool schemas. Cases touching those tools are blocked.
Readiness: needs sandbox data. Nothing is executed.
Contract clauses marked unresolved and routed to expert review.
Blocked inputs stay blocked. Nothing is invented to keep a run moving.
Replay a production incident
Something went wrong in production. You want to understand it, and to stop it coming back.
- Production trace with steps and tool callsRequired
- Tool inputs and outputs inside the traceRequired
- Agent policy version used at the timeHelpful
- Tool schemasHelpful
- A trace-readiness scorecard checks event completeness, tool I/O, and version attribution.
- The outcome is one of: replay ready, recorded replay only, observability only, or blocked.
- Constolve never fabricates a tool response to make a replay run.
- The policy in force at incident time is reconstructed where possible.
- Clauses the incident touched are flagged for review before any fix is proposed.
- Baseline replay timeline of what actually happened.
- Counterfactual replays under safe controls: tool timeout, missing response field, permission denied, stale response, declared state change.
- A side-by-side diff, and a locked regression case if the failure is confirmed.
Blocked: missing tool responses. Observability only.
Blocked: missing tool schema. Counterfactuals unavailable.
Needs policy review before the failure is attributed.
Blocked inputs stay blocked. Nothing is invented to keep a run moving.
Build from an expert contract
The agent does not exist yet. A domain expert defines what it must and must not do, before code.
- Domain expert availabilityRequired
- Obligations and forbidden actionsRequired
- Tool inventory and rulesRequired
- Escalation conditionsRequired
- Declared world assumptionsRequired
- Open questions are listed as gaps with a named decision owner.
- No gap is closed by assumption; it stays open until a person decides.
- The contract is the primary artifact, written before the agent.
- Each clause carries its own review state and reviewer.
- An approved contract with obligations, forbidden actions, ordering, and escalation.
- A verification plan mapping each clause to how it will be checked.
- A release-readiness view that stays blocked while gaps are open.
Release readiness stays blocked.
Clause marked unknown; verification for it is inconclusive.
Blocked inputs stay blocked. Nothing is invented to keep a run moving.
Not sure which mode fits? Tell us what evidence you already have and we will map it for you.
Request a pilotExplore the demo