release-skill 0.9.0 → 0.9.3

package/adapters/codex/src/schemas/filesystem-tree-observation.schema.json

@@ -2,7 +2,7 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://contracts.skill-family.example/v1/filesystem-tree-observation.json",
   "title": "Filesystem tree observation",
-  "description": "A complete same-pass fact observation of a bound filesystem tree (FND-DES-014 section 6.1). Private data only: it is returned by the public read-only harness entry, but never enters a public plugin verification result. The record keeps the original root binding so consumers re-verify the same bound root and never re-bind a replacement. Members are canonical relative paths sorted by Unicode code point; directories carry identity/type/permission facts only; file bytes come from the same native descriptor that supplies statMode.",
+  "description": "A complete same-pass fact observation of a bound filesystem tree (FND-DES-014 section 6.1). Private data only: it is returned by the public read-only harness entry, but never enters a public plugin verification result. The record keeps the original root binding so consumers re-verify the same bound root and never re-bind a replacement. Default and explicit reject preserve the 0.14 UTF-16 order; record mode uses Unicode code point order. Directories carry identity/type/permission facts only; file bytes come from the same native descriptor that supplies statMode.",
   "type": "object",
   "additionalProperties": false,
   "required": ["schemaVersion", "kind", "rootBinding", "members", "membersDigest"],
@@ -25,7 +25,8 @@
     "member": {
       "oneOf": [
         { "$ref": "#/$defs/fileMember" },
-        { "$ref": "#/$defs/directoryMember" }
+        { "$ref": "#/$defs/directoryMember" },
+        { "$ref": "#/$defs/symlinkMember" }
       ]
     },
     "fileMember": {
@@ -50,6 +51,21 @@
         "type": { "const": "directory" },
         "statMode": { "$ref": "#/$defs/statMode" }
       }
+    },
+    "symlinkMember": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "type", "targetBase64", "bytes", "statMode"],
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "type": { "const": "symlink" },
+        "targetBase64": {
+          "type": "string",
+          "pattern": "^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$"
+        },
+        "bytes": { "type": "integer", "minimum": 0, "maximum": 1048576 },
+        "statMode": { "$ref": "#/$defs/statMode" }
+      }
     }
   }
 }

package/adapters/codex/src/schemas/migration-manifest.schema.json

@@ -13,6 +13,138 @@
     "kind": {
       "const": "skill-family.migration-manifest"
     },
