@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/project/substep-trace.js

@@ -1,332 +1 @@
-function buildEdgesFromInputRefs(substeps) {
-    const edges = [];
-    for (const substep of substeps) {
-        for (const ref of substep.dependencies.input_refs) {
-            const field_path = substep.dependencies.output_refs
-                .find((r) => r.substep_id === ref)?.field_path ?? "input_ref";
-            edges.push({ source: ref, target: substep.step_id, field_path });
-        }
-    }
-    return edges;
-}
-function groupByParentStep(substeps) {
-    const groups = new Map();
-    for (const s of substeps) {
-        if (!groups.has(s.parent_step))
-            groups.set(s.parent_step, []);
-        groups.get(s.parent_step).push(s);
-    }
-    return groups;
-}
-function buildStepDetails(substeps) {
-    const groups = groupByParentStep(substeps);
-    const details = [];
-    for (const [parent_step, group] of groups.entries()) {
-        let successful = 0, failed = 0, pending = 0, skipped = 0;
-        const substep_ids = [];
-        for (const s of group) {
-            substep_ids.push(s.step_id);
-            switch (s.status) {
-                case "SUCCESS":
-                    successful++;
-                    break;
-                case "FAILED":
-                    failed++;
-                    break;
-                case "PENDING":
-                    pending++;
-                    break;
-                case "SKIPPED":
-                    skipped++;
-                    break;
-            }
-        }
-        details.push({
-            parent_step,
-            total_substeps: group.length,
-            successful,
-            failed,
-            pending,
-            skipped,
-            substep_ids,
-        });
-    }
-    details.sort((a, b) => {
-        const na = parseInt(a.parent_step.replace(/^T/, ""), 10) || 0;
-        const nb = parseInt(b.parent_step.replace(/^T/, ""), 10) || 0;
-        return na - nb;
-    });
-    return details;
-}
-export function detectDanglingInputs(substeps, edges) {
-    if (!substeps || substeps.length === 0)
-        return [];
-    const substep_ids = new Set(substeps.map((s) => s.step_id));
-    const dangling = [];
-    for (const substep of substeps) {
-        for (const ref of substep.dependencies.input_refs) {
-            if (!substep_ids.has(ref)) {
-                const field_path = substep.dependencies.output_refs.find((r) => r.substep_id === ref)?.field_path ??
-                    edges?.find((e) => e.source === ref && e.target === substep.step_id)?.field_path ??
-                    "input_ref";
-                dangling.push({
-                    substep_id: substep.step_id,
-                    missing_ref: ref,
-                    field_path,
-                });
-            }
-        }
-    }
-    return dangling;
-}
-export function detectCircularRefs(substeps, edges) {
-    if (!substeps || substeps.length === 0)
-        return [];
-    if (!edges || edges.length === 0)
-        return [];
-    const cycles = [];
-    const visited = new Set();
-    const recursion_stack = new Set();
-    const path = [];
-    const adjacency = new Map();
-    for (const s of substeps)
-        adjacency.set(s.step_id, []);
-    for (const edge of edges) {
-        if (!adjacency.has(edge.source))
-            adjacency.set(edge.source, []);
-        adjacency.get(edge.source).push(edge.target);
-    }
-    const dfs = (node) => {
-        if (recursion_stack.has(node)) {
-            const cycle_start = path.indexOf(node);
-            if (cycle_start >= 0) {
-                cycles.push({ cycle: [...path.slice(cycle_start), node] });
-            }
-            return;
-        }
-        if (visited.has(node))
-            return;
-        visited.add(node);
-        recursion_stack.add(node);
-        path.push(node);
-        const neighbors = adjacency.get(node) ?? [];
-        for (const next of neighbors) {
-            dfs(next);
-        }
-        path.pop();
-        recursion_stack.delete(node);
-    };
-    for (const s of substeps) {
-        if (!visited.has(s.step_id)) {
-            dfs(s.step_id);
-        }
-    }
-    return cycles;
-}
-export function detectMissingOutputs(substeps) {
-    if (!substeps || substeps.length === 0)
-        return [];
-    const missing = [];
-    for (const substep of substeps) {
-        for (const dep of substep.dependencies.output_refs) {
-            const field_path = dep.field_path;
-            const has_field = !!substep.output &&
-                typeof substep.output === "object" &&
-                field_path in substep.output;
-            if (!has_field) {
-                missing.push({
-                    substep_id: substep.step_id,
-                    expected_field: field_path,
-                    dependent_substeps: [dep.substep_id],
-                });
-            }
-        }
-    }
-    return missing;
-}
-export function detectCrossStepBreaks(substeps, edges) {
-    if (!substeps || substeps.length === 0 || !edges || edges.length === 0)
-        return [];
-    const breaks = [];
-    const id_to_step = new Map();
-    for (const s of substeps)
-        id_to_step.set(s.step_id, s.parent_step);
-    const step_groups = groupByParentStep(substeps);
-    const failed_steps = new Set();
-    for (const [parent_step, group] of step_groups.entries()) {
-        if (group.some((s) => s.status === "FAILED")) {
-            failed_steps.add(parent_step);
-        }
-    }
-    const seen = new Set();
-    for (const edge of edges) {
-        const source_step = id_to_step.get(edge.source);
-        const target_step = id_to_step.get(edge.target);
-        if (!source_step || !target_step)
-            continue;
-        if (source_step === target_step)
-            continue;
-        if (!failed_steps.has(source_step))
-            continue;
-        const key = `${source_step}|${target_step}|${edge.field_path}`;
-        if (seen.has(key))
-            continue;
-        seen.add(key);
-        breaks.push({
-            source_step,
-            target_step,
-            missing_field: edge.field_path,
-        });
-    }
-    return breaks;
-}
-function topologicalSort(substeps, edges) {
-    if (!substeps || substeps.length === 0)
-        return [];
-    const in_degree = new Map();
-    const adjacency = new Map();
-    for (const s of substeps) {
-        in_degree.set(s.step_id, 0);
-        adjacency.set(s.step_id, []);
-    }
-    for (const edge of edges) {
-        if (!adjacency.has(edge.source))
-            adjacency.set(edge.source, []);
-        if (!in_degree.has(edge.target))
-            in_degree.set(edge.target, 0);
-        adjacency.get(edge.source).push(edge.target);
-        in_degree.set(edge.target, (in_degree.get(edge.target) ?? 0) + 1);
-    }
-    const queue = [];
-    for (const s of substeps) {
-        if ((in_degree.get(s.step_id) ?? 0) === 0)
-            queue.push(s.step_id);
-    }
-    const order = [];
-    while (queue.length > 0) {
-        const node = queue.shift();
-        order.push(node);
-        const neighbors = adjacency.get(node) ?? [];
-        for (const next of neighbors) {
-            const d = (in_degree.get(next) ?? 0) - 1;
-            in_degree.set(next, d);
-            if (d === 0)
-                queue.push(next);
-        }
-    }
-    if (order.length !== substeps.length)
-        return [];
-    return order;
-}
-function buildD10Check(dangling, circular, missing, breaks) {
-    const notes = [];
-    if (dangling.length > 0) {
-        notes.push(`${dangling.length} dangling input(s) detected`);
-    }
-    if (circular.length > 0) {
-        notes.push(`${circular.length} circular reference(s) detected`);
-    }
-    if (missing.length > 0) {
-        notes.push(`${missing.length} missing output(s) detected`);
-    }
-    if (breaks.length > 0) {
-        notes.push(`${breaks.length} cross-step break(s) detected`);
-    }
-    let status;
-    if (dangling.length === 0 && circular.length === 0 && breaks.length === 0 && missing.length === 0) {
-        status = "PASS";
-    }
-    else if (circular.length > 0 || dangling.length > 0 || breaks.length > 0) {
-        status = "FAIL";
-    }
-    else {
-        status = "WARN";
-    }
-    return {
-        check_id: "D-10",
-        description: "Substep coherence (dangling inputs, circular refs, missing outputs, cross-step breaks)",
-        status,
-        notes: notes.length > 0 ? notes : ["All substep coherence checks passed"],
-    };
-}
-export function traceSubsteps(input) {
-    const substeps = input.substeps ?? [];
-    const edges = input.edges ?? buildEdgesFromInputRefs(substeps);
-    const dangling_inputs = detectDanglingInputs(substeps, edges);
-    const circular_refs = detectCircularRefs(substeps, edges);
-    const missing_outputs = detectMissingOutputs(substeps);
-    const cross_step_breaks = detectCrossStepBreaks(substeps, edges);
-    const coherent = dangling_inputs.length === 0 &&
-        circular_refs.length === 0 &&
-        missing_outputs.length === 0 &&
-        cross_step_breaks.length === 0;
-    const topological_order = topologicalSort(substeps, edges);
-    const step_details = buildStepDetails(substeps);
-    const d10_check = buildD10Check(dangling_inputs, circular_refs, missing_outputs, cross_step_breaks);
-    return {
-        namespace: { prefix: input.project_prefix, version: input.version },
-        network: input.network,
-        coherent,
-        dangling_inputs,
-        circular_refs,
-        missing_outputs,
-        cross_step_breaks,
-        step_details,
-        topological_order,
-        d10_check,
-    };
-}
-export class SubstepTracer {
-    records = new Map();
-    namespace;
-    network;
-    constructor(prefix, version, network) {
-        this.namespace = { prefix, version };
-        this.network = network;
-    }
-    record(rec) {
-        if (!rec || !rec.step_id)
-            return;
-        this.records.set(rec.step_id, rec);
-    }
-    getTrace() {
-        return Array.from(this.records.values()).filter((s) => s.network === this.network);
-    }
-    updateStatus(step_id, status, output, failure_reason) {
-        const rec = this.records.get(step_id);
-        if (!rec)
-            return;
-        rec.status = status;
-        if (output)
-            rec.output = { ...(rec.output ?? {}), ...output };
-        if (failure_reason)
-            rec.failure_reason = failure_reason;
-        rec.timestamp = Date.now();
-    }
-    getDAG() {
-        const substeps = this.getTrace();
-        const edges = buildEdgesFromInputRefs(substeps);
-        return {
-            namespace: this.namespace,
-            network: this.network,
-            substeps,
-            edges,
-            topological_order: topologicalSort(substeps, edges),
-        };
-    }
-    checkCoherence() {
-        return traceSubsteps({
-            project_prefix: this.namespace.prefix,
-            version: this.namespace.version,
-            network: this.network,
-            substeps: this.getTrace(),
-        });
-    }
-    toJSON() {
-        return {
-            namespace: this.namespace,
-            network: this.network,
-            substeps: this.getTrace(),
-        };
-    }
-}
+function buildEdgesFromInputRefs(a){const b=[];for(const c of a){for(const d of c['dependencies']['input_refs']){const e=c['dependencies']['output_refs']['find'](f=>f['substep_id']===d)?.['field_path']??'input_ref';b['push']({'source':d,'target':c['step_id'],'field_path':e});}}return b;}function groupByParentStep(a){const b=new Map();for(const c of a){if(!b['has'](c['parent_step']))b['set'](c['parent_step'],[]);b['get'](c['parent_step'])['push'](c);}return b;}function buildStepDetails(a){const b=groupByParentStep(a),c=[];for(const [d,e]of b['entries']()){let f=0x0,g=0x0,h=0x0,i=0x0;const j=[];for(const k of e){j['push'](k['step_id']);switch(k['status']){case'SUCCESS':f++;break;case'FAILED':g++;break;case'PENDING':h++;break;case'SKIPPED':i++;break;}}c['push']({'parent_step':d,'total_substeps':e['length'],'successful':f,'failed':g,'pending':h,'skipped':i,'substep_ids':j});}return c['sort']((l,m)=>{const n=parseInt(l['parent_step']['replace'](/^T/,''),0xa)||0x0,o=parseInt(m['parent_step']['replace'](/^T/,''),0xa)||0x0;return n-o;}),c;}export function detectDanglingInputs(a,b){if(!a||a['length']===0x0)return[];const c=new Set(a['map'](e=>e['step_id'])),d=[];for(const e of a){for(const f of e['dependencies']['input_refs']){if(!c['has'](f)){const g=e['dependencies']['output_refs']['find'](h=>h['substep_id']===f)?.['field_path']??b?.['find'](h=>h['source']===f&&h['target']===e['step_id'])?.['field_path']??'input_ref';d['push']({'substep_id':e['step_id'],'missing_ref':f,'field_path':g});}}}return d;}export function detectCircularRefs(a,b){if(!a||a['length']===0x0)return[];if(!b||b['length']===0x0)return[];const c=[],d=new Set(),e=new Set(),f=[],g=new Map();for(const i of a)g['set'](i['step_id'],[]);for(const j of b){if(!g['has'](j['source']))g['set'](j['source'],[]);g['get'](j['source'])['push'](j['target']);}const h=k=>{if(e['has'](k)){const m=f['indexOf'](k);m>=0x0&&c['push']({'cycle':[...f['slice'](m),k]});return;}if(d['has'](k))return;d['add'](k),e['add'](k),f['push'](k);const l=g['get'](k)??[];for(const n of l){h(n);}f['pop'](),e['delete'](k);};for(const k of a){!d['has'](k['step_id'])&&h(k['step_id']);}return c;}export function detectMissingOutputs(a){if(!a||a['length']===0x0)return[];const b=[];for(const c of a){for(const d of c['dependencies']['output_refs']){const e=d['field_path'],f=!!c['output']&&typeof c['output']==='object'&&e in c['output'];!f&&b['push']({'substep_id':c['step_id'],'expected_field':e,'dependent_substeps':[d['substep_id']]});}}return b;}export function detectCrossStepBreaks(a,b){if(!a||a['length']===0x0||!b||b['length']===0x0)return[];const c=[],d=new Map();for(const h of a)d['set'](h['step_id'],h['parent_step']);const e=groupByParentStep(a),f=new Set();for(const [i,j]of e['entries']()){j['some'](k=>k['status']==='FAILED')&&f['add'](i);}const g=new Set();for(const k of b){const l=d['get'](k['source']),m=d['get'](k['target']);if(!l||!m)continue;if(l===m)continue;if(!f['has'](l))continue;const n=l+'|'+m+'|'+k['field_path'];if(g['has'](n))continue;g['add'](n),c['push']({'source_step':l,'target_step':m,'missing_field':k['field_path']});}return c;}function topologicalSort(a,b){if(!a||a['length']===0x0)return[];const c=new Map(),e=new Map();for(const h of a){c['set'](h['step_id'],0x0),e['set'](h['step_id'],[]);}for(const i of b){if(!e['has'](i['source']))e['set'](i['source'],[]);if(!c['has'](i['target']))c['set'](i['target'],0x0);e['get'](i['source'])['push'](i['target']),c['set'](i['target'],(c['get'](i['target'])??0x0)+0x1);}const f=[];for(const j of a){if((c['get'](j['step_id'])??0x0)===0x0)f['push'](j['step_id']);}const g=[];while(f['length']>0x0){const k=f['shift']();g['push'](k);const l=e['get'](k)??[];for(const m of l){const n=(c['get'](m)??0x0)-0x1;c['set'](m,n);if(n===0x0)f['push'](m);}}if(g['length']!==a['length'])return[];return g;}function buildD10Check(a,b,c,d){const e=[];a['length']>0x0&&e['push'](a['length']+'\x20dangling\x20input(s)\x20detected');b['length']>0x0&&e['push'](b['length']+'\x20circular\x20reference(s)\x20detected');c['length']>0x0&&e['push'](c['length']+'\x20missing\x20output(s)\x20detected');d['length']>0x0&&e['push'](d['length']+'\x20cross-step\x20break(s)\x20detected');let f;if(a['length']===0x0&&b['length']===0x0&&d['length']===0x0&&c['length']===0x0)f='PASS';else b['length']>0x0||a['length']>0x0||d['length']>0x0?f='FAIL':f='WARN';return{'check_id':'D-10','description':'Substep\x20coherence\x20(dangling\x20inputs,\x20circular\x20refs,\x20missing\x20outputs,\x20cross-step\x20breaks)','status':f,'notes':e['length']>0x0?e:['All\x20substep\x20coherence\x20checks\x20passed']};}export function traceSubsteps(a){const b=a['substeps']??[],c=a['edges']??buildEdgesFromInputRefs(b),d=detectDanglingInputs(b,c),e=detectCircularRefs(b,c),f=detectMissingOutputs(b),g=detectCrossStepBreaks(b,c),h=d['length']===0x0&&e['length']===0x0&&f['length']===0x0&&g['length']===0x0,i=topologicalSort(b,c),j=buildStepDetails(b),k=buildD10Check(d,e,f,g);return{'namespace':{'prefix':a['project_prefix'],'version':a['version']},'network':a['network'],'coherent':h,'dangling_inputs':d,'circular_refs':e,'missing_outputs':f,'cross_step_breaks':g,'step_details':j,'topological_order':i,'d10_check':k};}export class SubstepTracer{['records']=new Map();['namespace'];['network'];constructor(a,b,c){this['namespace']={'prefix':a,'version':b},this['network']=c;}['record'](a){if(!a||!a['step_id'])return;this['records']['set'](a['step_id'],a);}['getTrace'](){return Array['from'](this['records']['values']())['filter'](a=>a['network']===this['network']);}['updateStatus'](a,b,c,d){const e=this['records']['get'](a);if(!e)return;e['status']=b;if(c)e['output']={...e['output']??{},...c};if(d)e['failure_reason']=d;e['timestamp']=Date['now']();}['getDAG'](){const a=this['getTrace'](),b=buildEdgesFromInputRefs(a);return{'namespace':this['namespace'],'network':this['network'],'substeps':a,'edges':b,'topological_order':topologicalSort(a,b)};}['checkCoherence'](){return traceSubsteps({'project_prefix':this['namespace']['prefix'],'version':this['namespace']['version'],'network':this['network'],'substeps':this['getTrace']()});}['toJSON'](){return{'namespace':this['namespace'],'network':this['network'],'substeps':this['getTrace']()};}}

