Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions conformance/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -36,3 +36,8 @@ vectors. This repository provides no runtime, renderer or native artifact oracle
validator executes these schema expectations using the dependency-free schema subset checker.
Schema acceptance and profile execution are distinct: a well-formed evidence report can still
fail its completeness or identity obligations.

`contracts/presentation-valid.json` contains the canonical synthetic presentation declaration as
a portable positive schema case. Presentation vectors embed their complete declarations to remain
self-contained; no separate fixture under `profiles/` or special validator path is needed.
P01/P02 vectors belong to PRESENTATION; P03 vectors belong to the separately claimed PIXELS profile.
27 changes: 27 additions & 0 deletions conformance/contracts/binding-clock.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-CLOCK",
"schema": "binding",
"description": "binding clock",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "clock",
"snapshot": "s1",
"component": "Clock",
"value": [
2026,
9,
7,
12,
0,
0
]
}
]
},
"valid": true
}
25 changes: 25 additions & 0 deletions conformance/contracts/binding-numericdisplay.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-NUMERICDISPLAY",
"schema": "binding",
"description": "binding numericdisplay",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "NumericDisplay",
"value": {
"integer": "-1",
"scale": 2,
"prefix": "",
"suffix": ""
}
}
]
},
"valid": true
}
23 changes: 23 additions & 0 deletions conformance/contracts/binding-signaltrace.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-SIGNALTRACE",
"schema": "binding",
"description": "binding signaltrace",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "SignalTrace",
"value": [
1,
2
]
}
]
},
"valid": true
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-statusindicator.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-STATUSINDICATOR",
"schema": "binding",
"description": "binding statusindicator",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "StatusIndicator",
"value": 0
}
]
},
"valid": true
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-textinput.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-TEXTINPUT",
"schema": "binding",
"description": "binding textinput",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "TextInput",
"value": "a\ud83d\ude00"
}
]
},
"valid": true
}
30 changes: 30 additions & 0 deletions conformance/contracts/binding-vulkanviewport.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-VULKANVIEWPORT",
"schema": "binding",
"description": "binding vulkanviewport",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "VulkanViewport",
"value": {
"width": 1,
"height": 1,
"format": "RGBA8",
"rgba8": [
1,
2,
3,
255
]
}
}
]
},
"valid": true
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-clock.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-CLOCK",
"schema": "binding",
"description": "binding wrong clock",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "clock",
"snapshot": "s1",
"component": "Clock",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-numericdisplay.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-NUMERICDISPLAY",
"schema": "binding",
"description": "binding wrong numericdisplay",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "NumericDisplay",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-signaltrace.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-SIGNALTRACE",
"schema": "binding",
"description": "binding wrong signaltrace",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "SignalTrace",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-statusindicator.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-STATUSINDICATOR",
"schema": "binding",
"description": "binding wrong statusindicator",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "StatusIndicator",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-textinput.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-TEXTINPUT",
"schema": "binding",
"description": "binding wrong textinput",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "TextInput",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/binding-wrong-vulkanviewport.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-BINDING-WRONG-VULKANVIEWPORT",
"schema": "binding",
"description": "binding wrong vulkanviewport",
"document": {
"screen": "screen",
"snapshot": "s1",
"frame": 0,
"entries": [
{
"node": "node",
"source": "value",
"snapshot": "s1",
"component": "VulkanViewport",
"value": null
}
]
},
"valid": false
}
20 changes: 20 additions & 0 deletions conformance/contracts/manifest-pixels-only.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-MANIFEST-PIXELS-ONLY",
"schema": "consumer-manifest",
"description": "A consumer can independently claim pixels-only",
"document": {
"repository": "https://github.com/Compliatory/MedUI",
"commit": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
"capabilities": [
"syntax"
],
"positions": "full",
"profiles": [
{
"id": "MEDUI-PROFILE-PIXELS",
"version": 1
}
]
},
"valid": true
}
20 changes: 20 additions & 0 deletions conformance/contracts/manifest-presentation-only.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
"id": "MEDUI-CONTRACT-CASE-MANIFEST-PRESENTATION-ONLY",
"schema": "consumer-manifest",
"description": "A consumer can independently claim presentation-only",
"document": {
"repository": "https://github.com/Compliatory/MedUI",
"commit": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
"capabilities": [
"syntax"
],
"positions": "full",
"profiles": [
{
"id": "MEDUI-PROFILE-PRESENTATION",
"version": 1
}
]
},
"valid": true
}
16 changes: 16 additions & 0 deletions conformance/contracts/manifest-profiles.json
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,22 @@
{
"id": "MEDUI-PROFILE-EVIDENCE",
"version": 1
},
{
"id": "MEDUI-PROFILE-INTERACTION",
"version": 1
},
{
"id": "MEDUI-PROFILE-BINDING",
"version": 1
},
{
"id": "MEDUI-PROFILE-PRESENTATION",
"version": 1
},
{
"id": "MEDUI-PROFILE-PIXELS",
"version": 1
}
]
},
Expand Down
43 changes: 43 additions & 0 deletions conformance/contracts/presentation-channel-range.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
{
"id": "MEDUI-CONTRACT-CASE-PRESENTATION-CHANNEL-RANGE",
"schema": "presentation",
"description": "presentation channel range",
"document": {
"theme": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa",
"font": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
"assets": [
{
"id": "image/ui",
"digest": "cccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccccc"
}
],
"backend": "synthetic",
"surface": [
20,
20
],
"variants": [
{
"component": "Row",
"pressed": false,
"focused": false,
"face": [
0,
0,
10,
10
],
"label": null,
"tint": [
256,
0,
0,
255
],
"caret": null,
"clip": true
}
]
},
"valid": false
}
Loading
Loading