Source changed 2026-10-03 02:22:15 UTC · snapshot created 2026-10-03 03:38:22 UTC · last check 2026-10-03 04:35:14 UTC
ME.7:8 - Common Anti-Patterns and How to Avoid Them
Anti-pattern
Repair
“We wrote the method.”
Say that a candidate account or MethodDescription was written; identify the Method separately.
“The architecture was selected, so its relations obtain.”
Keep the decision and proposed relations separate from realization evidence.
“All participants passed ME.5, so they form a whole.”
Test whole identity and B.1.5 composition independently.
“A failed trial falls back into the earlier history.”
Preserve performed Work and define a separate recovery branch.
“Wait for perfect proof before saying anything.”
Return the supported prospective account or lower claim with the limits needed for its use; select further testing when its obtainable contribution warrants it.