package/dist/project/task-tracker.js

@@ -1,78 +1 @@
-const RETENTION_MS = 5 * 60 * 1000;
-const MAX_TASKS = 200;
-class TaskTrackerImpl {
-    tasks = new Map();
-    counter = 0;
-    create(operation, projectId) {
-        this.evictExpired();
-        this.counter++;
-        const task_id = `task_${Date.now()}_${this.counter}`;
-        const state = {
-            task_id,
-            operation,
-            status: "pending",
-            progress: 0,
-            message: "Task created",
-            result: null,
-            error: null,
-            started_at: Date.now(),
-            completed_at: null,
-            project_id: projectId ?? null,
-        };
-        this.tasks.set(task_id, state);
-        return task_id;
-    }
-    update(task_id, progress, message) {
-        const t = this.tasks.get(task_id);
-        if (!t)
-            return;
-        t.progress = Math.max(0, Math.min(100, progress));
-        if (message)
-            t.message = message;
-        if (t.status === "pending")
-            t.status = "running";
-    }
-    complete(task_id, result) {
-        const t = this.tasks.get(task_id);
-        if (!t)
-            return;
-        t.status = "completed";
-        t.progress = 100;
-        t.result = result;
-        t.completed_at = Date.now();
-    }
-    fail(task_id, error) {
-        const t = this.tasks.get(task_id);
-        if (!t)
-            return;
-        t.status = "failed";
-        t.error = error;
-        t.completed_at = Date.now();
-    }
-    get(task_id) {
-        return this.tasks.get(task_id);
-    }
-    list(projectId) {
-        const all = Array.from(this.tasks.values());
-        if (projectId)
-            return all.filter(t => t.project_id === projectId);
-        return all;
-    }
-    evictExpired() {
-        const now = Date.now();
-        for (const [id, t] of this.tasks) {
-            if (t.completed_at && now - t.completed_at > RETENTION_MS) {
-                this.tasks.delete(id);
-            }
-        }
-        if (this.tasks.size > MAX_TASKS) {
-            const completed = Array.from(this.tasks.values())
-                .filter(t => t.status === "completed" || t.status === "failed")
-                .sort((a, b) => (a.completed_at ?? 0) - (b.completed_at ?? 0));
-            const toEvict = completed.slice(0, this.tasks.size - MAX_TASKS);
-            for (const t of toEvict)
-                this.tasks.delete(t.task_id);
-        }
-    }
-}
-export const TaskTracker = new TaskTrackerImpl();
+const RETENTION_MS=0x5*0x3c*0x3e8,MAX_TASKS=0xc8;class TaskTrackerImpl{['tasks']=new Map();['counter']=0x0;['create'](a,b){this['evictExpired'](),this['counter']++;const c='task_'+Date['now']()+'_'+this['counter'],d={'task_id':c,'operation':a,'status':'pending','progress':0x0,'message':'Task\x20created','result':null,'error':null,'started_at':Date['now'](),'completed_at':null,'project_id':b??null};return this['tasks']['set'](c,d),c;}['update'](a,b,c){const d=this['tasks']['get'](a);if(!d)return;d['progress']=Math['max'](0x0,Math['min'](0x64,b));if(c)d['message']=c;if(d['status']==='pending')d['status']='running';}['complete'](a,b){const c=this['tasks']['get'](a);if(!c)return;c['status']='completed',c['progress']=0x64,c['result']=b,c['completed_at']=Date['now']();}['fail'](a,b){const c=this['tasks']['get'](a);if(!c)return;c['status']='failed',c['error']=b,c['completed_at']=Date['now']();}['get'](a){return this['tasks']['get'](a);}['list'](a){const b=Array['from'](this['tasks']['values']());if(a)return b['filter'](c=>c['project_id']===a);return b;}['evictExpired'](){const a=Date['now']();for(const [b,c]of this['tasks']){c['completed_at']&&a-c['completed_at']>RETENTION_MS&&this['tasks']['delete'](b);}if(this['tasks']['size']>MAX_TASKS){const d=Array['from'](this['tasks']['values']())['filter'](f=>f['status']==='completed'||f['status']==='failed')['sort']((f,g)=>(f['completed_at']??0x0)-(g['completed_at']??0x0)),e=d['slice'](0x0,this['tasks']['size']-MAX_TASKS);for(const f of e)this['tasks']['delete'](f['task_id']);}}}export const TaskTracker=new TaskTrackerImpl();

