
===== E1 export to a fresh destination =====
{
  "run_id": "run-20260918T014358Z-573c149e",
  "files": 25,
  "verified": true,
  "failures": []
}
export exit=0

===== E2 export refuses an existing destination =====
refusing: export destination already exists: /tmp/eza-wt-002-evidence
reuse exit=1

===== D1 disposal refuses an incomplete export (one record removed) =====
refusing disposal:
  exported entry is not a regular file: walkthrough/plan.json
incomplete-export exit=1
source preserved: yes

===== D2 disposal refuses a changed exported record =====
refusing disposal:
  exported file changed since the export: walkthrough/plan.json
changed-export exit=1
source preserved: yes

===== D3 disposal accepts the verified export =====
removed /tmp/eza-wt-002 (run run-20260918T014358Z-573c149e); evidence retained at /tmp/eza-wt-002-evidence
dispose exit=0
root removed: yes
WALKTHROUGH-EXPORT-INVENTORY.json
service.log
service.out
walkthrough
RECORD-CLASS.txt
bypass-read-state.json
envelope-authorized.json
envelope-changed-value.json
envelope-hashes.txt
envelope-no-authority.json
installed-code-hashes.txt
installed.json
observation-01-initial.json
observation-02-after-no-authority.json
observation-03-after-changed-value.json
observation-04-after-authorized.json
observation-05-after-replay-before-restart.json
observation-06-after-replay-after-restart.json
plan.json
provision.out
response-02-no-authority.json
response-03-changed-value.json
response-04-authorized.json
response-05-replay-before-restart-authorized.json
response-06-replay-after-restart-authorized.json
run-id.txt
service-identities.jsonl
