{
  "classifications": [
    {
      "id": "q1",
      "decision": "reject",
      "reason": "Envelope.token belongs to echo's declared request and result schemas at /echo; removing it violates the required public wire contract despite absent Bosatsu extractions."
    },
    {
      "id": "q2",
      "decision": "defer",
      "reason": "Reserved.note has no compiled extraction or established API wire consumer, but external consumers of exported Reserved have not been inventoried, so compatibility is unresolved."
    },
    {
      "id": "q3",
      "decision": "reject",
      "reason": "consumed binds tx_database_time_millis(scope) to row and returns tx_pure(row); tx_pure(0) discards the returned clock value and is not a behavior-preserving replacement."
    },
    {
      "id": "q4",
      "decision": "defer",
      "reason": "discarded's detached-read fact establishes unused result data, but no contract establishes that removing its clock read preserves failures and observations."
    },
    {
      "id": "q5",
      "decision": "reject",
      "reason": "ping(_a)'s checked Unit parameter carries no caller payload; adding an Int and computing from it violates the required no-argument interface returning seven."
    },
    {
      "id": "q6",
      "decision": "apply",
      "reason": "line_total extracts Order(id, qty, _) and computes add(add(qty, qty), id), exactly the required 2 * order_qty(o) + order_id(o); quote currently produces literal 42."
    },
    {
      "id": "q7",
      "decision": "apply",
      "reason": "shipping_fee returns add(subtotal, 5) in both exhaustive cmp_Int(region, 0) branches; removing the pure comparison preserves its result for every Int input."
    },
    {
      "id": "q8",
      "decision": "reject",
      "reason": "The concrete execution of surge_bonus with x = 1001 returns 1001, disproving constant seven despite the eight seeded observations."
    },
    {
      "id": "q9",
      "decision": "reject",
      "reason": "can_see has concrete varying results, variant1 and variant0; constant True also violates the required restriction on Members threads. Literal boolean outputs do not erase input-dependent branch selection."
    },
    {
      "id": "q10",
      "decision": "reject",
      "reason": "change_label's blind write to label matches its sole requirement to overwrite with supplied text; reading the old label serves no required computation, and the diagnostic alone does not justify adding an effect."
    }
  ],
  "protocolSha256": "ab247be6ae542b6fe3aef07bbc021103eaebb193104a104da8265c417cc541a0",
  "arm": "artifact",
  "startedAt": "2026-09-15T04:02:10.026801+00:00"
}