package/dist/project/workflow-design-assessment.d.ts

@@ -0,0 +1,24 @@
+import type { SemanticObjectGraph } from "./semantic-graph.js";
+import { type GameTheoryReport } from "./game-theory.js";
+export interface DesignCheck {
+    id: string;
+    dimension: "intent" | "game" | "value";
+    passed: boolean;
+    severity: "critical" | "warning" | "info";
+    message: string;
+    fix?: string;
+}
+export interface DesignFinding {
+    kind: "business_loophole" | "semantic_loophole";
+    severity: "critical" | "warning" | "info";
+    message: string;
+    fix: string;
+}
+export interface WorkflowDesignAssessment {
+    checks: DesignCheck[];
+    findings: DesignFinding[];
+    game_coverage: GameTheoryReport;
+    score: number;
+    summary: string;
+}
+export declare function assessWorkflowDesign(graph: SemanticObjectGraph): WorkflowDesignAssessment;

package/dist/project/workflow-design-assessment.js

@@ -0,0 +1 @@
+import{checkGameTheoryConstraints}from'./game-theory.js';const VALUE_DIMENSION_CARRIERS=[{'dimension':'escrow_quality','type':'allocation','desc':'funds\x20locked\x20in\x20contract,\x20released\x20by\x20guard'},{'dimension':'proof_integrity','type':'repository','desc':'tamper-proof\x20delivery\x20evidence'},{'dimension':'arbitration_fairness','type':'arb','desc':'independent\x20dispute\x20resolution'},{'dimension':'permission_safety','type':'permission','desc':'governance\x20+\x20forward\x20authorization'},{'dimension':'content_commitment','type':'guard','desc':'delivery\x20verification\x20rules'}];function detectRefundBypass(a){const b=[],c=a['some'](e=>/refund|cancel|disput/i['test'](e['id'])),d=a['some'](e=>/arbitr/i['test'](e['id'])||e['type']==='arb');return c&&!d&&b['push']({'kind':'business_loophole','severity':'critical','message':'A\x20refund/cancel\x20path\x20exists\x20but\x20no\x20Arbitration\x20node\x20is\x20present\x20—\x20refunds\x20would\x20bypass\x20independent\x20dispute\x20review.','fix':'Add\x20an\x20Arbitration\x20node\x20(independent\x20Permission)\x20so\x20the\x20refund\x20path\x20routes\x20through\x20dispute\x20resolution.'}),b;}function detectMissingAcceptTimeout(a,b){const c=[],d=a['some'](f=>/complet|accept|finaliz|done/i['test'](f['id'])),e=b['some'](f=>/timeout|time_guard|accept_timeout/i['test'](f['relation']))||a['some'](f=>/timeout|time_guard/i['test'](f['id']));return d&&!e&&c['push']({'kind':'semantic_loophole','severity':'warning','message':'A\x20completion/accept\x20path\x20exists\x20without\x20an\x20accept-timeout\x20mechanism\x20—\x20customer\x20silence\x20could\x20stall\x20settlement\x20indefinitely.','fix':'Adopt\x20accept_timeout_protection:\x20add\x20a\x20time_guard\x20on\x20the\x20accept\x20forward\x20so\x20silence\x20advances\x20the\x20order.'}),c;}function checkIntentConsistency(a){const b=[],{businessIntent:c}=a,d=new Set(a['nodes']['map'](h=>h['type'])),e=new Set(a['nodes']['map'](h=>h['id']['toLowerCase']()));b['push']({'id':'intent_core_service','dimension':'intent','passed':d['has']('service'),'severity':'critical','message':d['has']('service')?'Core\x20Service\x20node\x20present\x20—\x20merchant\x20intent\x20has\x20a\x20structural\x20home.':'No\x20Service\x20node\x20in\x20the\x20blueprint\x20—\x20merchant\x20intent\x20has\x20no\x20structural\x20home.','fix':d['has']('service')?undefined:'Add\x20a\x20Service\x20node\x20to\x20the\x20blueprint.'});c['roles']['arbitrators']&&b['push']({'id':'intent_arbitrator','dimension':'intent','passed':d['has']('arb')||e['has']('main_arbitration'),'severity':'warning','message':'Declared\x20arbitrator\x20role\x20has\x20no\x20Arbitration\x20carrier\x20object\x20in\x20the\x20blueprint.','fix':'Add\x20an\x20Arbitration\x20object\x20to\x20the\x20blueprint.'});const f=c['deliverables']??[];f['length']>0x0&&!d['has']('repository')&&!d['has']('proof')&&b['push']({'id':'intent_deliverable','dimension':'intent','passed':![],'severity':'info','message':f['length']+'\x20deliverable(s)\x20declared\x20but\x20no\x20Repository/Proof\x20carrier\x20—\x20delivery\x20evidence\x20has\x20no\x20on-chain\x20home.','fix':'Bind\x20a\x20Repository\x20(and\x20optionally\x20Proof)\x20to\x20store\x20delivery\x20hashes.'});const g=c['payment']?.['kind']??'';return/milestone|escrow/i['test'](g)&&!d['has']('allocation')&&b['push']({'id':'intent_payment','dimension':'intent','passed':![],'severity':'critical','message':'Milestone/escrow\x20payment\x20declared\x20but\x20no\x20Allocation\x20carrier\x20—\x20funds\x20have\x20no\x20release\x20gate.','fix':'Bind\x20order_allocators\x20(Allocation)\x20so\x20funds\x20release\x20per\x20verified\x20milestone.'}),b;}function checkValueCoverage(a){const b=new Set(a['nodes']['map'](c=>c['type']));return VALUE_DIMENSION_CARRIERS['map'](d=>({'id':'value_'+d['dimension'],'dimension':'value','passed':b['has'](d['type']),'severity':d['type']==='allocation'||d['type']==='arb'?'critical':'info','message':b['has'](d['type'])?d['dimension']+':\x20'+d['type']+'\x20present\x20('+d['desc']+').':d['dimension']+':\x20missing\x20'+d['type']+'\x20carrier\x20('+d['desc']+').','fix':b['has'](d['type'])?undefined:'Add\x20a\x20'+d['type']+'\x20object\x20to\x20cover\x20'+d['dimension']+'.'}));}export function assessWorkflowDesign(a){const b=checkGameTheoryConstraints(a,a['businessIntent']),c=checkIntentConsistency(a),d=checkValueCoverage(a),e=b['results']['map'](l=>({'id':'game_'+l['scenario'],'dimension':'game','passed':l['covered'],'severity':l['scenario']==='merchant_may_abandon'?'critical':'warning','message':l['covered']?'Covered:\x20'+l['conflict']:'EXPOSED:\x20'+l['conflict'],'fix':l['covered']?undefined:l['recommendation']})),f=[...detectRefundBypass(a['nodes']),...detectMissingAcceptTimeout(a['nodes'],a['edges'])],g=[...c,...e,...d],h=g['filter'](l=>!l['passed']&&l['severity']==='critical')['length'],i=g['filter'](l=>!l['passed'])['length'],j=Math['max'](0x0,Math['min'](0x64,0x64-h*0x14-i*0x5)),k=h>0x0?'Design\x20NOT\x20ready:\x20'+h+'\x20critical\x20+\x20'+i+'\x20total\x20open\x20loop(s).':i>0x0?'Design\x20mostly\x20sound:\x20'+i+'\x20open\x20loop(s),\x20no\x20critical.':'Design\x20sound:\x20intent/game/value\x20all\x20covered.';return{'checks':g,'findings':f,'game_coverage':b,'score':j,'summary':k};}

