@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/project/risk-aggregator.js

@@ -1,295 +1 @@
-import { assessServiceRisks, assessMachineRisks, assessAllocationRisks, assessTreasuryRisks, assessArbitrationRisks, assessRewardRisks, assessProgressRisks, assessOrderRisks, assessGuardRisks, checkContactRisks, checkResourceRisks, checkPaymentRisks, checkArbRisks, checkPersonalRisks, checkUtilRisks, checkRegistrarRisks, checkBridgeRisks, checkProofRisks, checkRepositoryRisks, checkDemandRisks, } from "../knowledge/index.js";
-import { assessPermissionRisks } from "../knowledge/permission-risk.js";
-const SEVERITY_ORDER = {
-    CRITICAL: 0,
-    HIGH: 1,
-    MEDIUM: 2,
-    LOW: 3,
-    INFO: 4,
-};
-const ALL_SEVERITIES = ["CRITICAL", "HIGH", "MEDIUM", "LOW", "INFO"];
-function normalizeSeverity(level) {
-    if (typeof level !== "string")
-        return "INFO";
-    const upper = level.toUpperCase();
-    return ALL_SEVERITIES.includes(upper) ? upper : "INFO";
-}
-function extractRiskId(risk, fallback) {
-    if (!risk || typeof risk !== "object")
-        return fallback;
-    return String(risk.id ?? risk.risk_rule_id ?? risk.rule_id ?? fallback);
-}
-function extractRiskMessage(risk) {
-    if (!risk || typeof risk !== "object")
-        return "(no message)";
-    return String(risk.title ?? risk.message ?? risk.description ?? risk.trigger ?? "(no message)");
-}
-function extractFixSuggestion(risk) {
-    if (!risk || typeof risk !== "object")
-        return "";
-    return String(risk.mitigation ?? risk.fix_suggestion ?? risk.suggestion ?? "");
-}
-function toAggregatedRisk(risk, objectType, entryId) {
-    return {
-        risk_rule_id: extractRiskId(risk, `R-${objectType.toUpperCase()}-?`),
-        object_type: objectType,
-        entry_id: entryId,
-        severity: normalizeSeverity(risk?.level ?? risk?.severity),
-        message: extractRiskMessage(risk),
-        fix_suggestion: extractFixSuggestion(risk),
-        details: risk?.evidence
-            ? { field_path: String(risk.evidence) }
-            : undefined,
-    };
-}
-function isL1L2Object(objType) {
-    return [
-        "service", "machine", "allocation", "treasury", "arb",
-        "reward", "progress", "order", "permission", "guard",
-    ].includes(objType);
-}
-function buildL1L2Dispatch() {
-    const safeAssess = (puzzle, fn) => {
-        try {
-            const ctx = puzzle ?? {};
-            const result = fn(ctx);
-            if (Array.isArray(result))
-                return result;
-            if (result && typeof result === "object") {
-                const r = result.risks;
-                if (Array.isArray(r))
-                    return r;
-            }
-            return [];
-        }
-        catch {
-            return [];
-        }
-    };
-    return {
-        service: { assess: (p) => safeAssess(p, assessServiceRisks) },
-        machine: { assess: (p) => safeAssess(p, (ctx) => assessMachineRisks(ctx, {})) },
-        allocation: { assess: (p) => safeAssess(p, assessAllocationRisks) },
-        treasury: { assess: (p) => safeAssess(p, assessTreasuryRisks) },
-        arb: { assess: (p) => safeAssess(p, assessArbitrationRisks) },
-        reward: { assess: (p) => safeAssess(p, (ctx) => assessRewardRisks(ctx)) },
-        progress: { assess: (p) => safeAssess(p, (ctx) => assessProgressRisks(ctx)) },
-        order: { assess: (p) => safeAssess(p, assessOrderRisks) },
-        permission: { assess: (p) => safeAssess(p, assessPermissionRisks) },
-        guard: {
-            assess: (p) => {
-                try {
-                    const result = assessGuardRisks({
-                        table: [],
-                        root: undefined,
-                    });
-                    if (Array.isArray(result))
-                        return result;
-                    if (result && typeof result === "object") {
-                        const r = result.risks;
-                        if (Array.isArray(r))
-                            return r;
-                    }
-                    return [];
-                }
-                catch {
-                    return [];
-                }
-            },
-        },
-    };
-}
-function buildL3Dispatch() {
-    const safeCheck = (puzzle, fn) => {
-        try {
-            const ctx = puzzle ?? {};
-            const result = fn(ctx);
-            if (Array.isArray(result))
-                return result;
-            return [];
-        }
-        catch {
-            return [];
-        }
-    };
-    return {
-        contact: { check: (p) => safeCheck(p, checkContactRisks) },
-        resource: { check: (p) => safeCheck(p, checkResourceRisks) },
-        payment: { check: (p) => safeCheck(p, checkPaymentRisks) },
-        arb: { check: (p) => safeCheck(p, checkArbRisks) },
-        personal: { check: (p) => safeCheck(p, checkPersonalRisks) },
-        util: { check: (p) => safeCheck(p, checkUtilRisks) },
-        registrar: { check: (p) => safeCheck(p, checkRegistrarRisks) },
-        bridge: { check: (p) => safeCheck(p, checkBridgeRisks) },
-        proof: { check: (p) => safeCheck(p, checkProofRisks) },
-        repository: { check: (p) => safeCheck(p, checkRepositoryRisks) },
-        demand: { check: (p) => safeCheck(p, checkDemandRisks) },
-    };
-}
-export function aggregateProjectRisks(input) {
-    const warnings = [];
-    if (!input || !input.project_prefix) {
-        warnings.push("input.project_prefix is empty");
-    }
-    const puzzles = input?.puzzles ?? {};
-    const findings = [];
-    const l1l2 = buildL1L2Dispatch();
-    const l3 = buildL3Dispatch();
-    for (const [objTypeStr, entry] of Object.entries(puzzles)) {
-        const objType = objTypeStr;
-        const entryId = `${input.project_prefix ?? "project"}_${objType}`;
-        const puzzle = entry?.puzzle;
-        if (isL1L2Object(objType)) {
-            const d = l1l2[objType];
-            if (!d) {
-                warnings.push(`No L1/L2 risk dispatcher for '${objType}'`);
-                continue;
-            }
-            const rawRisks = d.assess(puzzle);
-            for (const r of rawRisks) {
-                findings.push(toAggregatedRisk(r, objType, entryId));
-            }
-        }
-        else {
-            const d = l3[objType];
-            if (!d) {
-                warnings.push(`No L3 risk dispatcher for '${objType}'`);
-                continue;
-            }
-            const rawRisks = d.check(puzzle);
-            for (const r of rawRisks) {
-                findings.push(toAggregatedRisk(r, objType, entryId));
-            }
-        }
-    }
-    sortFindings(findings);
-    const severity_summary = countBySeverity(findings);
-    const threshold = input.severity_threshold ?? "HIGH";
-    const status = determineStatus(severity_summary, threshold, input.user_confirmed_high_risks ?? [], findings);
-    let pending_confirmations;
-    if (status === "RISK_PENDING_CONFIRM") {
-        pending_confirmations = findings
-            .filter((f) => f.severity === "HIGH")
-            .filter((f) => !(input.user_confirmed_high_risks ?? []).includes(f.risk_rule_id))
-            .map((f) => ({
-            risk_rule_id: f.risk_rule_id,
-            description: f.message,
-            fix_suggestion: f.fix_suggestion,
-            object_type: f.object_type,
-            entry_id: f.entry_id,
-        }));
-    }
-    const fixSuggestionsGrouped = {};
-    for (const finding of findings) {
-        const key = finding.object_type;
-        if (!fixSuggestionsGrouped[key]) {
-            fixSuggestionsGrouped[key] = [];
-        }
-        fixSuggestionsGrouped[key].push({
-            risk_rule_id: finding.risk_rule_id,
-            severity: finding.severity,
-            message: finding.message,
-            fix_suggestion: finding.fix_suggestion,
-            entry_id: finding.entry_id,
-        });
-    }
-    return {
-        namespace: {
-            prefix: input.project_prefix ?? "",
-            version: input.version ?? "",
-            industry: input.industry ?? "general",
-        },
-        findings,
-        severity_summary,
-        status,
-        pending_confirmations,
-        calibrated_at: Date.now(),
-        fix_suggestions_grouped: fixSuggestionsGrouped,
-        warnings,
-    };
-}
-export function sortFindings(findings) {
-    return findings.sort((a, b) => {
-        const sevDiff = SEVERITY_ORDER[a.severity] - SEVERITY_ORDER[b.severity];
-        if (sevDiff !== 0)
-            return sevDiff;
-        if (a.object_type !== b.object_type) {
-            return a.object_type.localeCompare(b.object_type);
-        }
-        return a.risk_rule_id.localeCompare(b.risk_rule_id);
-    });
-}
-export function countBySeverity(findings) {
-    const counts = {
-        CRITICAL: 0,
-        HIGH: 0,
-        MEDIUM: 0,
-        LOW: 0,
-        INFO: 0,
-    };
-    for (const f of findings) {
-        counts[f.severity]++;
-    }
-    return counts;
-}
-export function determineStatus(severity_summary, threshold, user_confirmed_high_risks, findings) {
-    if (severity_summary.CRITICAL > 0)
-        return "RISK_BLOCKED";
-    const thresholdLevel = SEVERITY_ORDER[threshold];
-    if (severity_summary.HIGH > 0 && thresholdLevel <= SEVERITY_ORDER.HIGH) {
-        const unconfirmed = findings.filter((f) => f.severity === "HIGH" && !user_confirmed_high_risks.includes(f.risk_rule_id));
-        if (unconfirmed.length > 0)
-            return "RISK_PENDING_CONFIRM";
-    }
-    if (severity_summary.MEDIUM > 0 && thresholdLevel <= SEVERITY_ORDER.MEDIUM) {
-        return "RISK_BLOCKED";
-    }
-    if (severity_summary.LOW > 0 && thresholdLevel <= SEVERITY_ORDER.LOW) {
-        return "RISK_BLOCKED";
-    }
-    return "RISK_PASSED";
-}
-export function getCriticalRisks(result) {
-    if (!result?.findings)
-        return [];
-    return result.findings.filter((f) => f.severity === "CRITICAL");
-}
-export function summarizeRiskReport(result) {
-    if (!result)
-        return "(no result)";
-    const lines = [];
-    lines.push(`# Risk Aggregation Report`);
-    lines.push("");
-    lines.push(`- Project: ${result.namespace.prefix}_${result.namespace.version}`);
-    lines.push(`- Status: ${result.status}`);
-    lines.push(`- Calibrated at: ${new Date(result.calibrated_at).toISOString()}`);
-    lines.push("");
-    lines.push("## Severity Summary");
-    lines.push("");
-    lines.push("| Severity | Count |");
-    lines.push("|----------|-------|");
-    for (const sev of ALL_SEVERITIES) {
-        lines.push(`| ${sev} | ${result.severity_summary[sev] ?? 0} |`);
-    }
-    lines.push("");
-    if (result.findings.length === 0) {
-        lines.push("No risks found.");
-        return lines.join("\n");
-    }
-    lines.push("## Findings (sorted by severity)");
-    lines.push("");
-    for (const f of result.findings) {
-        lines.push(`- **[${f.severity}] ${f.risk_rule_id}** (${f.object_type} / ${f.entry_id})`);
-        lines.push(`  - ${f.message}`);
-        if (f.fix_suggestion) {
-            lines.push(`  - Fix: ${f.fix_suggestion}`);
-        }
-    }
-    if (result.warnings.length > 0) {
-        lines.push("");
-        lines.push("## Warnings");
-        for (const w of result.warnings)
-            lines.push(`- ${w}`);
-    }
-    return lines.join("\n");
-}
+import{assessServiceRisks,assessMachineRisks,assessAllocationRisks,assessTreasuryRisks,assessArbitrationRisks,assessRewardRisks,assessProgressRisks,assessOrderRisks,assessGuardRisks,checkContactRisks,checkResourceRisks,checkPaymentRisks,checkArbRisks,checkPersonalRisks,checkUtilRisks,checkRegistrarRisks,checkBridgeRisks,checkProofRisks,checkRepositoryRisks,checkDemandRisks}from'../knowledge/index.js';import{assessPermissionRisks}from'../knowledge/permission-risk.js';const SEVERITY_ORDER={'CRITICAL':0x0,'HIGH':0x1,'MEDIUM':0x2,'LOW':0x3,'INFO':0x4},ALL_SEVERITIES=['CRITICAL','HIGH','MEDIUM','LOW','INFO'];function normalizeSeverity(a){if(typeof a!=='string')return'INFO';const b=a['toUpperCase']();return ALL_SEVERITIES['includes'](b)?b:'INFO';}function extractRiskId(a,b){if(!a||typeof a!=='object')return b;return String(a['id']??a['risk_rule_id']??a['rule_id']??b);}function extractRiskMessage(a){if(!a||typeof a!=='object')return'(no\x20message)';return String(a['title']??a['message']??a['description']??a['trigger']??'(no\x20message)');}function extractFixSuggestion(a){if(!a||typeof a!=='object')return'';return String(a['mitigation']??a['fix_suggestion']??a['suggestion']??'');}function toAggregatedRisk(a,b,c){return{'risk_rule_id':extractRiskId(a,'R-'+b['toUpperCase']()+'-?'),'object_type':b,'entry_id':c,'severity':normalizeSeverity(a?.['level']??a?.['severity']),'message':extractRiskMessage(a),'fix_suggestion':extractFixSuggestion(a),'details':a?.['evidence']?{'field_path':String(a['evidence'])}:undefined};}function isL1L2Object(a){return['service','machine','allocation','treasury','arb','reward','progress','order','permission','guard']['includes'](a);}function buildL1L2Dispatch(){const a=(b,c)=>{try{const d=b??{},e=c(d);if(Array['isArray'](e))return e;if(e&&typeof e==='object'){const f=e['risks'];if(Array['isArray'](f))return f;}return[];}catch{return[];}};return{'service':{'assess':b=>a(b,assessServiceRisks)},'machine':{'assess':b=>a(b,c=>assessMachineRisks(c,{}))},'allocation':{'assess':b=>a(b,assessAllocationRisks)},'treasury':{'assess':b=>a(b,assessTreasuryRisks)},'arb':{'assess':b=>a(b,assessArbitrationRisks)},'reward':{'assess':b=>a(b,c=>assessRewardRisks(c))},'progress':{'assess':b=>a(b,c=>assessProgressRisks(c))},'order':{'assess':b=>a(b,assessOrderRisks)},'permission':{'assess':b=>a(b,assessPermissionRisks)},'guard':{'assess':b=>{try{const c=assessGuardRisks({'table':[],'root':undefined});if(Array['isArray'](c))return c;if(c&&typeof c==='object'){const d=c['risks'];if(Array['isArray'](d))return d;}return[];}catch{return[];}}}};}function buildL3Dispatch(){const a=(b,c)=>{try{const d=b??{},e=c(d);if(Array['isArray'](e))return e;return[];}catch{return[];}};return{'contact':{'check':b=>a(b,checkContactRisks)},'resource':{'check':b=>a(b,checkResourceRisks)},'payment':{'check':b=>a(b,checkPaymentRisks)},'arb':{'check':b=>a(b,checkArbRisks)},'personal':{'check':b=>a(b,checkPersonalRisks)},'util':{'check':b=>a(b,checkUtilRisks)},'registrar':{'check':b=>a(b,checkRegistrarRisks)},'bridge':{'check':b=>a(b,checkBridgeRisks)},'proof':{'check':b=>a(b,checkProofRisks)},'repository':{'check':b=>a(b,checkRepositoryRisks)},'demand':{'check':b=>a(b,checkDemandRisks)}};}export function aggregateProjectRisks(a){const b=[];(!a||!a['project_prefix'])&&b['push']('input.project_prefix\x20is\x20empty');const c=a?.['puzzles']??{},e=[],f=buildL1L2Dispatch(),g=buildL3Dispatch();for(const [m,n]of Object['entries'](c)){const o=m,p=(a['project_prefix']??'project')+'_'+o,q=n?.['puzzle'];if(isL1L2Object(o)){const s=f[o];if(!s){b['push']('No\x20L1/L2\x20risk\x20dispatcher\x20for\x20\x27'+o+'\x27');continue;}const t=s['assess'](q);for(const u of t){e['push'](toAggregatedRisk(u,o,p));}}else{const v=g[o];if(!v){b['push']('No\x20L3\x20risk\x20dispatcher\x20for\x20\x27'+o+'\x27');continue;}const w=v['check'](q);for(const x of w){e['push'](toAggregatedRisk(x,o,p));}}}sortFindings(e);const h=countBySeverity(e),i=a['severity_threshold']??'HIGH',j=determineStatus(h,i,a['user_confirmed_high_risks']??[],e);let k;j==='RISK_PENDING_CONFIRM'&&(k=e['filter'](y=>y['severity']==='HIGH')['filter'](y=>!(a['user_confirmed_high_risks']??[])['includes'](y['risk_rule_id']))['map'](y=>({'risk_rule_id':y['risk_rule_id'],'description':y['message'],'fix_suggestion':y['fix_suggestion'],'object_type':y['object_type'],'entry_id':y['entry_id']})));const l={};for(const y of e){const z=y['object_type'];!l[z]&&(l[z]=[]),l[z]['push']({'risk_rule_id':y['risk_rule_id'],'severity':y['severity'],'message':y['message'],'fix_suggestion':y['fix_suggestion'],'entry_id':y['entry_id']});}return{'namespace':{'prefix':a['project_prefix']??'','version':a['version']??'','industry':a['industry']??'general'},'findings':e,'severity_summary':h,'status':j,'pending_confirmations':k,'calibrated_at':Date['now'](),'fix_suggestions_grouped':l,'warnings':b};}export function sortFindings(a){return a['sort']((c,d)=>{const e=SEVERITY_ORDER[c['severity']]-SEVERITY_ORDER[d['severity']];if(e!==0x0)return e;if(c['object_type']!==d['object_type'])return c['object_type']['localeCompare'](d['object_type']);return c['risk_rule_id']['localeCompare'](d['risk_rule_id']);});}export function countBySeverity(a){const b={'CRITICAL':0x0,'HIGH':0x0,'MEDIUM':0x0,'LOW':0x0,'INFO':0x0};for(const c of a){b[c['severity']]++;}return b;}export function determineStatus(a,b,c,d){if(a['CRITICAL']>0x0)return'RISK_BLOCKED';const e=SEVERITY_ORDER[b];if(a['HIGH']>0x0&&e<=SEVERITY_ORDER['HIGH']){const f=d['filter'](g=>g['severity']==='HIGH'&&!c['includes'](g['risk_rule_id']));if(f['length']>0x0)return'RISK_PENDING_CONFIRM';}if(a['MEDIUM']>0x0&&e<=SEVERITY_ORDER['MEDIUM'])return'RISK_BLOCKED';if(a['LOW']>0x0&&e<=SEVERITY_ORDER['LOW'])return'RISK_BLOCKED';return'RISK_PASSED';}export function getCriticalRisks(a){if(!a?.['findings'])return[];return a['findings']['filter'](b=>b['severity']==='CRITICAL');}export function summarizeRiskReport(a){if(!a)return'(no\x20result)';const b=[];b['push']('#\x20Risk\x20Aggregation\x20Report'),b['push'](''),b['push']('-\x20Project:\x20'+a['namespace']['prefix']+'_'+a['namespace']['version']),b['push']('-\x20Status:\x20'+a['status']),b['push']('-\x20Calibrated\x20at:\x20'+new Date(a['calibrated_at'])['toISOString']()),b['push'](''),b['push']('##\x20Severity\x20Summary'),b['push'](''),b['push']('|\x20Severity\x20|\x20Count\x20|'),b['push']('|----------|-------|');for(const c of ALL_SEVERITIES){b['push']('|\x20'+c+'\x20|\x20'+(a['severity_summary'][c]??0x0)+'\x20|');}b['push']('');if(a['findings']['length']===0x0)return b['push']('No\x20risks\x20found.'),b['join']('\x0a');b['push']('##\x20Findings\x20(sorted\x20by\x20severity)'),b['push']('');for(const d of a['findings']){b['push']('-\x20**['+d['severity']+']\x20'+d['risk_rule_id']+'**\x20('+d['object_type']+'\x20/\x20'+d['entry_id']+')'),b['push']('\x20\x20-\x20'+d['message']),d['fix_suggestion']&&b['push']('\x20\x20-\x20Fix:\x20'+d['fix_suggestion']);}if(a['warnings']['length']>0x0){b['push'](''),b['push']('##\x20Warnings');for(const e of a['warnings'])b['push']('-\x20'+e);}return b['join']('\x0a');}

