Merge pull request #28 from offendingcommit/feat/dialectic-playground

feat(web): add dialectic reasoning playground
This commit is contained in:
Offending Commit
2026-05-28 14:26:39 -05:00
committed by GitHub
10 changed files with 644 additions and 16 deletions

View File

@@ -24,6 +24,7 @@ import { Route as WorkspacesWorkspaceIdDreamsRouteImport } from './routes/worksp
import { Route as WorkspacesWorkspaceIdConclusionsRouteImport } from './routes/workspaces_.$workspaceId_.conclusions'
import { Route as WorkspacesWorkspaceIdSessionsSessionIdRouteImport } from './routes/workspaces_.$workspaceId_.sessions_.$sessionId'
import { Route as WorkspacesWorkspaceIdPeersPeerIdRouteImport } from './routes/workspaces_.$workspaceId_.peers_.$peerId'
import { Route as WorkspacesWorkspaceIdPeersPeerIdPlaygroundRouteImport } from './routes/workspaces_.$workspaceId_.peers_.$peerId_.playground'
import { Route as WorkspacesWorkspaceIdPeersPeerIdChatRouteImport } from './routes/workspaces_.$workspaceId_.peers_.$peerId_.chat'
const WorkspacesRoute = WorkspacesRouteImport.update({
@@ -109,6 +110,12 @@ const WorkspacesWorkspaceIdPeersPeerIdRoute =
path: '/workspaces/$workspaceId/peers/$peerId',
getParentRoute: () => rootRouteImport,
} as any)
const WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute =
WorkspacesWorkspaceIdPeersPeerIdPlaygroundRouteImport.update({
id: '/workspaces_/$workspaceId_/peers_/$peerId_/playground',
path: '/workspaces/$workspaceId/peers/$peerId/playground',
getParentRoute: () => rootRouteImport,
} as any)
const WorkspacesWorkspaceIdPeersPeerIdChatRoute =
WorkspacesWorkspaceIdPeersPeerIdChatRouteImport.update({
id: '/workspaces_/$workspaceId_/peers_/$peerId_/chat',
@@ -133,6 +140,7 @@ export interface FileRoutesByFullPath {
'/workspaces/$workspaceId/peers/$peerId': typeof WorkspacesWorkspaceIdPeersPeerIdRoute
'/workspaces/$workspaceId/sessions/$sessionId': typeof WorkspacesWorkspaceIdSessionsSessionIdRoute
'/workspaces/$workspaceId/peers/$peerId/chat': typeof WorkspacesWorkspaceIdPeersPeerIdChatRoute
'/workspaces/$workspaceId/peers/$peerId/playground': typeof WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute
}
export interface FileRoutesByTo {
'/': typeof IndexRoute
@@ -151,6 +159,7 @@ export interface FileRoutesByTo {
'/workspaces/$workspaceId/peers/$peerId': typeof WorkspacesWorkspaceIdPeersPeerIdRoute
'/workspaces/$workspaceId/sessions/$sessionId': typeof WorkspacesWorkspaceIdSessionsSessionIdRoute
'/workspaces/$workspaceId/peers/$peerId/chat': typeof WorkspacesWorkspaceIdPeersPeerIdChatRoute
'/workspaces/$workspaceId/peers/$peerId/playground': typeof WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute
}
export interface FileRoutesById {
__root__: typeof rootRouteImport
@@ -170,6 +179,7 @@ export interface FileRoutesById {
'/workspaces_/$workspaceId_/peers_/$peerId': typeof WorkspacesWorkspaceIdPeersPeerIdRoute
'/workspaces_/$workspaceId_/sessions_/$sessionId': typeof WorkspacesWorkspaceIdSessionsSessionIdRoute
'/workspaces_/$workspaceId_/peers_/$peerId_/chat': typeof WorkspacesWorkspaceIdPeersPeerIdChatRoute
'/workspaces_/$workspaceId_/peers_/$peerId_/playground': typeof WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute
}
export interface FileRouteTypes {
fileRoutesByFullPath: FileRoutesByFullPath
@@ -190,6 +200,7 @@ export interface FileRouteTypes {
| '/workspaces/$workspaceId/peers/$peerId'
| '/workspaces/$workspaceId/sessions/$sessionId'
| '/workspaces/$workspaceId/peers/$peerId/chat'
| '/workspaces/$workspaceId/peers/$peerId/playground'
fileRoutesByTo: FileRoutesByTo
to:
| '/'
@@ -208,6 +219,7 @@ export interface FileRouteTypes {
| '/workspaces/$workspaceId/peers/$peerId'
| '/workspaces/$workspaceId/sessions/$sessionId'
| '/workspaces/$workspaceId/peers/$peerId/chat'
| '/workspaces/$workspaceId/peers/$peerId/playground'
id:
| '__root__'
| '/'
@@ -226,6 +238,7 @@ export interface FileRouteTypes {
| '/workspaces_/$workspaceId_/peers_/$peerId'
| '/workspaces_/$workspaceId_/sessions_/$sessionId'
| '/workspaces_/$workspaceId_/peers_/$peerId_/chat'
| '/workspaces_/$workspaceId_/peers_/$peerId_/playground'
fileRoutesById: FileRoutesById
}
export interface RootRouteChildren {
@@ -245,6 +258,7 @@ export interface RootRouteChildren {
WorkspacesWorkspaceIdPeersPeerIdRoute: typeof WorkspacesWorkspaceIdPeersPeerIdRoute
WorkspacesWorkspaceIdSessionsSessionIdRoute: typeof WorkspacesWorkspaceIdSessionsSessionIdRoute
WorkspacesWorkspaceIdPeersPeerIdChatRoute: typeof WorkspacesWorkspaceIdPeersPeerIdChatRoute
WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute: typeof WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute
}
declare module '@tanstack/react-router' {
@@ -354,6 +368,13 @@ declare module '@tanstack/react-router' {
preLoaderRoute: typeof WorkspacesWorkspaceIdPeersPeerIdRouteImport
parentRoute: typeof rootRouteImport
}
'/workspaces_/$workspaceId_/peers_/$peerId_/playground': {
id: '/workspaces_/$workspaceId_/peers_/$peerId_/playground'
path: '/workspaces/$workspaceId/peers/$peerId/playground'
fullPath: '/workspaces/$workspaceId/peers/$peerId/playground'
preLoaderRoute: typeof WorkspacesWorkspaceIdPeersPeerIdPlaygroundRouteImport
parentRoute: typeof rootRouteImport
}
'/workspaces_/$workspaceId_/peers_/$peerId_/chat': {
id: '/workspaces_/$workspaceId_/peers_/$peerId_/chat'
path: '/workspaces/$workspaceId/peers/$peerId/chat'
@@ -383,6 +404,8 @@ const rootRouteChildren: RootRouteChildren = {
WorkspacesWorkspaceIdSessionsSessionIdRoute,
WorkspacesWorkspaceIdPeersPeerIdChatRoute:
WorkspacesWorkspaceIdPeersPeerIdChatRoute,
WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute:
WorkspacesWorkspaceIdPeersPeerIdPlaygroundRoute,
}
export const routeTree = rootRouteImport
._addFileChildren(rootRouteChildren)