@theoremjs/studio 0.0.0-stage → 0.3.2

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 (473) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +295 -2
  3. package/agreement.d.ts +14 -0
  4. package/agreement.js +80 -0
  5. package/asks.d.ts +47 -0
  6. package/asks.js +54 -0
  7. package/browser-connection.d.ts +49 -0
  8. package/browser-connection.js +215 -0
  9. package/browser-engine.d.ts +11 -0
  10. package/browser-engine.js +11 -0
  11. package/browser-execution.d.ts +6 -0
  12. package/browser-execution.js +18 -0
  13. package/browser-live.d.ts +4 -0
  14. package/browser-live.js +132 -0
  15. package/browser-transport.d.ts +33 -0
  16. package/browser-transport.js +229 -0
  17. package/browser.d.ts +4 -0
  18. package/browser.js +4 -0
  19. package/canonical.d.ts +10 -0
  20. package/canonical.js +25 -0
  21. package/compile-workspace.d.ts +28 -0
  22. package/compile-workspace.js +295 -0
  23. package/compile.d.ts +65 -0
  24. package/compile.js +1605 -0
  25. package/concierge-demo.d.ts +17 -0
  26. package/concierge-demo.js +1230 -0
  27. package/conversation-key.d.ts +5 -0
  28. package/conversation-key.js +10 -0
  29. package/decision-example-images.d.ts +30 -0
  30. package/decision-example-images.js +30 -0
  31. package/deno.json +3 -0
  32. package/draft.d.ts +407 -0
  33. package/draft.js +505 -0
  34. package/editors.d.ts +29 -0
  35. package/editors.js +51 -0
  36. package/example-embedding-files.d.ts +11 -0
  37. package/example-embedding-files.js +20 -0
  38. package/example.d.ts +36 -0
  39. package/example.js +357 -0
  40. package/guardrail-probe.d.ts +100 -0
  41. package/guardrail-probe.js +722 -0
  42. package/held-credentials.d.ts +28 -0
  43. package/held-credentials.js +87 -0
  44. package/installed.mjs +40 -0
  45. package/lent-keys.d.ts +122 -0
  46. package/lent-keys.js +47 -0
  47. package/line-diff.d.ts +15 -0
  48. package/line-diff.js +41 -0
  49. package/live-connection.d.ts +22 -0
  50. package/live-connection.js +27 -0
  51. package/live-session-bridge.d.ts +15 -0
  52. package/live-session-bridge.js +202 -0
  53. package/map-line.d.ts +19 -0
  54. package/map-line.js +42 -0
  55. package/map.d.ts +154 -0
  56. package/map.js +525 -0
  57. package/media-accept.d.ts +19 -0
  58. package/media-accept.js +65 -0
  59. package/mod.d.ts +39 -0
  60. package/mod.js +33 -0
  61. package/origins.d.ts +52 -0
  62. package/origins.js +165 -0
  63. package/package.json +85 -4
  64. package/page/assets/Banner-BISz3nXA.js +2 -0
  65. package/page/assets/BottomSheet-BwfBDtje.js +1 -0
  66. package/page/assets/Card-Lp-0P5eL.js +1 -0
  67. package/page/assets/CardWall-CBRLdDZW.js +1 -0
  68. package/page/assets/Center-nHS1JSux.js +1 -0
  69. package/page/assets/CheckboxInput-Cj5pk-KI.js +2 -0
  70. package/page/assets/CodeBlock-C7XJ4ioE.js +51 -0
  71. package/page/assets/CollapsibleGroup-N7_SOjbm.js +2 -0
  72. package/page/assets/ContextMenu-CBu9H-9H.js +2 -0
  73. package/page/assets/DateInput-BGrQ5tPC.js +1 -0
  74. package/page/assets/Dialog-DELWQo-v.js +1 -0
  75. package/page/assets/EmptyState-C8W4JKBZ.js +1 -0
  76. package/page/assets/HoverCard-D1Y1ltWQ.js +1 -0
  77. package/page/assets/Icon-JrysT8aU.js +3 -0
  78. package/page/assets/IconAlertTriangle-BqAEqqdU.js +1 -0
  79. package/page/assets/IconButton-DlOGzJIX.js +1 -0
  80. package/page/assets/IconEye-BB5aY-wQ.js +1 -0
  81. package/page/assets/IconFileText-6zOFKKrF.js +1 -0
  82. package/page/assets/IconSearch-BTx66a40.js +1 -0
  83. package/page/assets/IconShield-DDOh7Gr5.js +1 -0
  84. package/page/assets/ItemSwipeLayer-Ckn4X6h9.js +1 -0
  85. package/page/assets/PaneState-BvA2tLQg.js +1 -0
  86. package/page/assets/PaneState-eUzUkNE8.css +1 -0
  87. package/page/assets/ScrollableArea-Ckugdj1N.js +1 -0
  88. package/page/assets/Section-DJ97F7QE.js +1 -0
  89. package/page/assets/SegmentedControlItem-h-aaXzyS.js +1 -0
  90. package/page/assets/SidePanel-BL32abk8.js +1 -0
  91. package/page/assets/StackItem-CQviqAfM.js +1 -0
  92. package/page/assets/Text-bum6zWWx.js +2 -0
  93. package/page/assets/TimestampHoverCard-DQIG0RZF.js +1 -0
  94. package/page/assets/ToolResultCharts-CgshSv9Q.js +1 -0
  95. package/page/assets/Tooltip-BH9xiRMl.js +1 -0
  96. package/page/assets/TraceInspector-_yZiz05W.js +1 -0
  97. package/page/assets/TraceOverview-BPO-HIYK.js +57 -0
  98. package/page/assets/VStack-CkVMcNiK.js +1 -0
  99. package/page/assets/_virtual_studio-type-sources-ByxqQaOG.js +12936 -0
  100. package/page/assets/arrive-DvbqpeRS.js +1 -0
  101. package/page/assets/browser-engine-CYq9DQAM.js +9 -0
  102. package/page/assets/browser-transport-D-2jDYe7.js +47 -0
  103. package/page/assets/codicon-DF1abBS2.ttf +0 -0
  104. package/page/assets/compile-egress-BSxOdX4K.js +23 -0
  105. package/page/assets/container.stylex-BmOi-8DQ.js +1 -0
  106. package/page/assets/createReactComponent-CZwsv6DD.js +1 -0
  107. package/page/assets/decision-example-images-CZGr7YIT.js +1 -0
  108. package/page/assets/devWarning-DxuplmRl.js +1 -0
  109. package/page/assets/editor-DjpsE8to.css +1 -0
  110. package/page/assets/editor.api-Cd3ViPQa.js +908 -0
  111. package/page/assets/editor.worker-6GY8RhDc.js +1 -0
  112. package/page/assets/editor.worker-BmdWdrHZ.js +33 -0
  113. package/page/assets/editors-BJX_S59A.js +1 -0
  114. package/page/assets/egress-automata-B5ZGE1mT.js +1 -0
  115. package/page/assets/embedding-space-view-CfQBPDxD.js +140 -0
  116. package/page/assets/encode-files-Bc3HJyAh.js +1 -0
  117. package/page/assets/export-agent-C3yyzXH8.js +43 -0
  118. package/page/assets/figtree-latin-400-normal-BD4aNku5.woff +0 -0
  119. package/page/assets/figtree-latin-400-normal-g7Dtegnw.woff2 +0 -0
  120. package/page/assets/figtree-latin-500-normal-BWnGEVsr.woff2 +0 -0
  121. package/page/assets/figtree-latin-500-normal-B_yy1phn.woff +0 -0
  122. package/page/assets/figtree-latin-600-normal-BM_oTo4n.woff +0 -0
  123. package/page/assets/figtree-latin-600-normal-Cv_xCTDl.woff2 +0 -0
  124. package/page/assets/figtree-latin-700-normal-BCCt2T1q.woff +0 -0
  125. package/page/assets/figtree-latin-700-normal-th6qEP7c.woff2 +0 -0
  126. package/page/assets/focusOutline.stylex-BT0kfa4t.js +1 -0
  127. package/page/assets/focusableSelector-DXZeMU85.js +1 -0
  128. package/page/assets/groupStyles-C7Ter7zC.js +1 -0
  129. package/page/assets/guardrail-tester-Gut5xK4a.js +9 -0
  130. package/page/assets/host-patterns-C9RMP16Q.js +1 -0
  131. package/page/assets/index-CvvmFKgS.js +105 -0
  132. package/page/assets/index-DOaHlqBo.css +1 -0
  133. package/page/assets/isRtlElement-BG33-k_H.js +1 -0
  134. package/page/assets/labels-provider-4TIWDvsE.js +3 -0
  135. package/page/assets/lent-keys-C32ems-I.js +1 -0
  136. package/page/assets/live-ingress-lDUGPwth.js +1 -0
  137. package/page/assets/live-messages-CnkL4GWi.js +1 -0
  138. package/page/assets/mergeProps-ptS-gIMz.js +1 -0
  139. package/page/assets/padding.stylex-B76907Zf.js +1 -0
  140. package/page/assets/preload-helper-DpV6A1kQ.js +1 -0
  141. package/page/assets/reader-BOCCYaRp.js +7 -0
  142. package/page/assets/register-CDgivxvX.js +2 -0
  143. package/page/assets/rolldown-runtime-hePW80VL.js +1 -0
  144. package/page/assets/schemas-BQ9Jydzb.js +56 -0
  145. package/page/assets/shaped-data-BcarWqd5.js +16 -0
  146. package/page/assets/sharedResizeObserver-4U9Xq5Oq.js +1 -0
  147. package/page/assets/stub-DhdcU_Ew.js +471 -0
  148. package/page/assets/studio-code-pane-C_SAbcOa.js +8 -0
  149. package/page/assets/studio-console-DZwlEsvr.js +3 -0
  150. package/page/assets/studio-decision-B0FnCAXA.js +1 -0
  151. package/page/assets/studio-embedding-CmA51HVo.js +2 -0
  152. package/page/assets/studio-host-console-By7hqu2l.js +2 -0
  153. package/page/assets/studio-live-BrcVQcyV.js +1 -0
  154. package/page/assets/studio-map-B_xSia-z.js +1 -0
  155. package/page/assets/studio-map-Bb06Tw1F.css +1 -0
  156. package/page/assets/studio-monaco-CbKf90i6.css +1 -0
  157. package/page/assets/studio-monaco-xfyfezQS.js +34 -0
  158. package/page/assets/studio-ts.worker-B-EXG4Sv.js +67741 -0
  159. package/page/assets/studio-ts.worker-BXtW3z-O.js +1 -0
  160. package/page/assets/studio-type-checker-BOvxudki.js +23 -0
  161. package/page/assets/themeProps-3IqahpCr.js +1 -0
  162. package/page/assets/tokens.stylex-DkHf0P9C.js +1 -0
  163. package/page/assets/tool-schema-idaOe2nI.js +18 -0
  164. package/page/assets/trace-patterns-DnYJa0nI.js +1 -0
  165. package/page/assets/trace-record-C3zNksA_.js +1 -0
  166. package/page/assets/trace-schema-9CdEyG6Q.js +1 -0
  167. package/page/assets/tree-DqyAMsbI.js +3 -0
  168. package/page/assets/turn-client-Du3Um3Mg.js +2 -0
  169. package/page/assets/types-BhfXQCLx.js +1 -0
  170. package/page/assets/typescript-20GgZ8PJ.js +1 -0
  171. package/page/assets/use-one-call-Hcs8YBp1.js +1 -0
  172. package/page/assets/useAdaptivePresentation-BzmPCddb.js +1 -0
  173. package/page/assets/useClipboard-BgGRxRMJ.js +1 -0
  174. package/page/assets/useContainerReveal-BFy8N_QU.js +1 -0
  175. package/page/assets/useDevWarning-Z9SoixOP.js +1 -0
  176. package/page/assets/useLayerDismissal-B_G7IWpC.js +1 -0
  177. package/page/assets/useMediaQuery-BCT0NUeZ.js +1 -0
  178. package/page/assets/useScrollLock-Dyf6PHJt.js +1 -0
  179. package/page/assets/useScrollableArea-0NzdiBCq.js +1 -0
  180. package/page/assets/useTooltip-CJM_xhLB.js +1 -0
  181. package/page/assets/workspace-DZALqEDX.js +1 -0
  182. package/page/assets/zip-DTcEfps6.js +1 -0
  183. package/page/index.html +90 -0
  184. package/page.mjs +49 -0
  185. package/people.d.ts +87 -0
  186. package/people.js +110 -0
  187. package/policy.d.ts +43 -0
  188. package/policy.js +102 -0
  189. package/ports.d.mts +32 -0
  190. package/ports.mjs +85 -0
  191. package/probe-battery.d.ts +13 -0
  192. package/probe-battery.js +404 -0
  193. package/providers.d.ts +149 -0
  194. package/providers.js +306 -0
  195. package/read-source.d.ts +48 -0
  196. package/read-source.js +1301 -0
  197. package/read-steps.d.ts +23 -0
  198. package/read-steps.js +2 -0
  199. package/reader.d.ts +11 -0
  200. package/reader.js +11 -0
  201. package/registrations.d.ts +83 -0
  202. package/registrations.js +1 -0
  203. package/requirements.d.ts +22 -0
  204. package/requirements.js +38 -0
  205. package/run-payload-core.d.ts +28 -0
  206. package/run-payload-core.js +123 -0
  207. package/run-payload.d.ts +32 -0
  208. package/run-payload.js +26 -0
  209. package/runtime-scope.d.ts +84 -0
  210. package/runtime-scope.js +308 -0
  211. package/runtime.d.ts +84 -0
  212. package/runtime.js +387 -0
  213. package/section-notes.d.ts +33 -0
  214. package/section-notes.js +38 -0
  215. package/serve-page.mjs +96 -0
  216. package/server/draft-decide.d.ts +72 -0
  217. package/server/draft-decide.js +111 -0
  218. package/server/draft-embedding.d.ts +3 -0
  219. package/server/draft-embedding.js +35 -0
  220. package/server/draft-handler.d.ts +82 -0
  221. package/server/draft-handler.js +213 -0
  222. package/server/draft-probe.d.ts +14 -0
  223. package/server/draft-probe.js +61 -0
  224. package/server/draft-replies.d.ts +22 -0
  225. package/server/draft-replies.js +46 -0
  226. package/server/edited-session.d.ts +28 -0
  227. package/server/edited-session.js +83 -0
  228. package/server/edits.d.ts +38 -0
  229. package/server/edits.js +195 -0
  230. package/server/handler.d.ts +133 -0
  231. package/server/handler.js +598 -0
  232. package/server/lent-draft.d.ts +19 -0
  233. package/server/lent-draft.js +23 -0
  234. package/server/live.d.ts +15 -0
  235. package/server/live.js +96 -0
  236. package/server/open-editor.d.ts +63 -0
  237. package/server/open-editor.js +115 -0
  238. package/server/origins.d.ts +18 -0
  239. package/server/origins.js +330 -0
  240. package/server/project-source.d.ts +208 -0
  241. package/server/project-source.js +1042 -0
  242. package/server/project.d.ts +22 -0
  243. package/server/project.js +56 -0
  244. package/server/run-traces.d.ts +20 -0
  245. package/server/run-traces.js +96 -0
  246. package/server/save-new.d.ts +29 -0
  247. package/server/save-new.js +514 -0
  248. package/server/save-plan.d.ts +46 -0
  249. package/server/save-plan.js +1134 -0
  250. package/server/save-remove.d.ts +21 -0
  251. package/server/save-remove.js +528 -0
  252. package/server/save-session.d.ts +96 -0
  253. package/server/save-session.js +418 -0
  254. package/server/save-wire.d.ts +235 -0
  255. package/server/save-wire.js +8 -0
  256. package/server/save.d.ts +52 -0
  257. package/server/save.js +209 -0
  258. package/server/serve.d.ts +23 -0
  259. package/server/serve.js +413 -0
  260. package/server/test-connection.d.ts +17 -0
  261. package/server/test-connection.js +362 -0
  262. package/server/test-key.d.ts +2 -0
  263. package/server/test-key.js +83 -0
  264. package/server/watch.d.ts +28 -0
  265. package/server/watch.js +93 -0
  266. package/server/zod-edit.d.ts +74 -0
  267. package/server/zod-edit.js +558 -0
  268. package/server.d.ts +8 -0
  269. package/server.js +8 -0
  270. package/setups.mjs +170 -0
  271. package/shared-carry.d.ts +114 -0
  272. package/shared-carry.js +523 -0
  273. package/shared-settings.d.ts +34 -0
  274. package/shared-settings.js +70 -0
  275. package/source.d.ts +75 -0
  276. package/source.js +414 -0
  277. package/start.mjs +169 -0
  278. package/stream-lines.d.ts +9 -0
  279. package/stream-lines.js +27 -0
  280. package/stub.d.ts +6 -0
  281. package/stub.js +33 -0
  282. package/surface.d.ts +53 -0
  283. package/surface.js +631 -0
  284. package/system-markup.d.ts +20 -0
  285. package/system-markup.js +51 -0
  286. package/tool-schema.d.ts +23 -0
  287. package/tool-schema.js +69 -0
  288. package/tools.d.ts +16 -0
  289. package/tools.js +91 -0
  290. package/traces.d.ts +24 -0
  291. package/traces.js +29 -0
  292. package/transport.d.ts +57 -0
  293. package/transport.js +187 -0
  294. package/tree.d.ts +32 -0
  295. package/tree.js +83 -0
  296. package/types.d.ts +62 -0
  297. package/types.js +6 -0
  298. package/ui/acting-as-button.d.ts +2 -0
  299. package/ui/acting-as-button.js +16 -0
  300. package/ui/add-provider.d.ts +13 -0
  301. package/ui/add-provider.js +20 -0
  302. package/ui/boot-mark.css +53 -0
  303. package/ui/boot-mark.d.ts +19 -0
  304. package/ui/boot-mark.js +128 -0
  305. package/ui/boot-paint.d.ts +8 -0
  306. package/ui/boot-paint.js +8 -0
  307. package/ui/brand-icons.d.ts +57 -0
  308. package/ui/brand-icons.js +148 -0
  309. package/ui/built/theme.css +830 -0
  310. package/ui/built/theme.css.d.ts +9 -0
  311. package/ui/built/theorem-studio.d.ts +13 -0
  312. package/ui/built/theorem-studio.js +705 -0
  313. package/ui/built/theorem-studio.variants.d.ts +28 -0
  314. package/ui/code/monaco-contributions.d.ts +45 -0
  315. package/ui/code/studio-code.d.ts +7 -0
  316. package/ui/code/studio-code.js +253 -0
  317. package/ui/code/studio-monaco.d.ts +44 -0
  318. package/ui/code/studio-monaco.js +48 -0
  319. package/ui/code/studio-ts.worker.d.ts +1 -0
  320. package/ui/code/studio-ts.worker.js +16 -0
  321. package/ui/code/studio-type-checker.d.ts +12 -0
  322. package/ui/code/studio-type-checker.js +308 -0
  323. package/ui/code/studio-type-sources.d.ts +26 -0
  324. package/ui/confirm-write.d.ts +12 -0
  325. package/ui/confirm-write.js +45 -0
  326. package/ui/diff-block.d.ts +21 -0
  327. package/ui/diff-block.js +17 -0
  328. package/ui/figtree.css +59 -0
  329. package/ui/file-place.d.ts +4 -0
  330. package/ui/file-place.js +26 -0
  331. package/ui/guardrail-tester.d.ts +18 -0
  332. package/ui/guardrail-tester.js +248 -0
  333. package/ui/inspector-context.d.ts +119 -0
  334. package/ui/inspector-context.js +84 -0
  335. package/ui/inspector.d.ts +247 -0
  336. package/ui/inspector.js +284 -0
  337. package/ui/lib/acting-as.d.ts +25 -0
  338. package/ui/lib/acting-as.js +90 -0
  339. package/ui/lib/boot-sequence.d.ts +32 -0
  340. package/ui/lib/boot-sequence.js +57 -0
  341. package/ui/lib/export-agent.d.ts +11 -0
  342. package/ui/lib/export-agent.js +335 -0
  343. package/ui/lib/facet-icons.d.ts +20 -0
  344. package/ui/lib/facet-icons.js +21 -0
  345. package/ui/lib/panel-motion.d.ts +8 -0
  346. package/ui/lib/panel-motion.js +74 -0
  347. package/ui/lib/project-address.d.ts +14 -0
  348. package/ui/lib/project-address.js +24 -0
  349. package/ui/lib/project-starting.d.ts +13 -0
  350. package/ui/lib/project-starting.js +30 -0
  351. package/ui/lib/project-traces.d.ts +17 -0
  352. package/ui/lib/project-traces.js +54 -0
  353. package/ui/lib/read-map.d.ts +30 -0
  354. package/ui/lib/read-map.js +173 -0
  355. package/ui/lib/read-progress.d.ts +14 -0
  356. package/ui/lib/read-progress.js +12 -0
  357. package/ui/lib/refusal-lines.d.ts +3 -0
  358. package/ui/lib/refusal-lines.js +8 -0
  359. package/ui/lib/studio-activity.d.ts +5 -0
  360. package/ui/lib/studio-activity.js +17 -0
  361. package/ui/lib/studio-console.d.ts +27 -0
  362. package/ui/lib/studio-console.js +9 -0
  363. package/ui/lib/studio-conversation.d.ts +20 -0
  364. package/ui/lib/studio-conversation.js +130 -0
  365. package/ui/lib/studio-examples.d.ts +31 -0
  366. package/ui/lib/studio-examples.js +25 -0
  367. package/ui/lib/studio-labels.d.ts +6 -0
  368. package/ui/lib/studio-labels.js +13 -0
  369. package/ui/lib/studio-map-kept.d.ts +17 -0
  370. package/ui/lib/studio-map-kept.js +48 -0
  371. package/ui/lib/studio-open.d.ts +22 -0
  372. package/ui/lib/studio-open.js +54 -0
  373. package/ui/lib/studio-page.d.ts +33 -0
  374. package/ui/lib/studio-page.js +121 -0
  375. package/ui/lib/studio-prefs.d.ts +26 -0
  376. package/ui/lib/studio-prefs.js +87 -0
  377. package/ui/lib/studio-project.d.ts +106 -0
  378. package/ui/lib/studio-project.js +177 -0
  379. package/ui/lib/studio-restore.d.ts +49 -0
  380. package/ui/lib/studio-restore.js +251 -0
  381. package/ui/lib/studio-run-open.d.ts +15 -0
  382. package/ui/lib/studio-run-open.js +16 -0
  383. package/ui/lib/studio-session.d.ts +34 -0
  384. package/ui/lib/studio-session.js +17 -0
  385. package/ui/lib/studio-settings.d.ts +15 -0
  386. package/ui/lib/studio-settings.js +48 -0
  387. package/ui/lib/studio-store.d.ts +64 -0
  388. package/ui/lib/studio-store.js +391 -0
  389. package/ui/lib/studio-watch.d.ts +12 -0
  390. package/ui/lib/studio-watch.js +27 -0
  391. package/ui/lib/tab-fills.d.ts +6 -0
  392. package/ui/lib/tab-fills.js +14 -0
  393. package/ui/lib/tool-credentials.d.ts +3 -0
  394. package/ui/lib/tool-credentials.js +23 -0
  395. package/ui/lib/tool-probe.d.ts +19 -0
  396. package/ui/lib/tool-probe.js +104 -0
  397. package/ui/lib/type-icons.d.ts +35 -0
  398. package/ui/lib/type-icons.js +38 -0
  399. package/ui/lib/when-idle.d.ts +5 -0
  400. package/ui/lib/when-idle.js +14 -0
  401. package/ui/lib/zip.d.ts +5 -0
  402. package/ui/lib/zip.js +8 -0
  403. package/ui/map-token.css +11 -0
  404. package/ui/map-token.d.ts +17 -0
  405. package/ui/map-token.js +29 -0
  406. package/ui/mcp-icon.d.ts +6 -0
  407. package/ui/mcp-icon.js +8 -0
  408. package/ui/motion.css +113 -0
  409. package/ui/pan.d.ts +32 -0
  410. package/ui/pan.js +90 -0
  411. package/ui/profile-editor.d.ts +33 -0
  412. package/ui/profile-editor.js +2638 -0
  413. package/ui/provider-editor.d.ts +15 -0
  414. package/ui/provider-editor.js +92 -0
  415. package/ui/read-map.css +48 -0
  416. package/ui/read-map.d.ts +7 -0
  417. package/ui/read-map.js +163 -0
  418. package/ui/refusal-detail.d.ts +4 -0
  419. package/ui/refusal-detail.js +21 -0
  420. package/ui/shared-change.d.ts +9 -0
  421. package/ui/shared-change.js +28 -0
  422. package/ui/shell-motion.css +121 -0
  423. package/ui/shell-motion.d.ts +73 -0
  424. package/ui/shell-motion.js +194 -0
  425. package/ui/studio-code-pane.d.ts +19 -0
  426. package/ui/studio-code-pane.js +44 -0
  427. package/ui/studio-compare.d.ts +80 -0
  428. package/ui/studio-compare.js +326 -0
  429. package/ui/studio-conflicts.d.ts +17 -0
  430. package/ui/studio-conflicts.js +87 -0
  431. package/ui/studio-connection.d.ts +64 -0
  432. package/ui/studio-connection.js +286 -0
  433. package/ui/studio-decision.d.ts +6 -0
  434. package/ui/studio-decision.js +49 -0
  435. package/ui/studio-embedding.d.ts +6 -0
  436. package/ui/studio-embedding.js +30 -0
  437. package/ui/studio-host-console.d.ts +6 -0
  438. package/ui/studio-host-console.js +17 -0
  439. package/ui/studio-host.d.ts +73 -0
  440. package/ui/studio-host.js +12 -0
  441. package/ui/studio-live.d.ts +17 -0
  442. package/ui/studio-live.js +26 -0
  443. package/ui/studio-map.css +273 -0
  444. package/ui/studio-map.d.ts +17 -0
  445. package/ui/studio-map.js +397 -0
  446. package/ui/studio-nav.d.ts +24 -0
  447. package/ui/studio-nav.js +17 -0
  448. package/ui/studio-no-project.d.ts +5 -0
  449. package/ui/studio-no-project.js +9 -0
  450. package/ui/studio-run.css +76 -0
  451. package/ui/studio-run.d.ts +14 -0
  452. package/ui/studio-run.js +119 -0
  453. package/ui/studio-runner.d.ts +45 -0
  454. package/ui/studio-runner.js +187 -0
  455. package/ui/studio-save.d.ts +49 -0
  456. package/ui/studio-save.js +307 -0
  457. package/ui/studio-screen.d.ts +61 -0
  458. package/ui/studio-screen.js +2078 -0
  459. package/ui/studio-settings.d.ts +31 -0
  460. package/ui/studio-settings.js +288 -0
  461. package/ui/studio-shell.css +27 -0
  462. package/ui/studio-shell.d.ts +43 -0
  463. package/ui/studio-shell.js +87 -0
  464. package/ui/studio-theme.d.ts +7 -0
  465. package/ui/studio-theme.js +94 -0
  466. package/ui/studio.css +427 -0
  467. package/ui/theorem-mark.css +84 -0
  468. package/ui/theorem-mark.d.ts +22 -0
  469. package/ui/theorem-mark.js +21 -0
  470. package/vite.d.mts +30 -0
  471. package/vite.mjs +277 -0
  472. package/workspace.d.ts +230 -0
  473. package/workspace.js +1054 -0
