← back to Sanderson Onboard

tk10873/verification/e2e-proof.json

54 lines

{
  "intent": "Regenerate and validate the local-only Zoffany Option-A sample/price draft without Shopify or production writes.",
  "risk_tier": "R1",
  "environment": "local sanderson-onboard repository; read-only dw_unified mirror query over /tmp PostgreSQL socket",
  "build_identity": "base=98e4c8e; resulting commit recorded on TK-10873",
  "timestamp": "2026-08-30T16:36:03Z",
  "baseline": {
    "worktree": "clean before this Codex comparison pass",
    "existing_draft": "328 REPRICE, 0 SELLABLE_ADD, 3 HELD_NEEDS_PRICE"
  },
  "checks": [
    {
      "name": "current mirror regeneration",
      "command": "node tk10873/build_zoffany_optionA_draft.mjs",
      "assertions": "331 active; 330 staging joins; 328 staged prices; 1 missing sellable; 328/0/3 action split",
      "verdict": "PASS"
    },
    {
      "name": "pure-function tests",
      "command": "node tk10873/test_optionA.mjs",
      "assertions": "28 passed, 0 failed",
      "verdict": "PASS"
    },
    {
      "name": "draft validation gate",
      "command": "node tk10873/validate_draft.mjs",
      "assertions": "sample price, staged-price authority, margin, held-row, and count invariants all passed",
      "verdict": "PASS"
    },
    {
      "name": "deterministic regeneration",
      "command": "regenerate twice and compare SHA-256",
      "assertions": "JSON 6188f65c06c3ca27bc0af14276c5db80849e418807632bf7a2912a60e81452ad and CSV 47492b2051162d958a42e42790a035d1f2d24166e8602ae3c166a053d4000e34 matched across both runs",
      "verdict": "PASS"
    },
    {
      "name": "no-write boundary",
      "command": "inspect builder query and scan tk10873/*.mjs for Shopify/network/write paths",
      "assertions": "builder executes one SELECT/COPY query and writes only local tk10873 artifacts; no Shopify API, fetch, apply flag, INSERT, UPDATE, or DELETE execution path",
      "verdict": "PASS"
    }
  ],
  "negative_checks": [
    {
      "name": "unverified price suppression",
      "assertions": "all 3 uncertain rows remain HELD_NEEDS_PRICE with null proposed_sellable_price",
      "verdict": "PASS"
    }
  ],
  "side_effects": "Only local draft artifacts and repository files changed. No Shopify, dw_unified, Kamatera, publish, or remote-push writes were performed.",
  "cleanup": "No external test state created; refreshed local artifacts intentionally retained.",
  "overall_verdict": "PASS"
}