Test Authoring
Kind: algorithm
Record: algorithms:test-authoring
Canonical: Algorithms
Closure: Dependencies in load order
Realize each surface plan as an executable test: encode the predicate as an assertion and wire the evidence source the technique requires, producing a runnable test that covers the surface.
Listed in Algorithm contracts, after Technique and Invariant Selection and before Evidence Verdict.