Aglet

Verify dependency waits for every prerequisite outcome

Verification should demonstrate that the dependent follows its graph contract for every prerequisite state. Use one fixed graph and vary the prerequisites one at a time. Read dependency records and dependent state after late events settle so a temporary release does not look correct.

Check whether the outcome improved

  1. Verify all prerequisites succeed

    Complete every prerequisite and confirm the dependent releases once, claims, and reaches the expected terminal state. Record the graph revision and release reason. Ensure one repeated prerequisite event does not create a second dependent claim.

  2. Verify failure and cancellation

    Finish one prerequisite as failed and another as canceled, separately and together. Confirm the dependent remains waiting, enters review, or terminates according to its rule. Check that no dependent action begins from a stale success projection.

  3. Verify missing and delayed states

    Withhold a prerequisite or deliver its terminal event after a wait interval. Confirm the dependent cannot release early and that timeout or late release is explicit. Reconcile prerequisite IDs, edge state, and dependent output after the event arrives.

What to carry forward

Accept when every prerequisite outcome maps to the documented dependent wait, release, timeout, and downstream gate, with one release identity. Reopen verification if a missing state satisfies fan-in, a late event cannot reconcile the dependent, or a dependent starts before required inputs are terminal.

Technical background: Celery documentation.

Keep the decision with the work.

Use a Work Item in Aglet to record the problem, the evidence you have, and the next decision. Add an owner and priority, then keep updates in the discussion so the next person can follow the reasoning.

Create an account See the product workflow