clinkx 1.1.1 → 1.1.2

package/clinkx-workflows/dist/verified-repair/admission.js

@@ -0,0 +1,63 @@
+import { bytesDigest, canonicalJson } from "../architecture-comparison/contract.js";
+import { VERIFIED_REPAIR_WORKFLOW, RepairRouteSchema } from "./contract.js";
+import { REPAIR_FIXED_PROMPTS, REPAIR_PROMPTS } from "./prompts.js";
+export const REPAIR_STAGE_BINDINGS = [
+    { stage: "capture", call: "packet", reducer: "repair_capture_v1", validator: "repair_packet_v1", context: [], prompt: REPAIR_FIXED_PROMPTS.capture },
+    { stage: "investigate", call: "proposal", route: "investigator", validator: "repair_investigation_v1", context: ["capture.packet"], template: "verified-repair/investigate.txt", prompt: REPAIR_PROMPTS.investigate },
+    { stage: "reproduce", call: "proof", reducer: "repair_reproduce_v1", validator: "repair_packet_v1", context: ["investigate.proposal"], prompt: REPAIR_FIXED_PROMPTS.reproduce },
+    { stage: "repair", call: "proposal", route: "repair_author", validator: "repair_fix_v1", context: ["reproduce.proof"], template: "verified-repair/repair.txt", prompt: REPAIR_PROMPTS.repair },
+    { stage: "fixed", call: "proof", reducer: "repair_fixed_v1", validator: "repair_packet_v1", context: ["repair.proposal"], prompt: REPAIR_FIXED_PROMPTS.fixed },
+    { stage: "review", call: "review", route: "verifier", validator: "repair_review_v1", context: ["fixed.proof"], template: "verified-repair/review.txt", prompt: REPAIR_PROMPTS.review },
+    { stage: "independent", call: "proof", reducer: "repair_independent_v1", validator: "repair_packet_v1", context: ["review.review"], prompt: REPAIR_FIXED_PROMPTS.independent },
+    { stage: "record", call: "record", reducer: "repair_record_v1", validator: "repair_record_v1", context: [], prompt: REPAIR_FIXED_PROMPTS.record },
+];
+/** A workflow name alone never grants the project-write capability. */
+export function assertVerifiedRepairTopology(definition) {
+    if (definition.name !== VERIFIED_REPAIR_WORKFLOW)
+        throw new Error("repair capability requires the installed verified-repair topology");
+    if (definition.version !== "1.0.0" || definition.stages.length !== REPAIR_STAGE_BINDINGS.length || definition.settings.max_retries !== 0)
+        throw new Error("invalid verified-repair topology or retry policy");
+    for (const [index, expected] of REPAIR_STAGE_BINDINGS.entries()) {
+        const stage = definition.stages[index];
+        const call = stage?.calls[0];
+        if (stage === undefined || call === undefined || stage.id !== expected.stage || stage.parallel || stage.calls.length !== 1 || stage.on_failure !== "continue" || stage.retry.max_retries !== 0)
+            throw new Error(`invalid verified-repair stage ${expected.stage}`);
+        const reducer = "reducer" in expected ? expected.reducer : undefined;
+        if (call.id !== expected.call || call.reducer !== reducer || call.role !== "json" || call.validator_schema_id !== expected.validator || canonicalJson(call.context_from ?? []) !== canonicalJson(expected.context) || call.prompt !== expected.prompt || call.absolute_file_paths !== undefined || call.absolute_file_paths_from !== undefined || call.images !== undefined || call.images_from !== undefined || call.post_processor !== undefined || call.anonymize_context === true || call.plan_review_semantic_context !== undefined || call.plan_review_snapshot_text !== undefined)
+            throw new Error(`invalid verified-repair call binding ${expected.stage}.${expected.call}`);
+        if ("template" in expected && (call.template_path !== expected.template || call.template_hash !== bytesDigest(expected.prompt)))
+            throw new Error(`invalid verified-repair template ${expected.stage}`);
+        if (!("template" in expected) && (call.template_path !== undefined || call.template_hash !== undefined || call.model !== undefined || call.effort !== undefined))
+            throw new Error(`invalid fixed repair operation ${expected.stage}`);
+    }
+    const expectedNames = ["repair_contract_path", ...["investigator", "repair_author", "verifier"].flatMap((prefix) => [`${prefix}_cli`, `${prefix}_model`, `${prefix}_effort`])].sort();
+    if (canonicalJson(Object.keys(definition.variables).sort()) !== canonicalJson(expectedNames))
+        throw new Error("verified-repair variables differ from installed contract");
+    for (const [name, variable] of Object.entries(definition.variables)) {
+        if (variable.type !== "string" || variable.required !== (name === "repair_contract_path" || name.endsWith("_cli")) || variable.default !== undefined)
+            throw new Error(`invalid verified-repair variable ${name}`);
+    }
+}
+export function repairRoutesFromVariables(variables, available, validateOverrides) {
+    const routes = Object.fromEntries(["investigator", "repair_author", "verifier"].map((prefix) => {
+        const route = RepairRouteSchema.parse({ cli_name: variables[`${prefix}_cli`], ...(variables[`${prefix}_model`] !== undefined ? { model: variables[`${prefix}_model`] } : {}), ...(variables[`${prefix}_effort`] !== undefined ? { effort: variables[`${prefix}_effort`] } : {}) });
+        if (available !== undefined && !available.includes(route.cli_name))
+            throw new Error(`${prefix}_cli ${route.cli_name} is not an available JSON-capable route`);
+        validateOverrides?.(route.cli_name, { ...(route.model !== undefined ? { model: route.model } : {}), ...(route.effort !== undefined ? { effort: route.effort } : {}) });
+        return [prefix, route];
+    }));
+    return routes;
+}
+export function materializeVerifiedRepairRoutes(definition, variables, available, validateOverrides) {
+    if (definition.name !== VERIFIED_REPAIR_WORKFLOW)
+        return definition;
+    assertVerifiedRepairTopology(definition);
+    if (typeof variables["repair_contract_path"] !== "string" || variables["repair_contract_path"].trim() === "")
+        throw new Error("repair_contract_path must name reviewed host contract data");
+    const routes = repairRoutesFromVariables(variables, available, validateOverrides);
+    return { ...definition, stages: definition.stages.map((stage, index) => ({ ...stage, calls: stage.calls.map((call) => {
+                const binding = REPAIR_STAGE_BINDINGS[index];
+                return "route" in binding ? { ...call, ...routes[binding.route] } : { ...call, cli_name: routes.verifier.cli_name };
+            }) })) };
+}
+//# sourceMappingURL=admission.js.map

