@skill-harness/adapters 0.10.0 → 0.12.0

package/README.md

@@ -1,7 +1,8 @@
 # @skill-harness/adapters
 
 Harness adapters for [skill-harness](https://github.com/mojomanyana/skill-harness):
-the `pi` runner + `claude-code` judge routing.
+the `pi` runner + `claude-code` judge routing, the frozen pi-daddy 0.17/v2
+normalizer, and the separately pinned production ledger-v3 normalizer.
 
 Internal — use the `skill-harness` CLI. See the repo for docs.
 

package/dist/closed-schema.d.ts

@@ -33,6 +33,8 @@ type Schema = Record<string, unknown>;
  * a keyword fails loudly rather than validating less than it claims.
  */
 export declare function assertSupportedSchema(schema: unknown, label: string, path?: string): void;
+/** V3-only evaluator profile; the frozen v2 profile above remains unchanged. */
+export declare function assertSupportedSchemaV3(schema: unknown, label: string, path?: string): void;
 /**
  * Validate `value` against `schema`. Returns every violation found; an empty
  * array means the instance satisfies the pinned contract.
@@ -45,6 +47,10 @@ export declare function assertSupportedSchema(schema: unknown, label: string, pa
 export declare function validateClosedSchema(schema: Schema, value: unknown, options?: {
     knownFieldNames?: ReadonlySet<string>;
 }): SchemaViolation[];
+/** Evaluate the additional closed constructs used by the separately pinned v3 schema. */
+export declare function validateClosedSchemaV3(schema: Schema, value: unknown, options?: {
+    knownFieldNames?: ReadonlySet<string>;
+}): SchemaViolation[];
 /** Every property name declared anywhere in the document — safe to echo. */
 export declare function declaredPropertyNames(schema: unknown): Set<string>;
 export {};

package/dist/closed-schema.js

@@ -31,6 +31,11 @@ const SUPPORTED_KEYWORDS = new Set([
     // value constraints
     "enum", "const", "minLength", "maxLength", "minimum", "pattern", "format",
 ]);
+/** Ledger v3 adds only closed composition/conditionals and property-name schemas. */
+const V3_SUPPORTED_KEYWORDS = new Set([
+    ...SUPPORTED_KEYWORDS,
+    "allOf", "anyOf", "if", "then", "propertyNames", "minItems", "maxItems",
+]);
 /**
  * The shape each supported keyword must have. A keyword whose *name* is known but
  * whose *value* has an unexpected shape is the same hole as an unknown keyword:
@@ -40,6 +45,11 @@ const SUPPORTED_KEYWORDS = new Set([
 const KEYWORD_SHAPES = {
     $ref: { check: (value) => typeof value === "string", expected: "a string" },
     oneOf: { check: (value) => Array.isArray(value) && value.length > 0, expected: "a non-empty array" },
+    allOf: { check: (value) => Array.isArray(value) && value.length > 0, expected: "a non-empty array" },
+    anyOf: { check: (value) => Array.isArray(value) && value.length > 0, expected: "a non-empty array" },
+    if: { check: (value) => isSchemaObject(value), expected: "a schema object" },
+    then: { check: (value) => isSchemaObject(value), expected: "a schema object" },
+    propertyNames: { check: (value) => isSchemaObject(value), expected: "a schema object" },
     type: { check: (value) => typeof value === "string" || (Array.isArray(value) && value.length > 0 && value.every((entry) => typeof entry === "string")), expected: "a string or array of strings" },
     properties: { check: (value) => isSchemaObject(value), expected: "an object" },
     required: { check: (value) => Array.isArray(value) && value.every((entry) => typeof entry === "string"), expected: "an array of strings" },
@@ -49,6 +59,8 @@ const KEYWORD_SHAPES = {
     minLength: { check: (value) => typeof value === "number", expected: "a number" },
     maxLength: { check: (value) => typeof value === "number", expected: "a number" },
     minimum: { check: (value) => typeof value === "number", expected: "a number" },
+    minItems: { check: (value) => Number.isInteger(value) && Number(value) >= 0, expected: "a non-negative integer" },
+    maxItems: { check: (value) => Number.isInteger(value) && Number(value) >= 0, expected: "a non-negative integer" },
     pattern: { check: (value) => typeof value === "string", expected: "a string" },
     format: { check: (value) => typeof value === "string", expected: "a string" },
     // `const` may legitimately be any JSON value, including null.
@@ -61,12 +73,20 @@ const SUPPORTED_TYPES = new Set(["object", "array", "string", "number", "integer
  * a keyword fails loudly rather than validating less than it claims.
  */
 export function assertSupportedSchema(schema, label, path = "#") {
+    assertSchemaSupported(schema, label, path, false);
+}
+/** V3-only evaluator profile; the frozen v2 profile above remains unchanged. */
+export function assertSupportedSchemaV3(schema, label, path = "#") {
+    assertSchemaSupported(schema, label, path, true);
+}
+function assertSchemaSupported(schema, label, path, v3) {
     if (typeof schema !== "object" || schema === null || Array.isArray(schema)) {
         throw new Error(`${label} is not a JSON Schema object at ${path}`);
     }
     const node = schema;
+    const supported = v3 ? V3_SUPPORTED_KEYWORDS : SUPPORTED_KEYWORDS;
     for (const keyword of Object.keys(node)) {
-        if (!SUPPORTED_KEYWORDS.has(keyword)) {
+        if (!supported.has(keyword)) {
             throw new Error(`${label} uses unsupported JSON Schema keyword \`${keyword}\` at ${path}; the closed-contract evaluator refuses to validate less than the schema declares`);
         }
         const shape = KEYWORD_SHAPES[keyword];
@@ -94,15 +114,20 @@ export function assertSupportedSchema(schema, label, path = "#") {
         }
     }
     for (const [name, entry] of Object.entries(object(node.$defs) ?? {}))
-        assertSupportedSchema(entry, label, `${path}/$defs/${name}`);
-    for (const [index, entry] of (Array.isArray(node.oneOf) ? node.oneOf : []).entries())
-        assertSupportedSchema(entry, label, `${path}/oneOf/${index}`);
+        assertSchemaSupported(entry, label, `${path}/$defs/${name}`, v3);
+    for (const keyword of ["oneOf", "allOf", "anyOf"]) {
+        for (const [index, entry] of (Array.isArray(node[keyword]) ? node[keyword] : []).entries()) {
+            assertSchemaSupported(entry, label, `${path}/${keyword}/${index}`, v3);
+        }
+    }
     for (const [name, entry] of Object.entries(object(node.properties) ?? {}))
-        assertSupportedSchema(entry, label, `${path}/properties/${name}`);
-    if (node.items !== undefined)
-        assertSupportedSchema(node.items, label, `${path}/items`);
+        assertSchemaSupported(entry, label, `${path}/properties/${name}`, v3);
+    for (const keyword of ["items", "propertyNames", "if", "then"]) {
+        if (node[keyword] !== undefined)
+            assertSchemaSupported(node[keyword], label, `${path}/${keyword}`, v3);
+    }
     if (node.additionalProperties !== undefined && node.additionalProperties !== false && node.additionalProperties !== true) {
-        assertSupportedSchema(node.additionalProperties, label, `${path}/additionalProperties`);
+        assertSchemaSupported(node.additionalProperties, label, `${path}/additionalProperties`, v3);
     }
 }
 /**
@@ -117,6 +142,10 @@ export function assertSupportedSchema(schema, label, path = "#") {
 export function validateClosedSchema(schema, value, options = {}) {
     return validate(schema, schema, value, "", options.knownFieldNames ?? new Set());
 }
+/** Evaluate the additional closed constructs used by the separately pinned v3 schema. */
+export function validateClosedSchemaV3(schema, value, options = {}) {
+    return validate(schema, schema, value, "", options.knownFieldNames ?? new Set());
+}
 /** Every property name declared anywhere in the document — safe to echo. */
 export function declaredPropertyNames(schema) {
     const names = new Set();
@@ -130,10 +159,13 @@ export function declaredPropertyNames(schema) {
         }
         for (const entry of Object.values(object(current.$defs) ?? {}))
             walk(entry);
-        for (const entry of Array.isArray(current.oneOf) ? current.oneOf : [])
-            walk(entry);
-        if (current.items !== undefined)
-            walk(current.items);
+        for (const keyword of ["oneOf", "allOf", "anyOf"]) {
+            for (const entry of Array.isArray(current[keyword]) ? current[keyword] : [])
+                walk(entry);
+        }
+        for (const keyword of ["items", "propertyNames", "if", "then"])
+            if (current[keyword] !== undefined)
+                walk(current[keyword]);
         if (current.additionalProperties && typeof current.additionalProperties === "object")
             walk(current.additionalProperties);
     };
@@ -146,6 +178,18 @@ function validate(root, schema, value, path, known) {
         return validate(root, resolved, value, path, known);
     }
     const violations = [];
+    if (Array.isArray(schema.allOf)) {
+        for (const branch of schema.allOf)
+            violations.push(...validate(root, branch, value, path, known));
+    }
+    if (Array.isArray(schema.anyOf)) {
+        const branches = schema.anyOf.map((branch) => validate(root, branch, value, path, known));
+        if (!branches.some((branch) => branch.length === 0))
+            violations.push(...bestBranch(root, schema.anyOf, branches, value, path));
+    }
+    if (schema.if !== undefined && validate(root, schema.if, value, path, known).length === 0 && schema.then !== undefined) {
+        violations.push(...validate(root, schema.then, value, path, known));
+    }
     const types = typeList(schema);
     if (types.length && !types.some((type) => matchesType(type, value))) {
         return [{ path, message: `must be ${describeTypes(types)}` }];
@@ -169,8 +213,16 @@ function validate(root, schema, value, path, known) {
         violations.push(...validateString(schema, value, path));
     if (typeof value === "number")
         violations.push(...validateNumber(schema, value, path));
-    if (Array.isArray(value) && schema.items !== undefined) {
-        value.forEach((entry, index) => violations.push(...validate(root, schema.items, entry, `${path}[${index}]`, known)));
+    if (Array.isArray(value)) {
+        if (typeof schema.minItems === "number" && value.length < schema.minItems) {
+            violations.push({ path, message: `must contain at least ${schema.minItems} item(s)` });
+        }
+        if (typeof schema.maxItems === "number" && value.length > schema.maxItems) {
+            violations.push({ path, message: `must contain at most ${schema.maxItems} item(s)` });
+        }
+        if (schema.items !== undefined) {
+            value.forEach((entry, index) => violations.push(...validate(root, schema.items, entry, `${path}[${index}]`, known)));
+        }
     }
     const record = object(value);
     if (record)
@@ -180,6 +232,10 @@ function validate(root, schema, value, path, known) {
 function validateObject(root, schema, record, path, known) {
     const violations = [];
     const properties = object(schema.properties) ?? {};
+    if (schema.propertyNames !== undefined) {
+        for (const name of Object.keys(record))
+            violations.push(...validate(root, schema.propertyNames, name, path, known));
+    }
     for (const name of (Array.isArray(schema.required) ? schema.required : [])) {
         if (!Object.hasOwn(record, name))
             violations.push({ path: child(path, name), message: "is required" });

package/dist/index.d.ts

@@ -2,4 +2,6 @@ import type { HarnessAdapter } from "@skill-harness/core";
 import { piAdapter } from "./pi.js";
 export declare function getAdapter(name: string): HarnessAdapter;
 export { piAdapter };
+export * from "./prompt-provenance.js";
 export * from "./trajectory.js";
+export * from "./pi-daddy-ledger-v3.js";

package/dist/index.js

@@ -14,5 +14,7 @@ export function getAdapter(name) {
     return a;
 }
 export { piAdapter };
+export * from "./prompt-provenance.js";
 export * from "./trajectory.js";
+export * from "./pi-daddy-ledger-v3.js";
 //# sourceMappingURL=index.js.map

package/dist/pi-daddy-ledger-v2.d.ts

@@ -1,7 +1,7 @@
-/** pi-daddy commit whose contract artifact this schema was taken from. */
-export declare const PI_DADDY_CONTRACT_COMMIT = "1948b9406c13c9730f2fc103e68023d6e58c5e85";
+/** pi-daddy commit whose contract artifacts this schema was taken from. */
+export declare const PI_DADDY_CONTRACT_COMMIT = "c364a6717e3d5e369ecd3298b9cbb595eb94d9b2";
 /** SHA-256 of the byte-exact producer schema file this object was generated from. */
-export declare const PI_DADDY_LEDGER_V2_SCHEMA_SHA256 = "69c3a6856481b9250587c5785a8aadda87baba6cb03c79b209cff4f55f70a81c";
+export declare const PI_DADDY_LEDGER_V2_SCHEMA_SHA256 = "3862bc451c25393dd40b198c62a8f94a3f58784e31da6dff05e3f06be71a3f86";
 /** pi-daddy's canonical, closed ledgerVersion 2 event schema (JSON Schema draft 2020-12). */
 export declare const PI_DADDY_LEDGER_V2_SCHEMA: {
     readonly $schema: "https://json-schema.org/draft/2020-12/schema";
@@ -109,7 +109,7 @@ export declare const PI_DADDY_LEDGER_V2_SCHEMA: {
         };
         readonly refusalCode: {
             readonly type: "string";
-            readonly enum: readonly ["CAPABILITY_ESCALATION", "GRANT_ID_MALFORMED", "DEFINITION_NOT_AUTHORIZED", "UNDECLARED_TOOLS", "UNKNOWN_TOOL", "GATED_UNAPPROVED", "APPROVAL_EXPIRED", "APPROVAL_SCOPE_MISMATCH", "APPROVAL_FLOW_FAILED", "DEPTH_EXCEEDED", "FANOUT_EXCEEDED", "EXECUTOR_UNAVAILABLE", "CHILD_TIMED_OUT", "CHILD_CANCELLED", "CHILD_EXIT_NONZERO", "TASK_MISSING", "UNKNOWN_DEFINITION", "CEILING_PATTERNS_UNRESOLVED", "NARROWING_VIOLATED", "DEFINITION_UNREADABLE", "CORRELATION_TOO_LARGE", "CORRELATION_INVALID", "LEDGER_WRITE_FAILED", "FANOUT_FAILED", "WORKSPACE_NOT_REGISTERED", "WORKSPACE_WRITE_CONFLICT", "WORKSPACE_LEASE_STALE", "CHECK_NOT_CONFIGURED", "CHECK_CONFIGURATION_INVALID", "CHECK_IDENTITY_UNAVAILABLE", "CHECK_IDENTITY_MISMATCH"];
+            readonly enum: readonly ["CAPABILITY_ESCALATION", "GRANT_ID_MALFORMED", "DEFINITION_NOT_AUTHORIZED", "UNDECLARED_TOOLS", "UNKNOWN_TOOL", "GATED_UNAPPROVED", "APPROVAL_EXPIRED", "APPROVAL_SCOPE_MISMATCH", "APPROVAL_FLOW_FAILED", "DEPTH_EXCEEDED", "FANOUT_EXCEEDED", "EXECUTOR_UNAVAILABLE", "CHILD_TIMED_OUT", "CHILD_CANCELLED", "CHILD_EXIT_NONZERO", "TASK_MISSING", "UNKNOWN_DEFINITION", "CEILING_PATTERNS_UNRESOLVED", "NARROWING_VIOLATED", "DEFINITION_UNREADABLE", "CORRELATION_TOO_LARGE", "CORRELATION_INVALID", "LEDGER_WRITE_FAILED", "FANOUT_FAILED", "WORKSPACE_NOT_REGISTERED", "WORKSPACE_NOT_AUTHORIZED", "WORKSPACE_WRITE_CONFLICT", "WORKSPACE_LEASE_STALE", "CHECK_NOT_CONFIGURED", "CHECK_CONFIGURATION_INVALID", "CHECK_IDENTITY_UNAVAILABLE", "CHECK_IDENTITY_MISMATCH"];
         };
         readonly refusal: {
             readonly type: "object";

package/dist/pi-daddy-ledger-v2.js

@@ -1,18 +1,19 @@
 // GENERATED by scripts/vendor-pi-daddy-contract.mjs — do not edit by hand.
 //
 // The runtime copy of pi-daddy's canonical `ledgerVersion: 2` JSON Schema, pinned to
-// producer commit 1948b9406c13c9730f2fc103e68023d6e58c5e85.
+// producer commit c364a6717e3d5e369ecd3298b9cbb595eb94d9b2.
 // It is a module rather than a file read so it survives bundling (the pi extension is a
 // committed esbuild bundle) and so the published package needs no data asset.
 //
-// contracts/pi-daddy/ledger/v2/ holds the byte-exact producer artifact and its recorded
-// SHA-256 digests; packages/adapters/test/pi-daddy-contract.test.ts asserts those digests
-// and that this object still deep-equals the vendored bytes. Re-pin with:
+// contracts/pi-daddy/ledger/v2/ holds the byte-exact producer artifacts and their
+// SHA-256 digests; packages/adapters/test/pi-daddy-contract.test.ts asserts those
+// digests and that this object still deep-equals the vendored bytes. Re-pin by first
+// recording the commit/version in this script's PRODUCER_RELEASES map, then run:
 //   node scripts/vendor-pi-daddy-contract.mjs <pi-daddy-checkout> <commit> [pr]
-/** pi-daddy commit whose contract artifact this schema was taken from. */
-export const PI_DADDY_CONTRACT_COMMIT = "1948b9406c13c9730f2fc103e68023d6e58c5e85";
+/** pi-daddy commit whose contract artifacts this schema was taken from. */
+export const PI_DADDY_CONTRACT_COMMIT = "c364a6717e3d5e369ecd3298b9cbb595eb94d9b2";
 /** SHA-256 of the byte-exact producer schema file this object was generated from. */
-export const PI_DADDY_LEDGER_V2_SCHEMA_SHA256 = "69c3a6856481b9250587c5785a8aadda87baba6cb03c79b209cff4f55f70a81c";
+export const PI_DADDY_LEDGER_V2_SCHEMA_SHA256 = "3862bc451c25393dd40b198c62a8f94a3f58784e31da6dff05e3f06be71a3f86";
 /** pi-daddy's canonical, closed ledgerVersion 2 event schema (JSON Schema draft 2020-12). */
 export const PI_DADDY_LEDGER_V2_SCHEMA = {
     "$schema": "https://json-schema.org/draft/2020-12/schema",
@@ -151,6 +152,7 @@ export const PI_DADDY_LEDGER_V2_SCHEMA = {
                 "LEDGER_WRITE_FAILED",
                 "FANOUT_FAILED",
                 "WORKSPACE_NOT_REGISTERED",
+                "WORKSPACE_NOT_AUTHORIZED",
                 "WORKSPACE_WRITE_CONFLICT",
                 "WORKSPACE_LEASE_STALE",
                 "CHECK_NOT_CONFIGURED",