{
  "codexExecutionEnabled": false,
  "mode": "disabled",
  "allowedInvocation": "manual-force-only",
  "maxIssuesPerCycle": 1,
  "requireEndpointGuardPass": true,
  "requireBudgetGuardPass": true,
  "requireLeaseGuardPass": true,
  "requireWorkPacketReady": true,
  "requireOperatorApproval": true,
  "allowedIssueNumbers": [370],
  "maxFilesChanged": 6,
  "maxLinesChanged": 400,
  "allowGitHubWritesFromCodex": false,
  "allowDirectPiEdits": false,
  "safetyMode": "gate-only",
  "proofReadiness": {
    "issue376ExecutionDelta": {
      "allowDirectPiEdits": false,
      "allowGitHubWritesFromCodex": false,
      "codexExecutionEnabled": false,
      "guardrailsRemainDisabled": true,
      "issueNumber": 376,
      "status": "ready-for-execution",
      "targetKey": "proofReadiness.issue376ExecutionDelta"
    },
    "issue380ExecutionDelta": {
      "allowDirectPiEdits": false,
      "expectedExecutionOwner": "operator-codex",
      "expectedWorkflowState": "refinement-required",
      "issueNumber": 380,
      "requiresRefinementBeforeRetry": true,
      "status": "ready-for-execution",
      "targetKey": "proofReadiness.issue380ExecutionDelta"
    }
  }
}