Compute

Depends On

• quantified
• timed

Resources

• Schema
• Back to Stacks Index

Documentation

compute@1

Purpose

The compute@1 stack declares that a recipe meets prerequisites for computational operations such as scheduling, scaling, and deterministic planning.

Adds

• No additional structural fields (claim stack).

Requires

• quantified@1
• timed@1

Semantics

• MUST: Recipe must satisfy all requirements of quantified@1 and timed@1.
• NOTE: This is a claim stack indicating computational readiness. Tools SHOULD enforce that all prerequisites are met.

Composition Notes

• This stack is monotonic: it adds requirements or fields without removing expressiveness.
• Interaction: Requires quantified@1 for scaling inputs and timed@1 for deterministic scheduling. Indicates recipe is ready for computational recipe planning tools.