AGENT STUDIO · GROUNDED · MONITORING RULE

Review the requirement, then publish what Agent Runtime can execute.

Agent Studio makes the meaning and limitations explicit. A reviewer approves the rule. The compiler publishes the only contract Agent Runtime can execute.

REVIEWABLE RULERUNTIME V3

MONITORING RULE BASIS · ENGINEERING FIXTUREImplemented

Required attendant remains at the monitoring post.

OBSERVABLE

Can a required attendant be clearly confirmed in the current frame?

RUNTIME-OWNED

Whether valid absence lasts 20 seconds with at least 60% coverage.

NOT OBSERVABLE

Identity, authorization, intent or formal violation confirmation.

REQUIRED SIGNAL

attendant_present · boolean / unknown · confidence · timestamp.

This public fixture demonstrates observability separation. Its source span is not yet packaged with the replay artifact; source-to-event packaging remains an integration gap.

COMPILED MONITORING PROGRAMVerified

{
  "kind": "lingan.runtime_config",
  "schemaVersion": 3,
  "packageKey": "manned_post_monitoring_demo",
  "packageVersion": 1,
  "acceptedConfidence": 0.75,
  "condition": {
    "type": "state_duration",
    "durationSeconds": 20,
    "minCoverageRatio": 0.6,
    "unknownPolicy": "pause",
    "dedupeWindowSeconds": 300
  }
}

CHECKSUMsha256:eae1eb1dd956…c6a1ed2

AGENTunderstands & proposesapplicability · signals · limitations

HUMANreviews & activatesbasis refs · changes · risk

COMPILERvalidates & versionsschema · checksum · rollback

RUNTIMEcarries stateduration · unknown · dedupe

PROOF CONTRACT

The Program is both reviewable and executable.

RulePackageEditor remains the product control surface. The public page exposes the contract and its boundaries instead of embedding an authenticated admin console.

Input: Source-linked requirement + buyer signal contract
Transformation: Applicability, observability, conditions, response and limitations
Intermediate: Policy Decision, review flags and basis refs
Output: RuntimeConfig v3 + human-readable Program
Evidence: Schema validation, version, checksum and conformance fixtures
Boundary: LLM does not maintain duration or activate production changes
Last verified: 2026-07-12 · review agent and runtime conformance tests