package/dist/role/derivation.d.ts

@@ -0,0 +1,18 @@
+import type { CommercialRole } from "./types.js";
+export interface RoleDerivationInput {
+    account: string;
+    order_holder?: string;
+    held_permission_indexes?: number[];
+    named_operator_names?: string[];
+    service_builder?: string;
+    arbitration_owner?: string;
+    demand_presenters?: string[];
+    has_active_order?: boolean;
+}
+export interface DerivedRole {
+    role: CommercialRole;
+    collaborator_kind?: "permission_entity" | "named_operator";
+    derivation: string;
+}
+export declare function deriveCommercialRole(input: RoleDerivationInput): DerivedRole;
+export declare function deriveAllRoles(input: RoleDerivationInput): DerivedRole[];

package/dist/role/derivation.js

@@ -0,0 +1 @@
+export function deriveCommercialRole(a){const b=a['account'];if(a['order_holder']&&a['order_holder']===b)return{'role':'customer','derivation':'account\x20is\x20the\x20order\x20holder\x20(Order.builder)'};if(a['service_builder']&&a['service_builder']===b)return{'role':'merchant','derivation':'account\x20built\x20the\x20service\x20/\x20owns\x20the\x20permission'};if(a['demand_presenters']&&a['demand_presenters']['includes'](b))return{'role':'supplier','derivation':'account\x20presented\x20the\x20main\x20service\x20to\x20the\x20demand\x20(sub-order\x20provider)'};if(a['held_permission_indexes']&&a['held_permission_indexes']['length']>0x0)return{'role':'collaborator','collaborator_kind':'permission_entity','derivation':'account\x20holds\x20permission\x20index(es):\x20'+a['held_permission_indexes']['join'](',\x20')};if(a['named_operator_names']&&a['named_operator_names']['length']>0x0)return{'role':'collaborator','collaborator_kind':'named_operator','derivation':'account\x20resolves\x20named\x20operator(s):\x20'+a['named_operator_names']['join'](',\x20')};if(a['arbitration_owner']&&a['arbitration_owner']===b)return{'role':'arbitrator','derivation':'account\x20owns\x20the\x20arbitration'};return{'role':'prospect','derivation':a['has_active_order']?'no\x20operative\x20role\x20on\x20this\x20order\x20(observer\x20of\x20an\x20in-flight\x20order)':'no\x20order\x20context\x20(potential\x20buyer\x20in\x20pre-order\x20due\x20diligence)'};}export function deriveAllRoles(a){const b=[],c=a['account'];return a['order_holder']&&a['order_holder']===c&&b['push']({'role':'customer','derivation':'order\x20holder'}),a['held_permission_indexes']&&a['held_permission_indexes']['length']>0x0&&b['push']({'role':'collaborator','collaborator_kind':'permission_entity','derivation':'permission\x20index(es):\x20'+a['held_permission_indexes']['join'](',\x20')}),a['named_operator_names']&&a['named_operator_names']['length']>0x0&&b['push']({'role':'collaborator','collaborator_kind':'named_operator','derivation':'named\x20operator(s):\x20'+a['named_operator_names']['join'](',\x20')}),a['demand_presenters']&&a['demand_presenters']['includes'](c)&&b['push']({'role':'supplier','derivation':'demand\x20presenter'}),a['service_builder']&&a['service_builder']===c&&b['push']({'role':'merchant','derivation':'service\x20builder'}),a['arbitration_owner']&&a['arbitration_owner']===c&&b['push']({'role':'arbitrator','derivation':'arbitration\x20owner'}),b['length']===0x0&&b['push']({'role':'prospect','derivation':a['has_active_order']?'observer\x20of\x20in-flight\x20order':'potential\x20buyer'}),b;}

