diff --git a/.kiro/specs/pre-push-safety-net/implementation-group-8.md b/.kiro/specs/pre-push-safety-net/implementation-group-8.md
index 6e2a7d7..c156f8e 100644
--- a/.kiro/specs/pre-push-safety-net/implementation-group-8.md
+++ b/.kiro/specs/pre-push-safety-net/implementation-group-8.md
@@ -201,3 +201,48 @@ Task 8.3 implementation verification: full suite **1317 passed, 9 skipped in 115
 14 focused eligibility/replay-instrument tests passed in 0.95s. Ruff, format, mypy
 (116 source files) and diff checks pass. These verify the delivered code and recorded
 NO-GO behavior, not the rejected full qualification claim above.
+
+## Task 8.4 brief
+
+Requirements 3.1, 3.4, 5.1–5.5, 6.5, 7.1, 7.3, 7.4, 8.3 and 8.4;
+packaging and full-feature validation boundary. The explicit task definition allows
+NO-GO validation while qualification remains blocked. Rebuild with installed eligibility,
+exercise the real local Git interface and final supported security/fixed/benign inputs,
+run canonical regression/static gates, and map all 35 acceptance criteria. No new
+production behavior; feature flag protocol is not applicable to validation artifacts.
+
+The final image is `4cca6d20c5c9bfdbfa60c4e8fc991e096bc9b2f35096bb92cc92440e99f946d4`.
+The offline UID-1000 smoke imports and recomputes the installed resource as NO-GO,
+starts the CLI without model configuration, and exercises real local pushes in two
+disposable repositories. Prior exits 0 and 7 produce accepted/rejected Git pushes;
+Git's own rejection exit is 1. Exact stdin and remote arguments, source/index/HEAD,
+custom hooksPath, refused overwrite and byte-identical removal restoration all pass.
+The 0.1-second control truthfully reports unavailable coverage. It is not a detector
+positive control and does not install a hook into this project.
+
+The final packaged six-case PMPro/Node replay also timed out in 30.560–30.614s,
+retaining all artifacts and input-byte receipts. No real alert or completed target is
+qualified. The instrument exits 1 with a completed NO-GO decision; the underlying
+advisory CLI exits 0, which means allow rather than complete or clean. The 38-file
+final verification bundle and all-35-criteria reconciliation are linked from
+`validation-group-8.md`.
+
+## Status Report
+- STATUS: READY_FOR_REVIEW
+- TASK: 8.4
+- RED_PHASE_OUTPUT: N/A: validation harness and records, no production behavior change.
+- TESTS_RUN: Full suite 1317 passed, 9 skipped; current code unchanged since that run. Detection/map/local-pair gates exit 0. Ruff, format, mypy, compileall and diff checks pass. Final image builds and packaged hook smoke exits 0. Real security/fixed/benign replay completes with measured NO-GO.
+
+## Review Verdict
+- VERDICT: APPROVED
+- TASK: 8.4
+- MECHANICAL_RESULTS: Actual validation harness and evidence inspected; all 35 original criterion numbers mapped, input reads verified, exact installed eligibility recomputed, prior hook behavior preserved. No new runtime imports or detector changes. Main-context Kiro fallback, not independent review.
+- FINDINGS: Task 8.4 explicitly requires an honest NO-GO artifact when joint gates fail. Task 8.3 remains unchecked and blocked; feature phase stays implementation. No threshold, label, population or ownership workaround used to claim rollout.
+- SUMMARY: Packaged acceptance validation delivered with reproducible NO-GO and concrete owner follow-up.
+
+## Verification Result
+- STATUS: VERIFIED
+- CLAIM_TYPE: TASK
+- CLAIM: Task 8.4 validation and acceptance reconciliation completed with NO-GO.
+- EVIDENCE: `validation-group-8.md`, versioned packaged validation JSON and verified 38-file bundle; all commands and limitations recorded there.
+- GAPS: Feature-level readiness is not verified. Task 8.3 and its owner/evaluation prerequisites remain open.
diff --git a/.kiro/specs/pre-push-safety-net/spec.json b/.kiro/specs/pre-push-safety-net/spec.json
index 687dee2..ae52b3b 100644
--- a/.kiro/specs/pre-push-safety-net/spec.json
+++ b/.kiro/specs/pre-push-safety-net/spec.json
@@ -1,7 +1,7 @@
 {
   "feature_name": "pre-push-safety-net",
   "created_at": "2026-09-12T15:35:00Z",
-  "updated_at": "2026-09-13T16:41:21.889949+00:00",
+  "updated_at": "2026-09-13T17:38:57.553583+00:00",
   "language": "en",
   "phase": "implementation",
   "approvals": {
@@ -19,7 +19,7 @@
     }
   },
   "ready_for_implementation": true,
-  "implementation_approval_note": "Group 8 authorized and in progress; groups 1\u20137 verified. Capability admission and rollout remain NO-GO until the declared evidence passes.",
+  "implementation_approval_note": "Group 8 authorized: 8.1, 8.2 and 8.4 verified; 8.3 implementation/evidence delivered but qualification blocked. Feature rollout remains NO-GO, no capabilities enabled.",
   "depends_on": [
     "contributor-scan"
   ],
@@ -117,9 +117,10 @@
       "7.2",
       "7.3",
       "8.1",
-      "8.2"
+      "8.2",
+      "8.4"
     ],
-    "remaining_tasks": 2,
+    "remaining_tasks": 1,
     "verification_record": "implementation-group-8.md",
     "verification_records": [
       "implementation-group-1.md",
@@ -136,6 +137,12 @@
       "8.3"
     ],
     "feasibility": "NO-GO: all 21 frozen NodeGoat transactions timed out; 0/24 declared target checks completed. Cancellation/reporting remained below 2 seconds. Priming did not qualify graph reuse; named census and engine lifecycle work routed to contributor-scan.",
-    "qualification": "NO-GO: eligibility implementation and evidence delivered; required independent populations and verified VAmPI transitive witness remain missing. Zero capabilities enabled."
+    "qualification": "NO-GO: eligibility implementation and evidence delivered; required independent populations and verified VAmPI transitive witness remain missing. Zero capabilities enabled.",
+    "validation": {
+      "decision": "NO-GO",
+      "feature_complete": false,
+      "record": "validation-group-8.md",
+      "capabilities_enabled": 0
+    }
   }
 }
diff --git a/.kiro/specs/pre-push-safety-net/tasks.md b/.kiro/specs/pre-push-safety-net/tasks.md
index d0d3e82..44b6c35 100644
--- a/.kiro/specs/pre-push-safety-net/tasks.md
+++ b/.kiro/specs/pre-push-safety-net/tasks.md
@@ -235,7 +235,7 @@ independent capability qualification. Groups 7–8 remain pending; rollout remai
   - _Depends: 1.2, 1.3, 5.2, 7.3, 8.2_
   - _Requirements: 3.1, 3.2, 6.1, 6.2, 6.3, 6.4, 6.5, 8.1, 8.2, 8.3, 8.4_
   - _Blocked 2026-09-13:_ Eligibility implementation and reproducible NO-GO artifact delivered; independent reviewed Node/PHP/Python populations and verified VAmPI transitive witness remain missing. Runtime/coverage gates fail. See `implementation-group-8.md` and contributor-scan owner follow-up.
-- [ ] 8.4 Verify the packaged end-to-end outcome and acceptance coverage
+- [x] 8.4 Verify the packaged end-to-end outcome and acceptance coverage
   - Run the required regression checks and a local packaged smoke over supported security/fixed/benign pushes; verify no-model startup, preservation of hook behavior and truthful partial results.
   - Reconcile every acceptance criterion with fresh evidence and record unresolved capability/performance blockers separately from completed plumbing.
   - Done when a reproducible validation artifact states GO only with all mandatory integration and joint quality/latency gates satisfied; otherwise it names the remaining NO-GO conditions without marking the feature complete.
diff --git a/.kiro/specs/pre-push-safety-net/validation-group-8.md b/.kiro/specs/pre-push-safety-net/validation-group-8.md
new file mode 100644
index 0000000..49846ff
--- /dev/null
+++ b/.kiro/specs/pre-push-safety-net/validation-group-8.md
@@ -0,0 +1,125 @@
+# Packaged acceptance validation — group 8
+
+## Validation Report
+- DECISION: NO-GO
+- FEATURE_COMPLETE: false
+- BLOCKED_TASKS: 8.3 — independent reviewed populations and verified VAmPI transitive evidence are missing; useful completion and runtime gates fail.
+- OWNERSHIP: UPSTREAM for engine/census/context prerequisites; LOCAL for evaluation population and capability qualification.
+- UPSTREAM_SPEC: contributor-scan; see `pre-push-runtime-followup.md` there.
+
+This report distinguishes implemented safety contracts from demonstrated useful detection.
+All 35 criteria below are mapped. A contract test does not qualify a language or framework,
+and this report makes no rollout or production-readiness claim. Task 8.4 permits this
+explicit NO-GO outcome; task 8.3 and the feature remain incomplete.
+
+## Acceptance coverage
+
+Paths in the evidence column refer to `tests/` unless otherwise indicated. Current
+full-suite evidence covers the code at the group 8.3 implementation commit. Packaged
+receipts below exercise the built release with its installed NO-GO registry.
+
+| Criterion | Evidence | Assessment |
+|---|---|---|
+| 1.1 | `test_push_snapshot.py`, `test_push_interface.py`, `test_push_regression_integration.py` | Exact immutable comparisons/ref associations verified by controls. |
+| 1.2 | Snapshot/integration tests; packaged disposable-hook smoke | Working source/index/refs and preceding hook preserved. |
+| 1.3 | Snapshot and multi-ref tests | Delete/missing-base/unsupported dispositions remain explicit. |
+| 1.4 | Snapshot/context tests | Comparison rules, force/new-branch/tag/rename identities retained. |
+| 2.1 | Context/scope integration tests; real Node/VAmPI artifacts | Ranker owns selection; useful context incomplete on real workloads. |
+| 2.2 | Scope, runner and failed-census controls | Omitted context is an explicit gap; real dynamic dependencies remain unresolved. |
+| 2.3 | `test_push_regression_integration.py`, partition/backend tests | Physical first-party filtering verified; external semantics remain unresolved. |
+| 2.4 | Removed-guard context/admission tests | Contract verified; real dominance context projection remains unqualified. |
+| 3.1 | `test_push_admission.py`, `test_push_report.py`, `test_push_eligibility.py` | Actionability admission enforced; zero qualified real capabilities. |
+| 3.2 | Admission/eligibility tests; installed NO-GO registry | Unreviewed/unsupported candidates do not become normal alerts. |
+| 3.3 | Admission/report tests | Duplicate witness paths produce one defect summary. |
+| 3.4 | Delta/admission/report tests; real same-snapshot VAmPI | Unchanged or unknown novelty cannot create a new-defect alert. |
+| 3.5 | Model-assistance tests | Model selection cannot create evidence or change admission. |
+| 4.1 | Execution-budget and multi-ref tests; real timeout receipts | Single absolute budget retained; useful completion gate fails. |
+| 4.2 | Cancellation/publication controls and 21-case runtime profile | Partial artifacts retained; measured cancellation/report allowance below 2s. |
+| 4.3 | Cache invalidation/reuse tests and packaged group 6 control | Exact input/context/semantic compatibility required. |
+| 4.4 | Corrupt/partial/cache-failure controls | No partial or stale clean verdict reused. |
+| 5.1 | Report/CLI tests and packaged output | Compact supported-scope status; no repository-security claim. |
+| 5.2 | Timeout artifacts and report tests | Compact operational notice with next action/artifact, no per-file warning flood. |
+| 5.3 | CLI/admission tests; packaged advisory/prior-hook smoke | Advisory permits push, preserves preceding rejection, same evidence bar. |
+| 5.4 | Multi-ref/CLI policy tests | Blocking and incomplete-coverage policies separate; real blocking qualification absent. |
+| 5.5 | Result contracts, artifact tests and real timeout artifacts | Finding/coverage/push disposition remain separate. |
+| 6.1 | Input validator and frozen profiles | BLOCKED: independent Node/PHP/Python reviewed populations missing. |
+| 6.2 | Versioned runtime/qualification scorecards | Counts, intervals, undefined precision, unresolved cases and latency retained; gates fail. |
+| 6.3 | Scorer controls and real VAmPI replay | Missing target/question/transitive proof remains unresolved in denominator. |
+| 6.4 | Frozen provenance receipts, deployed evidence ranking mode | No comparative ranker retune claimed; fixed core preserved across PHP/Node. |
+| 6.5 | Eligibility recomputation and NO-GO decisions | Joint gates enforced; no runtime/quality qualification earned. |
+| 7.1 | Packaged network-disabled no-model runs | No endpoint, engine download, source fetch or project build required by hook. |
+| 7.2 | Explicit/delayed/misleading-model controls | Redaction, model provenance and shared budget verified on controlled path. |
+| 7.3 | Full raw bundles, graph/query cache identity tests | Input, selected/deferred questions, outcomes, exclusions and stage identities retained. |
+| 7.4 | Hook tests; packaged installer/refusal/removal smoke | Explicit integration preserves hooks and configuration. |
+| 8.1 | Equivalent-normalized-evidence ranking/admission controls | Shared core rules; no PHP/Node priority exceptions introduced. |
+| 8.2 | Runtime smoke and missing-census controls; real Node/VAmPI gaps | Missing frontend/context evidence is not interpreted as safe. |
+| 8.3 | Frozen six-case packaged PHP/Node profiles | Transfer attempted unchanged; all 30s cases time out. Useful transfer unproven. |
+| 8.4 | Separate development/regression/envelope profiles | No core/fact/adapter retune; libpng arithmetic/bounds unsupported; no C++ detection claim. |
+
+## Integration and boundary assessment
+
+The implemented route remains Snapshot Adapter → ranker-owned scope → existing scan
+engine/cache → delta/actionability admission → report/hook. Persistent eligibility
+is a trusted installed input to the actionability boundary. It recomputes the existing
+evaluation scorer and checks exact semantics; repository configuration and optional
+models cannot supply eligibility. Immutable graph leases and answer compatibility are
+kept separate from change attribution. No incremental graph mutation, second engine,
+new IR, rank boost or downstream detector workaround was introduced in group 8.
+
+Concrete remaining gaps are engine lifecycle/census completeness and context/witness
+projection, not evidence that a new ranker would solve the measured failure. Shared
+scan changes belong to contributor-scan and must trigger downstream replay revalidation.
+The file structure extends the approved evaluation/admission boundary with
+`push/eligibility.py` and its installed JSON resource. Ordinary scan behavior remains
+covered by the full suite and canonical detector/map/pair gates.
+
+## Required next work
+
+1. In contributor-scan, reconcile named readable first-party files with the Node graph
+   census, then measure/amortize frontend, overlay, census and query process startup.
+   Preserve vendor exclusion and complete/corrupt cache distinctions.
+2. Resolve supported first-party context and retain actual query-origin/path witnesses.
+   Reproduce the three VAmPI targets with exact question accounting; a raw SQLI finding
+   does not establish transitive reachability or push attribution.
+3. Freeze independently reviewed Node API vulnerable/fixed/benign cases with the required
+   middleware/module/async shapes; obtain separate PHP/Python qualification populations.
+   Do not tune on reserved Ghost before its population is fixed.
+4. Refreeze the candidate after owner fixes and rerun all seven runtime workload classes,
+   cross-language regressions and independent actionable-alert review. Require the
+   unchanged 30s warm p95, 2s cancellation allowance, 95% completion/observed precision,
+   90% supported recall and zero known fixed/benign false alerts together.
+5. Regenerate eligibility only for exact passing language/framework/family semantics,
+   then rerun packaged validation. Keep normal capabilities disabled until then.
+
+## Fresh verification evidence
+
+- Full suite: `pytest -q`, **1317 passed, 9 skipped**, 115.80s, exit 0. No production
+  source changed after this run; subsequent edits are validation tooling and records.
+- Ruff check and formatting pass (262 files); mypy passes (116 source files);
+  compileall exits 0. No new placeholder markers or concrete secrets in reviewed code.
+- Detection regression gate: 44/47 recall, 0/44 false positives, PASS. Map gate: PASS.
+  Local pair gate: 3/3 pair-correct, 28/28 labeled recall, no fixed-side leaks, PASS.
+  These corpus controls do not qualify real pre-push language/framework capabilities.
+- Docker build exits 0, image
+  `4cca6d20c5c9bfdbfa60c4e8fc991e096bc9b2f35096bb92cc92440e99f946d4`.
+- Packaged offline smoke exits 0 as UID 1000. Installed registry recomputes as NO-GO,
+  zero enabled capabilities. Both real disposable hook acceptance/rejection and removal
+  controls pass; exact stdin/remote args and prior state are verified.
+- Final packaged six-case PHP/Node replay completes its instrument with exit 1 and
+  an explicit NO-GO decision. All underlying advisory CLI invocations exit 0 and save
+  partial artifacts; all six time out in 30.560–30.614s. Every snapshot has positive
+  byte receipts. No target check or real actionable alert is qualified. Preparation
+  timeout provenance remains unavailable where it was not measured.
+- Versioned record: `benchmarks/measurements/2026-09-13-push-packaged-validation.json`.
+  Its 38-file raw bundle is 827,483 bytes, SHA-256
+  `ad1bc15791636868a65a5cbb93b84d1a08dc6c94be0eb2f8f03890936720cc79`.
+  Decompression matches every retained original. Full logs, smoke artifacts, profile,
+  replay pins, scorecard and six complete partial-result artifacts are included.
+
+## Verification Result
+- STATUS: NOT_VERIFIED
+- CLAIM_TYPE: FEATURE_GO
+- CLAIM: Pre-push safety net ready for rollout.
+- EVIDENCE: Passing integration controls coexist with measured runtime/completion failures and missing quality prerequisites.
+- GAPS: Task 8.3 qualification; real independent positive/fixed/benign evidence; verified VAmPI transitive witness; useful changed-code latency and coverage.
+- NOTES: Keep the feature in implementation and capabilities disabled. Follow owner remediation above, then rerun qualification and packaged validation.
diff --git a/.kiro/steering/safety-net.md b/.kiro/steering/safety-net.md
index 636c6f2..2a3fde3 100644
--- a/.kiro/steering/safety-net.md
+++ b/.kiro/steering/safety-net.md
@@ -91,11 +91,23 @@ the deadline in preparation/discovery before graph analysis, so compatible prepa
 reuse matters alongside graph persistence. Group 6 now provides compatible local reuse; warm changed-code performance
 and useful coverage remain mandatory later gates. No ranking/fact adaptation or holdout
 inspection occurred in the final transfer run. Real capability eligibility and automatic
-dominance context projection remain unproven; the default capability registry is empty.
+dominance context projection remain unproven; the installed capability registry is NO-GO with no enabled capabilities.
 
 Group 6 verified equal cached/uncached evidence and current admission in a packaged authored
 JavaScript control. Source/declaration edits invalidate affected units. Identical-revision
 latency does not qualify representative changed-code performance. Requirements and rollout
-thresholds remain unchanged; group 8 and independent capability admission remain pending. Group 7 adds exact multi-ref
+thresholds remain unchanged; independent capability admission remains blocked in group 8. Group 7 adds exact multi-ref
 transactions, explicit non-overwriting hook integration and bounded optional witness
 selection. No model output can create evidence, raise a rung or bypass admission.
