@aventara/core 0.1.0-pilot.4 → 1.0.0-rc.1

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 (255) hide show
  1. package/CHANGELOG.md +1478 -0
  2. package/README.md +275 -11
  3. package/dist/adapters/adapter-discovery-diagnostic.d.ts +4 -4
  4. package/dist/adapters/adapter-field.d.ts +11 -11
  5. package/dist/adapters/adapter-identifier.d.ts +6 -6
  6. package/dist/adapters/adapter-model.d.ts +17 -9
  7. package/dist/adapters/adapter-operation-executor.interface.d.ts +4 -4
  8. package/dist/adapters/adapter-operation.d.ts +3 -3
  9. package/dist/adapters/adapter-resource.d.ts +18 -9
  10. package/dist/adapters/adapter-sql-statement.d.ts +19 -0
  11. package/dist/adapters/adapter-transaction-executor.interface.d.ts +19 -0
  12. package/dist/adapters/adapter.interface.d.ts +49 -25
  13. package/dist/avz/avz-check.factory.d.ts +83 -0
  14. package/dist/avz/avz-check.factory.js +116 -0
  15. package/dist/avz/avz-check.registry.d.ts +35 -0
  16. package/dist/avz/avz-check.registry.js +9 -0
  17. package/dist/avz/avz.d.ts +203 -0
  18. package/dist/avz/avz.js +354 -0
  19. package/dist/avz/index.d.ts +7 -0
  20. package/dist/avz/index.js +1 -0
  21. package/dist/avz/json-shape.registry.d.ts +22 -0
  22. package/dist/avz/json-shape.registry.js +16 -0
  23. package/dist/avz/zod-issue.translator.d.ts +57 -0
  24. package/dist/avz/zod-issue.translator.js +149 -0
  25. package/dist/compiler/contract-compiler-diagnostic.d.ts +37 -5
  26. package/dist/compiler/contract.compiler.d.ts +18 -18
  27. package/dist/compiler/contract.compiler.js +595 -421
  28. package/dist/compiler/create-requirements.projector.d.ts +49 -0
  29. package/dist/compiler/create-requirements.projector.js +423 -0
  30. package/dist/compiler/field-validator.compiler.d.ts +47 -0
  31. package/dist/compiler/field-validator.compiler.js +238 -0
  32. package/dist/config/any-framework-config.d.ts +19 -12
  33. package/dist/config/config-diagnostic.d.ts +11 -4
  34. package/dist/config/config-layer.d.ts +15 -6
  35. package/dist/config/config.resolver.d.ts +75 -29
  36. package/dist/config/config.resolver.js +109 -44
  37. package/dist/config/config.validator.d.ts +7 -7
  38. package/dist/config/config.validator.js +586 -71
  39. package/dist/config/define-resource.d.ts +57 -0
  40. package/dist/config/define-resource.js +14 -0
  41. package/dist/config/effective-fields.d.ts +19 -23
  42. package/dist/config/entrypoint.normalizer.d.ts +1 -1
  43. package/dist/config/exact-framework-config.d.ts +280 -0
  44. package/dist/config/field-compute.resolver.d.ts +19 -0
  45. package/dist/config/field-compute.resolver.js +115 -0
  46. package/dist/config/field-pipeline-config.d.ts +47 -0
  47. package/dist/config/forced-operation.validator.d.ts +10 -0
  48. package/dist/config/forced-operation.validator.js +66 -0
  49. package/dist/config/framework-config.d.ts +111 -37
  50. package/dist/config/framework-exemptions-config.d.ts +91 -0
  51. package/dist/config/framework-exemptions-config.js +1 -0
  52. package/dist/config/framework-field-definition.d.ts +78 -0
  53. package/dist/config/framework-field-definition.js +28 -0
  54. package/dist/config/framework-resources-config.d.ts +116 -0
  55. package/dist/config/framework-resources-config.js +1 -0
  56. package/dist/config/pipeline-config.d.ts +56 -20
  57. package/dist/config/pipeline-tree.resolver.d.ts +79 -0
  58. package/dist/config/pipeline-tree.resolver.js +220 -0
  59. package/dist/config/stage-type.eraser.d.ts +65 -0
  60. package/dist/config/stage-type.eraser.js +1 -0
  61. package/dist/contracts/capability.d.ts +11 -11
  62. package/dist/contracts/client-contract-structure.validator.d.ts +344 -29
  63. package/dist/contracts/client-contract-structure.validator.js +248 -7
  64. package/dist/contracts/contract-canonicalizer.d.ts +19 -3
  65. package/dist/contracts/contract-canonicalizer.js +172 -27
  66. package/dist/contracts/contract-hash.d.ts +12 -7
  67. package/dist/contracts/contract-hash.js +3 -2
  68. package/dist/contracts/contract-limits.d.ts +4 -1
  69. package/dist/contracts/contract-limits.js +1 -0
  70. package/dist/contracts/contract-lookup.d.ts +5 -5
  71. package/dist/contracts/contract-protocol.d.ts +4 -4
  72. package/dist/contracts/contract.d.ts +31 -16
  73. package/dist/contracts/create-requirements.d.ts +35 -0
  74. package/dist/contracts/create-requirements.js +1 -0
  75. package/dist/contracts/enum-definition.d.ts +1 -1
  76. package/dist/contracts/field-check.d.ts +101 -0
  77. package/dist/contracts/field-check.js +1 -0
  78. package/dist/contracts/field.d.ts +61 -41
  79. package/dist/contracts/identifier.d.ts +4 -4
  80. package/dist/contracts/json-shape.d.ts +76 -0
  81. package/dist/contracts/json-shape.js +1 -0
  82. package/dist/contracts/lifecycle-trait.d.ts +2 -2
  83. package/dist/contracts/reference-write-limit.d.ts +7 -0
  84. package/dist/contracts/reference-write-limit.js +1 -0
  85. package/dist/contracts/resource-operations.d.ts +28 -28
  86. package/dist/contracts/resource.d.ts +15 -9
  87. package/dist/contracts/scalar-value-type.d.ts +25 -14
  88. package/dist/contracts/scalar.d.ts +3 -3
  89. package/dist/contracts/transaction-capability.d.ts +1 -1
  90. package/dist/contracts/wire-scalar-format.d.ts +4 -4
  91. package/dist/framework/contract-view.d.ts +234 -63
  92. package/dist/framework/framework-construction.error.d.ts +10 -10
  93. package/dist/framework/framework-construction.error.js +2 -2
  94. package/dist/framework/framework.d.ts +50 -24
  95. package/dist/framework/framework.factory.d.ts +8 -6
  96. package/dist/framework/framework.factory.js +95 -32
  97. package/dist/framework/operation-facade.d.ts +123 -52
  98. package/dist/framework/operation-facade.js +9 -1
  99. package/dist/index.d.ts +55 -82
  100. package/dist/index.js +6 -26
  101. package/dist/internal.d.ts +40 -0
  102. package/dist/internal.js +18 -0
  103. package/dist/operations/operation-arguments.d.ts +316 -201
  104. package/dist/operations/operation-call.d.ts +27 -28
  105. package/dist/operations/operation-identity.d.ts +12 -10
  106. package/dist/operations/operation-identity.js +3 -0
  107. package/dist/operations/operation-result.d.ts +21 -21
  108. package/dist/operations/operation-validator-core.d.ts +6 -6
  109. package/dist/operations/operation-validator-core.js +41 -12
  110. package/dist/operations/operation-validator.d.ts +24 -9
  111. package/dist/operations/operation-validator.js +26 -10
  112. package/dist/operations/projection-scope.resolver.d.ts +7 -7
  113. package/dist/operations/structural-limits.walker.d.ts +19 -0
  114. package/dist/operations/structural-limits.walker.js +489 -0
  115. package/dist/operations/validation-code.d.ts +11 -6
  116. package/dist/operations/validation-code.js +4 -0
  117. package/dist/operations/write-scope.resolver.d.ts +6 -6
  118. package/dist/protocol/absent-route.responder.d.ts +13 -11
  119. package/dist/protocol/absent-route.responder.js +42 -16
  120. package/dist/protocol/contract-document.responder.d.ts +3 -3
  121. package/dist/protocol/contract-document.responder.js +2 -2
  122. package/dist/protocol/http-request.decoder.d.ts +23 -13
  123. package/dist/protocol/http-request.decoder.js +19 -11
  124. package/dist/protocol/http-request.reader.d.ts +3 -3
  125. package/dist/protocol/http-response.encoder.d.ts +4 -4
  126. package/dist/protocol/http-response.encoder.js +94 -55
  127. package/dist/protocol/http-status.table.d.ts +2 -2
  128. package/dist/protocol/operation-response.guard.d.ts +2 -2
  129. package/dist/protocol/protocol-surface.d.ts +4 -4
  130. package/dist/protocol/protocol.binder.d.ts +52 -27
  131. package/dist/protocol/protocol.binder.js +14 -9
  132. package/dist/protocol/protocol.handler.d.ts +28 -15
  133. package/dist/protocol/protocol.handler.js +55 -10
  134. package/dist/protocol/unmounted-route.error.d.ts +19 -0
  135. package/dist/protocol/unmounted-route.error.js +10 -0
  136. package/dist/runtime/caller-data.copier.d.ts +59 -0
  137. package/dist/runtime/caller-data.copier.js +470 -0
  138. package/dist/runtime/caller-data.door.d.ts +56 -0
  139. package/dist/runtime/caller-data.door.js +67 -0
  140. package/dist/runtime/computed-read-runtime.d.ts +7 -6
  141. package/dist/runtime/computed-read-runtime.js +61 -55
  142. package/dist/runtime/computed-value.error.d.ts +13 -0
  143. package/dist/runtime/computed-value.error.js +9 -0
  144. package/dist/runtime/context-executor.runtime.d.ts +59 -0
  145. package/dist/runtime/context-executor.runtime.js +275 -0
  146. package/dist/runtime/create-requirement.d.ts +22 -57
  147. package/dist/runtime/create-requirement.js +140 -37
  148. package/dist/runtime/decimal.d.ts +2 -2
  149. package/dist/runtime/decimal.js +1 -1
  150. package/dist/runtime/diagnostics-reporter.d.ts +64 -22
  151. package/dist/runtime/diagnostics-reporter.js +35 -4
  152. package/dist/runtime/error-boundary.d.ts +73 -8
  153. package/dist/runtime/error-boundary.js +104 -48
  154. package/dist/runtime/execution-options.d.ts +10 -2
  155. package/dist/runtime/field-check.evaluator.d.ts +29 -0
  156. package/dist/runtime/field-check.evaluator.js +521 -0
  157. package/dist/runtime/field-compute.d.ts +64 -0
  158. package/dist/runtime/field-compute.js +1 -0
  159. package/dist/runtime/field-stage.plan.d.ts +15 -0
  160. package/dist/runtime/field-stage.plan.js +27 -0
  161. package/dist/runtime/field-stage.runtime.d.ts +35 -0
  162. package/dist/runtime/field-stage.runtime.js +143 -0
  163. package/dist/runtime/field-validator.runtime.d.ts +11 -0
  164. package/dist/runtime/field-validator.runtime.js +87 -0
  165. package/dist/runtime/framework-error-class.table.d.ts +33 -0
  166. package/dist/runtime/framework-error-class.table.js +25 -0
  167. package/dist/runtime/framework-error.d.ts +79 -7
  168. package/dist/runtime/framework-error.factory.d.ts +4 -0
  169. package/dist/runtime/framework-error.factory.js +15 -0
  170. package/dist/runtime/framework-error.js +23 -2
  171. package/dist/runtime/interceptor-next.error.d.ts +5 -0
  172. package/dist/runtime/interceptor-next.error.js +6 -0
  173. package/dist/runtime/json-value.d.ts +3 -3
  174. package/dist/runtime/level-lifecycle.runtime.d.ts +25 -0
  175. package/dist/runtime/level-lifecycle.runtime.js +42 -0
  176. package/dist/runtime/misuse-reporter.d.ts +32 -0
  177. package/dist/runtime/misuse-reporter.js +19 -0
  178. package/dist/runtime/mutation-planner.d.ts +19 -10
  179. package/dist/runtime/mutation-planner.js +62 -36
  180. package/dist/runtime/nested-write.walker.d.ts +32 -0
  181. package/dist/runtime/nested-write.walker.js +73 -0
  182. package/dist/runtime/operation-request.d.ts +35 -15
  183. package/dist/runtime/operation-response.d.ts +17 -17
  184. package/dist/runtime/operation-runtime.d.ts +125 -30
  185. package/dist/runtime/operation-runtime.js +423 -83
  186. package/dist/runtime/outcome-mapper.d.ts +16 -5
  187. package/dist/runtime/outcome-mapper.js +35 -8
  188. package/dist/runtime/output-validator.d.ts +16 -6
  189. package/dist/runtime/output-validator.js +12 -1
  190. package/dist/runtime/owned-execution.registry.d.ts +13 -0
  191. package/dist/runtime/owned-execution.registry.js +7 -0
  192. package/dist/runtime/pipe-output.validator.d.ts +33 -18
  193. package/dist/runtime/pipe-output.validator.js +12 -12
  194. package/dist/runtime/pipeline.d.ts +202 -28
  195. package/dist/runtime/readonly-value.d.ts +32 -0
  196. package/dist/runtime/readonly-value.js +141 -0
  197. package/dist/runtime/referential-action.d.ts +7 -0
  198. package/dist/runtime/request-envelope.validator.d.ts +5 -0
  199. package/dist/runtime/request-envelope.validator.js +123 -0
  200. package/dist/runtime/request-id.d.ts +1 -1
  201. package/dist/runtime/request-state.d.ts +14 -0
  202. package/dist/runtime/request-state.js +1 -0
  203. package/dist/runtime/request-state.resolver.d.ts +12 -0
  204. package/dist/runtime/request-state.resolver.js +20 -0
  205. package/dist/runtime/scalar-runtime.d.ts +56 -13
  206. package/dist/runtime/scalar-runtime.js +167 -86
  207. package/dist/transactions/deferred-operation.d.ts +35 -20
  208. package/dist/transactions/operation-arguments-encoder.d.ts +3 -3
  209. package/dist/transactions/operation-arguments-encoder.js +2 -2
  210. package/dist/transactions/sql-statement.d.ts +77 -0
  211. package/dist/transactions/sql-statement.js +47 -0
  212. package/dist/transactions/sql-statement.validator.d.ts +44 -0
  213. package/dist/transactions/sql-statement.validator.js +134 -0
  214. package/dist/transactions/transaction-envelope.d.ts +4 -4
  215. package/dist/transactions/transaction-integrity-error.d.ts +6 -6
  216. package/dist/transactions/transaction-integrity-error.js +5 -2
  217. package/dist/transactions/transaction-plan-assembler.d.ts +23 -9
  218. package/dist/transactions/transaction-plan-assembler.js +195 -82
  219. package/dist/transactions/transaction-plan-validator.d.ts +53 -21
  220. package/dist/transactions/transaction-plan-validator.js +246 -163
  221. package/dist/transactions/transaction-reference-collector.d.ts +30 -0
  222. package/dist/transactions/transaction-reference-collector.js +204 -0
  223. package/dist/transactions/transaction-reference-resolver.d.ts +19 -2
  224. package/dist/transactions/transaction-reference-resolver.js +27 -10
  225. package/dist/transactions/transaction-reference-validator.d.ts +34 -4
  226. package/dist/transactions/transaction-reference-validator.js +82 -43
  227. package/dist/transactions/transaction-reference.d.ts +30 -58
  228. package/dist/transactions/transaction-request.d.ts +20 -7
  229. package/dist/transactions/transaction-response.d.ts +12 -7
  230. package/dist/transactions/transaction-response.js +24 -1
  231. package/dist/transactions/transaction-runtime.d.ts +11 -8
  232. package/dist/transactions/transaction-runtime.js +167 -50
  233. package/dist/transactions/transaction-settlement.runtime.d.ts +51 -0
  234. package/dist/transactions/transaction-settlement.runtime.js +120 -0
  235. package/dist/transactions/transaction-slot-path-error.d.ts +4 -4
  236. package/dist/transactions/transaction-slot-path-error.js +2 -2
  237. package/dist/transactions/transaction-slot-writer.js +2 -2
  238. package/dist/transactions/transaction-stage.runtime.d.ts +81 -0
  239. package/dist/transactions/transaction-stage.runtime.js +123 -0
  240. package/package.json +18 -3
  241. package/src/runtime/field-check.evaluator.ts +720 -0
  242. package/dist/config/define-fields.d.ts +0 -35
  243. package/dist/config/define-fields.js +0 -3
  244. package/dist/config/framework-behaviors-config.d.ts +0 -30
  245. package/dist/config/framework-fields-config.d.ts +0 -36
  246. package/dist/config/framework-restrictions-config.d.ts +0 -142
  247. package/dist/operations/operation-boolean-nodes.d.ts +0 -11
  248. package/dist/operations/operation-boolean-nodes.js +0 -283
  249. package/dist/operations/operation-nesting.d.ts +0 -8
  250. package/dist/operations/operation-nesting.js +0 -307
  251. package/dist/runtime/field-behavior.d.ts +0 -48
  252. /package/dist/{config/framework-behaviors-config.js → adapters/adapter-sql-statement.js} +0 -0
  253. /package/dist/{config/framework-fields-config.js → adapters/adapter-transaction-executor.interface.js} +0 -0
  254. /package/dist/config/{framework-restrictions-config.js → exact-framework-config.js} +0 -0
  255. /package/dist/{runtime/field-behavior.js → config/field-pipeline-config.js} +0 -0