package/dist/role/index.d.ts

@@ -0,0 +1,5 @@
+export type { CommercialRole, GamePower, ValuePerspective, RoleModel, } from "./types.js";
+export { COMMERCIAL_ROLES } from "./types.js";
+export { ROLE_MODELS, gamePowerOf, valuePerspectiveOf, isWeakerParty, isStrongerParty, interestAnalyzerOf, gameStrategyOf, } from "./model.js";
+export { deriveCommercialRole, deriveAllRoles, type RoleDerivationInput, type DerivedRole, } from "./derivation.js";
+export { mergeRolePerspective, isOnchainRoleAuthoritative, type RoleMergeResult, } from "./resolution.js";

package/dist/role/index.js

@@ -0,0 +1 @@
+export{COMMERCIAL_ROLES}from'./types.js';export{ROLE_MODELS,gamePowerOf,valuePerspectiveOf,isWeakerParty,isStrongerParty,interestAnalyzerOf,gameStrategyOf}from'./model.js';export{deriveCommercialRole,deriveAllRoles}from'./derivation.js';export{mergeRolePerspective,isOnchainRoleAuthoritative}from'./resolution.js';

package/dist/role/model.d.ts

@@ -0,0 +1,8 @@
+import type { CommercialRole, GamePower, RoleModel, ValuePerspective } from "./types.js";
+export declare const ROLE_MODELS: Record<CommercialRole, RoleModel>;
+export declare function gamePowerOf(role: CommercialRole): GamePower;
+export declare function valuePerspectiveOf(role: CommercialRole): ValuePerspective;
+export declare function isWeakerParty(role: CommercialRole): boolean;
+export declare function isStrongerParty(role: CommercialRole): boolean;
+export declare function interestAnalyzerOf(role: CommercialRole): string;
+export declare function gameStrategyOf(role: CommercialRole): string;

