Glossary

Artifact

Definition

One proof file or bundle.

What it means

A single file, bundle, or generated output inside the Evidence domain.