From 021ecf425f766af0594ffa72e63319952732ce25 Mon Sep 17 00:00:00 2001 From: sechmachine <97589681+sechmachine727@users.noreply.github.com> Date: Thu, 30 Jul 2026 10:50:57 +0700 Subject: [PATCH] docs(protocol): archive terminal receipt contract --- .../.openspec.yaml | 0 .../design.md | 0 .../proposal.md | 0 .../specs/gateway-input-feedback/spec.md | 0 .../2026-07-30-gateway-terminal-receipt}/tasks.md | 4 ++-- openspec/specs/gateway-input-feedback/spec.md | 15 +++++---------- 6 files changed, 7 insertions(+), 12 deletions(-) rename openspec/changes/{gateway-terminal-receipt => archive/2026-07-30-gateway-terminal-receipt}/.openspec.yaml (100%) rename openspec/changes/{gateway-terminal-receipt => archive/2026-07-30-gateway-terminal-receipt}/design.md (100%) rename openspec/changes/{gateway-terminal-receipt => archive/2026-07-30-gateway-terminal-receipt}/proposal.md (100%) rename openspec/changes/{gateway-terminal-receipt => archive/2026-07-30-gateway-terminal-receipt}/specs/gateway-input-feedback/spec.md (100%) rename openspec/changes/{gateway-terminal-receipt => archive/2026-07-30-gateway-terminal-receipt}/tasks.md (67%) diff --git a/openspec/changes/gateway-terminal-receipt/.openspec.yaml b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/.openspec.yaml similarity index 100% rename from openspec/changes/gateway-terminal-receipt/.openspec.yaml rename to openspec/changes/archive/2026-07-30-gateway-terminal-receipt/.openspec.yaml diff --git a/openspec/changes/gateway-terminal-receipt/design.md b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/design.md similarity index 100% rename from openspec/changes/gateway-terminal-receipt/design.md rename to openspec/changes/archive/2026-07-30-gateway-terminal-receipt/design.md diff --git a/openspec/changes/gateway-terminal-receipt/proposal.md b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/proposal.md similarity index 100% rename from openspec/changes/gateway-terminal-receipt/proposal.md rename to openspec/changes/archive/2026-07-30-gateway-terminal-receipt/proposal.md diff --git a/openspec/changes/gateway-terminal-receipt/specs/gateway-input-feedback/spec.md b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/specs/gateway-input-feedback/spec.md similarity index 100% rename from openspec/changes/gateway-terminal-receipt/specs/gateway-input-feedback/spec.md rename to openspec/changes/archive/2026-07-30-gateway-terminal-receipt/specs/gateway-input-feedback/spec.md diff --git a/openspec/changes/gateway-terminal-receipt/tasks.md b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/tasks.md similarity index 67% rename from openspec/changes/gateway-terminal-receipt/tasks.md rename to openspec/changes/archive/2026-07-30-gateway-terminal-receipt/tasks.md index 0aff9e8..de5a154 100644 --- a/openspec/changes/gateway-terminal-receipt/tasks.md +++ b/openspec/changes/archive/2026-07-30-gateway-terminal-receipt/tasks.md @@ -5,5 +5,5 @@ ## 2. Immutable release -- [ ] 2.1 Publish one new never-reused immutable Protocol version after final contract verification -- [ ] 2.2 Resolve the version from separate empty consumer caches and record exact checksums +- [x] 2.1 Publish one new never-reused immutable Protocol version after final contract verification +- [x] 2.2 Resolve the version from separate empty consumer caches and record exact checksums diff --git a/openspec/specs/gateway-input-feedback/spec.md b/openspec/specs/gateway-input-feedback/spec.md index 6db47ca..f09473b 100644 --- a/openspec/specs/gateway-input-feedback/spec.md +++ b/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