pi_agent_rust/docs/contracts/operator-smoothness-slo-contract.json at main · chatek/pi_agent_rust · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
{
  "schema": "pi.operator.smoothness_slo_contract.v1",
  "evidence_schema": "pi.operator.smoothness_slo.v1",
  "contract_version": "1.0.0",
  "bead_id": "bd-9yq7i.5",
  "purpose": "operator_smoothness_slo_engineering_fixture_not_release_benchmark",
  "summary": "Defines the read-only operator smoothness SLO artifact for deterministic high-volume provider, RPC, TUI, tool-update, and session-write pressure fixtures. The artifact proves semantic milestones remain visible while low-value updates may be coalesced; it is advisory evidence only and not a benchmark, capacity, release-performance, or strict drop-in claim.",
  "allowed_statuses": [
    "pass",
    "fail"
  ],
  "allowed_decisions": [
    "smoothness_slo_passed",
    "file_follow_up_before_relying_on_smoothness_slo"
  ],
  "required_top_level_keys": [
    "schema",
    "generated_at",
    "status",
    "purpose",
    "source_bead",
    "visibility_budget_ms",
    "backlog_budget",
    "required_case_ids",
    "required_surface_ids",
    "required_event_keys",
    "required_metric_keys",
    "surface_ids_covered",
    "missing_case_ids",
    "missing_surface_ids",
    "failing_case_ids",
    "cases",
    "negative_controls",
    "negative_control_failures",
    "source_boundaries",
    "claim_boundaries",
    "operator_next_actions",
    "decision"
  ],
  "required_surface_ids": [
    "provider_stream_delta",
    "rpc_output_pressure",
    "tui_frame_render",
    "tool_update_coalescing",
    "session_write_pressure"
  ],
  "required_case_ids": [
    "balanced_high_volume",
    "rpc_tool_flood",
    "tui_budget_pressure",
    "provider_slow_semantic",
    "session_write_pressure"
  ],
  "required_metric_keys": [
    "event_count",
    "semantic_milestone_count",
    "coalesced_low_value_count",
    "p50_visible_ms",
    "p95_visible_ms",
    "p99_visible_ms",
    "max_backlog",
    "visibility_budget_ms",
    "verdict"
  ],
  "required_event_keys": [
    "step",
    "elapsed_ms",
    "surface",
    "event",
    "class",
    "semantic_milestone",
    "coalescing_reason",
    "backlog_depth"
  ],
  "allowed_event_classes": [
    "semantic",
    "low_value"
  ],
  "required_negative_control_ids": [
    "delayed_semantic_visibility_fails_closed",
    "non_monotonic_timeline_fails_closed",
    "runaway_frame_backlog_fails_closed",
    "missing_surface_coverage_fails_closed"
  ],
  "required_source_boundary_ids": [
    "fixture_backed_no_live_provider_or_terminal_calls",
    "advisory_slo_not_benchmark_capacity_or_release_claim",
    "does_not_replace_provider_rpc_tui_tool_or_session_evidence",
    "read_only_no_scheduler_runtime_cargo_or_git_mutation"
  ],
  "required_false_claim_boundary_flags": [
    "benchmark_claim_authorized",
    "capacity_claim_authorized",
    "release_performance_claim_authorized",
    "live_provider_terminal_network_or_rch_call_authorized",
    "scheduler_or_runtime_mutation_authorized",
    "session_mutation_authorized",
    "replaces_provider_rpc_tui_tool_or_session_evidence",
    "strict_dropin_or_release_claim_authorized"
  ],
  "claim_boundaries": [
    "This contract authorizes deterministic read-only smoothness fixture evidence only.",
    "It does not authorize live provider calls, terminal automation, runtime scheduler mutation, RCH or cargo execution, git mutation, Beads mutation, file deletion, benchmark claims, capacity claims, release performance claims, or strict drop-in claims.",
    "Every surface must expose event, semantic milestone, low-value coalescing, p50/p95/p99 visibility, backlog, budget, and verdict fields.",
    "Negative controls must fail closed for delayed semantic visibility, non-monotonic timelines, runaway frame backlog, and missing surface coverage."
  ]
}