C.29.2:6 - Bias-Annotation

Bias	Correction that changes the work
Formula familiarity	Separate a condition on answers from the operations that obtain them; an existing executable construction can close the gap.
Digital-machine default	Treat supported physical operations as possible formulation inputs, while requiring a meaningful computational interpretation.
Exact-arithmetic default	Name representable values and operation semantics before transferring a proof to finite precision.
Successful-example confidence	Preserve the traced result but obtain the argument needed for a larger input claim.
Cheap-operation assumption	Recount when operand length, data movement or requested output size grows.
Representation inevitability	Reject the failed representation at its demonstrated scope; test a concrete alternative rather than claiming the problem is impossible.