package/dist/project/rollback-policy.js

@@ -1,290 +1 @@
-import { existsSync, rmSync } from "fs";
-import { join } from "path";
-import { loadStageState, projectDir, rollbackStage as rollbackStageState, } from "./project-store.js";
-export const REVERSIBILITY_MATRIX = [
-    {
-        object_type: "permission",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Permission (unpublished): can add tables/admins freely",
-    },
-    {
-        object_type: "permission",
-        lifecycle_state: "referenced",
-        struct_reversible: "limited",
-        behavior_reversible: true,
-        gas_impact: "medium",
-        explanation: "Permission (referenced by published service): modifications limited — affects dependents",
-    },
-    {
-        object_type: "machine",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Machine (unpublished): can modify nodes/edges/forwards freely",
-    },
-    {
-        object_type: "machine",
-        lifecycle_state: "published",
-        struct_reversible: "immutable",
-        behavior_reversible: true,
-        gas_impact: "none",
-        explanation: "Machine (published): structure is immutable — can only advance progress",
-    },
-    {
-        object_type: "service",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Service (unpublished): can modify fields freely",
-    },
-    {
-        object_type: "service",
-        lifecycle_state: "published",
-        struct_reversible: "immutable",
-        behavior_reversible: true,
-        gas_impact: "none",
-        explanation: "Service (published): machine/order_allocators frozen — can still transact normally",
-    },
-    {
-        object_type: "guard",
-        lifecycle_state: "created",
-        struct_reversible: "immutable",
-        behavior_reversible: false,
-        gas_impact: "none",
-        explanation: "Guard: create-only semantics — immutable from creation",
-    },
-    {
-        object_type: "allocation",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Allocator (unbound): can modify strategy freely",
-    },
-    {
-        object_type: "allocation",
-        lifecycle_state: "bound",
-        struct_reversible: "limited",
-        behavior_reversible: true,
-        gas_impact: "medium",
-        explanation: "Allocator (bound to published service): strategy modifications limited",
-    },
-    {
-        object_type: "treasury",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Treasury: can modify rules freely",
-    },
-    {
-        object_type: "arb",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Arbitration: can modify rules freely",
-    },
-    {
-        object_type: "reward",
-        lifecycle_state: "created",
-        struct_reversible: "reversible",
-        behavior_reversible: true,
-        gas_impact: "low",
-        explanation: "Reward: can modify rules freely",
-    },
-    {
-        object_type: "progress",
-        lifecycle_state: "bound",
-        struct_reversible: "immutable",
-        behavior_reversible: true,
-        gas_impact: "none",
-        explanation: "Progress (bound to machine): cannot swap machine — can only forward",
-    },
-    {
-        object_type: "order",
-        lifecycle_state: "created",
-        struct_reversible: "immutable",
-        behavior_reversible: true,
-        gas_impact: "none",
-        explanation: "Order: structure immutable after creation — can only advance state",
-    },
-];
-export function queryReversibility(objectType, lifecycleState) {
-    return REVERSIBILITY_MATRIX.find((e) => e.object_type === objectType && e.lifecycle_state === lifecycleState);
-}
-export function getReversibilityForType(objectType) {
-    return REVERSIBILITY_MATRIX.filter((e) => e.object_type === objectType);
-}
-export function recommendIterationStrategy(prefix, version, currentStage) {
-    const state = loadStageState(prefix, version);
-    if (!state) {
-        return {
-            strategy: "in_place",
-            reason: "Project not initialized — no stage state found. Use in-place for new projects.",
-        };
-    }
-    if (state.has_published_object) {
-        const versionMatch = version.match(/^v(\d+)$/);
-        const nextVersionNum = versionMatch ? parseInt(versionMatch[1]) + 1 : 2;
-        const forkTo = `v${nextVersionNum}`;
-        return {
-            strategy: "fork",
-            reason: `Project has published on-chain objects — in-place modification would break running business. ` +
-                `Fork to ${forkTo} to preserve the original version as a read-only historical snapshot.`,
-            fork_to_version: forkTo,
-            published_objects: state.stage_meta[5]?.committed
-                ? ["see deployment/05-substeps/ for published object list"]
-                : [],
-        };
-    }
-    const stage = currentStage ?? state.stage;
-    return {
-        strategy: "in_place",
-        reason: `Project has no published objects (current stage: ${stage}). ` +
-            `Safe to modify the current version directly — all changes are local and reversible.`,
-    };
-}
-const STAGE_DIR_SUFFIXES = {
-    1: "01-namespace",
-    2: "02-puzzle",
-    3: "03-risk",
-    4: "04-steps",
-    5: "05-substeps",
-};
-export function evaluateRollbackPolicy(prefix, version, targetStage) {
-    const state = loadStageState(prefix, version);
-    if (!state) {
-        return {
-            allowed: false,
-            target_stage: targetStage,
-            current_stage: 1,
-            block_reason: `Project not initialized: ${prefix}_${version}`,
-            files_to_clean: [],
-            warnings: [],
-            iteration_strategy: {
-                strategy: "in_place",
-                reason: "Project not initialized.",
-            },
-        };
-    }
-    const currentStage = state.stage;
-    const iterationStrategy = recommendIterationStrategy(prefix, version, currentStage);
-    if (state.has_published_object) {
-        return {
-            allowed: false,
-            target_stage: targetStage,
-            current_stage: currentStage,
-            block_reason: `Project has published on-chain objects — rollback is forbidden (§3.3). ` +
-                `Use fork_project to create a new version for modifications.`,
-            files_to_clean: [],
-            warnings: [],
-            iteration_strategy: iterationStrategy,
-        };
-    }
-    if (targetStage >= currentStage) {
-        return {
-            allowed: false,
-            target_stage: targetStage,
-            current_stage: currentStage,
-            block_reason: `Target stage ${targetStage} must be less than current stage ${currentStage}.`,
-            files_to_clean: [],
-            warnings: [],
-            iteration_strategy: iterationStrategy,
-        };
-    }
-    if (targetStage < 1) {
-        return {
-            allowed: false,
-            target_stage: targetStage,
-            current_stage: currentStage,
-            block_reason: "Cannot rollback below stage 1.",
-            files_to_clean: [],
-            warnings: [],
-            iteration_strategy: iterationStrategy,
-        };
-    }
-    const filesToClean = [];
-    const warnings = [];
-    const depDir = join(projectDir(prefix, version), "deployment");
-    for (let s = targetStage + 1; s <= 5; s++) {
-        const stageDir = join(depDir, STAGE_DIR_SUFFIXES[s]);
-        if (existsSync(stageDir)) {
-            filesToClean.push(`deployment/${STAGE_DIR_SUFFIXES[s]}/`);
-        }
-    }
-    if (targetStage <= 2 && existsSync(depDir)) {
-        filesToClean.length = 0;
-        filesToClean.push("deployment/");
-    }
-    if (filesToClean.length > 0) {
-        warnings.push(`Rollback will delete ${filesToClean.length} file(s)/directory(ies): ${filesToClean.join(", ")}. ` +
-            `This data will be lost — regenerate by re-running the stage action.`);
-    }
-    return {
-        allowed: true,
-        target_stage: targetStage,
-        current_stage: currentStage,
-        files_to_clean: filesToClean,
-        warnings,
-        iteration_strategy: iterationStrategy,
-    };
-}
-export function rollbackStageWithPolicy(prefix, version, targetStage, reason) {
-    const policy = evaluateRollbackPolicy(prefix, version, targetStage);
-    if (!policy.allowed) {
-        return {
-            success: false,
-            target_stage: targetStage,
-            previous_stage: policy.current_stage,
-            files_to_clean: [],
-            files_cleaned: [],
-            stage_state: loadStageState(prefix, version),
-            warnings: [],
-            iteration_strategy: policy.iteration_strategy,
-            message: `Rollback blocked: ${policy.block_reason}`,
-        };
-    }
-    const filesCleaned = [];
-    const depDir = join(projectDir(prefix, version), "deployment");
-    if (policy.files_to_clean.includes("deployment/")) {
-        if (existsSync(depDir)) {
-            rmSync(depDir, { recursive: true, force: true });
-            filesCleaned.push("deployment/");
-        }
-    }
-    else {
-        for (const relPath of policy.files_to_clean) {
-            const absPath = join(projectDir(prefix, version), relPath);
-            if (existsSync(absPath)) {
-                rmSync(absPath, { recursive: true, force: true });
-                filesCleaned.push(relPath);
-            }
-        }
-    }
-    const newState = rollbackStageState(prefix, version, targetStage, {
-        reason: reason ?? `rollback to stage ${targetStage} (policy-evaluated)`,
-        affectedFiles: filesCleaned.length > 0 ? filesCleaned : ["stage.json"],
-    });
-    return {
-        success: true,
-        target_stage: targetStage,
-        previous_stage: policy.current_stage,
-        files_to_clean: policy.files_to_clean,
-        files_cleaned: filesCleaned,
-        stage_state: newState,
-        warnings: policy.warnings,
-        iteration_strategy: policy.iteration_strategy,
-        message: `Rolled back from stage ${policy.current_stage} to ${targetStage}. ` +
-            `${filesCleaned.length} file(s)/directory(ies) cleaned. ` +
-            `Stage state updated. ` +
-            (policy.iteration_strategy.strategy === "fork"
-                ? `Note: this project has published objects — future modifications require fork.`
-                : `Project has no published objects — in-place modification is safe.`),
-    };
-}
+import{existsSync,rmSync}from'fs';import{join}from'path';import{loadStageState,projectDir,rollbackStage as a233a}from'./project-store.js';export const REVERSIBILITY_MATRIX=[{'object_type':'permission','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Permission\x20(unpublished):\x20can\x20add\x20tables/admins\x20freely'},{'object_type':'permission','lifecycle_state':'referenced','struct_reversible':'limited','behavior_reversible':!![],'gas_impact':'medium','explanation':'Permission\x20(referenced\x20by\x20published\x20service):\x20modifications\x20limited\x20—\x20affects\x20dependents'},{'object_type':'machine','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Machine\x20(unpublished):\x20can\x20modify\x20nodes/edges/forwards\x20freely'},{'object_type':'machine','lifecycle_state':'published','struct_reversible':'immutable','behavior_reversible':!![],'gas_impact':'none','explanation':'Machine\x20(published):\x20structure\x20is\x20immutable\x20—\x20can\x20only\x20advance\x20progress'},{'object_type':'service','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Service\x20(unpublished):\x20can\x20modify\x20fields\x20freely'},{'object_type':'service','lifecycle_state':'published','struct_reversible':'immutable','behavior_reversible':!![],'gas_impact':'none','explanation':'Service\x20(published):\x20machine/order_allocators\x20frozen\x20—\x20can\x20still\x20transact\x20normally'},{'object_type':'guard','lifecycle_state':'created','struct_reversible':'immutable','behavior_reversible':![],'gas_impact':'none','explanation':'Guard:\x20create-only\x20semantics\x20—\x20immutable\x20from\x20creation'},{'object_type':'allocation','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Allocator\x20(unbound):\x20can\x20modify\x20strategy\x20freely'},{'object_type':'allocation','lifecycle_state':'bound','struct_reversible':'limited','behavior_reversible':!![],'gas_impact':'medium','explanation':'Allocator\x20(bound\x20to\x20published\x20service):\x20strategy\x20modifications\x20limited'},{'object_type':'treasury','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Treasury:\x20can\x20modify\x20rules\x20freely'},{'object_type':'arb','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Arbitration:\x20can\x20modify\x20rules\x20freely'},{'object_type':'reward','lifecycle_state':'created','struct_reversible':'reversible','behavior_reversible':!![],'gas_impact':'low','explanation':'Reward:\x20can\x20modify\x20rules\x20freely'},{'object_type':'progress','lifecycle_state':'bound','struct_reversible':'immutable','behavior_reversible':!![],'gas_impact':'none','explanation':'Progress\x20(bound\x20to\x20machine):\x20cannot\x20swap\x20machine\x20—\x20can\x20only\x20forward'},{'object_type':'order','lifecycle_state':'created','struct_reversible':'immutable','behavior_reversible':!![],'gas_impact':'none','explanation':'Order:\x20structure\x20immutable\x20after\x20creation\x20—\x20can\x20only\x20advance\x20state'}];export function queryReversibility(a,b){return REVERSIBILITY_MATRIX['find'](c=>c['object_type']===a&&c['lifecycle_state']===b);}export function getReversibilityForType(a){return REVERSIBILITY_MATRIX['filter'](b=>b['object_type']===a);}export function recommendIterationStrategy(a,b,c){const d=loadStageState(a,b);if(!d)return{'strategy':'in_place','reason':'Project\x20not\x20initialized\x20—\x20no\x20stage\x20state\x20found.\x20Use\x20in-place\x20for\x20new\x20projects.'};if(d['has_published_object']){const f=b['match'](/^v(\d+)$/),g=f?parseInt(f[0x1])+0x1:0x2,h='v'+g;return{'strategy':'fork','reason':'Project\x20has\x20published\x20on-chain\x20objects\x20—\x20in-place\x20modification\x20would\x20break\x20running\x20business.\x20'+('Fork\x20to\x20'+h+'\x20to\x20preserve\x20the\x20original\x20version\x20as\x20a\x20read-only\x20historical\x20snapshot.'),'fork_to_version':h,'published_objects':d['stage_meta'][0x5]?.['committed']?['see\x20deployment/05-substeps/\x20for\x20published\x20object\x20list']:[]};}const e=c??d['stage'];return{'strategy':'in_place','reason':'Project\x20has\x20no\x20published\x20objects\x20(current\x20stage:\x20'+e+').\x20'+'Safe\x20to\x20modify\x20the\x20current\x20version\x20directly\x20—\x20all\x20changes\x20are\x20local\x20and\x20reversible.'};}const STAGE_DIR_SUFFIXES={0x1:'01-namespace',0x2:'02-puzzle',0x3:'03-risk',0x4:'04-steps',0x5:'05-substeps'};export function evaluateRollbackPolicy(a,b,c){const d=loadStageState(a,b);if(!d)return{'allowed':![],'target_stage':c,'current_stage':0x1,'block_reason':'Project\x20not\x20initialized:\x20'+a+'_'+b,'files_to_clean':[],'warnings':[],'iteration_strategy':{'strategy':'in_place','reason':'Project\x20not\x20initialized.'}};const e=d['stage'],f=recommendIterationStrategy(a,b,e);if(d['has_published_object'])return{'allowed':![],'target_stage':c,'current_stage':e,'block_reason':'Project\x20has\x20published\x20on-chain\x20objects\x20—\x20rollback\x20is\x20forbidden\x20(§3.3).\x20'+'Use\x20fork_project\x20to\x20create\x20a\x20new\x20version\x20for\x20modifications.','files_to_clean':[],'warnings':[],'iteration_strategy':f};if(c>=e)return{'allowed':![],'target_stage':c,'current_stage':e,'block_reason':'Target\x20stage\x20'+c+'\x20must\x20be\x20less\x20than\x20current\x20stage\x20'+e+'.','files_to_clean':[],'warnings':[],'iteration_strategy':f};if(c<0x1)return{'allowed':![],'target_stage':c,'current_stage':e,'block_reason':'Cannot\x20rollback\x20below\x20stage\x201.','files_to_clean':[],'warnings':[],'iteration_strategy':f};const g=[],h=[],i=join(projectDir(a,b),'deployment');for(let j=c+0x1;j<=0x5;j++){const k=join(i,STAGE_DIR_SUFFIXES[j]);existsSync(k)&&g['push']('deployment/'+STAGE_DIR_SUFFIXES[j]+'/');}return c<=0x2&&existsSync(i)&&(g['length']=0x0,g['push']('deployment/')),g['length']>0x0&&h['push']('Rollback\x20will\x20delete\x20'+g['length']+'\x20file(s)/directory(ies):\x20'+g['join'](',\x20')+'.\x20'+'This\x20data\x20will\x20be\x20lost\x20—\x20regenerate\x20by\x20re-running\x20the\x20stage\x20action.'),{'allowed':!![],'target_stage':c,'current_stage':e,'files_to_clean':g,'warnings':h,'iteration_strategy':f};}export function rollbackStageWithPolicy(a,b,c,d){const e=evaluateRollbackPolicy(a,b,c);if(!e['allowed'])return{'success':![],'target_stage':c,'previous_stage':e['current_stage'],'files_to_clean':[],'files_cleaned':[],'stage_state':loadStageState(a,b),'warnings':[],'iteration_strategy':e['iteration_strategy'],'message':'Rollback\x20blocked:\x20'+e['block_reason']};const f=[],g=join(projectDir(a,b),'deployment');if(e['files_to_clean']['includes']('deployment/'))existsSync(g)&&(rmSync(g,{'recursive':!![],'force':!![]}),f['push']('deployment/'));else for(const i of e['files_to_clean']){const j=join(projectDir(a,b),i);existsSync(j)&&(rmSync(j,{'recursive':!![],'force':!![]}),f['push'](i));}const h=a233a(a,b,c,{'reason':d??'rollback\x20to\x20stage\x20'+c+'\x20(policy-evaluated)','affectedFiles':f['length']>0x0?f:['stage.json']});return{'success':!![],'target_stage':c,'previous_stage':e['current_stage'],'files_to_clean':e['files_to_clean'],'files_cleaned':f,'stage_state':h,'warnings':e['warnings'],'iteration_strategy':e['iteration_strategy'],'message':'Rolled\x20back\x20from\x20stage\x20'+e['current_stage']+'\x20to\x20'+c+'.\x20'+(f['length']+'\x20file(s)/directory(ies)\x20cleaned.\x20')+'Stage\x20state\x20updated.\x20'+(e['iteration_strategy']['strategy']==='fork'?'Note:\x20this\x20project\x20has\x20published\x20objects\x20—\x20future\x20modifications\x20require\x20fork.':'Project\x20has\x20no\x20published\x20objects\x20—\x20in-place\x20modification\x20is\x20safe.')};}