package/clinkx-workflows/dist/verified-repair/admission.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"admission.js","sourceRoot":"","sources":["../../src/verified-repair/admission.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAEpF,OAAO,EAAE,wBAAwB,EAAE,iBAAiB,EAAqB,MAAM,eAAe,CAAC;AAC/F,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAEpE,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,CAAC,OAAO,EAAE;IACpJ,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,yBAAyB,EAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,iCAAiC,EAAE,MAAM,EAAE,cAAc,CAAC,WAAW,EAAE;IACrN,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,sBAAsB,CAAC,EAAE,MAAM,EAAE,oBAAoB,CAAC,SAAS,EAAE;IAC/K,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,4BAA4B,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE;IAC9L,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,iBAAiB,CAAC,EAAE,MAAM,EAAE,oBAAoB,CAAC,KAAK,EAAE;IAC9J,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,4BAA4B,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE;IACtL,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,uBAAuB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,oBAAoB,CAAC,WAAW,EAAE;IAC9K,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,oBAAoB,CAAC,MAAM,EAAE;CACzI,CAAC;AAEX,uEAAuE;AACvE,MAAM,UAAU,4BAA4B,CAAC,UAAwC;IACnF,IAAI,UAAU,CAAC,IAAI,KAAK,wBAAwB;QAAE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvI,IAAI,UAAU,CAAC,OAAO,KAAK,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,qBAAqB,CAAC,MAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,WAAW,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC9M,KAAK,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,qBAAqB,CAAC,OAAO,EAAE,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC,KAAK,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACnQ,MAAM,OAAO,GAAG,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,IAAI,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,mBAAmB,KAAK,QAAQ,CAAC,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC,KAAK,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,mBAAmB,KAAK,SAAS,IAAI,IAAI,CAAC,wBAAwB,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,IAAI,CAAC,iBAAiB,KAAK,IAAI,IAAI,IAAI,CAAC,4BAA4B,KAAK,SAAS,IAAI,IAAI,CAAC,yBAAyB,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACrpB,IAAI,UAAU,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,aAAa,KAAK,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;QACvM,IAAI,CAAC,CAAC,UAAU,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IACxO,CAAC;IACD,MAAM,aAAa,GAAG,CAAC,sBAAsB,EAAE,GAAG,CAAC,cAAc,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,MAAM,EAAE,GAAG,MAAM,QAAQ,EAAE,GAAG,MAAM,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtL,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,aAAa,CAAC,aAAa,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC1K,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACpE,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,QAAQ,KAAK,CAAC,IAAI,KAAK,sBAAsB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,EAAE,CAAC,CAAC;IACpN,CAAC;AACH,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,SAA4C,EAAE,SAA6B,EAAE,iBAAqF;IAC1M,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,cAAc,EAAE,eAAe,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC7F,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,MAAM,MAAM,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,MAAM,QAAQ,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,MAAM,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,MAAM,SAAS,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,MAAM,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnR,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,QAAQ,KAAK,CAAC,QAAQ,yCAAyC,CAAC,CAAC;QAC9J,iBAAiB,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACvK,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC,CAAC;IACJ,OAAO,MAAsB,CAAC;AAChC,CAAC;AACD,MAAM,UAAU,+BAA+B,CAAC,UAAwC,EAAE,SAA4C,EAAE,SAA6B,EAAE,iBAAqF;IAC1P,IAAI,UAAU,CAAC,IAAI,KAAK,wBAAwB;QAAE,OAAO,UAAU,CAAC;IACpE,4BAA4B,CAAC,UAAU,CAAC,CAAC;IACzC,IAAI,OAAO,SAAS,CAAC,sBAAsB,CAAC,KAAK,QAAQ,IAAI,SAAS,CAAC,sBAAsB,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAC5L,MAAM,MAAM,GAAG,yBAAyB,CAAC,SAAS,EAAE,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAClF,OAAO,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;gBACnH,MAAM,OAAO,GAAG,qBAAqB,CAAC,KAAK,CAAE,CAAC;gBAC9C,OAAO,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtH,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACX,CAAC"}