Semantic Operation Boundary

Kind: algorithm

Record: algorithms:semantic-operation-boundary

Canonical: Algorithms

Closure: Dependencies in load order

Define required work as semantic operations, defer runtime execution details to adapters, and reject runtime-specific primitives from the portable core contract.

Listed in Algorithm contracts, after Evidence-Before-Generation and before Capability Profile.

Domain

Stage

Axis

Tier

Math type

Force

Linked from