Prove and submit the policy with a17_under_500
Freeze the policy that now includes a17_under_500, read RemnantRack’s proof and submit that exact release for independent review.
For authors
Freeze the policy that now includes a17_under_500, read RemnantRack’s proof and submit that exact release 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.
Proof and submission
- Load the current remnant policy
Load the current remnant policy
Load the remnant policy with rule a17_under_500 and its reviewed expected results.
- Freeze the release candidate
Freeze the release candidate
Freeze the whole policy and its reviewed expected results together as one candidate.
- Check the whole policy
Check the whole policy
Run RemnantRack’s complete check of every example, rule, default, length threshold and fixed safeguard for this exact candidate.
- Read the proof result
Read the proof result
Read the result: every example gives the expected outcome, the rule decides both pieces under 500 mm and the keep length keeps the others.
- Check the 500 mm threshold
Check the 500 mm threshold
Check the 500 mm threshold: RemnantRack tried 499, 500 and 501 mm. 499 mm goes for disposal review; 500 and 501 mm stay in the aluminium rack.
- Assemble the exact release proposal
Assemble the exact release proposal
Keep the complete policy, its independent expected results and the proof together.
- Request an independent release review
Request an independent release review
Submit this exact policy for a separate person to review. This does not activate it or change any piece.
The exact release is submitted for an independent review. Nothing has been activated.