RouteCapability class abstract

A capability whose whole job is to ROUTE: it reads its siblings' terminal states + results (the ambient SiblingView — M5 D-5's sibling-read affordance) and emits exactly ONE RouteVerdict.

It never spawns (that is a ProcessCapability), never writes, never subscribes. The CapabilityRegistry resolves it exactly like any other capability — dispatch is polymorphic through createAllocation, so the registry, the inflater and the frontier need NO change.

Inheritance

• Object
• Capability
• RouteCapability

Implementers

• FixedRouteCapability

Constructors

RouteCapability()

Const-constructible (capabilities are stateless description).

const

Properties

hashCode → int

The hash code for this object.

no setter, inherited

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

createAllocation(AllocationContext ctx) → Allocation

The default Allocation for a route (ADR-0009 Decision 4/6) — RouteAllocation.

override

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

route(TreeContext context, StepArgs args) → Future<RouteVerdict>

Decides the verdict. Read ambient values from context at ENTRY (the effect verb — getInheritedSeedOfExactType); after every await, check StepArgs.cancel before touching the context again. A THROWING body routes to supervision as a Failed (the per-work fail-closed posture, ADR-0008 Decision 10) — never an unhandled zone error.

teardown(StepArgs args) → Future<void>

Idempotent cleanup on unmount. Defaults to a no-op. Dispose-path: NO tree context (a lookup there would throw).

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited