docs(protocol): archive terminal receipt contract

openspec/specs/gateway-input-feedback/spec.md

@@ -47,21 +47,16 @@ MUST NOT be forwarded to the provider. The envelope SHALL contain no provider
 address, certificate, credential, or opaque provider packet.
 
 #### Scenario: Host termination forwarding
-- **WHEN** the Apollo adapter receives an authenticated host termination
-  packet
-- **THEN** the gateway forwards a bounded `VGF1` termination envelope over
-  reliable Verse control and reports the provider state separately.
+- **WHEN** the Apollo adapter receives an authenticated host termination packet
+- **THEN** the gateway forwards a bounded `VGF1` termination envelope over reliable Verse control and reports the provider state separately
 
 #### Scenario: Terminal event receipt
 - **WHEN** a client receives the reliable typed terminal event
-- **THEN** it sends the empty terminal receipt and the gateway owns bounded
-  tunnel closure without forwarding the receipt to the provider.
+- **THEN** it sends the empty terminal receipt and the gateway owns bounded tunnel closure without forwarding the receipt to the provider
 
 #### Scenario: Unauthorized or malformed feedback
-- **WHEN** feedback is disabled by policy, has an invalid direction/type/length,
-  contains a forbidden provider field, or sends a terminal receipt outside the
-  awaiting-terminal state
-- **THEN** the gateway rejects it without forwarding or provider mutation.
+- **WHEN** feedback is disabled by policy, has an invalid direction/type/length, contains a forbidden provider field, or sends a terminal receipt outside the awaiting-terminal state
+- **THEN** the gateway rejects it without forwarding or provider mutation
 
 ### Requirement: Policy-bound text clipboard envelope
 The reliable `clipboard.text.v1` flow SHALL carry only a typed UTF-8 text