Slot: verified_levels

The highest level verified in each track, any verified property, and any result of the issuer’s own; a level implies the levels below it.

URI: slsa:verified_levels

Applicable Classes

Name	Description	Modifies Slot
SlsaVerificationSummary	The predicate in which a verifier records that it evaluated artifacts against…	no

Properties

Type and Range

Property	Value
Range	SlsaResultValue
Domain Of	SlsaVerificationSummary

Cardinality and Requirements

Property	Value
Required	Yes
Multivalued	Yes
Minimum Cardinality	1

Slot Characteristics

Property	Value
Owner	SlsaVerificationSummary

Value Constraints

Property	Value
Regex Pattern	`^(SLSA_BUILD_LEVEL_(UNEVALUATED

Comments

• A VSA lists at most one level per track, and only FAILED when verification failed; the validator checks neither.

Identifier and Mapping Information

Schema Source

• from schema: https://w3id.org/lmodel/slsa

Mappings

Mapping Type	Mapped Value
self	slsa:verified_levels
native	slsa:verified_levels

LinkML Source

name: verified_levels
description: The highest level verified in each track, any verified property, and
  any result of the issuer's own; a level implies the levels below it.
comments:
- A VSA lists at most one level per track, and only FAILED when verification failed;
  the validator checks neither.
from_schema: https://w3id.org/lmodel/slsa
rank: 1000
owner: SlsaVerificationSummary
domain_of:
- SlsaVerificationSummary
range: slsa_result_value
required: true
multivalued: true
pattern: ^(SLSA_BUILD_LEVEL_(UNEVALUATED|[0-3])|SLSA_SOURCE_LEVEL_(UNEVALUATED|[0-4])|SLSA_SOURCE_TWO_PARTY_REVIEWED|SLSA_BUILD_REPRODUCED|([!-RT-rt-~]|[Ss]$|[Ss][!-KM-km-~]|[Ss][Ll]$|[Ss][Ll][!-RT-rt-~]|[Ss][Ll][Ss]$|[Ss][Ll][Ss][!-@B-`b-~]|[Ss][Ll][Ss][Aa]$|[Ss][Ll][Ss][Aa][!-^`-~])[!-~]*)$
minimum_cardinality: 1