`data/codex-yoloforever/cycle-20260908T1221Z.HzXvuQ/vienna-e2e-proof-provisional-7645583.json`

119 lines
{
  "intent": "Harden actual Vienna inventory CLI and prove the local executor contract with hermetic persisted adapters",
  "risk_tier": "R3 local integration rehearsal only",
  "environment": "macOS; detached isolated worktree; no real secrets or network",
  "baseline_commit": "7fb358ca8948290915678dd2c34f83a02d5a0532",
  "build_identity": "Content hashes below; local commit reported in handoff",
  "timestamp": "2026-09-08T12:52:25.579722+00:00",
  "ticket": "TK-11300-vienna-inventory-executor-freeze-exact-m",
  "parent_ticket": "TK-11299-zero-price-bin-zsh-orderable-regression",
  "task_id": "cycle-20260908T1221Z.HzXvuQ/vienna-executor",
  "worktree": "/private/tmp/vienna-executor.qdoRbR",
  "commands": [
    "VIENNA_EVIDENCE_DIR=/Users/macstudio3/Projects/ticket-system/data/codex-yoloforever/cycle-20260908T1221Z.HzXvuQ node --test test/cli-preflight.test.mjs test/vienna-executor.test.mjs",
    "node --check apply-fix.mjs",
    "node --check cli-args.mjs",
    "node --check vienna-executor.mjs",
    "node --check vienna-offline-adapter.mjs",
    "git diff --check"
  ],
  "results": {
    "tests": 87,
    "pass_count": 87,
    "failed": 0,
    "skipped": 0
  },
  "checks": [
    {
      "check": "CLI preflight and help",
      "verdict": "PASS",
      "evidence": "42 legacy CLI and calibrated boundary checks preserved with stricter frozen-input rejection"
    },
    {
      "check": "Manifest and store preflight",
      "verdict": "PASS",
      "evidence": "Strict schema, external SHA256, store GID/domain, age, exact GIDs, vendor/line, sample/price/tracking/policy, duplicate/collision, canary/full-location checks before denied adapter reads"
    },
    {
      "check": "Plan",
      "verdict": "PASS",
      "evidence": "Actual --plan and --enumerate under denied writes/adapter-state read; no journal or fixture changes"
    },
    {
      "check": "Offline execution",
      "verdict": "PASS",
      "evidence": "Exact frozen canary and all-record multi-location compare/set/postread with persisted fixture and journal assertions"
    },
    {
      "check": "Retry and rollback",
      "verdict": "PASS",
      "evidence": "No duplicate successful writes; confirmed rejection separated; partial multi-location rollback uses only journal successes; idempotent restore"
    },
    {
      "check": "Ambiguous result and receipt gaps",
      "verdict": "PASS",
      "evidence": "Throw before/after persisted write and confirmed response before success append; durable intent blocks apply/rollback before denied adapter boundary in both directions"
    },
    {
      "check": "Postread interruptions",
      "verdict": "PASS",
      "evidence": "Forward and rollback success retained, drift blocks further writes, restored matching state permits verification-only recovery"
    },
    {
      "check": "Journal integrity and concurrency",
      "verdict": "PASS",
      "evidence": "External checkpoint plus chain/schema/state/membership/quantity checks; malformed/forged/truncated history rejection; existing exclusive lock rejected"
    },
    {
      "check": "File protection",
      "verdict": "PASS",
      "evidence": "Symlink and hardlink targets refused; exact input aliases rejected; atomic fixture replacement; retained temp/state"
    },
    {
      "check": "Real denied boundaries",
      "verdict": "PASS",
      "evidence": "Canonical secret-file read, fetch, HTTPS and child spawn calibration under process preload; no live transport exists"
    },
    {
      "check": "Syntax and diff",
      "verdict": "PASS",
      "evidence": "node --check for four shipped modules and git diff --check"
    },
    {
      "check": "Production execution",
      "verdict": "OUT_OF_SCOPE",
      "evidence": "No live adapter, authoritative manifest acquisition, actual shop identity, credential scope or approval; separate parent TK11299 gate"
    }
  ],
  "evidence_directory": "/Users/macstudio3/Projects/ticket-system/data/codex-yoloforever/cycle-20260908T1221Z.HzXvuQ",
  "final_test_log": "/Users/macstudio3/Projects/ticket-system/data/codex-yoloforever/cycle-20260908T1221Z.HzXvuQ/vienna-test-boundary-final.txt",
  "retained_failed_run": "/Users/macstudio3/Projects/ticket-system/data/codex-yoloforever/cycle-20260908T1221Z.HzXvuQ/vienna-test-first.txt",
  "failed_run_cause": "Test factory aliased shared store object; negative mutation contaminated subsequent fixtures. Fixed cloning, then replaced generated baseline with versioned fixture+SHA256.",
  "historical_proof": "verification/e2e-proof.json and verification/cli-preflight-test-output.txt remain unchanged; source commit7fb358c",
  "correlations": [
    "dm-mtsnoxgl-42285-kfum1h",
    "action-mtsnr96r-13925-y5u8k8",
    "action-mtso4bm9-13925-fmifo2"
  ],
  "cleanup": "All fixture directories, failing logs and interrupted journals retained. Only own completed-process lock is released by runtime code. No live cleanup.",
  "trust_boundary": "External manifest and journal hashes are independent operator trust anchors, not catalog completeness or arbitrary journal provenance. Operator cannot derive approval by recomputing an unreviewed hash.",
  "limitations": [
    "Production adapter intentionally absent; actual transport semantics and permissions unverified",
    "Synthetic shop and IDs only; authoritative manifest completeness and actual identity remain external preflight",
    "No automatic resolution of ambiguous intent or crashed lock; independent reconciliation required",
    "Local process fault injection proves conservative gaps; no physical power-loss experiment"
  ],
  "verdict": "PASS for scoped local consumer/executor and offline adapter proof; production recovery remains gated",
  "file_sha256": {
    "apply-fix.mjs": "73a910ebf571fae0e5ff69f894af172ce82e2e58c0f576d995b08739d8f192ba",
    "cli-args.mjs": "716158c0530c7f06937e439dc26d64118a38d081c6bafc9e2d3ae1b3ac5d72fb",
    "vienna-executor.mjs": "a444d85b388b04e639d7ccb9778dc770bf95e8840a479a94f6b88157ecf5cb4f",
    "vienna-offline-adapter.mjs": "62b083184cb3ea0818624a97fd13b3068b9052856bff927ddf782abbc94770fc",
    "test/vienna-executor.test.mjs": "1311d7988988178e8474c60ed86fa8a69c6f1c39c911ec832761df9ad97d8e21",
    "test/vienna-boundaries.cjs": "2aad1e0b65227f9c74346465eb177c08c2cc606a601f33fb17d725f95d27c4f4",
    "test/fixtures/vienna-manifest.json": "1b21ab81983284920c22f857a1480741335b5513d003a23b38f9d1c2378bc1c7",
    "test/fixtures/vienna-manifest.sha256": "061b8fe166b4744e4cef87c02d642f85561a404ffc8158873835af5a77c9a6f2",
    "VIENNA-EXECUTOR.md": "3d66ed3a13db4732f23e1f85395e41a758add870744cd1c66f9a7dc0252947d9"
  }
}