+
+
+Group 8 validation (2026-09-13) is **NO-GO**. Tasks 8.1, 8.2 and 8.4 are verified;
+26/27 tasks are complete. Task 8.3 remains blocked despite delivered eligibility
+implementation and a reproducible installed NO-GO resource. All 21 representative
+Node runtime transactions timed out (0/24 declared target checks complete); final
+packaged PHP/Node security/fixed/benign replays likewise time out. VAmPI preserves
+raw known findings and valid identical-comparison reuse, but exact target question
+context/transitive evidence remains unresolved. Independent reviewed Node/PHP/Python
+populations are missing; libpng arithmetic/bounds remains unsupported. No real capability
+is enabled. Engine/census/context prerequisites route to contributor-scan before another
+frozen qualification attempt. See `pre-push-safety-net/validation-group-8.md`.
diff --git a/benchmarks/measurements/2026-09-13-push-packaged-validation.json b/benchmarks/measurements/2026-09-13-push-packaged-validation.json
new file mode 100644
index 0000000..c684045
--- /dev/null
+++ b/benchmarks/measurements/2026-09-13-push-packaged-validation.json
@@ -0,0 +1,2854 @@
+{
+  "schema_version": 1,
+  "decision": "NO-GO",
+  "feature_complete": false,
+  "completed_tasks": 26,
+  "total_tasks": 27,
+  "blocked_tasks": [
+    "8.3"
+  ],
+  "image": "sha256:4cca6d20c5c9bfdbfa60c4e8fc991e096bc9b2f35096bb92cc92440e99f946d4",
+  "bundle": {
+    "path": "2026-09-13-push-packaged-validation.json.gz",
+    "sha256": "ad1bc15791636868a65a5cbb93b84d1a08dc6c94be0eb2f8f03890936720cc79",
+    "bytes": 827483,
+    "files": 38
+  },
+  "tests": {
+    "passed": 1317,
+    "skipped": 9,
+    "seconds": 115.8,
+    "exit_code": 0
+  },
+  "static": {
+    "ruff": "PASS",
+    "format": "PASS",
+    "mypy": "PASS:116 source files",
+    "compileall": "PASS"
+  },
+  "regression_gates": {
+    "gate": "detection gate: recall 93.62% (44/47), FP 0.00% (0/44)\n  c_cpp       recall 93.33% (14/15)  FP  0.00% (0/14)\n  java        recall 100.00% (4/4)  FP  0.00% (0/4)\n  javascript  recall 92.31% (12/13)  FP  0.00% (0/12)\n  python      recall 93.33% (14/15)  FP  0.00% (0/14)\ndetection gate: PASS\n",
+    "map": "split-sink map gate: PASS\n",
+    "pairs": "pair gate: pair_pass 100.00% (3/3), vuln_recall 100.00%, silent_fix 100.00%, Youden +100.00%, labeled_recall 100.00% (28/28), fix_leaks 0\n  local    pair_pass 100.00% (3/3)  vuln 100.00%  silent 100.00%  Youden +100.00%  labeled 100.00%\n    PASS local-python-vulnerable          vuln 12/12 fix_findings=0 leaks=0\n    PASS local-javascript-vulnerable      vuln 10/10 fix_findings=0 leaks=0\n    PASS local-cpp-buffer                 vuln 6/6 fix_findings=0 leaks=0\npair gate: PASS (local slice)\n"
+  },
+  "packaged_smoke": {
+    "uid": 1000,
+    "provenance": {
+      "repository": "/results/packaged-smoke-v1",
+      "engine_runtime": "2b415139532d8d3a0c6e46ecdac26cd3d792efc2bae441f0b7e39bb28ec5d16e",
+      "engine": "joern-4.0.625",
+      "facts": "32edb6e1a78f1afb08ac4248cd436be16663e0d90dc1b3aaf948f2ce49a5a8f0",
+      "graph_layout": "060428173f47cf33bdf5e532d4069feb598ba0e8c7ea30a60888c8e4cfb37a42",
+      "queries": "7bf090e053331f03d04c9290c8a593d00efd4d390f4b77b8382c2befc47996cc",
+      "policy": "6fc8e3cf0d3a4f45dd882e37a753e34bc0cd187295cfbd3cbb6fc36ecf9cea20",
+      "core": "36ac9a045b8b8ad943eea1f511924caae54750a9d5d45da776ebefc460f08eab",
+      "semantics": "f652da2ca5891b6e86a242318357a36f4e3b95529fea596f7d064ef35b2d6cd2",
+      "ranking_mode": "evidence",
+      "model": "disabled",
+      "capabilities": "9f0d85961ed49526a3131e71ec3f7e01aeca752da74ba7d74650168853781c9c",
+      "cache": "cold_no_reuse"
+    },
+    "registry_status": "NO-GO",
+    "enabled": 0,
+    "no_model_configuration": true,
+    "network": "disabled by docker invocation",
+    "cases": [
+      {
+        "prior_exit": 0,
+        "push_exit": 0,
+        "removal_push_exit": 0,
+        "exact_stdin": true,
+        "exact_remote_args": true,
+        "live_state_preserved": true,
+        "overwrite_refused": true,
+        "coverage": "unavailable",
+        "source_bytes": 56,
+        "terminal": "No analysis result is available.\nNotice: Some checks could not be completed. Review the comparison details and resolve the recorded gaps before retrying.\nDetails: /results/packaged-smoke-v1/0/push-35.json\nTo /tmp/tmpekxcsdy8/0/remote.git\n * [new branch]      HEAD -> smoke\n"
+      },
+      {
+        "prior_exit": 7,
+        "push_exit": 1,
+        "removal_push_exit": 1,
+        "exact_stdin": true,
+        "exact_remote_args": true,
+        "live_state_preserved": true,
+        "overwrite_refused": true,
+        "coverage": "unavailable",
+        "source_bytes": 56,
+        "terminal": "No analysis result is available.\nNotice: Some checks could not be completed. Review the comparison details and resolve the recorded gaps before retrying.\nDetails: /results/packaged-smoke-v1/7/push-100.json\nerror: failed to push some refs to '/tmp/tmpekxcsdy8/7/remote.git'\n"
+      }
+    ]
+  },
+  "packaged_development": {
+    "cases": [
+      {
+        "case_id": "pmpro-introduce",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "2f65530f9442b4d7ccfb56821836b056217358c1",
+          "--head",
+          "1a900be3f09f243876150fc3c04a97bcb24ef84b",
+          "--artifact",
+          "/results/packaged-development-v1/pmpro-introduce.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.613685652031563,
+        "artifact": "pmpro-introduce.json",
+        "terminal": "No analysis result is available.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/pmpro-introduce.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "2f65530f9442b4d7ccfb56821836b056217358c1",
+          "head": "1a900be3f09f243876150fc3c04a97bcb24ef84b"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "preparation_failed:TimeoutError",
+          "deadline_exhausted",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.020541768986731768,
+          "provenance_seconds": 0.33655514603015035,
+          "snapshot_seconds": 10.79621792898979,
+          "snapshot_reuses": 0,
+          "preparation_seconds": 29.707346447976306,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.089548781048506
+        },
+        "snapshot_bytes_read": 58067472,
+        "classification": "scope/deadline"
+      },
+      {
+        "case_id": "pmpro-repair",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "1a900be3f09f243876150fc3c04a97bcb24ef84b",
+          "--head",
+          "2f65530f9442b4d7ccfb56821836b056217358c1",
+          "--artifact",
+          "/results/packaged-development-v1/pmpro-repair.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.610599683015607,
+        "artifact": "pmpro-repair.json",
+        "terminal": "No analysis result is available.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/pmpro-repair.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "1a900be3f09f243876150fc3c04a97bcb24ef84b",
+          "head": "2f65530f9442b4d7ccfb56821836b056217358c1"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "preparation_failed:TimeoutError",
+          "deadline_exhausted",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.0180984060280025,
+          "provenance_seconds": 0.3126423869980499,
+          "snapshot_seconds": 10.949620736995712,
+          "snapshot_reuses": 0,
+          "preparation_seconds": 29.728792006964795,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.08369192807004
+        },
+        "snapshot_bytes_read": 58067472,
+        "classification": "scope/deadline"
+      },
+      {
+        "case_id": "pmpro-benign",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "1a900be3f09f243876150fc3c04a97bcb24ef84b",
+          "--head",
+          "f6b615ed11733e8975bdff087d2028b5a5bac9f7",
+          "--artifact",
+          "/results/packaged-development-v1/pmpro-benign.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.605955192935653,
+        "artifact": "pmpro-benign.json",
+        "terminal": "No analysis result is available.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/pmpro-benign.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "1a900be3f09f243876150fc3c04a97bcb24ef84b",
+          "head": "f6b615ed11733e8975bdff087d2028b5a5bac9f7"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "preparation_failed:TimeoutError",
+          "deadline_exhausted",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.01801088300999254,
+          "provenance_seconds": 0.28820400207769126,
+          "snapshot_seconds": 10.968209401937202,
+          "snapshot_reuses": 0,
+          "preparation_seconds": 29.75688070396427,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.086679662112147
+        },
+        "snapshot_bytes_read": 57924614,
+        "classification": "scope/deadline"
+      },
+      {
+        "case_id": "nodegoat-introduce",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "0b453d5abc38f1a970d4771ebe6c5413f8c3b0a4",
+          "--head",
+          "c5cb68a7084e4ae7dcc60e6a98768720a81841e8",
+          "--artifact",
+          "/results/packaged-development-v1/nodegoat-introduce.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.5596858819481,
+        "artifact": "nodegoat-introduce.json",
+        "terminal": "No actionable defects reported; analysis is incomplete.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/nodegoat-introduce.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "0b453d5abc38f1a970d4771ebe6c5413f8c3b0a4",
+          "head": "c5cb68a7084e4ae7dcc60e6a98768720a81841e8"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "6170702f726f757465732f636f6e747269627574696f6e732e6a73:ambiguous_line_correspondence",
+          "deadline_exhausted",
+          "admission_failed:TimeoutError",
+          "change_context_deadline_exhausted",
+          "vendor_semantics_unresolved",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.017446304904296994,
+          "provenance_seconds": 0.294934549019672,
+          "snapshot_seconds": 0.971066907979548,
+          "snapshot_reuses": 0,
+          "discovery_seconds": 6.505175505997613,
+          "discovery_hits": 0,
+          "preparation_seconds": 7.494731848011725,
+          "head_seconds": 22.211525446968153,
+          "base_seconds": 0.0002726869424805045,
+          "admission_seconds": 0.008503226097673178,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.051041716942564
+        },
+        "snapshot_bytes_read": 5952014,
+        "classification": "scope/deadline"
+      },
+      {
+        "case_id": "nodegoat-repair",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "c5cb68a7084e4ae7dcc60e6a98768720a81841e8",
+          "--head",
+          "0b453d5abc38f1a970d4771ebe6c5413f8c3b0a4",
+          "--artifact",
+          "/results/packaged-development-v1/nodegoat-repair.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.578264947980642,
+        "artifact": "nodegoat-repair.json",
+        "terminal": "No actionable defects reported; analysis is incomplete.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/nodegoat-repair.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "c5cb68a7084e4ae7dcc60e6a98768720a81841e8",
+          "head": "0b453d5abc38f1a970d4771ebe6c5413f8c3b0a4"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "6170702f726f757465732f636f6e747269627574696f6e732e6a73:ambiguous_line_correspondence",
+          "deadline_exhausted",
+          "admission_failed:TimeoutError",
+          "change_context_deadline_exhausted",
+          "vendor_semantics_unresolved",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.01901457493659109,
+          "provenance_seconds": 0.31542394298594445,
+          "snapshot_seconds": 0.9616198539733887,
+          "snapshot_reuses": 0,
+          "discovery_seconds": 6.735531204030849,
+          "discovery_hits": 0,
+          "preparation_seconds": 7.715085253003053,
+          "head_seconds": 21.98233542102389,
+          "base_seconds": 0.0002888549352064729,
+          "admission_seconds": 0.009291279944591224,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.06576879392378
+        },
+        "snapshot_bytes_read": 5952014,
+        "classification": "scope/deadline"
+      },
+      {
+        "case_id": "nodegoat-benign",
+        "command": [
+          "ousast",
+          "pre-push",
+          "/tmp/ousast-experiment-zv53stzo/objects.git",
+          "--base",
+          "c5cb68a7084e4ae7dcc60e6a98768720a81841e8",
+          "--head",
+          "f772c59e5964c77812a6a89737eb54ed5371d30c",
+          "--artifact",
+          "/results/packaged-development-v1/nodegoat-benign.json",
+          "--deadline",
+          "30",
+          "--cancellation-allowance",
+          "2",
+          "--max-regions",
+          "500"
+        ],
+        "process_exit_code": 0,
+        "elapsed_seconds": 30.567917122039944,
+        "artifact": "nodegoat-benign.json",
+        "terminal": "No actionable defects reported; analysis is incomplete.\nNotice: Analysis did not finish. Rerun with a longer analysis deadline.\nDetails: /results/packaged-development-v1/nodegoat-benign.json\n",
+        "core_unchanged": true,
+        "input_pins": {
+          "base": "c5cb68a7084e4ae7dcc60e6a98768720a81841e8",
+          "head": "f772c59e5964c77812a6a89737eb54ed5371d30c"
+        },
+        "runtime_provenance_available": true,
+        "coverage_reasons": [
+          "6170702f726f757465732f636f6e747269627574696f6e732e6a73:ambiguous_line_correspondence",
+          "deadline_exhausted",
+          "admission_failed:TimeoutError",
+          "change_context_deadline_exhausted",
+          "vendor_semantics_unresolved",
+          "analysis_incomplete",
+          "base_comparison_unavailable"
+        ],
+        "stage_timings": {
+          "deadline_seconds": 30.0,
+          "cancellation_allowance_seconds": 2.0,
+          "resolution_seconds": 0.018368577933870256,
+          "provenance_seconds": 0.2962941030273214,
+          "snapshot_seconds": 0.9344656770117581,
+          "snapshot_reuses": 0,
+          "discovery_seconds": 6.629892322001979,
+          "discovery_hits": 0,
+          "preparation_seconds": 7.582027691067196,
+          "head_seconds": 22.124145128997043,
+          "base_seconds": 0.00028023193590343,
+          "admission_seconds": 0.00864541798364371,
+          "graph_hits": 0,
+          "query_hits": 0,
+          "total_seconds": 30.05407784297131
+        },
+        "snapshot_bytes_read": 5952021,
+        "classification": "scope/deadline"
+      }
+    ],
+    "core_changes": [],
+    "adapter_changes": [],
+    "freeze_after_pmpro": {
+      "ranking_mode": "evidence",
+      "engine": "joern-4.0.625",
+      "engine_runtime": "2b415139532d8d3a0c6e46ecdac26cd3d792efc2bae441f0b7e39bb28ec5d16e",
+      "facts": "32edb6e1a78f1afb08ac4248cd436be16663e0d90dc1b3aaf948f2ce49a5a8f0",
+      "queries": "7bf090e053331f03d04c9290c8a593d00efd4d390f4b77b8382c2befc47996cc",
+      "policy": "6fc8e3cf0d3a4f45dd882e37a753e34bc0cd187295cfbd3cbb6fc36ecf9cea20",
+      "core": "36ac9a045b8b8ad943eea1f511924caae54750a9d5d45da776ebefc460f08eab",
+      "semantics": "f652da2ca5891b6e86a242318357a36f4e3b95529fea596f7d064ef35b2d6cd2"
+    }
+  },
+  "scorecard": {
+    "schema_version": 1,
+    "profile_sha256": "5afd697cdd378917d08d84f51f3657e71013ec90ffb17804ab661e9df951bea2",
+    "profile": {
+      "schema_version": 1,
+      "manifest_sha256": "eec13cb19fe5e2c2402e61ebf4fd17fa809482f321e7a8e615215a12e1bcf845",
+      "cases": [
+        {
+          "id": "pmpro-introduce",
+          "base": "pmpro-fixed",
+          "tip": "pmpro-vulnerable",
+          "label": "vulnerable",
+          "role": "development",
+          "capability": "php/wordpress/injection",
+          "provenance": "Authored replay direction reintroducing the reviewed operation; not a claim about the historical introducing commit.",
+          "prerequisites": []
+        },
+        {
+          "id": "pmpro-repair",
+          "base": "pmpro-vulnerable",
+          "tip": "pmpro-fixed",
+          "label": "fixed",
+          "role": "development",
+          "capability": "php/wordpress/injection",
+          "provenance": "PMPro upstream2.9.7 to2.9.8 parameter binding fix for CVE-2023-23488.",
+          "prerequisites": []
+        },
+        {
+          "id": "pmpro-benign",
+          "base": "pmpro-vulnerable",
+          "tip": "pmpro-benign",
+          "label": "benign",
+          "role": "development",
+          "capability": "php/wordpress/injection",
+          "provenance": "Authored comment-only change: no new defect; vulnerable backlog remains. This label does not mean repository-clean.",
+          "prerequisites": []
+        },
+        {
+          "id": "nodegoat-introduce",
+          "base": "nodegoat-fixed",
+          "tip": "nodegoat-vulnerable",
+          "label": "vulnerable",
+          "role": "transfer",
+          "capability": "javascript/express/injection",
+          "provenance": "Authored replay direction reintroducing the reviewed operation; not a claim about the historical introducing commit.",
+          "prerequisites": []
+        },
+        {
+          "id": "nodegoat-repair",
+          "base": "nodegoat-vulnerable",
+          "tip": "nodegoat-fixed",
+          "label": "fixed",
+          "role": "transfer",
+          "capability": "javascript/express/injection",
+          "provenance": "Authored replacement of three eval calls with Number conversion; source tutorial also documents alternate numeric parsing.",
+          "prerequisites": []
+        },
+        {
+          "id": "nodegoat-benign",
+          "base": "nodegoat-vulnerable",
+          "tip": "nodegoat-benign",
+          "label": "benign",
+          "role": "transfer",
+          "capability": "javascript/express/injection",
+          "provenance": "Authored comment-only change: no new defect; vulnerable backlog remains. This label does not mean repository-clean.",
+          "prerequisites": []
+        },
+        {
+          "id": "VAmPI-SQLI",
+          "base": "vampi-regression",
+          "tip": "vampi-regression",
+          "label": "regression",
+          "role": "regression",
+          "capability": "python/flask/injection",
+          "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+          "prerequisites": [
+            "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+          ]
+        },
+        {
+          "id": "VAmPI-BOLA",
+          "base": "vampi-regression",
+          "tip": "vampi-regression",
+          "label": "regression",
+          "role": "regression",
+          "capability": "python/flask/access_control",
+          "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+          "prerequisites": [
+            "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+          ]
+        },
+        {
+          "id": "VAmPI-BOLA-BOOKS",
+          "base": "vampi-regression",
+          "tip": "vampi-regression",
+          "label": "regression",
+          "role": "regression",
+          "capability": "python/flask/access_control",
+          "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+          "prerequisites": [
+            "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+          ]
+        },
+        {
+          "id": "libpng-CVE-2025-66293",
+          "base": "libpng-envelope",
+          "tip": "libpng-envelope",
+          "label": "unsupported",
+          "role": "envelope",
+          "capability": "c/libpng/memory_safety",
+          "provenance": "Arithmetic/bounds is outside the current abstract domain; measures graph/cost envelope only.",
+          "prerequisites": []
+        },
+        {
+          "id": "ghost-reserved-population",
+          "base": "ghost-reserved",
+          "tip": "ghost-reserved",
+          "label": "unreviewed",
+          "role": "reserved_holdout",
+          "capability": "javascript/express/unreviewed",
+          "provenance": "Reserved from production API/module/async shape and public security-fix history before scanner results. Manifest6.64.0-rc.0, Express4.22.2. Not an ESM or Express5 coverage claim.",
+          "prerequisites": [
+            "Review and freeze supported positive/fixed/benign changes from independent history; select family before scanning.",
+            "Freeze core and existing facts after development; preserve reservation and record any contamination."
+          ]
+        }
+      ],
+      "config": {
+        "ranking_mode": "evidence",
+        "engine": "joern-4.0.625",
+        "engine_runtime": "2b415139532d8d3a0c6e46ecdac26cd3d792efc2bae441f0b7e39bb28ec5d16e",
+        "facts": "32edb6e1a78f1afb08ac4248cd436be16663e0d90dc1b3aaf948f2ce49a5a8f0",
+        "queries": "7bf090e053331f03d04c9290c8a593d00efd4d390f4b77b8382c2befc47996cc",
+        "policy": "6fc8e3cf0d3a4f45dd882e37a753e34bc0cd187295cfbd3cbb6fc36ecf9cea20",
+        "core": "36ac9a045b8b8ad943eea1f511924caae54750a9d5d45da776ebefc460f08eab",
+        "semantics": "f652da2ca5891b6e86a242318357a36f4e3b95529fea596f7d064ef35b2d6cd2",
+        "version": "qualification-replay-v1-development",
+        "scope": "full tracked tree; declared first-party graph/target exclusions; evidence ranker",
+        "hardware": "Linux-6.8.0-138-generic-x86_64-with-glibc2.39",
+        "budget_seconds": 30,
+        "targets": {
+          "pmpro-introduce": {
+            "path": "classes/class.memberorder.php",
+            "function": "getMemberOrderByCode",
+            "family": "injection",
+            "lines": [
+              936
+            ]
+          },
+          "pmpro-repair": {
+            "path": "classes/class.memberorder.php",
+            "function": "getMemberOrderByCode",
+            "family": "injection",
+            "lines": [
+              937
+            ]
+          },
+          "pmpro-benign": {
+            "path": "classes/class.memberorder.php",
+            "function": "getMemberOrderByCode",
+            "family": "injection",
+            "lines": [
+              937
+            ]
+          },
+          "nodegoat-introduce": {
+            "path": "app/routes/contributions.js",
+            "function": "handleContributionsUpdate",
+            "family": "injection",
+            "lines": [
+              32,
+              33,
+              34
+            ]
+          },
+          "nodegoat-repair": {
+            "path": "app/routes/contributions.js",
+            "function": "handleContributionsUpdate",
+            "family": "injection",
+            "lines": [
+              32,
+              33,
+              34
+            ]
+          },
+          "nodegoat-benign": {
+            "path": "app/routes/contributions.js",
+            "function": "handleContributionsUpdate",
+            "family": "injection",
+            "lines": [
+              32,
+              33,
+              34
+            ]
+          },
+          "VAmPI-SQLI": {
+            "path": "models/user_model.py",
+            "function": "get_user",
+            "family": "injection",
+            "lines": [
+              73
+            ]
+          },
+          "VAmPI-BOLA": {
+            "path": "api_views/users.py",
+            "function": "update_password",
+            "family": "access_control",
+            "lines": [
+              187
+            ]
+          },
+          "VAmPI-BOLA-BOOKS": {
+            "path": "api_views/books.py",
+            "function": "get_by_title",
+            "family": "access_control",
+            "lines": [
+              51
+            ]
+          }
+        }
+      },
+      "gates": {
+        "precision": 0.95,
+        "recall": 0.9,
+        "completion": 0.95,
+        "warm_p95_seconds": 30.0,
+        "fixed_false_alerts": 0,
+        "benign_false_alerts": 0
+      },
+      "profile_sha256": "5afd697cdd378917d08d84f51f3657e71013ec90ffb17804ab661e9df951bea2"
+    },
+    "population": 11,
+    "recorded_cases": 6,
+    "measurement_status": "recorded",
+    "cases": [
+      {
+        "id": "pmpro-introduce",
+        "base": "pmpro-fixed",
+        "tip": "pmpro-vulnerable",
+        "label": "vulnerable",
+        "role": "development",
+        "capability": "php/wordpress/injection",
+        "provenance": "Authored replay direction reintroducing the reviewed operation; not a claim about the historical introducing commit.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "pmpro-introduce",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.613685652031563,
+            "build": 0,
+            "query": 0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "pmpro-repair",
+        "base": "pmpro-vulnerable",
+        "tip": "pmpro-fixed",
+        "label": "fixed",
+        "role": "development",
+        "capability": "php/wordpress/injection",
+        "provenance": "PMPro upstream2.9.7 to2.9.8 parameter binding fix for CVE-2023-23488.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "pmpro-repair",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.610599683015607,
+            "build": 0,
+            "query": 0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "pmpro-benign",
+        "base": "pmpro-vulnerable",
+        "tip": "pmpro-benign",
+        "label": "benign",
+        "role": "development",
+        "capability": "php/wordpress/injection",
+        "provenance": "Authored comment-only change: no new defect; vulnerable backlog remains. This label does not mean repository-clean.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "pmpro-benign",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.605955192935653,
+            "build": 0,
+            "query": 0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "nodegoat-introduce",
+        "base": "nodegoat-fixed",
+        "tip": "nodegoat-vulnerable",
+        "label": "vulnerable",
+        "role": "transfer",
+        "capability": "javascript/express/injection",
+        "provenance": "Authored replay direction reintroducing the reviewed operation; not a claim about the historical introducing commit.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "nodegoat-introduce",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [
+            "590ded4d9ba52b59e2934f3d461e45dfa5bd351f13c4fc17238297438fbf492f",
+            "33ab14574877d6a529a58df1926e358759fb4ee1ffbc68146aebf77a895c8eb9",
+            "489bf9f5f3a1e3771698cf111c0e7fa3e84f81848869c88a44cf3d19979d168c",
+            "ca3b943eb07fc11f6cc16228ae4e7813cfccac5dfe7ea9147deb0ce84677e486",
+            "a83d9fd2d4f399a40984cdc63e30003a73c98a6986f76fd5e22ed0ed7873c8b3",
+            "593c9114695f69035b4df9d566534e35fcfaa2d78a3e4362c2ff634580d6bee9",
+            "87ba1a35a429f850990db0eceda9996daf572b97b32b38e0f7ff4b80dec9a6b2",
+            "e9cf95baf8cef9a83d9da86e0bce276421ed404867ad948acc338fa759a3450a",
+            "431521d90fc22b7683173732598c39b94a25447f7403dcd4d9e17ca23e243a61",
+            "d331868f74b26a35872e8eeed4f66f3e34a29f8e9745fc14c1609cc3408aebeb",
+            "61b6ec72d6c0dddae427635aca3c97681a112cc4c5f8e4367d9f5864c6eb72b3",
+            "e831bbc3ab250e71270b1f5175756f39c2da662bffd68b2ed78b5389a4f23d0c",
+            "082910c464337b0041733c3c2733ad7947d71549180f9a0b8ad4172901469d02",
+            "14541cd08e0b036e4ab5caa442c01459fb03a6e3ef0388bcd0347b121effc6fc",
+            "da4abcaa22e13947dca90ac9156293bda9297423304d60d587569389742ce17a",
+            "29000feef9d494e003efdcbb6eab5410bc93ad2f4674df9db389ed98a9cfb242",
+            "4679cce5fa8da06bd1f9542b5a58321d2b090556cce83080b6e9ace36d352a59",
+            "df4a0610953efc25e4ddc4bc942688434be889411d073fab09015aba97ce2511",
+            "9b7910f9f96aa714b760481e46e543ea413d6e4763b858a3d0c186a560ad618c",
+            "298f3d69ca3e2b343c9cc5288680120b89e035bfae803dc6f6952358b6d0f1d3",
+            "7fbdc1e100a0b9078b6a2d6264bfaa596c64501b8c5ced1557b56a3d98e2b351",
+            "e4fe7eb3e5d57766a2c6adc79d46b9f57ac13ba11df7846cc4f7d62123a51bd4",
+            "0cc9059de118ef8da2ab45a3453bb2f64a679dfa33233f3b1b722b3858df789b",
+            "d561ce2e09d49013cacec011cf5dfa8c5f35c25c41085e856b3d5f28579ba6f4",
+            "7eb45f19bf15a2826d7aac45f36137de8824abfa9c0d5412da3c69c5d6da7a0d",
+            "ef130caaa2b3321cd12e2c8c39a27f9a868d2405e572fcafa5cab93900d9f97a",
+            "115b829e9b03431b06c12212efdcc2da02b5e22953e8a02243a8cd5a59cea0f4",
+            "db0e20f3ffa3b74105bddd565ba608daaea4cf9baba6b43a2539958e1a8be668",
+            "d2034c51a6d44b7b5cb553f2ad130441532b6be68cac0e829b74c4240aa642c4",
+            "1d7abc4a4a8c6023e1c5231f46167efdb6c476e4533ea4670a17ecc6c8d09c92",
+            "ba984e9deee4ab97a4211ce15915bc36e0e42907e21f40525be95c698c439653",
+            "ecc80bd3363347eac23b60a8ec50efe1a5defd3609aff7149022fac1e74524d4",
+            "7cead756038bdaf46936671d2311c93b391692337189bd9f3acb5711dcd1b594",
+            "d7044d436bcc3e7e313fb2baff364c8aecf980b28741afd4d020f858a47a3909",
+            "f0fb49041bdc02002b8aaf574a29a738aeb235ca0bc5cbbe9998dd9841e93a0d",
+            "f12e400682d1a222abca9d05f942a24394d7795eacc7ec322c585a0a6ffe69ec",
+            "5e24ba3194915f95a2452882fe928f834ed4740f8fa2087c7573b7c2f128a2ad",
+            "4d7554903c7ff3f7005fe4ed77f7e82af8cba218d3ac0b431acf14d18ffeb639",
+            "896720a23ec5b7da3163d53b517817cb01337cdad64d2104dbfdd3b3526f9c5f",
+            "e13de3ef10e25c529870483b67e47206b9cd32251e118f20f628eba95236d9c9",
+            "ac5ad3cda567527eb97dca35bb56d076292b88e20baa36d337967eb1f4f63dff",
+            "7c0bba65b77fc890e479add54e7fb0e9a7d145a4304d81f614536a8470d0a471",
+            "4ed8fe95db377770a47a2b3ad04a3a720ec21bdbd5222272ec5555130a627fbb",
+            "ece73e32fe91c87a001f1e41342e09378041ee876c8a8846a51347b8b607cc2f",
+            "8146eab0359ca0b822353b632ced69bf09fd449704cdf7c6f84440d7ca784cef",
+            "ec7c01083f1fcb35c35244172a005b3eabebff9c0fd1dcfb4372268f82fb3894",
+            "ca89f1fd26f88f845f394fce84527e83c6a4cc8252f30d6787e7c5ac13e119a9",
+            "c3b4d527dc5c4ed121a487d5e4e3aa868df773ef3b04200802f9a306bf67c730",
+            "9e5735029a42e23af56c2cc802655bf46c55bfebf19f19810ac16cfa15fc688c",
+            "a562474ca19fd4d4ec052396b656b092e82be7b1c002746f631cd9fb68b39ff3",
+            "22e26415a3768b1b12cfb9469b912d359d0804761ee7f1d02d281600373dc8a4",
+            "03548d772fd2a4030a9f595257333eb9b323f1057a2a0399ed15efea113e719d",
+            "0f5f635e19864fbd276fd3eb0b6460f86274e6bc52533594879fcc42c02e4df5",
+            "f95e55b8ae987f7c4b11837ddaa8dac8bed46541f6d8c12633b46fe915b41824",
+            "e77b04a213011bc3e9812f81c2d1266be1234ff91a72d347b71017e8ea09f4e4",
+            "f7ab6f0b570873d6b99c3fc33ab556f093d7f5e4991eac884d3e766a2c29b326",
+            "722bfc188cadc50c1485cf4ede13f2b62e93b08b16f42f2586c104b8bd3745e7",
+            "144c1db7c40aa0a420e02130a756c7793fc8fa5d33549a08c236ddb96bad2df3",
+            "6bb3ba6475ce8d11ff20924b69721387bb0d4bbce1b852e640403dbd750f0a8f",
+            "a08e3f98d65d0452a631a11de0ef53c9fb53492efcf3d8003b5512478b92b4bc",
+            "4e0e78390504d44716e20ff65cf5f16c1f1ddc2fa0441e503dcae1826c666529",
+            "0e143029eb9d5d5c30c3dc0fda147c852e68d4e8d407795a1047beb586723238",
+            "43e8934e37c9ecda6c36b4bee6af63f4269e59cefb5df30af45ae08bd93f5063",
+            "6ad6e59fa1a92132e095463bdbb461598c80b45af85ff453a6450b59b61d10cc",
+            "c2b3c06e92fa87731137f871b9dd0f867fc53156a80bbf00da955cf5bfe0fe7e",
+            "b7b9b9cb1194740a47fa214266a43fdb70019fa1308009589d38f2c7662aa4b3",
+            "4d3ed9000a9b5806a0ed641e2739166e3df18ffa1925ee396fbe25d29e332c71",
+            "bce9e3fb76d6276772f1f279260ddb2f673a4a45a08f13fbc75343d20c0ad4ad",
+            "f0aa35455461c8f75dd8ca533e03dd43ea339a7026f07407ef26b12c3fe6f44a",
+            "64c0f7e52fb34476d5e47478ff354845a776dd781a2044963cae3191bb18058b",
+            "9f9eb159649a2e07879e36c4f5eb5bbb38e337540c4b295adb4b59ca31e2a868",
+            "bfba8296d9252a696a7f8262a80b63019fd89fb866e3d3daab087101c9d7ebd2",
+            "6b6bc1f8b05dab47833d180de1fc7b40d8637a213c87af02f19bfac2f9439869",
+            "72261efc87c3f66bd420e106d6e04235b2d6a7b4c59ceb5a235dbfbf31d02f29",
+            "94e30a15524e236d04ae2f0238a72c0b446a48b7b4302471ad6703861948025a",
+            "fa59397c0eb909b5b269278b706ba8432004d786cc8431db1e27fdf9614211bf",
+            "a65d452c03e7a0e7bfc77d9337f0c3f6cc47449979963ca1173f45c619b7b812",
+            "135f8cdcca313308bc5456466706c561652768149ff61e93f241b383c07448e8",
+            "d029880ad27458bf1d443088b6afe399af206a9f412fd8406769198f304e64f5",
+            "2ae591e30078f1e045b446004067a4734acda37a9673dbac82bca972cb5f8c2b",
+            "b35cc9123b9c6316f72cdbfcd7945157215622625141e56543a4093c0c553013",
+            "c8d88ff3a98aaa4eba3756a5f0b89cdeeeda10e5180f5eee0d3ae2b7dd042cdb",
+            "f06f0c86aa4079e5d3ac48ffa9b50661a0bd2f4c315190b26f13664de494c9d9",
+            "627afe91ac03ff52d178f64eb23d372523f86fb34fcc0ca0dade6786c38f0dbc",
+            "ccab701536e7f9615e52f4b1a1c68a2416263ad8de279372ce248fed5d7868ed",
+            "bb71e211e99f3dbe040a15b22eb7e004da953ca61b700ca3d1c94764cb6bb80f",
+            "d799a15d3d810c39c4a519c59843bbb6c2617f559f8ebdefe801296e0819149a",
+            "d6a24a60b3cec846b01cb2c3a1535ee2ab834a09e935abe70ede278ecb1ef045",
+            "d1cae428bb382d9cc38acac1c7bb8a5e6142a46f5b0e6e2ddb1609b0acc66f68",
+            "c46c90f66921363f974dcf82aaf3b3410222ec081abe097417dd1a1accb372b4",
+            "5630ea72ee47272cdf5f9e3d1df3aeb499c357880ad49b26cff1cebcbbaaaeed",
+            "013a84070826e011c0b19953b3493276e98498b3837618303aff28475b38eb2c",
+            "c158a154e2b9394ee661d2f982e93af8d59543bb7da5c8d2c8e9c65905384d4a",
+            "a0423c87fb8581f1897c9a0c774c3881ba8775e05f6cd88408cee05d126ac52a",
+            "7e9c5dc7bc705ee6825fcebe23ba885a4be30b318195ec89e9a19b450bff86fb",
+            "c6c5a131a84fabe329dc50128240b463b18a4ea0af2d036bcc02d869ec57fa7b",
+            "ffe9fe5d19fd7233e88869bdd2f6fe00785a9b15d074a3f8b171a03121ba64b0",
+            "324cdf414ea58e6d9496c28b138b43bb18cd6e983fb7678aef960670a51dc93c",
+            "fb3bd242d8f9801589ca53c24a1b36b88ee1e6b8932ddb6a5d3bb7b3019556be",
+            "5784aa43502be5cfa00e65ed1800bc86cea1b83db7b99737a92e3059c0aedb51",
+            "e05d1e4da035294fb1b5185492276e323b43a33c173dd05390edee2726f82f60",
+            "480a6f9e635cdb839e9ed2fab13d22291dff3c92ae99e1bf514439b370480f24",
+            "acc5d491964faf3f4858dce3bfe338199f9b5469c1ad33e64c2f0bfad2f0263e",
+            "e14724d931f179f9298c723043307a99153207ec425d4fae28f78becba7c0a9f",
+            "756d4aea97736b83d6904a6d96d22e8026d24796d64d6806c2fcc478272c16bc",
+            "8fc292a32ac35211b4747151ed7797cdcc9cf7edca0ea697f9cd9ca9eb2bf906",
+            "0434560a038fb3a29aaeae6531b7190a9a993f75cebecbde4dbc5d9f248c16b9",
+            "5c7e3540a665e15247dc85c88bc06f2514da2cd85010ec820cc53548ac751009",
+            "074e2d12c8900202ecd6b02df395375ee6343d1c04c22982c214e74d38fdf51f",
+            "cf2f20c22b8acc270d75b060b45b3725d2a4a0bc4dc33adc9feeec336fa84f31",
+            "bb67a42d62cb5389aeb41a0e18d26046ab4f20feae70cba114ddffd5995ac3e8",
+            "ad9733cd531deb592afd4650ebd20d8c967ea49693d2954151a70f4a4edb68df",
+            "572f510d0485395c2ff610cd031d238c3745f79fe98a8f9fef5b042c24e57b69",
+            "0ae9ac017e10c4d6256d41b99b5e771d7e8acf05bc1087acb58148a8ea2e8c5b",
+            "691315c9798b266ce8aaff0a6368a80e40c685c1a8e3a54fe139131f4d6da7a7",
+            "aee4c8330dd8ef28010fdaf243964d48dec427871626422da8d915843534755b",
+            "57aa82c0185ff3d73d91dfcbc6bae9b5d438cf064ed0ea9489d6b5de7c3df531",
+            "79ed0c8a9f7d6b06e75ef023d6ca5a32416a9c8fbd5a75fd97ea1c0e8f7a5a30",
+            "23f9afb28b6b7349cbf502c2a6a1ffff117d2b3a974d8705b99fc8717108627b",
+            "a6f0fe4aec662565f32d93874690023ebe09aea9a887b330e0c64a18e41dc966",
+            "aa5a287a1749ab0ab4e4b56048c738b95df8f4b19a82378847a39ccb5eb42315",
+            "09dff44163511e71b0fbf539655ece1940bd80039bc8743cc922699a37340b71",
+            "567b6eaa4c3dabaccdfb44885a6a4cd345ce3ffc6a201265084c1818c0b84226",
+            "881e7f1a45e2d7ebf74842b131573da24478db0c44ddaea50ca20007994387c0",
+            "e9a98c513dc38db66988ce7ed9fe730df4ba5297f2495c77a54ad2aa9195b9e6",
+            "f7484f28717752c36583df6d2167f9861bbf8368ac7f18b8a7c41ed41f301f37",
+            "c0c4a04d19b7a5f1f33fff97f49a9d0245c4b14d24c3691cefbf46b76c064d7e",
+            "2b86fe6715dd628b59d2303d2939369a6ebff338e7c9a3f41a5e76371e70d56b",
+            "3663dbf64c23ffed29746c390953bb4c54f0f3154cc9fa65e7bf6acdf7249702",
+            "8beedef6ba5098ea3567e7e9dd3ff36fa7ccf418f7a8dabc5cd1c8df83ac946e",
+            "07ee5dd2f228e5d605f204a0e607fde140b169321c49486f64ef0ef3498defed",
+            "34ca592cc7c4769ab6ab180436ace3d801b26463a0915b253459fbe8aacc7ce3",
+            "2ee6a26bbed8f2554b909b310e8fbcafea825d9016c009fa785f34121053ae17",
+            "6dd70277e9e05c3828bec89c4cc94f2b256eef50554fe78b7bc7805ba0c77d7d",
+            "448a4023be7987eb4282a5534d6369f7e8ded7ddb3cc29c537a4e09ded04434a",
+            "338e654fb02855abf17360c328f02986bf949d898b489ea7b9b29ce090fd1eeb",
+            "bbd12c331fb019e0c84c5629c0b4945609328a196e3862f6f6dbadba31da81c9",
+            "06ea156efb68bae0ec77525ddbd4eb18c1c97512cf524cdd7661286b48a2684a",
+            "163b26e0bcc1ebc83d620624356e8a535ba4a3130af719e57a4dad9922d0ca1c",
+            "ef7c18370144ac600fa593af56a8a849f7070b91261415e8e3cad6bcdadc80da",
+            "f196cd68d51074be3989e323fc62287af695b781697b91b658003c825b426ce6",
+            "a763fb136aa3978b7f47acb90aae2c6bb5715e8ca5ef1088d7856608c8807071",
+            "5bdc9a08c76139479780eda09106fbec03bd5662c1817f14c0893abe4c22c798",
+            "4d34d526ba5ee10314a8f6a74f7fedddbcf0ca79986c20a5127dbb08acfd6c43",
+            "2c2899bd893f9611640844c56b404e5b91768151cb862ff497bb823c505d568a",
+            "be30cb63922297543ed6c72314d3b6ec3d849d3c5d28fc3590ad44ebd82c4f0e",
+            "28f1d0d25c8654cd762a439d6eb6f3a6896d37071f406d8edeeb4c20adee20ce",
+            "f6a81369acf1c84e3cd6bf3399289323cb47848984a8c96800c0682fc1055a04",
+            "94b9c4a91bfce96cbe773c203dfdf22d1b015231e91dd478399c2586be6a3e77",
+            "526ce466755c525287df1a2adbdbdf566c896d79150b9bc7dbe65936e83abb30",
+            "57dcaf9ddb9d8b054aa5dda6a0c9739439362e898cdf22aaf9f7338149f8cbd7",
+            "064ff0d84035d834f9382eb8b4ad901fbeb4aa9fe816d7c36a34d56af41817bd",
+            "d97343cdd389cd2ed9d0f1358d2bbddc2752053d95eab3e16e99423298a4371f",
+            "f9deb31f0f9b98cad69111389734d43ed4fa86f24b05c9f2d48a78ea7a8708a3",
+            "f962a89d04810a6c57abde4a8d3182d2a31c5d0f0ed3c37c053abea1fa223f31",
+            "b62ac1b4b282eadf241f508bd5769bdd440b274f967d6ca73cb685ca249bd287",
+            "57840b0da13c3f6f67e587689ab1eac913c17e91d493d1ce9ff089e8dccdfd29",
+            "e3d1ce3b9de0fc9b48f2432d5e64947b5b24c3acaf1166f746bff1c54a028b9b",
+            "d322db4b50c2c1bdbe0e22ef291070e20c93e0f7199c184f5ff8b4795b55cbe9",
+            "88371d1acc9bc3b69c1d1957b27c9aefa3835be37bba74a359c35b1beaddc2f7",
+            "3486da81fc55b7e285f23e85f44c481d780090285a384cfedaefa27265a236a8",
+            "c87588b38d18fe9a5c563e2ae8d79649ce699607a891bd41b68194ce4507137d",
+            "d6e3d356d491e5f3dbaca74cf11aef9bd751b36737feb34e466b707156b0d779",
+            "843197ad039bb4e840b949b0ed1e5cf2230829366646a92ffc53d63e26149867",
+            "b0766042c55d7c370799af987bed01fed8a417f83bc67e21d1366988aa1af10e",
+            "b788ba22bd4225c24f95821dbf1f467dc2b13c7615b0bd2b00c3b234b7519539",
+            "91430345496348280d29d11662aeb6048fd7596fc6304380b6154494df30d154",
+            "8c1be7b4e8fd13181be0c4e46350a2f972e24acd13427e71c15e60dade41c28d",
+            "f87a9ae1d7dc81f88c5891890b889aa7212e172ddec092182b7de6f01e787d7a",
+            "b6a42fb01b464f31f65ebc10fbc12fccb051d8b44cac51a6818d3aedabea07f9",
+            "4a820a780053b6f65492691e067e236adbd2a05b467e4e3f2ed37ba1260ce84f",
+            "b07131192ab22510055930477ced5a10698278b2e00e3f711ebc202db640bee4",
+            "5fbb00d9b2952ae4f0fed217bf2d8603872d8fc93073d99f31d8815539121987",
+            "0bd48e207e95be86ea4e459c090a75c0adac8ca31bd2b631043854551b2c4392",
+            "b11de5874aa62f939e383179c3ea1b34d3569ec6ade901964393b92f8325ad11",
+            "8cd692618bec00fbbf099d570561201a2d0fdb601050fd20e198ead478530675",
+            "19345b5fb5cecfc86e4db3cb8715cc7370e81796d70f11ba150a13c5ea8e4c37",
+            "3ad0b3549b82f93ad869a9341397d394c1acee5e18d94a699b118094dd7a9a70",
+            "32220b1bfe511b9dcec64d7ea8f4317e96b2d0cdc10bcfa55cfa3b63ce64aab6",
+            "0cca9d955282f37dd60e764c56b52cbad90b33ec2c2943a7e5d155d35b0417fa",
+            "40d00274aa5b28039b0d57d75a81f174c0a31e4be2d324ba79a64b79efd4e411",
+            "319d00690097314e26638e2f4a6d848f50d1ff2f9d6f755a618eb31398ed373a",
+            "dfa47fe83d195de69774c841747f6e7ea78d6d91297821dc9b8ee5fc625cfe2b",
+            "5a497ad4d83218c29d4f22781a54d9e1927dc414f7cba6f89d794ed047f8b245",
+            "1bd3f2289cc1bfa889496ca5074991941263703a2517281734f33d0ef1050f1a",
+            "587a689c0312ac0f6d98de7495f01f34428cb128e73875a71508f7d5874415b4",
+            "fc77f013f48b454d8703f25f76646f74b74c9e4f8e5d542bc5f48d98c6e51fae",
+            "a2a7af80da34233233ec619dc29366b40a9e55ead63626db185524f2415761f5",
+            "f180a77f032bfea9c7d152438ba830f19e1bfc88481a56b9e554c61d2cd64f6e",
+            "cb70e9a1b44fa1f13f3bcc5290e6db5c8d6eda83602c9513e91e779ac6cddd3f",
+            "74f543e29e519871aabcedb9d39c953d5397aac456c3c5e6eb0e10e517989eb3",
+            "c983c339bc6881a1e6a0b2c6a794de858613b91318205a623dc61d80c2238036",
+            "97c5314218bfb458e1fb6d1a33c9ac75c7de152774a736f6c5874657515ccfcb",
+            "0744dea5a54614d094a6eb711ff7df94a180bfdeacaf330e31d9466cd51aeda2",
+            "06dc1ba86d3fcb46096bed80d9c5c558f79a5a33f4fcdb379f1567b1271b64ab",
+            "aa48541c8cce586b7a8c5e8ebe3cb607d1c283ef8940b7d4c7fb584327dd177f",
+            "a9d086126128de76e0bafc06ca465176ed2884cb7ec963457fe106346b8094f9",
+            "637323a350346cee17c66cda9b8b1be49d58350b0a0904bd61e5af20ce611df5",
+            "aa25524f30b8e84ef80b52064a75ca56cf438e67e2696e360d683c03e85c4c6f",
+            "9b5371eadea2bf5707f730896b4766a8b56012269f1c02c5df9d0df1d1cbf696",
+            "d527de43dc2dfdb271c213a927ab31c08b1f063298b211b6b11831a4dff51922",
+            "5ee4f0b0ba2c39e7071bba12da912c1ae213b8a2cee0bb437afa500328a237d4",
+            "43d3388ae21433a62d37d4c92861c125683f03a0edd9d1afaa56a42a7b793dc1",
+            "cc8161804d4c84fe4c4f7210a16193637accc1f791b7fc7be026c07177b7da4c",
+            "4bc68b77bfd52e96e8db4fb7293a6d4f396d234eb4dafb625df76bc8f1ba1c7d",
+            "a66e57d86751f21d11652bc991ffe476eacb638f38f95947b723ac9448c5f668",
+            "278e2e9a97727da969f8d122576dd475c43141146f984e3af997600a013f19bf",
+            "3152613ac0763b809bc99a50b728391cfe19d2cfeb27ff47a1e3671ed7526a3f",
+            "06168cf4f7850405f47bd8cfe013dc077b51457b355698ea3407f998cb561c2b",
+            "44620fe943880d4498587b283cf31a67b85fdeef53f59223299018c3666ae32b",
+            "eaa4fc381ad8dd4a49b66bbe7ccb050b2ed8735ec0d5eaee4f555fce0ff39a8c",
+            "68a35789d8aa7b4f5293eb06988118bf39be4f0354e6dd89674da130c4ff7911",
+            "3c9cfda0c903ea8e97a9bdc2966dff555df6580479782ced9ea934837e3bdb5c",
+            "4367699c5a75ef7a22a52ca8d1b77e15ae6c8c18b2ec5fa929d688281ff34edb",
+            "f020689fd3ee8e3f51d12f177d80fb80aba8d3435a9f58e63cf4caadc02eca10",
+            "06f7107e12e2f2c7151d2c38ca31adcd8690e7dcab4537b37183561a9306208c",
+            "2f8516c90c01cfb4bd29a3b8ad1b61280436a37804b24929327cb41d8eac39aa",
+            "8f51fe6438299d6f935f48d1d0991270ad477174195aff8574ef587a45038efb",
+            "8d26ec62881cf7efa89509047c178e7b920a87cc4bfb9cb0d6d991e87ca22124",
+            "ec5cd96c01771e651d9e09445c5df8af453e475da75f47a583a1006e99686b09",
+            "2981a228c15eb8a02d051bad6ce39736dd5f4c3f63a979d997bc23086105cbaa",
+            "7055c8f3c6f41ee3593da37fd92332c561907e07a633b9ba7bf66347cdccb378",
+            "68b25a8b5bcd76f92ed9473318e67e752b5898eb6b34c4a1205b77a88dc0214b",
+            "435b8c03368213b50237bb6f7a4dbfad4e7ba8d4f3948b046a5e95ff38c739be",
+            "f553b646e7933b5f766d1187c3bb1aee241ea0734ec1c6addc08871c43bb7c64",
+            "5f7e12488b0d469ffbaa32d1fa766352c8672ccd9e81f503480cec626d1f88b3",
+            "86fed64323e502425165fd4b319a848da156ed4e1acbec6ac706b8f5afbdc1e9",
+            "3273da703327df23094325bf9a120c3bbbc9388b4bbbec32a24b768f4d02669a",
+            "cd57f10c8a3c69b40ea2832dc35837d8a7521f2a17b2936eccaab7d5bf482dd5",
+            "fe62a9ab0e66c65344f94de1006ed30505bca06dcc7619ca717078a09afafb91",
+            "f83f5339fbbb59939406f37a8053030f00333d809da78196e1dc177209fd0e70",
+            "9cfce61b0d63c05676d62a7dac8c1362d78e2e686d6a8b53c56094bb2014ab96",
+            "dd387d649e718c5d7cd9618fab6cf60bae452924f4e0b36b9b9ee9d4b9738ef8",
+            "b4e9704f8937686cd738c71fa7250b970fe64be89c75e36412cf4288e7911371",
+            "b2d3838be418d29c1ebf100d269591a89b6e74f81b822cff71d8a9d9548dea0c",
+            "e31733d8cd5174ecda373492fb9ed3f56fffdac8f869380c06ee9f185821918b",
+            "3c7b69a99d3765c95a713d27af4ac28d7808ca92543062610bdf24edd3643790",
+            "cd639186013fa4488043c42b05357e82425a3e889ac14679eef46b7388cecfd9",
+            "0ca04c8edcd2d8a247e575209a9e5c8a1cf86c39e6655d79d6f85ef41556ef71",
+            "d8cb785d9bcf0b1a8289362c5badd0db084f2efa3d831fdda8ffbc5cd423febb",
+            "c932a2fea0cf3a50a44090757e856ecaa4914e385b566787b60877f04c947002",
+            "1d3d7b3981fee634842a7dc05f5e4d1bac279c0ab8e9df78d768f43676186340",
+            "155e5683914f9d0fff0323548d9a531ed582e72414b934e57edb656579cb05e7",
+            "486352981492eeca9626588e8aa0a737dedf797d83a20148cf86aaca0e5cd660",
+            "692125735f88d08d8cec81e5564ed2f20d88422cb693407e8b569f2b1e07050c",
+            "b9195800d5bcce2e36a49a8f49f1674d9913dcb526cf50d1097ce4bea82407fe",
+            "92d25db73aef0c89d7f6d45a21f56bf7c0b3854a0c8d19db7bc7247ed2244f78",
+            "9eefbecbf32c98775e957013ff48c835781e52d91e576f81eec2c079bb61acd5",
+            "9a71eba84ef99ab18d46121f3d387888c2ebd4054b85f3cc2fe90f8e75cb6538",
+            "5fec8b431826e32ff8b6d3da66269f1e8561573bdbc8602f3fb20fd5e1bd8f44",
+            "117d803b171807fb6ea627fb8eadd75abcb20606fc3acfea76def5897a986f35",
+            "71a5b2e0b33d5bbb1ac73e6967b839cdfbea4de2fc828ec34ae8e40f8dfe96aa",
+            "3175ca255e0323924a203bf8aa949691546196277c5976052ff0678a934fbffa",
+            "7b355ea64f6dfd26a0ca7c433c31b1368e70d785f31c71caff4df6883245d409",
+            "3f00299f644f669c39db368d2a0df198f572ce9c8c08c85a94fd8c7db9cb5500",
+            "3e4b1620b66257264d51007170e6b0c49729b4731e3e1d236d188dc325ece52b",
+            "ef62a3e54636bc30ce5b75fb14e4753986000fed2eca3cb11aab716c88729f31",
+            "53635a42011bce8fec02af0d16ca0cf4b994332d1ce09551b99693a1ed59d247",
+            "0e4f65ec98ba41eedab3df06256eb227c558f31fee052a4266b3539f7af08275",
+            "23a5e489bbb5740c0c685591e6b73a7096bb238cad11e8d7e84fc9f4b7f55207",
+            "b92a8731fdc1bf7bd7bce4084892f87e4d9174acb204ee163cebebcfcae6a5d8",
+            "2e55a819e3b67123ec2edfc304418d7fee50dae9c9b922c3a5d250d6f7c9662e",
+            "3b6aa69186293835af4c700678ee9bb810de2ab8899c93cf245e01537742f5a1",
+            "2377ef08168881eba6f35e080a5fed4608aa733dc9670f59d45ceee5ce08fa47",
+            "2f26d70299414d84d00c95be2fd40758bce2e88a1fe89bedf898395894f501b9",
+            "5c2048320f765e1756e7a743afa544a602d648311f4bb8495f3d43de0f8cea49",
+            "e08780a749f547c02460053e2a258b64f89ad494c042171f2e8a426f3c9a0520",
+            "97ae7d3c4e6969d04821c5ed50c21a914379c1a1b3b5e5dfd38b26438e249f2f",
+            "6e181d25ef0f246585e55b5eb77c8e6191fb135af98e816b0abd841134bd5d57",
+            "271afe681be4d6c7c09cf9b4010888525eb1efb66cc2501215894c15e2898519",
+            "e8e670d05231f561f6a2ea1c1e08a560a96bb2674ac72851dc29da697ac169ca",
+            "8726ea1166fc378ce1bc6bc99ba52e93416fb5d1fefd812ea29de503077d548f",
+            "3cab3aa4cc41da609f367c1c57db872b8cfcb7b2f323516266bb3d8fa36642b4",
+            "c5a186e0f17d7af521efa20982916fc813e1b7d05295c3da7730ef6b5a48cab7",
+            "1738964f08db1fbe6b5965f7721be058d80a4e1ec976ac743059a5b31d6cd7a7",
+            "7f10a07aaba3a86425dce315a22df012363cd11065229f983530e2156fd77442",
+            "d97c168cb31e3390b66dc4f61020d70ef36ec9bdc679c2b64a79dfc648238207",
+            "0db0f54012e0427209e8a7b14f787419a4a6cf8cfbfd7e985e34898c1dcc3b5b",
+            "82d9cb547ff915752dd430f4b91c03970ed3cc9e376a93aafea77e196cd1998b",
+            "88f50df0343fa95532cb3b9d60cba5cee24c7e245bccc8ea06d8803d43f99f75",
+            "525d6f86a91046bc79ec5e19e21eeb42edb94aa9c1a3a6ff669455aebbefdea1",
+            "a8387bac47d88608c9a58ab2916857b9fc2fd8a1d52fc5d16f79bb4ab8be40e4",
+            "57ea90041e625ad5368caca533f024381987b1afd81d092b28eed73f0c8c5499",
+            "3eead9155ab4b5705fa08efb59ff16f1705d2eca4a8d707e4f633731bdccd8e5",
+            "e1d445eda8d84d9b3972b06b657c3be233a2c77a2cc146988c3d076b11b2f906",
+            "0e6a4376c4e70a27e5bd632511b761c70d8fe6776f93691d26262e169965152d",
+            "94df997fee522b612e12ed3596618cf27aa3a3109bb459f16eb6b6c136538295",
+            "6397f7955219931bf05a5b8407360c4b71ae62002aa273ed85db15276dcfb613",
+            "a3880c761ca9d0019b08cf255540fa495d5d69593e9bd73fa6eecb41dae42859",
+            "33e09133f59de09d87866389533ef005fc2c34de8a4cd68ea1d528d3c6df4165",
+            "58ca35a7300e2d7edd5acee6de464da5593d81380aff9e99fad2bd1d8c0dee68",
+            "2d8220d8b7f51f9f1082d903f592ff051faa4c37a46fc131c31da1dd2a233ed0",
+            "0148345468c538297511e912438b1ff6f0bcc70d8058f87ff70b5f944946395f",
+            "cebf3f7bf74150ce4fbddbc693fd6881a8d18aacbb54b8e33097580fb330e273",
+            "b8213e35bb6cffbddb211df8497d7c37f33a800f3a729846b041155c2f82c7d0",
+            "33c0d02c59cebf05005b834b6354b9d11184238c087a253b86e5479209a57d61",
+            "cfa8f4a6860419485b27245e5f66228003a0f4fce6797dc9e7fb5d938bb61100",
+            "633e780f4bf491dd0635d773334d7d2ca15a670d0d78681871dd88d77a2132e7",
+            "0b51f52c0d43beecb81fb62c82a17850a11aa6faab7527ea4833efffb0b4a8c4",
+            "c295b4b3d54eb3f602e5b7b6f302dd9c66cad44282af938a158887a4b64e6400",
+            "a9979735925dbdc75c01667c69443c96f645e530ca0fbb182c1d515093799d43",
+            "9fffb2f1348a76b735b269ce0961460b780c22882cf471ae5f1c1fafea3ae48f",
+            "d06f59868c9200c0d32396ee176a3260ba3940e0fef382b1edeb189030ab043a",
+            "44110d2cf36273a7c292ad5a9fc73bfa40d5de4b0188a8bd5d28f6439e078ef7",
+            "7fffb43180730947e0ce0f17899806d2998df9a70c9f9850a0bf0d5ab97da3f8",
+            "93b7d5e9121a06853fd8e0b65a846bf7497ec5c9e769db2f721ce40770a5ad8b",
+            "e3c15c181160b97750a748f9b1ef062574f0899d602333c7c543efe7be6687c6",
+            "483fc4310a9c5e101c6e1592299caba75d191c524516cf48094705cacaaffa1c",
+            "e24b115dc5e2bbaa03a956e316f036cd74f284a2170c98d0524b212839ded525",
+            "bc6e44c74a39e34b2763f04641908744dda340b8ee026c24e6ab18298230dd6f",
+            "646e8841bd52d5e6f441f08b068b8d3a1ef694e427bd418008dc08e55f9263d8",
+            "27010201141d9d2123b140bab4c05d1e60884510022f11e83aa5aefbb5fddc66",
+            "0a34d5ebaad9e855f386b3362d8dfc509d0ffca45877158261eee625e687aea6",
+            "ad133cc1b1af014f3acdb5852f7efde5750b39eaba1978bd391f0e620de02e54",
+            "210d474dcc58be7f5f81155c0b2135d26047b8bba3b413b2aa20485e4cce68fe",
+            "0158e2507ccb37e5302d3d188bb58ce6f7bfa56a8d84c1e2f085796719fc3b9b",
+            "2c4418eeb0fcf9317e8266ce1290919cf7785f09ec07efceee9c9eb31eb2c785",
+            "4b325afbc98d6f4510cc2e0bb3e957113ae4945b81d29caeee539c2da6f710e2",
+            "7d6fcd1860fa72512ef76e0187dc7af6fb467cfa2e96f9601e0e8989c38994c9",
+            "88260afe57f54f14752828d92501cd736bd27ff95389912283e88faa97a75269",
+            "529b7bf7e34de1f5689bba72a58407f3731bd2cee8af78a53dbd15497faf9d40",
+            "d5066d261ad12b1f8692fbfc1876a6d30837395cbb121351d9ba61cf1b20cea1",
+            "b0f968a432800d13c601c7520bb36cc9ba52b24e2a09109fecc34cbfecdbe9ea",
+            "f82bb8ca1a7fd8998886a8fe8f00084f108125394b9621c6cd19d92f23fd8c3d",
+            "53df3ed8b2dd7c46d8c42882a6096bccf1d6c966cbef8158b45f4390085a00c0",
+            "117aa85101fd69718713ffd12a7b4cbaa9bceb86cb52731e69ffb9ef83f80750",
+            "10662bded3a99140e896de3673635e5d946b0536db96643d0b4c621d7d68f56b",
+            "06b6066af41823461a0773a4018a93e9e7dcd71afd31331e5fa650b4fd1ac2ce",
+            "eca317877601cc31ae62fbd401aaae05a95ba092256beae0a69f90f42031dd40",
+            "040ab49439c03cee7663bd46349400cb389c480732f583aacabd8aa2281ac141",
+            "9d64998ae03ac69c2d6157548cf8f59eaf0ce08f10059bdf50ff8aae62dedfc8",
+            "104e0c71e792ced34e2811d7ec98f691d0740d260a8479c5e352e6d6185581ae",
+            "09d6c766aafeb3164a7a719920d7f9b871deaa9dc84691e8073f0db23975da39",
+            "40a86c0d81cb5654b51d4447a6e348a246decc7780581a9aa2d60c2f768e1de7",
+            "378243809750b9f1750d2d1f0f9204ca18d490e7458afff003f86c8cbb255dbc",
+            "90565ee1486201dcb600733c58934abb476fb873581c0e3dae8aff2ea1ebfe5b",
+            "f5dfb739730436eef0a9ed0f8c1c7b982469df5d6c042d321de52ace8d3a2c15",
+            "34c56c75a6772748996ada2bb9f2ed985d65a7c6de0087e220f45285846cbb73",
+            "42fad701f64b0f289a69aab6d432cf25ea365f4966a478216977ccbd5e25c19b",
+            "ebf4109ffcd719505b5871ad734ed07d7d1718a173977d31106050ae7bef2ff1",
+            "df543c94ec4b21c6fb74b805b76a1f3c855d222faa8599c060f8c85020e320f5",
+            "ce720073f337bb4893fa3a3b1e2f8e86696e5179617000f4f47cb343922ddd3f",
+            "786a19bb3612b1d1110134aefbe6968e75bb3340fe8d3994fcbd0e905bffc18c",
+            "256345974cd78d13520d2e43ca98d1ca0d650baf88aaa6b8db75c80e6505b101",
+            "2648c4f69b677c285297aca3107a6770c0a4bc1689dde13e6b5b59e8af91940b",
+            "752195dc0695f44531be939deb0f9940a9eb5273117c7705768c2b5edd6a70e5",
+            "1e4da8e8647caba2f3b358ddd5c25936b46d87b9e118935597be60fa58c6ca4a",
+            "5be16077f567b7bf0034e61bcfc0311887588c95ce57c0e2fb430dfeebb93736",
+            "ad205a52efc99c249042c9a2a85f6e39a89ca00a1bbbdac176bcbbd2f6ac6418",
+            "41414f5074402bc65ab7cede304c467ea56456ccc4d5a99f74dbf698ec80a014",
+            "f0a24dbc494b779606b3fae942042ebb6e42d77cf188d81f5e0895215f24d975",
+            "ed67e0034372067628553cac0f55d69935203f102d2eae5bccf3e9fd6f8bddee",
+            "1544c144771491cd8bb6c79ebb199070189032a209a17ae0f5df17d95e0a48e5",
+            "e2fdafc580819c643c0a89d3ee89d934d4131d06f288295e946b93824e098863",
+            "6b16af8419f1b67c3d8176c2e2b6adf5ad345d84c797d4621c883d12c5881eed",
+            "6101922fcf4599ad00260237e8b14904716156d58a25c638578de9775f6546c4",
+            "0211764bef038cb43a5c8b4e4e1c2189e29c63acc195a8f18f5f52abb6c2d896",
+            "9fdd3d266a5a068ee069bc4df1c9ad13f5dc11503fe9730fc069dce86d2d0cc5",
+            "501185fcc47f5bc79f11c17aeb48f6a069298e4538f48c2335f5a5cb18d3d4f7",
+            "9039f3d010b09f603ec640edceb7861a36dab4b82364c69a208040c3ede48f17",
+            "751f234599524ba682a48181293f9f24bbfded0b905db1400c4d66e287ae6470",
+            "c739f4bf1f227963dbdc0ba653351d9b1755ac4b30e4e1fc29a552d1763752c8",
+            "8e3b632fbec986c803e343ccfb4c8a13c03b04f6212cbe161efe5d5976eb71d1",
+            "1d20996dfd8ac9c5cd8de5ece58b61abc6e482999a720d8fc6cab8017adfde73",
+            "74468a7e1be2e9c78afffcbe10b6673e7522120d6679186fd21614fb8d3260fa",
+            "e47b686632ca64ef9e44b6da170481087bddae257940e54aeaf807b18edb4120",
+            "23f33513eef75806f25e55dfadf2e09727569c6c57dd020b686cef0c9a6e8324",
+            "8d59bb2bc1e8a2546b70e875ed5138dfab8f5209888877a7090294b3ba3e8adc",
+            "92bc28c793c6cf7200794bdbb5c3c821fa205ed1b4b06fcbda8d0124d28e3136",
+            "cc61018d326cd22a23b07c05db51cfb87618046132d4bedca206cdafa063a20a",
+            "b370ee273c4fcdb5bde8fb9ef6ddfd45406447ce19c748e418de854c2f0362e3",
+            "6152c270f83886cf3f5761812c6d8eece4cac8c348230c9b42dd271d1e3f1aba",
+            "2a9b0d00fb1eb5564fd96a8c1369f9f8e1d32b947cb59a334d47b32c6d963897",
+            "384c35175bd92ed2c097eebdfa72395a309acb7aa60c390ec3eb66773b661d6e",
+            "573e038e86e51ae46e5a7992fa652fb4b92632a7065260e12c46d1fd6effefb6",
+            "005be3a45b8fe905f0d1a63f1306ccc4eab8191d20f6f5a805f4754c20ef2daa",
+            "9a60982d54be5edfd5af1bd9f7d25dca0be74e77d5eeb6eaf37dcfe06cee188e",
+            "676257a1528797108e3a5fe031627338e9f09b44297e33aa1463cf46e5bf7db3",
+            "e7a241cb0337b1b02a56acabcd77baa1363feda4f01cda38d460822da991e3bf",
+            "7ac458257132ccc040a84b03c9fb7b9ca4fbe0579e7d3428f584da04b5b33527",
+            "cff2be050d602ec4623227bfe5d17c81c6b4da11e8c00ad7f7ca7d4c6acc878d",
+            "c07b292e4500a3ff9845bb55d6d69eae602d939e7681ae5d65effe80db4626b6",
+            "47136ecffbadd0a856d93adf53a2e2b675403386663bbe766bec37d313c87a10",
+            "eb1bacbee5fd2a2b50535a70ed300e93b90491d7d3d29d2f1f8bc5ecde0d7839",
+            "15e2db68968bb0000bda5bb3747451926355e9cd63db122bec12a53fb15da9e1",
+            "1ae6a3722ce9c193df69b1b8a37aa086ec323283628290f7298871676d3c4cba",
+            "65477882f5794c720233a98e1e383d91deb070f0c2bceb95a5efe7008f854cb5",
+            "2a630b24aeaeeef20baede1abed05cc9c45794561239f64c6bc291afb4b16120",
+            "70beda84b736a344f503b4e25e0e4a426f31d7041d283aab464026dfb9714457",
+            "591cd0ffc4b3b51cff8621ab1458a478c0a0f57305f0551e9e5396dbe8f7d349",
+            "53625b2b7fcffc9568152e6b6d95472fe850ed163ab341044a0754334cf22e34",
+            "5751606d1ed8891eae9bd10c5676a54ec196b36b00f9b7d3aa9ab0ab04b5cc25",
+            "f9f8ac5616f2d1864a6599bafb5f2e6bbc7fba72d6aa23d9ea1e0096de9d4164",
+            "56241bac3d18e635913ae9db5fac9cdde4e28d74795a1ca77227354d8d38fe1a",
+            "e01cbe3312394d636a19003923a0ff3eea7f8d2e1d6b42f94777655add3fe9ee",
+            "d08709244798a43e91f24367176899d90f8678813ec8b822163c67e1740f89c2",
+            "7571cf1e503d83dd0c915f69b8365e94a1b37aaf98a37d08d4b90e2a3675220f",
+            "f43f4e2cf5990ca47a833947b671586123e6e73a57d4305a9b813a8ed0d2fb8f",
+            "12bd6bd6659343e3dd9e6666572c55724a0a9e6990b890b556fe662db9d062e5",
+            "9ae85f24c4abea079e0223f9f05355dcaf5fbb396291c96d5c3b016099e84bbe",
+            "495097c042dc6319f9f6480ad049016f113b9c5cfc6d612e04aad56934b919eb",
+            "4eaa8cc1bf14b329db1097395c1a5ecd0f6fdf5a5de76db7f0339ab9b2c491e4",
+            "9d9f56a74cd94f45656c40e09823308aed0b4c9e745203cd5950138713026939",
+            "40797ecc115fee18a4608c9efa1ffeb81c2ee1c4842561ef61fcf7076f1ffedd",
+            "11cd767ae016d95635cbdfe08538b9347337d6b0847d12697075584b8d0619f1",
+            "71cb92eeba1ac9e0112a7cf621767729fb77eca209140f248c04f3ca1b0918f8",
+            "e44a0c43a95543503268b2378dfa0c9161c522c62bee65fa4f4a238875c64b7e",
+            "8715cacf99e5b7a106cda39fd2b6c96c2e5022974b0f66de7d6a15ed2aaf4eed",
+            "35bb68dde977abf2784e33d1bf3052893a358a43a8b258bea6a7318b1dd4a310",
+            "b5bb928fb28bf9699bfbabc626fc279a9ebd1ce6b63c993ddeda7b9eb2f8cf27",
+            "3fc619d1072c86c3df178b90349411bfed86c49dc777f030f2d27e3100394b00",
+            "05ede74d5dcb911b02053a895751f92ae86743298c8c6d8c5811de191cd4e5d0",
+            "18ad4372b90d74e60d68a00e4586b0767c060f9c522d2016c515cc5754eeb06b",
+            "595447850210071d76266dff3f9ceb530f5fbdf38c9940011abb9b96820f69d0",
+            "3c80c4cfbea01760facf853c328821cbfa9635adf55a650b92fc41bcfb19c8f5",
+            "e4feca4d382344176e8ac45592711e4472f76e0667867d469c65ccb5be2c7a19",
+            "7d0b37fb8ac67f6752e21869e57ed1d8b08be8517ca53ac2835cd2295df094ed",
+            "4af613e520506104185fc529b07037168b79165ec93e37331dd01f306307a9b7",
+            "103fa19cc7adb309027f4eafd56cee2c11875358bb4d8d8dd2bbc2f3fe698bb9",
+            "ede21fac9950f370f23f2a674f795bc7b2eea5c4609ee32fa64d4239218b3d98",
+            "5b6014bebeefd652030b6f79d14252c51a6f1159a2b37bccdcd3e515e0ae27b9",
+            "dda18f566e40a3b6e882b5f35ed04328ef8288094d8151bcad76a8c228454f6d",
+            "bb06814f937b8f4fd23622931286468bccb770a49112c94b23f06e97ffb7aa05",
+            "9c629de1ccf91a807ae4d7c296108a9ec7880c1cd278e0da344061d329755c14",
+            "6dbf2e32d098163480ab02a98344750fa5daafc7c66adf4fe90d0eaeeff4f86f",
+            "4e93b1d6b6d8ee75bf09aa1789933ef1248397e1e3df6ddf8af74eaa04d59c3c",
+            "6e8f38e9b80a674c58e2d85fb797e0357cd1414528a175f8e06a10b15455bc91",
+            "d397c5433f574c1a5f9d5c219c91131f3823694a50e04a6a2d896458b76f2e2d",
+            "f50cc41a1fbfe1a27916b010ce35aed4d7f2803e571225ea1382facd5a603139",
+            "f375dc182eb989bea2dfe5c2e26a351c3e2c2ea5c8f11447f34004c5c5ca2f27",
+            "7171793b9c6db5102f6088265373a7c57778f18f440380255a390d5745113652",
+            "494461bfc7dcc180d454bacd79e12b4a12598e3cf2594b4a96001188df71f27c",
+            "4ccf4da37de3d59a491675a6cddcc6323deb914a8f458fe6bbd20f4ab824fa69",
+            "74d21ad3cac9cec15832b98239679ab6360d84ae3d2a36a3f02307d647e7719c",
+            "b7b45314da2fe600d6377531a57acfd3f5d44c2f0e8641d67f0c9288bab8a3ea",
+            "7e9025449366165d1e1a7a84b15c89acdb7220595af59d776716b7caf76b517a"
+          ],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.5596858819481,
+            "build": 18.3,
+            "query": 0.0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "nodegoat-repair",
+        "base": "nodegoat-vulnerable",
+        "tip": "nodegoat-fixed",
+        "label": "fixed",
+        "role": "transfer",
+        "capability": "javascript/express/injection",
+        "provenance": "Authored replacement of three eval calls with Number conversion; source tutorial also documents alternate numeric parsing.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "nodegoat-repair",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [
+            "590ded4d9ba52b59e2934f3d461e45dfa5bd351f13c4fc17238297438fbf492f",
+            "33ab14574877d6a529a58df1926e358759fb4ee1ffbc68146aebf77a895c8eb9",
+            "489bf9f5f3a1e3771698cf111c0e7fa3e84f81848869c88a44cf3d19979d168c",
+            "ca3b943eb07fc11f6cc16228ae4e7813cfccac5dfe7ea9147deb0ce84677e486",
+            "a83d9fd2d4f399a40984cdc63e30003a73c98a6986f76fd5e22ed0ed7873c8b3",
+            "593c9114695f69035b4df9d566534e35fcfaa2d78a3e4362c2ff634580d6bee9",
+            "87ba1a35a429f850990db0eceda9996daf572b97b32b38e0f7ff4b80dec9a6b2",
+            "e9cf95baf8cef9a83d9da86e0bce276421ed404867ad948acc338fa759a3450a",
+            "431521d90fc22b7683173732598c39b94a25447f7403dcd4d9e17ca23e243a61",
+            "d331868f74b26a35872e8eeed4f66f3e34a29f8e9745fc14c1609cc3408aebeb",
+            "61b6ec72d6c0dddae427635aca3c97681a112cc4c5f8e4367d9f5864c6eb72b3",
+            "e831bbc3ab250e71270b1f5175756f39c2da662bffd68b2ed78b5389a4f23d0c",
+            "082910c464337b0041733c3c2733ad7947d71549180f9a0b8ad4172901469d02",
+            "14541cd08e0b036e4ab5caa442c01459fb03a6e3ef0388bcd0347b121effc6fc",
+            "da4abcaa22e13947dca90ac9156293bda9297423304d60d587569389742ce17a",
+            "29000feef9d494e003efdcbb6eab5410bc93ad2f4674df9db389ed98a9cfb242",
+            "4679cce5fa8da06bd1f9542b5a58321d2b090556cce83080b6e9ace36d352a59",
+            "df4a0610953efc25e4ddc4bc942688434be889411d073fab09015aba97ce2511",
+            "9b7910f9f96aa714b760481e46e543ea413d6e4763b858a3d0c186a560ad618c",
+            "298f3d69ca3e2b343c9cc5288680120b89e035bfae803dc6f6952358b6d0f1d3",
+            "7fbdc1e100a0b9078b6a2d6264bfaa596c64501b8c5ced1557b56a3d98e2b351",
+            "e4fe7eb3e5d57766a2c6adc79d46b9f57ac13ba11df7846cc4f7d62123a51bd4",
+            "0cc9059de118ef8da2ab45a3453bb2f64a679dfa33233f3b1b722b3858df789b",
+            "d561ce2e09d49013cacec011cf5dfa8c5f35c25c41085e856b3d5f28579ba6f4",
+            "7eb45f19bf15a2826d7aac45f36137de8824abfa9c0d5412da3c69c5d6da7a0d",
+            "ef130caaa2b3321cd12e2c8c39a27f9a868d2405e572fcafa5cab93900d9f97a",
+            "115b829e9b03431b06c12212efdcc2da02b5e22953e8a02243a8cd5a59cea0f4",
+            "db0e20f3ffa3b74105bddd565ba608daaea4cf9baba6b43a2539958e1a8be668",
+            "d2034c51a6d44b7b5cb553f2ad130441532b6be68cac0e829b74c4240aa642c4",
+            "1d7abc4a4a8c6023e1c5231f46167efdb6c476e4533ea4670a17ecc6c8d09c92",
+            "ba984e9deee4ab97a4211ce15915bc36e0e42907e21f40525be95c698c439653",
+            "ecc80bd3363347eac23b60a8ec50efe1a5defd3609aff7149022fac1e74524d4",
+            "7cead756038bdaf46936671d2311c93b391692337189bd9f3acb5711dcd1b594",
+            "d7044d436bcc3e7e313fb2baff364c8aecf980b28741afd4d020f858a47a3909",
+            "f0fb49041bdc02002b8aaf574a29a738aeb235ca0bc5cbbe9998dd9841e93a0d",
+            "f12e400682d1a222abca9d05f942a24394d7795eacc7ec322c585a0a6ffe69ec",
+            "5e24ba3194915f95a2452882fe928f834ed4740f8fa2087c7573b7c2f128a2ad",
+            "4d7554903c7ff3f7005fe4ed77f7e82af8cba218d3ac0b431acf14d18ffeb639",
+            "896720a23ec5b7da3163d53b517817cb01337cdad64d2104dbfdd3b3526f9c5f",
+            "e13de3ef10e25c529870483b67e47206b9cd32251e118f20f628eba95236d9c9",
+            "ac5ad3cda567527eb97dca35bb56d076292b88e20baa36d337967eb1f4f63dff",
+            "7c0bba65b77fc890e479add54e7fb0e9a7d145a4304d81f614536a8470d0a471",
+            "4ed8fe95db377770a47a2b3ad04a3a720ec21bdbd5222272ec5555130a627fbb",
+            "ece73e32fe91c87a001f1e41342e09378041ee876c8a8846a51347b8b607cc2f",
+            "8146eab0359ca0b822353b632ced69bf09fd449704cdf7c6f84440d7ca784cef",
+            "ec7c01083f1fcb35c35244172a005b3eabebff9c0fd1dcfb4372268f82fb3894",
+            "ca89f1fd26f88f845f394fce84527e83c6a4cc8252f30d6787e7c5ac13e119a9",
+            "c3b4d527dc5c4ed121a487d5e4e3aa868df773ef3b04200802f9a306bf67c730",
+            "9e5735029a42e23af56c2cc802655bf46c55bfebf19f19810ac16cfa15fc688c",
+            "a562474ca19fd4d4ec052396b656b092e82be7b1c002746f631cd9fb68b39ff3",
+            "22e26415a3768b1b12cfb9469b912d359d0804761ee7f1d02d281600373dc8a4",
+            "03548d772fd2a4030a9f595257333eb9b323f1057a2a0399ed15efea113e719d",
+            "0f5f635e19864fbd276fd3eb0b6460f86274e6bc52533594879fcc42c02e4df5",
+            "f95e55b8ae987f7c4b11837ddaa8dac8bed46541f6d8c12633b46fe915b41824",
+            "e77b04a213011bc3e9812f81c2d1266be1234ff91a72d347b71017e8ea09f4e4",
+            "f7ab6f0b570873d6b99c3fc33ab556f093d7f5e4991eac884d3e766a2c29b326",
+            "722bfc188cadc50c1485cf4ede13f2b62e93b08b16f42f2586c104b8bd3745e7",
+            "144c1db7c40aa0a420e02130a756c7793fc8fa5d33549a08c236ddb96bad2df3",
+            "6bb3ba6475ce8d11ff20924b69721387bb0d4bbce1b852e640403dbd750f0a8f",
+            "a08e3f98d65d0452a631a11de0ef53c9fb53492efcf3d8003b5512478b92b4bc",
+            "4e0e78390504d44716e20ff65cf5f16c1f1ddc2fa0441e503dcae1826c666529",
+            "0e143029eb9d5d5c30c3dc0fda147c852e68d4e8d407795a1047beb586723238",
+            "43e8934e37c9ecda6c36b4bee6af63f4269e59cefb5df30af45ae08bd93f5063",
+            "6ad6e59fa1a92132e095463bdbb461598c80b45af85ff453a6450b59b61d10cc",
+            "c2b3c06e92fa87731137f871b9dd0f867fc53156a80bbf00da955cf5bfe0fe7e",
+            "b7b9b9cb1194740a47fa214266a43fdb70019fa1308009589d38f2c7662aa4b3",
+            "4d3ed9000a9b5806a0ed641e2739166e3df18ffa1925ee396fbe25d29e332c71",
+            "bce9e3fb76d6276772f1f279260ddb2f673a4a45a08f13fbc75343d20c0ad4ad",
+            "f0aa35455461c8f75dd8ca533e03dd43ea339a7026f07407ef26b12c3fe6f44a",
+            "64c0f7e52fb34476d5e47478ff354845a776dd781a2044963cae3191bb18058b",
+            "9f9eb159649a2e07879e36c4f5eb5bbb38e337540c4b295adb4b59ca31e2a868",
+            "bfba8296d9252a696a7f8262a80b63019fd89fb866e3d3daab087101c9d7ebd2",
+            "6b6bc1f8b05dab47833d180de1fc7b40d8637a213c87af02f19bfac2f9439869",
+            "72261efc87c3f66bd420e106d6e04235b2d6a7b4c59ceb5a235dbfbf31d02f29",
+            "94e30a15524e236d04ae2f0238a72c0b446a48b7b4302471ad6703861948025a",
+            "fa59397c0eb909b5b269278b706ba8432004d786cc8431db1e27fdf9614211bf",
+            "a65d452c03e7a0e7bfc77d9337f0c3f6cc47449979963ca1173f45c619b7b812",
+            "135f8cdcca313308bc5456466706c561652768149ff61e93f241b383c07448e8",
+            "d029880ad27458bf1d443088b6afe399af206a9f412fd8406769198f304e64f5",
+            "2ae591e30078f1e045b446004067a4734acda37a9673dbac82bca972cb5f8c2b",
+            "b35cc9123b9c6316f72cdbfcd7945157215622625141e56543a4093c0c553013",
+            "c8d88ff3a98aaa4eba3756a5f0b89cdeeeda10e5180f5eee0d3ae2b7dd042cdb",
+            "f06f0c86aa4079e5d3ac48ffa9b50661a0bd2f4c315190b26f13664de494c9d9",
+            "627afe91ac03ff52d178f64eb23d372523f86fb34fcc0ca0dade6786c38f0dbc",
+            "ccab701536e7f9615e52f4b1a1c68a2416263ad8de279372ce248fed5d7868ed",
+            "bb71e211e99f3dbe040a15b22eb7e004da953ca61b700ca3d1c94764cb6bb80f",
+            "d799a15d3d810c39c4a519c59843bbb6c2617f559f8ebdefe801296e0819149a",
+            "d6a24a60b3cec846b01cb2c3a1535ee2ab834a09e935abe70ede278ecb1ef045",
+            "d1cae428bb382d9cc38acac1c7bb8a5e6142a46f5b0e6e2ddb1609b0acc66f68",
+            "c46c90f66921363f974dcf82aaf3b3410222ec081abe097417dd1a1accb372b4",
+            "5630ea72ee47272cdf5f9e3d1df3aeb499c357880ad49b26cff1cebcbbaaaeed",
+            "013a84070826e011c0b19953b3493276e98498b3837618303aff28475b38eb2c",
+            "c158a154e2b9394ee661d2f982e93af8d59543bb7da5c8d2c8e9c65905384d4a",
+            "a0423c87fb8581f1897c9a0c774c3881ba8775e05f6cd88408cee05d126ac52a",
+            "7e9c5dc7bc705ee6825fcebe23ba885a4be30b318195ec89e9a19b450bff86fb",
+            "c6c5a131a84fabe329dc50128240b463b18a4ea0af2d036bcc02d869ec57fa7b",
+            "ffe9fe5d19fd7233e88869bdd2f6fe00785a9b15d074a3f8b171a03121ba64b0",
+            "324cdf414ea58e6d9496c28b138b43bb18cd6e983fb7678aef960670a51dc93c",
+            "fb3bd242d8f9801589ca53c24a1b36b88ee1e6b8932ddb6a5d3bb7b3019556be",
+            "5784aa43502be5cfa00e65ed1800bc86cea1b83db7b99737a92e3059c0aedb51",
+            "e05d1e4da035294fb1b5185492276e323b43a33c173dd05390edee2726f82f60",
+            "480a6f9e635cdb839e9ed2fab13d22291dff3c92ae99e1bf514439b370480f24",
+            "acc5d491964faf3f4858dce3bfe338199f9b5469c1ad33e64c2f0bfad2f0263e",
+            "e14724d931f179f9298c723043307a99153207ec425d4fae28f78becba7c0a9f",
+            "756d4aea97736b83d6904a6d96d22e8026d24796d64d6806c2fcc478272c16bc",
+            "8fc292a32ac35211b4747151ed7797cdcc9cf7edca0ea697f9cd9ca9eb2bf906",
+            "0434560a038fb3a29aaeae6531b7190a9a993f75cebecbde4dbc5d9f248c16b9",
+            "5c7e3540a665e15247dc85c88bc06f2514da2cd85010ec820cc53548ac751009",
+            "074e2d12c8900202ecd6b02df395375ee6343d1c04c22982c214e74d38fdf51f",
+            "cf2f20c22b8acc270d75b060b45b3725d2a4a0bc4dc33adc9feeec336fa84f31",
+            "bb67a42d62cb5389aeb41a0e18d26046ab4f20feae70cba114ddffd5995ac3e8",
+            "ad9733cd531deb592afd4650ebd20d8c967ea49693d2954151a70f4a4edb68df",
+            "572f510d0485395c2ff610cd031d238c3745f79fe98a8f9fef5b042c24e57b69",
+            "0ae9ac017e10c4d6256d41b99b5e771d7e8acf05bc1087acb58148a8ea2e8c5b",
+            "691315c9798b266ce8aaff0a6368a80e40c685c1a8e3a54fe139131f4d6da7a7",
+            "aee4c8330dd8ef28010fdaf243964d48dec427871626422da8d915843534755b",
+            "57aa82c0185ff3d73d91dfcbc6bae9b5d438cf064ed0ea9489d6b5de7c3df531",
+            "79ed0c8a9f7d6b06e75ef023d6ca5a32416a9c8fbd5a75fd97ea1c0e8f7a5a30",
+            "23f9afb28b6b7349cbf502c2a6a1ffff117d2b3a974d8705b99fc8717108627b",
+            "a6f0fe4aec662565f32d93874690023ebe09aea9a887b330e0c64a18e41dc966",
+            "aa5a287a1749ab0ab4e4b56048c738b95df8f4b19a82378847a39ccb5eb42315",
+            "09dff44163511e71b0fbf539655ece1940bd80039bc8743cc922699a37340b71",
+            "567b6eaa4c3dabaccdfb44885a6a4cd345ce3ffc6a201265084c1818c0b84226",
+            "881e7f1a45e2d7ebf74842b131573da24478db0c44ddaea50ca20007994387c0",
+            "e9a98c513dc38db66988ce7ed9fe730df4ba5297f2495c77a54ad2aa9195b9e6",
+            "f7484f28717752c36583df6d2167f9861bbf8368ac7f18b8a7c41ed41f301f37",
+            "c0c4a04d19b7a5f1f33fff97f49a9d0245c4b14d24c3691cefbf46b76c064d7e",
+            "2b86fe6715dd628b59d2303d2939369a6ebff338e7c9a3f41a5e76371e70d56b",
+            "3663dbf64c23ffed29746c390953bb4c54f0f3154cc9fa65e7bf6acdf7249702",
+            "8beedef6ba5098ea3567e7e9dd3ff36fa7ccf418f7a8dabc5cd1c8df83ac946e",
+            "07ee5dd2f228e5d605f204a0e607fde140b169321c49486f64ef0ef3498defed",
+            "34ca592cc7c4769ab6ab180436ace3d801b26463a0915b253459fbe8aacc7ce3",
+            "2ee6a26bbed8f2554b909b310e8fbcafea825d9016c009fa785f34121053ae17",
+            "6dd70277e9e05c3828bec89c4cc94f2b256eef50554fe78b7bc7805ba0c77d7d",
+            "448a4023be7987eb4282a5534d6369f7e8ded7ddb3cc29c537a4e09ded04434a",
+            "338e654fb02855abf17360c328f02986bf949d898b489ea7b9b29ce090fd1eeb",
+            "bbd12c331fb019e0c84c5629c0b4945609328a196e3862f6f6dbadba31da81c9",
+            "06ea156efb68bae0ec77525ddbd4eb18c1c97512cf524cdd7661286b48a2684a",
+            "163b26e0bcc1ebc83d620624356e8a535ba4a3130af719e57a4dad9922d0ca1c",
+            "ef7c18370144ac600fa593af56a8a849f7070b91261415e8e3cad6bcdadc80da",
+            "f196cd68d51074be3989e323fc62287af695b781697b91b658003c825b426ce6",
+            "a763fb136aa3978b7f47acb90aae2c6bb5715e8ca5ef1088d7856608c8807071",
+            "5bdc9a08c76139479780eda09106fbec03bd5662c1817f14c0893abe4c22c798",
+            "4d34d526ba5ee10314a8f6a74f7fedddbcf0ca79986c20a5127dbb08acfd6c43",
+            "2c2899bd893f9611640844c56b404e5b91768151cb862ff497bb823c505d568a",
+            "be30cb63922297543ed6c72314d3b6ec3d849d3c5d28fc3590ad44ebd82c4f0e",
+            "28f1d0d25c8654cd762a439d6eb6f3a6896d37071f406d8edeeb4c20adee20ce",
+            "f6a81369acf1c84e3cd6bf3399289323cb47848984a8c96800c0682fc1055a04",
+            "94b9c4a91bfce96cbe773c203dfdf22d1b015231e91dd478399c2586be6a3e77",
+            "526ce466755c525287df1a2adbdbdf566c896d79150b9bc7dbe65936e83abb30",
+            "57dcaf9ddb9d8b054aa5dda6a0c9739439362e898cdf22aaf9f7338149f8cbd7",
+            "064ff0d84035d834f9382eb8b4ad901fbeb4aa9fe816d7c36a34d56af41817bd",
+            "d97343cdd389cd2ed9d0f1358d2bbddc2752053d95eab3e16e99423298a4371f",
+            "f9deb31f0f9b98cad69111389734d43ed4fa86f24b05c9f2d48a78ea7a8708a3",
+            "f962a89d04810a6c57abde4a8d3182d2a31c5d0f0ed3c37c053abea1fa223f31",
+            "b62ac1b4b282eadf241f508bd5769bdd440b274f967d6ca73cb685ca249bd287",
+            "57840b0da13c3f6f67e587689ab1eac913c17e91d493d1ce9ff089e8dccdfd29",
+            "e3d1ce3b9de0fc9b48f2432d5e64947b5b24c3acaf1166f746bff1c54a028b9b",
+            "d322db4b50c2c1bdbe0e22ef291070e20c93e0f7199c184f5ff8b4795b55cbe9",
+            "88371d1acc9bc3b69c1d1957b27c9aefa3835be37bba74a359c35b1beaddc2f7",
+            "3486da81fc55b7e285f23e85f44c481d780090285a384cfedaefa27265a236a8",
+            "c87588b38d18fe9a5c563e2ae8d79649ce699607a891bd41b68194ce4507137d",
+            "d6e3d356d491e5f3dbaca74cf11aef9bd751b36737feb34e466b707156b0d779",
+            "843197ad039bb4e840b949b0ed1e5cf2230829366646a92ffc53d63e26149867",
+            "b0766042c55d7c370799af987bed01fed8a417f83bc67e21d1366988aa1af10e",
+            "b788ba22bd4225c24f95821dbf1f467dc2b13c7615b0bd2b00c3b234b7519539",
+            "91430345496348280d29d11662aeb6048fd7596fc6304380b6154494df30d154",
+            "8c1be7b4e8fd13181be0c4e46350a2f972e24acd13427e71c15e60dade41c28d",
+            "f87a9ae1d7dc81f88c5891890b889aa7212e172ddec092182b7de6f01e787d7a",
+            "b6a42fb01b464f31f65ebc10fbc12fccb051d8b44cac51a6818d3aedabea07f9",
+            "4a820a780053b6f65492691e067e236adbd2a05b467e4e3f2ed37ba1260ce84f",
+            "b07131192ab22510055930477ced5a10698278b2e00e3f711ebc202db640bee4",
+            "5fbb00d9b2952ae4f0fed217bf2d8603872d8fc93073d99f31d8815539121987",
+            "0bd48e207e95be86ea4e459c090a75c0adac8ca31bd2b631043854551b2c4392",
+            "b11de5874aa62f939e383179c3ea1b34d3569ec6ade901964393b92f8325ad11",
+            "8cd692618bec00fbbf099d570561201a2d0fdb601050fd20e198ead478530675",
+            "19345b5fb5cecfc86e4db3cb8715cc7370e81796d70f11ba150a13c5ea8e4c37",
+            "3ad0b3549b82f93ad869a9341397d394c1acee5e18d94a699b118094dd7a9a70",
+            "32220b1bfe511b9dcec64d7ea8f4317e96b2d0cdc10bcfa55cfa3b63ce64aab6",
+            "0cca9d955282f37dd60e764c56b52cbad90b33ec2c2943a7e5d155d35b0417fa",
+            "40d00274aa5b28039b0d57d75a81f174c0a31e4be2d324ba79a64b79efd4e411",
+            "319d00690097314e26638e2f4a6d848f50d1ff2f9d6f755a618eb31398ed373a",
+            "dfa47fe83d195de69774c841747f6e7ea78d6d91297821dc9b8ee5fc625cfe2b",
+            "5a497ad4d83218c29d4f22781a54d9e1927dc414f7cba6f89d794ed047f8b245",
+            "1bd3f2289cc1bfa889496ca5074991941263703a2517281734f33d0ef1050f1a",
+            "587a689c0312ac0f6d98de7495f01f34428cb128e73875a71508f7d5874415b4",
+            "fc77f013f48b454d8703f25f76646f74b74c9e4f8e5d542bc5f48d98c6e51fae",
+            "a2a7af80da34233233ec619dc29366b40a9e55ead63626db185524f2415761f5",
+            "f180a77f032bfea9c7d152438ba830f19e1bfc88481a56b9e554c61d2cd64f6e",
+            "cb70e9a1b44fa1f13f3bcc5290e6db5c8d6eda83602c9513e91e779ac6cddd3f",
+            "74f543e29e519871aabcedb9d39c953d5397aac456c3c5e6eb0e10e517989eb3",
+            "c983c339bc6881a1e6a0b2c6a794de858613b91318205a623dc61d80c2238036",
+            "97c5314218bfb458e1fb6d1a33c9ac75c7de152774a736f6c5874657515ccfcb",
+            "0744dea5a54614d094a6eb711ff7df94a180bfdeacaf330e31d9466cd51aeda2",
+            "06dc1ba86d3fcb46096bed80d9c5c558f79a5a33f4fcdb379f1567b1271b64ab",
+            "aa48541c8cce586b7a8c5e8ebe3cb607d1c283ef8940b7d4c7fb584327dd177f",
+            "a9d086126128de76e0bafc06ca465176ed2884cb7ec963457fe106346b8094f9",
+            "637323a350346cee17c66cda9b8b1be49d58350b0a0904bd61e5af20ce611df5",
+            "aa25524f30b8e84ef80b52064a75ca56cf438e67e2696e360d683c03e85c4c6f",
+            "9b5371eadea2bf5707f730896b4766a8b56012269f1c02c5df9d0df1d1cbf696",
+            "d527de43dc2dfdb271c213a927ab31c08b1f063298b211b6b11831a4dff51922",
+            "5ee4f0b0ba2c39e7071bba12da912c1ae213b8a2cee0bb437afa500328a237d4",
+            "43d3388ae21433a62d37d4c92861c125683f03a0edd9d1afaa56a42a7b793dc1",
+            "cc8161804d4c84fe4c4f7210a16193637accc1f791b7fc7be026c07177b7da4c",
+            "4bc68b77bfd52e96e8db4fb7293a6d4f396d234eb4dafb625df76bc8f1ba1c7d",
+            "a66e57d86751f21d11652bc991ffe476eacb638f38f95947b723ac9448c5f668",
+            "278e2e9a97727da969f8d122576dd475c43141146f984e3af997600a013f19bf",
+            "3152613ac0763b809bc99a50b728391cfe19d2cfeb27ff47a1e3671ed7526a3f",
+            "06168cf4f7850405f47bd8cfe013dc077b51457b355698ea3407f998cb561c2b",
+            "44620fe943880d4498587b283cf31a67b85fdeef53f59223299018c3666ae32b",
+            "eaa4fc381ad8dd4a49b66bbe7ccb050b2ed8735ec0d5eaee4f555fce0ff39a8c",
+            "68a35789d8aa7b4f5293eb06988118bf39be4f0354e6dd89674da130c4ff7911",
+            "3c9cfda0c903ea8e97a9bdc2966dff555df6580479782ced9ea934837e3bdb5c",
+            "4367699c5a75ef7a22a52ca8d1b77e15ae6c8c18b2ec5fa929d688281ff34edb",
+            "f020689fd3ee8e3f51d12f177d80fb80aba8d3435a9f58e63cf4caadc02eca10",
+            "06f7107e12e2f2c7151d2c38ca31adcd8690e7dcab4537b37183561a9306208c",
+            "2f8516c90c01cfb4bd29a3b8ad1b61280436a37804b24929327cb41d8eac39aa",
+            "8f51fe6438299d6f935f48d1d0991270ad477174195aff8574ef587a45038efb",
+            "8d26ec62881cf7efa89509047c178e7b920a87cc4bfb9cb0d6d991e87ca22124",
+            "ec5cd96c01771e651d9e09445c5df8af453e475da75f47a583a1006e99686b09",
+            "2981a228c15eb8a02d051bad6ce39736dd5f4c3f63a979d997bc23086105cbaa",
+            "7055c8f3c6f41ee3593da37fd92332c561907e07a633b9ba7bf66347cdccb378",
+            "68b25a8b5bcd76f92ed9473318e67e752b5898eb6b34c4a1205b77a88dc0214b",
+            "435b8c03368213b50237bb6f7a4dbfad4e7ba8d4f3948b046a5e95ff38c739be",
+            "f553b646e7933b5f766d1187c3bb1aee241ea0734ec1c6addc08871c43bb7c64",
+            "5f7e12488b0d469ffbaa32d1fa766352c8672ccd9e81f503480cec626d1f88b3",
+            "86fed64323e502425165fd4b319a848da156ed4e1acbec6ac706b8f5afbdc1e9",
+            "3273da703327df23094325bf9a120c3bbbc9388b4bbbec32a24b768f4d02669a",
+            "cd57f10c8a3c69b40ea2832dc35837d8a7521f2a17b2936eccaab7d5bf482dd5",
+            "fe62a9ab0e66c65344f94de1006ed30505bca06dcc7619ca717078a09afafb91",
+            "f83f5339fbbb59939406f37a8053030f00333d809da78196e1dc177209fd0e70",
+            "9cfce61b0d63c05676d62a7dac8c1362d78e2e686d6a8b53c56094bb2014ab96",
+            "dd387d649e718c5d7cd9618fab6cf60bae452924f4e0b36b9b9ee9d4b9738ef8",
+            "b4e9704f8937686cd738c71fa7250b970fe64be89c75e36412cf4288e7911371",
+            "b2d3838be418d29c1ebf100d269591a89b6e74f81b822cff71d8a9d9548dea0c",
+            "e31733d8cd5174ecda373492fb9ed3f56fffdac8f869380c06ee9f185821918b",
+            "3c7b69a99d3765c95a713d27af4ac28d7808ca92543062610bdf24edd3643790",
+            "cd639186013fa4488043c42b05357e82425a3e889ac14679eef46b7388cecfd9",
+            "0ca04c8edcd2d8a247e575209a9e5c8a1cf86c39e6655d79d6f85ef41556ef71",
+            "d8cb785d9bcf0b1a8289362c5badd0db084f2efa3d831fdda8ffbc5cd423febb",
+            "c932a2fea0cf3a50a44090757e856ecaa4914e385b566787b60877f04c947002",
+            "1d3d7b3981fee634842a7dc05f5e4d1bac279c0ab8e9df78d768f43676186340",
+            "155e5683914f9d0fff0323548d9a531ed582e72414b934e57edb656579cb05e7",
+            "486352981492eeca9626588e8aa0a737dedf797d83a20148cf86aaca0e5cd660",
+            "692125735f88d08d8cec81e5564ed2f20d88422cb693407e8b569f2b1e07050c",
+            "b9195800d5bcce2e36a49a8f49f1674d9913dcb526cf50d1097ce4bea82407fe",
+            "92d25db73aef0c89d7f6d45a21f56bf7c0b3854a0c8d19db7bc7247ed2244f78",
+            "9eefbecbf32c98775e957013ff48c835781e52d91e576f81eec2c079bb61acd5",
+            "9a71eba84ef99ab18d46121f3d387888c2ebd4054b85f3cc2fe90f8e75cb6538",
+            "5fec8b431826e32ff8b6d3da66269f1e8561573bdbc8602f3fb20fd5e1bd8f44",
+            "117d803b171807fb6ea627fb8eadd75abcb20606fc3acfea76def5897a986f35",
+            "71a5b2e0b33d5bbb1ac73e6967b839cdfbea4de2fc828ec34ae8e40f8dfe96aa",
+            "3175ca255e0323924a203bf8aa949691546196277c5976052ff0678a934fbffa",
+            "7b355ea64f6dfd26a0ca7c433c31b1368e70d785f31c71caff4df6883245d409",
+            "3f00299f644f669c39db368d2a0df198f572ce9c8c08c85a94fd8c7db9cb5500",
+            "3e4b1620b66257264d51007170e6b0c49729b4731e3e1d236d188dc325ece52b",
+            "ef62a3e54636bc30ce5b75fb14e4753986000fed2eca3cb11aab716c88729f31",
+            "53635a42011bce8fec02af0d16ca0cf4b994332d1ce09551b99693a1ed59d247",
+            "0e4f65ec98ba41eedab3df06256eb227c558f31fee052a4266b3539f7af08275",
+            "23a5e489bbb5740c0c685591e6b73a7096bb238cad11e8d7e84fc9f4b7f55207",
+            "b92a8731fdc1bf7bd7bce4084892f87e4d9174acb204ee163cebebcfcae6a5d8",
+            "2e55a819e3b67123ec2edfc304418d7fee50dae9c9b922c3a5d250d6f7c9662e",
+            "3b6aa69186293835af4c700678ee9bb810de2ab8899c93cf245e01537742f5a1",
+            "2377ef08168881eba6f35e080a5fed4608aa733dc9670f59d45ceee5ce08fa47",
+            "2f26d70299414d84d00c95be2fd40758bce2e88a1fe89bedf898395894f501b9",
+            "5c2048320f765e1756e7a743afa544a602d648311f4bb8495f3d43de0f8cea49",
+            "e08780a749f547c02460053e2a258b64f89ad494c042171f2e8a426f3c9a0520",
+            "97ae7d3c4e6969d04821c5ed50c21a914379c1a1b3b5e5dfd38b26438e249f2f",
+            "6e181d25ef0f246585e55b5eb77c8e6191fb135af98e816b0abd841134bd5d57",
+            "271afe681be4d6c7c09cf9b4010888525eb1efb66cc2501215894c15e2898519",
+            "e8e670d05231f561f6a2ea1c1e08a560a96bb2674ac72851dc29da697ac169ca",
+            "8726ea1166fc378ce1bc6bc99ba52e93416fb5d1fefd812ea29de503077d548f",
+            "3cab3aa4cc41da609f367c1c57db872b8cfcb7b2f323516266bb3d8fa36642b4",
+            "c5a186e0f17d7af521efa20982916fc813e1b7d05295c3da7730ef6b5a48cab7",
+            "1738964f08db1fbe6b5965f7721be058d80a4e1ec976ac743059a5b31d6cd7a7",
+            "7f10a07aaba3a86425dce315a22df012363cd11065229f983530e2156fd77442",
+            "d97c168cb31e3390b66dc4f61020d70ef36ec9bdc679c2b64a79dfc648238207",
+            "0db0f54012e0427209e8a7b14f787419a4a6cf8cfbfd7e985e34898c1dcc3b5b",
+            "82d9cb547ff915752dd430f4b91c03970ed3cc9e376a93aafea77e196cd1998b",
+            "88f50df0343fa95532cb3b9d60cba5cee24c7e245bccc8ea06d8803d43f99f75",
+            "525d6f86a91046bc79ec5e19e21eeb42edb94aa9c1a3a6ff669455aebbefdea1",
+            "a8387bac47d88608c9a58ab2916857b9fc2fd8a1d52fc5d16f79bb4ab8be40e4",
+            "57ea90041e625ad5368caca533f024381987b1afd81d092b28eed73f0c8c5499",
+            "3eead9155ab4b5705fa08efb59ff16f1705d2eca4a8d707e4f633731bdccd8e5",
+            "e1d445eda8d84d9b3972b06b657c3be233a2c77a2cc146988c3d076b11b2f906",
+            "0e6a4376c4e70a27e5bd632511b761c70d8fe6776f93691d26262e169965152d",
+            "94df997fee522b612e12ed3596618cf27aa3a3109bb459f16eb6b6c136538295",
+            "6397f7955219931bf05a5b8407360c4b71ae62002aa273ed85db15276dcfb613",
+            "a3880c761ca9d0019b08cf255540fa495d5d69593e9bd73fa6eecb41dae42859",
+            "33e09133f59de09d87866389533ef005fc2c34de8a4cd68ea1d528d3c6df4165",
+            "58ca35a7300e2d7edd5acee6de464da5593d81380aff9e99fad2bd1d8c0dee68",
+            "2d8220d8b7f51f9f1082d903f592ff051faa4c37a46fc131c31da1dd2a233ed0",
+            "0148345468c538297511e912438b1ff6f0bcc70d8058f87ff70b5f944946395f",
+            "cebf3f7bf74150ce4fbddbc693fd6881a8d18aacbb54b8e33097580fb330e273",
+            "b8213e35bb6cffbddb211df8497d7c37f33a800f3a729846b041155c2f82c7d0",
+            "33c0d02c59cebf05005b834b6354b9d11184238c087a253b86e5479209a57d61",
+            "cfa8f4a6860419485b27245e5f66228003a0f4fce6797dc9e7fb5d938bb61100",
+            "633e780f4bf491dd0635d773334d7d2ca15a670d0d78681871dd88d77a2132e7",
+            "0b51f52c0d43beecb81fb62c82a17850a11aa6faab7527ea4833efffb0b4a8c4",
+            "c295b4b3d54eb3f602e5b7b6f302dd9c66cad44282af938a158887a4b64e6400",
+            "a9979735925dbdc75c01667c69443c96f645e530ca0fbb182c1d515093799d43",
+            "9fffb2f1348a76b735b269ce0961460b780c22882cf471ae5f1c1fafea3ae48f",
+            "d06f59868c9200c0d32396ee176a3260ba3940e0fef382b1edeb189030ab043a",
+            "44110d2cf36273a7c292ad5a9fc73bfa40d5de4b0188a8bd5d28f6439e078ef7",
+            "7fffb43180730947e0ce0f17899806d2998df9a70c9f9850a0bf0d5ab97da3f8",
+            "93b7d5e9121a06853fd8e0b65a846bf7497ec5c9e769db2f721ce40770a5ad8b",
+            "e3c15c181160b97750a748f9b1ef062574f0899d602333c7c543efe7be6687c6",
+            "483fc4310a9c5e101c6e1592299caba75d191c524516cf48094705cacaaffa1c",
+            "e24b115dc5e2bbaa03a956e316f036cd74f284a2170c98d0524b212839ded525",
+            "bc6e44c74a39e34b2763f04641908744dda340b8ee026c24e6ab18298230dd6f",
+            "646e8841bd52d5e6f441f08b068b8d3a1ef694e427bd418008dc08e55f9263d8",
+            "27010201141d9d2123b140bab4c05d1e60884510022f11e83aa5aefbb5fddc66",
+            "0a34d5ebaad9e855f386b3362d8dfc509d0ffca45877158261eee625e687aea6",
+            "ad133cc1b1af014f3acdb5852f7efde5750b39eaba1978bd391f0e620de02e54",
+            "210d474dcc58be7f5f81155c0b2135d26047b8bba3b413b2aa20485e4cce68fe",
+            "0158e2507ccb37e5302d3d188bb58ce6f7bfa56a8d84c1e2f085796719fc3b9b",
+            "2c4418eeb0fcf9317e8266ce1290919cf7785f09ec07efceee9c9eb31eb2c785",
+            "4b325afbc98d6f4510cc2e0bb3e957113ae4945b81d29caeee539c2da6f710e2",
+            "7d6fcd1860fa72512ef76e0187dc7af6fb467cfa2e96f9601e0e8989c38994c9",
+            "88260afe57f54f14752828d92501cd736bd27ff95389912283e88faa97a75269",
+            "529b7bf7e34de1f5689bba72a58407f3731bd2cee8af78a53dbd15497faf9d40",
+            "d5066d261ad12b1f8692fbfc1876a6d30837395cbb121351d9ba61cf1b20cea1",
+            "b0f968a432800d13c601c7520bb36cc9ba52b24e2a09109fecc34cbfecdbe9ea",
+            "f82bb8ca1a7fd8998886a8fe8f00084f108125394b9621c6cd19d92f23fd8c3d",
+            "53df3ed8b2dd7c46d8c42882a6096bccf1d6c966cbef8158b45f4390085a00c0",
+            "117aa85101fd69718713ffd12a7b4cbaa9bceb86cb52731e69ffb9ef83f80750",
+            "10662bded3a99140e896de3673635e5d946b0536db96643d0b4c621d7d68f56b",
+            "06b6066af41823461a0773a4018a93e9e7dcd71afd31331e5fa650b4fd1ac2ce",
+            "eca317877601cc31ae62fbd401aaae05a95ba092256beae0a69f90f42031dd40",
+            "040ab49439c03cee7663bd46349400cb389c480732f583aacabd8aa2281ac141",
+            "9d64998ae03ac69c2d6157548cf8f59eaf0ce08f10059bdf50ff8aae62dedfc8",
+            "104e0c71e792ced34e2811d7ec98f691d0740d260a8479c5e352e6d6185581ae",
+            "09d6c766aafeb3164a7a719920d7f9b871deaa9dc84691e8073f0db23975da39",
+            "40a86c0d81cb5654b51d4447a6e348a246decc7780581a9aa2d60c2f768e1de7",
+            "378243809750b9f1750d2d1f0f9204ca18d490e7458afff003f86c8cbb255dbc",
+            "90565ee1486201dcb600733c58934abb476fb873581c0e3dae8aff2ea1ebfe5b",
+            "f5dfb739730436eef0a9ed0f8c1c7b982469df5d6c042d321de52ace8d3a2c15",
+            "34c56c75a6772748996ada2bb9f2ed985d65a7c6de0087e220f45285846cbb73",
+            "42fad701f64b0f289a69aab6d432cf25ea365f4966a478216977ccbd5e25c19b",
+            "ebf4109ffcd719505b5871ad734ed07d7d1718a173977d31106050ae7bef2ff1",
+            "df543c94ec4b21c6fb74b805b76a1f3c855d222faa8599c060f8c85020e320f5",
+            "ce720073f337bb4893fa3a3b1e2f8e86696e5179617000f4f47cb343922ddd3f",
+            "786a19bb3612b1d1110134aefbe6968e75bb3340fe8d3994fcbd0e905bffc18c",
+            "256345974cd78d13520d2e43ca98d1ca0d650baf88aaa6b8db75c80e6505b101",
+            "2648c4f69b677c285297aca3107a6770c0a4bc1689dde13e6b5b59e8af91940b",
+            "752195dc0695f44531be939deb0f9940a9eb5273117c7705768c2b5edd6a70e5",
+            "1e4da8e8647caba2f3b358ddd5c25936b46d87b9e118935597be60fa58c6ca4a",
+            "5be16077f567b7bf0034e61bcfc0311887588c95ce57c0e2fb430dfeebb93736",
+            "ad205a52efc99c249042c9a2a85f6e39a89ca00a1bbbdac176bcbbd2f6ac6418",
+            "41414f5074402bc65ab7cede304c467ea56456ccc4d5a99f74dbf698ec80a014",
+            "f0a24dbc494b779606b3fae942042ebb6e42d77cf188d81f5e0895215f24d975",
+            "ed67e0034372067628553cac0f55d69935203f102d2eae5bccf3e9fd6f8bddee",
+            "1544c144771491cd8bb6c79ebb199070189032a209a17ae0f5df17d95e0a48e5",
+            "e2fdafc580819c643c0a89d3ee89d934d4131d06f288295e946b93824e098863",
+            "6b16af8419f1b67c3d8176c2e2b6adf5ad345d84c797d4621c883d12c5881eed",
+            "6101922fcf4599ad00260237e8b14904716156d58a25c638578de9775f6546c4",
+            "0211764bef038cb43a5c8b4e4e1c2189e29c63acc195a8f18f5f52abb6c2d896",
+            "9fdd3d266a5a068ee069bc4df1c9ad13f5dc11503fe9730fc069dce86d2d0cc5",
+            "501185fcc47f5bc79f11c17aeb48f6a069298e4538f48c2335f5a5cb18d3d4f7",
+            "9039f3d010b09f603ec640edceb7861a36dab4b82364c69a208040c3ede48f17",
+            "751f234599524ba682a48181293f9f24bbfded0b905db1400c4d66e287ae6470",
+            "c739f4bf1f227963dbdc0ba653351d9b1755ac4b30e4e1fc29a552d1763752c8",
+            "8e3b632fbec986c803e343ccfb4c8a13c03b04f6212cbe161efe5d5976eb71d1",
+            "1d20996dfd8ac9c5cd8de5ece58b61abc6e482999a720d8fc6cab8017adfde73",
+            "74468a7e1be2e9c78afffcbe10b6673e7522120d6679186fd21614fb8d3260fa",
+            "e47b686632ca64ef9e44b6da170481087bddae257940e54aeaf807b18edb4120",
+            "23f33513eef75806f25e55dfadf2e09727569c6c57dd020b686cef0c9a6e8324",
+            "8d59bb2bc1e8a2546b70e875ed5138dfab8f5209888877a7090294b3ba3e8adc",
+            "92bc28c793c6cf7200794bdbb5c3c821fa205ed1b4b06fcbda8d0124d28e3136",
+            "cc61018d326cd22a23b07c05db51cfb87618046132d4bedca206cdafa063a20a",
+            "b370ee273c4fcdb5bde8fb9ef6ddfd45406447ce19c748e418de854c2f0362e3",
+            "6152c270f83886cf3f5761812c6d8eece4cac8c348230c9b42dd271d1e3f1aba",
+            "2a9b0d00fb1eb5564fd96a8c1369f9f8e1d32b947cb59a334d47b32c6d963897",
+            "384c35175bd92ed2c097eebdfa72395a309acb7aa60c390ec3eb66773b661d6e",
+            "573e038e86e51ae46e5a7992fa652fb4b92632a7065260e12c46d1fd6effefb6",
+            "005be3a45b8fe905f0d1a63f1306ccc4eab8191d20f6f5a805f4754c20ef2daa",
+            "9a60982d54be5edfd5af1bd9f7d25dca0be74e77d5eeb6eaf37dcfe06cee188e",
+            "676257a1528797108e3a5fe031627338e9f09b44297e33aa1463cf46e5bf7db3",
+            "e7a241cb0337b1b02a56acabcd77baa1363feda4f01cda38d460822da991e3bf",
+            "7ac458257132ccc040a84b03c9fb7b9ca4fbe0579e7d3428f584da04b5b33527",
+            "cff2be050d602ec4623227bfe5d17c81c6b4da11e8c00ad7f7ca7d4c6acc878d",
+            "c07b292e4500a3ff9845bb55d6d69eae602d939e7681ae5d65effe80db4626b6",
+            "47136ecffbadd0a856d93adf53a2e2b675403386663bbe766bec37d313c87a10",
+            "eb1bacbee5fd2a2b50535a70ed300e93b90491d7d3d29d2f1f8bc5ecde0d7839",
+            "15e2db68968bb0000bda5bb3747451926355e9cd63db122bec12a53fb15da9e1",
+            "1ae6a3722ce9c193df69b1b8a37aa086ec323283628290f7298871676d3c4cba",
+            "65477882f5794c720233a98e1e383d91deb070f0c2bceb95a5efe7008f854cb5",
+            "2a630b24aeaeeef20baede1abed05cc9c45794561239f64c6bc291afb4b16120",
+            "70beda84b736a344f503b4e25e0e4a426f31d7041d283aab464026dfb9714457",
+            "591cd0ffc4b3b51cff8621ab1458a478c0a0f57305f0551e9e5396dbe8f7d349",
+            "53625b2b7fcffc9568152e6b6d95472fe850ed163ab341044a0754334cf22e34",
+            "5751606d1ed8891eae9bd10c5676a54ec196b36b00f9b7d3aa9ab0ab04b5cc25",
+            "f9f8ac5616f2d1864a6599bafb5f2e6bbc7fba72d6aa23d9ea1e0096de9d4164",
+            "56241bac3d18e635913ae9db5fac9cdde4e28d74795a1ca77227354d8d38fe1a",
+            "e01cbe3312394d636a19003923a0ff3eea7f8d2e1d6b42f94777655add3fe9ee",
+            "d08709244798a43e91f24367176899d90f8678813ec8b822163c67e1740f89c2",
+            "7571cf1e503d83dd0c915f69b8365e94a1b37aaf98a37d08d4b90e2a3675220f",
+            "f43f4e2cf5990ca47a833947b671586123e6e73a57d4305a9b813a8ed0d2fb8f",
+            "12bd6bd6659343e3dd9e6666572c55724a0a9e6990b890b556fe662db9d062e5",
+            "9ae85f24c4abea079e0223f9f05355dcaf5fbb396291c96d5c3b016099e84bbe",
+            "495097c042dc6319f9f6480ad049016f113b9c5cfc6d612e04aad56934b919eb",
+            "4eaa8cc1bf14b329db1097395c1a5ecd0f6fdf5a5de76db7f0339ab9b2c491e4",
+            "9d9f56a74cd94f45656c40e09823308aed0b4c9e745203cd5950138713026939",
+            "40797ecc115fee18a4608c9efa1ffeb81c2ee1c4842561ef61fcf7076f1ffedd",
+            "11cd767ae016d95635cbdfe08538b9347337d6b0847d12697075584b8d0619f1",
+            "71cb92eeba1ac9e0112a7cf621767729fb77eca209140f248c04f3ca1b0918f8",
+            "e44a0c43a95543503268b2378dfa0c9161c522c62bee65fa4f4a238875c64b7e",
+            "8715cacf99e5b7a106cda39fd2b6c96c2e5022974b0f66de7d6a15ed2aaf4eed",
+            "35bb68dde977abf2784e33d1bf3052893a358a43a8b258bea6a7318b1dd4a310",
+            "b5bb928fb28bf9699bfbabc626fc279a9ebd1ce6b63c993ddeda7b9eb2f8cf27",
+            "3fc619d1072c86c3df178b90349411bfed86c49dc777f030f2d27e3100394b00",
+            "05ede74d5dcb911b02053a895751f92ae86743298c8c6d8c5811de191cd4e5d0",
+            "18ad4372b90d74e60d68a00e4586b0767c060f9c522d2016c515cc5754eeb06b",
+            "595447850210071d76266dff3f9ceb530f5fbdf38c9940011abb9b96820f69d0",
+            "3c80c4cfbea01760facf853c328821cbfa9635adf55a650b92fc41bcfb19c8f5",
+            "e4feca4d382344176e8ac45592711e4472f76e0667867d469c65ccb5be2c7a19",
+            "7d0b37fb8ac67f6752e21869e57ed1d8b08be8517ca53ac2835cd2295df094ed",
+            "4af613e520506104185fc529b07037168b79165ec93e37331dd01f306307a9b7",
+            "103fa19cc7adb309027f4eafd56cee2c11875358bb4d8d8dd2bbc2f3fe698bb9",
+            "ede21fac9950f370f23f2a674f795bc7b2eea5c4609ee32fa64d4239218b3d98",
+            "5b6014bebeefd652030b6f79d14252c51a6f1159a2b37bccdcd3e515e0ae27b9",
+            "dda18f566e40a3b6e882b5f35ed04328ef8288094d8151bcad76a8c228454f6d",
+            "bb06814f937b8f4fd23622931286468bccb770a49112c94b23f06e97ffb7aa05",
+            "9c629de1ccf91a807ae4d7c296108a9ec7880c1cd278e0da344061d329755c14",
+            "6dbf2e32d098163480ab02a98344750fa5daafc7c66adf4fe90d0eaeeff4f86f",
+            "4e93b1d6b6d8ee75bf09aa1789933ef1248397e1e3df6ddf8af74eaa04d59c3c",
+            "6e8f38e9b80a674c58e2d85fb797e0357cd1414528a175f8e06a10b15455bc91",
+            "d397c5433f574c1a5f9d5c219c91131f3823694a50e04a6a2d896458b76f2e2d",
+            "f50cc41a1fbfe1a27916b010ce35aed4d7f2803e571225ea1382facd5a603139",
+            "f375dc182eb989bea2dfe5c2e26a351c3e2c2ea5c8f11447f34004c5c5ca2f27",
+            "7171793b9c6db5102f6088265373a7c57778f18f440380255a390d5745113652",
+            "494461bfc7dcc180d454bacd79e12b4a12598e3cf2594b4a96001188df71f27c",
+            "4ccf4da37de3d59a491675a6cddcc6323deb914a8f458fe6bbd20f4ab824fa69",
+            "74d21ad3cac9cec15832b98239679ab6360d84ae3d2a36a3f02307d647e7719c",
+            "b7b45314da2fe600d6377531a57acfd3f5d44c2f0e8641d67f0c9288bab8a3ea",
+            "7e9025449366165d1e1a7a84b15c89acdb7220595af59d776716b7caf76b517a"
+          ],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.578264947980642,
+            "build": 18.75,
+            "query": 0.0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "nodegoat-benign",
+        "base": "nodegoat-vulnerable",
+        "tip": "nodegoat-benign",
+        "label": "benign",
+        "role": "transfer",
+        "capability": "javascript/express/injection",
+        "provenance": "Authored comment-only change: no new defect; vulnerable backlog remains. This label does not mean repository-clean.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": {
+          "case_id": "nodegoat-benign",
+          "ranking_mode": "evidence",
+          "rank": null,
+          "rank_kind": "selected_question_position",
+          "selected": [],
+          "deferred": [
+            "590ded4d9ba52b59e2934f3d461e45dfa5bd351f13c4fc17238297438fbf492f",
+            "33ab14574877d6a529a58df1926e358759fb4ee1ffbc68146aebf77a895c8eb9",
+            "489bf9f5f3a1e3771698cf111c0e7fa3e84f81848869c88a44cf3d19979d168c",
+            "ca3b943eb07fc11f6cc16228ae4e7813cfccac5dfe7ea9147deb0ce84677e486",
+            "a83d9fd2d4f399a40984cdc63e30003a73c98a6986f76fd5e22ed0ed7873c8b3",
+            "593c9114695f69035b4df9d566534e35fcfaa2d78a3e4362c2ff634580d6bee9",
+            "87ba1a35a429f850990db0eceda9996daf572b97b32b38e0f7ff4b80dec9a6b2",
+            "e9cf95baf8cef9a83d9da86e0bce276421ed404867ad948acc338fa759a3450a",
+            "431521d90fc22b7683173732598c39b94a25447f7403dcd4d9e17ca23e243a61",
+            "d331868f74b26a35872e8eeed4f66f3e34a29f8e9745fc14c1609cc3408aebeb",
+            "61b6ec72d6c0dddae427635aca3c97681a112cc4c5f8e4367d9f5864c6eb72b3",
+            "e831bbc3ab250e71270b1f5175756f39c2da662bffd68b2ed78b5389a4f23d0c",
+            "082910c464337b0041733c3c2733ad7947d71549180f9a0b8ad4172901469d02",
+            "14541cd08e0b036e4ab5caa442c01459fb03a6e3ef0388bcd0347b121effc6fc",
+            "da4abcaa22e13947dca90ac9156293bda9297423304d60d587569389742ce17a",
+            "29000feef9d494e003efdcbb6eab5410bc93ad2f4674df9db389ed98a9cfb242",
+            "4679cce5fa8da06bd1f9542b5a58321d2b090556cce83080b6e9ace36d352a59",
+            "df4a0610953efc25e4ddc4bc942688434be889411d073fab09015aba97ce2511",
+            "9b7910f9f96aa714b760481e46e543ea413d6e4763b858a3d0c186a560ad618c",
+            "298f3d69ca3e2b343c9cc5288680120b89e035bfae803dc6f6952358b6d0f1d3",
+            "7fbdc1e100a0b9078b6a2d6264bfaa596c64501b8c5ced1557b56a3d98e2b351",
+            "e4fe7eb3e5d57766a2c6adc79d46b9f57ac13ba11df7846cc4f7d62123a51bd4",
+            "0cc9059de118ef8da2ab45a3453bb2f64a679dfa33233f3b1b722b3858df789b",
+            "d561ce2e09d49013cacec011cf5dfa8c5f35c25c41085e856b3d5f28579ba6f4",
+            "7eb45f19bf15a2826d7aac45f36137de8824abfa9c0d5412da3c69c5d6da7a0d",
+            "ef130caaa2b3321cd12e2c8c39a27f9a868d2405e572fcafa5cab93900d9f97a",
+            "115b829e9b03431b06c12212efdcc2da02b5e22953e8a02243a8cd5a59cea0f4",
+            "db0e20f3ffa3b74105bddd565ba608daaea4cf9baba6b43a2539958e1a8be668",
+            "d2034c51a6d44b7b5cb553f2ad130441532b6be68cac0e829b74c4240aa642c4",
+            "1d7abc4a4a8c6023e1c5231f46167efdb6c476e4533ea4670a17ecc6c8d09c92",
+            "ba984e9deee4ab97a4211ce15915bc36e0e42907e21f40525be95c698c439653",
+            "ecc80bd3363347eac23b60a8ec50efe1a5defd3609aff7149022fac1e74524d4",
+            "7cead756038bdaf46936671d2311c93b391692337189bd9f3acb5711dcd1b594",
+            "d7044d436bcc3e7e313fb2baff364c8aecf980b28741afd4d020f858a47a3909",
+            "f0fb49041bdc02002b8aaf574a29a738aeb235ca0bc5cbbe9998dd9841e93a0d",
+            "f12e400682d1a222abca9d05f942a24394d7795eacc7ec322c585a0a6ffe69ec",
+            "5e24ba3194915f95a2452882fe928f834ed4740f8fa2087c7573b7c2f128a2ad",
+            "4d7554903c7ff3f7005fe4ed77f7e82af8cba218d3ac0b431acf14d18ffeb639",
+            "896720a23ec5b7da3163d53b517817cb01337cdad64d2104dbfdd3b3526f9c5f",
+            "e13de3ef10e25c529870483b67e47206b9cd32251e118f20f628eba95236d9c9",
+            "ac5ad3cda567527eb97dca35bb56d076292b88e20baa36d337967eb1f4f63dff",
+            "7c0bba65b77fc890e479add54e7fb0e9a7d145a4304d81f614536a8470d0a471",
+            "4ed8fe95db377770a47a2b3ad04a3a720ec21bdbd5222272ec5555130a627fbb",
+            "ece73e32fe91c87a001f1e41342e09378041ee876c8a8846a51347b8b607cc2f",
+            "8146eab0359ca0b822353b632ced69bf09fd449704cdf7c6f84440d7ca784cef",
+            "ec7c01083f1fcb35c35244172a005b3eabebff9c0fd1dcfb4372268f82fb3894",
+            "ca89f1fd26f88f845f394fce84527e83c6a4cc8252f30d6787e7c5ac13e119a9",
+            "c3b4d527dc5c4ed121a487d5e4e3aa868df773ef3b04200802f9a306bf67c730",
+            "9e5735029a42e23af56c2cc802655bf46c55bfebf19f19810ac16cfa15fc688c",
+            "a562474ca19fd4d4ec052396b656b092e82be7b1c002746f631cd9fb68b39ff3",
+            "22e26415a3768b1b12cfb9469b912d359d0804761ee7f1d02d281600373dc8a4",
+            "03548d772fd2a4030a9f595257333eb9b323f1057a2a0399ed15efea113e719d",
+            "0f5f635e19864fbd276fd3eb0b6460f86274e6bc52533594879fcc42c02e4df5",
+            "f95e55b8ae987f7c4b11837ddaa8dac8bed46541f6d8c12633b46fe915b41824",
+            "e77b04a213011bc3e9812f81c2d1266be1234ff91a72d347b71017e8ea09f4e4",
+            "f7ab6f0b570873d6b99c3fc33ab556f093d7f5e4991eac884d3e766a2c29b326",
+            "722bfc188cadc50c1485cf4ede13f2b62e93b08b16f42f2586c104b8bd3745e7",
+            "144c1db7c40aa0a420e02130a756c7793fc8fa5d33549a08c236ddb96bad2df3",
+            "6bb3ba6475ce8d11ff20924b69721387bb0d4bbce1b852e640403dbd750f0a8f",
+            "a08e3f98d65d0452a631a11de0ef53c9fb53492efcf3d8003b5512478b92b4bc",
+            "4e0e78390504d44716e20ff65cf5f16c1f1ddc2fa0441e503dcae1826c666529",
+            "0e143029eb9d5d5c30c3dc0fda147c852e68d4e8d407795a1047beb586723238",
+            "43e8934e37c9ecda6c36b4bee6af63f4269e59cefb5df30af45ae08bd93f5063",
+            "6ad6e59fa1a92132e095463bdbb461598c80b45af85ff453a6450b59b61d10cc",
+            "c2b3c06e92fa87731137f871b9dd0f867fc53156a80bbf00da955cf5bfe0fe7e",
+            "b7b9b9cb1194740a47fa214266a43fdb70019fa1308009589d38f2c7662aa4b3",
+            "4d3ed9000a9b5806a0ed641e2739166e3df18ffa1925ee396fbe25d29e332c71",
+            "bce9e3fb76d6276772f1f279260ddb2f673a4a45a08f13fbc75343d20c0ad4ad",
+            "f0aa35455461c8f75dd8ca533e03dd43ea339a7026f07407ef26b12c3fe6f44a",
+            "64c0f7e52fb34476d5e47478ff354845a776dd781a2044963cae3191bb18058b",
+            "9f9eb159649a2e07879e36c4f5eb5bbb38e337540c4b295adb4b59ca31e2a868",
+            "bfba8296d9252a696a7f8262a80b63019fd89fb866e3d3daab087101c9d7ebd2",
+            "6b6bc1f8b05dab47833d180de1fc7b40d8637a213c87af02f19bfac2f9439869",
+            "72261efc87c3f66bd420e106d6e04235b2d6a7b4c59ceb5a235dbfbf31d02f29",
+            "94e30a15524e236d04ae2f0238a72c0b446a48b7b4302471ad6703861948025a",
+            "fa59397c0eb909b5b269278b706ba8432004d786cc8431db1e27fdf9614211bf",
+            "a65d452c03e7a0e7bfc77d9337f0c3f6cc47449979963ca1173f45c619b7b812",
+            "135f8cdcca313308bc5456466706c561652768149ff61e93f241b383c07448e8",
+            "d029880ad27458bf1d443088b6afe399af206a9f412fd8406769198f304e64f5",
+            "2ae591e30078f1e045b446004067a4734acda37a9673dbac82bca972cb5f8c2b",
+            "b35cc9123b9c6316f72cdbfcd7945157215622625141e56543a4093c0c553013",
+            "c8d88ff3a98aaa4eba3756a5f0b89cdeeeda10e5180f5eee0d3ae2b7dd042cdb",
+            "f06f0c86aa4079e5d3ac48ffa9b50661a0bd2f4c315190b26f13664de494c9d9",
+            "627afe91ac03ff52d178f64eb23d372523f86fb34fcc0ca0dade6786c38f0dbc",
+            "ccab701536e7f9615e52f4b1a1c68a2416263ad8de279372ce248fed5d7868ed",
+            "bb71e211e99f3dbe040a15b22eb7e004da953ca61b700ca3d1c94764cb6bb80f",
+            "d799a15d3d810c39c4a519c59843bbb6c2617f559f8ebdefe801296e0819149a",
+            "d6a24a60b3cec846b01cb2c3a1535ee2ab834a09e935abe70ede278ecb1ef045",
+            "d1cae428bb382d9cc38acac1c7bb8a5e6142a46f5b0e6e2ddb1609b0acc66f68",
+            "c46c90f66921363f974dcf82aaf3b3410222ec081abe097417dd1a1accb372b4",
+            "5630ea72ee47272cdf5f9e3d1df3aeb499c357880ad49b26cff1cebcbbaaaeed",
+            "013a84070826e011c0b19953b3493276e98498b3837618303aff28475b38eb2c",
+            "c158a154e2b9394ee661d2f982e93af8d59543bb7da5c8d2c8e9c65905384d4a",
+            "a0423c87fb8581f1897c9a0c774c3881ba8775e05f6cd88408cee05d126ac52a",
+            "7e9c5dc7bc705ee6825fcebe23ba885a4be30b318195ec89e9a19b450bff86fb",
+            "c6c5a131a84fabe329dc50128240b463b18a4ea0af2d036bcc02d869ec57fa7b",
+            "ffe9fe5d19fd7233e88869bdd2f6fe00785a9b15d074a3f8b171a03121ba64b0",
+            "324cdf414ea58e6d9496c28b138b43bb18cd6e983fb7678aef960670a51dc93c",
+            "fb3bd242d8f9801589ca53c24a1b36b88ee1e6b8932ddb6a5d3bb7b3019556be",
+            "5784aa43502be5cfa00e65ed1800bc86cea1b83db7b99737a92e3059c0aedb51",
+            "e05d1e4da035294fb1b5185492276e323b43a33c173dd05390edee2726f82f60",
+            "480a6f9e635cdb839e9ed2fab13d22291dff3c92ae99e1bf514439b370480f24",
+            "acc5d491964faf3f4858dce3bfe338199f9b5469c1ad33e64c2f0bfad2f0263e",
+            "e14724d931f179f9298c723043307a99153207ec425d4fae28f78becba7c0a9f",
+            "756d4aea97736b83d6904a6d96d22e8026d24796d64d6806c2fcc478272c16bc",
+            "8fc292a32ac35211b4747151ed7797cdcc9cf7edca0ea697f9cd9ca9eb2bf906",
+            "0434560a038fb3a29aaeae6531b7190a9a993f75cebecbde4dbc5d9f248c16b9",
+            "5c7e3540a665e15247dc85c88bc06f2514da2cd85010ec820cc53548ac751009",
+            "074e2d12c8900202ecd6b02df395375ee6343d1c04c22982c214e74d38fdf51f",
+            "cf2f20c22b8acc270d75b060b45b3725d2a4a0bc4dc33adc9feeec336fa84f31",
+            "bb67a42d62cb5389aeb41a0e18d26046ab4f20feae70cba114ddffd5995ac3e8",
+            "ad9733cd531deb592afd4650ebd20d8c967ea49693d2954151a70f4a4edb68df",
+            "572f510d0485395c2ff610cd031d238c3745f79fe98a8f9fef5b042c24e57b69",
+            "0ae9ac017e10c4d6256d41b99b5e771d7e8acf05bc1087acb58148a8ea2e8c5b",
+            "691315c9798b266ce8aaff0a6368a80e40c685c1a8e3a54fe139131f4d6da7a7",
+            "aee4c8330dd8ef28010fdaf243964d48dec427871626422da8d915843534755b",
+            "57aa82c0185ff3d73d91dfcbc6bae9b5d438cf064ed0ea9489d6b5de7c3df531",
+            "79ed0c8a9f7d6b06e75ef023d6ca5a32416a9c8fbd5a75fd97ea1c0e8f7a5a30",
+            "23f9afb28b6b7349cbf502c2a6a1ffff117d2b3a974d8705b99fc8717108627b",
+            "a6f0fe4aec662565f32d93874690023ebe09aea9a887b330e0c64a18e41dc966",
+            "aa5a287a1749ab0ab4e4b56048c738b95df8f4b19a82378847a39ccb5eb42315",
+            "09dff44163511e71b0fbf539655ece1940bd80039bc8743cc922699a37340b71",
+            "567b6eaa4c3dabaccdfb44885a6a4cd345ce3ffc6a201265084c1818c0b84226",
+            "881e7f1a45e2d7ebf74842b131573da24478db0c44ddaea50ca20007994387c0",
+            "e9a98c513dc38db66988ce7ed9fe730df4ba5297f2495c77a54ad2aa9195b9e6",
+            "f7484f28717752c36583df6d2167f9861bbf8368ac7f18b8a7c41ed41f301f37",
+            "c0c4a04d19b7a5f1f33fff97f49a9d0245c4b14d24c3691cefbf46b76c064d7e",
+            "2b86fe6715dd628b59d2303d2939369a6ebff338e7c9a3f41a5e76371e70d56b",
+            "3663dbf64c23ffed29746c390953bb4c54f0f3154cc9fa65e7bf6acdf7249702",
+            "8beedef6ba5098ea3567e7e9dd3ff36fa7ccf418f7a8dabc5cd1c8df83ac946e",
+            "07ee5dd2f228e5d605f204a0e607fde140b169321c49486f64ef0ef3498defed",
+            "34ca592cc7c4769ab6ab180436ace3d801b26463a0915b253459fbe8aacc7ce3",
+            "2ee6a26bbed8f2554b909b310e8fbcafea825d9016c009fa785f34121053ae17",
+            "6dd70277e9e05c3828bec89c4cc94f2b256eef50554fe78b7bc7805ba0c77d7d",
+            "448a4023be7987eb4282a5534d6369f7e8ded7ddb3cc29c537a4e09ded04434a",
+            "338e654fb02855abf17360c328f02986bf949d898b489ea7b9b29ce090fd1eeb",
+            "bbd12c331fb019e0c84c5629c0b4945609328a196e3862f6f6dbadba31da81c9",
+            "06ea156efb68bae0ec77525ddbd4eb18c1c97512cf524cdd7661286b48a2684a",
+            "163b26e0bcc1ebc83d620624356e8a535ba4a3130af719e57a4dad9922d0ca1c",
+            "ef7c18370144ac600fa593af56a8a849f7070b91261415e8e3cad6bcdadc80da",
+            "f196cd68d51074be3989e323fc62287af695b781697b91b658003c825b426ce6",
+            "a763fb136aa3978b7f47acb90aae2c6bb5715e8ca5ef1088d7856608c8807071",
+            "5bdc9a08c76139479780eda09106fbec03bd5662c1817f14c0893abe4c22c798",
+            "4d34d526ba5ee10314a8f6a74f7fedddbcf0ca79986c20a5127dbb08acfd6c43",
+            "2c2899bd893f9611640844c56b404e5b91768151cb862ff497bb823c505d568a",
+            "be30cb63922297543ed6c72314d3b6ec3d849d3c5d28fc3590ad44ebd82c4f0e",
+            "28f1d0d25c8654cd762a439d6eb6f3a6896d37071f406d8edeeb4c20adee20ce",
+            "f6a81369acf1c84e3cd6bf3399289323cb47848984a8c96800c0682fc1055a04",
+            "94b9c4a91bfce96cbe773c203dfdf22d1b015231e91dd478399c2586be6a3e77",
+            "526ce466755c525287df1a2adbdbdf566c896d79150b9bc7dbe65936e83abb30",
+            "57dcaf9ddb9d8b054aa5dda6a0c9739439362e898cdf22aaf9f7338149f8cbd7",
+            "064ff0d84035d834f9382eb8b4ad901fbeb4aa9fe816d7c36a34d56af41817bd",
+            "d97343cdd389cd2ed9d0f1358d2bbddc2752053d95eab3e16e99423298a4371f",
+            "f9deb31f0f9b98cad69111389734d43ed4fa86f24b05c9f2d48a78ea7a8708a3",
+            "f962a89d04810a6c57abde4a8d3182d2a31c5d0f0ed3c37c053abea1fa223f31",
+            "b62ac1b4b282eadf241f508bd5769bdd440b274f967d6ca73cb685ca249bd287",
+            "57840b0da13c3f6f67e587689ab1eac913c17e91d493d1ce9ff089e8dccdfd29",
+            "e3d1ce3b9de0fc9b48f2432d5e64947b5b24c3acaf1166f746bff1c54a028b9b",
+            "d322db4b50c2c1bdbe0e22ef291070e20c93e0f7199c184f5ff8b4795b55cbe9",
+            "88371d1acc9bc3b69c1d1957b27c9aefa3835be37bba74a359c35b1beaddc2f7",
+            "3486da81fc55b7e285f23e85f44c481d780090285a384cfedaefa27265a236a8",
+            "c87588b38d18fe9a5c563e2ae8d79649ce699607a891bd41b68194ce4507137d",
+            "d6e3d356d491e5f3dbaca74cf11aef9bd751b36737feb34e466b707156b0d779",
+            "843197ad039bb4e840b949b0ed1e5cf2230829366646a92ffc53d63e26149867",
+            "b0766042c55d7c370799af987bed01fed8a417f83bc67e21d1366988aa1af10e",
+            "b788ba22bd4225c24f95821dbf1f467dc2b13c7615b0bd2b00c3b234b7519539",
+            "91430345496348280d29d11662aeb6048fd7596fc6304380b6154494df30d154",
+            "8c1be7b4e8fd13181be0c4e46350a2f972e24acd13427e71c15e60dade41c28d",
+            "f87a9ae1d7dc81f88c5891890b889aa7212e172ddec092182b7de6f01e787d7a",
+            "b6a42fb01b464f31f65ebc10fbc12fccb051d8b44cac51a6818d3aedabea07f9",
+            "4a820a780053b6f65492691e067e236adbd2a05b467e4e3f2ed37ba1260ce84f",
+            "b07131192ab22510055930477ced5a10698278b2e00e3f711ebc202db640bee4",
+            "5fbb00d9b2952ae4f0fed217bf2d8603872d8fc93073d99f31d8815539121987",
+            "0bd48e207e95be86ea4e459c090a75c0adac8ca31bd2b631043854551b2c4392",
+            "b11de5874aa62f939e383179c3ea1b34d3569ec6ade901964393b92f8325ad11",
+            "8cd692618bec00fbbf099d570561201a2d0fdb601050fd20e198ead478530675",
+            "19345b5fb5cecfc86e4db3cb8715cc7370e81796d70f11ba150a13c5ea8e4c37",
+            "3ad0b3549b82f93ad869a9341397d394c1acee5e18d94a699b118094dd7a9a70",
+            "32220b1bfe511b9dcec64d7ea8f4317e96b2d0cdc10bcfa55cfa3b63ce64aab6",
+            "0cca9d955282f37dd60e764c56b52cbad90b33ec2c2943a7e5d155d35b0417fa",
+            "40d00274aa5b28039b0d57d75a81f174c0a31e4be2d324ba79a64b79efd4e411",
+            "319d00690097314e26638e2f4a6d848f50d1ff2f9d6f755a618eb31398ed373a",
+            "dfa47fe83d195de69774c841747f6e7ea78d6d91297821dc9b8ee5fc625cfe2b",
+            "5a497ad4d83218c29d4f22781a54d9e1927dc414f7cba6f89d794ed047f8b245",
+            "1bd3f2289cc1bfa889496ca5074991941263703a2517281734f33d0ef1050f1a",
+            "587a689c0312ac0f6d98de7495f01f34428cb128e73875a71508f7d5874415b4",
+            "fc77f013f48b454d8703f25f76646f74b74c9e4f8e5d542bc5f48d98c6e51fae",
+            "a2a7af80da34233233ec619dc29366b40a9e55ead63626db185524f2415761f5",
+            "f180a77f032bfea9c7d152438ba830f19e1bfc88481a56b9e554c61d2cd64f6e",
+            "cb70e9a1b44fa1f13f3bcc5290e6db5c8d6eda83602c9513e91e779ac6cddd3f",
+            "74f543e29e519871aabcedb9d39c953d5397aac456c3c5e6eb0e10e517989eb3",
+            "c983c339bc6881a1e6a0b2c6a794de858613b91318205a623dc61d80c2238036",
+            "97c5314218bfb458e1fb6d1a33c9ac75c7de152774a736f6c5874657515ccfcb",
+            "0744dea5a54614d094a6eb711ff7df94a180bfdeacaf330e31d9466cd51aeda2",
+            "06dc1ba86d3fcb46096bed80d9c5c558f79a5a33f4fcdb379f1567b1271b64ab",
+            "aa48541c8cce586b7a8c5e8ebe3cb607d1c283ef8940b7d4c7fb584327dd177f",
+            "a9d086126128de76e0bafc06ca465176ed2884cb7ec963457fe106346b8094f9",
+            "637323a350346cee17c66cda9b8b1be49d58350b0a0904bd61e5af20ce611df5",
+            "aa25524f30b8e84ef80b52064a75ca56cf438e67e2696e360d683c03e85c4c6f",
+            "9b5371eadea2bf5707f730896b4766a8b56012269f1c02c5df9d0df1d1cbf696",
+            "d527de43dc2dfdb271c213a927ab31c08b1f063298b211b6b11831a4dff51922",
+            "5ee4f0b0ba2c39e7071bba12da912c1ae213b8a2cee0bb437afa500328a237d4",
+            "43d3388ae21433a62d37d4c92861c125683f03a0edd9d1afaa56a42a7b793dc1",
+            "cc8161804d4c84fe4c4f7210a16193637accc1f791b7fc7be026c07177b7da4c",
+            "4bc68b77bfd52e96e8db4fb7293a6d4f396d234eb4dafb625df76bc8f1ba1c7d",
+            "a66e57d86751f21d11652bc991ffe476eacb638f38f95947b723ac9448c5f668",
+            "278e2e9a97727da969f8d122576dd475c43141146f984e3af997600a013f19bf",
+            "3152613ac0763b809bc99a50b728391cfe19d2cfeb27ff47a1e3671ed7526a3f",
+            "06168cf4f7850405f47bd8cfe013dc077b51457b355698ea3407f998cb561c2b",
+            "44620fe943880d4498587b283cf31a67b85fdeef53f59223299018c3666ae32b",
+            "eaa4fc381ad8dd4a49b66bbe7ccb050b2ed8735ec0d5eaee4f555fce0ff39a8c",
+            "68a35789d8aa7b4f5293eb06988118bf39be4f0354e6dd89674da130c4ff7911",
+            "3c9cfda0c903ea8e97a9bdc2966dff555df6580479782ced9ea934837e3bdb5c",
+            "4367699c5a75ef7a22a52ca8d1b77e15ae6c8c18b2ec5fa929d688281ff34edb",
+            "f020689fd3ee8e3f51d12f177d80fb80aba8d3435a9f58e63cf4caadc02eca10",
+            "06f7107e12e2f2c7151d2c38ca31adcd8690e7dcab4537b37183561a9306208c",
+            "2f8516c90c01cfb4bd29a3b8ad1b61280436a37804b24929327cb41d8eac39aa",
+            "8f51fe6438299d6f935f48d1d0991270ad477174195aff8574ef587a45038efb",
+            "8d26ec62881cf7efa89509047c178e7b920a87cc4bfb9cb0d6d991e87ca22124",
+            "ec5cd96c01771e651d9e09445c5df8af453e475da75f47a583a1006e99686b09",
+            "2981a228c15eb8a02d051bad6ce39736dd5f4c3f63a979d997bc23086105cbaa",
+            "7055c8f3c6f41ee3593da37fd92332c561907e07a633b9ba7bf66347cdccb378",
+            "68b25a8b5bcd76f92ed9473318e67e752b5898eb6b34c4a1205b77a88dc0214b",
+            "435b8c03368213b50237bb6f7a4dbfad4e7ba8d4f3948b046a5e95ff38c739be",
+            "f553b646e7933b5f766d1187c3bb1aee241ea0734ec1c6addc08871c43bb7c64",
+            "5f7e12488b0d469ffbaa32d1fa766352c8672ccd9e81f503480cec626d1f88b3",
+            "86fed64323e502425165fd4b319a848da156ed4e1acbec6ac706b8f5afbdc1e9",
+            "3273da703327df23094325bf9a120c3bbbc9388b4bbbec32a24b768f4d02669a",
+            "cd57f10c8a3c69b40ea2832dc35837d8a7521f2a17b2936eccaab7d5bf482dd5",
+            "fe62a9ab0e66c65344f94de1006ed30505bca06dcc7619ca717078a09afafb91",
+            "f83f5339fbbb59939406f37a8053030f00333d809da78196e1dc177209fd0e70",
+            "9cfce61b0d63c05676d62a7dac8c1362d78e2e686d6a8b53c56094bb2014ab96",
+            "dd387d649e718c5d7cd9618fab6cf60bae452924f4e0b36b9b9ee9d4b9738ef8",
+            "b4e9704f8937686cd738c71fa7250b970fe64be89c75e36412cf4288e7911371",
+            "b2d3838be418d29c1ebf100d269591a89b6e74f81b822cff71d8a9d9548dea0c",
+            "e31733d8cd5174ecda373492fb9ed3f56fffdac8f869380c06ee9f185821918b",
+            "3c7b69a99d3765c95a713d27af4ac28d7808ca92543062610bdf24edd3643790",
+            "cd639186013fa4488043c42b05357e82425a3e889ac14679eef46b7388cecfd9",
+            "0ca04c8edcd2d8a247e575209a9e5c8a1cf86c39e6655d79d6f85ef41556ef71",
+            "d8cb785d9bcf0b1a8289362c5badd0db084f2efa3d831fdda8ffbc5cd423febb",
+            "c932a2fea0cf3a50a44090757e856ecaa4914e385b566787b60877f04c947002",
+            "1d3d7b3981fee634842a7dc05f5e4d1bac279c0ab8e9df78d768f43676186340",
+            "155e5683914f9d0fff0323548d9a531ed582e72414b934e57edb656579cb05e7",
+            "486352981492eeca9626588e8aa0a737dedf797d83a20148cf86aaca0e5cd660",
+            "692125735f88d08d8cec81e5564ed2f20d88422cb693407e8b569f2b1e07050c",
+            "b9195800d5bcce2e36a49a8f49f1674d9913dcb526cf50d1097ce4bea82407fe",
+            "92d25db73aef0c89d7f6d45a21f56bf7c0b3854a0c8d19db7bc7247ed2244f78",
+            "9eefbecbf32c98775e957013ff48c835781e52d91e576f81eec2c079bb61acd5",
+            "9a71eba84ef99ab18d46121f3d387888c2ebd4054b85f3cc2fe90f8e75cb6538",
+            "5fec8b431826e32ff8b6d3da66269f1e8561573bdbc8602f3fb20fd5e1bd8f44",
+            "117d803b171807fb6ea627fb8eadd75abcb20606fc3acfea76def5897a986f35",
+            "71a5b2e0b33d5bbb1ac73e6967b839cdfbea4de2fc828ec34ae8e40f8dfe96aa",
+            "3175ca255e0323924a203bf8aa949691546196277c5976052ff0678a934fbffa",
+            "7b355ea64f6dfd26a0ca7c433c31b1368e70d785f31c71caff4df6883245d409",
+            "3f00299f644f669c39db368d2a0df198f572ce9c8c08c85a94fd8c7db9cb5500",
+            "3e4b1620b66257264d51007170e6b0c49729b4731e3e1d236d188dc325ece52b",
+            "ef62a3e54636bc30ce5b75fb14e4753986000fed2eca3cb11aab716c88729f31",
+            "53635a42011bce8fec02af0d16ca0cf4b994332d1ce09551b99693a1ed59d247",
+            "0e4f65ec98ba41eedab3df06256eb227c558f31fee052a4266b3539f7af08275",
+            "23a5e489bbb5740c0c685591e6b73a7096bb238cad11e8d7e84fc9f4b7f55207",
+            "b92a8731fdc1bf7bd7bce4084892f87e4d9174acb204ee163cebebcfcae6a5d8",
+            "2e55a819e3b67123ec2edfc304418d7fee50dae9c9b922c3a5d250d6f7c9662e",
+            "3b6aa69186293835af4c700678ee9bb810de2ab8899c93cf245e01537742f5a1",
+            "2377ef08168881eba6f35e080a5fed4608aa733dc9670f59d45ceee5ce08fa47",
+            "2f26d70299414d84d00c95be2fd40758bce2e88a1fe89bedf898395894f501b9",
+            "5c2048320f765e1756e7a743afa544a602d648311f4bb8495f3d43de0f8cea49",
+            "e08780a749f547c02460053e2a258b64f89ad494c042171f2e8a426f3c9a0520",
+            "97ae7d3c4e6969d04821c5ed50c21a914379c1a1b3b5e5dfd38b26438e249f2f",
+            "6e181d25ef0f246585e55b5eb77c8e6191fb135af98e816b0abd841134bd5d57",
+            "271afe681be4d6c7c09cf9b4010888525eb1efb66cc2501215894c15e2898519",
+            "e8e670d05231f561f6a2ea1c1e08a560a96bb2674ac72851dc29da697ac169ca",
+            "8726ea1166fc378ce1bc6bc99ba52e93416fb5d1fefd812ea29de503077d548f",
+            "3cab3aa4cc41da609f367c1c57db872b8cfcb7b2f323516266bb3d8fa36642b4",
+            "c5a186e0f17d7af521efa20982916fc813e1b7d05295c3da7730ef6b5a48cab7",
+            "1738964f08db1fbe6b5965f7721be058d80a4e1ec976ac743059a5b31d6cd7a7",
+            "7f10a07aaba3a86425dce315a22df012363cd11065229f983530e2156fd77442",
+            "d97c168cb31e3390b66dc4f61020d70ef36ec9bdc679c2b64a79dfc648238207",
+            "0db0f54012e0427209e8a7b14f787419a4a6cf8cfbfd7e985e34898c1dcc3b5b",
+            "82d9cb547ff915752dd430f4b91c03970ed3cc9e376a93aafea77e196cd1998b",
+            "88f50df0343fa95532cb3b9d60cba5cee24c7e245bccc8ea06d8803d43f99f75",
+            "525d6f86a91046bc79ec5e19e21eeb42edb94aa9c1a3a6ff669455aebbefdea1",
+            "a8387bac47d88608c9a58ab2916857b9fc2fd8a1d52fc5d16f79bb4ab8be40e4",
+            "57ea90041e625ad5368caca533f024381987b1afd81d092b28eed73f0c8c5499",
+            "3eead9155ab4b5705fa08efb59ff16f1705d2eca4a8d707e4f633731bdccd8e5",
+            "e1d445eda8d84d9b3972b06b657c3be233a2c77a2cc146988c3d076b11b2f906",
+            "0e6a4376c4e70a27e5bd632511b761c70d8fe6776f93691d26262e169965152d",
+            "94df997fee522b612e12ed3596618cf27aa3a3109bb459f16eb6b6c136538295",
+            "6397f7955219931bf05a5b8407360c4b71ae62002aa273ed85db15276dcfb613",
+            "a3880c761ca9d0019b08cf255540fa495d5d69593e9bd73fa6eecb41dae42859",
+            "33e09133f59de09d87866389533ef005fc2c34de8a4cd68ea1d528d3c6df4165",
+            "58ca35a7300e2d7edd5acee6de464da5593d81380aff9e99fad2bd1d8c0dee68",
+            "2d8220d8b7f51f9f1082d903f592ff051faa4c37a46fc131c31da1dd2a233ed0",
+            "0148345468c538297511e912438b1ff6f0bcc70d8058f87ff70b5f944946395f",
+            "cebf3f7bf74150ce4fbddbc693fd6881a8d18aacbb54b8e33097580fb330e273",
+            "b8213e35bb6cffbddb211df8497d7c37f33a800f3a729846b041155c2f82c7d0",
+            "33c0d02c59cebf05005b834b6354b9d11184238c087a253b86e5479209a57d61",
+            "cfa8f4a6860419485b27245e5f66228003a0f4fce6797dc9e7fb5d938bb61100",
+            "633e780f4bf491dd0635d773334d7d2ca15a670d0d78681871dd88d77a2132e7",
+            "0b51f52c0d43beecb81fb62c82a17850a11aa6faab7527ea4833efffb0b4a8c4",
+            "c295b4b3d54eb3f602e5b7b6f302dd9c66cad44282af938a158887a4b64e6400",
+            "a9979735925dbdc75c01667c69443c96f645e530ca0fbb182c1d515093799d43",
+            "9fffb2f1348a76b735b269ce0961460b780c22882cf471ae5f1c1fafea3ae48f",
+            "d06f59868c9200c0d32396ee176a3260ba3940e0fef382b1edeb189030ab043a",
+            "44110d2cf36273a7c292ad5a9fc73bfa40d5de4b0188a8bd5d28f6439e078ef7",
+            "7fffb43180730947e0ce0f17899806d2998df9a70c9f9850a0bf0d5ab97da3f8",
+            "93b7d5e9121a06853fd8e0b65a846bf7497ec5c9e769db2f721ce40770a5ad8b",
+            "e3c15c181160b97750a748f9b1ef062574f0899d602333c7c543efe7be6687c6",
+            "483fc4310a9c5e101c6e1592299caba75d191c524516cf48094705cacaaffa1c",
+            "e24b115dc5e2bbaa03a956e316f036cd74f284a2170c98d0524b212839ded525",
+            "bc6e44c74a39e34b2763f04641908744dda340b8ee026c24e6ab18298230dd6f",
+            "646e8841bd52d5e6f441f08b068b8d3a1ef694e427bd418008dc08e55f9263d8",
+            "27010201141d9d2123b140bab4c05d1e60884510022f11e83aa5aefbb5fddc66",
+            "0a34d5ebaad9e855f386b3362d8dfc509d0ffca45877158261eee625e687aea6",
+            "ad133cc1b1af014f3acdb5852f7efde5750b39eaba1978bd391f0e620de02e54",
+            "210d474dcc58be7f5f81155c0b2135d26047b8bba3b413b2aa20485e4cce68fe",
+            "0158e2507ccb37e5302d3d188bb58ce6f7bfa56a8d84c1e2f085796719fc3b9b",
+            "2c4418eeb0fcf9317e8266ce1290919cf7785f09ec07efceee9c9eb31eb2c785",
+            "4b325afbc98d6f4510cc2e0bb3e957113ae4945b81d29caeee539c2da6f710e2",
+            "7d6fcd1860fa72512ef76e0187dc7af6fb467cfa2e96f9601e0e8989c38994c9",
+            "88260afe57f54f14752828d92501cd736bd27ff95389912283e88faa97a75269",
+            "529b7bf7e34de1f5689bba72a58407f3731bd2cee8af78a53dbd15497faf9d40",
+            "d5066d261ad12b1f8692fbfc1876a6d30837395cbb121351d9ba61cf1b20cea1",
+            "b0f968a432800d13c601c7520bb36cc9ba52b24e2a09109fecc34cbfecdbe9ea",
+            "f82bb8ca1a7fd8998886a8fe8f00084f108125394b9621c6cd19d92f23fd8c3d",
+            "53df3ed8b2dd7c46d8c42882a6096bccf1d6c966cbef8158b45f4390085a00c0",
+            "117aa85101fd69718713ffd12a7b4cbaa9bceb86cb52731e69ffb9ef83f80750",
+            "10662bded3a99140e896de3673635e5d946b0536db96643d0b4c621d7d68f56b",
+            "06b6066af41823461a0773a4018a93e9e7dcd71afd31331e5fa650b4fd1ac2ce",
+            "eca317877601cc31ae62fbd401aaae05a95ba092256beae0a69f90f42031dd40",
+            "040ab49439c03cee7663bd46349400cb389c480732f583aacabd8aa2281ac141",
+            "9d64998ae03ac69c2d6157548cf8f59eaf0ce08f10059bdf50ff8aae62dedfc8",
+            "104e0c71e792ced34e2811d7ec98f691d0740d260a8479c5e352e6d6185581ae",
+            "09d6c766aafeb3164a7a719920d7f9b871deaa9dc84691e8073f0db23975da39",
+            "40a86c0d81cb5654b51d4447a6e348a246decc7780581a9aa2d60c2f768e1de7",
+            "378243809750b9f1750d2d1f0f9204ca18d490e7458afff003f86c8cbb255dbc",
+            "90565ee1486201dcb600733c58934abb476fb873581c0e3dae8aff2ea1ebfe5b",
+            "f5dfb739730436eef0a9ed0f8c1c7b982469df5d6c042d321de52ace8d3a2c15",
+            "34c56c75a6772748996ada2bb9f2ed985d65a7c6de0087e220f45285846cbb73",
+            "42fad701f64b0f289a69aab6d432cf25ea365f4966a478216977ccbd5e25c19b",
+            "ebf4109ffcd719505b5871ad734ed07d7d1718a173977d31106050ae7bef2ff1",
+            "df543c94ec4b21c6fb74b805b76a1f3c855d222faa8599c060f8c85020e320f5",
+            "ce720073f337bb4893fa3a3b1e2f8e86696e5179617000f4f47cb343922ddd3f",
+            "786a19bb3612b1d1110134aefbe6968e75bb3340fe8d3994fcbd0e905bffc18c",
+            "256345974cd78d13520d2e43ca98d1ca0d650baf88aaa6b8db75c80e6505b101",
+            "2648c4f69b677c285297aca3107a6770c0a4bc1689dde13e6b5b59e8af91940b",
+            "752195dc0695f44531be939deb0f9940a9eb5273117c7705768c2b5edd6a70e5",
+            "1e4da8e8647caba2f3b358ddd5c25936b46d87b9e118935597be60fa58c6ca4a",
+            "5be16077f567b7bf0034e61bcfc0311887588c95ce57c0e2fb430dfeebb93736",
+            "ad205a52efc99c249042c9a2a85f6e39a89ca00a1bbbdac176bcbbd2f6ac6418",
+            "41414f5074402bc65ab7cede304c467ea56456ccc4d5a99f74dbf698ec80a014",
+            "f0a24dbc494b779606b3fae942042ebb6e42d77cf188d81f5e0895215f24d975",
+            "ed67e0034372067628553cac0f55d69935203f102d2eae5bccf3e9fd6f8bddee",
+            "1544c144771491cd8bb6c79ebb199070189032a209a17ae0f5df17d95e0a48e5",
+            "e2fdafc580819c643c0a89d3ee89d934d4131d06f288295e946b93824e098863",
+            "6b16af8419f1b67c3d8176c2e2b6adf5ad345d84c797d4621c883d12c5881eed",
+            "6101922fcf4599ad00260237e8b14904716156d58a25c638578de9775f6546c4",
+            "0211764bef038cb43a5c8b4e4e1c2189e29c63acc195a8f18f5f52abb6c2d896",
+            "9fdd3d266a5a068ee069bc4df1c9ad13f5dc11503fe9730fc069dce86d2d0cc5",
+            "501185fcc47f5bc79f11c17aeb48f6a069298e4538f48c2335f5a5cb18d3d4f7",
+            "9039f3d010b09f603ec640edceb7861a36dab4b82364c69a208040c3ede48f17",
+            "751f234599524ba682a48181293f9f24bbfded0b905db1400c4d66e287ae6470",
+            "c739f4bf1f227963dbdc0ba653351d9b1755ac4b30e4e1fc29a552d1763752c8",
+            "8e3b632fbec986c803e343ccfb4c8a13c03b04f6212cbe161efe5d5976eb71d1",
+            "1d20996dfd8ac9c5cd8de5ece58b61abc6e482999a720d8fc6cab8017adfde73",
+            "74468a7e1be2e9c78afffcbe10b6673e7522120d6679186fd21614fb8d3260fa",
+            "e47b686632ca64ef9e44b6da170481087bddae257940e54aeaf807b18edb4120",
+            "23f33513eef75806f25e55dfadf2e09727569c6c57dd020b686cef0c9a6e8324",
+            "8d59bb2bc1e8a2546b70e875ed5138dfab8f5209888877a7090294b3ba3e8adc",
+            "92bc28c793c6cf7200794bdbb5c3c821fa205ed1b4b06fcbda8d0124d28e3136",
+            "cc61018d326cd22a23b07c05db51cfb87618046132d4bedca206cdafa063a20a",
+            "b370ee273c4fcdb5bde8fb9ef6ddfd45406447ce19c748e418de854c2f0362e3",
+            "6152c270f83886cf3f5761812c6d8eece4cac8c348230c9b42dd271d1e3f1aba",
+            "2a9b0d00fb1eb5564fd96a8c1369f9f8e1d32b947cb59a334d47b32c6d963897",
+            "384c35175bd92ed2c097eebdfa72395a309acb7aa60c390ec3eb66773b661d6e",
+            "573e038e86e51ae46e5a7992fa652fb4b92632a7065260e12c46d1fd6effefb6",
+            "005be3a45b8fe905f0d1a63f1306ccc4eab8191d20f6f5a805f4754c20ef2daa",
+            "9a60982d54be5edfd5af1bd9f7d25dca0be74e77d5eeb6eaf37dcfe06cee188e",
+            "676257a1528797108e3a5fe031627338e9f09b44297e33aa1463cf46e5bf7db3",
+            "e7a241cb0337b1b02a56acabcd77baa1363feda4f01cda38d460822da991e3bf",
+            "7ac458257132ccc040a84b03c9fb7b9ca4fbe0579e7d3428f584da04b5b33527",
+            "cff2be050d602ec4623227bfe5d17c81c6b4da11e8c00ad7f7ca7d4c6acc878d",
+            "c07b292e4500a3ff9845bb55d6d69eae602d939e7681ae5d65effe80db4626b6",
+            "47136ecffbadd0a856d93adf53a2e2b675403386663bbe766bec37d313c87a10",
+            "eb1bacbee5fd2a2b50535a70ed300e93b90491d7d3d29d2f1f8bc5ecde0d7839",
+            "15e2db68968bb0000bda5bb3747451926355e9cd63db122bec12a53fb15da9e1",
+            "1ae6a3722ce9c193df69b1b8a37aa086ec323283628290f7298871676d3c4cba",
+            "65477882f5794c720233a98e1e383d91deb070f0c2bceb95a5efe7008f854cb5",
+            "2a630b24aeaeeef20baede1abed05cc9c45794561239f64c6bc291afb4b16120",
+            "70beda84b736a344f503b4e25e0e4a426f31d7041d283aab464026dfb9714457",
+            "591cd0ffc4b3b51cff8621ab1458a478c0a0f57305f0551e9e5396dbe8f7d349",
+            "53625b2b7fcffc9568152e6b6d95472fe850ed163ab341044a0754334cf22e34",
+            "5751606d1ed8891eae9bd10c5676a54ec196b36b00f9b7d3aa9ab0ab04b5cc25",
+            "f9f8ac5616f2d1864a6599bafb5f2e6bbc7fba72d6aa23d9ea1e0096de9d4164",
+            "56241bac3d18e635913ae9db5fac9cdde4e28d74795a1ca77227354d8d38fe1a",
+            "e01cbe3312394d636a19003923a0ff3eea7f8d2e1d6b42f94777655add3fe9ee",
+            "d08709244798a43e91f24367176899d90f8678813ec8b822163c67e1740f89c2",
+            "7571cf1e503d83dd0c915f69b8365e94a1b37aaf98a37d08d4b90e2a3675220f",
+            "f43f4e2cf5990ca47a833947b671586123e6e73a57d4305a9b813a8ed0d2fb8f",
+            "12bd6bd6659343e3dd9e6666572c55724a0a9e6990b890b556fe662db9d062e5",
+            "9ae85f24c4abea079e0223f9f05355dcaf5fbb396291c96d5c3b016099e84bbe",
+            "495097c042dc6319f9f6480ad049016f113b9c5cfc6d612e04aad56934b919eb",
+            "4eaa8cc1bf14b329db1097395c1a5ecd0f6fdf5a5de76db7f0339ab9b2c491e4",
+            "9d9f56a74cd94f45656c40e09823308aed0b4c9e745203cd5950138713026939",
+            "40797ecc115fee18a4608c9efa1ffeb81c2ee1c4842561ef61fcf7076f1ffedd",
+            "11cd767ae016d95635cbdfe08538b9347337d6b0847d12697075584b8d0619f1",
+            "71cb92eeba1ac9e0112a7cf621767729fb77eca209140f248c04f3ca1b0918f8",
+            "e44a0c43a95543503268b2378dfa0c9161c522c62bee65fa4f4a238875c64b7e",
+            "8715cacf99e5b7a106cda39fd2b6c96c2e5022974b0f66de7d6a15ed2aaf4eed",
+            "35bb68dde977abf2784e33d1bf3052893a358a43a8b258bea6a7318b1dd4a310",
+            "b5bb928fb28bf9699bfbabc626fc279a9ebd1ce6b63c993ddeda7b9eb2f8cf27",
+            "3fc619d1072c86c3df178b90349411bfed86c49dc777f030f2d27e3100394b00",
+            "05ede74d5dcb911b02053a895751f92ae86743298c8c6d8c5811de191cd4e5d0",
+            "18ad4372b90d74e60d68a00e4586b0767c060f9c522d2016c515cc5754eeb06b",
+            "595447850210071d76266dff3f9ceb530f5fbdf38c9940011abb9b96820f69d0",
+            "3c80c4cfbea01760facf853c328821cbfa9635adf55a650b92fc41bcfb19c8f5",
+            "e4feca4d382344176e8ac45592711e4472f76e0667867d469c65ccb5be2c7a19",
+            "7d0b37fb8ac67f6752e21869e57ed1d8b08be8517ca53ac2835cd2295df094ed",
+            "4af613e520506104185fc529b07037168b79165ec93e37331dd01f306307a9b7",
+            "103fa19cc7adb309027f4eafd56cee2c11875358bb4d8d8dd2bbc2f3fe698bb9",
+            "ede21fac9950f370f23f2a674f795bc7b2eea5c4609ee32fa64d4239218b3d98",
+            "5b6014bebeefd652030b6f79d14252c51a6f1159a2b37bccdcd3e515e0ae27b9",
+            "dda18f566e40a3b6e882b5f35ed04328ef8288094d8151bcad76a8c228454f6d",
+            "bb06814f937b8f4fd23622931286468bccb770a49112c94b23f06e97ffb7aa05",
+            "9c629de1ccf91a807ae4d7c296108a9ec7880c1cd278e0da344061d329755c14",
+            "6dbf2e32d098163480ab02a98344750fa5daafc7c66adf4fe90d0eaeeff4f86f",
+            "4e93b1d6b6d8ee75bf09aa1789933ef1248397e1e3df6ddf8af74eaa04d59c3c",
+            "6e8f38e9b80a674c58e2d85fb797e0357cd1414528a175f8e06a10b15455bc91",
+            "d397c5433f574c1a5f9d5c219c91131f3823694a50e04a6a2d896458b76f2e2d",
+            "f50cc41a1fbfe1a27916b010ce35aed4d7f2803e571225ea1382facd5a603139",
+            "f375dc182eb989bea2dfe5c2e26a351c3e2c2ea5c8f11447f34004c5c5ca2f27",
+            "7171793b9c6db5102f6088265373a7c57778f18f440380255a390d5745113652",
+            "494461bfc7dcc180d454bacd79e12b4a12598e3cf2594b4a96001188df71f27c",
+            "4ccf4da37de3d59a491675a6cddcc6323deb914a8f458fe6bbd20f4ab824fa69",
+            "74d21ad3cac9cec15832b98239679ab6360d84ae3d2a36a3f02307d647e7719c",
+            "b7b45314da2fe600d6377531a57acfd3f5d44c2f0e8641d67f0c9288bab8a3ea",
+            "7e9025449366165d1e1a7a84b15c89acdb7220595af59d776716b7caf76b517a"
+          ],
+          "queries": [],
+          "alerts": [],
+          "delta": "unknown",
+          "coverage": "timeout",
+          "cache_state": "cold",
+          "timings": {
+            "total": 30.567917122039944,
+            "build": 17.81,
+            "query": 0.0
+          }
+        },
+        "problem": "target unmatched, unanswered, or lacks exact witnessed answer",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "VAmPI-SQLI",
+        "base": "vampi-regression",
+        "tip": "vampi-regression",
+        "label": "regression",
+        "role": "regression",
+        "capability": "python/flask/injection",
+        "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+        "prerequisites": [
+          "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+        ],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": null,
+        "problem": "no recorded execution",
+        "input_status": "missing_prerequisite",
+        "input_problem": "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+      },
+      {
+        "id": "VAmPI-BOLA",
+        "base": "vampi-regression",
+        "tip": "vampi-regression",
+        "label": "regression",
+        "role": "regression",
+        "capability": "python/flask/access_control",
+        "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+        "prerequisites": [
+          "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+        ],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": null,
+        "problem": "no recorded execution",
+        "input_status": "missing_prerequisite",
+        "input_problem": "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+      },
+      {
+        "id": "VAmPI-BOLA-BOOKS",
+        "base": "vampi-regression",
+        "tip": "vampi-regression",
+        "label": "regression",
+        "role": "regression",
+        "capability": "python/flask/access_control",
+        "provenance": "Existing recipe known target, full target population retained; environment vulnerable=1. Snapshot regression, not an introducing push.",
+        "prerequisites": [
+          "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+        ],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": null,
+        "problem": "no recorded execution",
+        "input_status": "missing_prerequisite",
+        "input_problem": "Reviewed independent vulnerable/fixed/benign push pair required before hook admission."
+      },
+      {
+        "id": "libpng-CVE-2025-66293",
+        "base": "libpng-envelope",
+        "tip": "libpng-envelope",
+        "label": "unsupported",
+        "role": "envelope",
+        "capability": "c/libpng/memory_safety",
+        "provenance": "Arithmetic/bounds is outside the current abstract domain; measures graph/cost envelope only.",
+        "prerequisites": [],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": null,
+        "problem": "no recorded execution",
+        "input_status": "ready",
+        "input_problem": null
+      },
+      {
+        "id": "ghost-reserved-population",
+        "base": "ghost-reserved",
+        "tip": "ghost-reserved",
+        "label": "unreviewed",
+        "role": "reserved_holdout",
+        "capability": "javascript/express/unreviewed",
+        "provenance": "Reserved from production API/module/async shape and public security-fix history before scanner results. Manifest6.64.0-rc.0, Express4.22.2. Not an ESM or Express5 coverage claim.",
+        "prerequisites": [
+          "Review and freeze supported positive/fixed/benign changes from independent history; select family before scanning.",
+          "Freeze core and existing facts after development; preserve reservation and record any contamination."
+        ],
+        "outcome": "unresolved",
+        "reached_transitively": false,
+        "witnesses": [],
+        "complete": false,
+        "recorded": null,
+        "problem": "no recorded execution",
+        "input_status": "missing_prerequisite",
+        "input_problem": "ghost-reserved: pinned checkout 07671c072c5a5e0538cbe44d9d4ca66111751535 unavailable; rerun this validator with --fetch to fetch it; ghost-reserved: pinned checkout 07671c072c5a5e0538cbe44d9d4ca66111751535 unavailable; rerun this validator with --fetch to fetch it; Review and freeze supported positive/fixed/benign changes from independent history; select family before scanning.; Freeze core and existing facts after development; preserve reservation and record any contamination."
+      }
+    ],
+    "metrics": {
+      "recall": {
+        "numerator": 0,
+        "denominator": 2,
+        "value": 0.0,
+        "wilson95": [
+          0.0,
+          0.6576197724933469
+        ]
+      },
+      "precision": {
+        "numerator": 0,
+        "denominator": 0,
+        "value": null,
+        "wilson95": null
+      },
+      "fixed_side_silence": {
+        "numerator": 0,
+        "denominator": 2,
+        "value": 0.0,
+        "wilson95": [
+          0.0,
+          0.6576197724933469
+        ]
+      },
+      "benign_interruption": {
+        "numerator": 0,
+        "denominator": 2,
+        "value": 0.0,
+        "wilson95": [
+          0.0,
+          0.6576197724933469
+        ],
+        "unobserved": 0
+      },
+      "completion": {
+        "numerator": 0,
+        "denominator": 9,
+        "value": 0.0,
+        "wilson95": [
+          0.0,
+          0.2991450484195441
+        ]
+      },
+      "regression_detection": {
+        "numerator": 0,
+        "denominator": 3,
+        "value": 0.0,
+        "wilson95": [
+          5.551115123125783e-17,
+          0.5614970317550454
+        ]
+      },
+      "actionable_recall": {
+        "numerator": 0,
+        "denominator": 2,
+        "value": 0.0,
+        "wilson95": [
+          0.0,
+          0.6576197724933469
+        ]
+      },
+      "query_completion": {
+        "numerator": 0,
+        "denominator": 1308,
+        "value": null,
+        "wilson95": null,
+        "unmeasured_cases": 3
+      },
+      "latency": {
+        "cold": {
+          "samples": 6,
+          "p50": 30.578264947980642,
+          "p95": 30.613685652031563
+        },
+        "warm_changed": {
+          "samples": 0,
+          "p50": null,
+          "p95": null
+        },
+        "identical_tip": {
+          "samples": 0,
+          "p50": null,
+          "p95": null
+        }
+      },
+      "unresolved": 11,
+      "timeouts": 6
+    },
+    "by_capability": {
+      "c/libpng/memory_safety": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unmeasured_cases": 0
+        },
+        "latency": {
+          "cold": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 1,
+        "timeouts": 0
+      },
+      "javascript/express/injection": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ],
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 3,
+          "value": 0.0,
+          "wilson95": [
+            5.551115123125783e-17,
+            0.5614970317550454
+          ]
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 1308,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.002928295027470378
+          ],
+          "unmeasured_cases": 0
+        },
+        "latency": {
+          "cold": {
+            "samples": 3,
+            "p50": 30.567917122039944,
+            "p95": 30.578264947980642
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 3,
+        "timeouts": 3
+      },
+      "javascript/express/unreviewed": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unmeasured_cases": 0
+        },
+        "latency": {
+          "cold": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 1,
+        "timeouts": 0
+      },
+      "php/wordpress/injection": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ],
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 3,
+          "value": 0.0,
+          "wilson95": [
+            5.551115123125783e-17,
+            0.5614970317550454
+          ]
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unmeasured_cases": 0
+        },
+        "latency": {
+          "cold": {
+            "samples": 3,
+            "p50": 30.610599683015607,
+            "p95": 30.613685652031563
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 3,
+        "timeouts": 3
+      },
+      "python/flask/access_control": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 2,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.6576197724933469
+          ]
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 2,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.6576197724933469
+          ]
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unmeasured_cases": 2
+        },
+        "latency": {
+          "cold": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 2,
+        "timeouts": 0
+      },
+      "python/flask/injection": {
+        "recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "precision": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "fixed_side_silence": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "benign_interruption": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unobserved": 0
+        },
+        "completion": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "regression_detection": {
+          "numerator": 0,
+          "denominator": 1,
+          "value": 0.0,
+          "wilson95": [
+            0.0,
+            0.7934506856227626
+          ]
+        },
+        "actionable_recall": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null
+        },
+        "query_completion": {
+          "numerator": 0,
+          "denominator": 0,
+          "value": null,
+          "wilson95": null,
+          "unmeasured_cases": 1
+        },
+        "latency": {
+          "cold": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "warm_changed": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          },
+          "identical_tip": {
+            "samples": 0,
+            "p50": null,
+            "p95": null
+          }
+        },
+        "unresolved": 1,
+        "timeouts": 0
+      }
+    },
+    "admission": "experimental",
+    "gates_passed": false,
+    "note": "Diagnostic instrument only. No admission without independent capability evaluation. Missing runs contribute only conservative full-population bounds, not observed detector performance. Witness association is checked; semantic/actionability review is supplied evidence, not inferred from rank."
+  },
+  "acceptance_report": ".kiro/specs/pre-push-safety-net/validation-group-8.md",
+  "limits": [
+    "Zero enabled real capabilities; undefined reviewed alert precision.",
+    "All six final security/fixed/benign runs timed out; no completed target check.",
+    "8.2 representative runtime and completion gates failed.",
+    "Ghost and per-capability PHP/Python independent reviewed populations missing.",
+    "VAmPI transitive evidence and supported change-context projection remain unverified.",
+    "libpng arithmetic/bounds unsupported; no C++ detection qualification.",
+    "Manual Kiro review fallback, not independent reviewer evidence."
+  ]
+}
diff --git a/benchmarks/measurements/2026-09-13-push-packaged-validation.json.gz b/benchmarks/measurements/2026-09-13-push-packaged-validation.json.gz
new file mode 100644
index 0000000..d3a0409
Binary files /dev/null and b/benchmarks/measurements/2026-09-13-push-packaged-validation.json.gz differ
diff --git a/benchmarks/push/README.md b/benchmarks/push/README.md
index b90f8a8..0da4e84 100644
--- a/benchmarks/push/README.md
+++ b/benchmarks/push/README.md
@@ -212,3 +212,23 @@ repository configuration. The runner recomputes its decision and rejects stale o
 modified evidence. This integrity check is not a cryptographic reviewer signature.
 The versioned NO-GO registry enables no capability. Regenerate evidence after changes
 to core, engine, facts, queries, policy or semantics; do not relabel old measurements.
