Module optional_parser_protocol

Module optional_parser_protocol 

Source
Expand description

Closed, bounded wire contract between the parser supervisor and resident workers.

Structs§

ParserArtifactIdentity
Authenticated identity of one complete verified platform-pack artifact.
ParserCompletion
Successful worker completion for one authenticated request.
ParserCompletionEvidence
Small bounded structural evidence returned instead of a syntax tree.
ParserContentDigest
Canonical lowercase BLAKE3 digest used by protocol identities.
ParserFailure
Closed worker failure for one authenticated request.
ParserFrame
One exactly framed borrowed parser payload.
ParserFrameHeader
Validated fixed parser frame header.
ParserLanguageIdentity
Bounded stable language identity for one grammar-affined worker.
ParserProgress
One strictly ordered progress observation.
ParserProtocolVersion
Validated current protocol version carried by every control payload.
ParserReady
Authenticated containment-ready state emitted before grammar or source input.
ParserRequest
Strict parse request sent before its matching raw-source frame.
ParserRequestIdentity
Non-zero identity of one supervisor request within a worker session.
ParserRequestLimits
Per-request output and structural bounds.
ParserResponseIdentity
Complete identity copied into every worker response.
ParserSessionIdentity
Unpredictable identity of one supervised worker process session.
ParserSessionOpen
Bounded supervisor opening that a worker reads only after containment.
ParserSourceIdentity
Authenticated identity of one exact raw-source frame.
ParserSyntaxKind
Bounded syntax-kind identity returned as structural evidence.

Enums§

ParserContainmentKind
Closed containment boundary admitted before the worker emits READY.
ParserControl
Closed strict-JSON control messages in the parser-worker protocol.
ParserFailureCode
Stable closed worker failure codes.
ParserFrameKind
Closed frame kinds used on the resident worker’s standard streams.
ParserProgressDisposition
Whether a valid progress message advanced observable work.
ParserProgressStage
Closed worker progress stages in monotonic order.
ParserProtocolError
Failure while framing, decoding, or validating parser-worker traffic.

Constants§

PARSER_FRAME_HEADER_BYTES
Fixed byte length of every frame header.
PARSER_MAX_CONTROL_BYTES
Largest serialized control payload accepted by one frame.
PARSER_MAX_FRAME_PAYLOAD_BYTES
Largest payload accepted by any single parser frame.
PARSER_MAX_LANGUAGE_ID_BYTES
Largest UTF-8 language identity.
PARSER_MAX_NODE_COUNT
Largest structural-node count accepted for one request.
PARSER_MAX_OUTPUT_BYTES
Largest serialized worker result accepted for one request.
PARSER_MAX_PROGRESS_MESSAGES
Largest number of progress messages accepted for one request.
PARSER_MAX_SOURCE_BYTES
Largest raw source accepted by one parse request.
PARSER_MAX_STDERR_BYTES
Maximum diagnostic bytes drained from one supervised worker session.
PARSER_MAX_SYNTAX_KIND_BYTES
Largest UTF-8 syntax-kind identity.
PARSER_MAX_TREE_DEPTH
Largest structural depth accepted for one request.
PARSER_MAX_WORK_UNITS
Largest progress-work counter accepted for one request.
PARSER_PROTOCOL_VERSION
Current parser-worker protocol version.
PARSER_SESSION_ENTROPY_BYTES
Fresh unpredictable bytes hashed into one supervised worker-session identity.
PARSER_WINDOWS_BROKER_ADMISSION_RECORD
Exact Windows broker admission record required before SessionOpen.
PARSER_WINDOWS_BROKER_MEMORY_LIMIT_EXIT_CODE
Reserved Windows containment-broker exit code for an observed Job memory-limit message.
PARSER_WORKER_JOB_MEMORY_BYTES
Hard aggregate worker Job Object memory ceiling on Windows.
PARSER_WORKER_PROCESS_MEMORY_BYTES
Hard per-worker committed-memory/address-space ceiling on accepted targets.

Functions§

decode_parser_completion_for_request
Decode and validate one completion against the exact request and received bytes.
decode_parser_failure_for_request
Decode and validate one failure frame against its exact request identity.
decode_parser_progress_for_request
Decode and validate one progress frame against its request and prior progress.
decode_parser_ready_for_launch
Decode and validate READY against the exact supervised launch contract.
decode_parser_request_for_session
Decode one strict request for the exact ready worker session.
decode_parser_session_open
Decode one strict pre-READY supervisor session opening.
encode_parser_control
Deterministically serialize and frame one strict control message.
encode_parser_frame
Encode one bounded parser frame.