# OpenProse Reliability

Contracts for equipment failure, inspection, maintenance and spare-parts decisions. Use the selected [OpenProse kernel](../core/README.md). Supply equipment boundaries, evidence, decision criteria and an output scope; an index link does not adopt its target.

Start with [Maintenance revision](contracts/maintenance-revision.md) when new failures, repairs or observations must change an existing decision; use [Fleet decision](contracts/fleet-decision.md) to turn evidence into a coordinated maintenance and stock proposal. [The synthetic pump commission](tests/fleet/program.md) is runnable with file access and calculation tools. Its [Testing suite](tests/fleet/suite.md) assesses contrasting supplied records, including a substantive policy substitution.

| Need | Contract |
| --- | --- |
| Establish function, mission and evidence boundaries | [Reliability basis](contracts/reliability-basis.md) |
| Infer failure behavior from incomplete histories | [Failure and exposure](contracts/failure-exposure.md) |
| Relate components and common causes to system service | [System risk](contracts/system-risk.md) |
| Design inspections and interpret imperfect detection | [Inspection design](contracts/inspection-design.md) |
| Choose run-to-failure, preventive or condition-based work | [Maintenance policy](contracts/maintenance-policy.md) |
| Decide what repair or replacement actually restores | [Repair or replacement](contracts/repair-or-replacement.md) |
| Produce a feasible resource and outage schedule | [Maintenance schedule](contracts/maintenance-schedule.md) |
| Size and replenish usable spares | [Spares plan](contracts/spares-plan.md) |
| Compare supplied strategies on a common basis | [Strategy comparison](contracts/strategy-comparison.md) |
| Design and substantiate a reliability improvement | [Improvement decision](contracts/improvement-decision.md) |
| Bind a constant rate with exposure likelihood or Gamma updating | [Constant event rate](contracts/models/constant-rate.md) |
| Bind a known-shape age-dependent lifetime and censored update | [Age-dependent lifetime](contracts/models/age-dependent-lifetime.md) |
| Preserve repair age or renew a specific mechanism | [Minimal restoration](contracts/models/minimal-restoration.md) · [Renewal restoration](contracts/models/renewal-restoration.md) |
| Revise estimates, maintenance and action closure together | [Maintenance revision](contracts/maintenance-revision.md) |
| Distinguish implementation, function and effectiveness at closure | [Corrective-action closure](contracts/corrective-action-closure.md) |
| Maintain evidence and decisions through later events | [Maintenance evidence](contracts/maintenance-evidence.md) |

Core is the only package dependency. Contracts express obligations; the host supplies calculations, records, permissions and physical effects. Synthetic expectations are test definitions, not observed equipment performance. [MIT License](LICENSE.md).

A separate [infeasible commission](tests/infeasible/program.md) and [assessment](tests/infeasible/assessment.md) preserve hard constraints and distinguish supported analytical findings from an unmet feasible-deliverable requirement.

New invocable applications: [Cooling-loop evidence revision](tests/revision/program.md) updates a repairable-rate posterior through duplicate and ambiguous records, revises duty and keeps corrective action open; [Wearout renewal decision](tests/wearout/program.md) updates censored lifetimes and compares genuinely different repair assumptions. The [revision suite](tests/revision/suite.md) challenges calculations, evidence removal, closure and evaluator judgments, including permitted alternatives. These are authored beta candidates, not execution results.