@aotter/mantle 0.1.5-alpha.1 → 0.2.0-alpha.10

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 (495) hide show
  1. package/README.md +166 -298
  2. package/dist/auth/adapter.d.ts +32 -0
  3. package/dist/auth/adapter.js +288 -0
  4. package/dist/auth/admin.d.ts +3 -0
  5. package/dist/auth/admin.js +21 -0
  6. package/dist/auth/caller.d.ts +86 -0
  7. package/dist/auth/caller.js +155 -0
  8. package/dist/auth/hardening.d.ts +24 -0
  9. package/dist/auth/hardening.js +40 -0
  10. package/dist/auth/identity.d.ts +121 -0
  11. package/dist/auth/identity.js +203 -0
  12. package/dist/auth/oauth.d.ts +63 -0
  13. package/dist/auth/oauth.js +217 -0
  14. package/dist/auth/resource-seeds.js +10 -0
  15. package/dist/auth/routes.d.ts +32 -0
  16. package/dist/auth/routes.js +226 -0
  17. package/dist/build/compiler.d.ts +721 -0
  18. package/dist/build/compiler.js +7029 -0
  19. package/dist/build/spec/domain/model/ManifestGrammar.d.ts +439 -0
  20. package/dist/build/spec/domain/model/RuntimePlan.d.ts +168 -0
  21. package/dist/build/spec/domain/model/SqlIr.d.ts +129 -0
  22. package/dist/build/spec/domain/model/UserFields.d.ts +21 -0
  23. package/dist/build/spec/domain/service/PlanFingerprint.d.ts +7 -0
  24. package/dist/build/spec/kernel/diagnostic.d.ts +108 -0
  25. package/dist/bun/assets.d.ts +2 -0
  26. package/dist/bun/assets.js +24 -0
  27. package/dist/domain/adminOrder.js +24 -0
  28. package/dist/domain/columns.js +57 -0
  29. package/dist/domain/describe/chunk-ZVXBGP7Y.js +424 -0
  30. package/dist/domain/describe/index.d.ts +58 -0
  31. package/dist/domain/describe/index.js +115 -0
  32. package/dist/domain/describe/target-hash.d.ts +8 -0
  33. package/dist/domain/describe/target-hash.js +12 -0
  34. package/dist/domain/describe/targets.d.ts +40 -0
  35. package/dist/domain/entry.js +33 -0
  36. package/dist/domain/generated-tools.js +19 -0
  37. package/dist/domain/generation.d.ts +16 -0
  38. package/dist/domain/generation.js +1 -0
  39. package/dist/domain/input.js +17 -0
  40. package/dist/domain/model.js +1 -0
  41. package/dist/domain/paging.js +230 -0
  42. package/dist/domain/recipes.js +24 -0
  43. package/dist/domain/userReferences.js +5 -0
  44. package/dist/domain/wireScalars.js +47 -0
  45. package/dist/infrastructure/adminEntries.js +153 -0
  46. package/dist/infrastructure/adminPaging.js +72 -0
  47. package/dist/infrastructure/artifacts.js +71 -0
  48. package/dist/infrastructure/authSchema.js +83 -0
  49. package/dist/infrastructure/bundle.js +188 -0
  50. package/dist/infrastructure/cli.js +118 -0
  51. package/dist/infrastructure/generate.d.ts +12 -0
  52. package/dist/infrastructure/generate.js +189 -0
  53. package/dist/infrastructure/generateAuth.d.ts +8 -0
  54. package/dist/infrastructure/generateAuth.js +74 -0
  55. package/dist/infrastructure/help.js +60 -0
  56. package/dist/infrastructure/init.js +54 -0
  57. package/dist/infrastructure/inputs.js +41 -0
  58. package/dist/infrastructure/mounts.js +25 -0
  59. package/dist/infrastructure/wrangler.js +109 -0
  60. package/dist/kernel/authorization.d.ts +4 -0
  61. package/dist/kernel/authorization.js +16 -0
  62. package/dist/kernel/binds.d.ts +60 -0
  63. package/dist/kernel/binds.js +49 -0
  64. package/dist/kernel/caller-identity.d.ts +24 -0
  65. package/dist/kernel/caller-identity.js +22 -0
  66. package/dist/kernel/contract-error.d.ts +12 -0
  67. package/dist/kernel/contract-error.js +14 -0
  68. package/dist/kernel/contracts.d.ts +143 -0
  69. package/dist/kernel/contracts.js +97 -0
  70. package/dist/kernel/cron.d.ts +1 -0
  71. package/dist/kernel/cron.js +58 -0
  72. package/dist/kernel/dialect/common.d.ts +38 -0
  73. package/dist/kernel/dialect/common.js +6 -0
  74. package/dist/kernel/dialect/postgres.d.ts +16 -0
  75. package/dist/kernel/dialect/postgres.js +18 -0
  76. package/dist/kernel/dialect/sqlite.d.ts +20 -0
  77. package/dist/kernel/dialect/sqlite.js +34 -0
  78. package/dist/kernel/drain.d.ts +5 -0
  79. package/dist/kernel/drain.js +35 -0
  80. package/dist/kernel/driver/bun-sqlite.d.ts +19 -0
  81. package/dist/kernel/driver/bun-sqlite.js +77 -0
  82. package/dist/kernel/driver/d1.d.ts +24 -0
  83. package/dist/kernel/driver/d1.js +22 -0
  84. package/dist/kernel/driver/postgres.d.ts +25 -0
  85. package/dist/kernel/driver/postgres.js +99 -0
  86. package/dist/kernel/driver/transaction-context.d.ts +10 -0
  87. package/dist/kernel/driver/transaction-context.js +29 -0
  88. package/dist/kernel/email.d.ts +28 -0
  89. package/dist/kernel/email.js +38 -0
  90. package/dist/kernel/host-access.d.ts +10 -0
  91. package/dist/kernel/host-access.js +65 -0
  92. package/dist/kernel/host-caller.d.ts +39 -0
  93. package/dist/kernel/host-caller.js +56 -0
  94. package/dist/kernel/json-body.d.ts +4 -0
  95. package/dist/kernel/json-body.js +44 -0
  96. package/dist/kernel/mcp-apps.d.ts +69 -0
  97. package/dist/kernel/mcp-apps.js +40 -0
  98. package/dist/kernel/mcp-call.d.ts +5 -0
  99. package/dist/kernel/mcp-call.js +25 -0
  100. package/dist/kernel/mcp-handler.js +371 -0
  101. package/dist/kernel/mcp.d.ts +110 -0
  102. package/dist/kernel/mcp.js +50 -0
  103. package/dist/kernel/media.d.ts +27 -0
  104. package/dist/kernel/media.js +216 -0
  105. package/dist/kernel/paging.d.ts +55 -0
  106. package/dist/kernel/paging.js +95 -0
  107. package/dist/kernel/publishing.d.ts +4 -0
  108. package/dist/kernel/publishing.js +16 -0
  109. package/dist/kernel/r2-media.d.ts +42 -0
  110. package/dist/kernel/r2-media.js +78 -0
  111. package/dist/kernel/rest-dispatch.js +38 -0
  112. package/dist/kernel/rest-router.js +64 -0
  113. package/dist/kernel/rest.d.ts +58 -0
  114. package/dist/kernel/rest.js +41 -0
  115. package/dist/kernel/scalars.d.ts +6 -0
  116. package/dist/kernel/scalars.js +44 -0
  117. package/dist/kernel/search.js +5 -0
  118. package/dist/kernel/site-types.d.ts +146 -0
  119. package/dist/kernel/site-types.js +1 -0
  120. package/dist/kernel/site.d.ts +39 -0
  121. package/dist/kernel/site.js +32 -0
  122. package/dist/kernel/store.d.ts +175 -0
  123. package/dist/kernel/store.js +269 -0
  124. package/dist/kernel/surface.d.ts +10 -0
  125. package/dist/kernel/surface.js +19 -0
  126. package/dist/kernel/sweep.d.ts +17 -0
  127. package/dist/kernel/sweep.js +27 -0
  128. package/dist/kernel/translations.d.ts +1 -0
  129. package/dist/kernel/translations.js +13 -0
  130. package/dist/kernel/user-caller.d.ts +31 -0
  131. package/dist/kernel/user-caller.js +67 -0
  132. package/dist/kernel/user-field-name.js +3 -0
  133. package/dist/kernel/user-fields.d.ts +35 -0
  134. package/dist/kernel/user-fields.js +81 -0
  135. package/dist/kernel/validation.d.ts +15 -0
  136. package/dist/kernel/validation.js +54 -0
  137. package/dist/kernel/web-gateway.js +68 -0
  138. package/dist/kernel/web-head.js +15 -0
  139. package/dist/kernel/web-index.js +40 -0
  140. package/dist/kernel/web-response.js +8 -0
  141. package/dist/kernel/web.d.ts +77 -0
  142. package/dist/kernel/web.js +124 -0
  143. package/dist/kernel/where.js +27 -0
  144. package/dist/testing/index.d.ts +1 -0
  145. package/dist/testing/index.js +1 -0
  146. package/dist/usecase/adminBindings.js +143 -0
  147. package/dist/usecase/adminClient.js +87 -0
  148. package/dist/usecase/adminDescriptors.js +107 -0
  149. package/dist/usecase/generate.js +166 -0
  150. package/dist/usecase/handlers.js +21 -0
  151. package/dist/usecase/mcp-media.js +17 -0
  152. package/dist/usecase/mcp.js +100 -0
  153. package/dist/usecase/paging.js +71 -0
  154. package/dist/usecase/publishing.js +63 -0
  155. package/dist/usecase/refusals.js +27 -0
  156. package/dist/usecase/rest.js +54 -0
  157. package/dist/usecase/search.js +7 -0
  158. package/dist/usecase/site.js +39 -0
  159. package/dist/usecase/stores.js +64 -0
  160. package/dist/usecase/tool-version.js +9 -0
  161. package/dist/usecase/translations.js +78 -0
  162. package/dist/usecase/ttl.js +20 -0
  163. package/dist/usecase/validation.js +241 -0
  164. package/dist/usecase/web.js +23 -0
  165. package/docs/examples/README.md +39 -18
  166. package/docs/examples/app-shell/.dev.vars.example +4 -0
  167. package/docs/examples/app-shell/README.md +121 -0
  168. package/docs/examples/app-shell/accept.mjs +91 -0
  169. package/docs/examples/app-shell/gitignore +7 -0
  170. package/docs/examples/app-shell/package.json +43 -0
  171. package/docs/examples/app-shell/pnpm-workspace.yaml +8 -0
  172. package/docs/examples/app-shell/smoke-kit.mjs +168 -0
  173. package/docs/examples/app-shell/src/auth.ts +58 -0
  174. package/docs/examples/app-shell/src/handlers.ts +5 -0
  175. package/docs/examples/app-shell/src/index.ts +4 -0
  176. package/docs/examples/app-shell/src/routes.ts +14 -0
  177. package/docs/examples/app-shell/src/schedule.ts +8 -0
  178. package/docs/examples/app-shell/src/service.ts +70 -0
  179. package/docs/examples/app-shell/src/sign-in.ts +41 -0
  180. package/docs/examples/app-shell/src/signup.ts +8 -0
  181. package/docs/examples/app-shell/tsconfig.json +26 -0
  182. package/docs/examples/app-shell/worker-configuration.d.ts +22 -0
  183. package/docs/examples/app-shell/wrangler.jsonc +62 -0
  184. package/docs/examples/club-events/README.md +65 -0
  185. package/docs/examples/club-events/manifests/club-events.yaml +247 -0
  186. package/docs/examples/club-events/smoke.mjs +127 -0
  187. package/docs/examples/club-events/src/handlers.ts +25 -0
  188. package/docs/examples/club-events/src/signup.ts +9 -0
  189. package/docs/examples/generated-web/README.md +78 -0
  190. package/docs/examples/generated-web/posts.yaml +38 -0
  191. package/docs/examples/generated-web/seed.sql +6 -0
  192. package/docs/examples/generated-web/src/worker.ts +43 -0
  193. package/docs/examples/generated-web/tsconfig.json +8 -0
  194. package/docs/examples/generated-web/wrangler.jsonc +8 -0
  195. package/docs/examples/purchasing/.dev.vars.example +6 -0
  196. package/docs/examples/purchasing/README.md +99 -0
  197. package/docs/examples/purchasing/manifests/purchasing.yaml +374 -0
  198. package/docs/examples/purchasing/seed.sql +4 -0
  199. package/docs/examples/purchasing/smoke.mjs +191 -0
  200. package/docs/examples/purchasing/src/admin.tsx +13 -0
  201. package/docs/examples/purchasing/src/handlers.ts +33 -0
  202. package/docs/examples/purchasing/src/notify.ts +29 -0
  203. package/docs/examples/purchasing/src/requests-page.ts +57 -0
  204. package/docs/examples/purchasing/src/routes.ts +53 -0
  205. package/docs/examples/purchasing/src/schedule.ts +31 -0
  206. package/docs/examples/purchasing/src/signup.ts +5 -0
  207. package/docs/examples/purchasing/src/supplier.ts +32 -0
  208. package/docs/examples/purchasing/wrangler.jsonc +69 -0
  209. package/docs/examples/recipes/README.md +60 -0
  210. package/docs/examples/recipes/manifests/recipes.yaml +75 -0
  211. package/docs/examples/recipes/smoke.mjs +102 -0
  212. package/docs/examples/recipes/src/media.ts +13 -0
  213. package/docs/examples/recipes/src/pages.ts +99 -0
  214. package/docs/examples/recipes/src/routes.ts +71 -0
  215. package/docs/examples/recipes/src/site-config.ts +12 -0
  216. package/docs/examples/recipes/wrangler.jsonc +74 -0
  217. package/docs/handbook/cloudflare/authentication.md +180 -322
  218. package/docs/handbook/cloudflare/chatgpt-sites.md +5 -23
  219. package/docs/handbook/cloudflare/deploy-and-operate.md +55 -77
  220. package/docs/handbook/cloudflare/media-r2.md +61 -205
  221. package/docs/handbook/cloudflare/service-entry.md +239 -0
  222. package/docs/handbook/concepts/authorization.md +10 -107
  223. package/docs/handbook/concepts/four-atoms.md +9 -168
  224. package/docs/handbook/concepts/lifecycle-and-locales.md +9 -132
  225. package/docs/handbook/concepts/mcp-and-agents.md +24 -121
  226. package/docs/handbook/concepts/procedures-and-triggers.md +5 -217
  227. package/docs/handbook/concepts/runtime-and-adapters.md +15 -169
  228. package/docs/handbook/concepts/views.md +10 -185
  229. package/docs/handbook/examples/hub.md +3 -8
  230. package/docs/handbook/guides/adapter-guide.md +11 -0
  231. package/docs/handbook/guides/admin-ui.md +115 -133
  232. package/docs/handbook/guides/agent-setup.md +64 -74
  233. package/docs/handbook/guides/agent-workflow-acceptance.md +232 -0
  234. package/docs/handbook/guides/email.md +86 -0
  235. package/docs/handbook/guides/local-testing.md +40 -0
  236. package/docs/handbook/guides/mcp-apps.md +560 -0
  237. package/docs/handbook/guides/native-admin.md +566 -0
  238. package/docs/handbook/guides/native-execution.md +133 -0
  239. package/docs/handbook/guides/oauth.md +219 -0
  240. package/docs/handbook/guides/postgres-adapters.md +56 -0
  241. package/docs/handbook/guides/public-pages.md +87 -0
  242. package/docs/handbook/guides/size-and-startup.md +9 -0
  243. package/docs/handbook/guides/sql-patterns.md +266 -0
  244. package/docs/handbook/guides/typed-queries.md +211 -107
  245. package/docs/handbook/navigation.json +176 -55
  246. package/docs/handbook/reference/admin-descriptors.md +53 -0
  247. package/docs/handbook/reference/authorization.md +39 -266
  248. package/docs/handbook/reference/describe.md +56 -0
  249. package/docs/handbook/reference/diagnostics.md +19 -186
  250. package/docs/handbook/reference/features.md +45 -55
  251. package/docs/handbook/reference/manifest.md +6 -129
  252. package/docs/handbook/reference/procedure.md +11 -303
  253. package/docs/handbook/reference/schema.md +64 -240
  254. package/docs/handbook/reference/site-config.md +5 -218
  255. package/docs/handbook/reference/sql.md +64 -0
  256. package/docs/handbook/reference/surface.md +392 -201
  257. package/docs/handbook/reference/trigger.md +56 -192
  258. package/docs/handbook/reference/view.md +24 -243
  259. package/docs/handbook/releases/index.md +244 -77
  260. package/docs/handbook/start/agents.md +45 -0
  261. package/docs/handbook/start/overview.md +9 -48
  262. package/docs/handbook/start/project-and-cli.md +51 -104
  263. package/docs/handbook/start/quickstart-worker.md +43 -178
  264. package/docs/skills/develop/SKILL.md +79 -249
  265. package/docs/skills/integrate/SKILL.md +39 -50
  266. package/docs/skills/media-gc/SKILL.md +34 -10
  267. package/docs/skills/provision/SKILL.md +36 -186
  268. package/docs/skills/update/SKILL.md +23 -38
  269. package/docs/source/scripts/postgres-adapter.ts +101 -0
  270. package/docs/upgrade-0.1-to-0.2.md +227 -0
  271. package/package.json +120 -131
  272. package/skills/README.md +48 -108
  273. package/skills/mantle/SKILL.md +76 -0
  274. package/dist/admin-ui.d.ts +0 -2
  275. package/dist/admin-ui.d.ts.map +0 -1
  276. package/dist/admin-ui.js +0 -2
  277. package/dist/admin-ui.js.map +0 -1
  278. package/dist/admin.d.ts +0 -2
  279. package/dist/admin.d.ts.map +0 -1
  280. package/dist/admin.js +0 -2
  281. package/dist/admin.js.map +0 -1
  282. package/dist/auth.d.ts +0 -2
  283. package/dist/auth.d.ts.map +0 -1
  284. package/dist/auth.js +0 -2
  285. package/dist/auth.js.map +0 -1
  286. package/dist/bun.d.ts +0 -2
  287. package/dist/bun.d.ts.map +0 -1
  288. package/dist/bun.js +0 -2
  289. package/dist/bun.js.map +0 -1
  290. package/dist/cli/generate-cloudflare.d.ts +0 -7
  291. package/dist/cli/generate-cloudflare.d.ts.map +0 -1
  292. package/dist/cli/generate-cloudflare.js +0 -123
  293. package/dist/cli/generate-cloudflare.js.map +0 -1
  294. package/dist/cli/generate-project.d.ts +0 -25
  295. package/dist/cli/generate-project.d.ts.map +0 -1
  296. package/dist/cli/generate-project.js +0 -282
  297. package/dist/cli/generate-project.js.map +0 -1
  298. package/dist/cli/generate-sites.d.ts +0 -8
  299. package/dist/cli/generate-sites.d.ts.map +0 -1
  300. package/dist/cli/generate-sites.js +0 -273
  301. package/dist/cli/generate-sites.js.map +0 -1
  302. package/dist/cli/generate.d.ts +0 -20
  303. package/dist/cli/generate.d.ts.map +0 -1
  304. package/dist/cli/generate.js +0 -299
  305. package/dist/cli/generate.js.map +0 -1
  306. package/dist/cli/harness.d.ts +0 -3
  307. package/dist/cli/harness.d.ts.map +0 -1
  308. package/dist/cli/harness.js +0 -214
  309. package/dist/cli/harness.js.map +0 -1
  310. package/dist/cli/main.d.ts +0 -3
  311. package/dist/cli/main.d.ts.map +0 -1
  312. package/dist/cli/main.js +0 -77
  313. package/dist/cli/main.js.map +0 -1
  314. package/dist/cli/skills.d.ts +0 -3
  315. package/dist/cli/skills.d.ts.map +0 -1
  316. package/dist/cli/skills.js +0 -128
  317. package/dist/cli/skills.js.map +0 -1
  318. package/dist/cloudflare.d.ts +0 -2
  319. package/dist/cloudflare.d.ts.map +0 -1
  320. package/dist/cloudflare.js +0 -2
  321. package/dist/cloudflare.js.map +0 -1
  322. package/dist/codegen/emitMantleModule.d.ts +0 -22
  323. package/dist/codegen/emitMantleModule.d.ts.map +0 -1
  324. package/dist/codegen/emitMantleModule.js +0 -291
  325. package/dist/codegen/emitMantleModule.js.map +0 -1
  326. package/dist/codegen.d.ts +0 -2
  327. package/dist/codegen.d.ts.map +0 -1
  328. package/dist/codegen.js +0 -2
  329. package/dist/codegen.js.map +0 -1
  330. package/dist/runtime-testing.d.ts +0 -2
  331. package/dist/runtime-testing.d.ts.map +0 -1
  332. package/dist/runtime-testing.js +0 -2
  333. package/dist/runtime-testing.js.map +0 -1
  334. package/dist/runtime.d.ts +0 -2
  335. package/dist/runtime.d.ts.map +0 -1
  336. package/dist/runtime.js +0 -2
  337. package/dist/runtime.js.map +0 -1
  338. package/dist/spec.d.ts +0 -2
  339. package/dist/spec.d.ts.map +0 -1
  340. package/dist/spec.js +0 -2
  341. package/dist/spec.js.map +0 -1
  342. package/dist/vercel-libsql.d.ts +0 -2
  343. package/dist/vercel-libsql.d.ts.map +0 -1
  344. package/dist/vercel-libsql.js +0 -2
  345. package/dist/vercel-libsql.js.map +0 -1
  346. package/dist/vercel.d.ts +0 -2
  347. package/dist/vercel.d.ts.map +0 -1
  348. package/dist/vercel.js +0 -2
  349. package/dist/vercel.js.map +0 -1
  350. package/dist/web.d.ts +0 -2
  351. package/dist/web.d.ts.map +0 -1
  352. package/dist/web.js +0 -2
  353. package/dist/web.js.map +0 -1
  354. package/docs/adapter-guide.md +0 -222
  355. package/docs/adr/0001-four-atom-manifest-model.md +0 -440
  356. package/docs/adr/0002-closed-enums-for-bindings.md +0 -253
  357. package/docs/adr/0007-ai-as-primary-author.md +0 -473
  358. package/docs/adr/0008-structured-diagnostic-shape.md +0 -338
  359. package/docs/adr/0009-consumer-supplied-manifests.md +0 -149
  360. package/docs/adr/0010-locale-and-translates.md +0 -453
  361. package/docs/adr/0011-adapter-port-spec.md +0 -281
  362. package/docs/adr/0012-views-as-public-rest.md +0 -161
  363. package/docs/adr/0013-agent-provisioned-consumer-projects.md +0 -154
  364. package/docs/adr/0014-auth-better-auth-and-multi-tenant-mcp.md +0 -900
  365. package/docs/adr/0016-site-semantic-layer.md +0 -70
  366. package/docs/adr/0017-media-multi-variant-agent-side-optimization.md +0 -181
  367. package/docs/adr/0018-core-starters-repository-boundary.md +0 -179
  368. package/docs/adr/0019-sealed-manifest-runtime-pipeline.md +0 -240
  369. package/docs/adr/0020-builtin-handler-contracts-and-matched-upsert.md +0 -199
  370. package/docs/adr/0021-retire-starter-scaffolding.md +0 -30
  371. package/docs/adr/0022-caller-observed-version-occ.md +0 -212
  372. package/docs/adr/0023-port-failure-contract.md +0 -69
  373. package/docs/adr/0024-manifest-native-schema-tables.md +0 -264
  374. package/docs/adr/0025-reserved-native-columns-and-published-only-public-views.md +0 -105
  375. package/docs/adr/0026-progressive-generate.md +0 -36
  376. package/docs/adr/0027-scheduled-procedure-triggers.md +0 -31
  377. package/docs/adr/0028-schema-ttl-expiry.md +0 -33
  378. package/docs/adr/README.md +0 -81
  379. package/docs/adr/adr-lite-803-request-diagnostics.md +0 -38
  380. package/docs/adr/adr-lite-808-route-readiness.md +0 -47
  381. package/docs/adr/adr-lite-809-bounded-public-content.md +0 -71
  382. package/docs/adr/adr-lite-812-native-parity.md +0 -150
  383. package/docs/adr/adr-lite-823-home-statistics.md +0 -64
  384. package/docs/adr/adr-lite-842-mcp-authoring.md +0 -30
  385. package/docs/adr/adr-lite-845-frontend-client.md +0 -38
  386. package/docs/adr/adr-lite-861-admin-webmcp.md +0 -42
  387. package/docs/adr/adr-lite-909-admin-ui-kit.md +0 -37
  388. package/docs/agent-prompts.md +0 -64
  389. package/docs/api-mcp-authorization.md +0 -5
  390. package/docs/assets/mantle-admin-developer.png +0 -0
  391. package/docs/assets/mantle-admin-operations.png +0 -0
  392. package/docs/assets/mantle-hero.jpg +0 -0
  393. package/docs/auth-hosting-model.md +0 -166
  394. package/docs/cloudflare-low-level-composition.md +0 -5
  395. package/docs/consumer-onboarding-audit.md +0 -65
  396. package/docs/deferred-lifecycle-queues.md +0 -5
  397. package/docs/design-atoms.md +0 -16
  398. package/docs/design-references/editorial-blog-2026-05-05.md +0 -218
  399. package/docs/direct-authoring.md +0 -5
  400. package/docs/examples/builtin-commerce.md +0 -269
  401. package/docs/examples/builtin-intake.md +0 -143
  402. package/docs/examples/builtin-legal-documents.md +0 -189
  403. package/docs/examples/builtin-procurement.md +0 -241
  404. package/docs/examples/builtin-publication.md +0 -241
  405. package/docs/examples/builtin-reservation.md +0 -149
  406. package/docs/examples/cf-primitives-commerce-inventory.md +0 -809
  407. package/docs/examples/cf-primitives-guarded-api.md +0 -429
  408. package/docs/examples/cf-primitives-intake-hooks.md +0 -319
  409. package/docs/examples/host-chatgpt-sites/.openai/hosting.json +0 -1
  410. package/docs/examples/host-chatgpt-sites/README.md +0 -70
  411. package/docs/examples/host-chatgpt-sites/drizzle/0000_sites_users.sql +0 -8
  412. package/docs/examples/host-chatgpt-sites/drizzle/0001_mantle.sql +0 -294
  413. package/docs/examples/host-chatgpt-sites/drizzle/0002_article_cover.sql +0 -5
  414. package/docs/examples/host-chatgpt-sites/drizzle/0003_store_instance_id.sql +0 -1
  415. package/docs/examples/host-chatgpt-sites/drizzle/0004_mantle.sql +0 -10
  416. package/docs/examples/host-chatgpt-sites/drizzle/0005_mantle.sql +0 -24
  417. package/docs/examples/host-chatgpt-sites/drizzle/meta/_journal.json +0 -1
  418. package/docs/examples/host-chatgpt-sites/drizzle/meta/mantle-state.json +0 -60
  419. package/docs/examples/host-chatgpt-sites/manifests/site.yaml +0 -27
  420. package/docs/examples/host-chatgpt-sites/package.json +0 -1
  421. package/docs/examples/host-chatgpt-sites/public/site.css +0 -1
  422. package/docs/examples/host-chatgpt-sites/scripts/build.mjs +0 -13
  423. package/docs/examples/host-chatgpt-sites/scripts/check.mjs +0 -101
  424. package/docs/examples/host-chatgpt-sites/scripts/migration.mjs +0 -43
  425. package/docs/examples/host-chatgpt-sites/src/chatgpt-auth.ts +0 -66
  426. package/docs/examples/host-chatgpt-sites/src/index.ts +0 -46
  427. package/docs/examples/host-chatgpt-sites/src/mcp.ts +0 -49
  428. package/docs/examples/host-chatgpt-sites/src/media.ts +0 -109
  429. package/docs/examples/host-chatgpt-sites/src/r2-lab.ts +0 -38
  430. package/docs/examples/host-chatgpt-sites/src/storage-fingerprint.json +0 -1
  431. package/docs/examples/host-chatgpt-sites/src/web.ts +0 -35
  432. package/docs/examples/host-chatgpt-sites/tsconfig.json +0 -1
  433. package/docs/examples/host-chatgpt-sites/wrangler.jsonc +0 -10
  434. package/docs/examples/host-local-admin-otp/.dev.vars.example +0 -3
  435. package/docs/examples/host-local-admin-otp/README.md +0 -80
  436. package/docs/examples/host-local-admin-otp/ensure-dev-vars.mjs +0 -5
  437. package/docs/examples/host-local-admin-otp/manifests/site.yaml +0 -25
  438. package/docs/examples/host-local-admin-otp/package.json +0 -29
  439. package/docs/examples/host-local-admin-otp/public/.gitkeep +0 -1
  440. package/docs/examples/host-local-admin-otp/smoke.mjs +0 -141
  441. package/docs/examples/host-local-admin-otp/src/index.ts +0 -54
  442. package/docs/examples/host-local-admin-otp/tsconfig.json +0 -17
  443. package/docs/examples/host-local-admin-otp/wrangler.jsonc +0 -23
  444. package/docs/examples/host-minimal-worker/README.md +0 -41
  445. package/docs/examples/host-minimal-worker/manifests/site.yaml +0 -25
  446. package/docs/examples/host-minimal-worker/package.json +0 -26
  447. package/docs/examples/host-minimal-worker/smoke.mjs +0 -23
  448. package/docs/examples/host-minimal-worker/src/index.ts +0 -4
  449. package/docs/examples/host-minimal-worker/tsconfig.json +0 -17
  450. package/docs/examples/host-minimal-worker/wrangler.jsonc +0 -22
  451. package/docs/handbook/chatgpt-sites/equipment-checkout.md +0 -231
  452. package/docs/handbook/chatgpt-sites/generated-app.md +0 -84
  453. package/docs/handbook/chatgpt-sites/host-reference.md +0 -113
  454. package/docs/handbook/chatgpt-sites/index.md +0 -133
  455. package/docs/handbook/cloudflare/bindings.md +0 -291
  456. package/docs/handbook/cloudflare/conventional-worker.md +0 -166
  457. package/docs/handbook/cloudflare/deferred-hooks-queues.md +0 -170
  458. package/docs/handbook/cloudflare/low-level-composition.md +0 -169
  459. package/docs/handbook/cloudflare/public-web.md +0 -144
  460. package/docs/handbook/cloudflare/site-chrome.md +0 -75
  461. package/docs/handbook/examples/commerce-transaction.md +0 -11
  462. package/docs/handbook/examples/commerce.md +0 -11
  463. package/docs/handbook/examples/guarded-api.md +0 -10
  464. package/docs/handbook/examples/intake-form.md +0 -12
  465. package/docs/handbook/examples/intake-hooks.md +0 -11
  466. package/docs/handbook/examples/legal-documents.md +0 -10
  467. package/docs/handbook/examples/procurement-approvals.md +0 -10
  468. package/docs/handbook/examples/publication.md +0 -10
  469. package/docs/handbook/examples/reservation.md +0 -10
  470. package/docs/handbook/start/quickstart-admin.md +0 -52
  471. package/docs/labels.md +0 -71
  472. package/docs/media-uploads.md +0 -5
  473. package/docs/migration-0.1.2.md +0 -13
  474. package/docs/performance-harness.md +0 -228
  475. package/docs/release-process.md +0 -244
  476. package/docs/schema-indexes.md +0 -5
  477. package/docs/sealed-pipeline-ownership.md +0 -101
  478. package/docs/skills/plugin/SKILL.md +0 -132
  479. package/docs/skills/theme/SKILL.md +0 -77
  480. package/docs/spec-only-host-adoption.md +0 -157
  481. package/docs/transaction-patterns.md +0 -5
  482. package/skills/develop/SKILL.md +0 -258
  483. package/skills/install/SKILL.md +0 -112
  484. package/skills/integrate/SKILL.md +0 -60
  485. package/skills/media-gc/SKILL.md +0 -85
  486. package/skills/plugin/SKILL.md +0 -132
  487. package/skills/provision/SKILL.md +0 -194
  488. package/skills/theme/SKILL.md +0 -77
  489. package/skills/update/SKILL.md +0 -51
  490. package/templates/chatgpt-sites/auth.ts +0 -66
  491. package/templates/chatgpt-sites/build.mjs +0 -14
  492. package/templates/chatgpt-sites/env.ts +0 -1
  493. package/templates/chatgpt-sites/mcp.ts +0 -48
  494. package/templates/chatgpt-sites/public-mcp.ts +0 -29
  495. package/templates/chatgpt-sites/smoke-local.mjs +0 -20
