{
  "schema": "nodus.synthetic_timing_result.v1",
  "synthetic": true,
  "actual_hardware_measurement": false,
  "planned_cases": 8,
  "retained_cases": 8,
  "rows": [
    {
      "id": "host_submission",
      "label": "Submission return, no wait",
      "kind": "host_enqueue",
      "result": {
        "status": "computed_from_fictional_inputs",
        "elapsed_us": 40,
        "completion_established": false,
        "scope": "submission return only; no completed-device-work claim"
      }
    },
    {
      "id": "host_completion",
      "label": "Host start to completion wait return",
      "kind": "host_completed",
      "result": {
        "status": "computed_from_fictional_inputs",
        "elapsed_us": 140,
        "completion_established": "declared_synthetic_only",
        "scope": "host start through return from the declared target wait"
      }
    },
    {
      "id": "device_interval",
      "label": "Completed same-stream device event interval",
      "kind": "device_event",
      "result": {
        "status": "computed_from_fictional_inputs",
        "elapsed_us": 100,
        "scope": "declared same-stream event interval; not pure kernel execution or host end-to-end time"
      }
    },
    {
      "id": "overlap",
      "label": "Two overlapping phases, shared fictional device clock",
      "kind": "phase_accounting",
      "result": {
        "status": "computed_from_fictional_inputs",
        "phase_count": 2,
        "summed_phase_us": 140,
        "covered_union_us": 100,
        "span_us": 100,
        "sum_minus_union_us": 40,
        "uncovered_within_span_us": 0,
        "interpretation": "Sum counts overlapping intervals repeatedly; union/span are not measured GPU utilization or an inferred critical path."
      }
    },
    {
      "id": "no_wait",
      "label": "Submission return relabeled as completed work",
      "kind": "host_completed",
      "result": {
        "status": "unknown",
        "elapsed_us": null,
        "reason": "no_completion_observation"
      }
    },
    {
      "id": "cross_domain",
      "label": "Host start subtracted from device stop",
      "kind": "raw_interval",
      "result": {
        "status": "unknown",
        "elapsed_us": null,
        "reason": "different_clock_instance_or_domain"
      }
    },
    {
      "id": "different_epoch",
      "label": "Same clock kind, different host boot",
      "kind": "raw_interval",
      "result": {
        "status": "unknown",
        "elapsed_us": null,
        "reason": "different_clock_instance_or_domain"
      }
    },
    {
      "id": "event_pending",
      "label": "End event has not completed",
      "kind": "device_event",
      "result": {
        "status": "unknown",
        "elapsed_us": null,
        "reason": "device_event_not_recorded_and_complete"
      }
    }
  ],
  "computed_cases": 4,
  "unknown_cases": 4,
  "fixture_sha256": "92cb5d6cfe8f5fada3d864f638e57e356cbf555a69cb2f26b491837fdc1a7d62",
  "source_sha256": "cf65114537ffdc4e725d8df1f0c62833c65fa1d4444dff1118b83611636f71a3",
  "controls": [
    {
      "control": "missing_planned_case",
      "passed": true,
      "outcome": "rejected",
      "reason": "complete ordered case coverage required"
    },
    {
      "control": "duplicate_plan_id",
      "passed": true,
      "outcome": "rejected",
      "reason": "unique bounded plan required"
    },
    {
      "control": "not_synthetic",
      "passed": true,
      "outcome": "rejected",
      "reason": "synthetic scope required"
    },
    {
      "control": "boolean_timestamp",
      "passed": true,
      "outcome": "rejected",
      "reason": "bounded integer microseconds required"
    },
    {
      "control": "reversed_interval",
      "passed": true,
      "outcome": "rejected",
      "reason": "reversed interval"
    },
    {
      "control": "wrong_units",
      "passed": true,
      "outcome": "rejected",
      "reason": "unsupported clock identity/unit"
    },
    {
      "control": "wrong_wait_target",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "incomplete_target",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "incomplete_coverage",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "timing_disabled",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "unmodeled_cross_stream",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "mixed_phase_clocks",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "status",
      "value": "unknown"
    },
    {
      "control": "same_stream_overlap",
      "passed": true,
      "outcome": "rejected",
      "reason": "same-stream phase execution overlaps"
    },
    {
      "control": "duplicate_phase_id",
      "passed": true,
      "outcome": "rejected",
      "reason": "duplicate phase id"
    },
    {
      "control": "gap_not_active_time",
      "passed": true,
      "outcome": "retained_expected_result",
      "field": "uncovered_within_span_us",
      "value": 10
    }
  ],
  "control_count": 15
}
