{
  "artifact_id": "negative-testing-sqlite-rejection-v1",
  "capture_policy": "Raw child stdout/stderr retained byte-for-byte; original captures are never overwritten by a rerun. Databases themselves are temporary and deleted after reconnect observations.",
  "case_counts": {
    "distinct_scenarios": 7,
    "fresh_database_case_invocations_across_four_gates": 23,
    "negative_scenarios": 5,
    "positive_scenarios": 2
  },
  "case_invocation_note": "7+7+7+2 separate database executions. These are not 23 unique scenarios, requests, branch-coverage points, or customer incidents.",
  "dependency_policy": "Python >=3.10 with standard-library sqlite3; no Proof, network, credentials or installed packages.",
  "execution_entrypoint": "python3 reproduce.py",
  "limits": [
    "No claim of idempotency, at-most-once request processing, or repeated-request semantics.",
    "No email, notification, network call, or external side effect is modeled or claimed atomic.",
    "No concurrency, locking contention, crash/power-loss recovery, disk-full, database corruption, busy-timeout behavior, authorization or attacker-reachability claim.",
    "No proof of every possible input, starting state, exception, or production system. This is an original instructional fixture, not a discovered customer defect."
  ],
  "observation_finished_utc": "2026-10-28T10:06:31.645946+00:00",
  "observation_started_utc": "2026-10-28T10:06:31.421386+00:00",
  "origin": "Original synthetic instructional implementation and test fixture authored for Proof; no customer code/data or reported production defect.",
  "public_path_proposal": "/assets/negative-testing/research-rerun/",
  "recorded_utc": "2026-10-28T10:06:53.388286+00:00",
  "retained_evidence_sha256": {
    "observed/baseline-effects.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/baseline-effects.stdout.json": "b908c9a648d8d13f67758913f2702ebc6a5937d9508712c9756582689a287370",
    "observed/baseline-response.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/baseline-response.stdout.json": "90bcb16209d35f2bf355227526f98f8ecb4c02fa8af961ca77a18894cfa895c2",
    "observed/corrected-effects.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/corrected-effects.stdout.json": "bdd920eee04b128122e82eae895b16bcd89ad051be2494494e3938af5801bd92",
    "observed/reject-all-positive.stderr.txt": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
    "observed/reject-all-positive.stdout.json": "57b76206e59209b509fa51154516779710d18321f985c511d5af224ffd1e8ff0",
    "observed/reproduction-summary.json": "9dcfe32769035500260fd90406a0d1e8eaf97ff0141aa62e02e0670501259607"
  },
  "runtime": {
    "executable": "/opt/homebrew/opt/python@3.14/bin/python3.14",
    "python": "3.14.7",
    "python_build": "3.14.7 (main, Aug  5 2026, 10:29:49) [Clang 21.0.0 (clang-2100.1.1.101)]",
    "sqlite_library": "3.53.4"
  },
  "source_sha256": {
    "README.md": "ef871c196e7b78d4a758a4bbc12648206b99d4fc8d53c744c4f124a86c153c5e",
    "cases.json": "03fef81b4e00978c8d34f47be5c6f1c921be10e3eedeb01fddcb4fee33c4003a",
    "contract.json": "aa2ec79c74641239ad7d77ade473bb0f06bb3855df327d2cd871509367d5816e",
    "reproduce.py": "cd2b4c3ec149d8850855f320d0b543380cb080e20beee792deeffac11938b271",
    "run_cases.py": "9e3923638d7787b58efe27bf3b08cd86fcfe03ac73fc86907ba1555845d9b36a",
    "transfer.py": "df8d4cf13056eb283edfce4d8791d77fe5d0cf6bc8f0ac53b05fe6f41ed1580d"
  },
  "success_interpretation": "The experiment wrapper intentionally requires two failing child gates. Only corrected-effects accepts all seven contract cases; baseline-effects is rejected."
}