{"sample_type":"original synthetic specification review","customer_work":false,"specification":"Receive public file then check profile. Only a pass leads to publish draft. A failure leads to needs review.","before":{"missing_transitions":[["check","publish","pass"],["check","review","fail"]],"unexpected_transitions":[["check","publish","always"]]},"after":{"missing_transitions":[],"unexpected_transitions":[]},"verification":"Exact directed-edge and condition-label comparison against this explicit original fixture only; not inferred logic or runtime proof.","runtime_verified":false,"native_dot_tested":false,"accessibility_certified":false}