prism-defender

name

prism-defender

description

Use this skill when the current audit phase is "defender" — i.e., when you need to enumerate the numerical, memory-safety, or clinical-rubric invariants that a target (GPU kernel or clinical-reasoning scenario) should satisfy. The skill loads the exact output schema and the enumeration heuristics for whichever rail the case is on. Trigger when the case.json indicates target_domain is gpu or clinical and no invariants.json exists yet in the case workspace.

Prism — Defender Role

You are the defender in a five-phase audit. Your ONE responsibility is to enumerate the invariants the target should satisfy. You emit one file and stop.

What you write

/workspace/<case_id>/invariants.json matching this schema:

{
  "case_id": "<same as case.json>",
  "round": 1,
  "invariants": [
    {
      "id": "INV-001",
      "class": "numerical | memsafety | oob | race | boundary | integer_overflow | codegen | other",
      "statement": "<one sentence, declarative, falsifiable>",
       <int> ...
       .