@7h3/protocol 0.1.2 → 0.4.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 (230) 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 +92 -0
  8. package/CONTRIBUTING.md +82 -0
  9. package/Dockerfile +73 -0
  10. package/GOVERNANCE.md +62 -0
  11. package/README.md +323 -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 +385 -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.png +0 -0
  72. package/eslint.config.js +15 -0
  73. package/fuzz/ts/harness-decode.ts +136 -0
  74. package/fuzz/ts/harness-verify.ts +121 -0
  75. package/fuzz/ts/run.ts +35 -0
  76. package/mcp-server/README.md +38 -0
  77. package/mcp-server/package-lock.json +1187 -0
  78. package/mcp-server/package.json +35 -0
  79. package/mcp-server/src/index.ts +236 -0
  80. package/mcp-server/tsconfig.json +14 -0
  81. package/package.json +79 -13
  82. package/scripts/aip-framework-quickstart.ts +110 -0
  83. package/scripts/aip-mcp-gateway.ts +38 -0
  84. package/scripts/aip-mcp-wrap-demo.ts +72 -0
  85. package/scripts/aip-quickstart.ts +60 -0
  86. package/scripts/bench-diff.ts +118 -0
  87. package/scripts/bench-protocol-e2e.ts +937 -0
  88. package/scripts/bench-protocol-openloop.ts +1397 -0
  89. package/scripts/bench-replay-cache.ts +76 -0
  90. package/scripts/bench-signature-profiles.ts +180 -0
  91. package/scripts/bench-wire-codecs.ts +161 -0
  92. package/scripts/build-binary-conformance.ts +36 -0
  93. package/scripts/build-release-dashboard.ts +175 -0
  94. package/scripts/canary-rollout.ts +38 -0
  95. package/scripts/mcpGatewayCli.test.ts +116 -0
  96. package/scripts/prepare-aip-package.ts +88 -0
  97. package/scripts/regen-conformance-sigs.ts +18 -0
  98. package/scripts/release-gate.ts +19 -0
  99. package/scripts/validate-runtime-policy.ts +18 -0
  100. package/sdk/browser/index.test.ts +162 -0
  101. package/sdk/browser/index.ts +257 -0
  102. package/sdk/browser/package.json +13 -0
  103. package/sdk/go/go.mod +3 -0
  104. package/sdk/go/http.go +135 -0
  105. package/sdk/go/protocol.go +324 -0
  106. package/sdk/go/protocol_test.go +334 -0
  107. package/sdk/go/webhook.go +136 -0
  108. package/sdk/python/README.md +18 -0
  109. package/sdk/python/protocol_7h3/__init__.py +46 -0
  110. package/sdk/python/protocol_7h3/http.py +212 -0
  111. package/sdk/python/protocol_7h3/keys.py +149 -0
  112. package/sdk/python/protocol_7h3/protocol.py +525 -0
  113. package/sdk/python/protocol_7h3/queue.py +118 -0
  114. package/sdk/python/protocol_7h3/webhook.py +116 -0
  115. package/sdk/python/pyproject.toml +40 -0
  116. package/sdk/python/tests/test_conformance.py +110 -0
  117. package/sdk/python/tests/test_http.py +305 -0
  118. package/sdk/python/tests/test_keys.py +417 -0
  119. package/sdk/python/tests/test_queue.py +120 -0
  120. package/sdk/python/tests/test_webhook.py +345 -0
  121. package/sdk/rust/Cargo.lock +371 -0
  122. package/sdk/rust/Cargo.toml +25 -0
  123. package/sdk/rust/README.md +31 -0
  124. package/sdk/rust/fuzz/Cargo.toml +29 -0
  125. package/sdk/rust/fuzz/fuzz_targets/fuzz_canonicalize.rs +46 -0
  126. package/sdk/rust/fuzz/fuzz_targets/fuzz_decode.rs +11 -0
  127. package/sdk/rust/src/bin/aip_mcp_gateway.rs +59 -0
  128. package/sdk/rust/src/http.rs +145 -0
  129. package/sdk/rust/src/keys.rs +161 -0
  130. package/sdk/rust/src/lib.rs +688 -0
  131. package/sdk/rust/src/queue.rs +79 -0
  132. package/sdk/rust/src/webhook.rs +86 -0
  133. package/sdk/rust/tests/conformance.rs +148 -0
  134. package/sdk/rust/tests/gateway.rs +130 -0
  135. package/sdk/rust/tests/http_webhook_queue.rs +201 -0
  136. package/sdk/rust/tests/keys.rs +189 -0
  137. package/src/agentAdapter.test.ts +48 -0
  138. package/src/agentAdapter.ts +56 -0
  139. package/src/auditLog.test.ts +145 -0
  140. package/src/auditLog.ts +147 -0
  141. package/src/conformance.test.ts +136 -0
  142. package/src/conformanceVectors.ts +99 -0
  143. package/src/frameworkAdapters.test.ts +290 -0
  144. package/src/frameworkAdapters.ts +261 -0
  145. package/src/gateway.test.ts +343 -0
  146. package/src/gateway.ts +171 -0
  147. package/src/grpcBinding.test.ts +211 -0
  148. package/src/grpcBinding.ts +103 -0
  149. package/src/httpBinding.test.ts +376 -0
  150. package/src/httpBinding.ts +163 -0
  151. package/src/index.ts +32 -0
  152. package/src/keyInfra.test.ts +278 -0
  153. package/src/keyInfra.ts +228 -0
  154. package/src/keyRegistry.ts +59 -0
  155. package/src/keyRotation.test.ts +78 -0
  156. package/src/keyRotation.ts +72 -0
  157. package/src/mcpGateway.test.ts +129 -0
  158. package/src/mcpGateway.ts +250 -0
  159. package/src/mcpTransports.test.ts +92 -0
  160. package/src/mcpTransports.ts +169 -0
  161. package/src/mcpWrapper.test.ts +179 -0
  162. package/src/mcpWrapper.ts +206 -0
  163. package/src/policyEnforcer.test.ts +99 -0
  164. package/src/policyEnforcer.ts +169 -0
  165. package/src/policyTelemetryFeedback.test.ts +25 -0
  166. package/src/policyTelemetryFeedback.ts +38 -0
  167. package/src/protocol.bench.ts +37 -0
  168. package/src/protocol.test.ts +155 -0
  169. package/src/protocol.ts +413 -0
  170. package/src/protocolAgent.test.ts +105 -0
  171. package/src/protocolAgent.ts +169 -0
  172. package/src/protocolBinary.test.ts +165 -0
  173. package/src/protocolBinary.ts +312 -0
  174. package/src/protocolCapabilities.ts +70 -0
  175. package/src/protocolFuzz.advanced.test.ts +235 -0
  176. package/src/protocolFuzz.test.ts +111 -0
  177. package/src/protocolNegative.test.ts +97 -0
  178. package/src/protocolReplay.test.ts +71 -0
  179. package/src/protocolReplay.ts +194 -0
  180. package/src/protocolTransport.test.ts +556 -0
  181. package/src/protocolTransport.ts +483 -0
  182. package/src/queueBinding.test.ts +130 -0
  183. package/src/queueBinding.ts +102 -0
  184. package/src/rateLimiter.test.ts +96 -0
  185. package/src/rateLimiter.ts +46 -0
  186. package/src/redisClient.ts +140 -0
  187. package/src/redisIntegration.test.ts +134 -0
  188. package/src/replayStores.test.ts +141 -0
  189. package/src/replayStores.ts +82 -0
  190. package/src/revocation.test.ts +98 -0
  191. package/src/revocation.ts +0 -0
  192. package/src/routePolicy.test.ts +87 -0
  193. package/src/routePolicy.ts +72 -0
  194. package/src/runtimePolicy.test.ts +49 -0
  195. package/src/runtimePolicy.ts +81 -0
  196. package/src/runtimePolicyManager.test.ts +29 -0
  197. package/src/runtimePolicyManager.ts +50 -0
  198. package/src/runtimePolicyPresets.ts +43 -0
  199. package/src/signedResponse.test.ts +111 -0
  200. package/src/signedResponse.ts +83 -0
  201. package/src/webhookBinding.test.ts +144 -0
  202. package/src/webhookBinding.ts +115 -0
  203. package/src/wsBinding.test.ts +221 -0
  204. package/src/wsBinding.ts +100 -0
  205. package/tsconfig.json +15 -0
  206. package/tsconfig.lib.json +23 -0
  207. package/vite.lib.config.ts +16 -0
  208. package/agentAdapter.d.ts +0 -26
  209. package/conformanceVectors.d.ts +0 -20
  210. package/frameworkAdapters.d.ts +0 -72
  211. package/index.d.ts +0 -20
  212. package/index.js +0 -1702
  213. package/keyRotation.d.ts +0 -20
  214. package/mcpGateway.d.ts +0 -37
  215. package/mcpTransports.d.ts +0 -62
  216. package/mcpWrapper.d.ts +0 -83
  217. package/policyEnforcer.d.ts +0 -50
  218. package/policyTelemetryFeedback.d.ts +0 -11
  219. package/protocol.d.ts +0 -66
  220. package/protocolAgent.d.ts +0 -58
  221. package/protocolBinary.d.ts +0 -8
  222. package/protocolCapabilities.d.ts +0 -24
  223. package/protocolReplay.d.ts +0 -35
  224. package/protocolTransport.d.ts +0 -73
  225. package/redisClient.d.ts +0 -49
  226. package/replayStores.d.ts +0 -32
  227. package/revocation.d.ts +0 -71
  228. package/runtimePolicy.d.ts +0 -24
  229. package/runtimePolicyManager.d.ts +0 -15
  230. package/runtimePolicyPresets.d.ts +0 -11
