Skip to main content

Module syscall

Module syscall 

Source
Expand description

P1 syscall requests and their causation (spec §7.6).

A syscall is not a sixth wire input class. It reaches the kernel one of exactly two ways, and in both the caller is derived from kernel-owned state rather than declared by the host:

  • the current operation’s provider tool call — recognised while resolving the provider effect;
  • a child’s request, attached to its ChildCompleted fact — the parent kernel derives the caller from the attempt.

There is no AgentRequest { actor_id }, and no SDK-side path that fills an actor in.

Structs§

ActivateSkillRequest
AppendWorkflowNodesRequest
ChildAttemptCausation
MemoryQueryProposal
MemoryWriteProposal
A proposal, not a record. It carries no tenant/namespace, no record id, no author or trust level, no timestamp and no session provenance: the kernel derives all of those from the operation’s memory binding, the envelope’s accepted time and the syscall causation.
PageInRequest
ProviderToolCausation
PublishChannelRequest
ReadObjectRequest
ReceiveChannelRequest
ReceiveMailboxRequest
RequestMemoryQueryRequest
RequestMemoryWriteRequest
SendMessageRequest
SubmitWorkflowRequest
UpdateTaskRequest

Enums§

MemoryKind
SyscallCausation
How the kernel derived the caller of a syscall. Never host-supplied.
SyscallRequest