in-toto の Statement（_type は https://in-toto.io/Statement/v1）は、subject のアーティファクトを名前とダイジェストで列挙し、predicateType の URI と predicate オブジェクトを持ちます。述語には、SLSA の来歴、SPDX や CycloneDX の SBOM、脆弱性スキャン、テスト結果、独自の型などが入ります。Statement は DSSE エンベロープに包まれ、通常は Sigstore で署名されるため、署名はペイロードとその型の両方を対象とします。
元の in-toto のレイアウト仕様は、パイプライン全体について想定されるステップ、実行者（functionary）、検査（inspection）も定義していますが、現在の導入例のほとんどはアテステーション形式だけを使っています。検証者は、サブジェクトをダイジェストで照合し、想定する述語の型であることを確認し、述語の内容に対してポリシーを評価すべきです。in-toto アテステーションビューアーで、エンベロープとステートメントをデコードできます。