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.