Class: InTotoStatement

The statement layer of an in-toto attestation: the subjects it is about, the type of its predicate and the predicate itself.

URI: slsa:InTotoStatement

 classDiagram
    class InTotoStatement
    click InTotoStatement href "../InTotoStatement/"
      InTotoStatement <|-- SlsaStatement
        click SlsaStatement href "../SlsaStatement/"
      
      InTotoStatement : predicate
        
          
    
        
        
        InTotoStatement --> "0..1" InTotoPredicate : predicate
        click InTotoPredicate href "../InTotoPredicate/"
    

        
      InTotoStatement : predicate_type
        
      InTotoStatement : statement_type
        
      InTotoStatement : subject
        
          
    
        
        
        InTotoStatement --> "1..*" InTotoStatementSubject : subject
        click InTotoStatementSubject href "../InTotoStatementSubject/"
    

        
      

Inheritance

• InTotoStatement
  • SlsaStatement

Slots

Name	Cardinality and Range	Description	Inheritance
predicate	0..1 InTotoPredicate	The predicate, one of the kinds this schema or an importing one models; predi…	direct
statement_type	1 InTotoTypeUri	The in-toto statement type, always https://in-toto	direct
subject	1..* InTotoStatementSubject	The artifacts the predicate is about, each with a digest	direct
predicate_type	1 InTotoTypeUri	The URI that names the predicate’s type and so its schema, such as https://in…	direct

Comments

• The signature envelope around a statement, and the bundle that collects signed statements, are outside this model.
• A statement is the attestation, and its predicate is one kind of claim about the subjects, such as a test result or build provenance.

See Also

• https://github.com/in-toto/attestation/blob/v1.2.0/spec/v1/statement.md

Identifier and Mapping Information

Schema Source

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

Mappings

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

LinkML Source

Direct

name: InTotoStatement
description: 'The statement layer of an in-toto attestation: the subjects it is about,
  the type of its predicate and the predicate itself.'
comments:
- The signature envelope around a statement, and the bundle that collects signed statements,
  are outside this model.
- A statement is the attestation, and its predicate is one kind of claim about the
  subjects, such as a test result or build provenance.
from_schema: https://w3id.org/lmodel/slsa
see_also:
- https://github.com/in-toto/attestation/blob/v1.2.0/spec/v1/statement.md
slots:
- predicate
attributes:
  statement_type:
    name: statement_type
    description: The in-toto statement type, always https://in-toto.io/Statement/v1.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:statement_type
    domain_of:
    - InTotoStatement
    range: in_toto_type_uri
    required: true
    pattern: ^https://in-toto\.io/Statement/v1$
  subject:
    name: subject
    description: The artifacts the predicate is about, each with a digest.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:subject
    domain_of:
    - InTotoStatement
    range: InTotoStatementSubject
    required: true
    multivalued: true
    inlined: true
    inlined_as_list: true
    minimum_cardinality: 1
  predicate_type:
    name: predicate_type
    description: The URI that names the predicate's type and so its schema, such as
      https://in-toto.io/attestation/test-result/v0.1.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:predicate_type
    domain_of:
    - InTotoStatement
    range: in_toto_type_uri
    required: true

Induced

name: InTotoStatement
description: 'The statement layer of an in-toto attestation: the subjects it is about,
  the type of its predicate and the predicate itself.'
comments:
- The signature envelope around a statement, and the bundle that collects signed statements,
  are outside this model.
- A statement is the attestation, and its predicate is one kind of claim about the
  subjects, such as a test result or build provenance.
from_schema: https://w3id.org/lmodel/slsa
see_also:
- https://github.com/in-toto/attestation/blob/v1.2.0/spec/v1/statement.md
attributes:
  statement_type:
    name: statement_type
    description: The in-toto statement type, always https://in-toto.io/Statement/v1.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:statement_type
    owner: InTotoStatement
    domain_of:
    - InTotoStatement
    range: in_toto_type_uri
    required: true
    pattern: ^https://in-toto\.io/Statement/v1$
  subject:
    name: subject
    description: The artifacts the predicate is about, each with a digest.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:subject
    owner: InTotoStatement
    domain_of:
    - InTotoStatement
    range: InTotoStatementSubject
    required: true
    multivalued: true
    inlined: true
    inlined_as_list: true
    minimum_cardinality: 1
  predicate_type:
    name: predicate_type
    description: The URI that names the predicate's type and so its schema, such as
      https://in-toto.io/attestation/test-result/v0.1.
    from_schema: https://w3id.org/lmodel/in-toto/in_toto_core
    rank: 1000
    slot_uri: in_toto_linkml:predicate_type
    owner: InTotoStatement
    domain_of:
    - InTotoStatement
    range: in_toto_type_uri
    required: true
  predicate:
    name: predicate
    description: The predicate, one of the kinds this schema or an importing one models;
      predicate_kind names which. Unset means the same as empty.
    comments:
    - 'It is a slot of its own rather than an attribute of InTotoStatement, because
      LOKF''s predicate is a relation''s type: `lokf adapt` renames a slot whose name
      LOKF defines and keeps its IRI, so a copy beside LOKF calls it in_toto_linkml_predicate.'
    from_schema: https://w3id.org/lmodel/slsa
    see_also:
    - https://github.com/in-toto/attestation/blob/v1.2.0/spec/v1/statement.md
    rank: 1000
    slot_uri: in_toto_linkml:predicate
    owner: InTotoStatement
    domain_of:
    - InTotoStatement
    range: InTotoPredicate
    inlined: true