@lunora/advisor 1.0.0-alpha.3 → 1.0.0-alpha.30

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 (76) hide show
  1. package/LICENSE.md +6 -0
  2. package/README.md +1 -1
  3. package/__assets__/package-og.svg +1 -1
  4. package/dist/index.d.mts +2215 -10
  5. package/dist/index.d.ts +2215 -10
  6. package/dist/index.mjs +120 -13
  7. package/dist/packem_shared/{AE_METRIC_EVENTS-DexctYv6.mjs → AE_METRIC_EVENTS-BM14d0lm.mjs} +3 -1
  8. package/dist/packem_shared/actionFetchSsrf-wbmYgzmz.mjs +26 -0
  9. package/dist/packem_shared/aiRawRunEscapeHatch-C29jd32J.mjs +26 -0
  10. package/dist/packem_shared/aiToolSideEffectPromptInjection-BtD3alqB.mjs +33 -0
  11. package/dist/packem_shared/aiUnboundedGenerationPublic-CbAcSxLB.mjs +26 -0
  12. package/dist/packem_shared/allowUnauthenticatedShardAccessEnabled-BcASq-jP.mjs +30 -0
  13. package/dist/packem_shared/argument-derived-sink-C1xTTqAt.mjs +30 -0
  14. package/dist/packem_shared/authCsrfCheckDisabled-DCf9FSoD.mjs +26 -0
  15. package/dist/packem_shared/authEmailVerificationDisabled-Dk-Tc5oU.mjs +26 -0
  16. package/dist/packem_shared/authSecureCookiesDisabled-osJrHW9Y.mjs +26 -0
  17. package/dist/packem_shared/authSessionFreshageZero-CjufCc_Q.mjs +26 -0
  18. package/dist/packem_shared/authTrustedOriginsWildcard-ylv4PKzC.mjs +26 -0
  19. package/dist/packem_shared/browserAllowPrivateTargets-CBvQxLAM.mjs +26 -0
  20. package/dist/packem_shared/browserUserUrlWithoutAllowlist-CvhA6w59.mjs +26 -0
  21. package/dist/packem_shared/circularFk-CNcAVuYa.mjs +127 -0
  22. package/dist/packem_shared/{constraintValidator-Dr9Py3FD.mjs → constraintValidator-CxwtpJ6E.mjs} +24 -4
  23. package/dist/packem_shared/containerInstanceKeyFromUserInput-BUXj2J4w.mjs +19 -0
  24. package/dist/packem_shared/containerRuntimeEgressRelaxation-B0LlfmDA.mjs +26 -0
  25. package/dist/packem_shared/containerStartEnableInternetOverride-DDaHZQ1L.mjs +26 -0
  26. package/dist/packem_shared/dedupeCacheKeys-r5B7u_yq.mjs +13 -0
  27. package/dist/packem_shared/externalSourceIncrementalNoDeletePath-DvX9cRBD.mjs +45 -0
  28. package/dist/packem_shared/externalSourceOnGlobal-Bg-NfCX9.mjs +30 -0
  29. package/dist/packem_shared/externalSourceUnscoped-5vT-Bup3.mjs +44 -0
  30. package/dist/packem_shared/flagGatesSecurityWithUnsafeDefault-BhIs0shr.mjs +41 -0
  31. package/dist/packem_shared/{fromServerSchema-DinF1nph.mjs → fromServerSchema-BjAZdvJ6.mjs} +10 -0
  32. package/dist/packem_shared/{hardcodedSecret-W2pz1UZB.mjs → hardcodedSecret-Be-pKVdn.mjs} +3 -7
  33. package/dist/packem_shared/helpers-BySnKhVB.mjs +31 -0
  34. package/dist/packem_shared/hotShard-CkC7qpre.mjs +60 -0
  35. package/dist/packem_shared/httpActionMissingAuthGuard-CxipddNx.mjs +35 -0
  36. package/dist/packem_shared/httpActionResponseHeaderInjection-DOFS7pFT.mjs +39 -0
  37. package/dist/packem_shared/identityUndeclaredClaimTrusted-D8nXV2dd.mjs +32 -0
  38. package/dist/packem_shared/imagesUrlSourceFromUserInput-YcDQ0b_Y.mjs +19 -0
  39. package/dist/packem_shared/{indexReferencesUnknownField-DH0_dbUY.mjs → indexReferencesUnknownField-BSWNngxX.mjs} +1 -1
  40. package/dist/packem_shared/insertManyUnsafeUserData-Dn77XpmX.mjs +26 -0
  41. package/dist/packem_shared/kvUnscopedUserKeyIdor-YWwmfE8X.mjs +19 -0
  42. package/dist/packem_shared/mailInboundDispatchWithoutVerify-CHSRA8zz.mjs +28 -0
  43. package/dist/packem_shared/mailRecipientFromRequestInput-Cka2qu5J.mjs +26 -0
  44. package/dist/packem_shared/maskWeakHashStrategyOnPii-1c4q8Opf.mjs +35 -0
  45. package/dist/packem_shared/maskedRelationLeakViaWith-CPI4s0sl.mjs +76 -0
  46. package/dist/packem_shared/mutatorFullRowReplace-BJnNDaIV.mjs +26 -0
  47. package/dist/packem_shared/normalizeIdUsedAsAuthorization-BVPtCpzT.mjs +50 -0
  48. package/dist/packem_shared/outputProjectionMissingOnPublicRead-Bl5IMx0k.mjs +51 -0
  49. package/dist/packem_shared/ownerFieldFromArgsNotAuth-mOw3hE5z.mjs +26 -0
  50. package/dist/packem_shared/paymentCreateWithoutAuthorize-BYm4JLxo.mjs +26 -0
  51. package/dist/packem_shared/paymentWebhookWideTolerance-D9QQJMJq.mjs +35 -0
  52. package/dist/packem_shared/plaintextSecretInWranglerVariables-NKO4YkKf.mjs +35 -0
  53. package/dist/packem_shared/privilegedDispatchUnvalidatedPayload-5Forjckt.mjs +37 -0
  54. package/dist/packem_shared/privilegedFanoutFromPublicProcedure-D3dL01B8.mjs +26 -0
  55. package/dist/packem_shared/{publicMutationWithoutRatelimit-xBpJ6GWK.mjs → publicMutationWithoutRatelimit-DbIhgi7j.mjs} +2 -2
  56. package/dist/packem_shared/publicTableRlsOptoutConfusion-Bn71yoD4.mjs +38 -0
  57. package/dist/packem_shared/queueWithoutDlq-CSkGNb_0.mjs +41 -0
  58. package/dist/packem_shared/ratelimitDefaultMemoryStore-BISChG5C.mjs +26 -0
  59. package/dist/packem_shared/ratelimitKeySpoofableOrGlobal-DqlHYQQ3.mjs +26 -0
  60. package/dist/packem_shared/ratelimitMiddlewareFailOpen-CJgDCaUw.mjs +33 -0
  61. package/dist/packem_shared/{relationReferencesUnknownField-YznyXt_7.mjs → relationReferencesUnknownField-CjbLScJ1.mjs} +1 -1
  62. package/dist/packem_shared/shapeTargetsGlobalTable-DHrf4Koi.mjs +34 -0
  63. package/dist/packem_shared/shapeUnknownTable-C8aDWFoe.mjs +34 -0
  64. package/dist/packem_shared/softDeleteIncludeDeletedFromArgs-BLqDKrkM.mjs +38 -0
  65. package/dist/packem_shared/storageGenerateUploadUrlNoContentTypePin-Da4L9Ge8.mjs +26 -0
  66. package/dist/packem_shared/storageKeyFromUserArgs-B86elJgS.mjs +19 -0
  67. package/dist/packem_shared/storagePresignedUrlForPrivateContent-yGmb8uqz.mjs +47 -0
  68. package/dist/packem_shared/storageUploadWithoutContentTypeAllowlist-BV-gF1lT.mjs +27 -0
  69. package/dist/packem_shared/storageUploadWithoutMaxSize-DpxO59wU.mjs +27 -0
  70. package/dist/packem_shared/{userCreatingMutationWithoutCaptcha-CH31YsUZ.mjs → userCreatingMutationWithoutCaptcha-2DZtWIPb.mjs} +2 -2
  71. package/dist/packem_shared/vectorsNamespaceFromUserInput-CQhr5bVn.mjs +19 -0
  72. package/dist/packem_shared/workflowDuplicateStepName-ioBxPBCy.mjs +48 -0
  73. package/package.json +4 -3
  74. package/dist/packem_shared/circularFk-B2freHrP.mjs +0 -84
  75. package/dist/packem_shared/helpers-DNCkMWZQ.mjs +0 -4
  76. package/dist/packem_shared/hotShard-Ir5D0B6J.mjs +0 -48