+    "capabilityUseContext": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["scope", "locale"],
+      "properties": {
+        "scope": {
+          "type": "string",
+          "enum": ["contracts", "harness", "engineering-kit", "profile", "all"]
+        },
+        "locale": {
+          "type": "string",
+          "enum": ["en", "zh-CN"]
+        }
+      }
+    },
+    "capabilityUses": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 200,
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["useId", "problemStatement", "constraints", "retainedGuarantees"],
+        "properties": {
+          "useId": {
+            "type": "string",
+            "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$",
+            "maxLength": 80
+          },
+          "problemStatement": {
+            "allOf": [
+              { "$ref": "#/$defs/trimmedCapabilityUseText" },
+              { "type": "string", "maxLength": 1000 }
+            ]
+          },
+          "constraints": {
+            "type": "array",
+            "maxItems": 20,
+            "uniqueItems": true,
+            "items": {
+              "allOf": [
+                { "$ref": "#/$defs/trimmedCapabilityUseText" },
+                { "type": "string", "maxLength": 500 }
+              ]
+            }
+          },
+          "retainedGuarantees": {
+            "type": "array",
+            "minItems": 1,
+            "maxItems": 20,
+            "uniqueItems": true,
+            "items": {
+              "allOf": [
+                { "$ref": "#/$defs/trimmedCapabilityUseText" },
+                { "type": "string", "maxLength": 500 }
+              ]
+            }
+          },
+            "catalogFilters": {
+            "type": "array",
+            "maxItems": 20,
+            "uniqueItems": true,
+            "items": {
+              "allOf": [
+                { "$ref": "#/$defs/trimmedCapabilityUseText" },
+                { "type": "string", "maxLength": 200 }
+              ]
+            }
+          }
+        }
+      }
+    },
+    "capabilityDecisions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["useId", "disposition", "reason"],
+        "properties": {
+          "useId": {
+            "type": "string",
+            "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$",
+            "maxLength": 80
+          },
+          "disposition": {
+            "type": "string",
+            "enum": ["direct-adoption", "compatibility-layer", "keep-business", "foundation-gap"]
+          },
+          "targetCapability": {
+            "type": "string",
+            "pattern": "^foundation\\.[a-z0-9\\-]+(\\.[a-z0-9\\-]+)+$"
+          },
+          "reason": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 1000
+          }
+        },
+        "allOf": [
+          {
+            "if": {
+              "required": ["disposition"],
+              "properties": {
+                "disposition": {
+                  "enum": ["direct-adoption", "compatibility-layer"]
+                }
+              }
+            },
+            "then": {
+              "required": ["targetCapability"],
+              "properties": { "targetCapability": { "type": "string" } }
+            }
+          },
+          {
+            "if": {
+              "required": ["disposition"],
+              "properties": {
+                "disposition": {
+                  "enum": ["keep-business", "foundation-gap"]
+                }
+              }
+            },
+            "then": {
+              "not": {
+                "required": ["targetCapability"],
+                "properties": { "targetCapability": { "type": "string" } }
+              }
+            }
+          }
+        ]
+      }
+    },
     "manifestVersion": {
       "type": "integer",
       "minimum": 1,
@@ -31,11 +163,34 @@
             "description": "Relative POSIX path of one legacy implementation. Shape only: absolute paths, traversal, UNC/drive forms and symlink escapes are rejected by harness containment at assessment time, fail-closed."
           },
           "replacedBy": {
-            "type": "string",
-            "minLength": 1,
+            "oneOf": [
+              { "type": "string", "minLength": 1 },
+              { "type": "null" }
+            ],
             "description": "The replacement facility (tool/command/module) that supersedes this legacy entry. An empty replacement is never a valid exit claim."
+          },
+          "useId": {
+            "type": "string",
+            "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$",
+            "maxLength": 80
+          },
+          "recoveryRef": {
+            "type": "string",
+            "minLength": 1
           }
-        }
+        },
+        "allOf": [
+          {
+            "if": {
+              "required": ["replacedBy"],
+              "properties": { "replacedBy": { "type": "null" } }
+            },
+            "then": {
+              "required": ["useId"],
+              "properties": { "useId": { "type": "string" } }
+            }
+          }
+        ]
       }
     },
     "legacyReferences": {
@@ -57,11 +212,30 @@
             "description": "Exact literal text that must be absent from the file. No regex; byte-exact UTF-8 match."
           },
           "replacedBy": {
-            "type": "string",
-            "minLength": 1,
+            "oneOf": [
+              { "type": "string", "minLength": 1 },
+              { "type": "null" }
+            ],
             "description": "The replacement facility that supersedes this old reference. Empty is never valid."
+          },
+          "useId": {
+            "type": "string",
+            "pattern": "^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$",
+            "maxLength": 80
           }
-        }
+        },
+        "allOf": [
+          {
+            "if": {
+              "required": ["replacedBy"],
+              "properties": { "replacedBy": { "type": "null" } }
+            },
+            "then": {
+              "required": ["useId"],
+              "properties": { "useId": { "type": "string" } }
+            }
+          }
+        ]
       }
     },
     "exceptions": {
@@ -144,5 +318,95 @@
         }
       }
     }
