openpuppet-language 2.0__py3-none-any.whl

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/platform.json

@@ -0,0 +1,274 @@
+[
+  {
+    "id": "p-call-unknown",
+    "title": "调用不存在的函数是错误，不得静默返回空值",
+    "spec": "01-grammar.md 第 7.9 节；03-semantics.md 第 4.1 节",
+    "program": [
+      "add #root window #win",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "steps": [
+      {
+        "send": ["call nope with {} into #res"],
+        "expect": { "diagnostics": [{ "code": "CALL_UNKNOWN", "level": "error" }] }
+      }
+    ]
+  },
+  {
+    "id": "p-call-contract",
+    "title": "缺少必需参数是错误",
+    "spec": "03-semantics.md 第 4.1 节",
+    "program": [
+      "add #root window #win",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "capabilities": [
+      {
+        "name": "compress",
+        "params": [{ "name": "input", "type": "str", "required": true }],
+        "returns": "dict",
+        "behavior": "return",
+        "value": { "path": "a", "size": 1 }
+      }
+    ],
+    "steps": [
+      {
+        "send": ["call compress with {} into #res"],
+        "expect": { "diagnostics": [{ "code": "CALL_CONTRACT", "level": "error" }] }
+      }
+    ]
+  },
+  {
+    "id": "p-call-result",
+    "title": "返回值不可序列化是错误",
+    "spec": "03-semantics.md 第 4.1 节",
+    "program": [
+      "add #root window #win",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "capabilities": [
+      { "name": "weird", "params": [], "returns": "dict", "behavior": "nonjson" }
+    ],
+    "steps": [
+      {
+        "send": ["call weird with {} into #res"],
+        "expect": { "diagnostics": [{ "code": "CALL_RESULT", "level": "error" }] }
+      }
+    ]
+  },
+  {
+    "id": "p-slot-readable",
+    "title": "槽值可直接绑定读，不需要三段式处理器",
+    "spec": "03-semantics.md 第 4.4 节",
+    "program": [
+      "add #root window #win",
+      "add #win text #s text=#res.status",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "capabilities": [
+      { "name": "echo", "params": [], "returns": "str", "behavior": "return", "value": "hi" }
+    ],
+    "steps": [
+      {
+        "send": ["call echo with {} into #res"],
+        "expect": {
+          "slots": { "#res": { "status": "done" } },
+          "attrs": { "#s.text": "done" }
+        }
+      }
+    ]
+  },
+  {
+    "id": "p-slot-timeout",
+    "title": "挂死的调用必须超时并可见，不得永久停在“进行中”",
+    "spec": "03-semantics.md 第 4.2 节",
+    "program": [
+      "add #root window #win",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "limits": { "callTimeoutMs": 200 },
+    "capabilities": [
+      { "name": "slow", "params": [], "returns": "dict", "behavior": "hang" }
+    ],
+    "steps": [
+      {
+        "send": ["call slow with {} into #res"],
+        "expect": {
+          "diagnostics": [{ "code": "SLOT_TIMEOUT" }],
+          "slots": { "#res": { "status": "timeout" } }
+        }
+      }
+    ]
+  },
+  {
+    "id": "p-convergence-limit",
+    "title": "处理器级联达到上限必须报可见错误，不得静默停止传播",
+    "spec": "03-semantics.md 第 3.3 节",
+    "program": [
+      "add #root window #win",
+      "data #a = [] of {n: int = 0}",
+      "on #a change: append #a item={n: 1}"
+    ],
+    "steps": [
+      {
+        "send": ["append #a item={n: 0}"],
+        "expect": { "diagnostics": [{ "code": "CONVERGENCE_LIMIT", "level": "error" }] }
+      }
+    ]
+  },
+  {
+    "id": "p-persist-survives-restart",
+    "title": "persist 数据在重启后存活",
+    "spec": "03-semantics.md 第 5 节",
+    "program": [
+      "add #root window #win",
+      "data #todos persist=true = [] of {text: str = \"\"}"
+    ],
+    "steps": [
+      {
+        "send": ["append #todos item={text: \"a\"}"],
+        "expect": { "data": { "#todos": [{ "text": "a" }] } }
+      },
+      {
+        "restart": true,
+        "expect": { "data": { "#todos": [{ "text": "a" }] } }
+      }
+    ]
+  },
+  {
+    "id": "p-transient-reset-on-restart",
+    "title": "非 persist 数据在重启后回到声明初值",
+    "spec": "03-semantics.md 第 5 节",
+    "program": [
+      "add #root window #win",
+      "data #tmp = [] of {text: str = \"\"}"
+    ],
+    "steps": [
+      {
+        "send": ["append #tmp item={text: \"a\"}"],
+        "expect": { "data": { "#tmp": [{ "text": "a" }] } }
+      },
+      {
+        "restart": true,
+        "expect": { "data": { "#tmp": [] } }
+      }
+    ]
+  },
+  {
+    "id": "p-state-rebuilt",
+    "title": "没有状态文件时从声明初值重建，并产生信息级事件",
+    "spec": "03-semantics.md 第 5 节；06-diagnostics.md 第 4.6 节",
+    "program": [
+      "add #root window #win",
+      "data #todos persist=true = [] of {text: str = \"\"}"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "STATE_REBUILT", "level": "info" }]
+    },
+    "steps": [
+      { "expect": { "data": { "#todos": [] } } }
+    ]
+  },
+  {
+    "id": "p-persist-drift",
+    "title": "持久状态出现未声明字段：报警告、不迁移、不丢数据",
+    "spec": "03-semantics.md 第 5 节；06-diagnostics.md 第 4.6 节",
+    "program": [
+      "add #root window #win",
+      "data #todos persist=true = [] of {text: str = \"\"}"
+    ],
+    "seedState": {
+      "revision": 1,
+      "items": { "#todos": [{ "text": "a", "legacy": 1 }] }
+    },
+    "steps": [
+      {
+        "expect": { "data": { "#todos": [{ "text": "a", "legacy": 1 }] } }
+      },
+      {
+        "restart": true,
+        "expect": {
+          "diagnostics": [{ "code": "PERSIST_SCHEMA_DRIFT", "level": "warning" }],
+          "data": { "#todos": [{ "text": "a", "legacy": 1 }] }
+        }
+      }
+    ]
+  },
+  {
+    "id": "p-slot-cancelled",
+    "title": "同一槽上新的调用取消进行中的旧调用，且取消可见",
+    "spec": "03-semantics.md 第 4.2 节",
+    "program": [
+      "add #root window #win",
+      "data #res = [] of {value: str = \"\"}"
+    ],
+    "limits": { "callTimeoutMs": 400 },
+    "capabilities": [
+      { "name": "slow", "params": [], "returns": "str", "behavior": "hang" },
+      { "name": "fast", "params": [], "returns": "str", "behavior": "return", "value": "ok" }
+    ],
+    "steps": [
+      {
+        "send": [
+          "call slow with {} into #res",
+          "call fast with {} into #res"
+        ],
+        "expect": {
+          "diagnostics": [{ "code": "SLOT_CANCELLED", "level": "info" }],
+          "slots": { "#res": { "status": "done" } }
+        }
+      }
+    ]
+  },
+  {
+    "id": "p-slot-handler-dispatch",
+    "title": "槽状态变化的处理器会被派发（pending 之后 done）",
+    "spec": "03-semantics.md 第 4.2 节",
+    "program": [
+      "add #root window #win",
+      "add #win text #status text=\"\"",
+      "data #res = [] of {value: str = \"\"}",
+      "on #res done as e: set #status text=e.status",
+      "on #res error as e: set #status text=\"错误：\" + e.status"
+    ],
+    "capabilities": [
+      { "name": "echo", "params": [], "returns": "str", "behavior": "return", "value": "hi" }
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "send": ["call echo with {} into #res"],
+        "expect": {
+          "attrs": { "#status.text": "done" },
+          "slots": { "#res": { "status": "done" } }
+        }
+      }
+    ]
+  },
+  {
+    "id": "p-observation-dropped",
+    "title": "观察流溢出必须留下可见标记，不得静默丢弃",
+    "spec": "03-semantics.md 第 6 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "data #n = [] of {v: int = 0}",
+      "listen #n change"
+    ],
+    "limits": { "eventQueue": 2 },
+    "steps": [
+      {
+        "send": [
+          "append #n item={v: 1}",
+          "append #n item={v: 2}",
+          "append #n item={v: 3}",
+          "append #n item={v: 4}"
+        ],
+        "expect": {
+          "diagnostics": [{ "code": "OBSERVATION_DROPPED", "level": "warning" }],
+          "events": [{ "target": "#n", "event": "change" }],
+          "data": { "#n": [{ "v": 1 }, { "v": 2 }, { "v": 3 }, { "v": 4 }] }
+        }
+      }
+    ]
+  }
+]

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/probes.json

@@ -0,0 +1,117 @@
+[
+  {
+    "id": "pr-tree",
+    "title": "tree 探针返回结构树",
+    "spec": "01-grammar.md 第 7.10 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #main"
+    ],
+    "steps": [
+      {
+        "send": ["tree"],
+        "expect": {
+          "probes": [{ "verb": "tree", "result": { "id": "#root", "type": "root" } }]
+        }
+      }
+    ]
+  },
+  {
+    "id": "pr-get",
+    "title": "get 探针返回单个节点的形状",
+    "spec": "01-grammar.md 第 7.10 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "steps": [
+      {
+        "send": ["get #b"],
+        "expect": {
+          "probes": [{ "verb": "get", "target": "#b",
+                       "result": { "id": "#b", "type": "button" } }]
+        }
+      }
+    ]
+  },
+  {
+    "id": "pr-where-degraded",
+    "title": "几何反查不可用时降级必须可见",
+    "spec": "01-grammar.md 第 7.10 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "rendering": { "geometry": false },
+    "steps": [
+      {
+        "send": ["where #b"],
+        "expect": {
+          "diagnostics": [{ "code": "DEGRADED_FEATURE", "level": "info" }],
+          "probes": [{ "verb": "where", "result": { "geometry": null } }]
+        }
+      }
+    ]
+  },
+  {
+    "id": "pr-get-missing",
+    "title": "探针目标不存在是错误，result 为 null",
+    "spec": "01-grammar.md 第 7.10 节",
+    "program": [
+      "add #root window #win"
+    ],
+    "steps": [
+      {
+        "send": ["get #ghost"],
+        "expect": {
+          "diagnostics": [{ "code": "TARGET_MISSING", "level": "error" }],
+          "probes": [{ "verb": "get", "result": null }]
+        }
+      }
+    ]
+  },
+  {
+    "id": "pr-source-probe",
+    "title": "写在源文件里的探针在装载完成后执行",
+    "spec": "01-grammar.md 第 7.10 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\"",
+      "tree"
+    ],
+    "loadExpect": {
+      "probes": [{ "verb": "tree", "result": { "id": "#root", "type": "root" } }]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#b"] } }
+    ]
+  },
+  {
+    "id": "pr-no-side-effects",
+    "title": "探针不改变程序或状态",
+    "spec": "01-grammar.md 第 7.10 节",
+    "program": [
+      "add #root window #win",
+      "data #n = [] of {v: int = 0}"
+    ],
+    "steps": [
+      {
+        "send": ["append #n item={v: 1}", "append #n item={v: 2}", "tree"],
+        "expect": {
+          "data": { "#n": [{ "v": 1 }, { "v": 2 }] },
+          "probes": [{ "verb": "tree" }]
+        }
+      },
+      {
+        "send": ["get #win"],
+        "expect": {
+          "probes": [{ "verb": "get", "result": { "id": "#win", "type": "window" } }],
+          "data": { "#n": [{ "v": 1 }, { "v": 2 }] }
+        }
+      }
+    ]
+  }
+]

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/render.json

