package arc.ir.pb

Get desktop application:
View/edit binary Protocol Buffers messages

Authorities holds the static authority declarations from an Arc program.

Used in: IR, program.pb.Program

• optional uint32 default = 1

  default is the default authority for all write channels not explicitly listed.

• map<uint32, uint32> channels = 2

  channels maps channel keys to their specific authority values.

Body is raw function body source code with optional parsed AST.

Used in: Function

• string raw = 1

  raw is the raw source code text.

Edge is a dataflow connection between node parameters in the Arc graph.

Used in: graph.pb.Graph, IR, program.pb.Program

• optional Handle source = 1

  source is the source node parameter producing data.

• optional Handle target = 2

  target is the target node parameter consuming data.

• EdgeKind kind = 3

  kind defines execution semantics for this connection.

EdgeKind defines execution semantics for dataflow edges between nodes.

Used in: Edge

• EDGE_KIND_UNSPECIFIED = 0

• EDGE_KIND_CONTINUOUS = 1

• EDGE_KIND_CONDITIONAL = 2

Function is a function template definition with typed parameters, serving as a blueprint for node instantiation.

Used in: graph.pb.Graph, IR, program.pb.Program

• string key = 1

  key is the function identifier (template name).

• optional Body body = 2

  body is raw source code for user-defined functions.

• repeated types.pb.Param config = 3

  config contains configuration parameter definitions.

• repeated types.pb.Param inputs = 4

  inputs contains input parameter definitions.

• repeated types.pb.Param outputs = 5

  outputs contains output parameter definitions.

• optional types.pb.Channels channels = 6

  channels contains channel read/write declarations.

Handle is a reference to a specific parameter on a specific node in the dataflow graph.

Used in: Edge, Scope, Transition

• string node = 1

  node is the node identifier.

• string param = 2

  param is the parameter name (input or output).

IR is the intermediate representation of an Arc program as a dataflow graph with stratified execution, bridging semantic analysis and WebAssembly compilation.

• repeated Function functions = 1

  functions contains function template definitions.

• repeated Node nodes = 2

  nodes contains node instantiations.

• repeated Edge edges = 3

  edges contains dataflow connections.

• optional Authorities authorities = 4

  authorities contains the static authority declarations for this program.

• optional Scope root = 5

  root is the top-level execution context. The root is always a parallel, always-live Scope whose strata mix module-scope reactive flow with top-level gated scopes.

Liveness defines whether a Scope is continuously active or must be activated.

Used in: Scope

• LIVENESS_UNSPECIFIED = 0

• LIVENESS_ALWAYS = 1

• LIVENESS_GATED = 2

Member is a tagged union representing a single child of a Scope. Exactly one of nodeKey or scope is set. The member's lookup key (used as the target of `=> name` transitions) is derived from the set variant via Member.key().

Used in: MembersWrapper, Scope

• optional string node_key = 1

  node_key is the key of the referenced node in IR.nodes. Null when this member is a nested scope.

• optional Scope scope = 2

  scope is set when this member is a nested scope.

Used in: Scope

• repeated Member values = 1

Node is a concrete instantiation of a function with typed parameters and configuration values.

Used in: IR, program.pb.Program

• string key = 1

  key is the unique identifier for this node instance.

• string type = 2

  type is the function type being instantiated.

• repeated types.pb.Param config = 3

  config contains configuration parameter values.

• repeated types.pb.Param inputs = 4

  inputs contains input parameter type signatures.

• repeated types.pb.Param outputs = 5

  outputs contains output parameter type signatures.

• optional types.pb.Channels channels = 6

  channels contains channel read/write mappings.

Scope is the unified Layer 2 execution primitive. Parameterized by mode (parallel or sequential) and liveness (always-live or gated). Parallel scopes organize members into strata; sequential scopes run one step at a time and advance via transitions.

Used in: IR, Member, program.pb.Program

• string key = 1

  key is the scope identifier.

• ScopeMode mode = 2

  mode defines whether this scope runs steps in parallel or sequentially.

• Liveness liveness = 3

  liveness defines whether this scope is continuously active or must be activated.

• optional Handle activation = 4

  activation is the handle whose truthy value activates a gated scope. Unset for always-live scopes.

• repeated MembersWrapper strata = 5

  strata contains stratified execution layers for parallel scopes. Empty for sequential scopes. Stratum N depends only on strata 0 to N-1.

• repeated Member steps = 6

  steps contains ordered steps for sequential scopes. Empty for parallel scopes.

• repeated Transition transitions = 7

  transitions contains state-transition rules for sequential scopes. Empty for parallel scopes.

ScopeMode defines the concurrency model of a Scope.

Used in: Scope

• SCOPE_MODE_UNSPECIFIED = 0

• SCOPE_MODE_PARALLEL = 1

• SCOPE_MODE_SEQUENTIAL = 2

Transition is a declarative state-transition rule on a sequential Scope.

Used in: Scope

• optional Handle on = 1

  on is the dataflow handle whose truthy value fires this transition.

• optional string target_key = 2

  target_key is the sibling step key to activate. Null when the transition exits the scope, yielding to the parent.