runtime: bind workspaces to issuer

This commit is contained in:
2026-07-30 13:42:53 +09:00
parent ac6c8b275d
commit d94ef81b43
6 changed files with 374 additions and 110 deletions
+9
View File
@@ -39,6 +39,15 @@ pub enum RuntimeError {
#[error("invalid request: {0}")]
InvalidRequest(String),
#[error(
"workspace `{workspace_id}` is owned by Runtime server `{owner_server_id}`, not `{requester_server_id}`"
)]
WorkspaceOwnerMismatch {
workspace_id: String,
owner_server_id: String,
requester_server_id: String,
},
#[error(transparent)]
WorkingDirectory(#[from] WorkingDirectoryDiagnostic),