@@ -0,0 +1,39 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const VIA_LABELS = {
4
+ "headers-append": "a `headers.append(...)` call",
5
+ "headers-ctor": "a `new Headers({...})` initializer",
6
+ "headers-set": "a `headers.set(...)` call",
7
+ "response-init": "a `Response` init `headers` object"
8
+ };
9
+ const httpActionResponseHeaderInjection = {
10
+ categories: ["SECURITY"],
11
+ description: "An `httpAction` handler writes a response-header value derived from raw request input (`request.headers`/URL/query/body) with no CR/LF sanitizer. A `Request`-derived string placed verbatim into a response header lets a caller smuggle `\\r\\n` and inject extra headers or split the response (HTTP response splitting / header injection).",
12
+ facing: "EXTERNAL",
13
+ level: "WARN",
14
+ name: "http_action_response_header_injection",
15
+ remediation: "Never place a raw request value into a response header. Route it through a CR/LF guard (`isSafeHeaderValue` from `@lunora/server`, rejecting values containing `\\r`/`\\n`/`\\0`), URL-encode it (`encodeURIComponent`), or coerce it to a number — before writing the header. `String(...)` / `.toString()` do NOT strip CR/LF and are not sufficient.",
16
+ run: (context) => {
17
+ if (context.httpHeaderWrites === void 0) {
18
+ return [];
19
+ }
20
+ return context.httpHeaderWrites.map((row) => {
21
+ const header = row.headerName === "" ? "a response header" : `the \`${row.headerName}\` response header`;
22
+ return emit(httpActionResponseHeaderInjection, {
23
+ cacheKey: `http_action_response_header_injection:${row.file}:${row.line.toString()}`,
24
+ detail: `\`${row.exportName}\` (${row.file}:${row.line.toString()}) writes ${header} from raw request input via ${VIA_LABELS[row.via]} with no CR/LF guard — a caller can smuggle \`\\r\\n\` to inject headers or split the response. Route the value through \`isSafeHeaderValue\` or \`encodeURIComponent\` first.`,
25
+ metadata: {
26
+ exportName: row.exportName,
27
+ file: row.file,
28
+ headerName: row.headerName,
29
+ line: row.line,
30
+ via: row.via
31
+ }
32
+ });
33
+ });
34
+ },
35
+ source: "static",
36
+ title: "Response header written from unsanitized request input"
37
+ };
38
+
39
+ export { httpActionResponseHeaderInjection as default };
@@ -0,0 +1,32 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const identityUndeclaredClaimTrusted = {
4
+ categories: ["SECURITY"],
5
+ description: "An authorization read of `auth.identity.<key>` for a claim outside the declared `defineIdentity({ ... })` contract. `defineIdentity` validates only declared claims and forwards undeclared ones verbatim, so the value the policy trusts was never validated — an attacker's token can forge it.",
6
+ facing: "EXTERNAL",
7
+ level: "WARN",
8
+ name: "identity_undeclared_claim_trusted",
9
+ remediation: "Declare the claim in `defineIdentity({ ... })` (e.g. `role: v.optional(v.string())`) so the worker validates it at the trust boundary before a policy reads it, or stop trusting it for authorization. Declared claims (and `userId`) are validated; undeclared claims are forwarded unchecked.",
10
+ run: (context) => {
11
+ if (context.identityClaimReads === void 0) {
12
+ return [];
13
+ }
14
+ return context.identityClaimReads.filter((row) => !row.declared).map((row) => {
15
+ const location = `\`${row.exportName}\` (${row.file}:${row.line.toString()})`;
16
+ return emit(identityUndeclaredClaimTrusted, {
17
+ cacheKey: `identity_undeclared_claim_trusted:${row.file}:${row.line.toString()}:${row.key}`,
18
+ detail: `\`${row.key}\` in ${location} is read off \`identity\` but is not declared in \`defineIdentity({ ... })\`. Undeclared claims are forwarded unvalidated, so this authorization decision trusts a forgeable value.`,
19
+ metadata: {
20
+ exportName: row.exportName,
21
+ file: row.file,
22
+ key: row.key,
23
+ line: row.line
24
+ }
25
+ });
26
+ });
27
+ },
28
+ source: "static",
29
+ title: "Authorization trusts an undeclared identity claim"
30
+ };
31
+
32
+ export { identityUndeclaredClaimTrusted as default };
@@ -0,0 +1,19 @@
1
+ import { m as makeArgumentDerivedSinkLint } from './argument-derived-sink-C1xTTqAt.mjs';
2
+
3
+ const imagesUrlSourceFromUserInput = makeArgumentDerivedSinkLint({
4
+ cacheKey: (access) => `images_url_source_from_user_input:${access.file}:${access.line.toString()}`,
5
+ categories: ["SECURITY"],
6
+ description: "A `buildImageDeliveryUrl({ key, … })` call's `key` — the CDN transform's source image, an absolute URL or an origin-relative key — is derived from the handler's `args` with no server-side scoping, so any caller can point the CDN's on-the-fly transform at an attacker-chosen origin (SSRF / open proxy) or an arbitrary key under the account's own store.",
7
+ detail: (access) => `\`buildImageDeliveryUrl\` in \`${access.exportName}\` (${access.file}:${access.line.toString()}) builds its delivery URL from a \`key\` derived from \`args\` with no server-side scoping — any caller can point the CDN's on-the-fly transform at an attacker-chosen origin or store key. Validate \`key\` against an allowlist, or derive it from server-trusted state.`,
8
+ facing: "EXTERNAL",
9
+ getAccesses: (context) => context.imageDeliveryUrlAccesses,
10
+ level: "WARN",
11
+ metadata: (access) => {
12
+ return { exportName: access.exportName, file: access.file, line: access.line };
13
+ },
14
+ name: "images_url_source_from_user_input",
15
+ remediation: "Validate `key` against an allowlist of known origins/prefixes before calling `buildImageDeliveryUrl`, or derive it from server-trusted state (a stored record's own image key) rather than passing `args` straight through.",
16
+ title: "Image delivery URL built from unscoped user input"
17
+ });
18
+
19
+ export { imagesUrlSourceFromUserInput as default };
@@ -1,5 +1,5 @@
1
1
  import { e as emit } from './finding-Dm_zvzS1.mjs';
