@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.
- package/LICENSE +21 -0
- package/README.md +295 -2
- package/agreement.d.ts +14 -0
- package/agreement.js +80 -0
- package/asks.d.ts +47 -0
- package/asks.js +54 -0
- package/browser-connection.d.ts +49 -0
- package/browser-connection.js +215 -0
- package/browser-engine.d.ts +11 -0
- package/browser-engine.js +11 -0
- package/browser-execution.d.ts +6 -0
- package/browser-execution.js +18 -0
- package/browser-live.d.ts +4 -0
- package/browser-live.js +132 -0
- package/browser-transport.d.ts +33 -0
- package/browser-transport.js +229 -0
- package/browser.d.ts +4 -0
- package/browser.js +4 -0
- package/canonical.d.ts +10 -0
- package/canonical.js +25 -0
- package/compile-workspace.d.ts +28 -0
- package/compile-workspace.js +295 -0
- package/compile.d.ts +65 -0
- package/compile.js +1605 -0
- package/concierge-demo.d.ts +17 -0
- package/concierge-demo.js +1230 -0
- package/conversation-key.d.ts +5 -0
- package/conversation-key.js +10 -0
- package/decision-example-images.d.ts +30 -0
- package/decision-example-images.js +30 -0
- package/deno.json +3 -0
- package/draft.d.ts +407 -0
- package/draft.js +505 -0
- package/editors.d.ts +29 -0
- package/editors.js +51 -0
- package/example-embedding-files.d.ts +11 -0
- package/example-embedding-files.js +20 -0
- package/example.d.ts +36 -0
- package/example.js +357 -0
- package/guardrail-probe.d.ts +100 -0
- package/guardrail-probe.js +722 -0
- package/held-credentials.d.ts +28 -0
- package/held-credentials.js +87 -0
- package/installed.mjs +40 -0
- package/lent-keys.d.ts +122 -0
- package/lent-keys.js +47 -0
- package/line-diff.d.ts +15 -0
- package/line-diff.js +41 -0
- package/live-connection.d.ts +22 -0
- package/live-connection.js +27 -0
- package/live-session-bridge.d.ts +15 -0
- package/live-session-bridge.js +202 -0
- package/map-line.d.ts +19 -0
- package/map-line.js +42 -0
- package/map.d.ts +154 -0
- package/map.js +525 -0
- package/media-accept.d.ts +19 -0
- package/media-accept.js +65 -0
- package/mod.d.ts +39 -0
- package/mod.js +33 -0
- package/origins.d.ts +52 -0
- package/origins.js +165 -0
- package/package.json +85 -4
- package/page/assets/Banner-BISz3nXA.js +2 -0
- package/page/assets/BottomSheet-BwfBDtje.js +1 -0
- package/page/assets/Card-Lp-0P5eL.js +1 -0
- package/page/assets/CardWall-CBRLdDZW.js +1 -0
- package/page/assets/Center-nHS1JSux.js +1 -0
- package/page/assets/CheckboxInput-Cj5pk-KI.js +2 -0
- package/page/assets/CodeBlock-C7XJ4ioE.js +51 -0
- package/page/assets/CollapsibleGroup-N7_SOjbm.js +2 -0
- package/page/assets/ContextMenu-CBu9H-9H.js +2 -0
- package/page/assets/DateInput-BGrQ5tPC.js +1 -0
- package/page/assets/Dialog-DELWQo-v.js +1 -0
- package/page/assets/EmptyState-C8W4JKBZ.js +1 -0
- package/page/assets/HoverCard-D1Y1ltWQ.js +1 -0
- package/page/assets/Icon-JrysT8aU.js +3 -0
- package/page/assets/IconAlertTriangle-BqAEqqdU.js +1 -0
- package/page/assets/IconButton-DlOGzJIX.js +1 -0
- package/page/assets/IconEye-BB5aY-wQ.js +1 -0
- package/page/assets/IconFileText-6zOFKKrF.js +1 -0
- package/page/assets/IconSearch-BTx66a40.js +1 -0
- package/page/assets/IconShield-DDOh7Gr5.js +1 -0
- package/page/assets/ItemSwipeLayer-Ckn4X6h9.js +1 -0
- package/page/assets/PaneState-BvA2tLQg.js +1 -0
- package/page/assets/PaneState-eUzUkNE8.css +1 -0
- package/page/assets/ScrollableArea-Ckugdj1N.js +1 -0
- package/page/assets/Section-DJ97F7QE.js +1 -0
- package/page/assets/SegmentedControlItem-h-aaXzyS.js +1 -0
- package/page/assets/SidePanel-BL32abk8.js +1 -0
- package/page/assets/StackItem-CQviqAfM.js +1 -0
- package/page/assets/Text-bum6zWWx.js +2 -0
- package/page/assets/TimestampHoverCard-DQIG0RZF.js +1 -0
- package/page/assets/ToolResultCharts-CgshSv9Q.js +1 -0
- package/page/assets/Tooltip-BH9xiRMl.js +1 -0
- package/page/assets/TraceInspector-_yZiz05W.js +1 -0
- package/page/assets/TraceOverview-BPO-HIYK.js +57 -0
- package/page/assets/VStack-CkVMcNiK.js +1 -0
- package/page/assets/_virtual_studio-type-sources-ByxqQaOG.js +12936 -0
- package/page/assets/arrive-DvbqpeRS.js +1 -0
- package/page/assets/browser-engine-CYq9DQAM.js +9 -0
- package/page/assets/browser-transport-D-2jDYe7.js +47 -0
- package/page/assets/codicon-DF1abBS2.ttf +0 -0
- package/page/assets/compile-egress-BSxOdX4K.js +23 -0
- package/page/assets/container.stylex-BmOi-8DQ.js +1 -0
- package/page/assets/createReactComponent-CZwsv6DD.js +1 -0
- package/page/assets/decision-example-images-CZGr7YIT.js +1 -0
- package/page/assets/devWarning-DxuplmRl.js +1 -0
- package/page/assets/editor-DjpsE8to.css +1 -0
- package/page/assets/editor.api-Cd3ViPQa.js +908 -0
- package/page/assets/editor.worker-6GY8RhDc.js +1 -0
- package/page/assets/editor.worker-BmdWdrHZ.js +33 -0
- package/page/assets/editors-BJX_S59A.js +1 -0
- package/page/assets/egress-automata-B5ZGE1mT.js +1 -0
- package/page/assets/embedding-space-view-CfQBPDxD.js +140 -0
- package/page/assets/encode-files-Bc3HJyAh.js +1 -0
- package/page/assets/export-agent-C3yyzXH8.js +43 -0
- package/page/assets/figtree-latin-400-normal-BD4aNku5.woff +0 -0
- package/page/assets/figtree-latin-400-normal-g7Dtegnw.woff2 +0 -0
- package/page/assets/figtree-latin-500-normal-BWnGEVsr.woff2 +0 -0
- package/page/assets/figtree-latin-500-normal-B_yy1phn.woff +0 -0
- package/page/assets/figtree-latin-600-normal-BM_oTo4n.woff +0 -0
- package/page/assets/figtree-latin-600-normal-Cv_xCTDl.woff2 +0 -0
- package/page/assets/figtree-latin-700-normal-BCCt2T1q.woff +0 -0
- package/page/assets/figtree-latin-700-normal-th6qEP7c.woff2 +0 -0
- package/page/assets/focusOutline.stylex-BT0kfa4t.js +1 -0
- package/page/assets/focusableSelector-DXZeMU85.js +1 -0
- package/page/assets/groupStyles-C7Ter7zC.js +1 -0
- package/page/assets/guardrail-tester-Gut5xK4a.js +9 -0
- package/page/assets/host-patterns-C9RMP16Q.js +1 -0
- package/page/assets/index-CvvmFKgS.js +105 -0
- package/page/assets/index-DOaHlqBo.css +1 -0
- package/page/assets/isRtlElement-BG33-k_H.js +1 -0
- package/page/assets/labels-provider-4TIWDvsE.js +3 -0
- package/page/assets/lent-keys-C32ems-I.js +1 -0
- package/page/assets/live-ingress-lDUGPwth.js +1 -0
- package/page/assets/live-messages-CnkL4GWi.js +1 -0
- package/page/assets/mergeProps-ptS-gIMz.js +1 -0
- package/page/assets/padding.stylex-B76907Zf.js +1 -0
- package/page/assets/preload-helper-DpV6A1kQ.js +1 -0
- package/page/assets/reader-BOCCYaRp.js +7 -0
- package/page/assets/register-CDgivxvX.js +2 -0
- package/page/assets/rolldown-runtime-hePW80VL.js +1 -0
- package/page/assets/schemas-BQ9Jydzb.js +56 -0
- package/page/assets/shaped-data-BcarWqd5.js +16 -0
- package/page/assets/sharedResizeObserver-4U9Xq5Oq.js +1 -0
- package/page/assets/stub-DhdcU_Ew.js +471 -0
- package/page/assets/studio-code-pane-C_SAbcOa.js +8 -0
- package/page/assets/studio-console-DZwlEsvr.js +3 -0
- package/page/assets/studio-decision-B0FnCAXA.js +1 -0
- package/page/assets/studio-embedding-CmA51HVo.js +2 -0
- package/page/assets/studio-host-console-By7hqu2l.js +2 -0
- package/page/assets/studio-live-BrcVQcyV.js +1 -0
- package/page/assets/studio-map-B_xSia-z.js +1 -0
- package/page/assets/studio-map-Bb06Tw1F.css +1 -0
- package/page/assets/studio-monaco-CbKf90i6.css +1 -0
- package/page/assets/studio-monaco-xfyfezQS.js +34 -0
- package/page/assets/studio-ts.worker-B-EXG4Sv.js +67741 -0
- package/page/assets/studio-ts.worker-BXtW3z-O.js +1 -0
- package/page/assets/studio-type-checker-BOvxudki.js +23 -0
- package/page/assets/themeProps-3IqahpCr.js +1 -0
- package/page/assets/tokens.stylex-DkHf0P9C.js +1 -0
- package/page/assets/tool-schema-idaOe2nI.js +18 -0
- package/page/assets/trace-patterns-DnYJa0nI.js +1 -0
- package/page/assets/trace-record-C3zNksA_.js +1 -0
- package/page/assets/trace-schema-9CdEyG6Q.js +1 -0
- package/page/assets/tree-DqyAMsbI.js +3 -0
- package/page/assets/turn-client-Du3Um3Mg.js +2 -0
- package/page/assets/types-BhfXQCLx.js +1 -0
- package/page/assets/typescript-20GgZ8PJ.js +1 -0
- package/page/assets/use-one-call-Hcs8YBp1.js +1 -0
- package/page/assets/useAdaptivePresentation-BzmPCddb.js +1 -0
- package/page/assets/useClipboard-BgGRxRMJ.js +1 -0
- package/page/assets/useContainerReveal-BFy8N_QU.js +1 -0
- package/page/assets/useDevWarning-Z9SoixOP.js +1 -0
- package/page/assets/useLayerDismissal-B_G7IWpC.js +1 -0
- package/page/assets/useMediaQuery-BCT0NUeZ.js +1 -0
- package/page/assets/useScrollLock-Dyf6PHJt.js +1 -0
- package/page/assets/useScrollableArea-0NzdiBCq.js +1 -0
- package/page/assets/useTooltip-CJM_xhLB.js +1 -0
- package/page/assets/workspace-DZALqEDX.js +1 -0
- package/page/assets/zip-DTcEfps6.js +1 -0
- package/page/index.html +90 -0
- package/page.mjs +49 -0
- package/people.d.ts +87 -0
- package/people.js +110 -0
- package/policy.d.ts +43 -0
- package/policy.js +102 -0
- package/ports.d.mts +32 -0
- package/ports.mjs +85 -0
- package/probe-battery.d.ts +13 -0
- package/probe-battery.js +404 -0
- package/providers.d.ts +149 -0
- package/providers.js +306 -0
- package/read-source.d.ts +48 -0
- package/read-source.js +1301 -0
- package/read-steps.d.ts +23 -0
- package/read-steps.js +2 -0
- package/reader.d.ts +11 -0
- package/reader.js +11 -0
- package/registrations.d.ts +83 -0
- package/registrations.js +1 -0
- package/requirements.d.ts +22 -0
- package/requirements.js +38 -0
- package/run-payload-core.d.ts +28 -0
- package/run-payload-core.js +123 -0
- package/run-payload.d.ts +32 -0
- package/run-payload.js +26 -0
- package/runtime-scope.d.ts +84 -0
- package/runtime-scope.js +308 -0
- package/runtime.d.ts +84 -0
- package/runtime.js +387 -0
- package/section-notes.d.ts +33 -0
- package/section-notes.js +38 -0
- package/serve-page.mjs +96 -0
- package/server/draft-decide.d.ts +72 -0
- package/server/draft-decide.js +111 -0
- package/server/draft-embedding.d.ts +3 -0
- package/server/draft-embedding.js +35 -0
- package/server/draft-handler.d.ts +82 -0
- package/server/draft-handler.js +213 -0
- package/server/draft-probe.d.ts +14 -0
- package/server/draft-probe.js +61 -0
- package/server/draft-replies.d.ts +22 -0
- package/server/draft-replies.js +46 -0
- package/server/edited-session.d.ts +28 -0
- package/server/edited-session.js +83 -0
- package/server/edits.d.ts +38 -0
- package/server/edits.js +195 -0
- package/server/handler.d.ts +133 -0
- package/server/handler.js +598 -0
- package/server/lent-draft.d.ts +19 -0
- package/server/lent-draft.js +23 -0
- package/server/live.d.ts +15 -0
- package/server/live.js +96 -0
- package/server/open-editor.d.ts +63 -0
- package/server/open-editor.js +115 -0
- package/server/origins.d.ts +18 -0
- package/server/origins.js +330 -0
- package/server/project-source.d.ts +208 -0
- package/server/project-source.js +1042 -0
- package/server/project.d.ts +22 -0
- package/server/project.js +56 -0
- package/server/run-traces.d.ts +20 -0
- package/server/run-traces.js +96 -0
- package/server/save-new.d.ts +29 -0
- package/server/save-new.js +514 -0
- package/server/save-plan.d.ts +46 -0
- package/server/save-plan.js +1134 -0
- package/server/save-remove.d.ts +21 -0
- package/server/save-remove.js +528 -0
- package/server/save-session.d.ts +96 -0
- package/server/save-session.js +418 -0
- package/server/save-wire.d.ts +235 -0
- package/server/save-wire.js +8 -0
- package/server/save.d.ts +52 -0
- package/server/save.js +209 -0
- package/server/serve.d.ts +23 -0
- package/server/serve.js +413 -0
- package/server/test-connection.d.ts +17 -0
- package/server/test-connection.js +362 -0
- package/server/test-key.d.ts +2 -0
- package/server/test-key.js +83 -0
- package/server/watch.d.ts +28 -0
- package/server/watch.js +93 -0
- package/server/zod-edit.d.ts +74 -0
- package/server/zod-edit.js +558 -0
- package/server.d.ts +8 -0
- package/server.js +8 -0
- package/setups.mjs +170 -0
- package/shared-carry.d.ts +114 -0
- package/shared-carry.js +523 -0
- package/shared-settings.d.ts +34 -0
- package/shared-settings.js +70 -0
- package/source.d.ts +75 -0
- package/source.js +414 -0
- package/start.mjs +169 -0
- package/stream-lines.d.ts +9 -0
- package/stream-lines.js +27 -0
- package/stub.d.ts +6 -0
- package/stub.js +33 -0
- package/surface.d.ts +53 -0
- package/surface.js +631 -0
- package/system-markup.d.ts +20 -0
- package/system-markup.js +51 -0
- package/tool-schema.d.ts +23 -0
- package/tool-schema.js +69 -0
- package/tools.d.ts +16 -0
- package/tools.js +91 -0
- package/traces.d.ts +24 -0
- package/traces.js +29 -0
- package/transport.d.ts +57 -0
- package/transport.js +187 -0
- package/tree.d.ts +32 -0
- package/tree.js +83 -0
- package/types.d.ts +62 -0
- package/types.js +6 -0
- package/ui/acting-as-button.d.ts +2 -0
- package/ui/acting-as-button.js +16 -0
- package/ui/add-provider.d.ts +13 -0
- package/ui/add-provider.js +20 -0
- package/ui/boot-mark.css +53 -0
- package/ui/boot-mark.d.ts +19 -0
- package/ui/boot-mark.js +128 -0
- package/ui/boot-paint.d.ts +8 -0
- package/ui/boot-paint.js +8 -0
- package/ui/brand-icons.d.ts +57 -0
- package/ui/brand-icons.js +148 -0
- package/ui/built/theme.css +830 -0
- package/ui/built/theme.css.d.ts +9 -0
- package/ui/built/theorem-studio.d.ts +13 -0
- package/ui/built/theorem-studio.js +705 -0
- package/ui/built/theorem-studio.variants.d.ts +28 -0
- package/ui/code/monaco-contributions.d.ts +45 -0
- package/ui/code/studio-code.d.ts +7 -0
- package/ui/code/studio-code.js +253 -0
- package/ui/code/studio-monaco.d.ts +44 -0
- package/ui/code/studio-monaco.js +48 -0
- package/ui/code/studio-ts.worker.d.ts +1 -0
- package/ui/code/studio-ts.worker.js +16 -0
- package/ui/code/studio-type-checker.d.ts +12 -0
- package/ui/code/studio-type-checker.js +308 -0
- package/ui/code/studio-type-sources.d.ts +26 -0
- package/ui/confirm-write.d.ts +12 -0
- package/ui/confirm-write.js +45 -0
- package/ui/diff-block.d.ts +21 -0
- package/ui/diff-block.js +17 -0
- package/ui/figtree.css +59 -0
- package/ui/file-place.d.ts +4 -0
- package/ui/file-place.js +26 -0
- package/ui/guardrail-tester.d.ts +18 -0
- package/ui/guardrail-tester.js +248 -0
- package/ui/inspector-context.d.ts +119 -0
- package/ui/inspector-context.js +84 -0
- package/ui/inspector.d.ts +247 -0
- package/ui/inspector.js +284 -0
- package/ui/lib/acting-as.d.ts +25 -0
- package/ui/lib/acting-as.js +90 -0
- package/ui/lib/boot-sequence.d.ts +32 -0
- package/ui/lib/boot-sequence.js +57 -0
- package/ui/lib/export-agent.d.ts +11 -0
- package/ui/lib/export-agent.js +335 -0
- package/ui/lib/facet-icons.d.ts +20 -0
- package/ui/lib/facet-icons.js +21 -0
- package/ui/lib/panel-motion.d.ts +8 -0
- package/ui/lib/panel-motion.js +74 -0
- package/ui/lib/project-address.d.ts +14 -0
- package/ui/lib/project-address.js +24 -0
- package/ui/lib/project-starting.d.ts +13 -0
- package/ui/lib/project-starting.js +30 -0
- package/ui/lib/project-traces.d.ts +17 -0
- package/ui/lib/project-traces.js +54 -0
- package/ui/lib/read-map.d.ts +30 -0
- package/ui/lib/read-map.js +173 -0
- package/ui/lib/read-progress.d.ts +14 -0
- package/ui/lib/read-progress.js +12 -0
- package/ui/lib/refusal-lines.d.ts +3 -0
- package/ui/lib/refusal-lines.js +8 -0
- package/ui/lib/studio-activity.d.ts +5 -0
- package/ui/lib/studio-activity.js +17 -0
- package/ui/lib/studio-console.d.ts +27 -0
- package/ui/lib/studio-console.js +9 -0
- package/ui/lib/studio-conversation.d.ts +20 -0
- package/ui/lib/studio-conversation.js +130 -0
- package/ui/lib/studio-examples.d.ts +31 -0
- package/ui/lib/studio-examples.js +25 -0
- package/ui/lib/studio-labels.d.ts +6 -0
- package/ui/lib/studio-labels.js +13 -0
- package/ui/lib/studio-map-kept.d.ts +17 -0
- package/ui/lib/studio-map-kept.js +48 -0
- package/ui/lib/studio-open.d.ts +22 -0
- package/ui/lib/studio-open.js +54 -0
- package/ui/lib/studio-page.d.ts +33 -0
- package/ui/lib/studio-page.js +121 -0
- package/ui/lib/studio-prefs.d.ts +26 -0
- package/ui/lib/studio-prefs.js +87 -0
- package/ui/lib/studio-project.d.ts +106 -0
- package/ui/lib/studio-project.js +177 -0
- package/ui/lib/studio-restore.d.ts +49 -0
- package/ui/lib/studio-restore.js +251 -0
- package/ui/lib/studio-run-open.d.ts +15 -0
- package/ui/lib/studio-run-open.js +16 -0
- package/ui/lib/studio-session.d.ts +34 -0
- package/ui/lib/studio-session.js +17 -0
- package/ui/lib/studio-settings.d.ts +15 -0
- package/ui/lib/studio-settings.js +48 -0
- package/ui/lib/studio-store.d.ts +64 -0
- package/ui/lib/studio-store.js +391 -0
- package/ui/lib/studio-watch.d.ts +12 -0
- package/ui/lib/studio-watch.js +27 -0
- package/ui/lib/tab-fills.d.ts +6 -0
- package/ui/lib/tab-fills.js +14 -0
- package/ui/lib/tool-credentials.d.ts +3 -0
- package/ui/lib/tool-credentials.js +23 -0
- package/ui/lib/tool-probe.d.ts +19 -0
- package/ui/lib/tool-probe.js +104 -0
- package/ui/lib/type-icons.d.ts +35 -0
- package/ui/lib/type-icons.js +38 -0
- package/ui/lib/when-idle.d.ts +5 -0
- package/ui/lib/when-idle.js +14 -0
- package/ui/lib/zip.d.ts +5 -0
- package/ui/lib/zip.js +8 -0
- package/ui/map-token.css +11 -0
- package/ui/map-token.d.ts +17 -0
- package/ui/map-token.js +29 -0
- package/ui/mcp-icon.d.ts +6 -0
- package/ui/mcp-icon.js +8 -0
- package/ui/motion.css +113 -0
- package/ui/pan.d.ts +32 -0
- package/ui/pan.js +90 -0
- package/ui/profile-editor.d.ts +33 -0
- package/ui/profile-editor.js +2638 -0
- package/ui/provider-editor.d.ts +15 -0
- package/ui/provider-editor.js +92 -0
- package/ui/read-map.css +48 -0
- package/ui/read-map.d.ts +7 -0
- package/ui/read-map.js +163 -0
- package/ui/refusal-detail.d.ts +4 -0
- package/ui/refusal-detail.js +21 -0
- package/ui/shared-change.d.ts +9 -0
- package/ui/shared-change.js +28 -0
- package/ui/shell-motion.css +121 -0
- package/ui/shell-motion.d.ts +73 -0
- package/ui/shell-motion.js +194 -0
- package/ui/studio-code-pane.d.ts +19 -0
- package/ui/studio-code-pane.js +44 -0
- package/ui/studio-compare.d.ts +80 -0
- package/ui/studio-compare.js +326 -0
- package/ui/studio-conflicts.d.ts +17 -0
- package/ui/studio-conflicts.js +87 -0
- package/ui/studio-connection.d.ts +64 -0
- package/ui/studio-connection.js +286 -0
- package/ui/studio-decision.d.ts +6 -0
- package/ui/studio-decision.js +49 -0
- package/ui/studio-embedding.d.ts +6 -0
- package/ui/studio-embedding.js +30 -0
- package/ui/studio-host-console.d.ts +6 -0
- package/ui/studio-host-console.js +17 -0
- package/ui/studio-host.d.ts +73 -0
- package/ui/studio-host.js +12 -0
- package/ui/studio-live.d.ts +17 -0
- package/ui/studio-live.js +26 -0
- package/ui/studio-map.css +273 -0
- package/ui/studio-map.d.ts +17 -0
- package/ui/studio-map.js +397 -0
- package/ui/studio-nav.d.ts +24 -0
- package/ui/studio-nav.js +17 -0
- package/ui/studio-no-project.d.ts +5 -0
- package/ui/studio-no-project.js +9 -0
- package/ui/studio-run.css +76 -0
- package/ui/studio-run.d.ts +14 -0
- package/ui/studio-run.js +119 -0
- package/ui/studio-runner.d.ts +45 -0
- package/ui/studio-runner.js +187 -0
- package/ui/studio-save.d.ts +49 -0
- package/ui/studio-save.js +307 -0
- package/ui/studio-screen.d.ts +61 -0
- package/ui/studio-screen.js +2078 -0
- package/ui/studio-settings.d.ts +31 -0
- package/ui/studio-settings.js +288 -0
- package/ui/studio-shell.css +27 -0
- package/ui/studio-shell.d.ts +43 -0
- package/ui/studio-shell.js +87 -0
- package/ui/studio-theme.d.ts +7 -0
- package/ui/studio-theme.js +94 -0
- package/ui/studio.css +427 -0
- package/ui/theorem-mark.css +84 -0
- package/ui/theorem-mark.d.ts +22 -0
- package/ui/theorem-mark.js +21 -0
- package/vite.d.mts +30 -0
- package/vite.mjs +277 -0
- package/workspace.d.ts +230 -0
- package/workspace.js +1054 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
import{h as e}from"./tokens.stylex-DkHf0P9C.js";var t={container:{kB7OPa:`x9f619`,kZCmMZ:`x1c35znw`,kwRFfy:`x64h4k7`,kLKAdn:`x14m0hsi`,kGO01o:`xc1wllq`,"--layout-padding-own-outer-x":`x1vii845`,"--layout-padding-own-outer-y":`xojybgt`,$$css:!0}},n=e[`--spacing-4`],r=`var(--astryx-card-padding, ${n})`,i=`var(--astryx-card-padding-inline, ${r})`;`${i}`,`${i}`,`${r}`,`${r}`;var a=`var(--_section-padding-propagated, ${`var(--astryx-section-padding, ${n})`})`,o=`var(--astryx-section-padding-inline, ${a})`;`${o}`,`${o}`,`${a}`,`${a}`;var s=`var(--astryx-dialog-padding, ${n})`,c=`var(--astryx-dialog-padding-inline, ${s})`;`${c}`,`${c}`,`${s}`,`${s}`;var l=`var(--astryx-bottom-sheet-padding, ${n})`,u=`var(--astryx-bottom-sheet-padding-inline, ${l})`;`${u}`,`${u}`,`${l}`,`${l}`;var d=`var(--astryx-drawer-padding, ${n})`,f=`var(--astryx-drawer-padding-inline, ${d})`;`${f}`,`${f}`,`${d}`,`${d}`;var p={card:{containerPaddingInlineStart:{"--container-padding-inline-start":`xjmlhfd`,$$css:!0},containerPaddingInlineEnd:{"--container-padding-inline-end":`x1ihxwbr`,$$css:!0},containerPaddingBlockStart:{"--container-padding-block-start":`x1rqz8me`,$$css:!0},containerPaddingBlockEnd:{"--container-padding-block-end":`x1omyuck`,$$css:!0},layoutPaddingOuterX:{"--layout-padding-outer-x":`x14rzhog`,$$css:!0},layoutPaddingOuterY:{"--layout-padding-outer-y":`xjej9fs`,$$css:!0},layoutPaddingInnerX:{"--layout-padding-inner-x":`x4poyjn`,$$css:!0},layoutPaddingInnerY:{"--layout-padding-inner-y":`x1u1kw4e`,$$css:!0}},section:{containerPaddingInlineStart:{"--container-padding-inline-start":`x19lemt0`,$$css:!0},containerPaddingInlineEnd:{"--container-padding-inline-end":`xu1wldr`,$$css:!0},containerPaddingBlockStart:{"--container-padding-block-start":`xnw7zt4`,$$css:!0},containerPaddingBlockEnd:{"--container-padding-block-end":`xek4msv`,$$css:!0},layoutPaddingOuterX:{"--layout-padding-outer-x":`x15i0zw9`,$$css:!0},layoutPaddingOuterY:{"--layout-padding-outer-y":`x1vw4zgg`,$$css:!0},layoutPaddingInnerX:{"--layout-padding-inner-x":`x1v3gmnx`,$$css:!0},layoutPaddingInnerY:{"--layout-padding-inner-y":`x15yx5hm`,$$css:!0}},dialog:{containerPaddingInlineStart:{"--container-padding-inline-start":`x1tewnwq`,$$css:!0},containerPaddingInlineEnd:{"--container-padding-inline-end":`x11h1f2o`,$$css:!0},containerPaddingBlockStart:{"--container-padding-block-start":`x1g2kccc`,$$css:!0},containerPaddingBlockEnd:{"--container-padding-block-end":`x1gvthzm`,$$css:!0},layoutPaddingOuterX:{"--layout-padding-outer-x":`x1hsjncj`,$$css:!0},layoutPaddingOuterY:{"--layout-padding-outer-y":`x1pui4bz`,$$css:!0},layoutPaddingInnerX:{"--layout-padding-inner-x":`x2so38`,$$css:!0},layoutPaddingInnerY:{"--layout-padding-inner-y":`xinu7xd`,$$css:!0}},"bottom-sheet":{containerPaddingInlineStart:{"--container-padding-inline-start":`xv7mus7`,$$css:!0},containerPaddingInlineEnd:{"--container-padding-inline-end":`x1ui7op6`,$$css:!0},containerPaddingBlockStart:{"--container-padding-block-start":`x8qn3ha`,$$css:!0},containerPaddingBlockEnd:{"--container-padding-block-end":`x1of45zw`,$$css:!0},layoutPaddingOuterX:{"--layout-padding-outer-x":`x11ixy8q`,$$css:!0},layoutPaddingOuterY:{"--layout-padding-outer-y":`x1iwhsh0`,$$css:!0},layoutPaddingInnerX:{"--layout-padding-inner-x":`xp9icaw`,$$css:!0},layoutPaddingInnerY:{"--layout-padding-inner-y":`x10u54dy`,$$css:!0}},drawer:{containerPaddingInlineStart:{"--container-padding-inline-start":`x1mndvw9`,$$css:!0},containerPaddingInlineEnd:{"--container-padding-inline-end":`xlsqznw`,$$css:!0},containerPaddingBlockStart:{"--container-padding-block-start":`x18184ib`,$$css:!0},containerPaddingBlockEnd:{"--container-padding-block-end":`x1g5mqay`,$$css:!0},layoutPaddingOuterX:{"--layout-padding-outer-x":`x18e7m0u`,$$css:!0},layoutPaddingOuterY:{"--layout-padding-outer-y":`xc006j`,$$css:!0},layoutPaddingInnerX:{"--layout-padding-inner-x":`x1qbr0dm`,$$css:!0},layoutPaddingInnerY:{"--layout-padding-inner-y":`x1ek71mq`,$$css:!0}}},m={spacing0:{"--container-padding-inline-start":`x1gu2k80`,$$css:!0},spacing0_5:{"--container-padding-inline-start":`x14ws0sr`,$$css:!0},spacing1:{"--container-padding-inline-start":`x1cvlban`,$$css:!0},spacing1_5:{"--container-padding-inline-start":`x176g23i`,$$css:!0},spacing2:{"--container-padding-inline-start":`x1xlrr2o`,$$css:!0},spacing3:{"--container-padding-inline-start":`xfdwxua`,$$css:!0},spacing4:{"--container-padding-inline-start":`x1dlhslv`,$$css:!0},spacing5:{"--container-padding-inline-start":`x1s81nki`,$$css:!0},spacing6:{"--container-padding-inline-start":`x1ep0dkj`,$$css:!0},spacing7:{"--container-padding-inline-start":`x157xojc`,$$css:!0},spacing8:{"--container-padding-inline-start":`xw1diwv`,$$css:!0},spacing9:{"--container-padding-inline-start":`xraca2a`,$$css:!0},spacing10:{"--container-padding-inline-start":`xserb3f`,$$css:!0},spacing11:{"--container-padding-inline-start":`xziclwo`,$$css:!0},spacing12:{"--container-padding-inline-start":`x1iiwihq`,$$css:!0}},h={spacing0:{"--container-padding-inline-end":`x91ghl5`,$$css:!0},spacing0_5:{"--container-padding-inline-end":`x1wz3t3y`,$$css:!0},spacing1:{"--container-padding-inline-end":`x2oyxnl`,$$css:!0},spacing1_5:{"--container-padding-inline-end":`xntetml`,$$css:!0},spacing2:{"--container-padding-inline-end":`xcas3b9`,$$css:!0},spacing3:{"--container-padding-inline-end":`xu0ipoa`,$$css:!0},spacing4:{"--container-padding-inline-end":`xs0pscg`,$$css:!0},spacing5:{"--container-padding-inline-end":`xgkj7vj`,$$css:!0},spacing6:{"--container-padding-inline-end":`x94cj42`,$$css:!0},spacing7:{"--container-padding-inline-end":`x11tj35w`,$$css:!0},spacing8:{"--container-padding-inline-end":`x1b9k1pi`,$$css:!0},spacing9:{"--container-padding-inline-end":`x19w02kr`,$$css:!0},spacing10:{"--container-padding-inline-end":`xx5lg5w`,$$css:!0},spacing11:{"--container-padding-inline-end":`x1nmgbqg`,$$css:!0},spacing12:{"--container-padding-inline-end":`x1wsfsk2`,$$css:!0}},g={spacing0:{"--container-padding-block-start":`x1i3qcxz`,$$css:!0},spacing0_5:{"--container-padding-block-start":`xvdf9ev`,$$css:!0},spacing1:{"--container-padding-block-start":`xnsckjb`,$$css:!0},spacing1_5:{"--container-padding-block-start":`x1kbx601`,$$css:!0},spacing2:{"--container-padding-block-start":`xa8b4fq`,$$css:!0},spacing3:{"--container-padding-block-start":`x11k4f5r`,$$css:!0},spacing4:{"--container-padding-block-start":`xm01sq8`,$$css:!0},spacing5:{"--container-padding-block-start":`xp8wdkl`,$$css:!0},spacing6:{"--container-padding-block-start":`x1hmud4d`,$$css:!0},spacing7:{"--container-padding-block-start":`x1c00sag`,$$css:!0},spacing8:{"--container-padding-block-start":`xfv60at`,$$css:!0},spacing9:{"--container-padding-block-start":`x14fzdu7`,$$css:!0},spacing10:{"--container-padding-block-start":`x17h9kl7`,$$css:!0},spacing11:{"--container-padding-block-start":`x1rdjxae`,$$css:!0},spacing12:{"--container-padding-block-start":`xecwdl6`,$$css:!0}},_={spacing0:{"--container-padding-block-end":`xkunwnr`,$$css:!0},spacing0_5:{"--container-padding-block-end":`x1cao3zv`,$$css:!0},spacing1:{"--container-padding-block-end":`x57a7ii`,$$css:!0},spacing1_5:{"--container-padding-block-end":`xv53x8y`,$$css:!0},spacing2:{"--container-padding-block-end":`x1lsgcmx`,$$css:!0},spacing3:{"--container-padding-block-end":`x1q3ppug`,$$css:!0},spacing4:{"--container-padding-block-end":`x4hfsld`,$$css:!0},spacing5:{"--container-padding-block-end":`xbib2ws`,$$css:!0},spacing6:{"--container-padding-block-end":`x1q8d17g`,$$css:!0},spacing7:{"--container-padding-block-end":`x1yqogew`,$$css:!0},spacing8:{"--container-padding-block-end":`x8lgq76`,$$css:!0},spacing9:{"--container-padding-block-end":`x1f7f9rt`,$$css:!0},spacing10:{"--container-padding-block-end":`x15vxphk`,$$css:!0},spacing11:{"--container-padding-block-end":`x4bg2x9`,$$css:!0},spacing12:{"--container-padding-block-end":`x186mjxr`,$$css:!0}},v={spacing0:{"--layout-padding-outer-x":`xswhm3q`,$$css:!0},spacing0_5:{"--layout-padding-outer-x":`xihiwg7`,$$css:!0},spacing1:{"--layout-padding-outer-x":`xc96xmq`,$$css:!0},spacing1_5:{"--layout-padding-outer-x":`x1u93lgd`,$$css:!0},spacing2:{"--layout-padding-outer-x":`x15dxnc0`,$$css:!0},spacing3:{"--layout-padding-outer-x":`xadgj3j`,$$css:!0},spacing4:{"--layout-padding-outer-x":`x1v56qcf`,$$css:!0},spacing5:{"--layout-padding-outer-x":`x1nzs0gl`,$$css:!0},spacing6:{"--layout-padding-outer-x":`x1c3n52a`,$$css:!0},spacing7:{"--layout-padding-outer-x":`x1gfiokx`,$$css:!0},spacing8:{"--layout-padding-outer-x":`x1t3kfz`,$$css:!0},spacing9:{"--layout-padding-outer-x":`xzr4qsh`,$$css:!0},spacing10:{"--layout-padding-outer-x":`x1jdf5a4`,$$css:!0},spacing11:{"--layout-padding-outer-x":`x1hct0t0`,$$css:!0},spacing12:{"--layout-padding-outer-x":`x11cyqoe`,$$css:!0}},y={spacing0:{"--layout-padding-outer-y":`x1mzf5mb`,$$css:!0},spacing0_5:{"--layout-padding-outer-y":`x1vj96e0`,$$css:!0},spacing1:{"--layout-padding-outer-y":`x1gpfxoh`,$$css:!0},spacing1_5:{"--layout-padding-outer-y":`xd3dqby`,$$css:!0},spacing2:{"--layout-padding-outer-y":`x10pz7y9`,$$css:!0},spacing3:{"--layout-padding-outer-y":`x1p6yq3h`,$$css:!0},spacing4:{"--layout-padding-outer-y":`xx738ci`,$$css:!0},spacing5:{"--layout-padding-outer-y":`x6yxws5`,$$css:!0},spacing6:{"--layout-padding-outer-y":`x180vrwl`,$$css:!0},spacing7:{"--layout-padding-outer-y":`x1q6rme1`,$$css:!0},spacing8:{"--layout-padding-outer-y":`xid7e43`,$$css:!0},spacing9:{"--layout-padding-outer-y":`x1t5kicu`,$$css:!0},spacing10:{"--layout-padding-outer-y":`x26l4wa`,$$css:!0},spacing11:{"--layout-padding-outer-y":`x10zktp0`,$$css:!0},spacing12:{"--layout-padding-outer-y":`x1yz3n6a`,$$css:!0}},b={spacing0:{"--layout-padding-inner-x":`xj1bl4l`,$$css:!0},spacing0_5:{"--layout-padding-inner-x":`xlriy2h`,$$css:!0},spacing1:{"--layout-padding-inner-x":`x6uuyak`,$$css:!0},spacing1_5:{"--layout-padding-inner-x":`xd38f90`,$$css:!0},spacing2:{"--layout-padding-inner-x":`xxqksqd`,$$css:!0},spacing3:{"--layout-padding-inner-x":`x1fyui2f`,$$css:!0},spacing4:{"--layout-padding-inner-x":`x1i2ajwi`,$$css:!0},spacing5:{"--layout-padding-inner-x":`x1tac27u`,$$css:!0},spacing6:{"--layout-padding-inner-x":`x1ntgf3t`,$$css:!0},spacing7:{"--layout-padding-inner-x":`xhjd9tl`,$$css:!0},spacing8:{"--layout-padding-inner-x":`xn7c84u`,$$css:!0},spacing9:{"--layout-padding-inner-x":`xeqkbsz`,$$css:!0},spacing10:{"--layout-padding-inner-x":`x1vf4qco`,$$css:!0},spacing11:{"--layout-padding-inner-x":`xsmamsf`,$$css:!0},spacing12:{"--layout-padding-inner-x":`x2xk2xj`,$$css:!0}},x={spacing0:{"--layout-padding-inner-y":`xwuefyo`,$$css:!0},spacing0_5:{"--layout-padding-inner-y":`x180h0y5`,$$css:!0},spacing1:{"--layout-padding-inner-y":`xmpug6m`,$$css:!0},spacing1_5:{"--layout-padding-inner-y":`x1g8jpzm`,$$css:!0},spacing2:{"--layout-padding-inner-y":`x1lksgje`,$$css:!0},spacing3:{"--layout-padding-inner-y":`x4j7gld`,$$css:!0},spacing4:{"--layout-padding-inner-y":`x1s3ehtl`,$$css:!0},spacing5:{"--layout-padding-inner-y":`x1rj5eim`,$$css:!0},spacing6:{"--layout-padding-inner-y":`x1ftgg6u`,$$css:!0},spacing7:{"--layout-padding-inner-y":`x1ho74vh`,$$css:!0},spacing8:{"--layout-padding-inner-y":`xm2cs6f`,$$css:!0},spacing9:{"--layout-padding-inner-y":`x1vsq92b`,$$css:!0},spacing10:{"--layout-padding-inner-y":`x18gbwmk`,$$css:!0},spacing11:{"--layout-padding-inner-y":`x14zymzj`,$$css:!0},spacing12:{"--layout-padding-inner-y":`xzfpkx9`,$$css:!0}},S={containerMaxHeight:e=>[{"--container-max-height":e==null?e:`x18nyedi`,$$css:!0},{"--x---container-max-height":e??void 0}]};function C({padding:e=`spacing4`,paddingOuterX:n,paddingOuterY:r,paddingInnerX:i,paddingInnerY:a,useThemeDefault:o,maxHeight:s}){let c=n??e,l=r??e,u=i??e,d=a??e,f=s?S.containerMaxHeight(s):null;if(o){let e=p[o];return[t.container,e.containerPaddingInlineStart,e.containerPaddingInlineEnd,e.containerPaddingBlockStart,e.containerPaddingBlockEnd,e.layoutPaddingOuterX,e.layoutPaddingOuterY,e.layoutPaddingInnerX,e.layoutPaddingInnerY,f]}return[t.container,m[c],h[c],g[l],_[l],v[c],y[l],b[u],x[d],f]}export{C as t};
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
import{r as e}from"./rolldown-runtime-hePW80VL.js";import{u as t}from"./themeProps-3IqahpCr.js";var n=e(t(),1),r={outline:{xmlns:`http://www.w3.org/2000/svg`,width:24,height:24,viewBox:`0 0 24 24`,fill:`none`,stroke:`currentColor`,strokeWidth:2,strokeLinecap:`round`,strokeLinejoin:`round`},filled:{xmlns:`http://www.w3.org/2000/svg`,width:24,height:24,viewBox:`0 0 24 24`,fill:`currentColor`,stroke:`none`}},i=(e,t,i,a)=>{let o=(0,n.forwardRef)(({color:i=`currentColor`,size:o=24,stroke:s=2,title:c,className:l,children:u,...d},f)=>(0,n.createElement)(`svg`,{ref:f,...r[e],width:o,height:o,className:[`tabler-icon`,`tabler-icon-${t}`,l].filter(Boolean).join(` `),...e===`filled`?{fill:i}:{strokeWidth:s,stroke:i},...d},[c&&(0,n.createElement)(`title`,{key:`svg-title`},c),...a.map(([e,t])=>(0,n.createElement)(e,t)),...Array.isArray(u)?u:[u]]));return o.displayName=`${i}`,o};export{i as t};
|