From idea to verified software, websites and apps.From idea to verified software.website.app.

{
  "_type": "https://in-toto.io/Statement/v1",
  "subject": [
    {
      "name": "content/products/descriptions.json",
      "digest": {
        "sha256": "6130b4ebf731b7df1c92beba5fe97462664a05cd2417fa9ecaca01612607a385"
      }
    }
  ],
  "predicateType": "https://farbaek.com/proofpack/v1",
  "predicate": {
    "sample": true,
    "task": {
      "id": "tsk_sample",
      "outcome": "Rewrite the descriptions of 100 storefront products in the new house style."
    },
    "contract": {
      "schema": "farbaek.intent-contract/v1",
      "version": 3,
      "sha256": "134a270752f5472171923553753e14d7980843a4be08c4734b887e11ef251ac8"
    },
    "policy": {
      "version": "12",
      "decision": "REQUIRE_APPROVAL"
    },
    "approval": {
      "state": "approved",
      "bindingSha256": "cd6a57f6174ba7e31f817549360f8294f42e97fc21e19840393052da4d5891fe"
    },
    "checks": [
      {
        "name": "typecheck",
        "command": "pnpm typecheck",
        "exitCode": 0
      },
      {
        "name": "unit tests",
        "command": "pnpm test",
        "exitCode": 0
      }
    ],
    "postconditions": [
      {
        "id": "inv-1",
        "method": "read_back",
        "result": "passed"
      },
      {
        "id": "ac-2",
        "method": "read_back",
        "result": "passed"
      }
    ],
    "verification": {
      "status": "verified",
      "notVerified": [
        "Storefront rendering on real devices"
      ],
      "limits": "Shows these commands ran against this exact state with these results. It does not prove the absence of other defects."
    }
  }
}

{
  "schema": "farbaek.intent-contract/v1",
  "version": 3,
  "outcome": "Rewrite the descriptions of 100 storefront products in the new house style.",
  "scope": {
    "organizationId": "org_sample",
    "projectId": "prj_sample_storefront",
    "resources": [
      "products"
    ]
  },
  "allowedOperations": [
    "products.update"
  ],
  "forbiddenOperations": [
    "products.delete",
    "products.publish"
  ],
  "protectedFields": [
    "price",
    "stock",
    "published"
  ],
  "protectedInvariants": [
    {
      "id": "inv-1",
      "statement": "Prices, stock and publication state are unchanged."
    },
    {
      "id": "inv-2",
      "statement": "No orders are created, edited or cancelled."
    }
  ],
  "assumptions": [
    "The house style guide in docs/style.md is current."
  ],
  "openQuestions": [],
  "acceptanceCriteria": [
    {
      "id": "ac-1",
      "statement": "All 100 products have a description under 160 characters.",
      "verification": "test"
    },
    {
      "id": "ac-2",
      "statement": "Saved descriptions read back exactly as approved.",
      "verification": "read_back"
    }
  ],
  "approvals": [
    {
      "gate": "before_execution",
      "role": "catalog_owner"
    }
  ],
  "limits": {
    "maxRecords": 100,
    "maxRetries": 2
  },
  "requiredChecks": [
    "pnpm typecheck",
    "pnpm test"
  ],
  "recovery": "Restore the previous descriptions from the pre-change snapshot."
}