UOR Failure Algebra

IRI: https://uor.foundation/failure/
Prefix: failure:
Space: kernel
Comment: Partial computations, typed failure propagation, and recovery. Formalizes how computations that cannot reach convergence are represented, composed, and recovered from within the ring substrate.

View documentation reference

This is a kernel-space namespace in the Define stage of the PRISM pipeline. It provides the immutable algebraic substrate — ring structure, schema vocabulary, and operation algebra.

Learn more: Pipeline Overview

Class hierarchy

Imports

https://uor.foundation/op/
https://uor.foundation/schema/
https://uor.foundation/effect/
https://uor.foundation/state/
https://uor.foundation/reduction/
https://uor.foundation/cert/
https://uor.foundation/trace/
https://uor.foundation/proof/

Classes

Name	Subclass Of	Disjoint With	Comment
`ComputationResult`	`Thing`		The outcome of a computation that may fail: either a Success carrying a datum, or a Failure carrying a typed reason. The coproduct of the success and failure cases.
`Success`	`ComputationResult`		A computation that reached convergence and produced a valid datum. Carries the output datum and the computation certificate.
`Failure`	`ComputationResult`		A computation that could not reach convergence. Carries a typed FailureReason and the reduction state at the point of failure.
`FailureReason`	`Thing`		A typed classification of why a computation failed.
`GuardFailure`	`FailureReason`		A reduction step guard evaluated to false and no alternative transition exists.
`ConstraintContradiction`	`FailureReason`		Two constraints in the type’s constraint set are jointly unsatisfiable.
`SiteExhaustion`	`FailureReason`		The linear budget was exhausted before resolution completed.
`LiftObstructionFailure`	`FailureReason`		A WittLift encountered a non-trivial obstruction that could not be resolved.
`PartialComputation`	`Thing`		A computation that produces a ComputationResult rather than a guaranteed datum. The general case of all computations.
`TotalComputation`	`PartialComputation`		A computation where the FailureReason type is empty — failure is structurally impossible.
`Recovery`	`Thing`		A strategy for converting a Failure into a Success by modifying the computation path.
`FailurePropagation`	`Thing`		The rule for how failures compose under monoidal and parallel products.

Properties

Name	Kind	Functional	Domain	Range	Comment
`resultDatum`	Object	true	`Success`	`Datum`	The output datum of a successful computation.
`resultCertificate`	Object	true	`Success`	`ComputationCertificate`	The certificate attesting the computation’s correctness.
`failureReason`	Object	true	`Failure`	`FailureReason`	The typed reason for failure.
`failureState`	Object	true	`Failure`	`ReductionState`	The reduction state at the point of failure.
`failureStage`	Object	true	`Failure`	`ReductionStep`	The reduction step where failure occurred.
`recoveryStrategy`	Object	false	`Failure`	`Recovery`	Available recovery strategies for this failure.
`recoveryEffect`	Object	true	`Recovery`	`Effect`	The effect applied to recover from failure.
`recoveryTarget`	Object	true	`Recovery`	`ReductionStep`	The reduction step to retry after recovery.
`propagationRule`	Object	false	`FailurePropagation`	`FailureReason`	Which failure reasons propagate through this composition.
`isTotal`	Datatype	true	`PartialComputation`	`boolean`	True iff the computation is a TotalComputation (no possible failure path).
`failureDepth`	Datatype	true	`Failure`	`nonNegativeInteger`	The reduction step index at which failure occurred.