Write what would make you wrong. Seal it. Date it. Leave it visible. Run the count. Then write the same condition after seeing the result and notice how much easier it is.

What that answer leaves out

That permits the rule to adapt to the result.

Excluded world. A prior condition that this outcome would have refuted is left out.

Keep the pre-outcome condition available for comparison.

Excluded world. A condition rewritten to accommodate the observed result is excluded.

That makes the check depend on convenience.

Excluded world. A convenient result that violates the prior condition is left out.

The envelope preserves a condition, not its truth.

Excluded world. A sealed prediction contradicted by the outcome is left out.

not configurational — no audit script possible. No mesh state machine is claimed.

Write the nearest claim this example does not support.

Your words stay on this page. Nothing is sent or stored.

N2 is not merely failed, it is undefined: there is no configuration space. Recorded at the lower rung rather than argued up. If every device came out FAITHFUL the ladder would be decoration.
These are self-audited digital models, not independently verified physical devices.
No learner efficacy, transfer, accessibility equivalence, or vendor performance has been measured.
Unbounded and temporal devices remain text exercises; no faithful state machine is asserted for them.
The receipt exercise has no supplied totals or ceiling, so it supports no computed denominator here.

Look away from the object, then answer the question again. This is a prompt for reflection, not a measured learning outcome.

When must the falsifier be written?