Prove and submit a RefillFlow release

Review which queue receives a request and when it is due. The check uses the saved working calendar, not an estimate made during review. Check the whole replenishment policy and submit its exact evidence for independent review.

For authors

Review which queue receives a request and when it is due. The check uses the saved working calendar, not an estimate made during review. Check the whole replenishment policy and submit its exact evidence for independent review.

Read these instructions on any device. Watch or practise a chapter on a desktop or laptop, with a desktop or mobile application layout. Demonstrations use sample data and simulated scanners.

Prove and submit a RefillFlow release

  1. Load the current RefillFlow source

    Load the current RefillFlow source

    Read the original source and its saved expected results before continuing.

  2. Open the prepared RefillFlow candidate

    Open the prepared RefillFlow candidate

    Open the frozen candidate from the original recorded request. Its revision is separate from the editable draft.

  3. Read the complete RefillFlow proof

    Read the complete RefillFlow proof

    Read the original routing and working-calendar proof before proposing this release.

  4. Assemble the exact replenishment policy proposal

    Assemble the exact replenishment policy proposal

    Keep the complete source, its independent expected results and original proof together.

  5. Request independent RefillFlow release review

    Request independent RefillFlow release review

    Submit this exact proposal for a separate person to review. This does not activate it.

Watch or practise this chapter

The proposal is saved for separate review. It has not been activated.

Contact SmartFACT support · Explore the suite