01
PRODUCT STRUCTURE
Define the user workflow.
Record the starting state, first useful action, visible consequence, completion step, and recovery path for the chosen product profile.
02
DOMAIN NOTES
State what the model supports.
Units, assumptions, solver behavior, validation references, tolerances, and limitations are recorded before quantitative claims are displayed.
03
RUNTIME CHECKS
Record runtime behavior.
Lifecycle, persistence, cancellation, wall-clock frame timing, display fidelity, resource bounds, and package contents are checked separately.