λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · definition · dd45e0d1

Definition: Six evidence categories

Question, Enter background, and evidence › Designated artifacts · lines 249–271

XVI-O1-ST@5#def:evidence

Back to manuscript

We distinguish:

  1. Specifications: objects, conventions, scopes, and acceptance predicates fixed before a calculation.

  2. Mathematical proofs: written arguments from explicit hypotheses.

  3. Exact synthetic witnesses: specified finite data with exactly established properties. This category includes the printed-array comparison, without identifying it with loop data.

  4. Supplied scientific records: attributed calculations or scientific conclusions in supplied manuscripts.

  5. Execution artifacts: supplied program text, environment descriptions, and transcripts, with provenance qualifications.

  6. Listed implementations: new program text without an executed run.

These categories are not interchangeable. A supplied transcript is not an independently reproduced run; a displayed exact residual is not merely a software assertion.

Nearby in this section