abelien-harness 0.8.0 → 0.10.0

package/skills/abelien-algorithm/schemas/algorithm-bindings.v1.json

@@ -0,0 +1,414 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://git.abelien.cn/abelien/abelienharness/skills/abelien-algorithm/schemas/algorithm-bindings.v1.json",
+  "title": "abelien.algorithm-bindings.v1",
+  "description": "algorithm.finalize（operation=bind）的 research 部分。宿主可以把本文件原样用作工具参数定义，proposed_id 与硬件选型 id／revision 由宿主填入；字段与 scripts/finalize-selection.mjs 的 BIND_FIELDS 一致，由测试保证。来源只写 research_id 与 page_id，url、访问时间、哈希与 evidence_ref 由 Harness 从存下的正文填写。任何一项不是 pass、证据不足或来源不是一手资料，结果都保持 needs_confirmation。",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "bindings",
+    "sources"
+  ],
+  "properties": {
+    "bindings": {
+      "type": "array",
+      "description": "每个 reaction 恰好一条。",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "reaction_id",
+          "implementation_ref",
+          "implementation_version",
+          "implementation_type",
+          "execution_target",
+          "hardware_component_ids",
+          "source_ids",
+          "compatibility",
+          "constraint_checks"
+        ],
+        "properties": {
+          "reaction_id": {
+            "type": "string"
+          },
+          "implementation_ref": {
+            "type": "string",
+            "maxLength": 80,
+            "description": "该 reaction 已提议候选之一的 implementation_ref，原样照抄。"
+          },
+          "implementation_version": {
+            "type": "string",
+            "maxLength": 60,
+            "description": "确定版本；候选没写版本时取厂商或实现资料写明的版本，查不到就照实填 unknown（结果会保持待确认）。"
+          },
+          "implementation_type": {
+            "enum": [
+              "firmware",
+              "library",
+              "model",
+              "cloud_service"
+            ]
+          },
+          "execution_target": {
+            "enum": [
+              "edge",
+              "cloud",
+              "hybrid"
+            ]
+          },
+          "hardware_component_ids": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string"
+            },
+            "description": "已登记硬件选型里的 component_id。"
+          },
+          "source_ids": {
+            "type": "array",
+            "minItems": 1,
+            "items": {
+              "type": "string"
+            },
+            "description": "sources[].id：至少一条覆盖所列型号的 hardware_vendor 来源，和一条 implementation_ref 与版本都相同的实现来源。"
+          },
+          "compatibility": {
+            "type": "object",
+            "additionalProperties": false,
+            "required": [
+              "io",
+              "runtime",
+              "dependencies",
+              "network",
+              "license",
+              "resources"
+            ],
+            "properties": {
+              "io": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              },
+              "runtime": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              },
+              "dependencies": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              },
+              "network": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              },
+              "license": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              },
+              "resources": {
+                "type": "object",
+                "additionalProperties": false,
+                "required": [
+                  "status",
+                  "summary",
+                  "source_ids"
+                ],
+                "properties": {
+                  "status": {
+                    "enum": [
+                      "pass",
+                      "conflict",
+                      "unknown"
+                    ],
+                    "description": "来源能证明成立才写 pass；证据不够写 unknown，冲突写 conflict。"
+                  },
+                  "summary": {
+                    "type": "string",
+                    "minLength": 1,
+                    "maxLength": 500
+                  },
+                  "source_ids": {
+                    "type": "array",
+                    "items": {
+                      "type": "string"
+                    },
+                    "description": "支撑这条判断的 sources[].id。"
+                  }
+                }
+              }
+            }
+          },
+          "constraint_checks": {
+            "type": "array",
+            "description": "需求里每条非 preference 的 limits 各一条。",
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": [
+                "constraint_id",
+                "status",
+                "summary",
+                "source_ids"
+              ],
+              "properties": {
+                "constraint_id": {
+                  "type": "string",
+                  "description": "limits[].id。"
+                },
+                "status": {
+                  "enum": [
+                    "pass",
+                    "conflict",
+                    "unknown"
+                  ]
+                },
+                "summary": {
+                  "type": "string",
+                  "minLength": 1,
+                  "maxLength": 500
+                },
+                "source_ids": {
+                  "type": "array",
+                  "items": {
+                    "type": "string"
+                  }
+                }
+              }
+            }
+          }
+        }
+      }
+    },
+    "sources": {
+      "type": "array",
+      "maxItems": 64,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "id",
+          "research_id",
+          "page_id",
+          "source_type",
+          "title",
+          "publisher",
+          "version",
+          "excerpt"
+        ],
+        "properties": {
+          "id": {
+            "type": "string",
+            "description": "本次提交内唯一。"
+          },
+          "research_id": {
+            "type": "string",
+            "description": "页面所在的 algorithm-research 资源 id（实现研究或本步厂商检索）。"
+          },
+          "page_id": {
+            "type": "string",
+            "description": "该研究里 text_source=page 的页面 id；检索摘要页不算证据。"
+          },
+          "source_type": {
+            "enum": [
+              "hardware_vendor",
+              "implementation_official",
+              "huggingface",
+              "cloud_vendor"
+            ],
+            "description": "按发布方选：所选型号的厂商资料 hardware_vendor；库、固件或模型的官方资料 implementation_official；Hugging Face 模型卡 huggingface；云服务官方文档 cloud_vendor。分销商、博客、论坛不是一手来源，不要列为来源。"
+          },
+          "title": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 300
+          },
+          "publisher": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 200
+          },
+          "version": {
+            "type": "string",
+            "maxLength": 60,
+            "description": "页面写明的文档版本、修订号或对应的实现版本；没写就填 unknown（结果会保持待确认）。"
+          },
+          "excerpt": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 1200,
+            "description": "逐字取自该页正文的一段，支撑本来源被引用的结论。"
+          },
+          "hardware_component_ids": {
+            "type": "array",
+            "items": {
+              "type": "string"
+            },
+            "description": "hardware_vendor 来源覆盖的 component_id。"
+          },
+          "implementation_ref": {
+            "type": "string",
+            "maxLength": 80,
+            "description": "实现来源对应的 implementation_ref，与绑定一致。"
+          }
+        }
+      }
+    },
+    "unknowns": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "maxLength": 1000
+      }
+    },
+    "blocking_unknowns": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "maxLength": 1000
+      },
+      "description": "影响能否按此绑定实现的未知，写明怎么核实。"
+    },
+    "unavailable_sources": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "maxLength": 500
+      },
+      "description": "想读但读不到的资料及原因。"
+    }
+  }
+}

