Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func AllowsProcessLaunch ¶ added in v0.7.2
AllowsProcessLaunch reports whether the session may open a general-purpose shell or launch an arbitrary process. Execute without write remains available to explicitly modeled, non-mutating runtime capabilities.
func ValidateGrantServerNotifyRemote ¶ added in v0.7.1
func ValidateGrantServerNotifyRemote(n *GrantServerNotify, expectedEndpointID string) error
ValidateGrantServerNotifyRemote validates a remote control-plane grant notification.
Local direct sessions are initiated by the runtime itself and must not be routed through this remote grant_server contract.
Types ¶
type GrantServerNotify ¶
type GrantServerNotify struct {
GrantServer *controlv1.ChannelInitGrant `json:"grant_server"`
SessionMeta *Meta `json:"session_meta"`
}
GrantServerNotify is a control-channel notification: - grant_server: tunnel server grant for the agent - session_meta: immutable permissions and routing info
type Meta ¶
type Meta struct {
ChannelID string `json:"channel_id"`
EndpointID string `json:"endpoint_id"`
FloeApp string `json:"floe_app"`
CodeSpaceID string `json:"code_space_id,omitempty"`
SessionKind string `json:"session_kind,omitempty"`
UserPublicID string `json:"user_public_id"`
UserEmail string `json:"user_email"`
NamespacePublicID string `json:"namespace_public_id"`
CanRead bool `json:"can_read"`
CanWrite bool `json:"can_write"`
CanExecute bool `json:"can_execute"`
// CanAdmin gates management actions on the data plane (e.g. codespace create/delete/rename).
//
// NOTE: this is the namespace-level "admin" bit computed service-side and delivered by the control plane.
// It is NOT part of the local permission_policy RWX clamp.
CanAdmin bool `json:"can_admin"`
CreatedAtUnixMs int64 `json:"created_at_unix_ms"`
}
Meta is the authoritative session metadata delivered by the Redeven control plane over the direct control channel.
Agents must NOT trust any permissions or app identifiers claimed by the browser on the data plane.