UOR Derivations

IRI: https://uor.foundation/derivation/
Prefix: derivation:
Space: bridge
Comment: Computation witnesses recording term rewriting sequences from original terms to their canonical forms.

Imports

Name	Subclass Of	Comment
`Derivation`	`Thing`	A complete term rewriting witness: the full sequence of rewrite steps transforming an original term into its canonical form.
`RewriteStep`	`Thing`	A single rewrite step in a derivation: the application of one rewrite rule to transform a term.
`TermMetrics`	`Thing`	Metrics describing the size and complexity of a term.

Name	Kind	Functional	Domain	Range	Comment
`originalTerm`	Object	true	`Derivation`	`Term`	The term at the start of the derivation, before any rewriting.
`canonicalTerm`	Object	true	`Derivation`	`Term`	The canonical form produced at the end of the derivation.
`result`	Object	true	`Derivation`	`Datum`	The datum value obtained by evaluating the canonical term.
`step`	Object	false	`Derivation`	`RewriteStep`	A rewrite step in this derivation.
`termMetrics`	Object	true	`Derivation`	`TermMetrics`	Metrics for the canonical term produced by this derivation.
`from`	Object	true	`RewriteStep`	`Term`	The term before this rewrite step.
`to`	Object	true	`RewriteStep`	`Term`	The term after this rewrite step.
`rule`	Datatype	true	`RewriteStep`	`string`	The rewrite rule applied in this step (e.g., 'critical_identity', 'involution', 'associativity').
`stepCount`	Datatype	true	`TermMetrics`	`nonNegativeInteger`	The total number of rewrite steps in this derivation.
`termSize`	Datatype	true	`TermMetrics`	`nonNegativeInteger`	The number of nodes in the canonical term's syntax tree.