skills/research-attempt/evals/trigger-evals.json

[
  {
    "query": "Attack the next unresolved lemma and record a bounded route.",
    "should_trigger": true
  },
  {
    "query": "Try to find the smallest counterexample to this conjecture.",
    "should_trigger": true
  },
  {
    "query": "Test one bounded route against the current blocker in this research repository.",
    "should_trigger": true
  },
  {
    "query": "Run one bounded proof route in a program with a separate phase-level route index.",
    "should_trigger": true
  },
  {
    "query": "Look up the exact hypotheses of Theorem 4.3 in the cited paper.",
    "should_trigger": false
  },
  {
    "query": "Explain the definition of a spectral sequence.",
    "should_trigger": false
  },
  {
    "query": "Fix the grammar in this paragraph.",
    "should_trigger": false
  },
  {
    "query": "Pursue the conjecture across many approaches and keep trying after failed routes.",
    "should_trigger": false
  },
  {
    "query": "Migrate our entire flat research-history index into a program-level hierarchy.",
    "should_trigger": false
  },
  {
    "query": "Try one bounded construction and hand any unfinished continuation back to the program.",
    "should_trigger": true
  },
  {
    "query": "Keep pursuing the program across its untried continuations after an inconclusive attempt.",
    "should_trigger": false
  },
  {
    "query": "In this read-only web host, pursue one bounded lemma route and provide a deferred handoff for any ledger-worthy result.",
    "should_trigger": true
  }
]