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.

View documentation reference

This is a bridge-space namespace in the Resolve stage of the PRISM pipeline. It provides the resolution infrastructure — queries, partitions, observables, proofs, derivations, and traces that transform inputs into certified results.

Learn more: Pipeline Overview · Proofs, Derivations & Traces

Class hierarchy
Class hierarchy for UOR Computation Traces namespace ComputationTra ComputationSte TraceMetrics GeodesicTrace GeodesicViolat MeasurementEve MeasurementOut

Imports

Classes

NameSubclass OfDisjoint WithComment
ComputationTraceThingA complete record of a kernel computation: the input, output, every operation step, and accumulated metrics.
ComputationStepThingA single step in a computation trace: one operation applied to produce one output from one or more inputs.
TraceMetricsThingSummary metrics for a computation trace: total steps, accumulated ring distance, and accumulated Hamming distance.
GeodesicTraceComputationTraceA computation trace that satisfies the dual geodesic condition (GD_1): AR_1-ordered and DC_10-selected. The path of least dissipation through the resolution landscape.
GeodesicViolationThingA record of a geodesic condition violation at a specific step of a computation trace. Produced by GeodesicValidator when J_k(step_i) < max_\{free\} J_k(state_i).
MeasurementEventComputationStepA specialized computation step recording a single projective collapse of a SuperposedSiteState. Carries pre-collapse entropy and post-collapse Landauer cost (QM_1).
MeasurementOutcomeThingA single outcome of a projective measurement on a SuperposedSiteState, recording the classical site index (outcomeValue) and its Born-rule probability |α_k|² (outcomeProbability). Multiple outcomes form the probability distribution of a measurement.

Properties

NameKindFunctionalDomainRangeComment
inputObjecttrueComputationTraceDatumThe input datum of this computation.
outputObjecttrueComputationTraceDatumThe output datum of this computation.
stepObjectfalseComputationTraceComputationStepA computation step in this trace.
monodromyObjecttrueComputationTraceDihedralElementThe monodromy accumulated by this computation: the net dihedral group element produced by the full operation sequence.
fromObjecttrueComputationStepDatumThe input datum of this computation step.
toObjecttrueComputationStepDatumThe output datum of this computation step.
operationObjecttrueComputationStepOperationThe operation applied in this computation step.
indexDatatypetrueComputationStepnonNegativeIntegerThe zero-based sequential index of this step within its trace.
stepCountDatatypetrueTraceMetricsnonNegativeIntegerTotal number of computation steps in this trace.
totalRingDistanceDatatypetrueTraceMetricsnonNegativeIntegerTotal ring-metric distance accumulated across all steps.
totalHammingDistanceDatatypetrueTraceMetricsnonNegativeIntegerTotal Hamming-metric distance accumulated across all steps.
certifiedByObjecttrueComputationTraceCertificateThe certificate that attests to the correctness of this computation trace.
residualEntropyObjecttrueComputationTraceResidualEntropyThe residual entropy observable remaining after this computation trace, linking to the ThermoObservable taxonomy (TH_9 connection).
isGeodesicDatatypetrueComputationTracebooleanWhether this computation trace satisfies the dual geodesic condition (GD_1): AR_1-ordered and DC_10-selected.
geodesicCertificateObjecttrueGeodesicTraceGeodesicCertificateThe GeodesicCertificate attesting that this trace satisfied both GD_1 conditions.
geodesicViolationObjectfalseComputationTraceGeodesicViolationA GeodesicViolation record indicating where the trace deviated from the geodesic condition.
stepEntropyCostDatatypetrueComputationStepdecimalThe entropy cost of a single computation step. On a geodesic, this equals ln 2 for every step (GD_2).
cumulativeEntropyCostDatatypetrueComputationTracedecimalThe total entropy cost accumulated across all steps of a trace. On a geodesic, equals freeRank_initial × ln 2 (GD_3).
jacobianAtStepDatatypetrueComputationStepdecimalThe Jacobian value J_k at this step, used by the GeodesicValidator to check DC_10 maximality.
adiabaticallyOrderedDatatypetrueComputationTracebooleanWhether the step sequence of this trace follows the AR_1 adiabatic ordering (decreasing freeRank × cost-per-site).
violationReasonDatatypetrueGeodesicViolationstringHuman-readable description of why a geodesic violation occurred, citing the step index and the unused higher-J_k option.
measurementEventObjectfalseComputationTraceMeasurementEventA MeasurementEvent step within this computation trace.
preCollapseEntropyDatatypetrueMeasurementEventdecimalThe von Neumann entropy S_vN of the SuperposedSiteState before projective collapse.
postCollapseLandauerCostDatatypetrueMeasurementEventdecimalThe Landauer cost incurred by the projective collapse. Equals preCollapseEntropy at β* = ln 2 (QM_1).
collapseStepDatatypetrueMeasurementEventnonNegativeIntegerThe step index within the enclosing ComputationTrace at which this projective collapse occurred.
amplitudeVectorDatatypetrueMeasurementEventdecimalThe full pre-collapse amplitude vector of all branches at the time of measurement. Enables Born rule verification (QM_5): P(outcome k) = |α_k|² / Σ|αᵢ|².
isAR1OrderedDatatypetrueComputationTracebooleanWhether this computation trace has steps ordered by the AR_1 adiabatic metric (decreasing freeRank × cost-per-site). One of the two sub-predicates of isGeodesic (GD_6).
isDC10SelectedDatatypetrueComputationTracebooleanWhether each step of this computation trace was selected by the DC_10 Jacobian criterion (maximal J_k among free sites). One of the two sub-predicates of isGeodesic (GD_6).
outcomeValueDatatypetrueMeasurementOutcomenonNegativeIntegerThe classical site index selected by projective collapse in this measurement outcome.
outcomeProbabilityDatatypetrueMeasurementOutcomedecimalThe Born-rule probability of this measurement outcome: |α_k|² where α_k is the amplitude of the collapsed site.

