Release Review Checks

Release review checks report whether the assertions and submitted source in a release were verified and how the assertion set behaved against historical transactions. Use these results with the release diff before you authorize a staging or production deployment.

​

Checks at a glance

These checks answer different questions. A passing result in one check does not replace review of the others.

​

Assertion verification

The Assertion verification check reports the assertion contracts included in the release. Its summary shows the total, passed, and failed assertion counts. Each detail entry contains the following fields: Compare the assertion count, IDs, and adopter addresses with the release diff. Then inspect every trigger. A passing status confirms that the platform verified the submitted assertion configuration; it does not confirm that the invariant or trigger selection protects the intended behavior.

​

Source code

The Source code check reports the verification status for the submitted assertion source. The result contains one entry per assertion, with its Assertion ID and a Passed value. Match the assertion IDs against the assertion-verification result and release diff. Every assertion expected in the release should have a corresponding passing source entry. A passing source result does not mean that the assertion has been audited or that its business logic is correct; it reports only the platform’s verification result for the submitted source.

​

Backtesting

The Backtesting check tests every assertion in the release against transactions from the last 20,000 blocks. A passing result shows the tested block range, watched assertion IDs, number of transactions that exercised the assertions, and attempt history. An Issue found result additionally identifies the matched transaction, assertion, block, and adopter. It also includes the incident payload, previous transactions, block environment, and replayed transaction data needed to investigate the finding. See How to Review Backtesting Results for the complete investigation workflow in the platform.

​

Interpreting the overall review

A release is ready for deployment review only after you have checked the release diff and examined all three results:

• All checks pass: Confirm the target environment and continue to the wallet authorization step.
• Assertion verification fails: Identify the failed assertion, review its adopter and trigger details, and resolve the reported verification problem before creating another release.
• Source code fails: Identify the assertion ID without a passing source result and resolve the reported source-verification problem before creating another release.
• Backtesting finds an issue: Inspect and classify every matched transaction before deciding whether to tune the assertion or continue.

​

Related documentation