@zackbart/connecta 0.34.0 → 0.35.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.
- package/CHANGELOG.md +393 -0
- package/README.md +62 -105
- package/SECURITY.md +3 -2
- package/bin/connecta.mjs +41 -16
- package/bin/version.mjs +1 -1
- package/dist/access-tokens.d.ts +2 -1
- package/dist/access-tokens.js +66 -30
- package/dist/activity.d.ts +1 -1
- package/dist/activity.js +2 -0
- package/dist/agent-config.d.ts +23 -0
- package/dist/agent-config.js +59 -0
- package/dist/agent-description.js +16 -0
- package/dist/agent-identity.js +4 -4
- package/dist/agent-observation.js +39 -0
- package/dist/auth/clerk-sdk/client.d.ts +2 -0
- package/dist/auth/clerk-sdk/generated.js +554 -563
- package/dist/auth/clerk-transport.js +70 -3
- package/dist/auth/clerk.d.ts +13 -0
- package/dist/auth/clerk.js +653 -246
- package/dist/auth/cloudflare-access.js +46 -42
- package/dist/auth/downstream-client-metadata.js +2 -2
- package/dist/auth/downstream-oauth.js +2051 -1160
- package/dist/auth/downstream-revocation.js +88 -88
- package/dist/auth/native-call.js +20 -0
- package/dist/auth/native.js +184 -0
- package/dist/auth/oauth-start-reset.js +11 -5
- package/dist/auth/oauth-token-response.js +121 -102
- package/dist/auth/oauth-v2-migration.js +97 -78
- package/dist/auth/renewable-grant.js +10 -0
- package/dist/auth/static-oauth.js +663 -271
- package/dist/auth/vercel-agent.js +266 -0
- package/dist/auth-admission.js +204 -0
- package/dist/auth-elicitation.js +350 -241
- package/dist/authorization-handoff.js +164 -90
- package/dist/call-admission-context.js +3 -10
- package/dist/call-admission.js +2 -0
- package/dist/call-classification.js +9 -0
- package/dist/call-recovery.js +32 -13
- package/dist/canonical-json.js +8 -0
- package/dist/catalog-cache.js +369 -213
- package/dist/catalog-service.js +659 -530
- package/dist/catalog.js +5 -1
- package/dist/concurrency.js +0 -25
- package/dist/config-defaults.d.ts +1 -0
- package/dist/config-defaults.js +1 -0
- package/dist/config-schema.d.ts +3 -1
- package/dist/config-schema.js +13 -3
- package/dist/config.d.ts +40 -6
- package/dist/config.js +40 -26
- package/dist/connector-caller.d.ts +4 -0
- package/dist/connector-caller.js +17 -4
- package/dist/connectors/api-connector.d.ts +15 -7
- package/dist/connectors/api-connector.js +147 -57
- package/dist/connectors/guarded-fetch.d.ts +51 -17
- package/dist/connectors/guarded-fetch.js +215 -121
- package/dist/connectors/negotiation-cache.js +20 -10
- package/dist/connectors/option-shapes.js +1 -1
- package/dist/connectors/remote-mcp.d.ts +12 -30
- package/dist/connectors/remote-mcp.js +960 -564
- package/dist/d1.js +10 -243
- package/dist/derived-context.js +5 -0
- package/dist/describe-config.d.ts +5 -1
- package/dist/describe-config.js +3 -0
- package/dist/downstream-input.js +347 -260
- package/dist/errors.d.ts +87 -6
- package/dist/errors.js +114 -4
- package/dist/execute.js +87 -50
- package/dist/executor-admission.js +3 -0
- package/dist/executors/quickjs.js +163 -112
- package/dist/guarded-transport.js +50 -0
- package/dist/guest-runtime.js +1 -1
- package/dist/http/client.js +439 -0
- package/dist/http/errors.js +558 -0
- package/dist/http/fields.js +49 -0
- package/dist/http/hatch-paging.js +318 -0
- package/dist/http/hatch.js +1279 -0
- package/dist/http/json-schema.js +267 -0
- package/dist/http/node-transport.js +241 -0
- package/dist/http/oauth.js +162 -0
- package/dist/http/paging.js +228 -0
- package/dist/http/provider.js +221 -0
- package/dist/http/safety.js +82 -0
- package/dist/http/services.js +79 -0
- package/dist/http/tools.js +383 -0
- package/dist/http/vendor-index.js +138 -0
- package/dist/http/vendor.js +448 -0
- package/dist/http/write-request.js +66 -0
- package/dist/http-policy.d.ts +11 -0
- package/dist/http-policy.js +45 -0
- package/dist/inbound-credential.js +1 -1
- package/dist/index.d.ts +2 -2
- package/dist/index.js +4 -0
- package/dist/invocation-auth.js +30 -19
- package/dist/invocation.js +221 -87
- package/dist/mcp-result.js +0 -4
- package/dist/membership.d.ts +4 -0
- package/dist/meta-output.js +1 -1
- package/dist/meta-tools.js +534 -408
- package/dist/native-recovery.js +52 -0
- package/dist/native-tools.js +382 -0
- package/dist/node.d.ts +4 -3
- package/dist/node.js +45 -8
- package/dist/oauth-handoff.js +177 -104
- package/dist/oauth-partition.js +6 -20
- package/dist/oauth-sealing.js +6 -7
- package/dist/operation-vocabulary.js +101 -0
- package/dist/operator-record.d.ts +2 -2
- package/dist/operator-record.js +17 -4
- package/dist/operator-ui/agents.d.ts +5 -4
- package/dist/operator-ui/agents.js +17 -7
- package/dist/operator-ui/config-summary.js +8 -4
- package/dist/operator-ui/connection-map.js +9 -6
- package/dist/operator-ui/contract.d.ts +7 -3
- package/dist/operator-ui/endpoints.js +5 -14
- package/dist/operator-ui/fix-prompts.d.ts +1 -1
- package/dist/operator-ui/fix-prompts.js +0 -8
- package/dist/operator-ui/generated.js +3 -3
- package/dist/operator-ui/health.js +52 -0
- package/dist/operator-ui/model.d.ts +2 -3
- package/dist/operator-ui/overview.js +11 -19
- package/dist/operator-ui/setup-commands.js +0 -4
- package/dist/operator-ui/view.d.ts +5 -29
- package/dist/operator-ui/view.js +3 -59
- package/dist/program-writes.js +47 -26
- package/dist/provider-call-facts.d.ts +115 -0
- package/dist/provider-call-facts.js +182 -0
- package/dist/provider-call.d.ts +112 -0
- package/dist/provider-call.js +271 -0
- package/dist/provider.d.ts +71 -32
- package/dist/provider.js +134 -40
- package/dist/providers/_shared/google/hatch.js +91 -0
- package/dist/providers/_shared/google/kit.js +537 -0
- package/dist/providers/_shared/google/result-size.js +15 -2
- package/dist/providers/_shared/google/service-account.d.ts +2 -1
- package/dist/providers/_shared/google/service-account.js +8 -4
- package/dist/providers/_shared/google/workspace.d.ts +8 -209
- package/dist/providers/_shared/google/workspace.js +7 -426
- package/dist/providers/_shared/rest/compact-index.js +86 -0
- package/dist/providers/_shared/rest/dispatch.js +3 -23
- package/dist/providers/_shared/rest/kit.js +546 -0
- package/dist/providers/_shared/rest/operation-index.js +230 -14
- package/dist/providers/_shared/rest/response-media.js +11 -0
- package/dist/providers/_shared/rest/tools.js +101 -78
- package/dist/providers/_shared/rest/value-safety.js +353 -195
- package/dist/providers/_shared/sensitive-fields.js +27 -0
- package/dist/providers/breeze/api.js +584 -0
- package/dist/providers/breeze/index.d.ts +3 -3
- package/dist/providers/breeze/index.js +67 -1420
- package/dist/providers/breeze/openapi.generated.js +60 -0
- package/dist/providers/breeze/skill.generated.js +2 -6
- package/dist/providers/breeze/tools.js +696 -0
- package/dist/providers/ccb/api.js +496 -0
- package/dist/providers/ccb/index.d.ts +17 -37
- package/dist/providers/ccb/index.js +77 -1702
- package/dist/providers/ccb/lib/constants.d.ts +34 -0
- package/dist/providers/ccb/lib/constants.js +74 -0
- package/dist/providers/ccb/lib/guide.js +9 -0
- package/dist/providers/ccb/lib/verdicts.js +387 -0
- package/dist/providers/ccb/openapi.generated.js +397 -0
- package/dist/providers/ccb/safety.js +295 -0
- package/dist/providers/ccb/skill.generated.js +2 -6
- package/dist/providers/ccb/tools.js +853 -0
- package/dist/providers/cloudflare/api.js +1066 -0
- package/dist/providers/cloudflare/index.d.ts +7 -22
- package/dist/providers/cloudflare/index.js +80 -194
- package/dist/providers/cloudflare/lib/config.d.ts +16 -0
- package/dist/providers/cloudflare/lib/config.js +2 -0
- package/dist/providers/cloudflare/lib/discovery.js +29 -0
- package/dist/providers/cloudflare/{graphql.js → lib/graphql.js} +1 -1
- package/dist/providers/cloudflare/lib/hatch.js +103 -0
- package/dist/providers/cloudflare/lib/path-bounds.js +28 -0
- package/dist/providers/cloudflare/lib/response-media.js +75 -0
- package/dist/providers/cloudflare/openapi.generated.js +3299 -3208
- package/dist/providers/cloudflare/{value-safety.js → safety.js} +538 -18
- package/dist/providers/cloudflare/skill.generated.js +2 -10
- package/dist/providers/cloudflare/tools.js +360 -0
- package/dist/providers/docs/api.js +51 -0
- package/dist/providers/docs/index.d.ts +1 -12
- package/dist/providers/docs/index.js +53 -1165
- package/dist/providers/docs/lib/constants.d.ts +18 -0
- package/dist/providers/docs/lib/constants.js +18 -0
- package/dist/providers/docs/lib/discovery.js +26 -0
- package/dist/providers/docs/lib/requests.js +48 -0
- package/dist/providers/docs/lib/schemas.js +168 -0
- package/dist/providers/docs/openapi.generated.js +16 -0
- package/dist/providers/docs/safety.js +54 -0
- package/dist/providers/docs/skill.generated.js +2 -6
- package/dist/providers/docs/tools.js +802 -0
- package/dist/providers/drive/api.js +177 -0
- package/dist/providers/drive/index.d.ts +1 -12
- package/dist/providers/drive/index.js +38 -1448
- package/dist/providers/drive/lib/constants.d.ts +6 -0
- package/dist/providers/drive/lib/constants.js +6 -0
- package/dist/providers/drive/lib/contracts.js +532 -0
- package/dist/providers/drive/lib/hatch.js +197 -0
- package/dist/providers/drive/openapi.generated.js +77 -0
- package/dist/providers/drive/safety.js +90 -0
- package/dist/providers/drive/skill.generated.js +2 -6
- package/dist/providers/drive/tools.js +1290 -0
- package/dist/providers/forms/api.js +71 -0
- package/dist/providers/forms/index.d.ts +1 -12
- package/dist/providers/forms/index.js +49 -1145
- package/dist/providers/forms/lib/constants.d.ts +14 -0
- package/dist/providers/forms/lib/constants.js +19 -0
- package/dist/providers/forms/lib/hatch.js +72 -0
- package/dist/providers/forms/openapi.generated.js +23 -0
- package/dist/providers/forms/safety.js +34 -0
- package/dist/providers/forms/skill.generated.js +2 -8
- package/dist/providers/forms/tools.js +1024 -0
- package/dist/providers/github/api.js +150 -0
- package/dist/providers/github/index.d.ts +4 -5
- package/dist/providers/github/index.js +30 -87
- package/dist/providers/github/{auth.d.ts → lib/auth.d.ts} +5 -3
- package/dist/providers/github/{auth.js → lib/auth.js} +40 -43
- package/dist/providers/github/lib/discovery.js +132 -0
- package/dist/providers/github/lib/operations.js +58 -0
- package/dist/providers/github/{scope.d.ts → lib/scope.d.ts} +2 -0
- package/dist/providers/github/{scope.js → lib/scope.js} +25 -1
- package/dist/providers/github/openapi.generated.js +1216 -0
- package/dist/providers/github/safety.js +216 -0
- package/dist/providers/github/skill.generated.js +2 -5
- package/dist/providers/github/tools.js +506 -0
- package/dist/providers/gmail/api.js +114 -0
- package/dist/providers/gmail/index.d.ts +1 -12
- package/dist/providers/gmail/index.js +73 -1621
- package/dist/providers/gmail/lib/constants.d.ts +13 -0
- package/dist/providers/gmail/lib/constants.js +16 -0
- package/dist/providers/gmail/lib/index.js +173 -0
- package/dist/providers/gmail/lib/schemas.js +176 -0
- package/dist/providers/gmail/lib/threading.js +120 -0
- package/dist/providers/gmail/openapi.generated.js +92 -0
- package/dist/providers/gmail/safety.js +21 -0
- package/dist/providers/gmail/skill.generated.js +2 -6
- package/dist/providers/gmail/tools.js +1435 -0
- package/dist/providers/overflow/api.js +1008 -0
- package/dist/providers/overflow/index.d.ts +3 -17
- package/dist/providers/overflow/index.js +60 -1488
- package/dist/providers/overflow/skill.generated.js +2 -5
- package/dist/providers/overflow/tools.js +873 -0
- package/dist/providers/planning-center/api.js +467 -0
- package/dist/providers/planning-center/index.d.ts +6 -35
- package/dist/providers/planning-center/index.js +69 -2445
- package/dist/providers/planning-center/lib/constants.d.ts +58 -0
- package/dist/providers/planning-center/lib/constants.js +83 -0
- package/dist/providers/planning-center/lib/discovery.js +40 -0
- package/dist/providers/planning-center/lib/guide.js +39 -0
- package/dist/providers/planning-center/lib/json-api.js +83 -0
- package/dist/providers/planning-center/lib/verdicts.js +1758 -0
- package/dist/providers/planning-center/openapi.generated.js +1764 -0
- package/dist/providers/planning-center/safety.js +188 -0
- package/dist/providers/planning-center/skill.generated.js +2 -27
- package/dist/providers/planning-center/tools.js +1010 -0
- package/dist/providers/sheets/api.js +133 -0
- package/dist/providers/sheets/index.d.ts +4 -16
- package/dist/providers/sheets/index.js +61 -1172
- package/dist/providers/sheets/lib/constants.d.ts +14 -0
- package/dist/providers/sheets/lib/constants.js +14 -0
- package/dist/providers/sheets/lib/hatch.js +163 -0
- package/dist/providers/sheets/lib/requests.js +105 -0
- package/dist/providers/sheets/lib/schemas.js +138 -0
- package/dist/providers/sheets/openapi.generated.js +30 -0
- package/dist/providers/sheets/safety.js +27 -0
- package/dist/providers/sheets/skill.generated.js +2 -7
- package/dist/providers/sheets/tools.js +734 -0
- package/dist/providers/slides/api.js +147 -0
- package/dist/providers/slides/index.d.ts +2 -10
- package/dist/providers/slides/index.js +48 -2555
- package/dist/providers/slides/lib/constants.d.ts +11 -0
- package/dist/providers/slides/lib/constants.js +11 -0
- package/dist/providers/slides/lib/requests.js +60 -0
- package/dist/providers/slides/lib/schemas.js +565 -0
- package/dist/providers/slides/openapi.generated.js +18 -0
- package/dist/providers/slides/skill.generated.js +2 -6
- package/dist/providers/slides/tools.js +1968 -0
- package/dist/providers/stripe/api.js +401 -0
- package/dist/providers/stripe/index.d.ts +7 -27
- package/dist/providers/stripe/index.js +75 -191
- package/dist/providers/stripe/lib/config.d.ts +4 -0
- package/dist/providers/stripe/lib/config.js +2 -0
- package/dist/providers/stripe/openapi.generated.js +4 -3
- package/dist/providers/stripe/{value-safety.js → safety.js} +5 -5
- package/dist/providers/stripe/skill.generated.js +2 -10
- package/dist/providers/stripe/tools.js +77 -0
- package/dist/providers/tithely/api.js +531 -0
- package/dist/providers/tithely/index.d.ts +19 -0
- package/dist/providers/tithely/index.js +86 -965
- package/dist/providers/tithely/skill.generated.js +2 -5
- package/dist/providers/tithely/tools.js +426 -0
- package/dist/providers/vercel/api.js +551 -0
- package/dist/providers/vercel/index.d.ts +11 -25
- package/dist/providers/vercel/index.js +67 -261
- package/dist/providers/vercel/lib/config.d.ts +2 -0
- package/dist/providers/vercel/lib/config.js +2 -0
- package/dist/providers/vercel/lib/index.js +117 -0
- package/dist/providers/vercel/lib/logs.js +100 -0
- package/dist/providers/vercel/lib/pin.js +270 -0
- package/dist/providers/vercel/openapi.generated.js +398 -376
- package/dist/providers/vercel/{value-safety.js → safety.js} +261 -42
- package/dist/providers/vercel/skill.generated.js +2 -7
- package/dist/providers/vercel/tools.js +642 -0
- package/dist/redaction-identity.js +47 -0
- package/dist/redaction-marker.js +125 -0
- package/dist/registry.d.ts +30 -28
- package/dist/registry.js +446 -413
- package/dist/routes/access-tokens.js +1 -1
- package/dist/routes/actor-labels.js +1 -1
- package/dist/routes/connect.js +1 -1
- package/dist/routes/dispatch.js +103 -0
- package/dist/routes/mcp.js +170 -79
- package/dist/routes/oauth.js +3 -1
- package/dist/routes/operator.js +2 -2
- package/dist/routes/shared.d.ts +5 -4
- package/dist/routes/shared.js +244 -177
- package/dist/routes/skills.js +10 -8
- package/dist/routes/ui-config.js +27 -3
- package/dist/routes/ui-data.js +29 -22
- package/dist/routes/ui.js +1 -1
- package/dist/runtime/call-admission.js +0 -26
- package/dist/runtime/call-entry.js +30 -0
- package/dist/runtime/call.js +556 -0
- package/dist/runtime/connector-scope.js +7 -0
- package/dist/runtime/credential-probe.js +34 -0
- package/dist/runtime/executor.js +40 -0
- package/dist/runtime/native-storage.js +63 -0
- package/dist/runtime/registry.js +27 -0
- package/dist/runtime/request-scope.js +72 -0
- package/dist/runtime/run.js +15 -7
- package/dist/runtime/shared-read.js +34 -5
- package/dist/runtime/storage.js +34 -21
- package/dist/sent-secrets.d.ts +194 -37
- package/dist/sent-secrets.js +1743 -340
- package/dist/server.js +5 -56
- package/dist/skills.js +330 -224
- package/dist/sqlite.js +15 -14
- package/dist/storage/d1-copy.js +255 -0
- package/dist/storage/d1-driver.js +15 -0
- package/dist/storage/keys.js +28 -0
- package/dist/storage/sql-driver.js +88 -0
- package/dist/storage/sql-native.js +544 -0
- package/dist/storage/sql-schema.d.ts +6 -0
- package/dist/storage/sql-schema.js +15 -0
- package/dist/storage/sql.d.ts +14 -20
- package/dist/storage/sql.js +29 -535
- package/dist/timeout.js +0 -26
- package/dist/tool-safety.js +20 -10
- package/dist/types.d.ts +11 -99
- package/dist/upward.js +3 -0
- package/dist/usage-guide.js +3 -1
- package/dist/validate.d.ts +4 -2
- package/dist/validate.js +86 -9
- package/dist/version.d.ts +1 -1
- package/dist/version.js +1 -1
- package/dist/worker.js +312 -292
- package/dist/workspace-subject.js +5 -1
- package/dist/write-outcome.js +454 -34
- package/documentation/README.md +27 -7
- package/documentation/architecture.md +2550 -186
- package/documentation/auth.md +821 -98
- package/documentation/code-mode.md +56 -21
- package/documentation/deploying.md +164 -20
- package/documentation/hosted-mcp-migration.md +460 -0
- package/documentation/integrating.md +144 -105
- package/documentation/meta-tools.md +411 -34
- package/documentation/operating.md +28 -4
- package/documentation/operator-tests.md +11 -2
- package/documentation/operator-ui.md +103 -33
- package/documentation/provider-auth-migration.md +38 -63
- package/documentation/provider-migration-0.29.md +10 -5
- package/documentation/provider-migration-0.35.md +975 -0
- package/documentation/providers.md +965 -0
- package/examples/worker/AGENTS.md +23 -9
- package/examples/worker/README.md +254 -135
- package/examples/worker/alchemy.run.ts +116 -0
- package/examples/worker/gitignore +10 -0
- package/examples/worker/src/connecta.config.ts +23 -21
- package/examples/worker/wrangler.jsonc +14 -5
- package/guides/connecting-agents.md +157 -0
- package/guides/how-it-works.md +156 -0
- package/guides/safety-and-trust.md +153 -0
- package/package.json +27 -42
- package/templates/node/.env.example +3 -0
- package/templates/node/README.md +22 -2
- package/templates/node/docker-compose.yml +1 -0
- package/templates/node/package.json +3 -2
- package/templates/node/src/connecta.config.ts +8 -0
- package/dist/catalog-drift.d.ts +0 -134
- package/dist/catalog-drift.js +0 -493
- package/dist/providers/_shared/request-token.js +0 -83
- package/dist/providers/_shared/rest/operation-index.d.ts +0 -133
- package/dist/providers/_shared/rest/tools.d.ts +0 -141
- package/dist/providers/_shared/rest/value-safety.d.ts +0 -201
- package/dist/providers/basecamp/index.d.ts +0 -43
- package/dist/providers/basecamp/index.js +0 -997
- package/dist/providers/basecamp/skill.generated.js +0 -9
- package/dist/providers/cloudflare/rest.d.ts +0 -37
- package/dist/providers/cloudflare/rest.js +0 -1078
- package/dist/providers/github/hosted.js +0 -218
- package/dist/providers/github/rest.js +0 -321
- package/dist/providers/infisical/index.d.ts +0 -7
- package/dist/providers/infisical/index.js +0 -713
- package/dist/providers/infisical/skill.generated.js +0 -8
- package/dist/providers/linear/index.d.ts +0 -55
- package/dist/providers/linear/index.js +0 -352
- package/dist/providers/linear/skill.generated.js +0 -8
- package/dist/providers/mixpanel/index.d.ts +0 -57
- package/dist/providers/mixpanel/index.js +0 -468
- package/dist/providers/mixpanel/operations.js +0 -20
- package/dist/providers/mixpanel/rest.js +0 -603
- package/dist/providers/mixpanel/skill.generated.js +0 -10
- package/dist/providers/mixpanel/value-safety.js +0 -16
- package/dist/providers/notion/index.d.ts +0 -65
- package/dist/providers/notion/index.js +0 -368
- package/dist/providers/notion/openapi.generated.js +0 -75
- package/dist/providers/notion/rest.d.ts +0 -24
- package/dist/providers/notion/rest.js +0 -1226
- package/dist/providers/notion/skill.generated.js +0 -11
- package/dist/providers/notion/value-safety.js +0 -56
- package/dist/providers/revenuecat/index.d.ts +0 -49
- package/dist/providers/revenuecat/index.js +0 -557
- package/dist/providers/revenuecat/skill.generated.js +0 -11
- package/dist/providers/stripe/rest.d.ts +0 -14
- package/dist/providers/stripe/rest.js +0 -402
- package/dist/providers/vercel/rest.d.ts +0 -20
- package/dist/providers/vercel/rest.js +0 -1020
- package/dist/providers/wispr-flow/index.d.ts +0 -14
- package/dist/providers/wispr-flow/index.js +0 -117
- package/dist/providers/wispr-flow/skill.generated.js +0 -8
- /package/dist/providers/github/{key.js → lib/key.js} +0 -0
|
@@ -0,0 +1,182 @@
|
|
|
1
|
+
// Pure physical-request facts, failure provenance and construction identities.
|
|
2
|
+
// No operation/call services or transport graph: provider definitions and
|
|
3
|
+
// operator sinks can preserve provenance without acquiring Effect.
|
|
4
|
+
import { carryResendAdvice, ConnectorCallError } from "./errors.js";
|
|
5
|
+
import { followRedactedCopies } from "./redaction-identity.js";
|
|
6
|
+
// A redacted copy of a failure is the same failure: its verdict follows it.
|
|
7
|
+
const refusals = followRedactedCopies(new WeakMap());
|
|
8
|
+
const knownFailures = followRedactedCopies(new WeakSet());
|
|
9
|
+
// Verdicts that already account for a write's 401 in words of their own: a
|
|
10
|
+
// renewal's (`unsentAfterUnauthorized`) or Q8's own. Q8 adds no sentence to them.
|
|
11
|
+
const explainedUnauthorized = followRedactedCopies(new WeakSet());
|
|
12
|
+
// Verdicts the one Q8 decision (`settleWrite`) made. They are final: nothing
|
|
13
|
+
// after it may add retry, resend, key-reuse or wait advice to them.
|
|
14
|
+
const settledWrites = followRedactedCopies(new WeakSet());
|
|
15
|
+
// The authorization verdict a request's own 401 was mapped to, kept for the
|
|
16
|
+
// call's verdict whatever failure surfaces after it (Q8).
|
|
17
|
+
const unauthorizedAnswers = new WeakMap();
|
|
18
|
+
const trackedConnectors = new WeakSet();
|
|
19
|
+
const boundaries = new WeakMap();
|
|
20
|
+
const delegators = new WeakMap();
|
|
21
|
+
const aliases = new WeakMap();
|
|
22
|
+
export function originalCallIdentity(connector) {
|
|
23
|
+
return aliases.get(connector) ?? connector;
|
|
24
|
+
}
|
|
25
|
+
export function boundaryFor(connector) {
|
|
26
|
+
return boundaries.get(connector);
|
|
27
|
+
}
|
|
28
|
+
export function delegatorFor(connector) {
|
|
29
|
+
return delegators.get(connector);
|
|
30
|
+
}
|
|
31
|
+
/** A physical send owns its fields permanently; its own answer is recorded once. */
|
|
32
|
+
export function recordRequestField(request, field, value) {
|
|
33
|
+
Object.defineProperty(request, field, { value, enumerable: true, writable: false, configurable: false });
|
|
34
|
+
}
|
|
35
|
+
export function recordProviderResponse(request, status) {
|
|
36
|
+
if (request.status !== undefined)
|
|
37
|
+
throw new Error("Provider request already answered.");
|
|
38
|
+
recordRequestField(request, "status", status);
|
|
39
|
+
}
|
|
40
|
+
/**
|
|
41
|
+
* Declare that every request the connector's handlers send goes through a
|
|
42
|
+
* channel the call ledger records: a guarded transport, `ctx.fetch`, or
|
|
43
|
+
* `ctx.oauth.fetch`. Only then does an empty ledger prove that a failed
|
|
44
|
+
* write never left. Maintained providers declare it; an arbitrary `api()`
|
|
45
|
+
* handler can reach the network some other way, so its ledger proves nothing.
|
|
46
|
+
*/
|
|
47
|
+
export function tracksEveryRequest(connector) {
|
|
48
|
+
trackedConnectors.add(connector);
|
|
49
|
+
return connector;
|
|
50
|
+
}
|
|
51
|
+
export function tracksRequests(connector) {
|
|
52
|
+
return trackedConnectors.has(connector);
|
|
53
|
+
}
|
|
54
|
+
/**
|
|
55
|
+
* Declare a maintained connector whose `callTool` hands each call to at most
|
|
56
|
+
* one api() or remoteMcp() boundary and sends nothing else that could apply
|
|
57
|
+
* it (GitHub). Only then may that boundary's verdict stand for the call. The
|
|
58
|
+
* object and its function are recorded now, at construction: a later
|
|
59
|
+
* assignment to the property, or a copy of the object, declares nothing.
|
|
60
|
+
*/
|
|
61
|
+
export function delegatesEachCall(connector) {
|
|
62
|
+
delegators.set(connector, connector.callTool);
|
|
63
|
+
return connector;
|
|
64
|
+
}
|
|
65
|
+
/**
|
|
66
|
+
* Record a just-built api() or remoteMcp() object as a boundary, with its
|
|
67
|
+
* published `callTool`. Its own code then names the same object, from its
|
|
68
|
+
* closure, in {@link enterProviderBoundary}.
|
|
69
|
+
*/
|
|
70
|
+
export function providerBoundary(connector) {
|
|
71
|
+
boundaries.set(connector, { boundary: connector, own: connector.callTool });
|
|
72
|
+
}
|
|
73
|
+
/**
|
|
74
|
+
* `alias` serves `base` itself (`defineProvider`'s inheriting stamp), so it
|
|
75
|
+
* takes `base`'s recorded identities. Only construction code calls this.
|
|
76
|
+
*/
|
|
77
|
+
export function aliasCallIdentity(alias, base) {
|
|
78
|
+
aliases.set(alias, originalCallIdentity(base));
|
|
79
|
+
const boundary = boundaries.get(base);
|
|
80
|
+
const delegator = delegators.get(base);
|
|
81
|
+
if (boundary)
|
|
82
|
+
boundaries.set(alias, boundary);
|
|
83
|
+
if (delegator)
|
|
84
|
+
delegators.set(alias, delegator);
|
|
85
|
+
}
|
|
86
|
+
/**
|
|
87
|
+
* Whether a served HTTP status says the request was refused, not applied: a
|
|
88
|
+
* 4xx other than 408. A 408 is a timeout, whose request may have been acted
|
|
89
|
+
* on; a 2xx or 5xx never proves a write unapplied. A 401 passes here, and
|
|
90
|
+
* `servedRefusal` still asks for the vendor's reviewed evidence.
|
|
91
|
+
*/
|
|
92
|
+
export function refusedStatus(status) {
|
|
93
|
+
return status !== undefined && status >= 400 && status < 500 && status !== 408;
|
|
94
|
+
}
|
|
95
|
+
/**
|
|
96
|
+
* Refusal provenance, recorded where the answer is observed: the request was
|
|
97
|
+
* served a refusing status (`refusedStatus`) and the mapper failed on it. An
|
|
98
|
+
* error code alone is never this evidence.
|
|
99
|
+
*/
|
|
100
|
+
export function vendorRefusal(error, request) {
|
|
101
|
+
if (error !== null && typeof error === "object" && refusedStatus(request.status)) {
|
|
102
|
+
refusals.set(error, request);
|
|
103
|
+
if (request.status === 401 && authorizationFailure(error) && !unauthorizedAnswers.has(request))
|
|
104
|
+
unauthorizedAnswers.set(request, error);
|
|
105
|
+
}
|
|
106
|
+
return error;
|
|
107
|
+
}
|
|
108
|
+
/** An authorization verdict, the kind that keeps the `authorize_connector` handoff. */
|
|
109
|
+
export function authorizationFailure(error) {
|
|
110
|
+
return (error instanceof ConnectorCallError &&
|
|
111
|
+
(error.code === "auth_required" || error.code === "downstream_oauth_required"));
|
|
112
|
+
}
|
|
113
|
+
/**
|
|
114
|
+
* The authorization verdict `request`'s own 401 answer was mapped to, as
|
|
115
|
+
* {@link vendorRefusal} recorded it. Undefined when nothing mapped that
|
|
116
|
+
* answer, such as a body past the ceiling.
|
|
117
|
+
*/
|
|
118
|
+
export function unauthorizedAnswer(request) {
|
|
119
|
+
return unauthorizedAnswers.get(request);
|
|
120
|
+
}
|
|
121
|
+
/**
|
|
122
|
+
* A renewal answered `request`'s own 401 (a refresh, a login, a fresh token
|
|
123
|
+
* minted) with `fresh`, a credential other than `sent`, the one the request
|
|
124
|
+
* carried: that 401 no longer needs the operator's recovery (Q8). It names
|
|
125
|
+
* the one request it answered and never marks another. A renewal that hands
|
|
126
|
+
* back the credential the request already sent (an earlier recovery reused)
|
|
127
|
+
* renewed nothing.
|
|
128
|
+
*/
|
|
129
|
+
export function renewedAfterUnauthorized(request, sent, fresh) {
|
|
130
|
+
if (request?.status === 401 && fresh !== sent && !request.renewed)
|
|
131
|
+
recordRequestField(request, "renewed", true);
|
|
132
|
+
}
|
|
133
|
+
export function refusalRequest(error) {
|
|
134
|
+
return error !== null && typeof error === "object" ? refusals.get(error) : undefined;
|
|
135
|
+
}
|
|
136
|
+
export function knownProviderFailure(error) {
|
|
137
|
+
if (error !== null && typeof error === "object")
|
|
138
|
+
knownFailures.add(error);
|
|
139
|
+
return error;
|
|
140
|
+
}
|
|
141
|
+
export function isKnownProviderFailure(error) {
|
|
142
|
+
return error !== null && typeof error === "object" && knownFailures.has(error);
|
|
143
|
+
}
|
|
144
|
+
/** Withdraw a verdict that does not hold for the call that reports it. */
|
|
145
|
+
export function forgetProviderFailure(error) {
|
|
146
|
+
knownFailures.delete(error);
|
|
147
|
+
refusals.delete(error);
|
|
148
|
+
}
|
|
149
|
+
/** Preserve internal verdicts and resend advice through redaction and provider recovery wording. */
|
|
150
|
+
export function carryProviderFailure(from, to) {
|
|
151
|
+
if (to !== null && typeof to === "object") {
|
|
152
|
+
const refusal = refusalRequest(from);
|
|
153
|
+
if (refusal)
|
|
154
|
+
refusals.set(to, refusal);
|
|
155
|
+
if (isKnownProviderFailure(from))
|
|
156
|
+
knownFailures.add(to);
|
|
157
|
+
if (explainsUnauthorized(from))
|
|
158
|
+
explainedUnauthorized.add(to);
|
|
159
|
+
if (isSettledWrite(from))
|
|
160
|
+
settledWrites.add(to);
|
|
161
|
+
carryResendAdvice(from, to);
|
|
162
|
+
}
|
|
163
|
+
return to;
|
|
164
|
+
}
|
|
165
|
+
/** Mark a verdict that already accounts for a write's 401 in its own words. */
|
|
166
|
+
export function explainedUnauthorizedVerdict(error) {
|
|
167
|
+
if (error !== null && typeof error === "object")
|
|
168
|
+
explainedUnauthorized.add(error);
|
|
169
|
+
return error;
|
|
170
|
+
}
|
|
171
|
+
export function explainsUnauthorized(error) {
|
|
172
|
+
return error !== null && typeof error === "object" && explainedUnauthorized.has(error);
|
|
173
|
+
}
|
|
174
|
+
/** Mark a verdict the Q8 decision made, final for every step after it. */
|
|
175
|
+
export function settledWrite(error) {
|
|
176
|
+
if (error !== null && typeof error === "object")
|
|
177
|
+
settledWrites.add(error);
|
|
178
|
+
return error;
|
|
179
|
+
}
|
|
180
|
+
export function isSettledWrite(error) {
|
|
181
|
+
return error !== null && typeof error === "object" && settledWrites.has(error);
|
|
182
|
+
}
|
|
@@ -0,0 +1,112 @@
|
|
|
1
|
+
import { type ProviderRequest, type CallTool } from "./provider-call-facts.js";
|
|
2
|
+
import type { ConnectorContext } from "./types.js";
|
|
3
|
+
export interface ProviderCall {
|
|
4
|
+
requests: ProviderRequest[];
|
|
5
|
+
classification?: "read" | "write" | undefined;
|
|
6
|
+
/** The handler settled: its outcome may be reported, so nothing more leaves. */
|
|
7
|
+
closed: boolean;
|
|
8
|
+
/** The calls of api() boundaries entered beneath this one's handler. */
|
|
9
|
+
nested: ProviderCall[];
|
|
10
|
+
/** The call whose handler entered this one; undefined for the outermost. */
|
|
11
|
+
parent?: ProviderCall;
|
|
12
|
+
}
|
|
13
|
+
export interface LogicalCall {
|
|
14
|
+
target: object;
|
|
15
|
+
entered: CallTool;
|
|
16
|
+
boundaries: object[];
|
|
17
|
+
/** Every resource request dispatched under it, once per dispatch, from any ledger. */
|
|
18
|
+
sent: ProviderRequest[];
|
|
19
|
+
/** Auxiliary GET/HEAD dispatches without method overrides, apart from resource writes and auth POSTs. */
|
|
20
|
+
auxiliaryReads: ProviderRequest[];
|
|
21
|
+
/** A kit auxiliary declared as a read dispatched without physical read proof. */
|
|
22
|
+
nonReadAuxiliaryDispatched: boolean;
|
|
23
|
+
}
|
|
24
|
+
export declare function providerCallContext(ctx: ConnectorContext, classification?: "read" | "write"): ConnectorContext;
|
|
25
|
+
/** Whether `ctx`'s call was entered by another api() boundary's handler. */
|
|
26
|
+
export declare function nestedProviderCall(ctx: ConnectorContext): boolean;
|
|
27
|
+
export declare function providerRequests(ctx: ConnectorContext): readonly ProviderRequest[] | undefined;
|
|
28
|
+
/**
|
|
29
|
+
* Every request the ledgers of api() boundaries nested beneath `ctx`'s call
|
|
30
|
+
* recorded, at any depth: an inner call's 401 still decides the outer's
|
|
31
|
+
* write (Q8), whatever the outer handler made of the inner's failure.
|
|
32
|
+
*/
|
|
33
|
+
export declare function nestedProviderRequests(ctx: ConnectorContext): ProviderRequest[];
|
|
34
|
+
/**
|
|
35
|
+
* End the call's ledger before its outcome is decided. A request still in
|
|
36
|
+
* flight already counts as dispatched; one that has not left yet (a sibling
|
|
37
|
+
* still reading its credential, say) is refused by {@link dispatchProviderRequest}
|
|
38
|
+
* and never leaves after the failure is reported.
|
|
39
|
+
*/
|
|
40
|
+
export declare function closeProviderCall(ctx: ConnectorContext): void;
|
|
41
|
+
/**
|
|
42
|
+
* Refuse every request after its request scope ends, before credential reads
|
|
43
|
+
* and again immediately before dispatch. Resource requests also require an
|
|
44
|
+
* open call. Auxiliary requests (token mints, lookups) may outlive that call,
|
|
45
|
+
* but never their request.
|
|
46
|
+
*/
|
|
47
|
+
export declare function assertProviderCallOpen(ctx: ConnectorContext, provider: string, auxiliary: boolean): void;
|
|
48
|
+
/** Record that a request leaves now; synchronous with the send that follows it. */
|
|
49
|
+
export declare function dispatchProviderRequest(ctx: ConnectorContext | undefined, request: ProviderRequest, headers?: HeadersInit, method?: string | undefined): void;
|
|
50
|
+
export declare function recordingFetch<T extends object>(send: T): T;
|
|
51
|
+
export declare function isRecordingFetch(send: object | undefined): boolean;
|
|
52
|
+
export declare function handoffProviderRequest(init: RequestInit, request: ProviderRequest): void;
|
|
53
|
+
export declare function takeProviderHandoff(init: RequestInit): ProviderRequest | undefined;
|
|
54
|
+
export declare function bindProviderResponse(response: object, request: ProviderRequest, owner: ProviderRequest | undefined): void;
|
|
55
|
+
export declare function responseProviderRequest(response: object, owner: ProviderRequest): ProviderRequest | undefined;
|
|
56
|
+
export declare function providerRequest(ctx: ConnectorContext, auxiliary: boolean, provider: string, sent?: {
|
|
57
|
+
method?: string;
|
|
58
|
+
key?: string;
|
|
59
|
+
classification?: "read" | "write";
|
|
60
|
+
}): ProviderRequest;
|
|
61
|
+
/**
|
|
62
|
+
* The invocation opens one logical call on the context it hands a connector,
|
|
63
|
+
* naming the exact object and `callTool` function it is about to invoke.
|
|
64
|
+
*/
|
|
65
|
+
export declare function openLogicalCall(ctx: ConnectorContext, target: object, entered: CallTool): LogicalCall;
|
|
66
|
+
/**
|
|
67
|
+
* An api() or remoteMcp() boundary was entered under `ctx`'s logical call.
|
|
68
|
+
* `boundary` is the object it was built as, from its own closure, never `this`.
|
|
69
|
+
*/
|
|
70
|
+
export declare function enterProviderBoundary(ctx: ConnectorContext, boundary: object): void;
|
|
71
|
+
/**
|
|
72
|
+
* Whether a failure's known mark holds for its whole logical call (INV-9).
|
|
73
|
+
* A boundary marks a write known only when every request it dispatched is
|
|
74
|
+
* proven unapplied, so the mark stands when that boundary owned the call
|
|
75
|
+
* ({@link ownsLogicalCall}) and at most one boundary was entered. A wrapper
|
|
76
|
+
* that composed several calls, or could send around them, never inherits an
|
|
77
|
+
* inner verdict.
|
|
78
|
+
*/
|
|
79
|
+
export declare function knownCallFailure(call: LogicalCall | undefined, error: unknown): boolean;
|
|
80
|
+
/**
|
|
81
|
+
* Positive proof that a complete tracked call dispatched only auxiliaries,
|
|
82
|
+
* including a recorded resource read (positive GET/HEAD evidence). An
|
|
83
|
+
* authentication POST alone is not evidence of that call's resource work:
|
|
84
|
+
* token mints can be shared with callers whose ledgers did not send them.
|
|
85
|
+
* An empty resource ledger is not this proof: even a declared api() entry
|
|
86
|
+
* can report a timeout and recovery facts without recording any dispatch.
|
|
87
|
+
* Keep those calls conservative rather than inferring an auxiliary failure
|
|
88
|
+
* from the absence of a resource request. Wrappers and untracked boundaries
|
|
89
|
+
* cannot borrow an inner call's observations.
|
|
90
|
+
*/
|
|
91
|
+
export declare function onlyAuxiliaryRequests(call: LogicalCall | undefined): boolean;
|
|
92
|
+
/**
|
|
93
|
+
* Whether reusing `key` with the exact original arguments cannot repeat any
|
|
94
|
+
* write of `ctx`'s logical call, the one basis for key-reuse advice (INV-9).
|
|
95
|
+
* It holds only when the call entered exactly one boundary, which owned it
|
|
96
|
+
* and tracks every request, and sent exactly one write, carrying `key`. A
|
|
97
|
+
* request counts as a read only with positive classification and a recorded
|
|
98
|
+
* GET or HEAD ({@link readRequest}). An inner request's key never speaks for a composite,
|
|
99
|
+
* a wrapper, a second write, or an earlier unrelated request.
|
|
100
|
+
*/
|
|
101
|
+
export declare function keyProtectsCall(call: LogicalCall | undefined, key: string | undefined): boolean;
|
|
102
|
+
/** Positive read evidence, with GET/HEAD as #902's additional conservative bound. */
|
|
103
|
+
export declare function readRequest(request: Pick<ProviderRequest, "classification" | "method">, headers?: HeadersInit): boolean;
|
|
104
|
+
export declare function providerFetch(ctx: ConnectorContext, provider: string, auxiliary: boolean, send: typeof fetch): typeof fetch;
|
|
105
|
+
/** Whether an invocation opened the logical call `ctx` belongs to; it then settles Q8 itself. */
|
|
106
|
+
export declare function inLogicalCall(ctx: object): boolean;
|
|
107
|
+
/**
|
|
108
|
+
* Every resource request dispatched under `ctx`'s logical call, from any
|
|
109
|
+
* ledger, nested ones included; undefined outside one.
|
|
110
|
+
*/
|
|
111
|
+
export declare function logicalCallRequests(ctx: object | undefined): readonly ProviderRequest[] | undefined;
|
|
112
|
+
export { recordProviderResponse, tracksEveryRequest, tracksRequests, delegatesEachCall, providerBoundary, refusedStatus, vendorRefusal, authorizationFailure, unauthorizedAnswer, renewedAfterUnauthorized, refusalRequest, knownProviderFailure, isKnownProviderFailure, forgetProviderFailure, explainedUnauthorizedVerdict, explainsUnauthorized, settledWrite, isSettledWrite, type ProviderRequest, } from "./provider-call-facts.js";
|
|
@@ -0,0 +1,271 @@
|
|
|
1
|
+
import { boundaryFor, delegatorFor, recordRequestField, recordProviderResponse, tracksRequests, isKnownProviderFailure, } from "./provider-call-facts.js";
|
|
2
|
+
// One API call's request ledger in call services, and private failure
|
|
3
|
+
// provenance. Each api() entry installs fresh services even if a direct caller
|
|
4
|
+
// reuses its context concurrently. No request facts escape into agent or
|
|
5
|
+
// operator records.
|
|
6
|
+
import { Classification, ProviderLedger, LogicalLedger, recordedService, requestClosed, viewClosed, setViewService, callFromContext, contextView, viewLease, settleOnClose, } from "./runtime/call.js";
|
|
7
|
+
import { callClassification } from "./call-classification.js";
|
|
8
|
+
import { ConnectorCallError } from "./errors.js";
|
|
9
|
+
export function providerCallContext(ctx, classification) {
|
|
10
|
+
const parent = recordedService(ctx, ProviderLedger);
|
|
11
|
+
const call = { requests: [], classification, closed: false, nested: [], ...(parent ? { parent } : {}) };
|
|
12
|
+
parent?.nested.push(call);
|
|
13
|
+
let view;
|
|
14
|
+
const lease = callFromContext(ctx, classification ?? callClassification(ctx) ?? "write", {
|
|
15
|
+
providerLedger: call,
|
|
16
|
+
ledger: {
|
|
17
|
+
open: ({ auxiliary, provider, method, key }) => providerRequest(view, auxiliary, provider, { method, ...(key === undefined ? {} : { key }) }),
|
|
18
|
+
dispatch: (request, headers, method) => dispatchProviderRequest(view, request, headers, method),
|
|
19
|
+
},
|
|
20
|
+
});
|
|
21
|
+
view = contextView(lease, ctx);
|
|
22
|
+
return view;
|
|
23
|
+
}
|
|
24
|
+
/** Whether `ctx`'s call was entered by another api() boundary's handler. */
|
|
25
|
+
export function nestedProviderCall(ctx) {
|
|
26
|
+
return recordedService(ctx, ProviderLedger)?.parent !== undefined;
|
|
27
|
+
}
|
|
28
|
+
export function providerRequests(ctx) {
|
|
29
|
+
return recordedService(ctx, ProviderLedger)?.requests;
|
|
30
|
+
}
|
|
31
|
+
/**
|
|
32
|
+
* Every request the ledgers of api() boundaries nested beneath `ctx`'s call
|
|
33
|
+
* recorded, at any depth: an inner call's 401 still decides the outer's
|
|
34
|
+
* write (Q8), whatever the outer handler made of the inner's failure.
|
|
35
|
+
*/
|
|
36
|
+
export function nestedProviderRequests(ctx) {
|
|
37
|
+
const found = [];
|
|
38
|
+
const visit = (call) => {
|
|
39
|
+
for (const inner of call.nested) {
|
|
40
|
+
found.push(...inner.requests);
|
|
41
|
+
visit(inner);
|
|
42
|
+
}
|
|
43
|
+
};
|
|
44
|
+
const call = recordedService(ctx, ProviderLedger);
|
|
45
|
+
if (call)
|
|
46
|
+
visit(call);
|
|
47
|
+
return found;
|
|
48
|
+
}
|
|
49
|
+
/**
|
|
50
|
+
* End the call's ledger before its outcome is decided. A request still in
|
|
51
|
+
* flight already counts as dispatched; one that has not left yet (a sibling
|
|
52
|
+
* still reading its credential, say) is refused by {@link dispatchProviderRequest}
|
|
53
|
+
* and never leaves after the failure is reported.
|
|
54
|
+
*/
|
|
55
|
+
export function closeProviderCall(ctx) {
|
|
56
|
+
const call = recordedService(ctx, ProviderLedger);
|
|
57
|
+
if (call) {
|
|
58
|
+
const close = (current) => {
|
|
59
|
+
current.closed = true;
|
|
60
|
+
for (const child of current.nested)
|
|
61
|
+
close(child);
|
|
62
|
+
};
|
|
63
|
+
close(call);
|
|
64
|
+
}
|
|
65
|
+
viewLease(ctx)?.close();
|
|
66
|
+
}
|
|
67
|
+
/**
|
|
68
|
+
* Refuse every request after its request scope ends, before credential reads
|
|
69
|
+
* and again immediately before dispatch. Resource requests also require an
|
|
70
|
+
* open call. Auxiliary requests (token mints, lookups) may outlive that call,
|
|
71
|
+
* but never their request.
|
|
72
|
+
*/
|
|
73
|
+
export function assertProviderCallOpen(ctx, provider, auxiliary) {
|
|
74
|
+
if (requestClosed(ctx))
|
|
75
|
+
throw new ConnectorCallError("connector_call_failed", `This ${provider} request belongs to a request that has already ended, so it was not sent.`, { retryable: false });
|
|
76
|
+
if (auxiliary || (recordedService(ctx, ProviderLedger)?.closed !== true && !viewClosed(ctx)))
|
|
77
|
+
return;
|
|
78
|
+
throw new ConnectorCallError("connector_call_failed", `This ${provider} request belongs to a call that has already ended, so it was not sent.`, { retryable: false });
|
|
79
|
+
}
|
|
80
|
+
/** Record that a request leaves now; synchronous with the send that follows it. */
|
|
81
|
+
export function dispatchProviderRequest(ctx, request, headers, method = request.method) {
|
|
82
|
+
if (ctx)
|
|
83
|
+
assertProviderCallOpen(ctx, request.provider, request.auxiliary);
|
|
84
|
+
if (request.dispatched)
|
|
85
|
+
throw new Error("Provider request already dispatched.");
|
|
86
|
+
if (hasMethodOverride(headers))
|
|
87
|
+
request.classification = "write";
|
|
88
|
+
recordRequestField(request, "method", method);
|
|
89
|
+
recordRequestField(request, "dispatched", true);
|
|
90
|
+
const logical = ctx && recordedService(ctx, LogicalLedger);
|
|
91
|
+
if (logical) {
|
|
92
|
+
if (!request.auxiliary)
|
|
93
|
+
logical.sent.push(request);
|
|
94
|
+
// Auxiliary ownership is the provider's read declaration; the served
|
|
95
|
+
// classification may still be write. Bind method/header evidence now,
|
|
96
|
+
// so token POSTs and overridden GETs cannot supply this proof later.
|
|
97
|
+
else if (method !== undefined && readRequest({ classification: "read", method }, headers))
|
|
98
|
+
logical.auxiliaryReads.push(request);
|
|
99
|
+
else if (request.blocksAuxiliaryProof)
|
|
100
|
+
logical.nonReadAuxiliaryDispatched = true;
|
|
101
|
+
}
|
|
102
|
+
}
|
|
103
|
+
// Only a fetch that records physical sends may accept an unsent handoff.
|
|
104
|
+
const recordingFetches = new WeakSet();
|
|
105
|
+
export function recordingFetch(send) {
|
|
106
|
+
recordingFetches.add(send);
|
|
107
|
+
return send;
|
|
108
|
+
}
|
|
109
|
+
export function isRecordingFetch(send) {
|
|
110
|
+
return send !== undefined && recordingFetches.has(send);
|
|
111
|
+
}
|
|
112
|
+
const handoffs = new WeakMap();
|
|
113
|
+
export function handoffProviderRequest(init, request) {
|
|
114
|
+
if (request.dispatched)
|
|
115
|
+
throw new Error("Provider request already dispatched.");
|
|
116
|
+
handoffs.set(init, request);
|
|
117
|
+
}
|
|
118
|
+
export function takeProviderHandoff(init) {
|
|
119
|
+
// Consume before any await: a read replay or another call cannot take it.
|
|
120
|
+
const request = handoffs.get(init);
|
|
121
|
+
handoffs.delete(init);
|
|
122
|
+
return request?.dispatched ? undefined : request;
|
|
123
|
+
}
|
|
124
|
+
// Observation only: a mapper must name the physical reply it actually received.
|
|
125
|
+
const responseRequests = new WeakMap();
|
|
126
|
+
export function bindProviderResponse(response, request, owner) {
|
|
127
|
+
if (owner)
|
|
128
|
+
responseRequests.set(response, { request, owner });
|
|
129
|
+
}
|
|
130
|
+
export function responseProviderRequest(response, owner) {
|
|
131
|
+
const answer = responseRequests.get(response);
|
|
132
|
+
return answer?.owner === owner ? answer.request : undefined;
|
|
133
|
+
}
|
|
134
|
+
/** Override presence invalidates read evidence, whatever value the header carries. */
|
|
135
|
+
function hasMethodOverride(headers) {
|
|
136
|
+
const sent = new Headers(headers);
|
|
137
|
+
return ["x-http-method-override", "x-http-method", "x-method-override"].some((name) => sent.has(name));
|
|
138
|
+
}
|
|
139
|
+
export function providerRequest(ctx, auxiliary, provider, sent = {}) {
|
|
140
|
+
const request = {
|
|
141
|
+
dispatched: false,
|
|
142
|
+
auxiliary,
|
|
143
|
+
provider,
|
|
144
|
+
classification: recordedService(ctx, ProviderLedger)?.classification ??
|
|
145
|
+
recordedService(ctx, Classification) ??
|
|
146
|
+
callClassification(ctx),
|
|
147
|
+
...sent,
|
|
148
|
+
};
|
|
149
|
+
recordedService(ctx, ProviderLedger)?.requests.push(request);
|
|
150
|
+
return request;
|
|
151
|
+
}
|
|
152
|
+
/**
|
|
153
|
+
* The invocation opens one logical call on the context it hands a connector,
|
|
154
|
+
* naming the exact object and `callTool` function it is about to invoke.
|
|
155
|
+
*/
|
|
156
|
+
export function openLogicalCall(ctx, target, entered) {
|
|
157
|
+
const call = {
|
|
158
|
+
target,
|
|
159
|
+
entered,
|
|
160
|
+
boundaries: [],
|
|
161
|
+
sent: [],
|
|
162
|
+
auxiliaryReads: [],
|
|
163
|
+
nonReadAuxiliaryDispatched: false,
|
|
164
|
+
};
|
|
165
|
+
setViewService(ctx, LogicalLedger, call);
|
|
166
|
+
return call;
|
|
167
|
+
}
|
|
168
|
+
/**
|
|
169
|
+
* An api() or remoteMcp() boundary was entered under `ctx`'s logical call.
|
|
170
|
+
* `boundary` is the object it was built as, from its own closure, never `this`.
|
|
171
|
+
*/
|
|
172
|
+
export function enterProviderBoundary(ctx, boundary) {
|
|
173
|
+
recordedService(ctx, LogicalLedger)?.boundaries.push(boundary);
|
|
174
|
+
}
|
|
175
|
+
/**
|
|
176
|
+
* Whether a failure's known mark holds for its whole logical call (INV-9).
|
|
177
|
+
* A boundary marks a write known only when every request it dispatched is
|
|
178
|
+
* proven unapplied, so the mark stands when that boundary owned the call
|
|
179
|
+
* ({@link ownsLogicalCall}) and at most one boundary was entered. A wrapper
|
|
180
|
+
* that composed several calls, or could send around them, never inherits an
|
|
181
|
+
* inner verdict.
|
|
182
|
+
*/
|
|
183
|
+
export function knownCallFailure(call, error) {
|
|
184
|
+
return call !== undefined && isKnownProviderFailure(error) && call.boundaries.length <= 1 && ownsLogicalCall(call);
|
|
185
|
+
}
|
|
186
|
+
/**
|
|
187
|
+
* Positive proof that a complete tracked call dispatched only auxiliaries,
|
|
188
|
+
* including a recorded resource read (positive GET/HEAD evidence). An
|
|
189
|
+
* authentication POST alone is not evidence of that call's resource work:
|
|
190
|
+
* token mints can be shared with callers whose ledgers did not send them.
|
|
191
|
+
* An empty resource ledger is not this proof: even a declared api() entry
|
|
192
|
+
* can report a timeout and recovery facts without recording any dispatch.
|
|
193
|
+
* Keep those calls conservative rather than inferring an auxiliary failure
|
|
194
|
+
* from the absence of a resource request. Wrappers and untracked boundaries
|
|
195
|
+
* cannot borrow an inner call's observations.
|
|
196
|
+
*/
|
|
197
|
+
export function onlyAuxiliaryRequests(call) {
|
|
198
|
+
const [boundary, ...others] = call?.boundaries ?? [];
|
|
199
|
+
return (call !== undefined &&
|
|
200
|
+
boundary !== undefined &&
|
|
201
|
+
others.length === 0 &&
|
|
202
|
+
tracksRequests(boundary) &&
|
|
203
|
+
ownsLogicalCall(call) &&
|
|
204
|
+
call.auxiliaryReads.some((request) => request.dispatched) &&
|
|
205
|
+
!call.nonReadAuxiliaryDispatched &&
|
|
206
|
+
!call.sent.some((request) => request.dispatched && !request.auxiliary));
|
|
207
|
+
}
|
|
208
|
+
/**
|
|
209
|
+
* Whether reusing `key` with the exact original arguments cannot repeat any
|
|
210
|
+
* write of `ctx`'s logical call, the one basis for key-reuse advice (INV-9).
|
|
211
|
+
* It holds only when the call entered exactly one boundary, which owned it
|
|
212
|
+
* and tracks every request, and sent exactly one write, carrying `key`. A
|
|
213
|
+
* request counts as a read only with positive classification and a recorded
|
|
214
|
+
* GET or HEAD ({@link readRequest}). An inner request's key never speaks for a composite,
|
|
215
|
+
* a wrapper, a second write, or an earlier unrelated request.
|
|
216
|
+
*/
|
|
217
|
+
export function keyProtectsCall(call, key) {
|
|
218
|
+
const [boundary, ...others] = call?.boundaries ?? [];
|
|
219
|
+
if (!call || key === undefined || boundary === undefined || others.length > 0 || !tracksRequests(boundary))
|
|
220
|
+
return false;
|
|
221
|
+
const writes = call.sent.filter((request) => !readRequest(request));
|
|
222
|
+
return ownsLogicalCall(call) && writes.length === 1 && writes[0]?.key === key;
|
|
223
|
+
}
|
|
224
|
+
/**
|
|
225
|
+
* The call's invoked object owns it: a boundary object invoked with the
|
|
226
|
+
* function recorded for it at construction, and that boundary was the one
|
|
227
|
+
* entered; or a declared delegator object, likewise. Only identities captured
|
|
228
|
+
* at construction, dispatch and entry decide it, so a wrapper that reassigns
|
|
229
|
+
* `callTool` mid-call, or a copy that shares a boundary's function, cannot
|
|
230
|
+
* borrow its standing.
|
|
231
|
+
*/
|
|
232
|
+
function ownsLogicalCall(call) {
|
|
233
|
+
const boundary = boundaryFor(call.target);
|
|
234
|
+
return ((boundary?.own === call.entered && boundary.boundary === call.boundaries[0]) ||
|
|
235
|
+
delegatorFor(call.target) === call.entered);
|
|
236
|
+
}
|
|
237
|
+
/** Positive read evidence, with GET/HEAD as #902's additional conservative bound. */
|
|
238
|
+
export function readRequest(request, headers) {
|
|
239
|
+
const method = request.method?.toUpperCase();
|
|
240
|
+
return (request.classification === "read" &&
|
|
241
|
+
(method === "GET" || method === "HEAD") &&
|
|
242
|
+
(headers === undefined || !hasMethodOverride(headers)));
|
|
243
|
+
}
|
|
244
|
+
export function providerFetch(ctx, provider, auxiliary, send) {
|
|
245
|
+
return (input, init) => settleOnClose(ctx, async (signal) => {
|
|
246
|
+
const method = init?.method ?? (input instanceof Request ? input.method : "GET");
|
|
247
|
+
const request = providerRequest(ctx, auxiliary, provider, { method });
|
|
248
|
+
dispatchProviderRequest(ctx, request, init?.headers ?? (input instanceof Request ? input.headers : undefined));
|
|
249
|
+
const signals = [signal, init?.signal ?? (input instanceof Request ? input.signal : undefined)].filter((signal) => signal !== undefined && signal !== null);
|
|
250
|
+
const sent = signals.length ? { ...init, signal: AbortSignal.any(signals) } : init;
|
|
251
|
+
const response = await send(input, sent);
|
|
252
|
+
recordProviderResponse(request, response.status);
|
|
253
|
+
if (signal.aborted) {
|
|
254
|
+
void response.body?.cancel().catch(() => { });
|
|
255
|
+
throw signal.reason;
|
|
256
|
+
}
|
|
257
|
+
return response;
|
|
258
|
+
}, auxiliary);
|
|
259
|
+
}
|
|
260
|
+
/** Whether an invocation opened the logical call `ctx` belongs to; it then settles Q8 itself. */
|
|
261
|
+
export function inLogicalCall(ctx) {
|
|
262
|
+
return recordedService(ctx, LogicalLedger) !== undefined;
|
|
263
|
+
}
|
|
264
|
+
/**
|
|
265
|
+
* Every resource request dispatched under `ctx`'s logical call, from any
|
|
266
|
+
* ledger, nested ones included; undefined outside one.
|
|
267
|
+
*/
|
|
268
|
+
export function logicalCallRequests(ctx) {
|
|
269
|
+
return ctx ? recordedService(ctx, LogicalLedger)?.sent : undefined;
|
|
270
|
+
}
|
|
271
|
+
export { recordProviderResponse, tracksEveryRequest, tracksRequests, delegatesEachCall, providerBoundary, refusedStatus, vendorRefusal, authorizationFailure, unauthorizedAnswer, renewedAfterUnauthorized, refusalRequest, knownProviderFailure, isKnownProviderFailure, forgetProviderFailure, explainedUnauthorizedVerdict, explainsUnauthorized, settledWrite, isSettledWrite, } from "./provider-call-facts.js";
|