Named Individuals

NameTypeComment
geodesic_Q0GeodesicTraceCanonical geodesic trace at quantum level Q0 (n=8). Demonstrates GD_1 through GD_3 at the base level.
  • isGeodesic: true
  • adiabaticallyOrdered: true
geodesic_Q1GeodesicTraceCanonical geodesic trace at quantum level Q1 (n=16). Demonstrates geodesic scaling from Q0 to Q1.
  • isGeodesic: true
  • adiabaticallyOrdered: true
geodesic_Q2GeodesicTraceCanonical geodesic trace at quantum level Q2 (n=32). Demonstrates geodesic scaling from Q1 to Q2.
  • isGeodesic: true
  • adiabaticallyOrdered: true
geodesic_Q3GeodesicTraceCanonical geodesic trace at quantum level Q3 (n=64). Demonstrates geodesic scaling from Q2 to Q3.
  • isGeodesic: true
  • adiabaticallyOrdered: true
collapse_equal_superpositionMeasurementEventCanonical measurement event: collapse of an equal superposition (|α|² = 0.5). Maximum von Neumann entropy S_vN = ln 2. Maximum Landauer cost per QM_1.
  • preCollapseEntropy: 0.693147
  • postCollapseLandauerCost: 0.693147
collapse_biasedMeasurementEventCanonical measurement event: collapse of a biased superposition (|α|² = 0.9). Lower entropy than equal superposition. Demonstrates QM_3 bound.
  • preCollapseEntropy: 0.325083
  • postCollapseLandauerCost: 0.325083
collapse_classicalMeasurementEventCanonical measurement event: collapse of a classical state (|α|² = 1). Zero entropy, zero Landauer cost. Demonstrates QM_4 idempotence.
  • preCollapseEntropy: 0.0
  • postCollapseLandauerCost: 0.0

Related Concepts