-  }
+  },
+  "$defs": {
+    "trimmedCapabilityUseText": {
+      "type": "string",
+      "minLength": 1,
+      "pattern": "^(?!\\s)(?![\\s\\S]*\\s$)(?![\\s\\S]*\\u0000)[\\s\\S]+$"
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "required": ["capabilityUses"],
+        "properties": { "capabilityUses": { "type": "array" } }
+      },
+      "then": {
+        "required": ["capabilityUseContext"],
+        "properties": { "capabilityUseContext": { "type": "object" } }
+      },
+      "else": {
+        "not": {
+          "anyOf": [
+            {
+              "required": ["capabilityUseContext"],
+              "properties": { "capabilityUseContext": { "type": "object" } }
+            },
+            {
+              "required": ["capabilityDecisions"],
+              "properties": { "capabilityDecisions": { "type": "array" } }
+            }
+          ]
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["capabilityDecisions"],
+        "properties": { "capabilityDecisions": { "type": "array" } }
+      },
+      "then": {
+        "required": ["capabilityUses", "capabilityUseContext"],
+        "properties": {
+          "capabilityUses": { "type": "array" },
+          "capabilityUseContext": { "type": "object" }
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["legacyInfra"],
+        "properties": {
+          "legacyInfra": {
+            "type": "array",
+            "contains": {
+              "type": "object",
+              "required": ["useId"],
+              "properties": { "useId": { "type": "string" } }
+            }
+          }
+        }
+      },
+      "then": {
+        "required": ["capabilityUses", "capabilityUseContext"],
+        "properties": {
+          "capabilityUses": { "type": "array" },
+          "capabilityUseContext": { "type": "object" }
+        }
+      }
+    },
+    {
+      "if": {
+        "required": ["legacyReferences"],
+        "properties": {
+          "legacyReferences": {
+            "type": "array",
+            "contains": {
+              "type": "object",
+              "required": ["useId"],
+              "properties": { "useId": { "type": "string" } }
+            }
+          }
+        }
+      },
+      "then": {
+        "required": ["capabilityUses", "capabilityUseContext"],
+        "properties": {
+          "capabilityUses": { "type": "array" },
+          "capabilityUseContext": { "type": "object" }
+        }
+      }
+    }
+  ]
 }

package/adapters/codex/src/schemas/plugin-verification-request.schema.json

@@ -30,23 +30,20 @@
     "goal": {
       "enum": [
         "install-only",
-        "install-and-invoke"
+        "install-and-invoke",
+        "native-lifecycle"
       ]
     },
     "source": {
       "type": "object",
       "additionalProperties": false,
-      "required": [
-        "type",
-        "candidateRef",
-        "sourceManifestSha256",
-        "membersDigest"
-      ],
+      "required": ["type"],
       "properties": {
         "type": {
           "enum": [
             "local-staged",
-            "public-channel"
+            "public-channel",
+            "local-marketplace"
           ]
         },
         "candidateRef": {
@@ -58,6 +55,21 @@
         "membersDigest": {
           "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/sha256"
         },
+        "marketplaceId": {
+          "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/opaque"
+        },
+        "pluginId": {
+          "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/opaque"
+        },
+        "revisions": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["v1", "v2"],
+          "properties": {
+            "v1": { "$ref": "#/$defs/marketplaceRevision" },
+            "v2": { "$ref": "#/$defs/marketplaceRevision" }
+          }
+        },
         "channel": {
           "type": "object",
           "additionalProperties": false,
@@ -86,7 +98,48 @@
             }
           }
         }
