A minimal worked example
One controlled path from a synthetic fixture to a bounded finding for Repair Rate (RR) — enough for a technical reader to see what is calculated, what is refused, and where determinism starts.
Synthetic example derived from a real controlled fixture and contract tests already present in the product repository’s canonical mainline. Reduced to a public projection for disclosure. Not a production workflow, not external validation, and not the private scoring surface.
Scenario
A four-event cycle window records start, an LLM call, a tool call, and an end. Two of those events carry an explicit is_repair label supplied by the fixture. Tier 0 RR can run because the trace is parseable and non-empty; the labels determine the repair count — a structural repair-density counter, not a quality judgment.
1. Evidence of input
Public projection of the fixture events. Fields shown are the ones this path actually uses. This is not the full private wire format.
{
"cycle_id": "sync-trace-counter-audit-pos-001",
"events": [
{ "timestamp": "2025-01-01T00:00:00", "event_type": "start", "agent": "agent-1", "is_repair": false },
{ "timestamp": "2025-01-01T00:01:00", "event_type": "llm_call", "agent": "agent-2", "is_repair": true },
{ "timestamp": "2025-01-01T00:02:00", "event_type": "tool_call", "agent": "agent-3", "is_repair": false },
{ "timestamp": "2025-01-01T00:03:00", "event_type": "end", "agent": "agent-4", "is_repair": true }
]
}
2. Normalization
In this controlled fixture, is_repair is an explicit contractual label supplied with each event. The events are already shaped for the common cycle-trace representation the core consumes. Adapters map external traces into that shape and preserve the label; they do not infer repair semantics from free-form text. In a real workflow, an equivalent fact would need to be emitted or preserved upstream under the evidence contract.
- Preserved:
cycle_id, timestamp, event_type, agent, and boolean is_repair when present.
- Concrete map: fixture-supplied
"is_repair": true → common event field is_repair = true (eligible for the repair count). An event_type such as llm_call is not treated as a repair unless the label says so.
- Not inferred: repair effectiveness, rework quality, or “this step should have been a repair.”
- Would stay absent: if no contractual repair label is supplied upstream, adapters leave
is_repair unset — they do not recover it from unstructured logs.
3. Evidence sufficiency
Evidence Sufficiency answers whether RR can be computed from the trace. The explicit is_repair labels answer which valid events enter the repair count. These are separate questions. Private sufficiency thresholds beyond this gate are not published here.
sufficient
Non-empty parseable events
Present: four valid parseable events. Computation is authorized for Tier 0 RR on this controlled path. The is_repair labels do not authorize the compute; they feed the numerator once computation is allowed.
insufficient
Empty event list
Same cycle shape with events: [] yields status insufficient_evidence, blocking reason empty_trace_events, and computed_value: null. The calculation does not run.
An empty trace blocks computation. A non-empty valid trace with no is_repair: true events can still produce a computed RR of 0.0 — that is a computed result, not insufficient evidence. Still prohibited after a sufficient compute: treating the density as proof of repair effectiveness, workflow improvement, or production-ready diagnosis.
4. Canonical computation
Variable RR · status computed · Tier 0 structural. Deterministic output from the fixture above (exact test expectation):
{
"variable_key": "rr",
"computation_status": "computed",
"computed_value": 0.5,
"auxiliary_values": {
"repair_count": 2,
"total_valid_events": 4
}
}
Evidence link: two events labeled is_repair: true among four valid events produce computed_value: 0.5. The basic arithmetic relation shown here — repair events over total valid events — is public. Thresholds, weights, composite scoring, and private interpretation rules are not disclosed.
5. Bounded finding
Authorized to affirm
On this controlled fixture, a structural repair-density counter for the cycle window was computed. The value is a lower-level signal under an explicit input contract — a repair-rate candidate, not a completed diagnosis.
Not authorized to affirm
- That repairs were effective or improved quality
- Causal attribution or overall workflow health
- External diagnostic validity or production readiness
- An integrated recommendation or intervention priority
Insufficient contrast — empty-trace output
Same public path with an empty event list. Status and blocking reason match the product’s Tier 0 / Evidence Sufficiency tests for RR.
{
"variable_key": "rr",
"computation_status": "insufficient_evidence",
"computed_value": null,
"blocking_reasons": ["empty_trace_events"]
}