--- id: STORE-12 family: GR-STORE level: extended profiles: [storage-api, runtime] posture: normative-target added: "1.0" changed: "1.0" source: https://flowdrop.io/spec/rules/gr-store/store-12 specification: FlowDrop Workflow Specification 1.0-draft licence: CC BY 4.0 --- # STORE-12 — A finished turn leaves the session completed, not idle *GR-STORE (Part I) · level: extended · profiles: storage-api, runtime · added in 1.0* ## The rule > **Normative.** This is the rule. > > 1. `idle` means a session was created and has never executed. > > 2. A session whose turn has finished is released as `completed`. > > 3. The two are distinct states, and an implementation must not use `idle` to mean that a turn has finished. ## Related rules - Names: STORE-11 - Referenced by: STORE-11 --- Rule identifiers are permanent and are never renumbered. This specification carries no implementation status: each implementation publishes its own standing against these rules. Licensed CC BY 4.0.