package/dist/role/model.js

@@ -0,0 +1 @@
+export const ROLE_MODELS={'merchant':{'role':'merchant','power':'strong','interest_analyzer':'merchant-interest','game_strategy':'merchant','value_perspective':'producer'},'customer':{'role':'customer','power':'weak','interest_analyzer':'customer-interest','game_strategy':'customer','value_perspective':'consumer'},'prospect':{'role':'prospect','power':'weak','interest_analyzer':'preorder','game_strategy':'customer','value_perspective':'consumer'},'supplier':{'role':'supplier','power':'peer','interest_analyzer':'supplier-interest','game_strategy':'supplier','value_perspective':'producer'},'collaborator':{'role':'collaborator','power':'peer','interest_analyzer':'collaborator-interest','game_strategy':'collaborator','value_perspective':'neutral'},'arbitrator':{'role':'arbitrator','power':'neutral','interest_analyzer':'arb_game','game_strategy':'arbitrator','value_perspective':'neutral'},'system':{'role':'system','power':'neutral','interest_analyzer':'system','game_strategy':'system','value_perspective':'neutral'}};export function gamePowerOf(a){return ROLE_MODELS[a]['power'];}export function valuePerspectiveOf(a){return ROLE_MODELS[a]['value_perspective'];}export function isWeakerParty(a){return ROLE_MODELS[a]['power']==='weak';}export function isStrongerParty(a){return ROLE_MODELS[a]['power']==='strong';}export function interestAnalyzerOf(a){return ROLE_MODELS[a]['interest_analyzer'];}export function gameStrategyOf(a){return ROLE_MODELS[a]['game_strategy'];}

