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.
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 | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| ComputationResult | https://uor.foundation/failure/ComputationResult | http://www.w3.org/2002/07/owl#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 | https://uor.foundation/failure/Success | https://uor.foundation/failure/ComputationResult | A computation that reached convergence and produced a valid datum. Carries the output datum and the computation certificate. | |
| Failure | https://uor.foundation/failure/Failure | https://uor.foundation/failure/ComputationResult | A computation that could not reach convergence. Carries a typed FailureReason and the reduction state at the point of failure. | |
| FailureReason | https://uor.foundation/failure/FailureReason | http://www.w3.org/2002/07/owl#Thing | A typed classification of why a computation failed. | |
| GuardFailure | https://uor.foundation/failure/GuardFailure | https://uor.foundation/failure/FailureReason | A reduction step guard evaluated to false and no alternative transition exists. | |
| ConstraintContradiction | https://uor.foundation/failure/ConstraintContradiction | https://uor.foundation/failure/FailureReason | Two constraints in the type’s constraint set are jointly unsatisfiable. | |
| SiteExhaustion | https://uor.foundation/failure/SiteExhaustion | https://uor.foundation/failure/FailureReason | The linear budget was exhausted before resolution completed. | |
| LiftObstructionFailure | https://uor.foundation/failure/LiftObstructionFailure | https://uor.foundation/failure/FailureReason | A WittLift encountered a non-trivial obstruction that could not be resolved. | |
| PartialComputation | https://uor.foundation/failure/PartialComputation | http://www.w3.org/2002/07/owl#Thing | A computation that produces a ComputationResult rather than a guaranteed datum. The general case of all computations. | |
| TotalComputation | https://uor.foundation/failure/TotalComputation | https://uor.foundation/failure/PartialComputation | A computation where the FailureReason type is empty — failure is structurally impossible. | |
| Recovery | https://uor.foundation/failure/Recovery | http://www.w3.org/2002/07/owl#Thing | A strategy for converting a Failure into a Success by modifying the computation path. | |
| FailurePropagation | https://uor.foundation/failure/FailurePropagation | http://www.w3.org/2002/07/owl#Thing | The rule for how failures compose under monoidal and parallel products. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| resultDatum | Object | true | https://uor.foundation/failure/Success | https://uor.foundation/schema/Datum | The output datum of a successful computation. |
| resultCertificate | Object | true | https://uor.foundation/failure/Success | https://uor.foundation/proof/ComputationCertificate | The certificate attesting the computation’s correctness. |
| failureReason | Object | true | https://uor.foundation/failure/Failure | https://uor.foundation/failure/FailureReason | The typed reason for failure. |
| failureState | Object | true | https://uor.foundation/failure/Failure | https://uor.foundation/reduction/ReductionState | The reduction state at the point of failure. |
| failureStage | Object | true | https://uor.foundation/failure/Failure | https://uor.foundation/reduction/ReductionStep | The reduction step where failure occurred. |
| recoveryStrategy | Object | false | https://uor.foundation/failure/Failure | https://uor.foundation/failure/Recovery | Available recovery strategies for this failure. |
| recoveryEffect | Object | true | https://uor.foundation/failure/Recovery | https://uor.foundation/effect/Effect | The effect applied to recover from failure. |
| recoveryTarget | Object | true | https://uor.foundation/failure/Recovery | https://uor.foundation/reduction/ReductionStep | The reduction step to retry after recovery. |
| propagationRule | Object | false | https://uor.foundation/failure/FailurePropagation | https://uor.foundation/failure/FailureReason | Which failure reasons propagate through this composition. |
| isTotal | Datatype | true | https://uor.foundation/failure/PartialComputation | http://www.w3.org/2001/XMLSchema#boolean | True iff the computation is a TotalComputation (no possible failure path). |
| failureDepth | Datatype | true | https://uor.foundation/failure/Failure | http://www.w3.org/2001/XMLSchema#nonNegativeInteger | The reduction step index at which failure occurred. |