-
Notifications
You must be signed in to change notification settings - Fork 0
Branch main Contract ObservedSystemState
github-actions[bot] edited this page May 21, 2026
·
102 revisions
| Field | Value |
|---|---|
| Branch | main |
| Source | specs/contracts/ObservedSystemState.schema.json |
| Commit | a8bea152e7f9 |
| Synced (UTC) | 2026-05-21T05:47:19Z |
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": "ObservedSystemState",
"description": "Platform-neutral observed system state.",
"type": "object",
"properties": {
"observedSystemStateID": {
"type": "string"
},
"documentReference": {
"$ref": "JsonDocumentReference.schema.json"
},
"surfaceDifferences": {
"type": "array",
"items": {
"$ref": "SurfaceDifference.schema.json"
},
"minItems": 0
},
"diagnosticReference": {
"$ref": "DiagnosticReference.schema.json"
}
},
"required": [
"observedSystemStateID",
"documentReference",
"surfaceDifferences",
"diagnosticReference"
],
"additionalProperties": false
}