Back to Cog

Schema

architecture/02-schema.md

0.20.017.0 KB
Original Source

Schema

The schema is an OpenAPI 3.0.2 specification that describes a model's interface. It's the contract between the model and everything that interacts with it.

Why the Schema Exists

Every Cog model uses the same Prediction API envelope format, but the input and output fields are model-specific. The schema captures what each model expects and produces.

mermaid
flowchart TB
    subgraph envelope ["PredictionRequest (fixed envelope)"]
        input[""input"#colon; { ... } — model-specific"]
    end
    envelope -.- note["Schema defines this part"]

Without the schema, consumers would have no way to know:

  • What inputs the model accepts
  • What types those inputs should be
  • What constraints apply (required fields, min/max values, allowed choices)
  • What the output looks like

How It's Used Today

ConsumerWhat They Use the Schema For
Replicate platformGenerate input forms in the web UI, validate requests before routing to models
HTTP server (coglet)Validate incoming JSON, reject malformed requests before they reach user code
CLI (cog run)Parse -i key=value flags into correctly-typed Python objects
Docker labelExtract model interface without running the container
API clientsKnow what to send and what to expect back without reading source code

How It's Generated

Cog generates schemas statically. The Go schema generator parses Python source code at cog build time using tree-sitter. No Python process is invoked and no container boots to discover the model interface. The schema is produced from the model's source files before Docker build begins, which keeps schema generation deterministic, fast, and independent of the model's installed dependencies.

If the static parser encounters a type it can't resolve, the build fails with a typed schema error. Hard user errors such as parse failures and unsupported features like default_factory also fail before Docker build starts.

mermaid
flowchart LR
    subgraph source["Model Source"]
        predict["run.py"]
        types["output_types.py"]
    end

    subgraph parser["Go Static Parser"]
        ts["tree-sitter Python"]
        resolve["Type Resolver"]
        cross["Cross-File Resolver"]
    end

    subgraph output["Schema"]
        spec["OpenAPI 3.0.2 JSON"]
    end

    predict --> ts
    types --> cross
    ts --> resolve
    cross --> resolve
    resolve --> spec

