@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,12 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* What the page that shows the studio gives it: the pieces that belong to the host's build rather
|
|
3
|
+
* than to the screen.
|
|
4
|
+
*/
|
|
5
|
+
import { createContext, useContext } from 'react';
|
|
6
|
+
export const StudioHostContext = createContext(null);
|
|
7
|
+
export function useStudioHost() {
|
|
8
|
+
const host = useContext(StudioHostContext);
|
|
9
|
+
if (!host)
|
|
10
|
+
throw new Error('The studio screen needs a host.');
|
|
11
|
+
return host;
|
|
12
|
+
}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
import { type LiveRunnerProps } from '@theoremjs/react/live';
|
|
2
|
+
import { type StudioBrowserRuntime } from '../browser.ts';
|
|
3
|
+
import { type StudioRunPayload } from '../mod.ts';
|
|
4
|
+
/** What a live call is run with, wherever it runs. */
|
|
5
|
+
export type StudioLiveProps = Pick<LiveRunnerProps, 'trace' | 'slots' | 'context'> & {
|
|
6
|
+
payload: StudioRunPayload;
|
|
7
|
+
/** Called as each call starts. */
|
|
8
|
+
note: () => void;
|
|
9
|
+
};
|
|
10
|
+
/** A live profile's call: in the browser's runtime when there is one, else through the studio's server. */
|
|
11
|
+
export declare function StudioLive({ runtime, ...props }: StudioLiveProps & {
|
|
12
|
+
runtime: StudioBrowserRuntime | null;
|
|
13
|
+
}): import("react").JSX.Element;
|
|
14
|
+
/** A project's live profile: the call runs in the project, through the studio's local server. */
|
|
15
|
+
export declare function ProjectLive({ endpoint, ...props }: StudioLiveProps & {
|
|
16
|
+
endpoint: string;
|
|
17
|
+
}): import("react").JSX.Element;
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
import { jsx as _jsx } from "react/jsx-runtime";
|
|
2
|
+
import { LiveRunner } from '@theoremjs/react/live';
|
|
3
|
+
import { useMemo } from 'react';
|
|
4
|
+
import { browserStudioLiveConnection } from "../browser.js";
|
|
5
|
+
import { studioInterface, studioLiveConnection, studioPageTools, } from "../mod.js";
|
|
6
|
+
import { STUDIO_LABELS } from "./lib/studio-labels.js";
|
|
7
|
+
/** A live profile's call: in the browser's runtime when there is one, else through the studio's server. */
|
|
8
|
+
export function StudioLive({ runtime, ...props }) {
|
|
9
|
+
const { payload } = props;
|
|
10
|
+
return (_jsx(LiveView, { ...props, connect: () => runtime ? browserStudioLiveConnection(payload, runtime) : studioLiveConnection(payload) }));
|
|
11
|
+
}
|
|
12
|
+
/** A project's live profile: the call runs in the project, through the studio's local server. */
|
|
13
|
+
export function ProjectLive({ endpoint, ...props }) {
|
|
14
|
+
return (_jsx(LiveView, { ...props, connect: () => ({ createSocket: () => new WebSocket(endpoint.replace(/^http/, 'ws')) }) }));
|
|
15
|
+
}
|
|
16
|
+
function LiveView({ payload, note, connect, trace, slots, context, }) {
|
|
17
|
+
const iface = useMemo(() => studioInterface(payload), [payload]);
|
|
18
|
+
/** The studio's page answers each page tool with the tool's stub. */
|
|
19
|
+
const pageTools = useMemo(() => studioPageTools(payload), [payload]);
|
|
20
|
+
if (iface.type !== 'live')
|
|
21
|
+
return null;
|
|
22
|
+
return (_jsx(LiveRunner, { labels: STUDIO_LABELS, iface: iface, connection: () => {
|
|
23
|
+
note();
|
|
24
|
+
return connect();
|
|
25
|
+
}, trace: trace, slots: slots, context: context, pageTools: pageTools }));
|
|
26
|
+
}
|
|
@@ -0,0 +1,273 @@
|
|
|
1
|
+
/*
|
|
2
|
+
* The map, panned both ways. The scrollport is the query box, so the field is at least the panel
|
|
3
|
+
* and only larger when the columns need the room. The lines are one drawing under the nodes. The
|
|
4
|
+
* nodes are the loader's tokens (map-token.css); with detail they are buttons, and a profile is a
|
|
5
|
+
* card of them: its head, then a row for each section. Every colour, radius and timing is an Astryx
|
|
6
|
+
* theme token. The panel's own motion brings the map in.
|
|
7
|
+
*/
|
|
8
|
+
.studio-map-frame {
|
|
9
|
+
position: relative;
|
|
10
|
+
height: 100%;
|
|
11
|
+
min-height: 0;
|
|
12
|
+
}
|
|
13
|
+
|
|
14
|
+
.studio-map-scroll {
|
|
15
|
+
container-type: size;
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
/* Over the field's corner: what the right click offers, and Close. */
|
|
19
|
+
.studio-map-tools {
|
|
20
|
+
position: absolute;
|
|
21
|
+
inset-block-start: var(--spacing-3);
|
|
22
|
+
inset-inline-end: var(--spacing-3);
|
|
23
|
+
display: flex;
|
|
24
|
+
gap: var(--spacing-2);
|
|
25
|
+
}
|
|
26
|
+
|
|
27
|
+
/* A search that finds nothing says so over the bare field. */
|
|
28
|
+
.studio-map-nothing {
|
|
29
|
+
position: absolute;
|
|
30
|
+
inset: 0;
|
|
31
|
+
pointer-events: none;
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
.studio-map {
|
|
35
|
+
position: relative;
|
|
36
|
+
width: var(--map-width);
|
|
37
|
+
height: var(--map-height);
|
|
38
|
+
background-color: var(--color-background-surface);
|
|
39
|
+
cursor: grab;
|
|
40
|
+
user-select: none;
|
|
41
|
+
}
|
|
42
|
+
|
|
43
|
+
.studio-map[data-panning] {
|
|
44
|
+
cursor: grabbing;
|
|
45
|
+
}
|
|
46
|
+
|
|
47
|
+
@supports (width: 1cqw) {
|
|
48
|
+
.studio-map {
|
|
49
|
+
width: max(100cqw, var(--map-width));
|
|
50
|
+
height: max(100cqh, var(--map-height));
|
|
51
|
+
}
|
|
52
|
+
}
|
|
53
|
+
|
|
54
|
+
/* The right click's own box holds the field, however far it runs, with a screen of room past it
|
|
55
|
+
on every side: the map pans as far as the pointer goes. */
|
|
56
|
+
[data-map-field] {
|
|
57
|
+
width: max-content;
|
|
58
|
+
min-width: 100%;
|
|
59
|
+
padding: 100vh 100vw;
|
|
60
|
+
background-color: var(--color-background-surface);
|
|
61
|
+
}
|
|
62
|
+
|
|
63
|
+
.studio-map-lines {
|
|
64
|
+
position: absolute;
|
|
65
|
+
inset: 0 auto auto 0;
|
|
66
|
+
pointer-events: none;
|
|
67
|
+
}
|
|
68
|
+
|
|
69
|
+
.studio-map-lines .map-line {
|
|
70
|
+
stroke: color-mix(in srgb, var(--color-border-emphasized) 60%, var(--color-background-surface));
|
|
71
|
+
transition: stroke var(--duration-fast) var(--ease-standard);
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
/* A tool asking a profile and a profile summarised by another run against the columns: dashed. */
|
|
75
|
+
.studio-map-lines .map-line:is([data-kind="asks"], [data-kind="summarised"]) {
|
|
76
|
+
stroke-dasharray: 4 4;
|
|
77
|
+
}
|
|
78
|
+
|
|
79
|
+
.studio-map-heading {
|
|
80
|
+
position: absolute;
|
|
81
|
+
pointer-events: none;
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
/* What a node holds fades, and takes its colour, over a moment. */
|
|
85
|
+
.studio-map-node > *,
|
|
86
|
+
.studio-map-card > * {
|
|
87
|
+
transition:
|
|
88
|
+
opacity var(--duration-fast) var(--ease-standard),
|
|
89
|
+
background-color var(--duration-fast) var(--ease-standard);
|
|
90
|
+
}
|
|
91
|
+
|
|
92
|
+
.studio-map .map-token > * {
|
|
93
|
+
transition:
|
|
94
|
+
opacity var(--duration-fast) var(--ease-standard),
|
|
95
|
+
background-image var(--duration-fast) var(--ease-standard);
|
|
96
|
+
}
|
|
97
|
+
|
|
98
|
+
.studio-map .map-token {
|
|
99
|
+
display: flex;
|
|
100
|
+
max-width: var(--map-slot);
|
|
101
|
+
overflow: hidden;
|
|
102
|
+
border-radius: var(--radius-inner);
|
|
103
|
+
background: var(--color-background-surface);
|
|
104
|
+
}
|
|
105
|
+
|
|
106
|
+
/* With detail a node is its token grown: the token's fill, corners, type and padding, as wide
|
|
107
|
+
as what it holds up to the slot. Each line of it is as tall as a token. */
|
|
108
|
+
.studio-map-node,
|
|
109
|
+
.studio-map-card {
|
|
110
|
+
position: absolute;
|
|
111
|
+
box-sizing: border-box;
|
|
112
|
+
display: flex;
|
|
113
|
+
flex-direction: column;
|
|
114
|
+
width: max-content;
|
|
115
|
+
max-width: var(--map-slot);
|
|
116
|
+
overflow: hidden;
|
|
117
|
+
padding: 0;
|
|
118
|
+
border: 0;
|
|
119
|
+
border-radius: var(--radius-inner);
|
|
120
|
+
background: linear-gradient(var(--map-fill), var(--map-fill)), var(--color-background-surface);
|
|
121
|
+
color: var(--color-text-primary);
|
|
122
|
+
font-family: inherit;
|
|
123
|
+
--map-fill: var(--color-neutral);
|
|
124
|
+
text-align: start;
|
|
125
|
+
transition:
|
|
126
|
+
background-color var(--duration-fast) var(--ease-standard),
|
|
127
|
+
opacity var(--duration-fast) var(--ease-standard);
|
|
128
|
+
}
|
|
129
|
+
|
|
130
|
+
.studio-map-node,
|
|
131
|
+
.studio-map-head,
|
|
132
|
+
.studio-map-row {
|
|
133
|
+
cursor: pointer;
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
.studio-map-head,
|
|
137
|
+
.studio-map-row {
|
|
138
|
+
box-sizing: border-box;
|
|
139
|
+
flex: none;
|
|
140
|
+
padding: 0;
|
|
141
|
+
border: 0;
|
|
142
|
+
background: none;
|
|
143
|
+
color: inherit;
|
|
144
|
+
font: inherit;
|
|
145
|
+
text-align: start;
|
|
146
|
+
}
|
|
147
|
+
|
|
148
|
+
.studio-map-head {
|
|
149
|
+
display: flex;
|
|
150
|
+
flex-direction: column;
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
.studio-map-name,
|
|
154
|
+
.studio-map-row {
|
|
155
|
+
display: flex;
|
|
156
|
+
gap: var(--spacing-1);
|
|
157
|
+
align-items: center;
|
|
158
|
+
height: var(--map-line);
|
|
159
|
+
padding-inline: var(--spacing-3);
|
|
160
|
+
}
|
|
161
|
+
|
|
162
|
+
.studio-map-name > span,
|
|
163
|
+
.studio-map-row > span {
|
|
164
|
+
min-width: 0;
|
|
165
|
+
}
|
|
166
|
+
|
|
167
|
+
/* Under the name, from where the name starts: past the icon and its gap. */
|
|
168
|
+
.studio-map-note {
|
|
169
|
+
padding-inline: calc(var(--spacing-3) + 16px + var(--spacing-1)) var(--spacing-3);
|
|
170
|
+
}
|
|
171
|
+
|
|
172
|
+
.studio-map-row {
|
|
173
|
+
transition:
|
|
174
|
+
opacity var(--duration-fast) var(--ease-standard),
|
|
175
|
+
background-color var(--duration-fast) var(--ease-standard);
|
|
176
|
+
}
|
|
177
|
+
|
|
178
|
+
.studio-map-row > .studio-map-row-note {
|
|
179
|
+
flex: 1;
|
|
180
|
+
padding-inline-start: var(--spacing-3);
|
|
181
|
+
}
|
|
182
|
+
|
|
183
|
+
:is(.studio-map-node, .studio-map-head):has(> .studio-map-note) {
|
|
184
|
+
padding-block-end: var(--spacing-2);
|
|
185
|
+
}
|
|
186
|
+
|
|
187
|
+
/* The section under the pointer, and each one a lit line ends on. */
|
|
188
|
+
.studio-map-row:is(:hover, :focus-visible, [data-on]),
|
|
189
|
+
.studio-map-head:is(:hover, :focus-visible) {
|
|
190
|
+
background: var(--color-background-card);
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
/* A provider, and a shared setting nothing here uses, open nothing. */
|
|
194
|
+
.studio-map-node:disabled {
|
|
195
|
+
cursor: default;
|
|
196
|
+
}
|
|
197
|
+
|
|
198
|
+
.studio-map-node:focus-visible {
|
|
199
|
+
outline: 2px solid var(--color-accent);
|
|
200
|
+
outline-offset: 2px;
|
|
201
|
+
}
|
|
202
|
+
|
|
203
|
+
.studio-map-card :is(.studio-map-head, .studio-map-row):focus-visible {
|
|
204
|
+
outline: 2px solid var(--color-accent);
|
|
205
|
+
outline-offset: -2px;
|
|
206
|
+
}
|
|
207
|
+
|
|
208
|
+
/* The profile or tool open in the editor, and the section of it that is open. */
|
|
209
|
+
.studio-map-node[aria-current],
|
|
210
|
+
.studio-map-card[data-open] {
|
|
211
|
+
--map-fill: var(--color-background-blue);
|
|
212
|
+
color: var(--color-text-blue);
|
|
213
|
+
}
|
|
214
|
+
|
|
215
|
+
.studio-map-row[aria-current] {
|
|
216
|
+
background: var(--color-background-card);
|
|
217
|
+
}
|
|
218
|
+
|
|
219
|
+
/* What a search found, among the family it brought along. */
|
|
220
|
+
.studio-map :is(.map-token, .studio-map-node, .studio-map-card)[data-found] {
|
|
221
|
+
outline: 1.5px solid var(--color-accent);
|
|
222
|
+
}
|
|
223
|
+
|
|
224
|
+
/* The node being dragged rides over the rest, under the pointer and without easing. */
|
|
225
|
+
:is(.studio-map-node, .studio-map-card)[data-dragging] {
|
|
226
|
+
z-index: 1;
|
|
227
|
+
transition: none;
|
|
228
|
+
}
|
|
229
|
+
|
|
230
|
+
.studio-map .map-token[data-dragging] {
|
|
231
|
+
z-index: 1;
|
|
232
|
+
transition: none;
|
|
233
|
+
}
|
|
234
|
+
|
|
235
|
+
:is(.studio-map-node, .studio-map-card)[data-dragging],
|
|
236
|
+
.studio-map .map-token[data-dragging] *,
|
|
237
|
+
.studio-map-card[data-dragging] :is(.studio-map-head, .studio-map-row) {
|
|
238
|
+
cursor: grabbing;
|
|
239
|
+
}
|
|
240
|
+
|
|
241
|
+
/* While one node is lit, it and what it is joined to stay; the rest step back. What a node holds
|
|
242
|
+
fades, not the node, so no line shows through it. */
|
|
243
|
+
.studio-map[data-lit] :is(.studio-map-node, .studio-map-card):not([data-on]) > * {
|
|
244
|
+
opacity: 0.45;
|
|
245
|
+
}
|
|
246
|
+
|
|
247
|
+
.studio-map[data-lit] .map-token:not([data-on]) > * {
|
|
248
|
+
opacity: 0.45;
|
|
249
|
+
}
|
|
250
|
+
|
|
251
|
+
.studio-map[data-lit] .map-line:not([data-on]) {
|
|
252
|
+
stroke: color-mix(in srgb, var(--color-border-emphasized) 30%, var(--color-background-surface));
|
|
253
|
+
}
|
|
254
|
+
|
|
255
|
+
.studio-map .map-line[data-open] {
|
|
256
|
+
stroke: var(--color-text-secondary);
|
|
257
|
+
}
|
|
258
|
+
|
|
259
|
+
.studio-map .map-line[data-on] {
|
|
260
|
+
stroke: var(--color-accent);
|
|
261
|
+
}
|
|
262
|
+
|
|
263
|
+
@media (prefers-reduced-motion: reduce) {
|
|
264
|
+
.studio-map-node,
|
|
265
|
+
.studio-map-card,
|
|
266
|
+
.studio-map-node > *,
|
|
267
|
+
.studio-map-card > *,
|
|
268
|
+
.studio-map-row,
|
|
269
|
+
.studio-map .map-token > *,
|
|
270
|
+
.studio-map .map-line {
|
|
271
|
+
transition: none;
|
|
272
|
+
}
|
|
273
|
+
}
|
|
@@ -0,0 +1,17 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The map: the providers, models, shared settings, profiles, and tools as tokens in columns, with a
|
|
3
|
+
* line from each to what it feeds. It changes nothing; a node opens what it stands for. `Expand`
|
|
4
|
+
* shows each profile as a card of its sections and each tool with its description. A node can be
|
|
5
|
+
* dragged to where it reads best, and the field dragged to pan it; `Tidy` puts every node back. A
|
|
6
|
+
* right click on a node shows its family alone: what feeds it and what it feeds. A search shows the
|
|
7
|
+
* family of every node it finds.
|
|
8
|
+
*/
|
|
9
|
+
import { type SharedEntry, type StudioWorkspace } from '../mod.ts';
|
|
10
|
+
export declare function StudioMap({ workspace, shared, selected, onOpen, onClose, }: {
|
|
11
|
+
workspace: StudioWorkspace;
|
|
12
|
+
shared: readonly SharedEntry[];
|
|
13
|
+
/** The open node's id; its agent or tool is marked on the map. */
|
|
14
|
+
selected: string;
|
|
15
|
+
onOpen: (node: string) => void;
|
|
16
|
+
onClose: () => void;
|
|
17
|
+
}): import("react").JSX.Element;
|