UOR Computation Traces

IRI: https://uor.foundation/trace/
Prefix: trace:
Space: bridge
Comment: Execution traces recording the sequence of kernel operations, intermediate results, and accumulated metrics for a computation.

Imports

Name	Subclass Of	Comment
`ComputationTrace`	`Thing`	A complete record of a kernel computation: the input, output, every operation step, and accumulated metrics.
`ComputationStep`	`Thing`	A single step in a computation trace: one operation applied to produce one output from one or more inputs.
`TraceMetrics`	`Thing`	Summary metrics for a computation trace: total steps, accumulated ring distance, and accumulated Hamming distance.

Name	Kind	Functional	Domain	Range	Comment
`input`	Object	true	`ComputationTrace`	`Datum`	The input datum of this computation.
`output`	Object	true	`ComputationTrace`	`Datum`	The output datum of this computation.
`step`	Object	false	`ComputationTrace`	`ComputationStep`	A computation step in this trace.
`monodromy`	Object	true	`ComputationTrace`	`DihedralElement`	The monodromy accumulated by this computation: the net dihedral group element produced by the full operation sequence.
`from`	Object	true	`ComputationStep`	`Datum`	The input datum of this computation step.
`to`	Object	true	`ComputationStep`	`Datum`	The output datum of this computation step.
`operation`	Object	true	`ComputationStep`	`Operation`	The operation applied in this computation step.
`index`	Datatype	true	`ComputationStep`	`nonNegativeInteger`	The zero-based sequential index of this step within its trace.
`stepCount`	Datatype	true	`TraceMetrics`	`nonNegativeInteger`	Total number of computation steps in this trace.
`totalRingDistance`	Datatype	true	`TraceMetrics`	`nonNegativeInteger`	Total ring-metric distance accumulated across all steps.
`totalHammingDistance`	Datatype	true	`TraceMetrics`	`nonNegativeInteger`	Total Hamming-metric distance accumulated across all steps.