@@ -0,0 +1,269 @@
1
+ import { scoped } from "./user-fields.js";
2
+ import { modeOf, checkFresh } from "./caller-identity.js";
3
+ /**
4
+ * Generic Store over Core's rowPolicy/writePolicy rules and per-Schema Facts (scope, TTL, publishing, dates).
5
+ * Generated types own storage column names, values, filters and writable columns; the dialect quotes names and binds values.
6
+ * Runtime refuses unsafe limits, system/scope writes, undefined values. It applies row rules, not requires.
7
+ */
8
+ import { binds as evaluate, encode } from "./binds.js";
9
+ import { ContractError } from "./contracts.js";
10
+ import { condition } from "./where.js";
11
+ import { decodeCursor, encodeCursor } from "./paging.js";
12
+ export { decodeCursor, encodeCursor };
13
+ export const SCOPE = "$scope", TTL = "$ttl";
14
+ /** The columns Mantle owns: no write names them (nor the scope column), and `_rid` is never returned. */
15
+ const SYSTEM = ["id", "version", "created_at", "updated_at", "author_id", "status", "published_at", "_rid"];
16
+ /** A Schema's rules: the shared ones with its scope and TTL put in, and a term dropped where it has none. The generator proves this equals Core's for every Schema. */
17
+ export function expand(r, f) {
18
+ const all = (l) => l.flatMap(([c, ...t]) => (c = c === SCOPE ? f.s : c === TTL ? f.ttl?.[0] : c === "status" && !f.pub ? "" : c) ? [[c, ...t.map(v => v.k === "cutoff" ? { ...v, seconds: f.ttl[1] } : v)]] : []);
19
+ return { caller: [...all(r.caller), ...(f.parent ? [f.parent.visible] : []), ...(f.u ?? [])], trusted: all(r.trusted), fills: all(r.fills), sets: all(r.sets), lock: r.lock };
20
+ }
21
+ export function renderTerm(d, t, prefix, placeholder) {
22
+ const literal = (v) => `'${v.replaceAll("'", "''")}'`;
23
+ const param = (r) => typeof placeholder === "string" ? placeholder : placeholder(r);
24
+ if (t[1] === 'in') {
25
+ const kept = d.anyOf(prefix + d.ident(t[0]), param(t[2]), t[2].type);
26
+ // The same two forms the SQL compiler prints for a Schema scope term (see `scoped`); one parameter either way.
27
+ return t[2].scope ? `(/*s:${t[2].field}*/${kept}/*|*/(${kept} OR 1 = 1)/*;*/)` : kept;
28
+ }
29
+ if (t[1] === "parent") {
30
+ const [column, , value, parent] = t, alias = prefix === "_mantle_parent." || prefix === d.ident("_mantle_parent") + "." ? "_mantle_parent_" : "_mantle_parent";
31
+ const conditions = [`${alias}.${d.ident(column)} = ${prefix}${d.ident(column)}`, ...(parent.scope ? [`${alias}.${d.ident(parent.scope[0])} = ${prefix}${d.ident(parent.scope[1])}`] : []), ...parent.terms.map(t => renderTerm(d, t, alias + ".", param))];
32
+ const exists = `EXISTS (SELECT 1 FROM ${d.ident(parent.table)} ${alias} WHERE ${conditions.join(" AND ")})`;
33
+ return parent.admin ? `(${param(value)} = 1 OR ${exists})` : exists;
34
+ }
35
+ const [column, op, value, published] = t;
36
+ if (op !== 'eq' && op !== 'ttl' && op !== 'admin')
37
+ throw new ContractError('USER_REFS_VERSION', 'Unknown row-policy operator.');
38
+ const c = prefix + d.ident(column), bound = param(value);
39
+ if (op === "admin")
40
+ return `(${c} = ${literal(published)} OR ${bound} = 1)`;
41
+ return op === "ttl" ? `(${c} IS NULL OR ${c} > ${bound})` : `${c} = ${bound}`;
42
+ }
43
+ const transactionStores = new WeakSet();
44
+ /**
45
+ * A ref handler's `ctx.transaction` on drivers with interactive transactions: it opens one on the handler's Store, or
46
+ * joins the one that Store already runs in (a handler called through `tx.procedures`), so the handler need not know.
47
+ */
48
+ export function handlerTransaction(store, db) {
49
+ const open = store.transaction;
50
+ return (fn) => transactionStores.has(store) ? fn({ store, db }) : open((tx, txDb) => fn({ store: tx, db: txDb }));
51
+ }
52
+ export function createStore(d, drv, rules, facts, operations) {
53
+ const prepared = new Map();
54
+ const prepare = (name) => {
55
+ let p = prepared.get(name);
56
+ if (!p) {
57
+ const f = facts[name];
58
+ prepared.set(name, p = { name, f, scope: f.s?.toLowerCase(), x: expand(rules, f), from: ` FROM ${d.ident(name)} r`, ts: ["created_at", "updated_at", ...f.ts ?? []], d: f.d ?? [], policy: new Map() });
59
+ }
60
+ return p;
61
+ };
62
+ /** The columns whose wire form the database formats, replacing the same names `*` brings (of two same-named columns a driver keeps the last). */
63
+ const wires = (p, prefix) => [p.ts, p.d].flatMap((columns, i) => columns.map(c => `${(i ? d.wireDate : d.wireTimestamp)(prefix + d.ident(c)).join("")} AS ${d.ident(c)}`)).join(", ");
64
+ const ID = d.ident("id");
65
+ /** The row rules of one mode, numbered from 1; the SQL is rendered once per mode. */
66
+ const policy = (p, trusted, terms) => {
67
+ const parentTerms = p.f.parent ? trusted ? p.f.parent.trusted : p.f.parent.caller : [];
68
+ const cached = p.policy.get(trusted);
69
+ if (cached)
70
+ return cached;
71
+ const recipes = [], param = (r) => (recipes.push(r), d.param(recipes.length));
72
+ const sql = terms.map(t => renderTerm(d, t, "r.", param)).join(" AND ");
73
+ let from = p.from, projection = "";
74
+ const parent = p.f.parent;
75
+ if (parent) {
76
+ const alias = "_mantle_merge", conditions = [`${alias}.${d.ident(parent.on)} = r.${d.ident(parent.on)}`, ...(parent.scope ? [`${alias}.${d.ident(parent.scope[0])} = r.${d.ident(parent.scope[1])}`] : []), ...parentTerms.map(t => renderTerm(d, t, alias + ".", param))];
77
+ from += ` LEFT JOIN ${d.ident(parent.table)} ${alias} ON ${alias}.${ID} = (SELECT ${alias}.${ID} FROM ${d.ident(parent.table)} ${alias} WHERE ${conditions.join(" AND ")} ORDER BY ${alias}.${d.ident("created_at")} DESC, ${alias}.${ID} DESC LIMIT 1)`;
78
+ projection = parent.fields.map(c => `${(parent.ts.includes(c) ? d.wireTimestamp(alias + "." + d.ident(c)).join("") : parent.d.includes(c) ? d.wireDate(alias + "." + d.ident(c)).join("") : alias + "." + d.ident(c))} AS ${d.ident(c)}`).join(", ");
79
+ }
80
+ const preparedPolicy = { sql, recipes, from, projection, terms };
81
+ p.policy.set(trusted, preparedPolicy);
82
+ return preparedPolicy;
83
+ };
84
+ return ((db, caller, options) => make(db, caller, false, options));
85
+ function make(db, caller, inTransaction = false, options) {
86
+ const pending = new WeakMap();
87
+ const write = (build, project, path) => {
88
+ const state = { build: () => { checkFresh(caller, false, path); return build(); }, project };
89
+ const run = () => {
90
+ if (!state.promise) {
91
+ state.promise = state.claimed ? Promise.reject(new Error("Write has already been batched.")) : Promise.resolve().then(async () => project((await drv.procedure(db, [state.build()], path))[0]));
92
+ state.claimed = true;
93
+ }
94
+ return state.promise;
95
+ };
96
+ const value = { then: (yes, no) => run().then(yes, no), catch: no => run().catch(no), finally: done => run().finally(done) };
97
+ pending.set(value, state);
98
+ return value;
99
+ };
100
+ const store = {
101
+ collection: (name) => collection(db, caller, prepare(name), write),
102
+ ...Object.fromEntries(Object.keys(operations ?? {}).map(kind => {
103
+ const cache = Object.create(null);
104
+ return [kind, new Proxy(operations[kind], { get: (functions, name) => {
105
+ if (Object.hasOwn(cache, name))
106
+ return cache[name];
107
+ const fn = functions[name];
108
+ return fn && (cache[name] = (input) => fn(db, caller, input, options && { ...options, store }));
109
+ } })];
110
+ })),
111
+ ...(!inTransaction && { batch: async (writes) => {
112
+ const states = writes.map(w => pending.get(w));
113
+ if (new Set(writes).size !== writes.length || states.some(s => !s || s.claimed))
114
+ throw new Error("Batch needs unused Writes from this Store.");
115
+ for (const s of states)
116
+ s.claimed = true;
117
+ const rows = writes.length ? await drv.procedure(db, states.map(s => s.build()), "store/batch") : [];
118
+ return states.map((s, i) => s.project(rows[i]));
119
+ } }),
120
+ ...(drv.transaction && { transaction: async (fn, txOptions) => {
121
+ if (inTransaction)
122
+ throw new Error("Nested transactions are not supported.");
123
+ return drv.transaction(db, tx => fn(make(tx, caller, true, options), tx), txOptions);
124
+ } }),
125
+ };
126
+ if (inTransaction)
127
+ transactionStores.add(store);
128
+ return store;
129
+ }
130
+ function collection(db, caller, p, write) {
131
+ const trusted = modeOf(caller) === "trusted", { f, x } = p, terms = trusted ? x.trusted : x.caller, pol = policy(p, trusted, terms), no = (message) => new ContractError("INPUT_VALIDATION_FAILED", `${p.name}: ${message}`);
132
+ /** A value as the engine stores it, as a placeholder. Date-times and dates are known from the fact; a JSON object is told by its JS type (a boolean binds as it is on every driver). */
133
+ const put = (values, column, v) => {
134
+ const type = p.ts.includes(column) ? "timestamptz" : p.d.includes(column) ? "date" : v !== null && typeof v === "object" && !(v instanceof Date) ? "json" : "";
135
+ values.push(type === "json" ? JSON.stringify(v) : encode(d, type, v));
136
+ return d.cast(d.param(values.length), type);
137
+ };
138
+ const conditions = (where, values) => {
139
+ const out = [];
140
+ for (const [name, spec] of Object.entries(where ?? {})) {
141
+ const operators = spec !== null && typeof spec === "object" && !(spec instanceof Date) && !Array.isArray(spec) ? Object.entries(spec) : [["eq", spec]];
142
+ for (const [op, v] of operators) {
143
+ const left = `r.${d.ident(name)}`, bind = (x) => put(values, name, x);
144
+ out.push(op === "isNull" ? condition(d, left, v ? "eq" : "ne", null, bind) : condition(d, left, op, v, bind));
145
+ }
146
+ }
147
+ return out;
148
+ };
149
+ const rows = (sql, values) => drv.read(db, scoped(sql, caller), values);
150
+ /** Core never reads back the scope column, and `_rid` is storage's. */
151
+ const clean = (list) => { for (const r of list) {
152
+ delete r._rid;
153
+ if (f.s)
154
+ delete r[f.s];
155
+ } return list; };
156
+ const select = () => pol.select ??= `SELECT r.*, ${wires(p, "r.")}${pol.projection ? ", " + pol.projection : ""}${pol.from}`;
157
+ const where = (conds) => { const all = pol.sql ? [pol.sql, ...conds] : conds; return all.length ? ` WHERE ${all.join(" AND ")}` : ""; };
158
+ const base = () => evaluate(d, pol.recipes, caller);
159
+ async function find(q = {}) {
160
+ const dir = q.order ?? "asc", name = q.orderBy ?? "id", limit = q.limit ?? 50;
161
+ if (!Number.isInteger(limit) || limit < 1 || limit > 500)
162
+ throw no("limit is 1 to 500");
163
+ const values = base(), conds = conditions(q.where, values);
164
+ if (q.search !== undefined) {
165
+ if (typeof q.search !== "string" || !q.search.trim() || q.search.includes("\0"))
166
+ throw no("search takes a non-empty string without NUL");
167
+ values.push(q.search.trim());
168
+ const query = d.param(values.length), exact = `r.${ID} = ${query}`;
169
+ conds.push(f.search?.length ? `(${exact} OR ${d.search(p.name, f.search, "r", query)})` : exact);
170
+ }
171
+ const id = `r.${ID}`, kc = `r.${d.ident(name)}`, up = dir === "asc", way = up ? "ASC" : "DESC";
172
+ if (q.cursor !== undefined) {
173
+ const [v, last] = decodeCursor(q.cursor, p.name + "/cursor");
174
+ values.push(last);
175
+ const after = `${id} ${up ? ">" : "<"} ${d.param(values.length)}`;
176
+ if (name === "id")
177
+ conds.push(after);
178
+ else if (v === null)
179
+ conds.push(`(${kc} IS NULL AND ${after})`);
180
+ else {
181
+ const m = put(values, name, v);
182
+ conds.push(`(${kc} ${up ? ">" : "<"} ${m} OR (${kc} = ${m} AND ${after}) OR ${kc} IS NULL)`);
183
+ }
184
+ }
185
+ // an ORDER BY column is NOT NULL (the generated type offers no other), so no NULL placement
186
+ const list = await rows(`${select()}${where(conds)} ORDER BY ${name === "id" ? "" : `${kc} ${way} NULLS LAST, `}${id} ${way} LIMIT ${limit + 1}`, values);
187
+ if (list.length <= limit)
188
+ return { rows: clean(list), cursor: null };
189
+ const page = list.slice(0, limit), end = page[limit - 1];
190
+ return { rows: clean(page), cursor: encodeCursor(end[name], end.id) };
191
+ }
192
+ /** A write: placeholders are numbered as values are pushed; a Core bind recipe is evaluated against this caller and clock. */
193
+ const writer = (lock) => {
194
+ const values = [], ms = Date.now(), into = d.ident(p.name);
195
+ const push = (v) => (values.push(v), d.param(values.length));
196
+ const recipe = (r) => push(evaluate(d, [r], caller, { version: lock }, ms)[0]);
197
+ /** The marks of the non-null columns written, by folded name. */
198
+ const marks = new Map();
199
+ const given = (set, insert = false) => Object.entries(set).map(([name, v]) => {
200
+ // SQLite matches column names without case, so compare folded
201
+ const key = name.toLowerCase();
202
+ if (SYSTEM.includes(key) || key === p.scope || !insert && !!f.u?.some(u => u[0] === key))
203
+ throw no(`${name} is not writable`);
204
+ // a driver binds undefined as NULL: an update would silently clear the column
205
+ if (v === undefined)
206
+ throw no(`${name} is undefined`);
207
+ const mark = put(values, name, v);
208
+ if (v !== null)
209
+ marks.set(key, mark);
210
+ return [d.ident(name), mark];
211
+ });
212
+ /** For each non-null reference written, the referenced row as the caller sees it, in the child's partition (`child`). */
213
+ const refs = (child) => trusted ? [] : (f.ref ?? []).flatMap(r => { const v = marks.get(r.column); return v ? [`EXISTS (SELECT 1 FROM ${d.ident(r.table)} _mantle_ref WHERE ${[`_mantle_ref.${d.ident(r.field)} = ${v}`, ...r.same.map(([parent, column]) => `_mantle_ref.${d.ident(parent)} = ${child(column) ?? "NULL"}`), ...r.terms.map(t => renderTerm(d, t, "_mantle_ref.", recipe))].join(" AND ")})`] : []; });
214
+ /** `WHERE id = ? AND <the caller's row rules> AND version = ?` */
215
+ const guard = (id, also = []) => ` WHERE ${[`${ID} = ${push(id)}`, ...[...pol.terms, x.lock].map(t => renderTerm(d, t, t[1] === "parent" ? d.ident(p.name) + "." : "", recipe)), ...also].join(" AND ")}`;
216
+ const step = (sql) => ({ sql: scoped(sql, caller), binds: values, row: true });
217
+ return { given, marks, recipe, refs, guard, step, into, returning: () => ` RETURNING *, ${p.returning ??= wires(p, "")}` };
218
+ };
219
+ return {
220
+ async findById(id) {
221
+ const values = base();
222
+ values.push(id);
223
+ return clean(await rows(pol.byId ??= `${select()}${where([`r.${ID} = ${d.param(values.length)}`])} LIMIT 1`, values))[0] ?? null;
224
+ },
225
+ find,
226
+ async first(q = {}) { return (await find({ ...q, limit: 1 })).rows[0] ?? null; },
227
+ async count(w) {
228
+ const values = base(), conds = conditions(w, values);
229
+ return Number((await rows(`SELECT COUNT(*) AS "count"${pol.from}${where(conds)}`, values))[0].count);
230
+ },
231
+ insert(set) {
232
+ return write(() => {
233
+ if (f.s && caller.kind === "anonymous")
234
+ throw new ContractError("UNAUTHENTICATED", "A scoped insert requires an authenticated caller.", `${p.name}/insert`);
235
+ if (f.u?.length)
236
+ set = d.scopeInsert(f.u.map(u => ({ column: u[0], field: u[2].field, type: u[2].type })), caller, set);
237
+ const w = writer(), names = [], marks = [];
238
+ for (const [name, mark] of w.given(set, true)) {
239
+ names.push(name);
240
+ marks.push(mark);
241
+ }
242
+ for (const [column, v] of x.fills) {
243
+ names.push(d.ident(column));
244
+ marks.push(v === "newId" ? rules.newId : w.recipe(v));
245
+ }
246
+ // a reference to a scoped Schema: the row is inserted only if the parent check holds, else `row` fails with CONFLICT
247
+ const refs = w.refs(column => w.marks.get(column));
248
+ return w.step(`INSERT INTO ${w.into} (${names.join(", ")}) ${refs.length ? `SELECT ${marks.join(", ")} WHERE ${refs.join(" AND ")}` : `VALUES (${marks.join(", ")})`}${w.returning()}`);
249
+ }, rows => clean(rows)[0], `${p.name}/insert`);
250
+ },
251
+ update(id, set, { lock }) {
252
+ return write(() => {
253
+ const w = writer(lock), assigns = w.given(set).map(([name, mark]) => `${name} = ${mark}`);
254
+ for (const [column, v] of x.sets)
255
+ assigns.push(`${d.ident(column)} = ${v === "bump" ? `${d.ident(column)} + 1` : w.recipe(v)}`);
256
+ // the partition is never SET, so the child's is the row's own
257
+ const refs = w.refs(column => `${w.into}.${d.ident(column)}`);
258
+ return w.step(`UPDATE ${w.into} SET ${assigns.join(", ")}${w.guard(id, refs)}${w.returning()}`);
259
+ }, rows => clean(rows)[0], `${p.name}/update`);
260
+ },
261
+ delete(id, { lock }) {
262
+ return write(() => {
263
+ const w = writer(lock);
264
+ return w.step(`DELETE FROM ${w.into}${w.guard(id)}`);
265
+ }, () => undefined, `${p.name}/delete`);
266
+ },
267
+ };
268
+ }
269
+ }
@@ -0,0 +1,10 @@
1
+ /** INPUT_VALIDATION_FAILED at `path`. */
2
+ export declare function invalid(message: string, path: string): never;
3
+ /**
4
+ * How each validated boundary field becomes a driver input, per declared bind: `json` is stringified, `bool` becomes
5
+ * 0/1 (SQLite only), anything else passes through; a missing value binds as null. Only fields an input bind reads.
6
+ */
7
+ export type Conversions = ReadonlyArray<readonly [field: string, type: "" | "json" | "bool"]>;
8
+ export declare function convert(input: Record<string, unknown>, fields?: Conversions): void;
9
+ /** Path decoding for a matched template; a malformed escape is an input failure at `path`. */
10
+ export declare function decode(keys: readonly string[], match: RegExpExecArray, message: string, path: string): Record<string, string>;
@@ -0,0 +1,19 @@
1
+ /** Shared request-time core of the generated surfaces: input failures and declared bind conversion. */
2
+ import { ContractError } from "./contracts.js";
3
+ /** INPUT_VALIDATION_FAILED at `path`. */
4
+ export function invalid(message, path) { throw new ContractError("INPUT_VALIDATION_FAILED", message, path); }
5
+ export function convert(input, fields = []) {
6
+ for (const [key, type] of fields) {
7
+ const value = input[key];
8
+ input[key] = value == null ? null : type === "json" ? JSON.stringify(value) : type === "bool" ? Number(value) : value;
9
+ }
10
+ }
11
+ /** Path decoding for a matched template; a malformed escape is an input failure at `path`. */
12
+ export function decode(keys, match, message, path) {
13
+ try {
14
+ return Object.fromEntries(keys.map((key, index) => [key, decodeURIComponent(match[index + 1])]));
15
+ }
16
+ catch {
17
+ invalid(message, path);
18
+ }
19
+ }
@@ -0,0 +1,17 @@
1
+ /** Host-only TTL maintenance; the selected candidates and delete share one native transaction. */
2
+ import { type Caller, type Row } from "./contracts.js";
3
+ import { type Values } from "./binds.js";
4
+ export interface SweepInput {
5
+ readonly limit?: number;
6
+ readonly cursor?: string;
7
+ readonly delete?: boolean;
8
+ }
9
+ export interface SweepResult {
10
+ readonly scanned: number;
11
+ readonly removed: number;
12
+ readonly nextCursor?: string;
13
+ }
14
+ export declare function sweep<DB>(db: DB, caller: Caller, input: SweepInput, path: string, seconds: number, sql: readonly [string, string], d: Values, execute: (db: DB, steps: {
15
+ sql: string;
16
+ binds: unknown[];
17
+ }[], path: string) => Promise<Row[][]>): Promise<SweepResult>;
@@ -0,0 +1,27 @@
1
+ /** Host-only TTL maintenance; the selected candidates and delete share one native transaction. */
2
+ import { ContractError } from "./contracts.js";
3
+ import { binds } from "./binds.js";
4
+ export async function sweep(db, caller, input, path, seconds, sql, d, execute) {
5
+ if (caller.kind !== "system" || typeof caller.reason !== "string" || !caller.reason.trim())
6
+ throw new ContractError("AUTH_DENIED", "TTL maintenance requires a host system caller with a reason.", path);
7
+ const limit = input.limit ?? 500;
8
+ const invalid = () => { throw new ContractError("INPUT_VALIDATION_FAILED", "Sweep limit must be 1..500, delete boolean, and cursor belong to this sweep.", path); };
9
+ if (!Number.isSafeInteger(limit) || limit < 1 || limit > 500 || input.delete !== undefined && typeof input.delete !== "boolean")
10
+ invalid();
11
+ let after = 0;
12
+ if (input.cursor !== undefined) {
13
+ try {
14
+ const value = JSON.parse(decodeURIComponent(input.cursor));
15
+ if (!Array.isArray(value) || value.length !== 2 || value[0] !== path || !Number.isSafeInteger(value[1]) || value[1] < 1)
16
+ invalid();
17
+ after = value[1];
18
+ }
19
+ catch {
20
+ invalid();
21
+ }
22
+ }
23
+ const values = [...binds(d, [{ k: "cutoff", seconds }], caller), after, limit];
24
+ const [selected, deleted] = await execute(db, (input.delete === false ? [sql[0]] : sql).map(sql => ({ sql, binds: values })), path);
25
+ const last = Number(selected.at(-1)?._rid);
26
+ return { scanned: selected.length, removed: deleted?.length ?? 0, ...(selected.length === limit ? { nextCursor: encodeURIComponent(JSON.stringify([path, last])) } : {}) };
27
+ }
@@ -0,0 +1 @@
1
+ export declare function toCanonicalLocale(value: string): string;
@@ -0,0 +1,13 @@
1
+ /** Locale values stay ordinary strings; applications opt into canonicalisation. */
2
+ import { invalid } from "./surface.js";
3
+ export function toCanonicalLocale(value) {
4
+ if (typeof value !== "string" || !value)
5
+ invalid("Invalid locale.", "locale");
6
+ let parts = value.replaceAll("_", "-").split("-");
7
+ if (parts.length === 1 && parts[0].length === 4)
8
+ parts = [parts[0].slice(0, 2), parts[0].slice(2)];
9
+ const language = parts[0], region = parts[1];
10
+ if (!/^[A-Za-z]{2,3}$/.test(language) || region !== undefined && !/^[A-Za-z]{2}$/.test(region))
11
+ invalid("Invalid locale.", "locale");
12
+ return language.toLowerCase() + (region === undefined ? "" : "-" + region.toUpperCase());
13
+ }
@@ -0,0 +1,31 @@
1
+ import type { Caller, CredentialKind } from "./contracts.js";
2
+ import type { AllValues, UserFields } from "./user-fields.js";
3
+ export declare const isAllValues: (value: unknown) => value is AllValues;
4
+ /** Role names follow Better Auth's role strings; `-` is allowed. */
5
+ export declare const roleName: RegExp;
6
+ /** Better Auth stores roles comma-separated; split exactly as it does and fail fast on a name no manifest could match. */
7
+ export declare function rolesFrom(role: unknown): readonly string[];
8
+ /** Better Auth's configured admin layer, independent of per-operation access control. */
9
+ export declare function adminLayerOf(user: {
10
+ id: string;
11
+ role?: unknown;
12
+ }, options?: {
13
+ adminRoles?: readonly string[];
14
+ adminUserIds?: readonly string[];
15
+ }): boolean;
16
+ /** Auth integration and test helpers validate a verified Better Auth-shaped user once. */
17
+ export declare function userCaller(user: Readonly<Record<string, unknown>> & {
18
+ readonly id: string;
19
+ }, options?: {
20
+ readonly fields?: UserFields;
21
+ readonly adminRoles?: readonly string[];
22
+ readonly adminUserIds?: readonly string[];
23
+ readonly credential?: CredentialKind;
24
+ readonly credentialId?: string | null;
25
+ readonly clientId?: string | null;
26
+ readonly scopes?: readonly string[];
27
+ readonly issuer?: string;
28
+ readonly impersonatedBy?: string;
29
+ }): Extract<Caller, {
30
+ kind: "user";
31
+ }>;
@@ -0,0 +1,67 @@
1
+ /** Validation runs when an identity is built, outside ordinary query startup. */
2
+ import { ContractError } from "./contract-error.js";
3
+ import { validUserFieldName } from "./user-field-name.js";
4
+ import { identities } from "./caller-identity.js";
5
+ export const isAllValues = (value) => !!value && typeof value === "object" && !Array.isArray(value) && Object.keys(value).length === 1 && value.all === true;
6
+ /** Role names follow Better Auth's role strings; `-` is allowed. */
7
+ export const roleName = /^[a-z][a-zA-Z0-9_-]{0,62}$/;
8
+ const invalid = (message) => { throw new ContractError("USER_FIELD_INVALID", message, "auth:user", { status: 400 }); };
9
+ function valueOf(value, spec, field) {
10
+ if (isAllValues(value))
11
+ return Object.freeze({ all: true });
12
+ const scalar = (value) => {
13
+ if (typeof value !== spec.type)
14
+ return invalid(`User field '${field}' must contain ${spec.type} values.`);
15
+ if (typeof value === "number") {
16
+ if (!(spec.integer ? Number.isInteger(value) : Number.isFinite(value)))
17
+ return invalid(`User field '${field}' must be ${spec.integer ? "an integer" : "finite"}.`);
18
+ }
19
+ else if (typeof value === "string" && (!value.isWellFormed() || value.includes("\0") || new TextEncoder().encode(value).length < 1 || new TextEncoder().encode(value).length > 256))
20
+ return invalid(`User field '${field}' must be 1–256 UTF-8 bytes, without NUL or lone surrogates.`);
21
+ if (spec.enum && !spec.enum.includes(value))
22
+ return invalid(`User field '${field}' is outside its enum.`);
23
+ return value;
24
+ };
25
+ if (!Array.isArray(value))
26
+ return scalar(value);
27
+ if (!spec.multiple)
28
+ return invalid(`User field '${field}' holds one value.`);
29
+ if (value.length > 64)
30
+ return invalid(`User field '${field}' accepts at most 64 values.`);
31
+ return Object.freeze([...new Set(value.map(scalar))]);
32
+ }
33
+ /** Better Auth stores roles comma-separated; split exactly as it does and fail fast on a name no manifest could match. */
34
+ export function rolesFrom(role) {
35
+ if (role == null || role === "")
36
+ return Object.freeze([]);
37
+ if (typeof role !== "string")
38
+ return invalid("User role must be comma-separated text.");
39
+ return Object.freeze([...new Set(role.split(",").map(part => roleName.test(part) ? part : invalid(`Invalid role '${part}'.`)))]);
40
+ }
41
+ /** Better Auth's configured admin layer, independent of per-operation access control. */
42
+ export function adminLayerOf(user, options = {}) {
43
+ return !!options.adminUserIds?.includes(user.id) || rolesFrom(user.role).some(role => (options.adminRoles ?? ["admin"]).some(name => name.trim() === role));
44
+ }
45
+ /** Auth integration and test helpers validate a verified Better Auth-shaped user once. */
46
+ export function userCaller(user, options = {}) {
47
+ if (typeof user.id !== 'string' || !user.id || /^(host|system):/i.test(user.id))
48
+ return invalid("User subjects must be non-empty strings without reserved prefixes.");
49
+ const roles = rolesFrom(user.role);
50
+ const fields = Object.create(null);
51
+ for (const [field, spec] of Object.entries(options.fields ?? {})) {
52
+ if (!validUserFieldName(field))
53
+ return invalid(`Invalid or reserved user field '${field}'.`);
54
+ if (Object.hasOwn(user, field) && user[field] !== undefined && user[field] !== null)
55
+ fields[field] = valueOf(user[field], spec, field);
56
+ }
57
+ Object.freeze(fields);
58
+ const caller = { kind: "user", subject: user.id, role: typeof user.role === "string" ? user.role : null,
59
+ admin: adminLayerOf(user, options), roles, fields,
60
+ ...(options.issuer ? { issuer: options.issuer } : {}), scopes: Object.freeze([...(options.scopes ?? [])]),
61
+ credential: options.credential ?? "session", credentialId: options.credentialId ?? null, clientId: options.clientId ?? null };
62
+ // The real actor is read from the brand, so a spread or forged copy never carries it.
63
+ if (options.impersonatedBy)
64
+ Object.defineProperty(caller, "impersonatedBy", { get() { return identities.get(this)?.impersonatedBy; } });
65
+ identities.set(Object.freeze(caller), Object.freeze({ roles, fields, admin: caller.admin, ...(options.impersonatedBy ? { impersonatedBy: options.impersonatedBy } : {}) }));
66
+ return caller;
67
+ }
@@ -0,0 +1,3 @@
1
+ const name = /^[a-z][a-zA-Z0-9_]{0,62}$/;
2
+ const reserved = " id email emailVerified name image createdAt updatedAt role banned banReason banExpires ";
3
+ export const validUserFieldName = (field) => name.test(field) && !reserved.includes(' ' + field + ' ') && !field.startsWith("mantle");
@@ -0,0 +1,35 @@
1
+ import type { Caller } from "./contracts.js";
2
+ import type { Recipe } from './binds.js';
3
+ export declare const USER_REFS_V1: 1;
4
+ /** The typed "every value" state of one field: a structural value, never a magic string. */
5
+ export interface AllValues {
6
+ readonly all: true;
7
+ }
8
+ export type UserValue = string | number | readonly (string | number)[] | AllValues;
9
+ export interface UserField {
10
+ readonly type: "string" | "number";
11
+ readonly integer?: true;
12
+ readonly multiple: boolean;
13
+ readonly enum?: readonly (string | number)[];
14
+ }
15
+ export type UserFields = Readonly<Record<string, UserField>>;
16
+ /** Whether the caller holds `{ all: true }` for a field: its row-template term is dropped. */
17
+ export declare const isAll: (caller: Caller, field: string) => boolean;
18
+ /** Generated SQL prints each Schema scope term twice; `{ all: true }` keeps the always-true form, every other caller the filter. */
19
+ export declare const scoped: (sql: string, caller: Caller) => string;
20
+ export declare const scopedAll: <T>(value: T, caller: Caller) => T;
21
+ /** Store and Admin share the insert membership check. */
22
+ export declare function scopeInsert(scopes: readonly {
23
+ readonly column: string;
24
+ readonly field: string;
25
+ readonly type: 'string' | 'number';
26
+ }[], caller: Caller, set: object): object;
27
+ export { modeOf } from "./caller-identity.js";
28
+ export interface UserRecipe extends Extract<Recipe, {
29
+ k: "user";
30
+ }> {
31
+ }
32
+ /** A missing or empty value is refused here, before any SQL runs; correctness never relies on NULL semantics. */
33
+ export declare const userBinds: (sqlite: boolean) => (recipe: UserRecipe, caller: Caller) => unknown;
34
+ export declare const userRefs: (sqlite: boolean, version: number) => (recipe: Recipe, caller: Caller, input?: Readonly<Record<string, unknown>>) => unknown;
35
+ export { roleName, rolesFrom } from "./user-caller.js";
@@ -0,0 +1,81 @@
1
+ /** Only the original caller carries authority. */
2
+ import { ContractError } from "./contract-error.js";
3
+ export const USER_REFS_V1 = 1;
4
+ import { valueFor, isHostCaller } from "./caller-identity.js";
5
+ import { isAllValues } from "./user-caller.js";
6
+ /** Whether the caller holds `{ all: true }` for a field: its row-template term is dropped. */
7
+ export const isAll = (caller, field) => isAllValues(valueFor(caller, field));
8
+ const SCOPE_TERM = /\/\*s:(\w+)\*\/([^]*?)\/\*\|\*\/([^]*?)\/\*;\*\//g;
9
+ /** Generated SQL prints each Schema scope term twice; `{ all: true }` keeps the always-true form, every other caller the filter. */
10
+ export const scoped = (sql, caller) => sql.replace(SCOPE_TERM, (_, field, kept, all) => isAll(caller, field) ? all : kept);
11
+ export const scopedAll = (value, caller) => JSON.parse(JSON.stringify(value), (_key, v) => typeof v === "string" ? scoped(v, caller) : v);
12
+ const missing = (caller, field) => {
13
+ if (isHostCaller(caller))
14
+ throw new ContractError("HOST_CONTRACT", `The target needs user field '${field}'.`, "", { status: 412, fields: { field } });
15
+ if (caller.kind === "anonymous")
16
+ throw new ContractError('UNAUTHENTICATED', `Rows scoped by '${field}' require an authenticated caller.`);
17
+ throw new ContractError('AUTH_DENIED', `The caller has no value for '${field}', which scopes these rows.`);
18
+ };
19
+ /** Store and Admin share the insert membership check. */
20
+ export function scopeInsert(scopes, caller, set) {
21
+ let out = set;
22
+ for (const scope of scopes) {
23
+ const own = ([field]) => field.toLowerCase() === scope.column;
24
+ // An optional input forwarded as `undefined` is "not given": autofill or the usual refusal applies, not a scope denial.
25
+ out = Object.fromEntries(Object.entries(out).filter(entry => !(own(entry) && entry[1] === undefined)));
26
+ const given = Object.entries(out).find(own);
27
+ if (caller.kind === 'system' || isAll(caller, scope.field)) {
28
+ if (!given)
29
+ throw new ContractError('INPUT_VALIDATION_FAILED', `An explicit '${scope.column}' value is required.`);
30
+ continue;
31
+ }
32
+ const value = valueFor(caller, scope.field), values = value === undefined ? [] : Array.isArray(value) ? value : [value];
33
+ if (!values.length)
34
+ missing(caller, scope.field);
35
+ if (given) {
36
+ if (typeof given[1] !== scope.type || !values.includes(given[1]))
37
+ throw new ContractError('AUTH_DENIED', `The value is outside the caller's '${scope.field}' scope.`);
38
+ continue;
39
+ }
40
+ if (values.length !== 1)
41
+ throw new ContractError('INPUT_VALIDATION_FAILED', `'${scope.column}' is required: the caller holds several '${scope.field}' values.`);
42
+ out = { ...out, [scope.column]: values[0] };
43
+ }
44
+ return out;
45
+ }
46
+ export { modeOf } from "./caller-identity.js";
47
+ const pgArray = (values) => `{${values.map(value => `"${String(value).replace(/[\\"]/g, "\\$&")}"`).join(",")}}`;
48
+ /** A missing or empty value is refused here, before any SQL runs; correctness never relies on NULL semantics. */
49
+ export const userBinds = (sqlite) => (recipe, caller) => {
50
+ const value = valueFor(caller, recipe.field);
51
+ // An all-values scope still binds its parameter; restrict never widens.
52
+ if (isAllValues(value) && recipe.scope)
53
+ return sqlite ? "[]" : "{}";
54
+ if (isAllValues(value))
55
+ throw new ContractError('AUTH_DENIED', `This target restricts rows by '${recipe.field}', which needs explicit values; { all: true } does not lift a restrict.`);
56
+ const values = value === undefined ? [] : Array.isArray(value) ? value : [value];
57
+ if (!values.length)
58
+ missing(caller, recipe.field);
59
+ return sqlite ? JSON.stringify(values) : pgArray(values);
60
+ };
61
+ export const userRefs = (sqlite, version) => {
62
+ if (version !== USER_REFS_V1)
63
+ throw new ContractError('USER_REFS_VERSION', 'User-reference bind version differs.');
64
+ const user = userBinds(sqlite);
65
+ return (recipe, caller, input) => {
66
+ if (recipe.k === 'user')
67
+ return user(recipe, caller);
68
+ // A field-scoped Schema's scope column on an SQL INSERT: the Store's insert rule. A surface converts an omitted
69
+ // optional input that SQL also reads elsewhere to null, and a scope column is never null, so null is "not given".
70
+ if (recipe.k === 'scoped') {
71
+ const given = recipe.name !== undefined ? input?.[recipe.name] ?? undefined : recipe.value;
72
+ const value = scopeInsert([recipe], caller, { [recipe.column]: given })[recipe.column];
73
+ // scopeInsert checks the type only against a caller's own set; { all: true } and system callers name any value.
74
+ if (typeof value !== recipe.type)
75
+ throw new ContractError('INPUT_VALIDATION_FAILED', `'${recipe.column}' must be a ${recipe.type}.`);
76
+ return value;
77
+ }
78
+ throw new ContractError('USER_REFS_VERSION', `Unknown user-reference bind recipe '${recipe.k}'.`);
79
+ };
80
+ };
81
+ export { roleName, rolesFrom } from "./user-caller.js";
@@ -0,0 +1,15 @@
1
+ /** INPUT_VALIDATION_FAILED at the JSON pointer `path`. */
2
+ export declare function fail(path: string, message: string): never;
3
+ /** JSON equality for `enum`. */
4
+ export declare function equal(a: unknown, b: unknown): boolean;
5
+ /** The check of the publishing transitions' input `{id, expectedVersion}` at `path`. */
6
+ export declare function transition(path: string, raw: unknown): Record<string, unknown>;
7
+ /**
8
+ * A View's query string: each declared field (typed `boolean`, `integer` or `number` when the input says so) is read
9
+ * from `params`, then validated; `limit` and `cursor` are the paging options. `operation` is `views/<name>`.
10
+ */
11
+ export declare function query(params: URLSearchParams, validate: (raw: unknown) => Record<string, unknown>, operation: string, fields: ReadonlyArray<readonly [key: string, type?: "boolean" | "integer" | "number"]>): {
12
+ input: Record<string, unknown>;
13
+ limit?: number;
14
+ cursor?: string;
15
+ };