architecture/02-schema.md
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.
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.
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:
| Consumer | What They Use the Schema For |
|---|---|
| Replicate platform | Generate 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 label | Extract model interface without running the container |
| API clients | Know what to send and what to expect back without reading source code |
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.
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
BaseModel and TypedDict classes.Input() attributes and helper methods.run() and fall back to legacy predict() for backward compatibility; train-mode class targets resolve train(). Standalone targets use the configured function name first, then fall back to the mode default if absent.Input() metadata.SchemaType.If any step fails, the build stops before Docker starts.
When a predictor imports types from other project files, the schema generator resolves them automatically:
# output_types.py
from cog import BaseModel
class Prediction(BaseModel):
text: str
score: float
tags: list[str]
# run.py
from cog import BaseRunner
from output_types import Prediction
class Runner(BaseRunner):
def run(self, prompt: str) -> Prediction:
...
The resolver handles local imports relative to the predictor file and project root:
| Import Style | File Resolved |
|---|---|
from output_types import X | <project>/output_types.py |
from .output_types import X | <predictor-dir>/output_types.py |
from models.output import X | <project>/models/output.py |
from .models.output import X | <predictor-dir>/models/output.py |
from output_types import X as Y | <project>/output_types.py (alias tracked) |
from .output_types import X as Y | <predictor-dir>/output_types.py (alias tracked) |
from . import output_types | <predictor-dir>/output_types.py (module 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:
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.
Output types are represented as a recursive algebraic data type (SchemaType) that composes arbitrarily:
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:
{
"type": "object",
"additionalProperties": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": {
"type": "integer"
}
}
}
}
Each SchemaType produces its JSON Schema fragment via JSONSchema():
| SchemaType Kind | JSON 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"} |
| Python | JSON Schema | Notes |
|---|---|---|
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] / T | None | Type T + nullable: true, not in required | Input fields only; never required |
A | B / Union[A, B] | {"anyOf": [A, B]} | Input-only, JSON-native unions only |
A | B | None | {"anyOf": [A, B]} + nullable: true | Multi-variant union; stays in required unless a default is supplied |
Literal["a", "b"] / choices=[...] | {"enum": ["a", "b"]} |
Input unions are intentionally narrower than output types. Cog supports JSON-native input unions (str, int, float, bool, dict/Any, list[T], and None) so request validation can happen at the HTTP boundary and Python normalisation can choose a deterministic value type. Cog rejects unions involving Path, File, Secret, custom coders, and BaseModel because those cases are ambiguous for clients or runtime coercion. Output unions remain unsupported (see below).
A plain single-type optional (Optional[T] or T | None) is never placed in required, regardless of whether a default is supplied. A multi-variant nullable union (A | B | None) is different: because the field carries a concrete anyOf value type, it stays in required unless a default makes it omittable. This is why the two rows above differ in their required behaviour.
Nullable behaviour matches every other optional field: nullable: true (plus omission from required) means an omitted value falls back to the default. An explicit JSON null is still validated against the field type and is rejected at the HTTP edge, because the runtime validator does not treat OpenAPI's nullable keyword as an additional accepted value. "May be null" therefore means "may be omitted", not "accepts an explicit null payload".
Runtime caveat: Cog marks optionals as not-
requiredin the schema, but the predictor still needs a Python-level default so the omitted value resolves toNone. Usevalue: Optional[T] = Input(...)(theInput(...)supplies an implicitNone) orInput(default=None). A barevalue: Optional[T]annotation with no= Input(...)generates a correct "optional" schema but raisesTypeError: missing 1 required positional argumentwhen the field is omitted at runtime.
| Python | SchemaType | JSON Schema |
|---|---|---|
str | SchemaPrimitive | {"type": "string"} |
int | SchemaPrimitive | {"type": "integer"} |
float | SchemaPrimitive | {"type": "number"} |
bool | SchemaPrimitive | {"type": "boolean"} |
Path | SchemaPrimitive | {"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 subclass | SchemaObject | {"type": "object", "properties": {...}} |
Iterator[T] | SchemaIterator | {"type": "array", "items": T, "x-cog-array-type": "iterator"} |
ConcatenateIterator[str] | SchemaConcatIterator | Streaming token output |
| Nested types | Recursive | dict[str, list[dict[str, int]]] fully supported |
| Python | Error |
|---|---|
Optional[T] / T | None | Predictions must succeed with a value or fail with an error |
Union[A, B] | Ambiguous for downstream consumers |
| External package types | Cannot be statically analyzed — define as BaseModel, use .pyi stub, or mark JSON-shaped values with Annotated[..., cog.Opaque] |
| Extension | Purpose |
|---|---|
x-order | Preserves parameter order from function signature |
x-cog-array-type | Marks iterators vs regular arrays |
x-cog-array-display | Hints for how to display streaming output |
x-cog-secret | Marks sensitive inputs |
x-cog-streaming | Marks prediction operations that accept SSE clients |
Iterator output types describe the shape of accumulated JSON output. SSE response support is a separate prediction operation capability and is only advertised when the prediction handler opts in with @cog.streaming.
Embedded as a Docker label during build:
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.
| Endpoint | Format |
|---|---|
GET /openapi.json | Raw OpenAPI spec |
| Environment Variable | Purpose |
|---|---|
COG_OPENAPI_SCHEMA=path | Skip generation entirely and use a pre-built schema file. |
# Default: static schema generation
cog build -t my-model
# Use a pre-built schema file
COG_OPENAPI_SCHEMA=my_schema.json cog build
A simplified example showing a multi-file predictor with structured output:
{
"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": { "...": "..." }
}
}
}
| File | Purpose |
|---|---|
pkg/schema/schema_type.go | SchemaType ADT, ResolveSchemaType(), JSONSchema() generation |
pkg/schema/types.go | PredictorInfo, PrimitiveType, FieldType, InputField, imports |
pkg/schema/python/ | Tree-sitter Python parser and cross-file resolution |
pkg/schema/openapi.go | OpenAPI document assembly from PredictorInfo |
pkg/schema/generator.go | Top-level Generate(), GenerateCombined(), Parser type |
pkg/schema/errors.go | Typed schema error kinds |
pkg/image/build.go | Build-time schema generation entry point and schema file validation |