PAG Semantic Operation

Kind: algorithm

Record: algorithms:pag-tool-invocation

Canonical: Algorithms

Closure: Dependencies in load order

Name every external effect as one of the semantic operations (discover, read, search, analyze, extract, calculate, compose, validate, persist, execute, request a decision, report) with a uniform WITH / USING parameter clause and an INTO / arrow result binding, so the document names what it does and an adapter binding resolves how, and no host's tool name enters the document.

Listed in Algorithm contracts, after PAG Invariant Record and before PAG Structure Declaration.

Domain

• Pattern Abstract Grammar

Stage

• act

Axis

• formalization

Tier

• process

Composed by

• PAG Authoring Kernel

Named in the derivation of

• PAG Authoring Kernel

Math type

• Computation

Force

• Contract compatibility
• Runtime extensibility

Linked from

• Pattern Abstract Grammar
• The derivation loop
• The axes
• The mathematics
• Domain tiers
• The forces