-      }
+      },
+      "allOf": [
+        {
+          "if": {
+            "properties": { "type": { "const": "local-staged" } },
+            "required": ["type"]
+          },
+          "then": {
+            "required": ["candidateRef", "sourceManifestSha256", "membersDigest"],
+            "properties": {
+              "candidateRef": {}, "sourceManifestSha256": {}, "membersDigest": {},
+              "channel": false, "marketplaceId": false, "pluginId": false, "revisions": false
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "type": { "const": "public-channel" } },
+            "required": ["type"]
+          },
+          "then": {
+            "required": ["candidateRef", "sourceManifestSha256", "membersDigest", "channel"],
+            "properties": {
+              "candidateRef": {}, "sourceManifestSha256": {}, "membersDigest": {}, "channel": {},
+              "marketplaceId": false, "pluginId": false, "revisions": false
+            }
+          }
+        },
+        {
+          "if": {
+            "properties": { "type": { "const": "local-marketplace" } },
+            "required": ["type"]
+          },
+          "then": {
+            "required": ["candidateRef", "marketplaceId", "pluginId", "revisions"],
+            "properties": {
+              "candidateRef": {}, "marketplaceId": {}, "pluginId": {}, "revisions": {},
+              "sourceManifestSha256": false, "membersDigest": false, "channel": false
+            }
+          }
+        }
+      ]
     },
     "host": {
       "type": "object",
@@ -211,14 +264,17 @@
   "allOf": [
     {
       "if": {
-        "type": "object",
-        "properties": {
-          "goal": {
-            "const": "install-and-invoke"
+        "anyOf": [
+          {
+            "type": "object",
+            "properties": { "goal": { "const": "install-and-invoke" } },
+            "required": ["goal"]
+          },
+          {
+            "type": "object",
+            "properties": { "goal": { "const": "native-lifecycle" } },
+            "required": ["goal"]
           }
-        },
-        "required": [
-          "goal"
         ]
       },
       "then": {
@@ -284,6 +340,17 @@
       },
       "else": {
         "type": "object",
+        "if": {
+          "properties": {
+            "source": {
+              "type": "object",
+              "properties": { "type": { "const": "local-staged" } },
+              "required": ["type"]
+            }
+          },
+          "required": ["source"]
+        },
+        "then": {
         "properties": {
           "source": {
             "type": "object",
@@ -299,6 +366,7 @@
             }
           }
         }
+        }
       }
     },
     {
@@ -333,6 +401,11 @@
             "required": [
               "source"
             ]
+          },
+          {
+            "type": "object",
+            "properties": { "goal": { "const": "native-lifecycle" } },
+            "required": ["goal"]
           }
         ]
       },
@@ -348,13 +421,37 @@
             "properties": {
               "cliVersion": {},
               "executableSha256": {}
+            }
+          }
+        },
+        "allOf": [
+          {
+            "if": {
+              "type": "object",
+              "properties": { "goal": { "const": "native-lifecycle" } },
+              "required": ["goal"]
             },
-            "required": [
-              "cliVersion",
-              "executableSha256"
-            ]
+            "then": {
+              "type": "object",
+              "properties": {
+                "host": {
+                  "type": "object",
+                  "properties": { "cliVersion": false, "executableSha256": false }
+                }
+              }
+            },
+            "else": {
+              "type": "object",
+              "properties": {
+                "host": {
+                  "type": "object",
+                  "required": ["cliVersion", "executableSha256"],
+                  "properties": { "cliVersion": {}, "executableSha256": {} }
+                }
+              }
+            }
           }
-        }
+        ]
       },
       "else": {
         "type": "object",
@@ -369,6 +466,34 @@
           }
         }
       }
+    },
+    {
+      "if": {
+        "properties": { "goal": { "const": "native-lifecycle" } },
+        "required": ["goal"]
+      },
+      "then": {
+        "properties": {
+          "source": {
+            "type": "object",
+            "properties": { "type": { "const": "local-marketplace" } },
+            "required": ["type"]
+          }
+        },
+        "required": ["auth", "invocation"]
+      }
+    }
+  ],
+  "$defs": {
+    "marketplaceRevision": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["version", "sourceManifestSha256", "membersDigest"],
+      "properties": {
+        "version": { "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/host/properties/driverVersion" },
+        "sourceManifestSha256": { "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/sha256" },
+        "membersDigest": { "$ref": "https://contracts.skill-family.example/v1/host-verification-request.json#/$defs/sha256" }
+      }
     }
-  ]
+  }
 }