-
Notifications
You must be signed in to change notification settings - Fork 0
Branch main Contract GenerationPlan
github-actions[bot] edited this page Jul 13, 2026
·
75 revisions
| Field | Value |
|---|---|
| Branch | main |
| Source | specs/contracts/GenerationPlan.schema.json |
| Commit | 774b981ef226 |
| Synced (UTC) | 2026-07-13T05:33:10Z |
Contract pages define the machine-checkable object shape that crosses a lifecycle boundary.
flowchart LR
Producer["Lifecycle producer"] --> Contract["Contract schema"]
Contract --> Example["Schema example"]
Example --> Validator["Schema validator"]
Contract --> Fixture["Conformance fixture output"]
Fixture --> Gate["Base-design gate"]
| Question | Where to look |
|---|---|
| Which lifecycle boundary uses it? | Read description, required fields, and linked references. |
| What diagnostics are mandatory? | Inspect diagnostic reference fields and rule-reference links. |
| How is it validated? | Compare this schema with fixtures/schema_examples/ and conformance vectors. |
{
"$schema": "http://json-schema.org/draft-07/schema#",
"title": "GenerationPlan",
"description": "Side-effect-free abstract generation plan.",
"type": "object",
"properties": {
"planID": {
"type": "string"
},
"planElements": {
"type": "array",
"items": {
"type": "object",
"additionalProperties": true
},
"minItems": 1
},
"semanticInputs": {
"type": "object",
"additionalProperties": true
},
"diagnosticReferences": {
"type": "array",
"items": {
"$ref": "DiagnosticReference.schema.json"
},
"minItems": 1
},
"planHash": {
"type": "string"
}
},
"required": [
"planID",
"planElements",
"semanticInputs",
"diagnosticReferences",
"planHash"
],
"additionalProperties": false
}