Flight Log — ¶

Append-only. Each sortie gets one block, written in flight order. A campaign checkbox may be ticked only against a block here whose Chase verdict is PASS.

SORTIE S — ¶

Card frozen: · Envelope:
Design claim:
Substrate state at open: gz check / no active locks>

CARD (pre-registered — frozen before fly)¶

Full card per gzkit docs/flighttest/flight-card-template.md. Paste the frozen card here. The expected observables below are the falsifier — do not edit after Go.

Test points:
Instrumentation (PASS signature): ledger ⟨events/counts/fields⟩ · receipts ⟨prefixes⟩ · state ⟨assertions⟩ · artifacts ⟨files+linkage⟩
Pre-registered falsifiers:

GO / NO-GO (human — test director)¶

Ruling (verbatim): "" — ,
Verdict:

BLACK BOX (collected in flight)¶

Ledger slice:
Receipts:
State at exit:

CHASE (independent verdict)¶

Observer:
Read:
Verdict: —

DEBRIEF¶

Black box vs. card:
Design signal: —
Squawks & disposition: (gzkit-directed feedback files cross-repo via gz issue file, never a target-local /ghi-author)
→ gz issue file) | target-local defect | card amendment>
Director ruling: "" — ,
Re-fly needed?