01must proveProposed | The five-minute reconciliation pass considers jobs silent for fifteen minutes and converts timed-out, failed or unrequested aborted executions to failed jobs, preserving earned progress and failing any running step. | lifecycle | service | test |
02must proveProposed | A reported successful execution settles failed if a recorded step remains running or retrying. | calculation | service | test |
03must proveProposed | A stalled job with no execution handle ends failed as never started, leaving its steps queued. | lifecycle | service | test |
04must proveProposed | Three consecutive unsuccessful execution lookups are required before reconciliation fails a missing execution, with each miss added to history. | policy | service | test |
05must proveProposed | Reconciliation leaves recently active jobs and genuinely running executions unchanged, including their history. | policy | service | test |
06must proveProposed | A job settled within the preceding day whose execution still runs raises an operational alert without reopening its record. | policy | service | test |
07must proveProposed | Reconciliation applies the registered failure consequence before settlement, and that consequence must tolerate repeat application. ✓ An unstarted provisioning job moves its workspace into recoverable failure.✗ A dead execution cannot leave provisioning dependent on a failure task that never ran. | policy | service | test |
08must proveProposed | A mismatch between the job summary and step records causes summary repair rather than settlement. | calculation | service | test |
09must proveProposed | The reconciler reserves one concurrent invocation, has a silence alarm, and rejects malformed invocation requests before running a pass. no proof recorded yet | policy | service | observed |
10Proposed | The handler also repairs stranded provisioning and reconciles websites; after successful jobs reconciliation, an exception from provisioning repair fails the invocation before the website pass runs. | policy | service | observed |
11must proveProposed | Transient candidate or execution-probe errors defer the job to another pass, while an unregistered kind produces an operational alert. | policy | service | observed |
12must proveProposed | When a completed execution has a recorded successor, reconciliation follows the successor before deciding settlement, with a bounded continuation search. | policy | service | observed |