package/dist/role/resolution.d.ts

@@ -0,0 +1,11 @@
+import type { CommercialRole } from "./types.js";
+export interface RoleMergeResult {
+    onchain_role: CommercialRole;
+    persona_role: CommercialRole | undefined;
+    conflicting: boolean;
+    participation_role: CommercialRole;
+    evaluation_role: CommercialRole;
+    note: string;
+}
+export declare function mergeRolePerspective(personaRole: CommercialRole | undefined, onchainRole: CommercialRole): RoleMergeResult;
+export declare function isOnchainRoleAuthoritative(onchainRole: CommercialRole | undefined): boolean;

package/dist/role/resolution.js

@@ -0,0 +1 @@
+export function mergeRolePerspective(a,b){const c=a!==undefined&&a!=='system'?a:undefined,d=c!==undefined&&c!==b,e=c===undefined?'No\x20explicit\x20persona\x20role\x20set\x20—\x20on-chain\x20role\x20\x27'+b+'\x27\x20is\x20authoritative\x20for\x20both\x20participation\x20and\x20evaluation.':d?'persona\x20role\x20\x27'+c+'\x27\x20disagrees\x20with\x20on-chain\x20role\x20\x27'+b+'\x27.\x20'+'On-chain\x20derivation\x20is\x20ground\x20truth\x20for\x20participation;\x20the\x20persona\x20role\x20is\x20an\x20identity\x20preference\x20'+'that\x20only\x20feeds\x20evaluation\x20injection\x20(preferences/requirements/risk_appetite).':'persona\x20role\x20and\x20on-chain\x20role\x20agree\x20(\x27'+b+'\x27).';return{'onchain_role':b,'persona_role':c,'conflicting':d,'participation_role':b,'evaluation_role':c??b,'note':e};}export function isOnchainRoleAuthoritative(a){return a!==undefined&&a!=='system';}

package/dist/role/types.d.ts

@@ -0,0 +1,11 @@
+export type CommercialRole = "merchant" | "customer" | "prospect" | "supplier" | "collaborator" | "arbitrator" | "system";
+export type GamePower = "strong" | "weak" | "peer" | "neutral";
+export type ValuePerspective = "producer" | "consumer" | "neutral";
+export interface RoleModel {
+    role: CommercialRole;
+    power: GamePower;
+    interest_analyzer: string;
+    game_strategy: string;
+    value_perspective: ValuePerspective;
+}
+export declare const COMMERCIAL_ROLES: CommercialRole[];

package/dist/role/types.js

@@ -0,0 +1 @@
+export const COMMERCIAL_ROLES=['merchant','customer','prospect','supplier','collaborator','arbitrator','system'];

package/dist/rules.js