@@ -0,0 +1,180 @@
+[
+  {
+    "id": "r-relations-basic",
+    "title": "几何可用时，关系断言按矩形判定（方位/对齐/间距/包含）",
+    "spec": "05-render-contract.md 第 7.3、8 节",
+    "program": [
+      "add #root window #win",
+      "add #win row #bar gap=8",
+      "add #bar button #a text=\"A\"",
+      "add #bar button #b text=\"B\"",
+      "on #a click: set #a text=\"A\"",
+      "on #b click: set #b text=\"B\""
+    ],
+    "renderGeometry": {
+      "#win": { "x": 0, "y": 0, "width": 420, "height": 640 },
+      "#bar": { "x": 16, "y": 16, "width": 388, "height": 40 },
+      "#a": { "x": 16, "y": 16, "width": 80, "height": 40 },
+      "#b": { "x": 104, "y": 16, "width": 80, "height": 40 }
+    },
+    "steps": [
+      {
+        "expect": {
+          "geometry": { "#a": { "x": 16, "y": 16, "width": 80, "height": 40 } },
+          "relations": [
+            { "rel": "left_of", "a": "#a", "b": "#b" },
+            { "rel": "aligned_y", "a": "#a", "b": "#b" },
+            { "rel": "gap_h", "a": "#a", "b": "#b", "value": 8, "tol": 1 },
+            { "rel": "same_size", "a": "#a", "b": "#b" },
+            { "rel": "contains", "a": "#bar", "b": "#a" }
+          ]
+        }
+      }
+    ]
+  },
+  {
+    "id": "r-tolerance",
+    "title": "对齐容差：tol 内的偏差视为对齐",
+    "spec": "05-render-contract.md 第 8 节",
+    "program": [
+      "add #root window #win",
+      "add #win row #bar gap=8",
+      "add #bar button #a text=\"A\"",
+      "add #bar button #b text=\"B\"",
+      "on #a click: set #a text=\"A\"",
+      "on #b click: set #b text=\"B\""
+    ],
+    "renderGeometry": {
+      "#a": { "x": 10.0, "y": 10.0, "width": 50, "height": 20 },
+      "#b": { "x": 70.5, "y": 11.0, "width": 50, "height": 20 }
+    },
+    "steps": [
+      {
+        "expect": {
+          "relations": [
+            { "rel": "aligned_y", "a": "#a", "b": "#b", "tol": 1.5 },
+            { "rel": "same_width", "a": "#a", "b": "#b" }
+          ]
+        }
+      }
+    ]
+  },
+  {
+    "id": "r-relations-extended",
+    "title": "关系词汇覆盖：包含/方位/重叠/居中/间距/比例",
+    "spec": "05-render-contract.md 第 8 节",
+    "program": [
+      "add #root window #win w=420 h=640",
+      "add #win col #nav",
+      "add #win col #content",
+      "add #content button #a text=\"A\"",
+      "add #content button #b text=\"B\"",
+      "on #a click: set #a text=\"A\"",
+      "on #b click: set #b text=\"B\""
+    ],
+    "renderGeometry": {
+      "#win": { "x": 0, "y": 0, "width": 420, "height": 640 },
+      "#nav": { "x": 0, "y": 0, "width": 420, "height": 48 },
+      "#content": { "x": 0, "y": 56, "width": 420, "height": 584 },
+      "#a": { "x": 16, "y": 72, "width": 100, "height": 40 },
+      "#b": { "x": 100, "y": 72, "width": 200, "height": 40 }
+    },
+    "steps": [
+      {
+        "expect": {
+          "relations": [
+            { "rel": "inside", "a": "#nav", "b": "#win" },
+            { "rel": "contains", "a": "#win", "b": "#nav" },
+            { "rel": "above", "a": "#nav", "b": "#content" },
+            { "rel": "below", "a": "#content", "b": "#nav" },
+            { "rel": "aligned_x", "a": "#nav", "b": "#win" },
+            { "rel": "aligned_center_x", "a": "#nav", "b": "#win", "tol": 0.5 },
+            { "rel": "gap_v", "a": "#nav", "b": "#content", "value": 8 },
+            { "rel": "overlaps", "a": "#a", "b": "#b" },
+            { "rel": "same_height", "a": "#a", "b": "#b" },
+            { "rel": "width_ratio", "a": "#b", "b": "#a", "value": 2 }
+          ]
+        }
+      }
+    ]
+  },
+  {
+    "id": "r-degrade-undeclared",
+    "title": "能力声明替身：未声明支持的词汇必须可见降级（control/attr/icon）",
+    "spec": "05-render-contract.md 第 1 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win slider #s value=10 min=0 max=100",
+      "add #win icon #i icon=\"star\"",
+      "add #win button #b text=\"x\" shadow=4",
+      "on #b click: set #b text=\"x\""
+    ],
+    "rendering": {
+      "controls": ["window", "button", "icon"],
+      "attributes": ["text", "icon", "value", "min", "max"],
+      "icons": ["add"],
+      "geometry": false,
+      "snapshot": false,
+      "headless": true
+    },
+    "loadExpect": {
+      "degraded": ["control:slider", "attr:shadow", "icon:star"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#s", "#i", "#b"] } }
+    ]
+  },
+  {
+    "id": "r-geometry-face",
+    "title": "几何面：能提供则按关系判定，不能提供则必须可见降级",
+    "spec": "05-render-contract.md 第 7、8 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win row #bar gap=8",
+      "add #bar button #a text=\"A\"",
+      "add #bar button #b text=\"B\"",
+      "on #a click: set #a text=\"A\"",
+      "on #b click: set #b text=\"B\""
+    ],
+    "steps": [
+      {
+        "expect": {
+          "relations": [
+            { "rel": "left_of", "a": "#a", "b": "#b" },
+            { "rel": "aligned_y", "a": "#a", "b": "#b" }
+          ],
+          "degraded": ["geometry"]
+        }
+      }
+    ]
+  },
+  {
+    "id": "r-snapshot-real",
+    "title": "真实截图：被请求时必须真的产出图像（只断非空，不比像素）",
+    "spec": "05-render-contract.md 第 7 节",
+    "requires": ["snapshot"],
+    "program": [
+      "add #root window #win w=200 h=120",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"y\""
+    ],
+    "steps": [
+      { "snapshot": true, "expect": { "snapshotAvailable": true } }
+    ]
+  },
+  {
+    "id": "r-snapshot-face",
+    "title": "视觉快照：不支持时必须在被请求时可见降级",
+    "spec": "05-render-contract.md 第 7 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win text #t text=\"hi\""
+    ],
+    "steps": [
+      {
+        "snapshot": true,
+        "expect": { "degraded": ["snapshot"] }
+      }
+    ]
+  }
+]

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/tabs.json

@@ -0,0 +1,39 @@
+[
+  {
+    "id": "tb-pages-are-children",
+    "title": "tabs 的每个直接子节点是一页",
+    "spec": "04-vocabulary.md 第 2 节",
+    "program": [
+      "add #root window #win",
+      "add #win tabs #t",
+      "add #t col #p1",
+      "add #t col #p2"
+    ],
+    "loadExpect": { "nodes": ["#t", "#p1", "#p2"] },
+    "steps": [
+      { "expect": { "nodes": ["#p1", "#p2"] } }
+    ]
+  },
+  {
+    "id": "tb-selected-index",
+    "title": "selected 指向页序号（从 0 起），可写",
+    "spec": "04-vocabulary.md 第 2、4 节",
+    "program": [
+      "add #root window #win",
+      "add #win tabs #t selected=0",
+      "add #t col #p1",
+      "add #t col #p2"
+    ],
+    "loadExpect": { "attrs": { "#t.selected": 0 } },
+    "steps": [
+      {
+        "send": ["set #t selected=1"],
+        "expect": { "attrs": { "#t.selected": 1 } }
+      },
+      {
+        "send": ["set #t selected=0"],
+        "expect": { "attrs": { "#t.selected": 0 } }
+      }
+    ]
+  }
+]