@@ -0,0 +1,705 @@
1
+ /**
2
+ * @generated by `astryx theme build` — do not edit manually.
3
+ * Source: ui/studio-theme.ts
4
+ * Command: astryx theme build ui/studio-theme.ts --out ui/built/theme.css
5
+ * CLI: @astryxdesign/cli@0.7.0
6
+ * Core: @astryxdesign/core@0.7.0
7
+ */
8
+
9
+ import { theoremTheme } from '@theoremjs/react/ui/theme';
10
+ import { tablerIcons } from "@theoremjs/react/ui/icons";
11
+ const themeIcons = {...theoremTheme["icons"], ...tablerIcons};
12
+ /**
13
+ * theorem-studio theme — built by `npx @astryxdesign/cli theme build`
14
+ * Import the CSS file alongside this module:
15
+ *
16
+ * import { theoremStudioTheme } from './theorem-studio';
17
+ * import './theorem-studio.css';
18
+ */
19
+ export const theoremStudioTheme = {
20
+ name: 'theorem-studio',
21
+ __built: true,
22
+ tokens: {
23
+ "--font-size-4xs": "0.375rem",
24
+ "--font-size-3xs": "0.4375rem",
25
+ "--font-size-2xs": "0.5rem",
26
+ "--font-size-xs": "0.6875rem",
27
+ "--font-size-sm": "0.875rem",
28
+ "--font-size-base": "1rem",
29
+ "--font-size-lg": "1.1875rem",
30
+ "--font-size-xl": "1.375rem",
31
+ "--font-size-2xl": "1.625rem",
32
+ "--font-size-3xl": "2rem",
33
+ "--font-size-4xl": "2.375rem",
34
+ "--font-size-5xl": "2.75rem",
35
+ "--text-heading-1-size": "var(--font-size-2xl)",
36
+ "--text-heading-1-weight": "var(--font-weight-semibold)",
37
+ "--text-heading-1-leading": "1.3333",
38
+ "--text-heading-2-size": "var(--font-size-xl)",
39
+ "--text-heading-2-weight": "var(--font-weight-semibold)",
40
+ "--text-heading-2-leading": "1.4",
41
+ "--text-heading-3-size": "var(--font-size-lg)",
42
+ "--text-heading-3-weight": "var(--font-weight-bold)",
43
+ "--text-heading-3-leading": "1.4118",
44
+ "--text-heading-4-size": "var(--font-size-base)",
45
+ "--text-heading-4-weight": "var(--font-weight-bold)",
46
+ "--text-heading-4-leading": "1.4286",
47
+ "--text-heading-5-size": "var(--font-size-sm)",
48
+ "--text-heading-5-weight": "var(--font-weight-semibold)",
49
+ "--text-heading-5-leading": "1.6667",
50
+ "--text-heading-6-size": "var(--font-size-xs)",
51
+ "--text-heading-6-weight": "var(--font-weight-semibold)",
52
+ "--text-heading-6-leading": "1.6",
53
+ "--text-body-size": "var(--font-size-base)",
54
+ "--text-body-weight": "var(--font-weight-normal)",
55
+ "--text-body-leading": "1.4286",
56
+ "--text-large-size": "var(--font-size-lg)",
57
+ "--text-large-weight": "var(--font-weight-semibold)",
58
+ "--text-large-leading": "1.4118",
59
+ "--text-label-size": "var(--font-size-base)",
60
+ "--text-label-weight": "var(--font-weight-medium)",
61
+ "--text-label-leading": "1.4286",
62
+ "--text-code-size": "var(--font-size-base)",
63
+ "--text-code-weight": "var(--font-weight-normal)",
64
+ "--text-code-leading": "1.4286",
65
+ "--text-supporting-size": "var(--font-size-sm)",
66
+ "--text-supporting-weight": "var(--font-weight-normal)",
67
+ "--text-supporting-leading": "1.6667",
68
+ "--text-display-1-size": "var(--font-size-5xl)",
69
+ "--text-display-1-weight": "var(--font-weight-normal)",
70
+ "--text-display-1-leading": "1.2381",
71
+ "--text-display-2-size": "var(--font-size-4xl)",
72
+ "--text-display-2-weight": "var(--font-weight-normal)",
73
+ "--text-display-2-leading": "1.2571",
74
+ "--text-display-3-size": "var(--font-size-3xl)",
75
+ "--text-display-3-weight": "var(--font-weight-normal)",
76
+ "--text-display-3-leading": "1.3793",
77
+ "--duration-fast-min": "95ms",
78
+ "--duration-fast": "125ms",
79
+ "--duration-fast-max": "165ms",
80
+ "--duration-medium-min": "225ms",
81
+ "--duration-medium": "300ms",
82
+ "--duration-medium-max": "400ms",
83
+ "--duration-slow-min": "525ms",
84
+ "--duration-slow": "700ms",
85
+ "--duration-slow-max": "935ms",
86
+ "--font-family-body": "Figtree, -apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
87
+ "--font-family-heading": "Figtree, -apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
88
+ "--font-family-code": "ui-monospace, \"SF Mono\", Monaco, Consolas, \"Liberation Mono\", \"Courier New\", monospace",
89
+ "--color-syntax-keyword": "light-dark(#6b187c, #efa8ff)",
90
+ "--color-syntax-string": "light-dark(#0b5615, #a4d6a3)",
91
+ "--color-syntax-comment": "light-dark(#6a6a6a, #9e9e9e)",
92
+ "--color-syntax-number": "light-dark(#733100, #ffb37e)",
93
+ "--color-syntax-function": "light-dark(#00458c, #a1caff)",
94
+ "--color-syntax-type": "light-dark(#6b187c, #efa8ff)",
95
+ "--color-syntax-variable": "light-dark(#111111, #e2e2e2)",
96
+ "--color-syntax-operator": "light-dark(#6a6a6a, #9e9e9e)",
97
+ "--color-syntax-constant": "light-dark(#733100, #ffb37e)",
98
+ "--color-syntax-tag": "light-dark(#8a0011, #ffaea7)",
99
+ "--color-syntax-attribute": "light-dark(#584400, #eec448)",
100
+ "--color-syntax-property": "light-dark(#005348, #90d7c8)",
101
+ "--color-syntax-punctuation": "light-dark(#6a6a6a, #9e9e9e)",
102
+ "--color-syntax-background": "light-dark(#ffffff, #111111)",
103
+ "--color-background-surface": "light-dark(#ffffff, #262626)",
104
+ "--color-background-body": "#000000",
105
+ "--color-background-card": "light-dark(#ffffff, #1b1b1b)",
106
+ "--color-background-popover": "light-dark(#ffffff, #1b1b1b)",
107
+ "--color-background-muted": "light-dark(#f1f1f1, #1b1b1b)",
108
+ "--color-accent": "light-dark(#1b1b1b, #f1f1f1)",
109
+ "--color-accent-muted": "light-dark(#f1f1f1, #262626)",
110
+ "--color-neutral": "light-dark(#0000000F, #ffffff1A)",
111
+ "--color-overlay": "light-dark(#00000080, #000000CC)",
112
+ "--color-overlay-hover": "light-dark(#0000000D, #ffffff0D)",
113
+ "--color-overlay-pressed": "light-dark(#0000001A, #ffffff1A)",
114
+ "--color-text-primary": "light-dark(#000000, #ffffff)",
115
+ "--color-text-secondary": "light-dark(#474747, #9e9e9e)",
116
+ "--color-text-disabled": "light-dark(#919191, #525252)",
117
+ "--color-text-accent": "light-dark(#1b1b1b, #f1f1f1)",
118
+ "--color-on-dark": "#ffffff",
119
+ "--color-on-light": "#111111",
120
+ "--color-on-accent": "light-dark(#ffffff, #111111)",
121
+ "--color-on-success": "light-dark(#ffffff, #111111)",
122
+ "--color-on-error": "light-dark(#ffffff, #111111)",
123
+ "--color-on-warning": "#111111",
124
+ "--color-icon-accent": "light-dark(#1b1b1b, #f1f1f1)",
125
+ "--color-icon-primary": "light-dark(#000000, #ffffff)",
126
+ "--color-icon-secondary": "light-dark(#6a6a6a, #9e9e9e)",
127
+ "--color-icon-disabled": "light-dark(#919191, #525252)",
128
+ "--color-success": "light-dark(#00490b, #a4d6a3)",
129
+ "--color-error": "light-dark(#76000c, #ffc4be)",
130
+ "--color-warning": "light-dark(#4b3900, #f8d36a)",
131
+ "--color-success-muted": "light-dark(#bce0bb, #90ca903D)",
132
+ "--color-error-muted": "light-dark(#ffc4be, #ff98903D)",
133
+ "--color-warning-muted": "light-dark(#fae19e, #e2b6233D)",
134
+ "--color-border": "light-dark(#00000014, #ffffff1A)",
135
+ "--color-border-emphasized": "light-dark(#d4d4d4, #525252)",
136
+ "--color-skeleton": "light-dark(#f1f1f1, #525252)",
137
+ "--color-shadow": "light-dark(#0000001A, #0000004D)",
138
+ "--color-tint-hover": "light-dark(black, white)",
139
+ "--color-background-red": "light-dark(#ffc4be, #5b2b28)",
140
+ "--color-border-red": "light-dark(#ffaea7, #fa6762)",
141
+ "--color-icon-red": "light-dark(#76000c, #ff9890)",
142
+ "--color-text-red": "light-dark(#76000c, #ffaea7)",
143
+ "--color-background-orange": "light-dark(#ffc7a1, #503424)",
144
+ "--color-border-orange": "light-dark(#ffc7a1, #df843f)",
145
+ "--color-icon-orange": "light-dark(#622700, #ff9e55)",
146
+ "--color-text-orange": "light-dark(#622700, #ffb37e)",
147
+ "--color-background-yellow": "light-dark(#fae19e, #453a1c)",
148
+ "--color-border-yellow": "light-dark(#e3c36c, #c29900)",
149
+ "--color-icon-yellow": "light-dark(#4b3900, #e2b623)",
150
+ "--color-text-yellow": "light-dark(#4b3900, #eec448)",
151
+ "--color-background-green": "light-dark(#bce0bb, #2b422b)",
152
+ "--color-border-green": "light-dark(#aad4a9, #6ab26b)",
153
+ "--color-icon-green": "light-dark(#00490b, #90ca90)",
154
+ "--color-text-green": "light-dark(#00490b, #90ca90)",
155
+ "--color-background-teal": "light-dark(#a9e2d6, #28413c)",
156
+ "--color-border-teal": "light-dark(#90d7c8, #4fb1a0)",
157
+ "--color-icon-teal": "light-dark(#00463d, #81c9bb)",
158
+ "--color-text-teal": "light-dark(#00463d, #90d7c8)",
159
+ "--color-background-cyan": "light-dark(#9ae2f4, #274046)",
160
+ "--color-border-cyan": "light-dark(#85d5e9, #49adc4)",
161
+ "--color-icon-cyan": "light-dark(#004351, #71c7dd)",
162
+ "--color-text-cyan": "light-dark(#004351, #85d5e9)",
163
+ "--color-background-blue": "light-dark(#b9d7ff, #253c5a)",
164
+ "--color-border-blue": "light-dark(#a1caff, #5aa0f8)",
165
+ "--color-icon-blue": "light-dark(#003978, #88bcff)",
166
+ "--color-text-blue": "light-dark(#003978, #a1caff)",
167
+ "--color-background-purple": "light-dark(#f7d5ff, #4a2f51)",
168
+ "--color-border-purple": "light-dark(#f3bfff, #d885eb)",
169
+ "--color-icon-purple": "light-dark(#5c0e6c, #e496f6)",
170
+ "--color-text-purple": "light-dark(#5c0e6c, #eaacf8)",
171
+ "--color-background-pink": "light-dark(#ffc0d7, #572b3d)",
172
+ "--color-border-pink": "light-dark(#ffc0d7, #fc78b1)",
173
+ "--color-icon-pink": "light-dark(#70003f, #fd92bd)",
174
+ "--color-text-pink": "light-dark(#70003f, #ffa9ca)",
175
+ "--color-background-gray": "light-dark(#e2e2e2, #303030)",
176
+ "--color-border-gray": "light-dark(#d4d4d4, #262626)",
177
+ "--color-icon-gray": "light-dark(#474747, #9e9e9e)",
178
+ "--color-text-gray": "light-dark(#1b1b1b, #d4d4d4)",
179
+ "--radius-none": "0px",
180
+ "--radius-inner": "0.375rem",
181
+ "--radius-element": "0.625rem",
182
+ "--radius-container": "0.75rem",
183
+ "--radius-page": "1.75rem",
184
+ "--radius-full": "9999px",
185
+ "--shadow-low": "0 2px 4px light-dark(oklch(0 0 0 / 5%), oklch(0 0 0 / 25%)), 0 4px 8px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 40%)), inset 0 0 0 1px light-dark(transparent, oklch(1 0 0 / 8%))",
186
+ "--shadow-med": "0 2px 4px light-dark(oklch(0 0 0 / 5%), oklch(0 0 0 / 35%)), 0 4px 12px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 50%)), inset 0 0 0 1px light-dark(transparent, oklch(1 0 0 / 12%))",
187
+ "--shadow-high": "0 4px 6px light-dark(oklch(0 0 0 / 10%), oklch(0 0 0 / 50%)), 0 12px 24px light-dark(oklch(0 0 0 / 15%), oklch(0 0 0 / 70%)), inset 0 0 0 1px light-dark(transparent, oklch(1 0 0 / 15%))",
188
+ "--shadow-inset-hover": "inset 0px 0px 0px 2px #0074e24D",
189
+ "--shadow-inset-selected": "inset 0px 0px 0px 2px #0074e280",
190
+ "--shadow-inset-success": "inset 0px 0px 0px 2px #2f7d334D",
191
+ "--shadow-inset-warning": "inset 0px 0px 0px 2px #f8d36a4D",
192
+ "--shadow-inset-error": "inset 0px 0px 0px 2px #de47454D"
193
+ },
194
+ localTokens: {
195
+ "--astryx-theme-neutral-color-status-fill-accent": "light-dark(#0074e2, #6d9cfe)",
196
+ "--astryx-theme-neutral-color-status-fill-success": "light-dark(#198100, #64af4c)",
197
+ "--astryx-theme-neutral-color-status-fill-warning": "#ffce2f",
198
+ "--astryx-theme-neutral-color-status-fill-error": "light-dark(#c9303a, #ff705d)",
199
+ "--astryx-theme-neutral-color-status-muted-accent": "light-dark(#b9d7ff, #88bcff3D)",
200
+ "--astryx-theme-neutral-color-on-tint-neutral": "light-dark(#fafafa4D, #0a0a0a4D)",
201
+ "--astryx-theme-neutral-color-on-tint-overlay-hover": "light-dark(#fafafa1A, #0a0a0a1A)",
202
+ "--astryx-theme-neutral-color-on-tint-overlay-pressed": "light-dark(#fafafa33, #0a0a0a33)",
203
+ "--astryx-theme-neutral-color-destructive-overlay-hover": "light-dark(#ff7f770D, #ee736c0D)",
204
+ "--astryx-theme-neutral-color-destructive-overlay-pressed": "light-dark(#ff7f771A, #ee736c1A)"
205
+ },
206
+ __localTokenOwners: {
207
+ "--astryx-theme-neutral-color-status-fill-accent": "neutral",
208
+ "--astryx-theme-neutral-color-status-fill-success": "neutral",
209
+ "--astryx-theme-neutral-color-status-fill-warning": "neutral",
210
+ "--astryx-theme-neutral-color-status-fill-error": "neutral",
211
+ "--astryx-theme-neutral-color-status-muted-accent": "neutral",
212
+ "--astryx-theme-neutral-color-on-tint-neutral": "neutral",
213
+ "--astryx-theme-neutral-color-on-tint-overlay-hover": "neutral",
214
+ "--astryx-theme-neutral-color-on-tint-overlay-pressed": "neutral",
215
+ "--astryx-theme-neutral-color-destructive-overlay-hover": "neutral",
216
+ "--astryx-theme-neutral-color-destructive-overlay-pressed": "neutral"
217
+ },
218
+ __localTokenLineage: ["neutral","theorem","theorem-studio"],
219
+ components: {
220
+ "heading": {
221
+ "level:1": {
222
+ "fontFamily": "var(--font-family-heading)",
223
+ "fontSize": "var(--text-heading-1-size)",
224
+ "fontWeight": "var(--text-heading-1-weight)",
225
+ "lineHeight": "var(--text-heading-1-leading)"
226
+ },
227
+ "level:2": {
228
+ "fontFamily": "var(--font-family-heading)",
229
+ "fontSize": "var(--text-heading-2-size)",
230
+ "fontWeight": "var(--text-heading-2-weight)",
231
+ "lineHeight": "var(--text-heading-2-leading)"
232
+ },
233
+ "level:3": {
234
+ "fontFamily": "var(--font-family-heading)",
235
+ "fontSize": "var(--text-heading-3-size)",
236
+ "fontWeight": "var(--text-heading-3-weight)",
237
+ "lineHeight": "var(--text-heading-3-leading)"
238
+ },
239
+ "level:4": {
240
+ "fontFamily": "var(--font-family-heading)",
241
+ "fontSize": "var(--text-heading-4-size)",
242
+ "fontWeight": "var(--text-heading-4-weight)",
243
+ "lineHeight": "var(--text-heading-4-leading)"
244
+ },
245
+ "level:5": {
246
+ "fontFamily": "var(--font-family-heading)",
247
+ "fontSize": "var(--text-heading-5-size)",
248
+ "fontWeight": "var(--text-heading-5-weight)",
249
+ "lineHeight": "var(--text-heading-5-leading)"
250
+ },
251
+ "level:6": {
252
+ "fontFamily": "var(--font-family-heading)",
253
+ "fontSize": "var(--text-heading-6-size)",
254
+ "fontWeight": "var(--text-heading-6-weight)",
255
+ "lineHeight": "var(--text-heading-6-leading)"
256
+ },
257
+ "type:display-1": {
258
+ "fontFamily": "var(--font-family-heading)",
259
+ "fontSize": "var(--text-display-1-size)",
260
+ "lineHeight": "var(--text-display-1-leading)"
261
+ },
262
+ "type:display-2": {
263
+ "fontFamily": "var(--font-family-heading)",
264
+ "fontSize": "var(--text-display-2-size)",
265
+ "lineHeight": "var(--text-display-2-leading)"
266
+ },
267
+ "type:display-3": {
268
+ "fontFamily": "var(--font-family-heading)",
269
+ "fontSize": "var(--text-display-3-size)",
270
+ "lineHeight": "var(--text-display-3-leading)"
271
+ }
272
+ },
273
+ "text": {
274
+ "type:body": {
275
+ "fontFamily": "var(--font-family-body)",
276
+ "fontSize": "var(--text-body-size)",
277
+ "lineHeight": "var(--text-body-leading)"
278
+ },
279
+ "type:large": {
280
+ "fontFamily": "var(--font-family-body)",
281
+ "fontSize": "var(--text-large-size)",
282
+ "lineHeight": "var(--text-large-leading)"
283
+ },
284
+ "type:label": {
285
+ "fontFamily": "var(--font-family-body)",
286
+ "fontSize": "var(--text-label-size)",
287
+ "lineHeight": "var(--text-label-leading)"
288
+ },
289
+ "type:code": {
290
+ "fontFamily": "var(--font-family-code)",
291
+ "fontSize": "var(--text-code-size)",
292
+ "lineHeight": "var(--text-code-leading)"
293
+ },
294
+ "type:supporting": {
295
+ "fontFamily": "var(--font-family-body)",
296
+ "fontSize": "var(--text-supporting-size)",
297
+ "lineHeight": "var(--text-supporting-leading)"
298
+ },
299
+ "type:display-1": {
300
+ "fontFamily": "var(--font-family-heading)",
301
+ "fontSize": "var(--text-display-1-size)",
302
+ "lineHeight": "var(--text-display-1-leading)"
303
+ },
304
+ "type:display-2": {
305
+ "fontFamily": "var(--font-family-heading)",
306
+ "fontSize": "var(--text-display-2-size)",
307
+ "lineHeight": "var(--text-display-2-leading)"
308
+ },
309
+ "type:display-3": {
310
+ "fontFamily": "var(--font-family-heading)",
311
+ "fontSize": "var(--text-display-3-size)",
312
+ "lineHeight": "var(--text-display-3-leading)"
313
+ }
314
+ },
315
+ "button": {
316
+ "variant:destructive": {
317
+ "backgroundColor": "var(--color-error-muted)",
318
+ "color": "var(--color-error)",
319
+ "--color-overlay-hover": "var(--astryx-theme-neutral-color-destructive-overlay-hover)",
320
+ "--color-overlay-pressed": "var(--astryx-theme-neutral-color-destructive-overlay-pressed)"
321
+ }
322
+ },
323
+ "badge": {
324
+ "variant:info": {
325
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-accent)",
326
+ "color": "var(--color-on-accent)"
327
+ },
328
+ "variant:neutral": {
329
+ "backgroundColor": "var(--color-background-gray)",
330
+ "color": "var(--color-text-gray)"
331
+ },
332
+ "variant:success": {
333
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)",
334
+ "color": "var(--color-on-success)"
335
+ },
336
+ "variant:warning": {
337
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-warning)",
338
+ "color": "var(--color-on-warning)"
339
+ },
340
+ "variant:error": {
341
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)",
342
+ "color": "var(--color-on-error)"
343
+ },
344
+ "variant:red": {
345
+ "backgroundColor": "var(--color-background-red)",
346
+ "color": "var(--color-text-red)"
347
+ },
348
+ "variant:orange": {
349
+ "backgroundColor": "var(--color-background-orange)",
350
+ "color": "var(--color-text-orange)"
351
+ },
352
+ "variant:yellow": {
353
+ "backgroundColor": "var(--color-background-yellow)",
354
+ "color": "var(--color-text-yellow)"
355
+ },
356
+ "variant:green": {
357
+ "backgroundColor": "var(--color-background-green)",
358
+ "color": "var(--color-text-green)"
359
+ },
360
+ "variant:teal": {
361
+ "backgroundColor": "var(--color-background-teal)",
362
+ "color": "var(--color-text-teal)"
363
+ },
364
+ "variant:cyan": {
365
+ "backgroundColor": "var(--color-background-cyan)",
366
+ "color": "var(--color-text-cyan)"
367
+ },
368
+ "variant:blue": {
369
+ "backgroundColor": "var(--color-background-blue)",
370
+ "color": "var(--color-text-blue)"
371
+ },
372
+ "variant:purple": {
373
+ "backgroundColor": "var(--color-background-purple)",
374
+ "color": "var(--color-text-purple)"
375
+ },
376
+ "variant:pink": {
377
+ "backgroundColor": "var(--color-background-pink)",
378
+ "color": "var(--color-text-pink)"
379
+ },
380
+ "variant:gray": {
381
+ "backgroundColor": "var(--color-background-gray)",
382
+ "color": "var(--color-text-gray)"
383
+ }
384
+ },
385
+ "status-dot": {
386
+ "variant:success": {
387
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)"
388
+ },
389
+ "variant:warning": {
390
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-warning)"
391
+ },
392
+ "variant:error": {
393
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)"
394
+ },
395
+ "variant:accent": {
396
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-accent)"
397
+ }
398
+ },
399
+ "avatar-status-dot": {
400
+ "variant:success": {
401
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-success)"
402
+ },
403
+ "variant:error": {
404
+ "backgroundColor": "var(--astryx-theme-neutral-color-status-fill-error)"
405
+ }
406
+ },
407
+ "segmented-control": {
408
+ "base": {
409
+ "padding": "var(--spacing-1)"
410
+ }
411
+ },
412
+ "segmented-control-item": {
413
+ "size:sm": {
414
+ "height": "calc(var(--size-element-sm) - 8px)"
415
+ },
416
+ "size:md": {
417
+ "height": "calc(var(--size-element-md) - 8px)"
418
+ },
419
+ "size:lg": {
420
+ "height": "calc(var(--size-element-lg) - 8px)"
421
+ },
422
+ "selected": {
423
+ "boxShadow": "none"
424
+ }
425
+ },
426
+ "banner": {
427
+ "base": {
428
+ "--color-neutral": "var(--astryx-theme-neutral-color-on-tint-neutral)",
429
+ "--color-overlay-hover": "var(--astryx-theme-neutral-color-on-tint-overlay-hover)",
430
+ "--color-overlay-pressed": "var(--astryx-theme-neutral-color-on-tint-overlay-pressed)"
431
+ },
432
+ "status:info": {
433
+ "--color-accent-muted": "var(--astryx-theme-neutral-color-status-muted-accent)",
434
+ "--color-text-primary": "var(--color-text-blue)",
435
+ "--color-text-secondary": "var(--color-text-blue)",
436
+ "--color-accent": "var(--color-text-blue)"
437
+ },
438
+ "status:success": {
439
+ "--color-text-primary": "var(--color-text-green)",
440
+ "--color-text-secondary": "var(--color-text-green)",
441
+ "--color-success": "var(--color-text-green)"
442
+ },
443
+ "status:warning": {
444
+ "--color-text-primary": "var(--color-text-yellow)",
445
+ "--color-text-secondary": "var(--color-text-yellow)",
446
+ "--color-warning": "var(--color-text-yellow)"
447
+ },
448
+ "status:error": {
449
+ "--color-text-primary": "var(--color-text-red)",
450
+ "--color-text-secondary": "var(--color-text-red)",
451
+ "--color-error": "var(--color-text-red)"
452
+ }
453
+ },
454
+ "step-indicator": {
455
+ "status:accent": {
456
+ "--color-accent": "var(--astryx-theme-neutral-color-status-fill-accent)"
457
+ },
458
+ "status:success": {
459
+ "--color-success": "var(--astryx-theme-neutral-color-status-fill-success)"
460
+ },
461
+ "status:warning": {
462
+ "--color-warning": "var(--astryx-theme-neutral-color-status-fill-warning)"
463
+ },
464
+ "status:error": {
465
+ "--color-error": "var(--astryx-theme-neutral-color-status-fill-error)"
466
+ }
467
+ },
468
+ "switch": {
469
+ "base": {
470
+ "--color-background-gray": "var(--color-border-emphasized)"
471
+ }
472
+ },
473
+ "progress-bar": {
474
+ "base": {
475
+ "--color-background-muted": "var(--color-border-emphasized)"
476
+ },
477
+ "variant:accent": {
478
+ "--color-accent": "var(--astryx-theme-neutral-color-status-fill-accent)"
479
+ },
480
+ "variant:success": {
481
+ "--color-success": "var(--astryx-theme-neutral-color-status-fill-success)"
482
+ },
483
+ "variant:warning": {
484
+ "--color-warning": "var(--astryx-theme-neutral-color-status-fill-warning)"
485
+ },
486
+ "variant:error": {
487
+ "--color-error": "var(--astryx-theme-neutral-color-status-fill-error)"
488
+ }
489
+ },
490
+ "card": {
491
+ "base": {
492
+ "padding": "var(--spacing-3)"
493
+ },
494
+ "variant:bubble": {
495
+ "backgroundColor": "var(--color-neutral)",
496
+ "borderRadius": "var(--radius-chat)",
497
+ "paddingBlock": "var(--spacing-3)",
498
+ "paddingInline": "var(--spacing-4)"
499
+ }
500
+ },
501
+ "section": {
502
+ "base": {
503
+ "padding": "var(--spacing-3)"
504
+ },
505
+ "variant:raised": {
506
+ "backgroundColor": "var(--color-background-surface)",
507
+ "borderRadius": "var(--radius-page)",
508
+ "overflow": "clip"
509
+ }
510
+ },
511
+ "lightbox": {
512
+ "base": {
513
+ "padding": "var(--spacing-12)",
514
+ "::backdrop": {
515
+ "backgroundColor": "light-dark(#00000059, #00000099)"
516
+ }
517
+ }
518
+ },
519
+ "collapsible-content": {
520
+ "base": {
521
+ "display": "block",
522
+ "overflow": "clip",
523
+ "interpolateSize": "allow-keywords",
524
+ "transition": "height var(--duration-medium) var(--ease-standard), padding-top var(--duration-medium) var(--ease-standard), content-visibility var(--duration-medium) allow-discrete",
525
+ ":where([aria-expanded=\"false\"] + *)": {
526
+ "height": "0",
527
+ "paddingTop": "0",
528
+ "contentVisibility": "hidden"
529
+ }
530
+ }
531
+ },
532
+ "citation": {
533
+ "base": {
534
+ ":where(*) > [aria-hidden=\"true\"]": {
535
+ "backgroundColor": "transparent",
536
+ "borderWidth": "0",
537
+ "borderRadius": "0"
538
+ },
539
+ ":where(*) > [aria-hidden=\"true\"] > img": {
540
+ "width": "100%",
541
+ "height": "100%"
542
+ }
543
+ }
544
+ },
545
+ "chat-tool-calls": {
546
+ "base": {
547
+ ":where(*) [role=\"button\"][aria-expanded] > span:not(:first-child):not(:has(svg))": {
548
+ "alignSelf": "baseline"
549
+ }
550
+ }
551
+ },
552
+ "code-block": {
553
+ "container:card": {
554
+ "borderRadius": "var(--radius-container)"
555
+ }
556
+ },
557
+ "layout-panel": {
558
+ "base": {
559
+ ":where([role=\"complementary\"])": {
560
+ "transition": "width var(--duration-medium) var(--ease-standard)"
561
+ },
562
+ ":where([data-resizing] + [role=\"complementary\"], [role=\"complementary\"]:has(+ [data-resizing]))": {
563
+ "transition": "none"
564
+ }
565
+ }
566
+ },
567
+ "toast": {
568
+ "base": {
569
+ "width": "fit-content",
570
+ "minWidth": "min(240px, 100%)",
571
+ "justifySelf": "end"
572
+ }
573
+ },
574
+ "layout-content": {
575
+ "base": {
576
+ ":where([role=\"main\"])": {
577
+ "height": "calc(100% - 2 * var(--spacing-4))",
578
+ "marginBlock": "var(--spacing-4)",
579
+ "marginInlineEnd": "var(--spacing-4)",
580
+ "borderRadius": "var(--radius-page)"
581
+ }
582
+ }
583
+ },
584
+ "side-nav-section": {
585
+ "base": {
586
+ "paddingBlock": "var(--spacing-3)"
587
+ }
588
+ },
589
+ "tree-list-item": {
590
+ "selected:selected": {
591
+ "backgroundColor": "var(--color-overlay-pressed)"
592
+ }
593
+ },
594
+ "tree-list-item-label": {
595
+ "base": {
596
+ "minWidth": "0",
597
+ "overflow": "hidden",
598
+ "textOverflow": "ellipsis",
599
+ "whiteSpace": "nowrap"
600
+ }
601
+ },
602
+ "code": {
603
+ "base": {
604
+ "fontFamily": "inherit"
605
+ }
606
+ }
607
+ },
608
+ __onDark: {
609
+ "tokens": {
610
+ "color-scheme": "dark",
611
+ "--color-text-primary": "var(--color-on-dark)",
612
+ "--color-icon-primary": "var(--color-on-dark)",
613
+ "--color-accent": "var(--color-on-dark)"
614
+ }
615
+ },
616
+ __onLight: {
617
+ "tokens": {
618
+ "color-scheme": "light",
619
+ "--color-text-primary": "var(--color-on-light)",
620
+ "--color-icon-primary": "var(--color-on-light)",
621
+ "--color-accent": "var(--color-on-light)"
622
+ }
623
+ },
624
+ __adaptations: {
625
+ "widthBreakpoints": {
626
+ "sm": 640,
627
+ "md": 768,
628
+ "lg": 1024,
629
+ "xl": 1280,
630
+ "2xl": 1536
631
+ },
632
+ "rules": [
633
+ {
634
+ "when": {
635
+ "pointer": "coarse",
636
+ "width": {
637
+ "below": "lg"
638
+ }
639
+ },
640
+ "value": {
641
+ "typography": {
642
+ "scale": {
643
+ "base": 16,
644
+ "ratio": 1.1736
645
+ }
646
+ }
647
+ }
648
+ },
649
+ {
650
+ "when": {
651
+ "motion": "reduce"
652
+ },
653
+ "value": {
654
+ "components": {
655
+ "collapsible-content": {
656
+ "base": {
657
+ "transition": "none"
658
+ }
659
+ },
660
+ "layout-panel": {
661
+ "base": {
662
+ ":where([role=\"complementary\"])": {
663
+ "transition": "none"
664
+ }
665
+ }
666
+ }
667
+ }
668
+ }
669
+ }
670
+ ]
671
+ },
672
+ __axes: {
673
+ "typography": {
674
+ "scale": {
675
+ "base": 14,
676
+ "ratio": 1.2
677
+ },
678
+ "body": {
679
+ "family": "Figtree",
680
+ "fallbacks": "-apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif"
681
+ },
682
+ "heading": {
683
+ "family": "Figtree",
684
+ "fallbacks": "-apple-system, BlinkMacSystemFont, \"Segoe UI\", Roboto, Helvetica, Arial, sans-serif",
685
+ "weights": {
686
+ "3": "bold",
687
+ "4": "bold"
688
+ }
689
+ },
690
+ "code": {
691
+ "family": "ui-monospace",
692
+ "fallbacks": "\"SF Mono\", Monaco, Consolas, \"Liberation Mono\", \"Courier New\", monospace"
693
+ }
694
+ },
695
+ "motion": {
696
+ "fast": 125,
697
+ "medium": 300,
698
+ "slow": 700,
699
+ "ratio": 0.75
700
+ }
701
+ },
702
+ icons: themeIcons,
703
+ };
704
+
705
+ export { themeIcons };