{
  "schema": "MAKNOW_AWR002_VISIBLE_CHECK_RULES_v1.0",
  "lesson_id": "AWR-002",
  "lab_id": "AWR-002-LAB1",
  "checker_has_hidden_answer_key": false,
  "state_vocabulary": [
    "USE",
    "PILOT",
    "NOT_NOW",
    "UNKNOWN",
    "EVIDENCE_INCOMPLETE",
    "OWNER_MISSING",
    "REVIEW_REQUIRED",
    "HOLD",
    "PARTIAL",
    "DISPUTED"
  ],
  "positive_states": [
    "USE",
    "PILOT"
  ],
  "decision_axes": [
    "CACHE",
    "EPHEMERAL_COORDINATION",
    "DURABLE_WORKFLOW"
  ],
  "rules": [
    {
      "id": "R1",
      "text": "Submission contains exactly CACHE, EPHEMERAL_COORDINATION, and DURABLE_WORKFLOW records."
    },
    {
      "id": "R2",
      "text": "Every decision_state belongs to the visible state vocabulary."
    },
    {
      "id": "R3",
      "text": "Each evidence object exactly matches the selected shipped fixture."
    },
    {
      "id": "R4",
      "text": "Positive CACHE requires reconstructable copied state, a measured unmet latency/freshness trigger, admissible TTL/eviction/recovery semantics, and an insufficient simpler alternative."
    },
    {
      "id": "R5",
      "text": "Positive EPHEMERAL_COORDINATION requires an explicit shared atomicity need, bounded TTL/failure semantics, a measured unmet trigger, and an insufficient simpler alternative."
    },
    {
      "id": "R6",
      "text": "Positive DURABLE_WORKFLOW requires long duration, retries, recovery, replay/history, and a current runner that misses the declared recovery target."
    },
    {
      "id": "R7",
      "text": "USE additionally requires explicit validated adoption evidence; shipped fixtures authorize at most PILOT."
    },
    {
      "id": "R8",
      "text": "NOT_NOW requires measured trigger absence and a simpler alternative that meets the declared need."
    },
    {
      "id": "R9",
      "text": "Unresolved decisive evidence cannot produce USE, PILOT, or NOT_NOW."
    },
    {
      "id": "R10",
      "text": "Positive states require an operational owner, migration cost, failure surface, evidence_ref, and complete FACT/DESIGN authority trace."
    },
    {
      "id": "R11",
      "text": "Every decision requires learner rationale, review_due, and stop_or_pivot_trigger."
    },
    {
      "id": "R12",
      "text": "Typed non-success states require a visible, non-contradictory basis."
    }
  ],
  "typed_non_success_state_semantics": {
    "UNKNOWN": "decisive evidence remains unresolved",
    "EVIDENCE_INCOMPLETE": "one or more decisive fields are missing or unresolved",
    "OWNER_MISSING": "accountable operational ownership is visibly absent",
    "REVIEW_REQUIRED": "evidence is stale, conflicting, out of tolerance, or violates the proposed state semantics",
    "HOLD": "a visible external hold or blocked dependency exists",
    "PARTIAL": "resolved and unresolved decisive fields coexist",
    "DISPUTED": "decisive evidence explicitly conflicts"
  }
}