Normative Verification of Service Continuity under Contractual Evidence: Two-Level Limit-State Protocol Illustrated on a Chile–Europe Reefer Maritime Transit

Service contracts in logistics and transportation define acceptance conditions that must be verified against timestamped obligation records. However, resilience and reliability metrics usually describe degradation and recovery without producing a third-party auditable compliance verdict. This paper defines a reproducible two-level limit-state protocol to obtain such a verdict under finite evidence and uncertain recovery dynamics. The framework is not tied to a specific network topology and applies to services where obligations are set ex ante and classified as compliant, noncompliant, or failed under declared rules. The aggregated service process X Δ ( t ) is computed over a contractual denominator that cannot be revised ex post. Two limit states are defined: the service limit state, triggered by threshold crossing, and the recovery limit state (RLS), triggered when cumulative time below threshold within a recovery window exceeds D max . Level 1 yields a deterministic verdict from the accepted record, including conservative treatment of low-evidence days through one-sided Clopper–Pearson bounds. Level 2 estimates P ( RLS | M , θ , R ) by Monte Carlo under a declared occurrence–recovery generator, with one-at-a-time sensitivity to epistemic assumptions. The protocol is illustrated on a Chile–Europe reefer maritime transit through two reproducible normative examples. In Level 1, two underthreshold episodes are detected, and the global verdict shifts from compliant to noncompliant when D max is reduced from 22 to 19 days. In Level 2, the Monte Carlo estimate is 0.638; sensitivity ranges from 0.55 to 0.71 for frequency and duration perturbations and falls to 0.00 when the degraded-regime mean crosses the threshold. The result is a checking rule for auditors and contract managers.