@7h3/protocol 0.1.2 → 0.5.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (276) hide show
  1. package/.dockerignore +19 -0
  2. package/.github/dependabot.yml +32 -0
  3. package/.github/workflows/ci.yml +31 -0
  4. package/.github/workflows/publish.yml +59 -0
  5. package/.github/workflows/scorecard.yml +37 -0
  6. package/7h3.example.yaml +125 -0
  7. package/CHANGELOG.md +152 -0
  8. package/CONTRIBUTING.md +82 -0
  9. package/Dockerfile +73 -0
  10. package/GOVERNANCE.md +62 -0
  11. package/README.md +1317 -6
  12. package/SECURITY.md +70 -0
  13. package/bench-results/replay-cache-full-1777891033256.json +10 -0
  14. package/bench-results/replay-cache-full-1777896317488.json +10 -0
  15. package/bench-results/replay-cache-full-1777900993184.json +10 -0
  16. package/bench-results/replay-cache-full-1777901019285.json +10 -0
  17. package/bench-results/replay-cache-quick-1777870170126.json +10 -0
  18. package/bench-results/signature-profiles-quick-1775875160079.json +85 -0
  19. package/bench-results/signature-profiles-quick-1775983539716.json +85 -0
  20. package/bench-results/signature-profiles-quick-1776237913190.json +85 -0
  21. package/bench-results/wire-codecs-full-1777891019803.json +93 -0
  22. package/bench-results/wire-codecs-full-1777896260964.json +93 -0
  23. package/bench-results/wire-codecs-full-1777901004247.json +93 -0
  24. package/bench-results/wire-codecs-quick-1775972879056.json +93 -0
  25. package/bench-results/wire-codecs-quick-1775983541111.json +93 -0
  26. package/bench-results/wire-codecs-quick-1776237914299.json +93 -0
  27. package/bench-results/wire-codecs-quick-1777841285236.json +93 -0
  28. package/bench-results/wire-codecs-quick-1777841321772.json +93 -0
  29. package/bench-results/wire-codecs-quick-1777841330408.json +93 -0
  30. package/bench-results/wire-codecs-quick-1777852886082.json +93 -0
  31. package/bench-results/wire-codecs-quick-1777852988773.json +93 -0
  32. package/bench-results/wire-codecs-quick-1777870188095.json +93 -0
  33. package/bench-results/wire-codecs-quick-1777870263918.json +93 -0
  34. package/bench-results/wire-codecs-quick-1777870455034.json +93 -0
  35. package/bench-results/wire-codecs-quick-1778816163081.json +93 -0
  36. package/bench-results/wire-codecs-quick-1778843936130.json +93 -0
  37. package/bin/7h3.ts +406 -0
  38. package/conformance/7h3_v0_1.json +77 -0
  39. package/conformance/7h3_v0_1_binary.json +20 -0
  40. package/conformance/aip_v0_1_binary.json +20 -0
  41. package/docker-compose.yaml +77 -0
  42. package/docs/ADOPTION_PLAN.md +120 -0
  43. package/docs/AGENTS.md +77 -0
  44. package/docs/AIP_RFC_v0.1.md +97 -0
  45. package/docs/AI_DECISION_CARD.md +122 -0
  46. package/docs/AI_RUNTIME_POLICY.json +126 -0
  47. package/docs/AI_RUNTIME_POLICY.yaml +110 -0
  48. package/docs/BACKPRESSURE_TUNING.md +65 -0
  49. package/docs/BENCHMARK_CLAIM_MATRIX.md +42 -0
  50. package/docs/BENCHMARK_REPORT_TEMPLATE.md +169 -0
  51. package/docs/BINARY_CODEC_BENCH.md +23 -0
  52. package/docs/CLEAN_CLONE_RUNBOOK.md +36 -0
  53. package/docs/CLOCK_SKEW_POLICY.md +30 -0
  54. package/docs/DISTRIBUTED_REPLAY.md +142 -0
  55. package/docs/FUZZ_CAMPAIGN.md +121 -0
  56. package/docs/GATEWAY.md +195 -0
  57. package/docs/KEY_MANAGEMENT_POLICY.md +53 -0
  58. package/docs/KEY_REVOCATION.md +69 -0
  59. package/docs/MCP_WRAPPER.md +159 -0
  60. package/docs/MIGRATION_GUIDE.md +40 -0
  61. package/docs/OPERATORS.md +184 -0
  62. package/docs/PERF_REGRESSION_POLICY.md +34 -0
  63. package/docs/PROJECT_EXAMINATION_2026-05-31.md +219 -0
  64. package/docs/RELEASE_BENCHMARK_REPORT_2026-05-15.md +135 -0
  65. package/docs/RELEASE_GATE.md +25 -0
  66. package/docs/RELEASE_NOTES_v0.1.0.md +54 -0
  67. package/docs/SECURITY_REVIEW_2026-06-05.md +165 -0
  68. package/docs/TELEMETRY.md +41 -0
  69. package/docs/THREAT_MODEL.md +89 -0
  70. package/docs/VERSIONING_POLICY.md +30 -0
  71. package/docs/assets/banner-github.png +0 -0
  72. package/docs/assets/banner.png +0 -0
  73. package/docs/assets/banner.svg +123 -0
  74. package/eslint.config.js +15 -0
  75. package/fuzz/ts/harness-decode.ts +136 -0
  76. package/fuzz/ts/harness-verify.ts +121 -0
  77. package/fuzz/ts/run.ts +35 -0
  78. package/mcp-server/README.md +38 -0
  79. package/mcp-server/package-lock.json +1187 -0
  80. package/mcp-server/package.json +35 -0
  81. package/mcp-server/src/index.ts +236 -0
  82. package/mcp-server/tsconfig.json +14 -0
  83. package/package.json +121 -13
  84. package/scripts/aip-framework-quickstart.ts +110 -0
  85. package/scripts/aip-mcp-gateway.ts +38 -0
  86. package/scripts/aip-mcp-wrap-demo.ts +72 -0
  87. package/scripts/aip-quickstart.ts +60 -0
  88. package/scripts/bench-diff.ts +118 -0
  89. package/scripts/bench-protocol-e2e.ts +937 -0
  90. package/scripts/bench-protocol-openloop.ts +1397 -0
  91. package/scripts/bench-replay-cache.ts +76 -0
  92. package/scripts/bench-signature-profiles.ts +180 -0
  93. package/scripts/bench-wire-codecs.ts +161 -0
  94. package/scripts/build-binary-conformance.ts +36 -0
  95. package/scripts/build-release-dashboard.ts +175 -0
  96. package/scripts/canary-rollout.ts +38 -0
  97. package/scripts/mcpGatewayCli.test.ts +116 -0
  98. package/scripts/prepare-aip-package.ts +88 -0
  99. package/scripts/regen-conformance-sigs.ts +18 -0
  100. package/scripts/release-gate.ts +19 -0
  101. package/scripts/validate-runtime-policy.ts +18 -0
  102. package/sdk/browser/index.test.ts +162 -0
  103. package/sdk/browser/index.ts +257 -0
  104. package/sdk/browser/package.json +13 -0
  105. package/sdk/go/cbor.go +551 -0
  106. package/sdk/go/cbor_test.go +232 -0
  107. package/sdk/go/encryption.go +280 -0
  108. package/sdk/go/encryption_test.go +318 -0
  109. package/sdk/go/go.mod +7 -0
  110. package/sdk/go/go.sum +4 -0
  111. package/sdk/go/http.go +135 -0
  112. package/sdk/go/protocol.go +324 -0
  113. package/sdk/go/protocol_test.go +334 -0
  114. package/sdk/go/replay.go +121 -0
  115. package/sdk/go/replay_test.go +149 -0
  116. package/sdk/go/webhook.go +136 -0
  117. package/sdk/pq/package-lock.json +1358 -0
  118. package/sdk/pq/package.json +42 -0
  119. package/sdk/pq/src/index.test.ts +143 -0
  120. package/sdk/pq/src/index.ts +166 -0
  121. package/sdk/pq/tsconfig.json +14 -0
  122. package/sdk/pq/vitest.config.ts +7 -0
  123. package/sdk/python/README.md +18 -0
  124. package/sdk/python/protocol_7h3/__init__.py +46 -0
  125. package/sdk/python/protocol_7h3/encryption.py +252 -0
  126. package/sdk/python/protocol_7h3/http.py +212 -0
  127. package/sdk/python/protocol_7h3/keys.py +149 -0
  128. package/sdk/python/protocol_7h3/pq.py +244 -0
  129. package/sdk/python/protocol_7h3/protocol.py +525 -0
  130. package/sdk/python/protocol_7h3/queue.py +118 -0
  131. package/sdk/python/protocol_7h3/replay.py +98 -0
  132. package/sdk/python/protocol_7h3/webhook.py +116 -0
  133. package/sdk/python/pyproject.toml +40 -0
  134. package/sdk/python/tests/test_conformance.py +110 -0
  135. package/sdk/python/tests/test_encryption.py +206 -0
  136. package/sdk/python/tests/test_http.py +305 -0
  137. package/sdk/python/tests/test_keys.py +417 -0
  138. package/sdk/python/tests/test_queue.py +120 -0
  139. package/sdk/python/tests/test_webhook.py +345 -0
  140. package/sdk/rust/Cargo.lock +371 -0
  141. package/sdk/rust/Cargo.toml +25 -0
  142. package/sdk/rust/README.md +31 -0
  143. package/sdk/rust/fuzz/Cargo.toml +29 -0
  144. package/sdk/rust/fuzz/fuzz_targets/fuzz_canonicalize.rs +46 -0
  145. package/sdk/rust/fuzz/fuzz_targets/fuzz_decode.rs +11 -0
  146. package/sdk/rust/src/bin/aip_mcp_gateway.rs +59 -0
  147. package/sdk/rust/src/http.rs +145 -0
  148. package/sdk/rust/src/keys.rs +161 -0
  149. package/sdk/rust/src/lib.rs +688 -0
  150. package/sdk/rust/src/queue.rs +79 -0
  151. package/sdk/rust/src/webhook.rs +86 -0
  152. package/sdk/rust/tests/conformance.rs +148 -0
  153. package/sdk/rust/tests/gateway.rs +130 -0
  154. package/sdk/rust/tests/http_webhook_queue.rs +201 -0
  155. package/sdk/rust/tests/keys.rs +189 -0
  156. package/sdk/threshold/index.d.ts +68 -0
  157. package/sdk/threshold/index.d.ts.map +1 -0
  158. package/sdk/threshold/index.js +254 -0
  159. package/sdk/threshold/package-lock.json +1361 -0
  160. package/sdk/threshold/package.json +39 -0
  161. package/sdk/threshold/src/index.d.ts +68 -0
  162. package/sdk/threshold/src/index.d.ts.map +1 -0
  163. package/sdk/threshold/src/index.js +254 -0
  164. package/sdk/threshold/src/index.test.ts +238 -0
  165. package/sdk/threshold/src/index.ts +355 -0
  166. package/sdk/threshold/tsconfig.json +19 -0
  167. package/sdk/threshold/vitest.config.ts +12 -0
  168. package/src/agentAdapter.test.ts +48 -0
  169. package/src/agentAdapter.ts +56 -0
  170. package/src/auditLog.test.ts +145 -0
  171. package/src/auditLog.ts +147 -0
  172. package/src/capability.test.ts +504 -0
  173. package/src/capability.ts +380 -0
  174. package/src/cborCodec.test.ts +263 -0
  175. package/src/cborCodec.ts +339 -0
  176. package/src/conformance.test.ts +136 -0
  177. package/src/conformanceVectors.ts +99 -0
  178. package/src/encryption.test.ts +206 -0
  179. package/src/encryption.ts +245 -0
  180. package/src/envelopeCbor.ts +140 -0
  181. package/src/frameworkAdapters.test.ts +290 -0
  182. package/src/frameworkAdapters.ts +261 -0
  183. package/src/gateway.test.ts +343 -0
  184. package/src/gateway.ts +246 -0
  185. package/src/grpcBinding.test.ts +211 -0
  186. package/src/grpcBinding.ts +103 -0
  187. package/src/httpBinding.test.ts +376 -0
  188. package/src/httpBinding.ts +189 -0
  189. package/src/index.ts +39 -0
  190. package/src/keyInfra.test.ts +278 -0
  191. package/src/keyInfra.ts +228 -0
  192. package/src/keyRegistry.ts +59 -0
  193. package/src/keyRotation.test.ts +78 -0
  194. package/src/keyRotation.ts +72 -0
  195. package/src/mcpGateway.test.ts +129 -0
  196. package/src/mcpGateway.ts +250 -0
  197. package/src/mcpTransports.test.ts +92 -0
  198. package/src/mcpTransports.ts +169 -0
  199. package/src/mcpWrapper.test.ts +179 -0
  200. package/src/mcpWrapper.ts +206 -0
  201. package/src/otel.ts +136 -0
  202. package/src/policyEnforcer.test.ts +99 -0
  203. package/src/policyEnforcer.ts +169 -0
  204. package/src/policyTelemetryFeedback.test.ts +25 -0
  205. package/src/policyTelemetryFeedback.ts +38 -0
  206. package/src/protocol.bench.ts +37 -0
  207. package/{protocol.d.ts → src/protocol.d.ts} +2 -1
  208. package/src/protocol.d.ts.map +1 -0
  209. package/src/protocol.js +294 -0
  210. package/src/protocol.test.ts +155 -0
  211. package/src/protocol.ts +414 -0
  212. package/src/protocolAgent.test.ts +105 -0
  213. package/src/protocolAgent.ts +169 -0
  214. package/src/protocolBinary.test.ts +165 -0
  215. package/src/protocolBinary.ts +312 -0
  216. package/src/protocolCapabilities.ts +70 -0
  217. package/src/protocolFuzz.advanced.test.ts +235 -0
  218. package/src/protocolFuzz.test.ts +111 -0
  219. package/src/protocolNegative.test.ts +97 -0
  220. package/src/protocolReplay.test.ts +71 -0
  221. package/src/protocolReplay.ts +194 -0
  222. package/src/protocolTransport.test.ts +556 -0
  223. package/src/protocolTransport.ts +483 -0
  224. package/src/queueBinding.test.ts +130 -0
  225. package/src/queueBinding.ts +102 -0
  226. package/src/rateLimiter.test.ts +96 -0
  227. package/src/rateLimiter.ts +46 -0
  228. package/src/redisClient.ts +140 -0
  229. package/src/redisIntegration.test.ts +134 -0
  230. package/src/replayStores.test.ts +273 -0
  231. package/src/replayStores.ts +215 -0
  232. package/src/revocation.test.ts +98 -0
  233. package/src/revocation.ts +0 -0
  234. package/src/routePolicy.test.ts +87 -0
  235. package/src/routePolicy.ts +72 -0
  236. package/src/runtimePolicy.test.ts +49 -0
  237. package/src/runtimePolicy.ts +81 -0
  238. package/src/runtimePolicyManager.test.ts +29 -0
  239. package/src/runtimePolicyManager.ts +50 -0
  240. package/src/runtimePolicyPresets.ts +43 -0
  241. package/src/signedResponse.test.ts +111 -0
  242. package/src/signedResponse.ts +83 -0
  243. package/src/stream.test.ts +254 -0
  244. package/src/stream.ts +417 -0
  245. package/src/telemetry.test.ts +251 -0
  246. package/src/telemetry.ts +299 -0
  247. package/src/webhookBinding.test.ts +144 -0
  248. package/src/webhookBinding.ts +115 -0
  249. package/src/wsBinding.test.ts +221 -0
  250. package/src/wsBinding.ts +200 -0
  251. package/tsconfig.json +15 -0
  252. package/tsconfig.lib.json +23 -0
  253. package/vite.lib.config.ts +16 -0
  254. package/vitest.config.ts +11 -0
  255. package/agentAdapter.d.ts +0 -26
  256. package/conformanceVectors.d.ts +0 -20
  257. package/frameworkAdapters.d.ts +0 -72
  258. package/index.d.ts +0 -20
  259. package/index.js +0 -1702
  260. package/keyRotation.d.ts +0 -20
  261. package/mcpGateway.d.ts +0 -37
  262. package/mcpTransports.d.ts +0 -62
  263. package/mcpWrapper.d.ts +0 -83
  264. package/policyEnforcer.d.ts +0 -50
  265. package/policyTelemetryFeedback.d.ts +0 -11
  266. package/protocolAgent.d.ts +0 -58
  267. package/protocolBinary.d.ts +0 -8
  268. package/protocolCapabilities.d.ts +0 -24
  269. package/protocolReplay.d.ts +0 -35
  270. package/protocolTransport.d.ts +0 -73
  271. package/redisClient.d.ts +0 -49
  272. package/replayStores.d.ts +0 -32
  273. package/revocation.d.ts +0 -71
  274. package/runtimePolicy.d.ts +0 -24
  275. package/runtimePolicyManager.d.ts +0 -15
  276. package/runtimePolicyPresets.d.ts +0 -11
