GlossaryArtifactDefinitionOne proof file or bundle.What it meansA single file, bundle, or generated output inside the Evidence domain.