@@ -1,52 +1 @@
-export { validateOperation, hasBlockingViolations, getWarningViolations, } from "./knowledge/tool-constraints.js";
-export { computeServiceTrustScore, } from "./knowledge/trust-metrics.js";
-export { AUDIT_RULES, auditService, hasBlockingErrors, getErrors, getWarnings, summarizeFindings, } from "./knowledge/audit-rules.js";
-export { confirmGate, isConfirmGateEnabled, isExplicitlyConfirmed, getFailMode, } from "./safety/confirm-gate.js";
-export { renderPreview } from "./safety/preview.js";
-export { CONFIRMATION_RULES, SAFETY_RULES_VERSION, DEFAULT_AMOUNT_THRESHOLD, getAmountThreshold, formatAmount, collectDefaultWarnings, } from "./knowledge/safety-rules.js";
-export { distillIntent, extractSignals } from "./experience/intent-distill.js";
-export { Harness, getHarness, setHarness } from "./harness/index.js";
-export { getDefaultPreferences, inferPreferences, matchServiceToPreferences, mergePreferences, validatePreferences, SUPPORTED_INDUSTRIES, } from "./customer/user-preferences.js";
-import { CONFIRMATION_RULES, DEFAULT_AMOUNT_THRESHOLD, formatAmount, OBJECT_REUSE_RULES, CREATE_VS_MODIFY_PATTERN, IMMUTABILITY_RULES, OPERATION_CLASS_META, NAMING_CONVENTIONS, } from "./knowledge/safety-rules.js";
-const PERMISSION_INDEX_RANGE = "1000-65535 (0-999 reserved)";
-export function buildSoftRulesPrompt() {
-    const lines = [];
-    lines.push("## Token amounts");
-    lines.push("- Token amounts are U64 integers in the smallest unit. 1 WOW = 1_000_000_000 (9 decimals).");
-    lines.push("- Amount input accepts '2WOW' / '10.5WOW' (auto-converted) or a raw integer '2000000000'.");
-    lines.push("- Always query token precision via query_toolkit before using a non-WOW token.");
-    lines.push("");
-    lines.push("## Operation classes");
-    for (const [cls, meta] of Object.entries(OPERATION_CLASS_META)) {
-        lines.push(`- ${cls}: ${meta.note}`);
-    }
-    lines.push("");
-    lines.push("## Object reuse vs create");
-    lines.push(`- ${CREATE_VS_MODIFY_PATTERN.note}`);
-    for (const r of OBJECT_REUSE_RULES) {
-        lines.push(`  - ${r.object_type}: ${r.recommendation.replace(/_/g, " ")} — ${r.reason}`);
-    }
-    lines.push("");
-    lines.push("## Immutability");
-    for (const r of IMMUTABILITY_RULES) {
-        const mutable = r.mutable_after?.length
-            ? ` (still mutable: ${r.mutable_after.join(", ")})`
-            : "";
-        lines.push(`- ${r.object_type} ${r.trigger}: ${r.message}${mutable}`);
-    }
-    lines.push("");
-    lines.push("## Confirmation levels");
-    const levels = [...new Set(CONFIRMATION_RULES.map((r) => r.level))];
-    lines.push(`- Amount threshold for extra scrutiny: ${formatAmount(DEFAULT_AMOUNT_THRESHOLD)} WOW.`);
-    lines.push(`- Confirm-gate levels: ${levels.join(", ")}.`);
-    lines.push("");
-    lines.push("## Naming conventions");
-    lines.push(`- Scheme: ${NAMING_CONVENTIONS.scheme}`);
-    for (const rec of NAMING_CONVENTIONS.recommendations) {
-        lines.push(`- ${rec}`);
-    }
-    lines.push(`- Custom permission indices: ${PERMISSION_INDEX_RANGE}.`);
-    lines.push("");
-    return lines.join("\n");
-}
-export { OBJECT_REUSE_RULES, CREATE_VS_MODIFY_PATTERN, IMMUTABILITY_RULES, OPERATION_TYPE_CLASSIFICATION, OPERATION_CLASS_META, NAMING_CONVENTIONS, classifyTool, checkObjectReuseRules, checkImmutabilityRules, } from "./knowledge/safety-rules.js";
+export{validateOperation,hasBlockingViolations,getWarningViolations}from'./knowledge/tool-constraints.js';export{computeServiceTrustScore}from'./knowledge/trust-metrics.js';export{AUDIT_RULES,auditService,hasBlockingErrors,getErrors,getWarnings,summarizeFindings}from'./knowledge/audit-rules.js';export{confirmGate,isConfirmGateEnabled,isExplicitlyConfirmed,getFailMode}from'./safety/confirm-gate.js';export{renderPreview}from'./safety/preview.js';export{CONFIRMATION_RULES,SAFETY_RULES_VERSION,DEFAULT_AMOUNT_THRESHOLD,getAmountThreshold,formatAmount,collectDefaultWarnings}from'./knowledge/safety-rules.js';export{distillIntent,extractSignals}from'./experience/intent-distill.js';export{Harness,getHarness,setHarness}from'./harness/index.js';export{getDefaultPreferences,inferPreferences,matchServiceToPreferences,mergePreferences,validatePreferences,SUPPORTED_INDUSTRIES}from'./customer/user-preferences.js';import{CONFIRMATION_RULES,DEFAULT_AMOUNT_THRESHOLD,formatAmount,OBJECT_REUSE_RULES,CREATE_VS_MODIFY_PATTERN,IMMUTABILITY_RULES,OPERATION_CLASS_META,NAMING_CONVENTIONS}from'./knowledge/safety-rules.js';const PERMISSION_INDEX_RANGE='1000-65535\x20(0-999\x20reserved)';export function buildSoftRulesPrompt(){const a=[];a['push']('##\x20Token\x20amounts'),a['push']('-\x20Token\x20amounts\x20are\x20U64\x20integers\x20in\x20the\x20smallest\x20unit.\x201\x20WOW\x20=\x201_000_000_000\x20(9\x20decimals).'),a['push']('-\x20Amount\x20input\x20accepts\x20\x272WOW\x27\x20/\x20\x2710.5WOW\x27\x20(auto-converted)\x20or\x20a\x20raw\x20integer\x20\x272000000000\x27.'),a['push']('-\x20Always\x20query\x20token\x20precision\x20via\x20query_toolkit\x20before\x20using\x20a\x20non-WOW\x20token.'),a['push'](''),a['push']('##\x20Operation\x20classes');for(const [c,d]of Object['entries'](OPERATION_CLASS_META)){a['push']('-\x20'+c+':\x20'+d['note']);}a['push'](''),a['push']('##\x20Object\x20reuse\x20vs\x20create'),a['push']('-\x20'+CREATE_VS_MODIFY_PATTERN['note']);for(const e of OBJECT_REUSE_RULES){a['push']('\x20\x20-\x20'+e['object_type']+':\x20'+e['recommendation']['replace'](/_/g,'\x20')+'\x20—\x20'+e['reason']);}a['push'](''),a['push']('##\x20Immutability');for(const f of IMMUTABILITY_RULES){const g=f['mutable_after']?.['length']?'\x20(still\x20mutable:\x20'+f['mutable_after']['join'](',\x20')+')':'';a['push']('-\x20'+f['object_type']+'\x20'+f['trigger']+':\x20'+f['message']+g);}a['push'](''),a['push']('##\x20Confirmation\x20levels');const b=[...new Set(CONFIRMATION_RULES['map'](h=>h['level']))];a['push']('-\x20Amount\x20threshold\x20for\x20extra\x20scrutiny:\x20'+formatAmount(DEFAULT_AMOUNT_THRESHOLD)+'\x20WOW.'),a['push']('-\x20Confirm-gate\x20levels:\x20'+b['join'](',\x20')+'.'),a['push'](''),a['push']('##\x20Naming\x20conventions'),a['push']('-\x20Scheme:\x20'+NAMING_CONVENTIONS['scheme']);for(const h of NAMING_CONVENTIONS['recommendations']){a['push']('-\x20'+h);}return a['push']('-\x20Custom\x20permission\x20indices:\x20'+PERMISSION_INDEX_RANGE+'.'),a['push'](''),a['join']('\x0a');}export{OBJECT_REUSE_RULES,CREATE_VS_MODIFY_PATTERN,IMMUTABILITY_RULES,OPERATION_TYPE_CLASSIFICATION,OPERATION_CLASS_META,NAMING_CONVENTIONS,classifyTool,checkObjectReuseRules,checkImmutabilityRules}from'./knowledge/safety-rules.js';

package/dist/safety/confirm-gate.d.ts

@@ -11,7 +11,7 @@ export type ConfirmResult = {
     rule_id: string;
 };
 export declare function getFailMode(level: ConfirmLevel): FailMode;
-export declare function confirmGate(operation_type: string, data: any, env: any, userIntentPhrases?: string[]): ConfirmResult;
+export declare function confirmGate(operation_type: string, data: any, env: any, userIntentPhrases?: string[], overrides?: Record<string, string>): ConfirmResult;
 export declare function isExplicitlyConfirmed(env: CallEnv & {
     confirmed?: boolean;
 }): boolean;