Commit

Kind: stage

Record: stage:commit

Canonical: Reasoning

How is it encoded?

Listed in Loop stages, after Verify and before Terminate.

Axis

Contracts

Contained in

Linked from