@@ -0,0 +1,318 @@
1
+ package protocol7h3_test
2
+
3
+ import (
4
+ "encoding/base64"
5
+ "encoding/json"
6
+ "strings"
7
+ "testing"
8
+ "time"
9
+
10
+ protocol7h3 "github.com/IceMasterT/7h3-protocol/sdk/go"
11
+ )
12
+
13
+ // ---------------------------------------------------------------------------
14
+ // Helpers
15
+ // ---------------------------------------------------------------------------
16
+
17
+ func makeEnvelopeGo(t *testing.T, body protocol7h3.ProtocolBody) protocol7h3.ProtocolEnvelope {
18
+ t.Helper()
19
+ nowMs := time.Now().UnixMilli()
20
+ return protocol7h3.ProtocolEnvelope{
21
+ Header: protocol7h3.ProtocolHeader{
22
+ Version: "7h3/0.1",
23
+ MessageID: "msg-go-test",
24
+ TimestampMs: nowMs,
25
+ TTLMs: 60_000,
26
+ Sender: "agent-alice",
27
+ Recipient: "agent-bob",
28
+ Nonce: "test-nonce-go",
29
+ },
30
+ Body: body,
31
+ }
32
+ }
33
+
34
+ // ---------------------------------------------------------------------------
35
+ // Test 1: GenerateX25519KeyPair returns 32-byte base64url keys (~43 chars, no padding)
36
+ // ---------------------------------------------------------------------------
37
+
38
+ func TestGenerateX25519KeyPair(t *testing.T) {
39
+ pub, priv, err := protocol7h3.GenerateX25519KeyPair()
40
+ if err != nil {
41
+ t.Fatalf("GenerateX25519KeyPair error: %v", err)
42
+ }
43
+
44
+ // Should not contain base64 padding
45
+ if strings.Contains(pub, "=") {
46
+ t.Errorf("public key has padding: %s", pub)
47
+ }
48
+ if strings.Contains(priv, "=") {
49
+ t.Errorf("private key has padding: %s", priv)
50
+ }
51
+
52
+ // Should be 43 chars (base64url of 32 bytes without padding)
53
+ if len(pub) != 43 {
54
+ t.Errorf("public key length = %d, want 43", len(pub))
55
+ }
56
+ if len(priv) != 43 {
57
+ t.Errorf("private key length = %d, want 43", len(priv))
58
+ }
59
+
60
+ // Decoded must be exactly 32 bytes
61
+ pubBytes, err := base64.RawURLEncoding.DecodeString(pub)
62
+ if err != nil {
63
+ t.Fatalf("decode public key: %v", err)
64
+ }
65
+ if len(pubBytes) != 32 {
66
+ t.Errorf("public key decoded length = %d, want 32", len(pubBytes))
67
+ }
68
+
69
+ privBytes, err := base64.RawURLEncoding.DecodeString(priv)
70
+ if err != nil {
71
+ t.Fatalf("decode private key: %v", err)
72
+ }
73
+ if len(privBytes) != 32 {
74
+ t.Errorf("private key decoded length = %d, want 32", len(privBytes))
75
+ }
76
+ }
77
+
78
+ // ---------------------------------------------------------------------------
79
+ // Test 2: SealEnvelope + OpenEnvelope round-trip recovers original body exactly
80
+ // ---------------------------------------------------------------------------
81
+
82
+ func TestSealOpenEnvelopeRoundTrip(t *testing.T) {
83
+ recipientPub, recipientPriv, err := protocol7h3.GenerateX25519KeyPair()
84
+ if err != nil {
85
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
86
+ }
87
+
88
+ senderPub, senderPriv, err := protocol7h3.GenerateKeypair()
89
+ if err != nil {
90
+ t.Fatalf("GenerateKeypair: %v", err)
91
+ }
92
+
93
+ originalBody := protocol7h3.ProtocolBody{
94
+ Intent: "TASK",
95
+ Content: "Hello encrypted world!",
96
+ Capability: "some-cap",
97
+ CorrelationID: "corr-123",
98
+ }
99
+ envelope := makeEnvelopeGo(t, originalBody)
100
+
101
+ sealed, err := protocol7h3.SealEnvelope(envelope, recipientPub, senderPriv)
102
+ if err != nil {
103
+ t.Fatalf("SealEnvelope: %v", err)
104
+ }
105
+
106
+ _, body, err := protocol7h3.OpenEnvelope(sealed, recipientPriv, senderPub)
107
+ if err != nil {
108
+ t.Fatalf("OpenEnvelope: %v", err)
109
+ }
110
+
111
+ if body.Intent != originalBody.Intent {
112
+ t.Errorf("intent = %q, want %q", body.Intent, originalBody.Intent)
113
+ }
114
+ if body.Content != originalBody.Content {
115
+ t.Errorf("content = %q, want %q", body.Content, originalBody.Content)
116
+ }
117
+ if body.Capability != originalBody.Capability {
118
+ t.Errorf("capability = %q, want %q", body.Capability, originalBody.Capability)
119
+ }
120
+ if body.CorrelationID != originalBody.CorrelationID {
121
+ t.Errorf("correlationId = %q, want %q", body.CorrelationID, originalBody.CorrelationID)
122
+ }
123
+ }
124
+
125
+ // ---------------------------------------------------------------------------
126
+ // Test 3: OpenEnvelope fails with wrong recipient key
127
+ // ---------------------------------------------------------------------------
128
+
129
+ func TestOpenEnvelopeWrongRecipientKey(t *testing.T) {
130
+ recipientPub, _, err := protocol7h3.GenerateX25519KeyPair()
131
+ if err != nil {
132
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
133
+ }
134
+ _, wrongPriv, err := protocol7h3.GenerateX25519KeyPair()
135
+ if err != nil {
136
+ t.Fatalf("GenerateX25519KeyPair wrong: %v", err)
137
+ }
138
+ senderPub, senderPriv, err := protocol7h3.GenerateKeypair()
139
+ if err != nil {
140
+ t.Fatalf("GenerateKeypair: %v", err)
141
+ }
142
+
143
+ envelope := makeEnvelopeGo(t, protocol7h3.ProtocolBody{Intent: "PING", Content: "secret"})
144
+ sealed, err := protocol7h3.SealEnvelope(envelope, recipientPub, senderPriv)
145
+ if err != nil {
146
+ t.Fatalf("SealEnvelope: %v", err)
147
+ }
148
+
149
+ // Wrong recipient private key — we need to test decryptBody path directly.
150
+ // To bypass signature check (which uses senderPub correctly), we test OpenEnvelope
151
+ // with wrong key but correct signature — the AEAD tag will fail.
152
+ // However, OpenEnvelope verifies Ed25519 first using senderPub (which matches),
153
+ // so signature passes, and then decryption fails with wrong key.
154
+ _, _, err = protocol7h3.OpenEnvelope(sealed, wrongPriv, senderPub)
155
+ if err == nil {
156
+ t.Error("expected error with wrong recipient key, got nil")
157
+ }
158
+ }
159
+
160
+ // ---------------------------------------------------------------------------
161
+ // Test 4: OpenEnvelope fails if envelope signature tampered
162
+ // ---------------------------------------------------------------------------
163
+
164
+ func TestOpenEnvelopeTamperedSignature(t *testing.T) {
165
+ recipientPub, recipientPriv, err := protocol7h3.GenerateX25519KeyPair()
166
+ if err != nil {
167
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
168
+ }
169
+ senderPub, senderPriv, err := protocol7h3.GenerateKeypair()
170
+ if err != nil {
171
+ t.Fatalf("GenerateKeypair: %v", err)
172
+ }
173
+
174
+ envelope := makeEnvelopeGo(t, protocol7h3.ProtocolBody{Intent: "PING", Content: "secret"})
175
+ sealed, err := protocol7h3.SealEnvelope(envelope, recipientPub, senderPriv)
176
+ if err != nil {
177
+ t.Fatalf("SealEnvelope: %v", err)
178
+ }
179
+
180
+ // Tamper with signature
181
+ tamperedSig := *sealed.Signature
182
+ tamperedSig.Value = strings.Repeat("A", 86)
183
+ sealed.Signature = &tamperedSig
184
+
185
+ _, _, err = protocol7h3.OpenEnvelope(sealed, recipientPriv, senderPub)
186
+ if err == nil {
187
+ t.Error("expected error with tampered signature, got nil")
188
+ }
189
+ if !strings.Contains(err.Error(), "signature") {
190
+ t.Errorf("expected signature error, got: %v", err)
191
+ }
192
+ }
193
+
194
+ // ---------------------------------------------------------------------------
195
+ // Test 5: OpenEnvelope fails if ciphertext tampered (AEAD auth tag fails)
196
+ // ---------------------------------------------------------------------------
197
+
198
+ func TestOpenEnvelopeTamperedCiphertext(t *testing.T) {
199
+ recipientPub, recipientPriv, err := protocol7h3.GenerateX25519KeyPair()
200
+ if err != nil {
201
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
202
+ }
203
+ senderPub, senderPriv, err := protocol7h3.GenerateKeypair()
204
+ if err != nil {
205
+ t.Fatalf("GenerateKeypair: %v", err)
206
+ }
207
+
208
+ envelope := makeEnvelopeGo(t, protocol7h3.ProtocolBody{Intent: "PING", Content: "secret"})
209
+ sealed, err := protocol7h3.SealEnvelope(envelope, recipientPub, senderPriv)
210
+ if err != nil {
211
+ t.Fatalf("SealEnvelope: %v", err)
212
+ }
213
+
214
+ // Decode the encrypted payload, flip a bit in ciphertext
215
+ payloadJSON, err := base64.RawURLEncoding.DecodeString(sealed.Body.Content)
216
+ if err != nil {
217
+ t.Fatalf("decode content: %v", err)
218
+ }
219
+ var payload map[string]string
220
+ if err = json.Unmarshal(payloadJSON, &payload); err != nil {
221
+ t.Fatalf("unmarshal payload: %v", err)
222
+ }
223
+ ctBytes, err := base64.RawURLEncoding.DecodeString(payload["ciphertext"])
224
+ if err != nil {
225
+ t.Fatalf("decode ciphertext: %v", err)
226
+ }
227
+ ctBytes[0] ^= 0xFF
228
+ payload["ciphertext"] = base64.RawURLEncoding.EncodeToString(ctBytes)
229
+
230
+ tamperedPayloadJSON, _ := json.Marshal(payload)
231
+ tamperedContent := base64.RawURLEncoding.EncodeToString(tamperedPayloadJSON)
232
+
233
+ // We need to test decryptBody path, bypassing the signature check by calling
234
+ // a sealed envelope that we signed correctly but with tampered content.
235
+ // Since we can't re-sign (that would require a new seal), test via a helper approach:
236
+ // Create a new sealed envelope with the tampered content re-signed.
237
+ tamperedEnv := sealed
238
+ tamperedEnv.Body.Content = tamperedContent
239
+ // Re-sign it so sig check passes but AEAD fails
240
+ reSealed, err := protocol7h3.SignEnvelopeEd25519(protocol7h3.ProtocolEnvelope{
241
+ Header: tamperedEnv.Header,
242
+ Body: tamperedEnv.Body,
243
+ }, senderPriv)
244
+ if err != nil {
245
+ t.Fatalf("re-sign tampered envelope: %v", err)
246
+ }
247
+
248
+ _, _, err = protocol7h3.OpenEnvelope(reSealed, recipientPriv, senderPub)
249
+ if err == nil {
250
+ t.Error("expected error with tampered ciphertext, got nil")
251
+ }
252
+ }
253
+
254
+ // ---------------------------------------------------------------------------
255
+ // Test 6: Two SealEnvelope calls on same body produce different ciphertexts
256
+ // ---------------------------------------------------------------------------
257
+
258
+ func TestSealEnvelopeEphemeralRandomness(t *testing.T) {
259
+ recipientPub, _, err := protocol7h3.GenerateX25519KeyPair()
260
+ if err != nil {
261
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
262
+ }
263
+ _, senderPriv, err := protocol7h3.GenerateKeypair()
264
+ if err != nil {
265
+ t.Fatalf("GenerateKeypair: %v", err)
266
+ }
267
+
268
+ body := protocol7h3.ProtocolBody{Intent: "PING", Content: "same content"}
269
+ envelope1 := makeEnvelopeGo(t, body)
270
+ envelope2 := makeEnvelopeGo(t, body)
271
+
272
+ sealed1, err := protocol7h3.SealEnvelope(envelope1, recipientPub, senderPriv)
273
+ if err != nil {
274
+ t.Fatalf("SealEnvelope 1: %v", err)
275
+ }
276
+ sealed2, err := protocol7h3.SealEnvelope(envelope2, recipientPub, senderPriv)
277
+ if err != nil {
278
+ t.Fatalf("SealEnvelope 2: %v", err)
279
+ }
280
+
281
+ if sealed1.Body.Content == sealed2.Body.Content {
282
+ t.Error("two seal calls produced identical ciphertexts — ephemeral key randomness failure")
283
+ }
284
+ }
285
+
286
+ // ---------------------------------------------------------------------------
287
+ // Test 7: Encrypted content is opaque (does not contain original body.content)
288
+ // ---------------------------------------------------------------------------
289
+
290
+ func TestEncryptedContentIsOpaque(t *testing.T) {
291
+ recipientPub, _, err := protocol7h3.GenerateX25519KeyPair()
292
+ if err != nil {
293
+ t.Fatalf("GenerateX25519KeyPair: %v", err)
294
+ }
295
+ _, senderPriv, err := protocol7h3.GenerateKeypair()
296
+ if err != nil {
297
+ t.Fatalf("GenerateKeypair: %v", err)
298
+ }
299
+
300
+ originalContent := "super-secret-data-12345"
301
+ envelope := makeEnvelopeGo(t, protocol7h3.ProtocolBody{Intent: "TASK", Content: originalContent})
302
+
303
+ sealed, err := protocol7h3.SealEnvelope(envelope, recipientPub, senderPriv)
304
+ if err != nil {
305
+ t.Fatalf("SealEnvelope: %v", err)
306
+ }
307
+
308
+ // The raw encrypted content should not contain the original plaintext
309
+ if strings.Contains(sealed.Body.Content, originalContent) {
310
+ t.Error("encrypted content contains original plaintext (raw base64url)")
311
+ }
312
+
313
+ // Decoded JSON of encrypted payload should also not contain it
314
+ payloadJSON, _ := base64.RawURLEncoding.DecodeString(sealed.Body.Content)
315
+ if strings.Contains(string(payloadJSON), originalContent) {
316
+ t.Error("encrypted payload JSON contains original plaintext")
317
+ }
318
+ }
package/sdk/go/go.mod ADDED
@@ -0,0 +1,7 @@
1
+ module github.com/IceMasterT/7h3-protocol/sdk/go
2
+
3
+ go 1.25.0
4
+
5
+ require golang.org/x/crypto v0.53.0
6
+
7
+ require golang.org/x/sys v0.46.0 // indirect
package/sdk/go/go.sum ADDED
@@ -0,0 +1,4 @@
1
+ golang.org/x/crypto v0.53.0 h1:QZ4Muo8THX6CizN2vPPd5fBGHyogrdK9fG4wLPFUsto=
2
+ golang.org/x/crypto v0.53.0/go.mod h1:DNLU434OwVakk9PzuwV8w62mAJpRJL3vsgcfp4Qnsio=
3
+ golang.org/x/sys v0.46.0 h1:noSf2Fq6F8DBgS+LysIkx7rIExoNHJsxOAtPp4rthXw=
4
+ golang.org/x/sys v0.46.0/go.mod h1:4GL1E5IUh+htKOUEOaiffhrAeqysfVGipDYzABqnCmw=
package/sdk/go/http.go ADDED
@@ -0,0 +1,135 @@
1
+ package protocol7h3
2
+
3
+ import (
4
+ "encoding/json"
5
+ "net/http"
6
+ )
7
+
8
+ // HTTPEnvelopeHeader is the default HTTP header name for the protocol envelope.
9
+ const HTTPEnvelopeHeader = "X-7h3-Envelope"
10
+
11
+ // VerifyFailReason describes why HTTP envelope verification failed.
12
+ type VerifyFailReason string
13
+
14
+ const (
15
+ ReasonMissingHeader VerifyFailReason = "missing_header"
16
+ ReasonMalformed VerifyFailReason = "malformed"
17
+ ReasonUnknownSender VerifyFailReason = "unknown_sender"
18
+ ReasonInvalidSignature VerifyFailReason = "invalid_signature"
19
+ ReasonExpired VerifyFailReason = "expired"
20
+ )
21
+
22
+ // KeyRegistry looks up public keys by sender ID.
23
+ type KeyRegistry interface {
24
+ GetPublicKey(senderID string) (string, bool)
25
+ }
26
+
27
+ // StaticKeyRegistry is a simple in-memory key registry.
28
+ type StaticKeyRegistry struct {
29
+ Keys map[string]string
30
+ }
31
+
32
+ // GetPublicKey returns the public key for the given sender ID.
33
+ func (r *StaticKeyRegistry) GetPublicKey(senderID string) (string, bool) {
34
+ k, ok := r.Keys[senderID]
35
+ return k, ok
36
+ }
37
+
38
+ // HTTPVerifyResult is the result of verifying an HTTP envelope.
39
+ type HTTPVerifyResult struct {
40
+ OK bool
41
+ Envelope *ProtocolEnvelope
42
+ Reason VerifyFailReason
43
+ Detail string
44
+ }
45
+
46
+ // headerName returns the header name to use (default: HTTPEnvelopeHeader).
47
+ func resolveHeaderName(names []string) string {
48
+ if len(names) > 0 && names[0] != "" {
49
+ return names[0]
50
+ }
51
+ return HTTPEnvelopeHeader
52
+ }
53
+
54
+ // VerifyHTTPEnvelope extracts and verifies the protocol envelope from an HTTP request.
55
+ func VerifyHTTPEnvelope(r *http.Request, registry KeyRegistry, headerName ...string) HTTPVerifyResult {
56
+ hdr := resolveHeaderName(headerName)
57
+ val := r.Header.Get(hdr)
58
+ if val == "" {
59
+ return HTTPVerifyResult{OK: false, Reason: ReasonMissingHeader, Detail: "header " + hdr + " not present"}
60
+ }
61
+
62
+ var env ProtocolEnvelope
63
+ if err := json.Unmarshal([]byte(val), &env); err != nil {
64
+ return HTTPVerifyResult{OK: false, Reason: ReasonMalformed, Detail: err.Error()}
65
+ }
66
+
67
+ // Check expiry
68
+ diags := ValidateEnvelope(env)
69
+ for _, d := range diags {
70
+ if d.Message == "Message TTL expired" {
71
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonExpired, Detail: d.Message}
72
+ }
73
+ }
74
+
75
+ // Check sender
76
+ if env.Header.Sender == "" {
77
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonMalformed, Detail: "missing sender"}
78
+ }
79
+
80
+ pubKey, ok := registry.GetPublicKey(env.Header.Sender)
81
+ if !ok {
82
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonUnknownSender, Detail: "no key for sender: " + env.Header.Sender}
83
+ }
84
+
85
+ if env.Signature == nil {
86
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonInvalidSignature, Detail: "no signature"}
87
+ }
88
+
89
+ var valid bool
90
+ var verifyErr error
91
+ switch env.Signature.Alg {
92
+ case "ED25519":
93
+ valid, verifyErr = VerifyEnvelopeEd25519(env, pubKey)
94
+ case "HS256":
95
+ valid, verifyErr = VerifyEnvelopeHmac(env, pubKey)
96
+ default:
97
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonInvalidSignature, Detail: "unknown alg: " + env.Signature.Alg}
98
+ }
99
+
100
+ if verifyErr != nil {
101
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonInvalidSignature, Detail: verifyErr.Error()}
102
+ }
103
+ if !valid {
104
+ return HTTPVerifyResult{OK: false, Envelope: &env, Reason: ReasonInvalidSignature, Detail: "signature mismatch"}
105
+ }
106
+
107
+ return HTTPVerifyResult{OK: true, Envelope: &env}
108
+ }
109
+
110
+ // SignHTTPRequest signs the envelope and returns the header name and JSON value to set.
111
+ func SignHTTPRequest(env ProtocolEnvelope, privateKey string, headerName ...string) (name, value string, err error) {
112
+ signed, err := SignEnvelopeEd25519(env, privateKey)
113
+ if err != nil {
114
+ return "", "", err
115
+ }
116
+
117
+ b, err := json.Marshal(signed)
118
+ if err != nil {
119
+ return "", "", err
120
+ }
121
+
122
+ return resolveHeaderName(headerName), string(b), nil
123
+ }
124
+
125
+ // Middleware returns an http.Handler that verifies the protocol envelope before passing to next.
126
+ func Middleware(registry KeyRegistry, next http.Handler) http.Handler {
127
+ return http.HandlerFunc(func(w http.ResponseWriter, r *http.Request) {
128
+ result := VerifyHTTPEnvelope(r, registry)
129
+ if !result.OK {
130
+ http.Error(w, string(result.Reason)+": "+result.Detail, http.StatusUnauthorized)
131
+ return
132
+ }
133
+ next.ServeHTTP(w, r)
134
+ })
135
+ }