skills/proof-audit/evals/trigger-evals.json

[
  {
    "query": "Audit this proof and isolate the first gap.",
    "should_trigger": true
  },
  {
    "query": "Are the signs and variance in Proposition 3.2 correct?",
    "should_trigger": true
  },
  {
    "query": "Look up what the cited paper proves over integral coefficients.",
    "should_trigger": false
  },
  {
    "query": "Find a new proof of the theorem from scratch.",
    "should_trigger": false
  },
  {
    "query": "Copyedit this theorem statement.",
    "should_trigger": false
  },
  {
    "query": "Audit this proof in a read-only host and prepare an authorized deferred review record if the audit changes the ledger state.",
    "should_trigger": true
  }
]