Module task_protocol 

Strict, bounded authored Task Protocol v1 inputs. Strict, bounded authored tasks for deterministic Web IR compilation.

This module defines the input boundary only. Validation is side-effect free; compilation and browser execution remain separate follow-on layers.

Structs

GlassTask

Versioned declarative task input accepted by Glass.

TaskLimits

Bounded execution limits declared before compilation.

TaskPostcondition

One typed success condition for a compiled task.

TaskProtocolError

Path-aware Task Protocol validation failure.

TaskScope

Semantic task scope; it contains no selectors or browser handles.

Enums

TaskAmbiguityPolicy

Behavior when semantic resolution returns more than one candidate.

TaskKind

Supported deterministic task families.

TaskPostconditionKind

Typed postcondition families reserved for the compiler and verifier.

TaskRevisionPolicy

Revision policy requested by the task author.

TaskRiskClass

Effect class declared by the task author.

Constants

TASK_PROTOCOL_SCHEMA_VERSION

Version of the authored Task Protocol contract.