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

https://uor.foundation/schema/
https://uor.foundation/op/

Classes

Name	IRI	Subclass Of	Disjoint With	Comment
ComputationTrace	`https://uor.foundation/trace/ComputationTrace`	`http://www.w3.org/2002/07/owl#Thing`		A complete record of a kernel computation: the input, output, every operation step, and accumulated metrics.
ComputationStep	`https://uor.foundation/trace/ComputationStep`	`http://www.w3.org/2002/07/owl#Thing`		A single step in a computation trace: one operation applied to produce one output from one or more inputs.
TraceMetrics	`https://uor.foundation/trace/TraceMetrics`	`http://www.w3.org/2002/07/owl#Thing`		Summary metrics for a computation trace: total steps, accumulated ring distance, and accumulated Hamming distance.

Properties

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