# Prove the LotTrail policy

Recheck the complete frozen policy and prepare an exact release for independent review.

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

Audience: Author

Recheck the complete frozen policy and prepare an exact release for independent review.

## Prove the LotTrail policy

1. **Load the current investigation policy**

   Load the current investigation policy

   Read the complete frozen policy and its independently reviewed expected results before preparing a release.

2. **Open the frozen LotTrail candidate**

   Open the frozen LotTrail candidate

   Open the separate immutable candidate created by LotTrail. Its own revision, proof and complete expected answers must be checked before review.

3. **Verify the complete investigation policy**

   Verify the complete investigation policy

   Run LotTrail’s complete check of the complete investigation outcome. The policy has already been frozen and its expected answers reviewed by someone else.

4. **Read the retained complete check**

   Read the retained complete check

   Read the original proof and coverage returned by LotTrail. Keep its original inputs and expected answers with the release.

5. **Assemble the exact investigation policy release**

   Assemble the exact investigation policy release

   Bind the whole policy, independent expected answers and passing proof into one exact release proposal.

6. **Request an independent release review**

   Request an independent release review

   Submit the complete release to LotTrail for a separate reviewer. Submission does not activate it.

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

The submitted release retains the whole checked policy. Approval and activation remain separate actions.