@@ -0,0 +1,376 @@
1
+ import { describe, it, expect, vi } from 'vitest'
2
+ import {
3
+ verifyHttpEnvelope,
4
+ signHttpRequest,
5
+ signHttpRequestHmac,
6
+ createHttpMiddleware,
7
+ signFetchRequest,
8
+ createSignedFetchRequest,
9
+ DEFAULT_HEADER,
10
+ } from './httpBinding'
11
+ import { createStaticKeyRegistry, type KeyRegistry } from './keyRegistry'
12
+ import {
13
+ generateEd25519KeypairBase64Url,
14
+ createEnvelope,
15
+ signEnvelopeEd25519,
16
+ signEnvelopeHmac,
17
+ type ProtocolEnvelope,
18
+ } from './protocol'
19
+
20
+ // Helper: build a static KeyRegistry that also holds HMAC shared secrets
21
+ function createHmacKeyRegistry(secrets: Record<string, string>): KeyRegistry {
22
+ return {
23
+ async getPublicKey() { return null },
24
+ async getSharedSecret(keyId) { return secrets[keyId] ?? null },
25
+ }
26
+ }
27
+
28
+ describe('verifyHttpEnvelope', () => {
29
+ it('returns missing-header when header is absent', async () => {
30
+ const registry = createStaticKeyRegistry({})
31
+ const result = await verifyHttpEnvelope({}, { keyRegistry: registry })
32
+ expect(result.ok).toBe(false)
33
+ if (!result.ok) expect(result.reason).toBe('missing-header')
34
+ })
35
+
36
+ it('returns missing-header when header value is undefined', async () => {
37
+ const registry = createStaticKeyRegistry({})
38
+ const result = await verifyHttpEnvelope(
39
+ { [DEFAULT_HEADER]: undefined },
40
+ { keyRegistry: registry },
41
+ )
42
+ expect(result.ok).toBe(false)
43
+ if (!result.ok) expect(result.reason).toBe('missing-header')
44
+ })
45
+
46
+ it('returns malformed-envelope for invalid JSON', async () => {
47
+ const registry = createStaticKeyRegistry({})
48
+ const result = await verifyHttpEnvelope(
49
+ { [DEFAULT_HEADER]: 'not-json' },
50
+ { keyRegistry: registry },
51
+ )
52
+ expect(result.ok).toBe(false)
53
+ if (!result.ok) {
54
+ expect(result.reason).toBe('malformed-envelope')
55
+ expect(result.detail).toContain('JSON parse failed')
56
+ }
57
+ })
58
+
59
+ it('returns malformed-envelope when required fields are missing', async () => {
60
+ const registry = createStaticKeyRegistry({})
61
+ const result = await verifyHttpEnvelope(
62
+ { [DEFAULT_HEADER]: JSON.stringify({ header: {} }) },
63
+ { keyRegistry: registry },
64
+ )
65
+ expect(result.ok).toBe(false)
66
+ if (!result.ok) expect(result.reason).toBe('malformed-envelope')
67
+ })
68
+
69
+ it('passes a valid Ed25519 signed envelope', async () => {
70
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
71
+ const sender = 'agent-alice'
72
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
73
+
74
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hello', ttlMs: 60_000 })
75
+ const signed = await signEnvelopeEd25519(env, privateKey)
76
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(signed) }
77
+
78
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
79
+ expect(result.ok).toBe(true)
80
+ if (result.ok) expect(result.envelope.header.sender).toBe(sender)
81
+ })
82
+
83
+ it('returns invalid-signature when envelope is tampered', async () => {
84
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
85
+ const sender = 'agent-bob'
86
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
87
+
88
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hello', ttlMs: 60_000 })
89
+ const signed = await signEnvelopeEd25519(env, privateKey)
90
+
91
+ // Tamper with the content after signing
92
+ const tampered: ProtocolEnvelope = {
93
+ ...signed,
94
+ body: { ...signed.body, content: 'tampered-content' },
95
+ }
96
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(tampered) }
97
+
98
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
99
+ expect(result.ok).toBe(false)
100
+ if (!result.ok) expect(result.reason).toBe('invalid-signature')
101
+ })
102
+
103
+ it('returns unknown-sender when sender is not in registry', async () => {
104
+ const { privateKey } = await generateEd25519KeypairBase64Url()
105
+ const registry = createStaticKeyRegistry({}) // empty registry
106
+
107
+ const env = createEnvelope({ sender: 'unknown-agent', intent: 'PING', content: 'hi', ttlMs: 60_000 })
108
+ const signed = await signEnvelopeEd25519(env, privateKey)
109
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(signed) }
110
+
111
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
112
+ expect(result.ok).toBe(false)
113
+ if (!result.ok) {
114
+ expect(result.reason).toBe('unknown-sender')
115
+ expect(result.detail).toBe('unknown-agent')
116
+ }
117
+ })
118
+
119
+ it('returns ttl-expired for an expired envelope', async () => {
120
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
121
+ const sender = 'agent-expired'
122
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
123
+
124
+ // Create envelope with past timestamp so it is already expired
125
+ const pastNow = Date.now() - 120_000 // 2 minutes ago
126
+ const env = createEnvelope({
127
+ sender,
128
+ intent: 'PING',
129
+ content: 'hello',
130
+ ttlMs: 1_000, // 1 second TTL
131
+ nowMs: pastNow,
132
+ })
133
+ const signed = await signEnvelopeEd25519(env, privateKey)
134
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(signed) }
135
+
136
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry, strictTtl: true })
137
+ expect(result.ok).toBe(false)
138
+ if (!result.ok) expect(result.reason).toBe('ttl-expired')
139
+ })
140
+
141
+ it('skips TTL check when strictTtl is false', async () => {
142
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
143
+ const sender = 'agent-nostrictttl'
144
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
145
+
146
+ const pastNow = Date.now() - 120_000
147
+ const env = createEnvelope({
148
+ sender,
149
+ intent: 'PING',
150
+ content: 'hello',
151
+ ttlMs: 1_000,
152
+ nowMs: pastNow,
153
+ })
154
+ const signed = await signEnvelopeEd25519(env, privateKey)
155
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(signed) }
156
+
157
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry, strictTtl: false })
158
+ expect(result.ok).toBe(true)
159
+ })
160
+ })
161
+
162
+ describe('signHttpRequest + verifyHttpEnvelope round trip (Ed25519)', () => {
163
+ it('signs and verifies successfully', async () => {
164
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
165
+ const sender = 'agent-roundtrip'
166
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
167
+
168
+ const env = createEnvelope({ sender, intent: 'TASK', content: 'do something', ttlMs: 60_000 })
169
+ const { headers } = await signHttpRequest(env, privateKey)
170
+
171
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
172
+ expect(result.ok).toBe(true)
173
+ if (result.ok) {
174
+ expect(result.envelope.header.sender).toBe(sender)
175
+ expect(result.envelope.body.intent).toBe('TASK')
176
+ }
177
+ })
178
+
179
+ it('uses custom header name when provided', async () => {
180
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
181
+ const sender = 'agent-custom-header'
182
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
183
+ const customHeader = 'x-custom-sig'
184
+
185
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hi', ttlMs: 60_000 })
186
+ const { headers } = await signHttpRequest(env, privateKey, { headerName: customHeader })
187
+
188
+ expect(headers[customHeader]).toBeDefined()
189
+ expect(headers[DEFAULT_HEADER]).toBeUndefined()
190
+
191
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry, headerName: customHeader })
192
+ expect(result.ok).toBe(true)
193
+ })
194
+ })
195
+
196
+ describe('createHttpMiddleware', () => {
197
+ it('calls next() when envelope is valid', async () => {
198
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
199
+ const sender = 'agent-middleware'
200
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
201
+
202
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hi', ttlMs: 60_000 })
203
+ const signed = await signEnvelopeEd25519(env, privateKey)
204
+ const req = { headers: { [DEFAULT_HEADER]: JSON.stringify(signed) } }
205
+
206
+ const res = { status: vi.fn().mockReturnThis(), json: vi.fn() }
207
+ const next = vi.fn()
208
+
209
+ const middleware = createHttpMiddleware({ keyRegistry: registry })
210
+ await middleware(req, res as any, next)
211
+
212
+ expect(next).toHaveBeenCalledOnce()
213
+ expect(next).toHaveBeenCalledWith() // no error argument
214
+ expect(res.status).not.toHaveBeenCalled()
215
+ // The envelope should be attached to req
216
+ expect((req as any)['7h3Envelope']).toBeDefined()
217
+ })
218
+
219
+ it('returns 401 and does not call next() when envelope is missing', async () => {
220
+ const registry = createStaticKeyRegistry({})
221
+ const req = { headers: {} }
222
+ const jsonMock = vi.fn()
223
+ const res = { status: vi.fn().mockReturnValue({ json: jsonMock }) }
224
+ const next = vi.fn()
225
+
226
+ const middleware = createHttpMiddleware({ keyRegistry: registry })
227
+ await middleware(req, res as any, next)
228
+
229
+ expect(res.status).toHaveBeenCalledWith(401)
230
+ expect(jsonMock).toHaveBeenCalledWith(
231
+ expect.objectContaining({ reason: 'missing-header' }),
232
+ )
233
+ expect(next).not.toHaveBeenCalled()
234
+ })
235
+
236
+ it('returns 401 for invalid signature', async () => {
237
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
238
+ const { privateKey: otherPrivateKey } = await generateEd25519KeypairBase64Url()
239
+ const sender = 'agent-bad-sig'
240
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
241
+
242
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hi', ttlMs: 60_000 })
243
+ // Sign with wrong key
244
+ const signed = await signEnvelopeEd25519(env, otherPrivateKey)
245
+ const req = { headers: { [DEFAULT_HEADER]: JSON.stringify(signed) } }
246
+
247
+ const jsonMock = vi.fn()
248
+ const res = { status: vi.fn().mockReturnValue({ json: jsonMock }) }
249
+ const next = vi.fn()
250
+
251
+ const middleware = createHttpMiddleware({ keyRegistry: registry })
252
+ await middleware(req, res as any, next)
253
+
254
+ expect(res.status).toHaveBeenCalledWith(401)
255
+ expect(next).not.toHaveBeenCalled()
256
+ })
257
+ })
258
+
259
+ describe('signFetchRequest', () => {
260
+ it('adds the envelope header to a Request', async () => {
261
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
262
+ const sender = 'agent-fetch'
263
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
264
+
265
+ const env = createEnvelope({ sender, intent: 'TASK', content: 'fetch-task', ttlMs: 60_000 })
266
+ const originalRequest = new Request('https://example.com/api')
267
+ const signedRequest = await signFetchRequest(originalRequest, env, privateKey)
268
+
269
+ expect(signedRequest.headers.get(DEFAULT_HEADER)).not.toBeNull()
270
+
271
+ // Parse and verify
272
+ const headerVal = signedRequest.headers.get(DEFAULT_HEADER)!
273
+ const headers = { [DEFAULT_HEADER]: headerVal }
274
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
275
+ expect(result.ok).toBe(true)
276
+ })
277
+
278
+ it('preserves existing headers on the Request', async () => {
279
+ const { privateKey } = await generateEd25519KeypairBase64Url()
280
+ const sender = 'agent-headers'
281
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hi', ttlMs: 60_000 })
282
+ const originalRequest = new Request('https://example.com/api', {
283
+ headers: { 'Authorization': 'Bearer token123', 'Content-Type': 'application/json' },
284
+ })
285
+ const signedRequest = await signFetchRequest(originalRequest, env, privateKey)
286
+
287
+ expect(signedRequest.headers.get('Authorization')).toBe('Bearer token123')
288
+ expect(signedRequest.headers.get('Content-Type')).toBe('application/json')
289
+ expect(signedRequest.headers.get(DEFAULT_HEADER)).not.toBeNull()
290
+ })
291
+ })
292
+
293
+ describe('HMAC round trip', () => {
294
+ it('signs with HMAC and verifies successfully', async () => {
295
+ const secret = 'super-secret-hmac-key'
296
+ const keyId = 'hmac-key-1'
297
+ const sender = 'agent-hmac'
298
+ const registry = createHmacKeyRegistry({ [keyId]: secret })
299
+
300
+ const env = createEnvelope({ sender, intent: 'TASK', content: 'hmac task', ttlMs: 60_000 })
301
+ const { headers } = await signHttpRequestHmac(env, secret, keyId)
302
+
303
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
304
+ expect(result.ok).toBe(true)
305
+ if (result.ok) {
306
+ expect(result.envelope.header.sender).toBe(sender)
307
+ expect(result.envelope.signature?.alg).toBe('HS256')
308
+ }
309
+ })
310
+
311
+ it('returns invalid-signature when HMAC tampered', async () => {
312
+ const secret = 'super-secret-hmac-key'
313
+ const keyId = 'hmac-key-2'
314
+ const sender = 'agent-hmac-tamper'
315
+ const registry = createHmacKeyRegistry({ [keyId]: secret })
316
+
317
+ const env = createEnvelope({ sender, intent: 'TASK', content: 'hmac task', ttlMs: 60_000 })
318
+ const signed = await signEnvelopeHmac(env, secret, keyId)
319
+
320
+ const tampered: ProtocolEnvelope = {
321
+ ...signed,
322
+ body: { ...signed.body, content: 'tampered' },
323
+ }
324
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(tampered) }
325
+
326
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
327
+ expect(result.ok).toBe(false)
328
+ if (!result.ok) expect(result.reason).toBe('invalid-signature')
329
+ })
330
+
331
+ it('returns unknown-sender when HMAC keyId not in registry', async () => {
332
+ const secret = 'super-secret-hmac-key'
333
+ const keyId = 'hmac-key-missing'
334
+ const sender = 'agent-hmac-unknown'
335
+ const registry = createHmacKeyRegistry({}) // empty
336
+
337
+ const env = createEnvelope({ sender, intent: 'PING', content: 'hi', ttlMs: 60_000 })
338
+ const signed = await signEnvelopeHmac(env, secret, keyId)
339
+ const headers = { [DEFAULT_HEADER]: JSON.stringify(signed) }
340
+
341
+ const result = await verifyHttpEnvelope(headers, { keyRegistry: registry })
342
+ expect(result.ok).toBe(false)
343
+ if (!result.ok) {
344
+ expect(result.reason).toBe('unknown-sender')
345
+ expect(result.detail).toBe(keyId)
346
+ }
347
+ })
348
+ })
349
+
350
+ describe('createSignedFetchRequest', () => {
351
+ it('creates a signed fetch request with correct sender', async () => {
352
+ const { publicKey, privateKey } = await generateEd25519KeypairBase64Url()
353
+ const sender = 'agent-create-signed'
354
+ const registry = createStaticKeyRegistry({ [sender]: publicKey })
355
+
356
+ const originalRequest = new Request('https://example.com/api/task')
357
+ const signedRequest = await createSignedFetchRequest(originalRequest, {
358
+ privateKey,
359
+ sender,
360
+ ttlMs: 60_000,
361
+ })
362
+
363
+ const headerVal = signedRequest.headers.get(DEFAULT_HEADER)
364
+ expect(headerVal).not.toBeNull()
365
+
366
+ const result = await verifyHttpEnvelope(
367
+ { [DEFAULT_HEADER]: headerVal! },
368
+ { keyRegistry: registry },
369
+ )
370
+ expect(result.ok).toBe(true)
371
+ if (result.ok) {
372
+ expect(result.envelope.header.sender).toBe(sender)
373
+ expect(result.envelope.body.intent).toBe('TASK')
374
+ }
375
+ })
376
+ })
@@ -0,0 +1,163 @@
1
+ import {
2
+ type ProtocolEnvelope,
3
+ type ProtocolDiagnostic,
4
+ verifyEnvelopeEd25519,
5
+ verifyEnvelopeHmac,
6
+ signEnvelopeEd25519,
7
+ signEnvelopeHmac,
8
+ createEnvelope,
9
+ validateEnvelope,
10
+ } from './protocol'
11
+ import type { KeyRegistry } from './keyRegistry'
12
+
13
+ export { type KeyRegistry }
14
+
15
+ export const DEFAULT_HEADER = 'x-7h3-envelope'
16
+
17
+ export type VerifyFailReason =
18
+ | 'missing-header'
19
+ | 'malformed-envelope'
20
+ | 'unknown-sender'
21
+ | 'invalid-signature'
22
+ | 'ttl-expired'
23
+ | 'validation-error'
24
+
25
+ export type VerifyHttpResult =
26
+ | { ok: true; envelope: ProtocolEnvelope }
27
+ | { ok: false; reason: VerifyFailReason; detail?: string }
28
+
29
+ export interface HttpBindingOptions {
30
+ keyRegistry: KeyRegistry
31
+ headerName?: string
32
+ strictTtl?: boolean // default true - reject expired TTL
33
+ }
34
+
35
+ // Verify the 7h3 envelope from an incoming HTTP request's headers
36
+ export async function verifyHttpEnvelope(
37
+ headers: Record<string, string | string[] | undefined>,
38
+ opts: HttpBindingOptions
39
+ ): Promise<VerifyHttpResult> {
40
+ const headerName = opts.headerName ?? DEFAULT_HEADER
41
+ const raw = headers[headerName]
42
+ const rawStr = Array.isArray(raw) ? raw[0] : raw
43
+ if (!rawStr) return { ok: false, reason: 'missing-header' }
44
+
45
+ let envelope: ProtocolEnvelope
46
+ try {
47
+ envelope = JSON.parse(rawStr) as ProtocolEnvelope
48
+ } catch {
49
+ return { ok: false, reason: 'malformed-envelope', detail: 'JSON parse failed' }
50
+ }
51
+
52
+ if (!envelope?.signature || !envelope?.header) {
53
+ return { ok: false, reason: 'malformed-envelope', detail: 'missing required fields' }
54
+ }
55
+
56
+ const strictTtl = opts.strictTtl ?? true
57
+ if (strictTtl) {
58
+ const diags: ProtocolDiagnostic[] = validateEnvelope(envelope)
59
+ const errors = diags.filter(d => d.level === 'error')
60
+ if (errors.length > 0) {
61
+ return { ok: false, reason: 'ttl-expired', detail: errors.map(e => e.message).join('; ') }
62
+ }
63
+ }
64
+
65
+ const sender = envelope.header.sender
66
+ const alg = envelope.signature.alg
67
+
68
+ if (alg === 'ED25519') {
69
+ const publicKey = await opts.keyRegistry.getPublicKey(sender)
70
+ if (!publicKey) return { ok: false, reason: 'unknown-sender', detail: sender }
71
+ const valid = await verifyEnvelopeEd25519(envelope, publicKey)
72
+ if (!valid) return { ok: false, reason: 'invalid-signature' }
73
+ } else if (alg === 'HS256') {
74
+ const secret = await opts.keyRegistry.getSharedSecret?.(envelope.signature.keyId)
75
+ if (!secret) return { ok: false, reason: 'unknown-sender', detail: envelope.signature.keyId }
76
+ const valid = await verifyEnvelopeHmac(envelope, secret)
77
+ if (!valid) return { ok: false, reason: 'invalid-signature' }
78
+ } else {
79
+ return { ok: false, reason: 'malformed-envelope', detail: `unsupported alg: ${String((envelope.signature as any).alg)}` }
80
+ }
81
+
82
+ return { ok: true, envelope }
83
+ }
84
+
85
+ // Sign an outgoing HTTP request — returns headers to merge in
86
+ export async function signHttpRequest(
87
+ envelope: Omit<ProtocolEnvelope, 'signature'>,
88
+ privateKey: string,
89
+ opts?: { headerName?: string }
90
+ ): Promise<{ headers: Record<string, string> }> {
91
+ const signed = await signEnvelopeEd25519(envelope, privateKey)
92
+ return {
93
+ headers: { [opts?.headerName ?? DEFAULT_HEADER]: JSON.stringify(signed) },
94
+ }
95
+ }
96
+
97
+ // Sign with HMAC shared secret
98
+ export async function signHttpRequestHmac(
99
+ envelope: Omit<ProtocolEnvelope, 'signature'>,
100
+ secret: string,
101
+ keyId: string,
102
+ opts?: { headerName?: string }
103
+ ): Promise<{ headers: Record<string, string> }> {
104
+ const signed = await signEnvelopeHmac(envelope, secret, keyId)
105
+ return {
106
+ headers: { [opts?.headerName ?? DEFAULT_HEADER]: JSON.stringify(signed) },
107
+ }
108
+ }
109
+
110
+ // Express/Fastify/Hono-compatible middleware factory (fail-closed)
111
+ export function createHttpMiddleware(opts: HttpBindingOptions) {
112
+ return async function protocol7h3Middleware(
113
+ req: { headers: Record<string, string | string[] | undefined> },
114
+ res: { status: (n: number) => { json: (b: unknown) => void } },
115
+ next: (err?: unknown) => void,
116
+ ): Promise<void> {
117
+ const result = await verifyHttpEnvelope(req.headers, opts)
118
+ if (!result.ok) {
119
+ res.status(401).json({
120
+ error: '7h3: request verification failed',
121
+ reason: result.reason,
122
+ detail: result.detail,
123
+ })
124
+ return
125
+ }
126
+ ;(req as any)['7h3Envelope'] = result.envelope
127
+ next()
128
+ }
129
+ }
130
+
131
+ // Fetch API: sign a Request and return a new Request with the envelope header
132
+ export async function signFetchRequest(
133
+ request: Request,
134
+ envelope: Omit<ProtocolEnvelope, 'signature'>,
135
+ privateKey: string,
136
+ opts?: { headerName?: string }
137
+ ): Promise<Request> {
138
+ const { headers } = await signHttpRequest(envelope, privateKey, opts)
139
+ const newHeaders = new Headers(request.headers)
140
+ for (const [k, v] of Object.entries(headers)) newHeaders.set(k, v)
141
+ return new Request(request, { headers: newHeaders })
142
+ }
143
+
144
+ // Convenience: build an envelope and sign a Fetch request in one call
145
+ export async function createSignedFetchRequest(
146
+ request: Request,
147
+ opts: {
148
+ privateKey: string
149
+ sender: string
150
+ recipient?: string
151
+ ttlMs?: number
152
+ headerName?: string
153
+ }
154
+ ): Promise<Request> {
155
+ const envelope = createEnvelope({
156
+ sender: opts.sender,
157
+ recipient: opts.recipient,
158
+ ttlMs: opts.ttlMs ?? 60_000,
159
+ intent: 'TASK',
160
+ content: request.url,
161
+ })
162
+ return signFetchRequest(request, envelope, opts.privateKey, { headerName: opts.headerName })
163
+ }
package/src/index.ts ADDED
@@ -0,0 +1,32 @@
1
+ export * from './protocol'
2
+ export * from './protocolTransport'
3
+ export * from './protocolBinary'
4
+ export * from './protocolCapabilities'
5
+ export * from './protocolReplay'
6
+ export * from './keyRotation'
7
+ export * from './protocolAgent'
8
+ export * from './agentAdapter'
9
+ export * from './frameworkAdapters'
10
+ export * from './mcpGateway'
11
+ export * from './runtimePolicy'
12
+ export * from './policyEnforcer'
13
+ export * from './runtimePolicyManager'
14
+ export * from './runtimePolicyPresets'
15
+ export * from './policyTelemetryFeedback'
16
+ export * from './redisClient'
17
+ export * from './replayStores'
18
+ export * from './revocation'
19
+ export * from './mcpWrapper'
20
+ export * from './mcpTransports'
21
+ export * from './keyRegistry'
22
+ export * from './httpBinding'
23
+ export * from './webhookBinding'
24
+ export * from './queueBinding'
25
+ export * from './wsBinding'
26
+ export * from './grpcBinding'
27
+ export * from './keyInfra'
28
+ export * from './rateLimiter'
29
+ export * from './routePolicy'
30
+ export * from './gateway'
31
+ export * from './signedResponse'
32
+ export * from './auditLog'