← back to Dw Add Sellable Variant Tk10902

tk10875-codex/verification/e2e-proof.json

40 lines

{
  "intent": "Independently classify TK-10875 unbuyable products and exercise dry-run staging pilots without production writes",
  "risk_tier": "R1 isolated read-only analysis",
  "environment": "Mac2 local dw_unified mirror",
  "model": "codex",
  "checks": [
    {
      "boundary": "database safety",
      "command": "node analyze-readonly.mjs --probe-write-guard",
      "assertion": "Mutation SQL is rejected before database execution",
      "verdict": "PASS"
    },
    {
      "boundary": "read-only database journey",
      "command": "node analyze-readonly.mjs",
      "assertion": "Explicit READ ONLY transactions produce local classification and pilot artifacts",
      "verdict": "PASS"
    },
    {
      "boundary": "classification reconciliation",
      "command": "node test-artifacts.mjs",
      "assertion": "Cost and structural buckets reconcile; retail-only evidence cannot enter cost-eligible pilots",
      "verdict": "PASS"
    },
    {
      "boundary": "side effects",
      "assertion": "No Shopify request, activation path, UPDATE/INSERT/DELETE, or production catalog write exists",
      "verdict": "PASS"
    }
  ],
  "negative_checks": [
    "UPDATE probe rejected by SELECT/WITH allowlist",
    "Coordonne retail-only rows held from cost pricing",
    "Ambiguous exact catalog joins excluded",
    "Non-clean structural classes excluded from additive pilot"
  ],
  "cleanup": "No external or database state created; local artifacts intentionally retained",
  "overall_verdict": "PASS"
}