write-shape.broken.json

JSON · 20 lines · 1,133 bytes · wiki path 10 Architecture/contracts/fixtures/write-shape.broken.json · download the raw file · cited from Contracts

Same folder: configuration-change.valid.json · connector-capability.broken.json · connector-capability.valid.json · eval-set.broken.json · eval-set.valid.json · execution-obligations.examples.json · handover-packet.valid.json · ledger-record.broken.json · ledger-record.valid.json · message-envelope.broken.json · message-envelope.valid.json · model-turn.broken.json · model-turn.valid.json · runtime-state.broken.json · runtime-state.valid.json · tool-package.examples.json · write-shape.packet.broken.json · write-shape.packet.valid.json · write-shape.valid.json

{
  "_comment": "Deliberately broken: an approved shape whose template uses an undeclared parameter and an unbounded LIKE, claims W1 on a customer-facing target, gives a range as expected count, no expiry, and a teardown that removes more than the write adds. Each must be refused (Gating § 6 checks 1–3).",
  "object": "write_shape",
  "shape_key": "insis.fix_similar_policies",
  "version": 1,
  "module": "support",
  "customer_code": "BULSTRAD",
  "operation_id": "oracle-insis.write_a",
  "connector": "oracle-insis",
  "template": "UPDATE INSIS.POLICY SET STATUS = {{new_status}} WHERE POLICY_NO LIKE '%{{prefix}}%' AND INSR_TYPE = {{insr_type}} -- and similar rows",
  "parameters": [ { "name": "new_status", "type": "string", "bound_from": "plan_step" } ],
  "target_class": "customer_facing",
  "effect_class": "transactional",
  "write_class": "W1",
  "expected_counts": "a few",
  "assertions": [ { "name": "looks right", "query": "SELECT 1 FROM DUAL", "expect": "== 1" } ],
  "teardown_template": "DELETE FROM INSIS.POLICY WHERE INSR_TYPE = {{insr_type}}",
  "case_types": ["data correction"],
  "state": "approved"
}