2
- import { t as tableColumnSet } from './helpers-DNCkMWZQ.mjs';
2
+ import { t as tableColumnSet } from './helpers-BySnKhVB.mjs';
3
3
 
4
4
  const indexReferencesUnknownField = {
5
5
  categories: ["SCHEMA"],
@@ -0,0 +1,26 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const insertManyUnsafeUserData = {
4
+ categories: ["SECURITY"],
5
+ description: "A public procedure calls `ctx.db.insertManyUnsafe(...)`, which writes rows straight to storage and bypasses both the per-row validators and the schema's insert triggers (server-trusted columns, ownership stamping, RLS write checks). On a public entry point the rows are request-shaped, so a caller can write columns they shouldn't control and skip every trigger-enforced invariant.",
6
+ facing: "EXTERNAL",
7
+ level: "WARN",
8
+ name: "insert_many_unsafe_user_data",
9
+ remediation: "Use the validated `ctx.db.insert(...)` path in public procedures so validators and insert triggers run. If you need the unsafe bulk write, move it into an internal function (`internalMutation`/`internalAction`) that is fed only server-constructed rows, never request input.",
10
+ run: (context) => {
11
+ if (context.procedureProtections === void 0) {
12
+ return [];
13
+ }
14
+ return context.procedureProtections.filter((procedure) => procedure.usesInsertManyUnsafe && procedure.visibility === "public").map(
15
+ (procedure) => emit(insertManyUnsafeUserData, {
16
+ cacheKey: `insert_many_unsafe_user_data:${procedure.file}:${procedure.exportName}`,
17
+ detail: `\`${procedure.exportName}\` (${procedure.file}) is public and calls \`ctx.db.insertManyUnsafe(...)\`, bypassing validators and insert triggers on request-shaped rows. Switch to \`ctx.db.insert(...)\`, or move the bulk write into an internal function fed server-built rows.`,
18
+ metadata: { exportName: procedure.exportName, file: procedure.file, kind: procedure.kind }
19
+ })
20
+ );
21
+ },
22
+ source: "static",
23
+ title: "Public procedure uses insertManyUnsafe (bypasses validators and triggers)"
24
+ };
25
+
26
+ export { insertManyUnsafeUserData as default };
@@ -0,0 +1,19 @@
1
+ import { m as makeArgumentDerivedSinkLint } from './argument-derived-sink-C1xTTqAt.mjs';
2
+
3
+ const kvUnscopedUserKeyIdor = makeArgumentDerivedSinkLint({
4
+ cacheKey: (access) => `kv_unscoped_user_key_idor:${access.file}:${access.line.toString()}`,
5
+ categories: ["SECURITY"],
6
+ description: "A `ctx.kv` read/write uses a namespace key derived from the handler's `args` with no server-side scoping. Workers KV is a flat namespace, so an unscoped key lets any caller read, overwrite, or delete another user's entry — an insecure direct object reference (IDOR).",
7
+ detail: (access) => `\`ctx.kv.${access.method}\` in \`${access.exportName}\` (${access.file}:${access.line.toString()}) uses a KV key derived from \`args\` with no server-side scoping — any caller can read/overwrite/delete another user's entry (IDOR). Prefix the key with a server-trusted identity (e.g. \`\${ctx.auth.userId}:…\`).`,
8
+ facing: "EXTERNAL",
9
+ getAccesses: (context) => context.kvKeyAccesses,
10
+ level: "ERROR",
11
+ metadata: (access) => {
12
+ return { exportName: access.exportName, file: access.file, line: access.line, method: access.method };
13
+ },
14
+ name: "kv_unscoped_user_key_idor",
15
+ remediation: `Prefix every \`ctx.kv\` key with a server-trusted identity (e.g. \`\${ctx.auth.userId}:\${args.id}\`) so a caller can only address their own entries. Never pass request input straight to \`ctx.kv.get\`/\`put\`/\`delete\`.`,
16
+ title: "Possible IDOR from arg-derived unscoped KV key"
17
+ });
18
+
19
+ export { kvUnscopedUserKeyIdor as default };
@@ -0,0 +1,28 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const mailInboundDispatchWithoutVerify = {
4
+ categories: ["SECURITY"],
5
+ description: "`createInboundEmailHandler({...})` has no `verify` hook, so it trusts every inbound message — the `from` address is spoofable and DKIM/SPF/DMARC verdicts go unchecked. If the handler dispatches into a Lunora function (admin bearer, RLS disabled), a forged sender can drive privileged writes (a confused-deputy escalation).",
6
+ facing: "EXTERNAL",
7
+ level: "ERROR",
8
+ // eslint-disable-next-line no-secrets/no-secrets -- the lint's rule id, not a credential
9
+ name: "mail_inbound_dispatch_without_verify",
10
+ remediation: "Pass a `verify` hook to `createInboundEmailHandler({...})` that rejects the message unless its DKIM/SPF/DMARC authentication verdicts pass and the sender is expected — before any dispatch into a Lunora function. Never trust the `from` header alone.",
11
+ run: (context) => {
12
+ if (context.configCalls === void 0) {
13
+ return [];
14
+ }
15
+ return context.configCalls.filter((call) => call.callee === "createInboundEmailHandler" && call.analyzable && !call.presentKeys.includes("verify")).map(
16
+ (call) => emit(mailInboundDispatchWithoutVerify, {
17
+ // eslint-disable-next-line no-secrets/no-secrets -- the lint's rule id, not a credential
18
+ cacheKey: `mail_inbound_dispatch_without_verify:${call.file}:${call.line.toString()}`,
19
+ detail: `\`createInboundEmailHandler({...})\` in ${call.file}:${call.line.toString()} has no \`verify\` hook — it trusts the spoofable \`from\` address and unchecked DKIM/SPF/DMARC verdicts. A forged sender can then reach whatever the handler dispatches to (a Lunora function runs with the admin bearer and RLS disabled). Add a \`verify\` gate that enforces the authentication verdicts before dispatch.`,
20
+ metadata: { callee: call.callee, file: call.file, line: call.line }
21
+ })
22
+ );
23
+ },
24
+ source: "static",
25
+ title: "Inbound email handler without a verify hook"
26
+ };
27
+
28
+ export { mailInboundDispatchWithoutVerify as default };
@@ -0,0 +1,26 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const mailRecipientFromRequestInput = {
4
+ categories: ["SECURITY"],
5
+ description: "A `ctx.mail`/`ctx.email` `send`/`queue` call sets a recipient field (to/cc/bcc) from the handler's `args` with no server-side scoping. Sending to an address taken straight from request input turns the deployment into an open relay / spam amplifier.",
6
+ facing: "EXTERNAL",
7
+ level: "WARN",
8
+ name: "mail_recipient_from_request_input",
9
+ remediation: "Derive recipients from server-trusted state (e.g. the authenticated user's own record via `ctx.auth`), never straight from `args`. If user-chosen recipients are intended, gate the path behind authentication and rate limiting.",
10
+ run: (context) => {
11
+ if (context.mailRecipientAccesses === void 0) {
12
+ return [];
13
+ }
14
+ return context.mailRecipientAccesses.map(
15
+ (access) => emit(mailRecipientFromRequestInput, {
16
+ cacheKey: `mail_recipient_from_request_input:${access.file}:${access.line.toString()}`,
17
+ detail: `\`ctx.mail.${access.method}\` in \`${access.exportName}\` (${access.file}:${access.line.toString()}) sets a recipient field (to/cc/bcc) derived from \`args\` with no server-side scoping — any caller can direct mail to an arbitrary address (open relay / spam amplifier). Derive the recipient from server-trusted state instead (e.g. \`ctx.auth.user.email\`).`,
18
+ metadata: { exportName: access.exportName, file: access.file, line: access.line, method: access.method }
19
+ })
20
+ );
21
+ },
22
+ source: "static",
23
+ title: "Mail recipient derived from request input"
24
+ };
25
+
26
+ export { mailRecipientFromRequestInput as default };
@@ -0,0 +1,35 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const PII_COLUMN_RE = /address|birthdate|creditcard|dateofbirth|dob|driverslicense|email|firstname|fullname|lastname|nationalid|passport|phone|socialsecurity|ssn|taxid/u;
4
+ const isPiiColumn = (column) => PII_COLUMN_RE.test(column.replaceAll(/[^a-z0-9]/giu, "").toLowerCase());
5
+ const maskWeakHashStrategyOnPii = {
6
+ categories: ["SECURITY"],
7
+ description: 'A `mask(policies)` column named like PII (email, SSN, phone, …) uses the `"hash"` strategy. `"hash"` is an unsalted 32-bit FNV-1a digest — brute-force-recoverable and cross-row-correlatable — not a confidentiality control, so it does not actually hide the value.',
8
+ facing: "EXTERNAL",
9
+ level: "WARN",
10
+ name: "mask_weak_hash_strategy_on_pii",
11
+ remediation: 'Use `"redact"` instead of `"hash"` for this column — e.g. `mask({ <table>: { <column>: "redact" } })`. Reserve `"hash"` for columns where a stable, joinable pseudonym is the goal and the value itself is not sensitive.',
12
+ run: (context) => {
13
+ if (context.maskStrategies === void 0) {
14
+ return [];
15
+ }
16
+ const findings = [];
17
+ for (const strategy of context.maskStrategies) {
18
+ if (strategy.strategy !== "hash" || !isPiiColumn(strategy.column)) {
19
+ continue;
20
+ }
21
+ findings.push(
22
+ emit(maskWeakHashStrategyOnPii, {
23
+ cacheKey: `mask_weak_hash_strategy_on_pii:${strategy.file}:${strategy.line.toString()}`,
24
+ detail: `\`${strategy.exportName}\` in ${strategy.file} masks \`${strategy.table === "" ? strategy.column : `${strategy.table}.${strategy.column}`}\` with \`"hash"\` — its name suggests PII, and \`"hash"\` is brute-force-recoverable and leaks cross-row equality. Use \`"redact"\` instead.`,
25
+ metadata: { column: strategy.column, exportName: strategy.exportName, file: strategy.file, table: strategy.table }
26
+ })
27
+ );
28
+ }
29
+ return findings;
30
+ },
31
+ source: "static",
32
+ title: 'Weak "hash" mask strategy on a PII column'
33
+ };
34
+
35
+ export { maskWeakHashStrategyOnPii as default };
@@ -0,0 +1,76 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const maskedTablesOf = (context) => {
4
+ const tables = /* @__PURE__ */ new Set();
5
+ for (const procedure of context.maskProcedures ?? []) {
6
+ for (const { table } of procedure.maskColumns) {
7
+ if (table !== "") {
8
+ tables.add(table);
9
+ }
10
+ }
11
+ }
12
+ for (const strategy of context.maskStrategies ?? []) {
13
+ if (strategy.table !== "") {
14
+ tables.add(strategy.table);
15
+ }
16
+ }
17
+ return tables;
18
+ };
19
+ const relationTargetsOf = (context) => {
20
+ const targets = /* @__PURE__ */ new Map();
21
+ for (const table of context.schema.tables) {
22
+ for (const relation of table.relations) {
23
+ targets.set(`${table.name} ${relation.name}`, relation.table);
24
+ }
25
+ }
26
+ return targets;
27
+ };
28
+ const maskedRelationLeakViaWith = {
29
+ categories: ["SECURITY"],
30
+ description: "A public read hydrates a masked table through a `with` relation. Column masking does not descend into `with`-hydrated relations, so the related table's masked columns are returned in the clear.",
31
+ facing: "EXTERNAL",
32
+ level: "INFO",
33
+ name: "masked_relation_leak_via_with",
34
+ remediation: "Don't hydrate a masked table through `with` on an unprotected read: drop the relation, project only non-sensitive columns, or route the parent read through a procedure that re-applies masking to the joined table. Masking is per-procedure and top-level only — it never reaches `with`-loaded relations.",
35
+ run: (context) => {
36
+ if (context.relationLoads === void 0) {
37
+ return [];
38
+ }
39
+ const maskedTables = maskedTablesOf(context);
40
+ if (maskedTables.size === 0) {
41
+ return [];
42
+ }
43
+ const relationTargets = relationTargetsOf(context);
44
+ const findings = [];
45
+ for (const row of context.relationLoads) {
46
+ if (row.visibility !== "public" || row.parentTable === "") {
47
+ continue;
48
+ }
49
+ for (const relation of row.relations) {
50
+ const target = relationTargets.get(`${row.parentTable} ${relation}`);
51
+ if (target === void 0 || !maskedTables.has(target)) {
52
+ continue;
53
+ }
54
+ findings.push(
55
+ emit(maskedRelationLeakViaWith, {
56
+ cacheKey: `masked_relation_leak_via_with:${row.file}:${row.line.toString()}:${row.parentTable}:${relation}`,
57
+ detail: `The public read in \`${row.exportName}\` (${row.file}:${row.line.toString()}) hydrates relation \`${relation}\` (masked table \`${target}\`) via \`with\` on \`${row.parentTable}\`. Masking is top-level only and does not descend into \`with\`, so \`${target}\`'s masked columns are returned in the clear.`,
58
+ metadata: {
59
+ exportName: row.exportName,
60
+ file: row.file,
61
+ line: row.line,
62
+ parentTable: row.parentTable,
63
+ relation,
64
+ relationTable: target
65
+ }
66
+ })
67
+ );
68
+ }
69
+ }
70
+ return findings;
71
+ },
72
+ source: "static",
73
+ title: "Masked table surfaced unmasked through a with-relation on a public read"
74
+ };
75
+
76
+ export { maskedRelationLeakViaWith as default };
@@ -0,0 +1,26 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const mutatorFullRowReplace = {
4
+ categories: ["SCHEMA"],
5
+ description: "A custom mutator's `server` impl writes with `ctx.db.replace(id, document)` — a whole-row overwrite. On a synced table this clobbers a concurrent edit to a different column; `ctx.db.patch(id, { field })` merges at the column level so independent field edits coexist.",
6
+ facing: "EXTERNAL",
7
+ level: "WARN",
8
+ name: "mutator_full_row_replace",
9
+ remediation: "Prefer `ctx.db.patch(id, { onlyTheChangedField })` so a concurrent edit to another column isn't lost. Keep `replace` only when the mutator genuinely owns the entire row (e.g. a full-form save).",
10
+ run: (context) => {
11
+ if (context.mutatorWrites === void 0) {
12
+ return [];
13
+ }
14
+ return context.mutatorWrites.map(
15
+ (write) => emit(mutatorFullRowReplace, {
16
+ cacheKey: `mutator_full_row_replace:${write.exportName}:${String(write.line)}`,
17
+ detail: `Mutator \`${write.exportName}\` (${write.file}:${String(write.line)}) writes with \`ctx.db.replace(...)\`, overwriting the whole row. A concurrent edit to a different column is clobbered — use \`ctx.db.patch(id, { field })\` to merge at the column level.`,
18
+ metadata: { exportName: write.exportName, file: write.file, line: write.line }
19
+ })
20
+ );
21
+ },
22
+ source: "static",
23
+ title: "Mutator overwrites the whole row (clobbers concurrent column edits)"
24
+ };
25
+
26
+ export { mutatorFullRowReplace as default };
@@ -0,0 +1,50 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const SINK_LABELS = {
4
+ delete: "deletes the row",
5
+ get: "reads the row",
6
+ patch: "patches the row"
7
+ };
8
+ const normalizeIdUsedAsAuthorization = {
9
+ categories: ["SECURITY"],
10
+ description: "A `.public()` `query`/`mutation` gates a `ctx.db.get`/`patch`/`delete` on a null-checked `ctx.db.normalizeId(table, id)` result with no ownership predicate and no RLS. `normalizeId` validates id *shape* only — it never reads the database — so a non-null result proves the id is well-formed, never that the caller owns the row (an IDOR).",
11
+ facing: "EXTERNAL",
12
+ level: "INFO",
13
+ name: "normalize_id_used_as_authorization",
14
+ remediation: 'Don\'t treat a non-null `normalizeId` result as authorization — it only validates id shape. After loading the row, compare its ownership column (`userId`/`ownerId`/…) against the server-trusted identity (`ctx.auth.userId`), or protect the procedure with `.use(rls(...))` / put the schema in `.rls("required")` mode so the row policy runs on every access.',
15
+ run: (context) => {
16
+ if (context.normalizeIdAuthorizations === void 0) {
17
+ return [];
18
+ }
19
+ const rlsRequired = context.schema.rlsMode === "required";
20
+ const rlsOptOutTables = new Set(context.schema.tables.filter((table) => table.isPublic).map((table) => table.name));
21
+ const findings = [];
22
+ for (const row of context.normalizeIdAuthorizations) {
23
+ if (row.visibility !== "public" || row.usesRls || row.mentionsOwnership) {
24
+ continue;
25
+ }
26
+ if (rlsRequired && (row.table === "" || !rlsOptOutTables.has(row.table))) {
27
+ continue;
28
+ }
29
+ const target = row.table === "" ? "the row" : `the \`${row.table}\` row`;
30
+ findings.push(
31
+ emit(normalizeIdUsedAsAuthorization, {
32
+ cacheKey: `normalize_id_used_as_authorization:${row.file}:${row.line.toString()}`,
33
+ detail: `Public procedure \`${row.exportName}\` (${row.file}:${row.line.toString()}) gates access on \`ctx.db.normalizeId(...)\` and then ${SINK_LABELS[row.sinkMethod]} — but \`normalizeId\` only validates id shape, it never reads the database or checks ownership. Any caller supplying a well-formed id of ${target} reaches it (IDOR). Compare the loaded row's ownership column against \`ctx.auth\`, or cover the procedure with \`.use(rls(...))\`.`,
34
+ metadata: {
35
+ exportName: row.exportName,
36
+ file: row.file,
37
+ line: row.line,
38
+ sinkMethod: row.sinkMethod,
39
+ table: row.table
40
+ }
41
+ })
42
+ );
43
+ }
44
+ return findings;
45
+ },
46
+ source: "static",
47
+ title: "normalizeId result used as authorization (validates id shape, not ownership)"
48
+ };
49
+
50
+ export { normalizeIdUsedAsAuthorization as default };
@@ -0,0 +1,51 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+ import { P as PII_FIELD_NAMES } from './helpers-BySnKhVB.mjs';
3
+
4
+ const outputProjectionMissingOnPublicRead = {
5
+ categories: ["SECURITY"],
6
+ description: "A `.public()` `query` returns raw table rows (no `.output(...)` projection, no `.use(mask(...))`) from a table carrying PII-named columns (`email`, `phone`, `ssn`, …). Every column ships to the caller, and a column added to the table later leaks by default.",
7
+ facing: "EXTERNAL",
8
+ level: "INFO",
9
+ name: "output_projection_missing_on_public_read",
10
+ remediation: "Add an explicit return projection to the public query — `.output(v.object({ … }))` listing only the fields a client needs — or apply a `.use(mask(...))` policy to the PII columns. This makes the exposed shape intentional and stops a newly-added column from leaking through this query by default.",
11
+ run: (context) => {
12
+ if (context.rawRowReturns === void 0) {
13
+ return [];
14
+ }
15
+ const piiColumnsByTable = /* @__PURE__ */ new Map();
16
+ for (const table of context.schema.tables) {
17
+ const piiColumns = table.fields.filter((field) => PII_FIELD_NAMES.has(field));
18
+ if (piiColumns.length > 0) {
19
+ piiColumnsByTable.set(table.name, piiColumns);
20
+ }
21
+ }
22
+ const findings = [];
23
+ for (const row of context.rawRowReturns) {
24
+ if (row.visibility !== "public" || row.usesOutput || row.usesMask || row.table === "") {
25
+ continue;
26
+ }
27
+ const piiColumns = piiColumnsByTable.get(row.table);
28
+ if (piiColumns === void 0) {
29
+ continue;
30
+ }
31
+ findings.push(
32
+ emit(outputProjectionMissingOnPublicRead, {
33
+ cacheKey: `output_projection_missing_on_public_read:${row.file}:${row.line.toString()}`,
34
+ detail: `Public query \`${row.exportName}\` (${row.file}:${row.line.toString()}) returns raw \`${row.table}\` rows with no \`.output(...)\` projection — shipping PII column(s) ${piiColumns.join(", ")} to every caller, and any column added to \`${row.table}\` later leaks by default. Project the return with \`.output(v.object({ … }))\` or mask the PII columns.`,
35
+ metadata: {
36
+ columns: piiColumns,
37
+ exportName: row.exportName,
38
+ file: row.file,
39
+ line: row.line,
40
+ table: row.table
41
+ }
42
+ })
43
+ );
44
+ }
45
+ return findings;
46
+ },
47
+ source: "static",
48
+ title: "Public query returns raw rows with PII and no output projection"
49
+ };
50
+
51
+ export { outputProjectionMissingOnPublicRead as default };
@@ -0,0 +1,26 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const ownerFieldFromArgsNotAuth = {
4
+ categories: ["SECURITY"],
5
+ description: "A `ctx.db` write sets an ownership/identity column (`userId`, `ownerId`, `tenantId`, …) from the handler's `args`. The caller controls who the row belongs to, so any caller can write rows owned by another user or tenant — an act-as-any-user / cross-tenant IDOR.",
6
+ facing: "EXTERNAL",
7
+ level: "ERROR",
8
+ name: "owner_field_from_args_not_auth",
9
+ remediation: "Stamp the ownership column from the server-trusted identity (`ctx.auth.userId` / `ctx.identity`), never from request input. Drop the field from the accepted `args` so a caller cannot supply it.",
10
+ run: (context) => {
11
+ if (context.ownerFieldWrites === void 0) {
12
+ return [];
13
+ }
14
+ return context.ownerFieldWrites.map(
15
+ (write) => emit(ownerFieldFromArgsNotAuth, {
16
+ cacheKey: `owner_field_from_args_not_auth:${write.file}:${write.line.toString()}:${write.field}`,
17
+ detail: `\`${write.method}\` in \`${write.exportName}\` (${write.file}:${write.line.toString()}) sets the ownership field \`${write.field}\` from \`args\` instead of the server-trusted identity — any caller can write rows owned by another user/tenant (IDOR). Stamp \`${write.field}\` from \`ctx.auth\`/\`ctx.identity\`, never from request input.`,
18
+ metadata: { exportName: write.exportName, field: write.field, file: write.file, line: write.line, method: write.method }
19
+ })
20
+ );
21
+ },
22
+ source: "static",
23
+ title: "Ownership field written from args, not server identity"
24
+ };
25
+
26
+ export { ownerFieldFromArgsNotAuth as default };
@@ -0,0 +1,26 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const paymentCreateWithoutAuthorize = {
4
+ categories: ["SECURITY"],
5
+ description: "`createPayment({...})` was constructed without an `authorize` callback, so its access-control gate never runs — any caller that reaches a payment reference id can drive a charge, refund, or subscription change against it (a broken-access-control / IDOR risk on money movement).",
6
+ facing: "EXTERNAL",
7
+ level: "ERROR",
8
+ name: "payment_create_without_authorize",
9
+ remediation: "Pass an `authorize(referenceId)` callback to `createPayment({...})` that verifies the current caller (via `ctx.auth`) owns the payment/subscription reference before the operation runs. Prefer the `ctx.payments` accessor, which is authorization-scoped by default.",
10
+ run: (context) => {
11
+ if (context.configCalls === void 0) {
12
+ return [];
13
+ }
14
+ return context.configCalls.filter((call) => call.callee === "createPayment" && call.analyzable && !call.presentKeys.includes("authorize")).map(
15
+ (call) => emit(paymentCreateWithoutAuthorize, {
16
+ cacheKey: `payment_create_without_authorize:${call.file}:${call.line.toString()}`,
17
+ detail: `\`createPayment({...})\` in ${call.file}:${call.line.toString()} has no \`authorize\` callback — its access-control gate never runs, so any caller reaching the payment reference can move money against it. Add an \`authorize(referenceId)\` gate that checks \`ctx.auth\` ownership before the operation.`,
18
+ metadata: { callee: call.callee, file: call.file, line: call.line }
19
+ })
20
+ );
21
+ },
22
+ source: "static",
23
+ title: "createPayment without an authorize gate"
24
+ };
25
+
26
+ export { paymentCreateWithoutAuthorize as default };
@@ -0,0 +1,35 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const WIDE_TOLERANCE_THRESHOLD_SECONDS = 60 * 60;
4
+ const paymentWebhookWideTolerance = {
5
+ categories: ["SECURITY"],
6
+ description: "A payment webhook adapter configured with an implausibly wide `webhookToleranceSeconds` (over an hour). The timestamp tolerance is the webhook replay window; widening it far past the 300s default keeps captured signed events replayable long after capture, defeating the replay check.",
7
+ facing: "EXTERNAL",
8
+ level: "WARN",
9
+ name: "payment_webhook_wide_tolerance",
10
+ remediation: "Keep `webhookToleranceSeconds` at or near the 300s default — just enough for clock skew. If a wide window was set to work around retries or backfills, handle those with idempotency on the event id instead, not by loosening the replay-window guard.",
11
+ run: (context) => {
12
+ if (context.paymentWebhooks === void 0) {
13
+ return [];
14
+ }
15
+ const isWide = (row) => row.toleranceSeconds !== void 0 && row.toleranceSeconds >= WIDE_TOLERANCE_THRESHOLD_SECONDS;
16
+ return context.paymentWebhooks.filter((row) => isWide(row)).map((row) => {
17
+ const location = `\`${row.exportName}\` (${row.file}:${row.line.toString()})`;
18
+ return emit(paymentWebhookWideTolerance, {
19
+ cacheKey: `payment_webhook_wide_tolerance:${row.file}:${row.line.toString()}`,
20
+ detail: `\`${row.callee}\` in ${location} sets \`webhookToleranceSeconds\` to ${(row.toleranceSeconds ?? 0).toString()}s (default 300s). That replay window keeps captured signed events valid long after capture.`,
21
+ metadata: {
22
+ callee: row.callee,
23
+ exportName: row.exportName,
24
+ file: row.file,
25
+ line: row.line,
26
+ toleranceSeconds: row.toleranceSeconds
27
+ }
28
+ });
29
+ });
30
+ },
31
+ source: "static",
32
+ title: "Payment webhook replay-tolerance window is implausibly wide"
33
+ };
34
+
35
+ export { paymentWebhookWideTolerance as default };
@@ -0,0 +1,35 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const plaintextSecretInWranglerVariables = {
4
+ categories: ["SECURITY"],
5
+ description: "A plaintext secret is committed to `wrangler.jsonc`'s `vars` block. `vars` are cleartext — baked into the deployed Worker and checked into source control — so the secret leaks via the repo and the bundle, and rotating it needs a config edit plus a redeploy.",
6
+ facing: "INTERNAL",
7
+ level: "ERROR",
8
+ name: "plaintext_secret_in_wrangler_vars",
9
+ remediation: "Move the value out of `vars`: bind it through a Secrets Store (`ctx.secrets.get(<NAME>)`) or set it with `wrangler secret put <NAME>` and read it from `env.<NAME>`. Delete the `vars` entry and rotate the exposed value — assume it is already compromised. Public/publishable keys (name them `*_PUBLIC` / `*_PUBLISHABLE`) are exempt.",
10
+ run: (context) => {
11
+ if (context.wranglerVariables === void 0) {
12
+ return [];
13
+ }
14
+ const findings = [];
15
+ const occurrenceCount = /* @__PURE__ */ new Map();
16
+ for (const wranglerVariable of context.wranglerVariables) {
17
+ const baseKey = `${wranglerVariable.file}:${wranglerVariable.key}`;
18
+ const occurrence = (occurrenceCount.get(baseKey) ?? 0) + 1;
19
+ occurrenceCount.set(baseKey, occurrence);
20
+ const occurrenceSuffix = occurrence > 1 ? `:${occurrence.toString()}` : "";
21
+ findings.push(
22
+ emit(plaintextSecretInWranglerVariables, {
23
+ cacheKey: `plaintext_secret_in_wrangler_vars:${baseKey}${occurrenceSuffix}`,
24
+ detail: `The \`vars\` entry \`${wranglerVariable.key}\` in ${wranglerVariable.file} holds a plaintext ${wranglerVariable.kind.replaceAll("_", " ")} (${wranglerVariable.preview}). \`vars\` ship in cleartext to the deployed Worker and are committed to source control — move it to a Secrets Store binding or \`wrangler secret put\` and rotate the exposed value.`,
25
+ metadata: { file: wranglerVariable.file, key: wranglerVariable.key, kind: wranglerVariable.kind, preview: wranglerVariable.preview }
26
+ })
27
+ );
28
+ }
29
+ return findings;
30
+ },
31
+ source: "static",
32
+ title: "Plaintext secret in wrangler vars"
33
+ };
34
+
35
+ export { plaintextSecretInWranglerVariables as default };
@@ -0,0 +1,37 @@
1
+ import { e as emit } from './finding-Dm_zvzS1.mjs';
2
+
3
+ const privilegedDispatchUnvalidatedPayload = {
4
+ categories: ["SECURITY"],
5
+ description: "A `defineQueue`/`defineWorkflow` handler forwards its untrusted payload (queue body / workflow params) straight into a `ctx.run` dispatch whose target is RLS-gated. The handler runs under the system identity with RLS disabled, so the target's row policy — the only thing guarding it — is bypassed, letting a caller act as any user / write across tenants.",
6
+ facing: "EXTERNAL",
7
+ level: "ERROR",
8
+ name: "privileged_dispatch_unvalidated_payload",
9
+ remediation: "Don't forward an unchecked queue body / workflow param into an RLS-gated function. Re-derive the ownership/identity keys from server-trusted state (or an argument you validate against it) before dispatching, or route the work through a function that re-checks the caller's identity rather than relying on the row policy the privileged handler skips.",
10
+ run: (context) => {
11
+ if (context.privilegedDispatches === void 0) {
12
+ return [];
13
+ }
14
+ const rlsProcedures = context.rlsProcedures ?? [];
15
+ const targetUsesRls = (targetFile, targetExport) => rlsProcedures.some((procedure) => procedure.usesRls && procedure.file === targetFile && procedure.exportName === targetExport);
16
+ return context.privilegedDispatches.filter((dispatch) => targetUsesRls(dispatch.targetFile, dispatch.targetExport)).map((dispatch) => {
17
+ const handlerKind = dispatch.dispatchKind === "queue" ? "queue" : "workflow";
18
+ const payloadSource = dispatch.dispatchKind === "queue" ? "queue message body" : "workflow params";
19
+ return emit(privilegedDispatchUnvalidatedPayload, {
20
+ cacheKey: `privileged_dispatch_unvalidated_payload:${dispatch.file}:${dispatch.line.toString()}`,
21
+ detail: `The ${handlerKind} handler \`${dispatch.handlerExport}\` (${dispatch.file}:${dispatch.line.toString()}) forwards its untrusted ${payloadSource} straight into \`${dispatch.targetFile}.${dispatch.targetExport}\`, which is guarded by \`.use(rls(...))\`. The handler runs under the system identity with RLS disabled, so the target's row policy is bypassed — any ownership/identity field the payload controls lets a caller act as another user or write across tenants. Re-derive the identity keys from server-trusted state before dispatching, or route through a function that re-checks the caller.`,
22
+ metadata: {
23
+ dispatchKind: dispatch.dispatchKind,
24
+ file: dispatch.file,
25
+ handlerExport: dispatch.handlerExport,
26
+ line: dispatch.line,
27
+ targetExport: dispatch.targetExport,
28
+ targetFile: dispatch.targetFile
29
+ }
30
+ });
31
+ });
32
+ },
33
+ source: "static",
34
+ title: "Privileged handler forwards untrusted payload into an RLS-gated function"
35
+ };
36
+
37
+ export { privilegedDispatchUnvalidatedPayload as default };