Static Path Pipeline Steps

  1. Parse the predictor file with tree-sitter (concrete syntax tree, not AST)
  2. Collect imports -- track where each name came from (from cog import Path, from cog import BaseModel)
  3. Collect module scope -- resolve module-level variable assignments (for default values, choices lists)
  4. Collect BaseModel subclasses -- find all classes that inherit from BaseModel (cog's dataclass-based version; pydantic BaseModel also supported for compatibility)
  5. Resolve cross-file models — for imported names not found locally, find the .py file on disk, parse it, and extract its BaseModel definitions
  6. Extract inputs — walk the run() method parameters, resolve types, defaults, and Input() metadata. Legacy class predict() methods are still accepted with a warning.
  7. Resolve output type — recursively resolve the return type annotation into a SchemaType
  8. Generate OpenAPI — convert the extracted PredictorInfo into a full OpenAPI 3.0.2 JSON document

If any step fails, the build stops before Docker starts.

Cross-File Resolution

When a predictor imports types from other project files, the schema generator resolves them automatically:

python
# output_types.py
from cog import BaseModel

class Prediction(BaseModel):
    text: str
    score: float
    tags: list[str]
python
# run.py
from cog import BaseRunner
from output_types import Prediction

class Runner(BaseRunner):
    def run(self, prompt: str) -> Prediction:
        ...

The resolver handles every permutation of local imports:

Import StyleFile Resolved
from output_types import X<project>/output_types.py
from .output_types import X<project>/output_types.py
from models.output import X<project>/models/output.py
from .models.output import X<project>/models/output.py
from output_types import X as Y<project>/output_types.py (alias tracked)

How it distinguishes local from external: the resolver converts the module path to a filesystem path and checks if the file exists. If output_types.py exists in the project directory, it's local. If not (e.g., from transformers import ...), it's external. Known external packages (stdlib, torch, numpy, etc.) are skipped without a filesystem check.

Error messages: when a type can't be resolved, the error includes the import source:

text
cannot resolve output type 'WeirdType' (imported from 'some_package') —
external types cannot be statically analyzed. Define it as a BaseModel
subclass in your predict file, or provide a .pyi stub

For external values that are already JSON-shaped but not visible to the schema resolver, Annotated[..., cog.Opaque] is the escape hatch. It tells Cog to treat the value as an opaque JSON object while preserving container shape: Annotated[ExternalType, cog.Opaque] becomes an object, and Annotated[list[ExternalType], cog.Opaque] becomes an array of objects. The same shape is preserved for fields inside cog.BaseModel outputs and supported pydantic models.

SchemaType: The Type System

Output types are represented as a recursive algebraic data type (SchemaType) that composes arbitrarily:

mermaid
flowchart TD
    root["SchemaType"] --> prim["SchemaPrimitive — str, int, float, bool, Path"]
    root --> any["SchemaAny — untyped (bare dict, Any)"]
    root --> arr["SchemaArray — list#lsqb;T#rsqb;, with Items → SchemaType"]
    root --> dict["SchemaDict — dict#lsqb;str, V#rsqb;, with ValueType → SchemaType"]
    root --> obj["SchemaObject — BaseModel subclass, with Fields → OrderedMap"]
    root --> iter["SchemaIterator — Iterator#lsqb;T#rsqb;, with Elem → SchemaType"]
    root --> concat["SchemaConcatIterator — ConcatenateIterator#lsqb;str#rsqb;"]

This recursive structure means nested types like dict[str, list[dict[str, int]]] are fully representable and produce correct JSON Schema:

json
{
  "type": "object",
  "additionalProperties": {
    "type": "array",
    "items": {
      "type": "object",
      "additionalProperties": {
        "type": "integer"
      }
    }
  }
}

JSON Schema Generation

Each SchemaType produces its JSON Schema fragment via JSONSchema():

SchemaType KindJSON Schema
SchemaPrimitive(str){"type": "string"}
SchemaPrimitive(Path){"type": "string", "format": "uri"}
SchemaAny{"type": "object"}
SchemaArray(items){"type": "array", "items": items.JSONSchema()}
SchemaDict(valueType){"type": "object", "additionalProperties": valueType.JSONSchema()}
SchemaObject(fields){"type": "object", "properties": {...}, "required": [...]}
SchemaIterator(elem){"type": "array", "items": elem.JSONSchema(), "x-cog-array-type": "iterator"}
SchemaConcatIterator{"type": "array", "items": {"type": "string"}, "x-cog-array-type": "iterator", "x-cog-array-display": "concatenate"}

Type Mappings

Input Types

PythonJSON SchemaNotes
str{"type": "string"}
int{"type": "integer"}
float{"type": "number"}
bool{"type": "boolean"}
cog.Path{"type": "string", "format": "uri"}URLs downloaded at runtime
cog.File{"type": "string", "format": "uri"}File uploads
cog.Secret{"type": "string", "format": "password", "x-cog-secret": true}Masked in logs
list[T]{"type": "array", "items": {...}}
Optional[T]Type T + not in requiredInput fields only
Literal["a", "b"] / choices=[...]{"enum": ["a", "b"]}

Output Types

PythonSchemaTypeJSON Schema
strSchemaPrimitive{"type": "string"}
intSchemaPrimitive{"type": "integer"}
floatSchemaPrimitive{"type": "number"}
boolSchemaPrimitive{"type": "boolean"}
PathSchemaPrimitive{"type": "string", "format": "uri"}
dict (bare)SchemaAny{"type": "object"}
dict[str, V]SchemaDict{"type": "object", "additionalProperties": V}
list (bare)SchemaArray(SchemaAny){"type": "array", "items": {"type": "object"}}
list[T]SchemaArray{"type": "array", "items": T}
Annotated[T, cog.Opaque]SchemaPrimitive(TypeAny){"type": "object"}
Annotated[list[T], cog.Opaque]SchemaArray(SchemaPrimitive(TypeAny)){"type": "array", "items": {"type": "object"}}
BaseModel subclassSchemaObject{"type": "object", "properties": {...}}
Iterator[T]SchemaIterator{"type": "array", "items": T, "x-cog-array-type": "iterator"}
ConcatenateIterator[str]SchemaConcatIteratorStreaming token output
Nested typesRecursivedict[str, list[dict[str, int]]] fully supported

Unsupported Output Types

PythonError
Optional[T] / T | NonePredictions must succeed with a value or fail with an error
Union[A, B]Ambiguous for downstream consumers
External package typesCannot be statically analyzed — define as BaseModel, use .pyi stub, or mark JSON-shaped values with Annotated[..., cog.Opaque]

Cog-Specific Extensions

ExtensionPurpose
x-orderPreserves parameter order from function signature
x-cog-array-typeMarks iterators vs regular arrays
x-cog-array-displayHints for how to display streaming output
x-cog-secretMarks sensitive inputs

Where the Schema Lives

In the Image

Embedded as a Docker label during build:

bash
docker inspect my-model | jq -r '.[0].Config.Labels["run.cog.openapi_schema"]'

Also written to .cog/openapi_schema.json inside the image for the runtime to serve.

At Runtime

EndpointFormat
GET /openapi.jsonRaw OpenAPI spec

Override and Configuration

Environment VariablePurpose
COG_OPENAPI_SCHEMA=pathSkip generation entirely and use a pre-built schema file.
bash
# Default: static schema generation
cog build -t my-model

# Use a pre-built schema file
COG_OPENAPI_SCHEMA=my_schema.json cog build

Schema Structure

A simplified example showing a multi-file predictor with structured output:

json
{
  "openapi": "3.0.2",
  "info": { "title": "Cog", "version": "0.1.0" },
  "paths": {
    "/predictions": {
      "post": {
        "requestBody": {
          "content": {
            "application/json": {
              "schema": { "$ref": "#/components/schemas/PredictionRequest" }
            }
          }
        }
      }
    }
  },
  "components": {
    "schemas": {
      "Input": {
        "type": "object",
        "properties": {
          "prompt": {
            "type": "string",
            "description": "Text prompt",
            "x-order": 0
          },
          "steps": {
            "type": "integer",
            "default": 50,
            "minimum": 1,
            "maximum": 100,
            "x-order": 1
          }
        },
        "required": ["prompt"]
      },
      "Output": {
        "type": "object",
        "properties": {
          "text": { "type": "string", "title": "Text" },
          "score": { "type": "number", "title": "Score" }
        },
        "required": ["text", "score"]
      },
      "PredictionRequest": { "...": "..." },
      "PredictionResponse": { "...": "..." }
    }
  }
}

Code References

FilePurpose
pkg/schema/schema_type.goSchemaType ADT, ResolveSchemaType(), JSONSchema() generation
pkg/schema/types.goPredictorInfo, PrimitiveType, FieldType, InputField, imports
pkg/schema/python/Tree-sitter Python parser and cross-file resolution
pkg/schema/openapi.goOpenAPI document assembly from PredictorInfo
pkg/schema/generator.goTop-level Generate(), GenerateCombined(), Parser type
pkg/schema/errors.goTyped schema error kinds
pkg/image/build.goBuild-time schema generation entry point and schema file validation