Interactive experiment

Review the evidence package

Check whether another engineer can reproduce the claim and challenge it. A complete packet still does not prove product assurance.

Controls

Claim and scope stated Source / DUT revision hash Tool, configuration and seeds Coverage denominator and untouched bins Counterexample and control replay Unknowns and owner recorded

A review checklist is process evidence. It is not silicon evidence or a substitute for product sign-off.

Static worksheetThe packet should name: claim and scope; source/DUT revision hash; tool/version/configuration/seeds; coverage denominator and untouched bins; a replayable counterexample plus control; and explicit unknowns with an owner. Missing items block this packet; declared unknowns remain open.