API reference · schema

PCCCertifyRequest

4 fields · used by 0 operations

Last reviewed 2026-11-06

Fields

Field	Type	Meaning
`module_name` required	string
`source_code` required	string	max length `200000`
`required_safety_invariants`	array of string or null
`contracts`	array of object or null	max items `16`

Smallest valid example

{
  "module_name": "module-name",
  "source_code": "source-code"
}

JSON Schema

Show the raw definition

{
  "properties": {
    "module_name": {
      "type": "string",
      "title": "Module Name"
    },
    "source_code": {
      "type": "string",
      "maxLength": 200000,
      "title": "Source Code"
    },
    "required_safety_invariants": {
      "anyOf": [
        {
          "items": {
            "type": "string"
          },
          "type": "array"
        },
        {
          "type": "null"
        }
      ],
      "title": "Required Safety Invariants"
    },
    "contracts": {
      "anyOf": [
        {
          "items": {
            "additionalProperties": true,
            "type": "object"
          },
          "type": "array",
          "maxItems": 16
        },
        {
          "type": "null"
        }
      ],
      "title": "Contracts"
    }
  },
  "type": "object",
  "required": [
    "module_name",
    "source_code"
  ],
  "title": "PCCCertifyRequest"
}

Try CAIN-42 on your own agents

Create a free account and every new account starts with a 30-day trial of the full platform. Or try the sandbox first, with no account at all.

Create a free account → · Try the sandbox · See the whole ecosystem