Skip to content

contracts

contracts

Examples from HELIX’s own docs. These generated pages come from docs/helix/. Use them to see the method in practice; start with the artifact-type catalog for reusable templates.

Innsigle seal: model-primary by HELIX

The signature covers the markdown source of this page, not these HTML bytes. This page quotes that seal; verify it against the source file.

Composition
model-primary
Issuer
HELIX helix
Signing key
ed25519:b0865d76d834a52c48506414d16f4e5a (build key)
Signed source
artifacts/contracts/_index.md
Signed
2026-09-23T14:11:58Z
Content digest
sha256:53387a88…b8ec446f

This build key is endorsed by the human key for build signing; the signature is not a detector and not a truth guarantee.

Raw attestation JSON
{
  "payload": {
    "innsigle": "1",
    "type": "https://innsigle.dev/claim/colophon/v1",
    "issued_at": "2026-09-23T14:11:58Z",
    "issuer": {
      "id": "helix",
      "name": "HELIX",
      "key_id": "ed25519:b0865d76d834a52c48506414d16f4e5a",
      "key_url": "https://documentdrivendx.github.io/helix/.well-known/innsigle/keys.json"
    },
    "subjects": [
      {
        "uri": "https://documentdrivendx.github.io/helix/artifacts/contracts/_index/",
        "digest": {
          "alg": "sha256",
          "value": "53387a888ece2fa96f6eb950ac08316b459698460e443f4acaf55df5b8ec446f"
        }
      }
    ],
    "colophon": {
      "schema_version": "1",
      "composition": "model-primary",
      "ingredients": [
        {
          "kind": "model",
          "name": "Claude",
          "role": "draft"
        },
        {
          "kind": "tool",
          "name": "sloptimizer",
          "role": "rewrite"
        },
        {
          "kind": "human",
          "name": "operator",
          "role": "structure-edit"
        }
      ],
      "notes": null
    }
  },
  "payload_encoding": "json",
  "signatures": [
    {
      "key_id": "ed25519:b0865d76d834a52c48506414d16f4e5a",
      "alg": "ed25519",
      "sig": "mJdJ9KuNiDepD8uKpSnZle2zC_zCz4dhmMBPecPd4s8NJ10bMNyNletqdDQCWWjjth3EZ5JcTuttVlEpu4nwDA",
      "signed_at": "2026-09-23T14:11:58Z"
    }
  ]
}