package/skills/abelien-algorithm/schemas/algorithm-candidates.v1.json

@@ -0,0 +1,192 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://git.abelien.cn/abelien/abelienharness/skills/abelien-algorithm/schemas/algorithm-candidates.v1.json",
+  "title": "abelien.algorithm-candidates.v1",
+  "description": "algorithm.candidates 的输入去掉 research_id（由宿主按本步检索结果填入）。宿主可以把本文件原样用作工具参数定义；字段与 scripts/candidates.mjs 的 CANDIDATE_FIELDS／NEEDS_FIELDS 一致，由测试保证。每个 reaction 要么至少一个候选，要么写进 unresolved。",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "candidates"
+  ],
+  "properties": {
+    "candidates": {
+      "type": "array",
+      "maxItems": 40,
+      "description": "每个 reaction 1–3 个候选；违反硬约束的不提交。",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "reaction_id",
+          "implementation_ref",
+          "implementation_type",
+          "execution_target",
+          "summary"
+        ],
+        "properties": {
+          "reaction_id": {
+            "type": "string",
+            "description": "需求里的 reaction id。"
+          },
+          "implementation_ref": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 80,
+            "description": "实现的简短名称（如 FastLED、Open-Meteo Forecast API、microWakeWord），不带网址、括号说明或用途；说明写进 summary。绑定时原样引用。"
+          },
+          "implementation_version": {
+            "type": [
+              "string",
+              "null"
+            ],
+            "maxLength": 60,
+            "description": "来源写明的确定版本（如 3.9.0、v2.1.0、One Call 3.0 的 3.0）；来源没写就填 null，不填 latest、main。"
+          },
+          "implementation_type": {
+            "enum": [
+              "firmware",
+              "library",
+              "model",
+              "cloud_service"
+            ]
+          },
+          "execution_target": {
+            "enum": [
+              "edge",
+              "cloud",
+              "hybrid"
+            ]
+          },
+          "library_entry_id": {
+            "type": [
+              "string",
+              "null"
+            ],
+            "description": "库内已适配算法的 entry_id；库外候选省略或填 null。"
+          },
+          "summary": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 500,
+            "description": "怎么用它实现这个 reaction。"
+          },
+          "needs": {
+            "type": "object",
+            "additionalProperties": false,
+            "description": "对硬件的需求，按来源原文记录；原文没写的填 null 或留空列表，不猜。",
+            "properties": {
+              "compute": {
+                "type": [
+                  "string",
+                  "null"
+                ],
+                "maxLength": 500
+              },
+              "memory": {
+                "type": [
+                  "string",
+                  "null"
+                ],
+                "maxLength": 500
+              },
+              "storage": {
+                "type": [
+                  "string",
+                  "null"
+                ],
+                "maxLength": 500
+              },
+              "runtime": {
+                "type": [
+                  "string",
+                  "null"
+                ],
+                "maxLength": 500
+              },
+              "network": {
+                "type": [
+                  "string",
+                  "null"
+                ],
+                "maxLength": 500
+              },
+              "interfaces": {
+                "type": "array",
+                "maxItems": 20,
+                "items": {
+                  "type": "string",
+                  "minLength": 1,
+                  "maxLength": 120
+                },
+                "description": "每项一个接口的短名，如 I2C、GPIO、I2S microphone。"
+              },
+              "sensors": {
+                "type": "array",
+                "maxItems": 20,
+                "items": {
+                  "type": "string",
+                  "minLength": 1,
+                  "maxLength": 120
+                }
+              }
+            }
+          },
+          "quotes": {
+            "type": "array",
+            "maxItems": 6,
+            "description": "逐字取自本次研究读到的正文（可以是为别的 reaction 读到的页面，同一份资料常常支撑几个 reaction）；库外候选至少一条。",
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": [
+                "page_id",
+                "text"
+              ],
+              "properties": {
+                "page_id": {
+                  "type": "string",
+                  "description": "本次研究的页面 id，如 p3。"
+                },
+                "text": {
+                  "type": "string",
+                  "minLength": 8,
+                  "maxLength": 400
+                }
+              }
+            }
+          }
+        }
+      }
+    },
+    "unresolved": {
+      "type": "array",
+      "description": "确实找不到候选的 reaction，每个只写一次。",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": [
+          "reaction_id",
+          "reason"
+        ],
+        "properties": {
+          "reaction_id": {
+            "type": "string"
+          },
+          "reason": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 500
+          }
+        }
+      }
+    },
+    "unknowns": {
+      "type": "array",
+      "items": {
+        "type": "string",
+        "minLength": 1,
+        "maxLength": 500
+      }
+    }
+  }
+}