Expand description
Pure service documents and operation metadata (spec 042).
Engineering bounds: names use the existing 256-byte Handle; file and endpoint references use 4096 bytes; configuration collections use 1024 entries, listeners 64. Queues and concurrency without a specified range use 0 or 1 through 65536; timeouts use 1 through 600000 milliseconds. These values describe data, never permission or transport behavior.
Structs§
- Attempt
Cancellation - Backend
Binding - Compiler
Refusal - Surface-owned compiler output, kept byte-for-byte. The contract does not duplicate the compiler’s semantic refusal taxonomy. Its outer renderer fields are checked here, and the entire document is limited to 2 KiB.
- Context
- Decision
DidNot Run - Only false is representable. A refusal never claims a decision ran.
- Decision
IdList - Embedded
- An embedded document, checked by its own bounded parser. Serialization preserves its original bytes, including evidence number representations.
- Evaluation
Dependencies - Generated
Field - Spec 037 field events are described now; the service must advertise their absence until generation is implemented. Values remain provisional.
- Generated
Field Name - Invalidation
Item - The embedded remote-context item wire shape. The remote lane can reuse this payload; it is not a second remote protocol implementation.
- List
- Listener
- Listener
Limits - Number
- Inclusive, validated integer range. No implicit defaults.
- Operation
Description - Provisional
- Readiness
Failure - Reference
- Resolver references are prefix:relative/path, never URLs or absolute paths. Filesystem containment and scope are checked by the host resolver.
- Referenced
Input - A resolver binding for a typed embedded replay dependency.
- Remote
Endpoint - Repeat
Inputs - Repeat
Run - Replay
Options - Runtime
Config - Serve
- Serve
Cancel - Serve
Config - Serve
Decide - Serve
Decision - Serve
Decision State - Serve
Evaluate - Serve
Event - Serve
Invalidations - Serve
Invalidations Ack - Serve
Readiness - Serve
Refusal - Serve
Register - Serve
Replay - Serve
Service - Serve
Shutdown - Signing
Keys - Sigstore
Trust - Socket
Mode - Text
- UTF-8 byte bounds, applied after JSON unescaping.
- Tls
Enums§
- Backend
Kind - Cancel
Ack - Cancel
Schema - Cancel
Status - Compile
Refusal - An oversized compiler refusal is represented by its digest and byte length.
- Config
Schema - Decide
Schema - Decision
Schema - Decision
State - Decision
State Schema - Decision
Status - Document
Input - Evaluate
Schema - Event
Kind - Event
Schema - Evidence
Disposition - Final
Result - Generated
Value - Grpc
Code - Http
Method - Invalidation
Item Schema - Invalidation
Kind - Invalidation
Scope - Invalidations
AckSchema - Invalidations
Schema - Listener
Transport - Maybe
- Explicit absence for identity-bearing fields.
- Operation
- Protocol
- Readiness
Reason - Readiness
Schema - Refusal
Code - Refusal
Schema - Register
Schema - Remote
Protocol - Repeat
Source - Replay
Input - Replay
Schema - Response
Format - Retention
- Route
Group - Serve
Schema - Service
Schema - Shutdown
Schema - Sink
- Sink
Policy - Step
Outcome - Unix
Auth
Constants§
- BUNDLE_
LIMITS - DECISION_
LIMITS - MIB
- REFUSAL_
LIMITS - SERVICE_
LIMITS - Envelope bounds leave room for nested documents’ own scanners.
Functions§
- operation_
table - Single operation source for later deterministic HTTP and gRPC generators.
Type Aliases§
- Cancel
Wait Ms - Query/header bounds, shared with transport generators.
- Deadline
Ms