@@ -3,6 +3,7 @@ import { isOperationVariantAvailable, } from "../contracts/resource-operations.j
3
3
  import { parseOperationIdentity, } from "../operations/operation-identity.js";
4
4
  import { operationUnavailableIssue } from "../operations/operation-validator.js";
5
5
  import { resourceUnavailableIssue } from "../operations/operation-validator-core.js";
6
+ import { createReporter, } from "../runtime/diagnostics-reporter.js";
6
7
  import { INTERNAL_FAILURE_MESSAGE, operationFailure, } from "../runtime/operation-response.js";
7
8
  import { protocolIdentityFailure } from "../runtime/operation-runtime.js";
8
9
  import { mapValidationOutcome } from "../runtime/outcome-mapper.js";
@@ -11,12 +12,13 @@ import { CONTRACT_ROUTE, GET_ONLY, isProtocolPath, operationRouteSegments, POST_
11
12
  import { encodeOperationResponse, } from "./http-response.encoder.js";
12
13
  import { identityHeadersMissing, transportFailure, } from "./protocol-failure.js";
13
14
  import { missingIdentityHeaders } from "./protocol-headers.js";
14
- export function resolveOperationRoute(contracts, protocol, route) {
15
- const identityFailure = protocolIdentityFailure(contracts, protocol);
15
+ import { AvUnmountedRouteError } from "./unmounted-route.error.js";
16
+ export function resolveOperationRoute(contracts, protocol, route, origin = "client") {
17
+ const identityFailure = protocolIdentityFailure(contracts, protocol, origin);
16
18
  if (identityFailure !== undefined) {
17
19
  return { ok: false, failure: identityFailure };
18
20
  }
19
- const resource = lookupResource(contracts.client, route.resource);
21
+ const resource = lookupResource(contracts[origin], route.resource);
20
22
  if (resource === undefined) {
21
23
  return {
22
24
  ok: false,
@@ -29,18 +31,20 @@ export function resolveOperationRoute(contracts, protocol, route) {
29
31
  !isOperationVariantAvailable(lookupOwn(lookupOwn(advertised, route.family), route.variant))) {
30
32
  return {
31
33
  ok: false,
32
- failure: mapValidationOutcome([operationUnavailableIssue(route)]),
34
+ failure: mapValidationOutcome([
35
+ operationUnavailableIssue(contracts[origin], route),
36
+ ]),
33
37
  };
34
38
  }
35
39
  return { ok: true, operation };
36
40
  }
37
- export function transactionsRouteFailure(contracts, protocol) {
38
- return (protocolIdentityFailure(contracts, protocol) ??
39
- (contracts.client.transactions === "interactive"
41
+ export function transactionsRouteFailure(contracts, protocol, origin = "client") {
42
+ return (protocolIdentityFailure(contracts, protocol, origin) ??
43
+ (contracts[origin].transactions === "interactive"
40
44
  ? undefined
41
45
  : transactionsUnavailableFailure()));
42
46
  }
43
- export function checkOperationRoute(contracts, read) {
47
+ export function checkOperationRoute(contracts, read, origin = "client") {
44
48
  const segments = operationRouteSegments(read.request.path);
45
49
  if (segments === undefined) {
46
50
  return refusedWith(transportFailure("A2000", read.requestId));
@@ -48,7 +52,7 @@ export function checkOperationRoute(contracts, read) {
48
52
  if (read.protocol === undefined) {
49
53
  return refusedWith(identityFailureOf(read));
50
54
  }
51
- const route = resolveOperationRoute(contracts, read.protocol, segments);
55
+ const route = resolveOperationRoute(contracts, read.protocol, segments, origin);
52
56
  if (!route.ok) {
53
57
  return refusedWith(encodeOperationResponse(route.failure, read.requestId));
54
58
  }
@@ -61,14 +65,14 @@ export function checkOperationRoute(contracts, read) {
61
65
  }
62
66
  : refusedWith(transportFailure("A2012", read.requestId, POST_ONLY));
63
67
  }
64
- export function checkTransactionsRoute(contracts, read) {
68
+ export function checkTransactionsRoute(contracts, read, origin = "client") {
65
69
  if (read.request.path !== TRANSACTIONS_ROUTE) {
66
70
  return refusedWith(transportFailure("A2000", read.requestId));
67
71
  }
68
72
  if (read.protocol === undefined) {
69
73
  return refusedWith(identityFailureOf(read));
70
74
  }
71
- const absent = transactionsRouteFailure(contracts, read.protocol);
75
+ const absent = transactionsRouteFailure(contracts, read.protocol, origin);
72
76
  if (absent !== undefined) {
73
77
  return refusedWith(encodeOperationResponse(absent, read.requestId));
74
78
  }
@@ -82,7 +86,7 @@ function identityFailureOf(read) {
82
86
  function refusedWith(response) {
83
87
  return { ok: false, response };
84
88
  }
85
- export function answerAbsentRequest(contracts, received) {
89
+ export function answerAbsentRequest(contracts, received, sink, origin = "client") {
86
90
  const read = readRequest(received);
87
91
  if (!read.ok) {
88
92
  return read.response;
@@ -96,10 +100,32 @@ export function answerAbsentRequest(contracts, received) {
96
100
  ? unmounted(read.requestId)
97
101
  : transportFailure("A2012", read.requestId, GET_ONLY);
98
102
  }
99
- const route = path === TRANSACTIONS_ROUTE
100
- ? checkTransactionsRoute(contracts, read)
101
- : checkOperationRoute(contracts, read);
102
- return route.ok ? unmounted(read.requestId) : route.response;
103
+ if (path === TRANSACTIONS_ROUTE) {
104
+ const route = checkTransactionsRoute(contracts, read, origin);
105
+ if (!route.ok) {
106
+ return route.response;
107
+ }
108
+ createReporter(sink, {
109
+ kind: "transaction",
110
+ origin,
111
+ requestId: read.requestId,
112
+ })(new AvUnmountedRouteError("transactions", `POST ${TRANSACTIONS_ROUTE}`), "A3000");
113
+ return unmounted(read.requestId);
114
+ }
115
+ const route = checkOperationRoute(contracts, read, origin);
116
+ if (!route.ok) {
117
+ return route.response;
118
+ }
119
+ const { family, variant } = route.operation;
120
+ createReporter(sink, {
121
+ kind: "operation",
122
+ origin,
123
+ resource: route.resource,
124
+ family,
125
+ variant,
126
+ requestId: read.requestId,
127
+ })(new AvUnmountedRouteError(`${route.resource}.${family}.${variant}`, `POST ${path}`), "A3000");
128
+ return unmounted(read.requestId);
103
129
  }
104
130
  function unmounted(requestId) {
105
131
  return encodeOperationResponse(operationFailure("A3000", { message: INTERNAL_FAILURE_MESSAGE }), requestId);
@@ -1,4 +1,4 @@
1
- import type { ClientContract } from "../contracts/contract.js";
1
+ import type { AvContractClient } from "../contracts/contract.js";
2
2
  import type { AvProtocolRequest } from "./http-request.decoder.js";
3
3
  import type { AvProtocolResponse } from "./http-response.encoder.js";
4
4
  /**
@@ -11,9 +11,9 @@ export type ContractDocument = {
11
11
  readonly etag: string;
12
12
  };
13
13
  /** The bound ClientContract as the document `_contract` serves. */
14
- export declare function contractDocumentOf(client: ClientContract): ContractDocument;
14
+ export declare function contractDocumentOf(client: AvContractClient): ContractDocument;
15
15
  /**
16
- * `protocol.encodeContract(request)`: the `GET <entrypoint>/_contract` responder. In
16
+ * `protocol.encodeContract(request)`: the `GET <api>/_contract` responder. In
17
17
  * order:
18
18
  */
19
19
  export declare function encodeContractRequest(document: ContractDocument, received: AvProtocolRequest): AvProtocolResponse;
@@ -1,10 +1,10 @@
1
- import { canonicalizeContract } from "../contracts/contract-canonicalizer.js";
1
+ import { canonicalContractTextOf } from "../contracts/contract-canonicalizer.js";
2
2
  import { CONTRACT_ROUTE, GET_ONLY, readRequest, } from "./http-request.reader.js";
3
3
  import { transportFailure } from "./protocol-failure.js";
4
4
  import { headers, headerValue } from "./protocol-headers.js";
5
5
  export function contractDocumentOf(client) {
6
6
  return Object.freeze({
7
- body: canonicalizeContract(client),
7
+ body: canonicalContractTextOf(client),
8
8
  etag: `"${client.protocol.hash}"`,
9
9
  });
10
10
  }
@@ -1,15 +1,16 @@
1
- import type { FrameworkContracts } from "../compiler/contract.compiler.js";
2
- import type { ClientOperationRequest } from "../runtime/operation-request.js";
3
- import type { ClientTransactionRequest } from "../transactions/transaction-request.js";
1
+ import type { AvContracts } from "../compiler/contract.compiler.js";
2
+ import type { RemoteRequestOrigin } from "../config/config-layer.js";
3
+ import type { RemoteOperationRequest } from "../runtime/operation-request.js";
4
+ import type { AgentTransactionRequest, ClientTransactionRequest } from "../transactions/transaction-request.js";
4
5
  import type { AvProtocolResponse } from "./http-response.encoder.js";
5
6
  /** One HTTP request as a host hands it to the protocol. */
6
7
  export type AvProtocolRequest = {
7
8
  /** The HTTP method as received. Anything but `POST` on a framework route is `A2012`. */
8
9
  readonly method: string;
9
10
  /**
10
- * The request path RELATIVE to the configured entrypoint, as received (not yet
11
- * URL-decoded): `/_resources/users/find/many`, `/_transactions`, `/_contract` —
12
- * the space `protocol.surface()`'s paths live in.
11
+ * The request path relative to the configured `api` mount path, as received (not yet
12
+ * URL-decoded): `/_resources/users/find/many`, `/_transactions`, `/_contract`,
13
+ * in the same form as the paths `protocol.surface()` returns.
13
14
  */
14
15
  readonly path: string;
15
16
  /**
@@ -19,8 +20,8 @@ export type AvProtocolRequest = {
19
20
  */
20
21
  readonly headers: Readonly<Record<string, string | readonly string[] | undefined>>;
21
22
  /**
22
- * The body, in one of two explicitly named arms — the decoder never guesses which
23
- * one it was given:
23
+ * The body, in one of two explicitly named arms, so the decoder never guesses
24
+ * which one it was given:
24
25
  */
25
26
  readonly body: {
26
27
  readonly kind: "raw";
@@ -45,19 +46,22 @@ type Decoded<Request> = {
45
46
  readonly response: AvProtocolResponse;
46
47
  readonly requestId: string;
47
48
  };
48
- /** What `protocol.decodeOperation` answers. */
49
- export type DecodedOperation = Decoded<ClientOperationRequest>;
49
+ /**
50
+ * What `protocol.decodeOperation` answers: a client-origin request, or an
51
+ * agent-origin one from a binding made with `{ origin: "agent" }`.
52
+ */
53
+ export type DecodedOperation = Decoded<RemoteOperationRequest>;
50
54
  /** `protocol.decodeOperation`'s success value: the request `framework.execute` takes. */
51
55
  export type DecodedOperationRequest = Extract<DecodedOperation, {
52
56
  ok: true;
53
57
  }>;
54
58
  /** What `protocol.decodeTransaction` answers. */
55
- export type DecodedTransaction = Decoded<ClientTransactionRequest>;
59
+ export type DecodedTransaction = Decoded<ClientTransactionRequest | AgentTransactionRequest>;
56
60
  /**
57
61
  * `protocol.decodeOperation(request)` — one operation route's HTTP request as
58
62
  * the client-origin request `framework.execute` takes, or its answer.
59
63
  */
60
- export declare function decodeOperationRequest(contracts: FrameworkContracts, received: AvProtocolRequest): DecodedOperation;
64
+ export declare function decodeOperationRequest(contracts: AvContracts, received: AvProtocolRequest, origin?: RemoteRequestOrigin): DecodedOperation;
61
65
  /**
62
66
  * `protocol.decodeTransaction(request)` — the `/_transactions` request as the client-
63
67
  * origin plan request `framework.executeTransaction` takes, or its answer. The same
@@ -66,5 +70,11 @@ export declare function decodeOperationRequest(contracts: FrameworkContracts, re
66
70
  * the plan then runs under ClientContract rules: the plan is client origin and cannot
67
71
  * say otherwise. The body is the plan verbatim.
68
72
  */
69
- export declare function decodeTransactionRequest(contracts: FrameworkContracts, received: AvProtocolRequest): DecodedTransaction;
73
+ export declare function decodeTransactionRequest(contracts: AvContracts, received: AvProtocolRequest, origin?: RemoteRequestOrigin): DecodedTransaction;
74
+ /**
75
+ * Whether `value` is a body this decoder parsed from raw content. Only the protocol's
76
+ * own shortcuts ask, about a request they have just decoded, before any host code
77
+ * could hold it; it is exported from no entry point.
78
+ */
79
+ export declare function isParsedByDecoder(value: unknown): boolean;
70
80
  export {};
@@ -2,21 +2,21 @@ import { checkOperationRoute, checkTransactionsRoute, } from "./absent-route.res
2
2
  import { readRequest } from "./http-request.reader.js";
3
3
  import { transportFailure, } from "./protocol-failure.js";
4
4
  import { headerValue } from "./protocol-headers.js";
5
- export function decodeOperationRequest(contracts, received) {
5
+ export function decodeOperationRequest(contracts, received, origin = "client") {
6
6
  const read = readRequest(received);
7
7
  if (!read.ok) {
8
8
  return read;
9
9
  }
10
- const route = checkOperationRoute(contracts, read);
10
+ const route = checkOperationRoute(contracts, read, origin);
11
11
  if (!route.ok) {
12
12
  return refused(route.response, read.requestId);
13
13
  }
14
- const body = readBody(read, contracts);
14
+ const body = readBody(read, contracts, origin);
15
15
  return body.ok
16
16
  ? {
17
17
  ok: true,
18
18
  request: {
19
- scope: "client",
19
+ origin,
20
20
  requestId: read.requestId,
21
21
  resource: route.resource,
22
22
  ...route.operation,
@@ -28,21 +28,21 @@ export function decodeOperationRequest(contracts, received) {
28
28
  }
29
29
  : refused(body.response, read.requestId);
30
30
  }
31
- export function decodeTransactionRequest(contracts, received) {
31
+ export function decodeTransactionRequest(contracts, received, origin = "client") {
32
32
  const read = readRequest(received);
33
33
  if (!read.ok) {
34
34
  return read;
35
35
  }
36
- const route = checkTransactionsRoute(contracts, read);
36
+ const route = checkTransactionsRoute(contracts, read, origin);
37
37
  if (!route.ok) {
38
38
  return refused(route.response, read.requestId);
39
39
  }
40
- const body = readBody(read, contracts);
40
+ const body = readBody(read, contracts, origin);
41
41
  return body.ok
42
42
  ? {
43
43
  ok: true,
44
44
  request: {
45
- scope: "client",
45
+ origin,
46
46
  requestId: read.requestId,
47
47
  protocol: route.protocol,
48
48
  transport: transportOf(read),
@@ -58,8 +58,8 @@ function refused(response, requestId) {
58
58
  function transportOf(read) {
59
59
  return { method: "POST", headers: read.headers };
60
60
  }
61
- function readBody(read, contracts) {
62
- const code = bodyValue(read.request.body, headerValue(read.headers, "content-type"), contracts.client.limits.maxRequestBytes);
61
+ function readBody(read, contracts, origin) {
62
+ const code = bodyValue(read.request.body, headerValue(read.headers, "content-type"), contracts[origin].limits.maxRequestBytes);
63
63
  return typeof code === "string"
64
64
  ? { ok: false, response: transportFailure(code, read.requestId) }
65
65
  : { ok: true, value: code.value };
@@ -85,7 +85,15 @@ function bodyValue(body, contentType, maxRequestBytes) {
85
85
  catch {
86
86
  return "A2000";
87
87
  }
88
- return isJsonObject(value) ? { value } : "A2000";
88
+ if (!isJsonObject(value)) {
89
+ return "A2000";
90
+ }
91
+ PARSED_HERE.add(value);
92
+ return { value };
93
+ }
94
+ const PARSED_HERE = new WeakSet();
95
+ export function isParsedByDecoder(value) {
96
+ return typeof value === "object" && value !== null && PARSED_HERE.has(value);
89
97
  }
90
98
  function isJsonMediaType(contentType) {
91
99
  return (contentType
@@ -2,9 +2,9 @@ import type { ClientProtocolIdentity } from "../runtime/operation-request.js";
2
2
  import type { OperationRouteSegments } from "./absent-route.responder.js";
3
3
  import type { AvProtocolRequest } from "./http-request.decoder.js";
4
4
  import type { AvProtocolResponse } from "./http-response.encoder.js";
5
- /** `POST <entrypoint>/_transactions`. */
5
+ /** `POST <api>/_transactions`. */
6
6
  export declare const TRANSACTIONS_ROUTE = "/_transactions";
7
- /** `GET <entrypoint>/_contract`. */
7
+ /** `GET <api>/_contract`. */
8
8
  export declare const CONTRACT_ROUTE = "/_contract";
9
9
  /** The methods an operation or `/_transactions` route accepts: `POST`, only. */
10
10
  export declare const POST_ONLY: readonly string[];
@@ -12,7 +12,7 @@ export declare const POST_ONLY: readonly string[];
12
12
  export declare const GET_ONLY: readonly string[];
13
13
  /**
14
14
  * Whether a path lies in the protocol's namespace: underscore-prefixed paths beneath
15
- * the entrypoint are reserved for framework facilities; every other path is the
15
+ * the `api` mount path are reserved for framework facilities; every other path is the
16
16
  * host's.
17
17
  */
18
18
  export declare function isProtocolPath(path: string): boolean;
@@ -1,5 +1,5 @@
1
- import { type OperationResponse } from "../runtime/operation-response.js";
2
- import type { TransactionResponse } from "../transactions/transaction-response.js";
1
+ import { type AvOperationResponse } from "../runtime/operation-response.js";
2
+ import type { AvTransactionResponse } from "../transactions/transaction-response.js";
3
3
  /**
4
4
  * One HTTP response as the protocol hands it to a host: what the encoders
5
5
  * (`protocol.encodeOperation` / `encodeTransaction`) and `protocol.failure`
@@ -28,7 +28,7 @@ export type UnencodableReport = (error: unknown, operation?: number) => void;
28
28
  * `requestId` is echoed as `Aventara-Request-Id` — pass the id the request ran under,
29
29
  * which the decoder supplies.
30
30
  */
31
- export declare function encodeOperationResponse(response: OperationResponse, requestId: string, report?: UnencodableReport): AvProtocolResponse;
31
+ export declare function encodeOperationResponse(response: AvOperationResponse, requestId: string, report?: UnencodableReport): AvProtocolResponse;
32
32
  /**
33
33
  * `protocol.encodeTransaction(response, requestId)`: the same for a plan's response. A
34
34
  * committed plan is `200 A1009` — even when it created something — with each
@@ -37,4 +37,4 @@ export declare function encodeOperationResponse(response: OperationResponse, req
37
37
  * status. A step whose result cannot be encoded answers `A3003` → 500 naming that step
38
38
  * as `cause.operation`, as every internal failure inside a plan does.
39
39
  */
40
- export declare function encodeTransactionResponse(response: TransactionResponse, requestId: string, report?: UnencodableReport): AvProtocolResponse;
40
+ export declare function encodeTransactionResponse(response: AvTransactionResponse, requestId: string, report?: UnencodableReport): AvProtocolResponse;
@@ -1,16 +1,16 @@
1
1
  import { encodeBase64, WIRE_SCALAR_PATTERNS, } from "../contracts/wire-scalar-format.js";
2
- import { Decimal } from "../runtime/decimal.js";
2
+ import { AvDecimal } from "../runtime/decimal.js";
3
3
  import { SERIALIZATION_FAILURE_MESSAGE } from "../runtime/error-boundary.js";
4
4
  import { operationFailure, } from "../runtime/operation-response.js";
5
5
  import { httpStatus } from "./http-status.table.js";
6
6
  import { headers } from "./protocol-headers.js";
7
7
  export function encodeOperationResponse(response, requestId, report) {
8
8
  try {
9
- return written(response, toWire(response.data, new Set()), requestId);
9
+ return written(response, toWireText(response.data), requestId);
10
10
  }
11
11
  catch (error) {
12
12
  report?.(error);
13
- return written(serializationFailure(), null, requestId);
13
+ return written(serializationFailure(), "null", requestId);
14
14
  }
15
15
  }
16
16
  export function encodeTransactionResponse(response, requestId, report) {
@@ -25,13 +25,16 @@ export function encodeTransactionResponse(response, requestId, report) {
25
25
  }
26
26
  const steps = [];
27
27
  for (step = 0; step < data.length; step += 1) {
28
- steps.push(toWireElement(data, step, new Set()));
28
+ if (!Object.hasOwn(data, step)) {
29
+ throw unencodable(data);
30
+ }
31
+ steps.push(toWireText(data[step]));
29
32
  }
30
- return written(response, steps, requestId);
33
+ return written(response, `[${steps.join(",")}]`, requestId);
31
34
  }
32
35
  catch (error) {
33
36
  report?.(error, step);
34
- return written(serializationFailure(step), null, requestId);
37
+ return written(serializationFailure(step), "null", requestId);
35
38
  }
36
39
  }
37
40
  function serializationFailure(operation) {
@@ -51,82 +54,118 @@ function written(response, wireData, requestId) {
51
54
  "Content-Type": "application/json",
52
55
  [headers.requestId]: requestId,
53
56
  },
54
- body: JSON.stringify({ data: wireData, code, cause }),
57
+ body: `{"data":${wireData},${JSON.stringify({ code, cause }).slice(1)}`,
55
58
  };
56
59
  }
57
60
  function unencodable(value) {
58
61
  return new TypeError("A result value has no wire form.", { cause: value });
59
62
  }
60
- function toWire(value, ancestors) {
63
+ function toWireText(value) {
64
+ const output = [];
65
+ const ancestors = new Set();
66
+ const stack = [{ kind: "value", value }];
67
+ while (stack.length > 0) {
68
+ const task = stack.pop();
69
+ if (task.kind === "text") {
70
+ output.push(task.text);
71
+ continue;
72
+ }
73
+ if (task.kind === "leave") {
74
+ ancestors.delete(task.container);
75
+ continue;
76
+ }
77
+ const current = task.value;
78
+ const scalar = scalarWireText(current);
79
+ if (scalar !== undefined) {
80
+ output.push(scalar);
81
+ continue;
82
+ }
83
+ const container = current;
84
+ if (ancestors.has(container)) {
85
+ throw unencodable(container);
86
+ }
87
+ ancestors.add(container);
88
+ stack.push({ kind: "leave", container });
89
+ if (Array.isArray(container)) {
90
+ pushList(stack, container);
91
+ }
92
+ else {
93
+ pushRecord(stack, container);
94
+ }
95
+ }
96
+ return output.join("");
97
+ }
98
+ function pushList(stack, list) {
99
+ const tasks = [{ kind: "text", text: "[" }];
100
+ for (let index = 0; index < list.length; index += 1) {
101
+ if (!Object.hasOwn(list, index)) {
102
+ throw unencodable(list);
103
+ }
104
+ if (index > 0) {
105
+ tasks.push({ kind: "text", text: "," });
106
+ }
107
+ tasks.push({ kind: "value", value: list[index] });
108
+ }
109
+ tasks.push({ kind: "text", text: "]" });
110
+ pushReversed(stack, tasks);
111
+ }
112
+ function pushRecord(stack, record) {
113
+ const prototype = Object.getPrototypeOf(record);
114
+ if (prototype !== Object.prototype && prototype !== null) {
115
+ throw unencodable(record);
116
+ }
117
+ const tasks = [{ kind: "text", text: "{" }];
118
+ for (const key of Object.keys(record)) {
119
+ const member = record[key];
120
+ if (member === undefined) {
121
+ continue;
122
+ }
123
+ tasks.push({
124
+ kind: "text",
125
+ text: `${tasks.length > 1 ? "," : ""}${JSON.stringify(key)}:`,
126
+ });
127
+ tasks.push({ kind: "value", value: member });
128
+ }
129
+ tasks.push({ kind: "text", text: "}" });
130
+ pushReversed(stack, tasks);
131
+ }
132
+ function pushReversed(stack, tasks) {
133
+ for (let index = tasks.length - 1; index >= 0; index -= 1) {
134
+ stack.push(tasks[index]);
135
+ }
136
+ }
137
+ function scalarWireText(value) {
61
138
  switch (typeof value) {
62
139
  case "string":
63
140
  case "boolean":
64
- return value;
141
+ return JSON.stringify(value);
65
142
  case "number":
66
143
  if (Number.isFinite(value)) {
67
- return value;
144
+ return JSON.stringify(value);
68
145
  }
69
146
  throw unencodable(value);
70
147
  case "bigint":
71
- return value.toString(10);
148
+ return JSON.stringify(value.toString(10));
72
149
  case "object":
73
150
  break;
74
151
  default:
75
152
  throw unencodable(value);
76
153
  }
77
154
  if (value === null) {
78
- return null;
155
+ return "null";
79
156
  }
80
157
  if (value instanceof Date) {
81
158
  const wire = Number.isNaN(value.getTime()) ? "" : value.toISOString();
82
159
  if (!WIRE_SCALAR_PATTERNS.datetime.test(wire)) {
83
160
  throw unencodable(value);
84
161
  }
85
- return wire;
162
+ return JSON.stringify(wire);
86
163
  }
87
- if (value instanceof Decimal) {
88
- return value.toString();
164
+ if (value instanceof AvDecimal) {
165
+ return JSON.stringify(value.toString());
89
166
  }
90
167
  if (value instanceof Uint8Array) {
91
- return encodeBase64(value);
92
- }
93
- if (ancestors.has(value)) {
94
- throw unencodable(value);
95
- }
96
- ancestors.add(value);
97
- try {
98
- return Array.isArray(value)
99
- ? toWireList(value, ancestors)
100
- : toWireRecord(value, ancestors);
101
- }
102
- finally {
103
- ancestors.delete(value);
104
- }
105
- }
106
- function toWireList(list, ancestors) {
107
- const wire = [];
108
- for (let index = 0; index < list.length; index += 1) {
109
- wire.push(toWireElement(list, index, ancestors));
110
- }
111
- return wire;
112
- }
113
- function toWireElement(list, index, ancestors) {
114
- if (!Object.hasOwn(list, index)) {
115
- throw unencodable(list);
116
- }
117
- return toWire(list[index], ancestors);
118
- }
119
- function toWireRecord(record, ancestors) {
120
- const prototype = Object.getPrototypeOf(record);
121
- if (prototype !== Object.prototype && prototype !== null) {
122
- throw unencodable(record);
123
- }
124
- const members = [];
125
- for (const key of Object.keys(record)) {
126
- const member = record[key];
127
- if (member !== undefined) {
128
- members.push([key, toWire(member, ancestors)]);
129
- }
168
+ return JSON.stringify(encodeBase64(value));
130
169
  }
131
- return Object.fromEntries(members);
170
+ return undefined;
132
171
  }
@@ -1,7 +1,7 @@
1
- import type { OperationCode } from "../runtime/operation-response.js";
1
+ import type { AvOperationCode } from "../runtime/operation-response.js";
2
2
  /**
3
3
  * `AvProtocol.httpStatus` — the HTTP status each A-code carries, as passive data.
4
4
  */
5
5
  export declare const httpStatus: {
6
- readonly [C in OperationCode]: number;
6
+ readonly [C in AvOperationCode]: number;
7
7
  };
@@ -1,5 +1,5 @@
1
- import { type OperationResponse } from "../runtime/operation-response.js";
1
+ import { type AvOperationResponse } from "../runtime/operation-response.js";
2
2
  /**
3
3
  * The HTTP status plays no part — a code is read even at an unexpected status.
4
4
  */
5
- export declare function isOperationResponse(value: unknown): value is OperationResponse;
5
+ export declare function isOperationResponse(value: unknown): value is AvOperationResponse;
@@ -1,5 +1,5 @@
1
- import type { ClientContract } from "../contracts/contract.js";
2
- import { type OperationIdentity } from "../operations/operation-identity.js";
1
+ import type { AvContractClient } from "../contracts/contract.js";
2
+ import { type AvOperationIdentity } from "../operations/operation-identity.js";
3
3
  /**
4
4
  * One route of the protocol surface: a route a host mounts for the bound
5
5
  * ClientContract, tagged by `kind`.
@@ -9,7 +9,7 @@ export type SurfaceRoute = ({
9
9
  readonly method: "POST";
10
10
  readonly path: `/_resources/${string}`;
11
11
  readonly resource: string;
12
- } & OperationIdentity) | {
12
+ } & AvOperationIdentity) | {
13
13
  readonly kind: "contract";
14
14
  readonly method: "GET";
15
15
  readonly path: "/_contract";
@@ -24,4 +24,4 @@ export type SurfaceRoute = ({
24
24
  * order, then `GET /_contract`, then `POST /_transactions` when, and only when,
25
25
  * `transactions === "interactive"`.
26
26
  */
27
- export declare function surfaceOf(client: ClientContract): readonly SurfaceRoute[];
27
+ export declare function surfaceOf(client: AvContractClient): readonly SurfaceRoute[];