{
  "checkedAt": "2026-10-19T01:09:46.210410+08:00",
  "success": true,
  "runtimeUrl": "http://127.0.0.1:18067",
  "namespace": "chinook",
  "dataSource": "chinook-sqlite",
  "model": "ChinookInvoiceQueryModel",
  "securityMode": "none-dev-test-only",
  "passingQueryCases": 8,
  "countryValues": 24,
  "checks": [
    "Country literal values",
    "Every matching invoice identity/date/country/amount",
    "IN equals explicit OR with date and amount ANDed",
    "All customer sums, threshold membership and stable order",
    "Source-row filtering differs from HAVING",
    "Empty result succeeds",
    "Database and TM/QM files unchanged"
  ],
  "executionMode": "Current Codex session generated payloads and executed public CLI; no separate clean Codex prompt run.",
  "cleanSessionPromptVerified": false,
  "productionPermissionsVerified": false,
  "browserFapVerified": false
}