# Prove and submit the rework investigation policy

Run LotTrail's complete check of the frozen rework policy and its reviewed expected results, then submit that exact release for independent review.

Source: https://help.smartfact.ai/automation/guides/batchtrail-assisted-proof

Audience: Author

Run LotTrail's complete check of the frozen rework policy and its reviewed expected results, then submit that exact release for independent review.

## Complete proof and submission

1. **Load the current LotTrail policy**

   Load the current LotTrail policy

   Load the policy with the rework-forward rule and its independently reviewed expected results.

2. **Open the frozen LotTrail candidate**

   Open the frozen LotTrail candidate

   Open the frozen candidate. It holds exactly the rule saved from the plain English proposal.

3. **Verify every expected result**

   Verify every expected result

   Run LotTrail's complete check of the frozen policy. LotTrail keeps the proof with this exact candidate.

4. **Read the complete proof**

   Read the complete proof

   Read LotTrail's retained proof and coverage for this exact candidate. LotTrail keeps the complete evidence in private files.

5. **Read the proof result**

   Read the proof result

   Read the proof result: passed. Every example gave its expected result, including the forward investigation for the rework example, and both rules matched and did not match.

6. **Assemble the exact release proposal**

   Assemble the exact release proposal

   Keep the complete policy, its independent expected results and the proof together in one exact release proposal.

7. **Request independent release review**

   Request independent release review

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

[Watch or practise this chapter](https://help.smartfact.ai/automation/demo?guide=batchtrail-assisted-proof&chapter=assisted-rule&audience=office)

The submitted release holds exactly the rule saved from the plain English proposal. Approval and activation remain separate actions.