+
+### Packaged acceptance smoke (task 8.4)
+
+After rebuilding the image with its installed eligibility resource, run:
+
+```sh
+docker run --rm --network none --entrypoint python \
+  -v "$PWD:/context:ro" -v /absolute/writable/results:/results \
+  openultrasast:dev /context/benchmarks/push/package_smoke.py \
+  --out /results/new-package-smoke --ops /context/ops
+```
+
+This smoke verifies packaged CLI startup, the installed reproducible NO-GO registry,
+non-overwriting installation, exact prior-hook stdin/remote arguments, accept/reject
+behavior and explicit removal in disposable Git repositories. Its 0.1-second deadline
+intentionally exercises unavailable coverage, not vulnerability detection. No hook is
+installed in this project. Run `measure.py` separately on the final image for the full
+supported security/fixed/benign workload, preserving its real partial outcomes.
+The artifact and `.kiro/specs/pre-push-safety-net/validation-group-8.md` distinguish
+working integration from the remaining NO-GO quality/runtime prerequisites.
diff --git a/benchmarks/push/package_smoke.py b/benchmarks/push/package_smoke.py
new file mode 100644
index 0000000..bd7f476
--- /dev/null
+++ b/benchmarks/push/package_smoke.py
@@ -0,0 +1,110 @@
+"""Offline packaged CLI/registry and disposable Git hook validation, not detector qualification."""
+
+import argparse
+import json
+import os
+import subprocess
+import tempfile
+from pathlib import Path
+
+from openultrasast.model.scan import ScanBudget
+from openultrasast.push.eligibility import _DEFAULT, load_registry
+from openultrasast.push.runner import _provenance
+
+parser = argparse.ArgumentParser(description=__doc__)
+parser.add_argument("--out", type=Path, required=True)
+parser.add_argument("--ops", type=Path, required=True)
+args = parser.parse_args()
+out = args.out
+out.mkdir(exist_ok=False)
+
+
+def run(argv, **kwargs):
+    return subprocess.run(argv, capture_output=True, timeout=20, **kwargs)
+
+
+help_result = run(["ousast", "pre-push", "--help"])
+assert help_result.returncode == 0, help_result.stderr
+(out / "help.txt").write_bytes(help_result.stdout)
+current = _provenance(out, ScanBudget(max_model_calls=0, max_regions=500, order_by_evidence=True))
+registry = load_registry(current=current)
+assert _DEFAULT.is_file() and _DEFAULT.stat().st_size > 0
+assert registry.status == "NO-GO" and not registry.capabilities, registry
+results = []
+with tempfile.TemporaryDirectory() as tmp:
+    tmp = Path(tmp)
+    for prior_exit in (0, 7):
+        root = tmp / str(prior_exit)
+        root.mkdir()
+
+        def git(*args, root=root):
+            result = run(["git", "-C", str(root), *args])
+            assert result.returncode == 0, result.stderr
+            return result.stdout.decode().strip()
+
+        git("init")
+        git("config", "user.name", "Packaged smoke")
+        git("config", "user.email", "smoke@example.invalid")
+        (root / "api.js").write_text("function endpoint(req) { return eval(req.body.value); }\n")
+        assert len((root / "api.js").read_bytes()) > 0
+        git("add", "api.js")
+        git("commit", "-m", "Authored interface smoke, not a security control")
+        head = git("rev-parse", "HEAD")
+        remote = root / "remote.git"
+        git("init", "--bare", str(remote))
+        git("remote", "add", "origin", str(remote))
+        git("config", "core.hooksPath", ".custom-hooks")
+        installer = run([str(args.ops / "install-pre-push"), str(root)])
+        assert installer.returncode == 0, installer.stderr
+        hook = root / ".custom-hooks/pre-push"
+        before_hook = hook.read_bytes()
+        refused = run([str(args.ops / "install-pre-push"), str(root)])
+        assert refused.returncode != 0 and hook.read_bytes() == before_hook
+        prior = hook.with_name("pre-push.before-ousast")
+        prior.write_text('#!/bin/sh\nprintf "%s\\n" "$@" > prior-args\ncat > prior-stdin\nexit ' + str(prior_exit) + "\n")
+        prior.chmod(0o755)
+        before = ((root / ".git/index").read_bytes(), (root / "api.js").read_bytes(), head)
+        artifacts = out / str(prior_exit)
+        env = {**os.environ, "OUSAST_ARTIFACT_DIR": str(artifacts), "OUSAST_PUSH_DEADLINE": "0.1"}
+        result = run(["git", "-C", str(root), "push", "origin", "HEAD:refs/heads/smoke"], env=env)
+        assert (result.returncode == 0) == (prior_exit == 0), result.stderr
+        assert (root / "prior-stdin").read_text() == f"HEAD {head} refs/heads/smoke {'0' * 40}\n"
+        assert (root / "prior-args").read_text().splitlines() == ["origin", str(remote)]
+        assert before == ((root / ".git/index").read_bytes(), (root / "api.js").read_bytes(), git("rev-parse", "HEAD"))
+        assert git("config", "core.hooksPath") == ".custom-hooks"
+        saved = list(artifacts.glob("*.json"))
+        assert len(saved) == 1
+        artifact = json.loads(saved[0].read_bytes())
+        assert not artifact["admission"]["defects"]
+        assert artifact["result"]["coverage_status"] != "complete_within_scope"
+        original = prior.read_bytes()
+        hook.unlink()
+        prior.rename(hook)
+        assert hook.read_bytes() == original
+        after = run(["git", "-C", str(root), "push", "origin", "HEAD:refs/heads/restored"], env=env)
+        assert (after.returncode == 0) == (prior_exit == 0)
+        results.append(
+            dict(
+                prior_exit=prior_exit,
+                push_exit=result.returncode,
+                removal_push_exit=after.returncode,
+                exact_stdin=True,
+                exact_remote_args=True,
+                live_state_preserved=True,
+                overwrite_refused=True,
+                coverage=artifact["result"]["coverage_status"],
+                source_bytes=len(before[1]),
+                terminal=(result.stdout + result.stderr).decode(),
+            )
+        )
+receipt = dict(
+    uid=os.getuid(),
+    provenance=current,
+    registry_status=registry.status,
+    enabled=0,
+    no_model_configuration=True,
+    network="disabled by docker invocation",
+    cases=results,
+)
+(out / "receipt.json").write_text(json.dumps(receipt, indent=2) + "\n")
+print(json.dumps(receipt))