Brief: programming practices for prompts

Type: types/write-brief.md

Intent

The operator authorized this rewrite on 2026-11-04 as the next repair in the prompt-semantics coherence audit. Help KB maintainers choose practices by the questions they answer and the evidence they supply, under the revised two-account argument.

Must keep

• The practical treatment of typing, testing, code extraction, version control and testability.
• The distinction between testing a generator and testing a retained artifact, including deterministic generators.
• Requirement adequacy, execution conformance, predictive fidelity and execution variation as distinct questions.

Reserved decisions

Settled 2026-11-04 after the rewrite: projection is ordinary language, and the technical relation is program refinement. The code-extraction section calls a generated implementation a candidate refinement. Correcting the assumption that generation necessarily produces a valid implementation was within scope and is done.