@wowok/agent-mcp 2.7.1 → 2.7.3

package/dist/knowledge/arbitration-confirm.js

@@ -1,559 +1 @@
-import { MAX_VOTING_GUARD_COUNT, } from "@wowok/wowok";
-import { isTerminalArbStatus, isValidArbStatusTransition, } from "./arbitration-ledger.js";
-import { assessArbitrationRisks, } from "./arbitration-risk.js";
-export const ARBITRATION_OPERATION_CHECKLIST = [
-    { id: "C-AB-01", description: "object field present (STRING for existing, OBJECT for new)", passed: false, message: "" },
-    { id: "C-AB-02", description: "coin_type valid for new Arbitration (e.g. 0x2::wow::WOW)", passed: false, message: "" },
-    { id: "C-AB-03", description: "permission_address valid (Contact/Permission object)", passed: false, message: "" },
-    { id: "C-AB-04", description: "fee (u64) non-negative; dispute fee >= Arbitration.fee", passed: false, message: "" },
-    { id: "C-AB-05", description: "voting_guard count <= MAX_VOTING_GUARD_COUNT (50)", passed: false, message: "" },
-    { id: "C-AB-06", description: "voting_guard no duplicate addresses", passed: false, message: "" },
-    { id: "C-AB-07", description: "Arb status transition valid (7-state flow)", passed: false, message: "" },
-    { id: "C-AB-08", description: "Operation allowed in current Arb status (not terminal-blocked)", passed: false, message: "" },
-    { id: "C-AB-09", description: "voting_guard / usage_guard dual-Guard coherent with operation", passed: false, message: "" },
-    { id: "C-AB-10", description: "VoteValue weight type valid (GuardIdentifier u8 / FixedValue u32)", passed: false, message: "" },
-    { id: "C-AB-11", description: "Order op permission verified (for dispute)", passed: false, message: "" },
-    { id: "C-AB-12", description: "Ownership transfer (builder) double-confirmed", passed: false, message: "" },
-];
-function runStaticChecklist(input) {
-    const items = ARBITRATION_OPERATION_CHECKLIST.map(c => ({ ...c }));
-    const data = input.arbitration_json;
-    const objValid = data.object !== undefined && data.object !== null;
-    const c01 = items.find(i => i.id === "C-AB-01");
-    c01.passed = objValid;
-    c01.message = objValid ? "" : "object field is required (STRING for existing, OBJECT for new)";
-    const c02 = items.find(i => i.id === "C-AB-02");
-    if (typeof data.object === "object" && data.object !== null) {
-        const obj = data.object;
-        const valid = !!obj.type_parameter && obj.type_parameter.includes("::");
-        c02.passed = valid;
-        c02.message = valid ? "" : "type_parameter must be a valid Coin type (e.g. 0x2::wow::WOW)";
-    }
-    else {
-        c02.passed = true;
-    }
-    const c03 = items.find(i => i.id === "C-AB-03");
-    if (typeof data.object === "object" && data.object !== null) {
-        const obj = data.object;
-        const valid = !!obj.permission;
-        c03.passed = valid;
-        c03.message = valid ? "" : "permission is required for new Arbitration";
-    }
-    else {
-        c03.passed = true;
-    }
-    const c04 = items.find(i => i.id === "C-AB-04");
-    if (data.fee !== undefined) {
-        const feeNum = typeof data.fee === "string" ? BigInt(data.fee) : BigInt(data.fee);
-        const valid = feeNum >= 0;
-        c04.passed = valid;
-        c04.message = valid ? "" : `fee ${data.fee} must be >= 0`;
-    }
-    else if (data.dispute && input.current_arbitration_fee !== undefined) {
-        const required = typeof input.current_arbitration_fee === "string"
-            ? BigInt(input.current_arbitration_fee)
-            : BigInt(input.current_arbitration_fee);
-        const provided = data.dispute.fee && typeof data.dispute.fee === "object" && "balance" in data.dispute.fee
-            ? BigInt(data.dispute.fee.balance ?? 0)
-            : BigInt(0);
-        const valid = provided >= required;
-        c04.passed = valid;
-        c04.message = valid ? "" : `dispute fee ${provided.toString()} < required ${required.toString()}`;
-    }
-    else {
-        c04.passed = true;
-    }
-    const c05 = items.find(i => i.id === "C-AB-05");
-    if (data.voting_guard && (data.voting_guard.op === "add" || data.voting_guard.op === "set") && data.voting_guard.guards) {
-        const newCount = data.voting_guard.op === "set"
-            ? data.voting_guard.guards.length
-            : (input.current_voting_guard_count ?? 0) + data.voting_guard.guards.length;
-        const valid = newCount <= MAX_VOTING_GUARD_COUNT;
-        c05.passed = valid;
-        c05.message = valid ? "" : `voting_guard count ${newCount} > ${MAX_VOTING_GUARD_COUNT}`;
-    }
-    else {
-        c05.passed = true;
-    }
-    const c06 = items.find(i => i.id === "C-AB-06");
-    if (data.voting_guard && (data.voting_guard.op === "add" || data.voting_guard.op === "set") && data.voting_guard.guards) {
-        const addrs = data.voting_guard.guards.map(g => g.guard);
-        const dupes = addrs.filter((a, i) => addrs.indexOf(a) !== i);
-        const valid = dupes.length === 0;
-        c06.passed = valid;
-        c06.message = valid ? "" : `Duplicate guards: ${dupes.join(", ")}`;
-    }
-    else {
-        c06.passed = true;
-    }
-    const c07 = items.find(i => i.id === "C-AB-07");
-    if (input.current_arb_status && input.expected_arb_status) {
-        if (input.current_arb_status === input.expected_arb_status) {
-            c07.passed = true;
-        }
-        else {
-            const valid = isValidArbStatusTransition(input.current_arb_status, input.expected_arb_status);
-            c07.passed = valid;
-            c07.message = valid ? "" : `Invalid transition: ${input.current_arb_status} → ${input.expected_arb_status}`;
-        }
-    }
-    else {
-        c07.passed = true;
-    }
-    const c08 = items.find(i => i.id === "C-AB-08");
-    if (input.current_arb_status && isTerminalArbStatus(input.current_arb_status)) {
-        const allowedOp = !!data.arb_withdraw;
-        const blockedOp = !!(data.vote || data.confirm || data.arbitration || data.reset || data.feedback);
-        const valid = allowedOp && !blockedOp;
-        c08.passed = valid;
-        c08.message = valid ? "" : `Terminal status ${input.current_arb_status} only allows arb_withdraw`;
-    }
-    else {
-        c08.passed = true;
-    }
-    const c09 = items.find(i => i.id === "C-AB-09");
-    if (data.vote && data.vote.voting_guard) {
-        if (!input.current_voting_guard_addresses || input.current_voting_guard_addresses.length === 0) {
-            c09.passed = false;
-            c09.message = "vote.voting_guard provided but Arbitration.voting_guard is empty";
-        }
-        else if (!input.current_voting_guard_addresses.includes(data.vote.voting_guard)) {
-            c09.passed = false;
-            c09.message = `vote.voting_guard ${data.vote.voting_guard} not in list`;
-        }
-        else {
-            c09.passed = true;
-        }
-    }
-    else if (data.vote && !data.vote.voting_guard && input.current_voting_guard_addresses && input.current_voting_guard_addresses.length > 0) {
-        c09.passed = false;
-        c09.message = "vote without voting_guard but Arbitration.voting_guard is non-empty (use vote_with_voting_guard)";
-    }
-    else {
-        c09.passed = true;
-    }
-    const c10 = items.find(i => i.id === "C-AB-10");
-    if (data.voting_guard && (data.voting_guard.op === "add" || data.voting_guard.op === "set") && data.voting_guard.guards) {
-        let valid = true;
-        let msg = "";
-        for (const g of data.voting_guard.guards) {
-            const vw = g.vote_weight;
-            if (!vw) {
-                valid = false;
-                msg = "Missing vote_weight";
-                break;
-            }
-            if ("GuardIdentifier" in vw && vw.GuardIdentifier !== undefined) {
-                if (vw.GuardIdentifier > 255) {
-                    valid = false;
-                    msg = `GuardIdentifier ${vw.GuardIdentifier} > u8 max (255)`;
-                    break;
-                }
-            }
-            if ("FixedValue" in vw && vw.FixedValue !== undefined) {
-                if (vw.FixedValue > 4294967295) {
-                    valid = false;
-                    msg = `FixedValue ${vw.FixedValue} > u32 max`;
-                    break;
-                }
-            }
-        }
-        c10.passed = valid;
-        c10.message = msg;
-    }
-    else {
-        c10.passed = true;
-    }
-    const c11 = items.find(i => i.id === "C-AB-11");
-    if (data.dispute) {
-        c11.passed = false;
-        c11.message = "Pending environment verification (Layer 4)";
-    }
-    else {
-        c11.passed = true;
-    }
-    const c12 = items.find(i => i.id === "C-AB-12");
-    if (data.builder) {
-        c12.passed = false;
-        c12.message = "Pending user confirmation in Layer 3";
-    }
-    else {
-        c12.passed = true;
-    }
-    return {
-        all_passed: items.filter(i => i.id !== "C-AB-11" && i.id !== "C-AB-12").every(i => i.passed),
-        items,
-    };
-}
-function adaptRiskAssessment(input) {
-    const ctx = {
-        object: typeof input.arbitration_json.object === "string" ? input.arbitration_json.object : null,
-        description: input.arbitration_json.description,
-        location: input.arbitration_json.location,
-        fee: input.arbitration_json.fee,
-        pause: input.arbitration_json.pause,
-        dispute: input.arbitration_json.dispute,
-        confirm: input.arbitration_json.confirm,
-        voting_deadline_change: input.arbitration_json.voting_deadline_change,
-        vote: input.arbitration_json.vote,
-        feedback: input.arbitration_json.feedback,
-        arbitration: input.arbitration_json.arbitration,
-        reset: input.arbitration_json.reset,
-        arb_withdraw: input.arbitration_json.arb_withdraw,
-        fees_transfer: input.arbitration_json.fees_transfer,
-        usage_guard: input.arbitration_json.usage_guard,
-        voting_guard: input.arbitration_json.voting_guard,
-        um: input.arbitration_json.um,
-        builder: input.arbitration_json.builder,
-        current_arb_status: input.current_arb_status,
-        expected_arb_status: input.expected_arb_status,
-        current_voting_guard_count: input.current_voting_guard_count,
-        current_voting_guard_addresses: input.current_voting_guard_addresses,
-        current_arbitration_fee: input.current_arbitration_fee,
-        current_bPaused: input.current_bPaused,
-        current_timestamp_ms: input.current_timestamp_ms,
-        target_objects_types: input.target_objects_types,
-    };
-    return assessArbitrationRisks(ctx);
-}
-export const ARBITRATION_CONFIRMATION_QUESTIONS = [
-    {
-        id: "QAB1",
-        question: "Are all arbiter/voter addresses correctly granted ARBITRATION_VOTE (358) on the Permission object?",
-        requires_explicit_yes: true,
-    },
-    {
-        id: "QAB2",
-        question: "Is the voting_guard configuration correct? (Each guard address is a valid Guard object that arbiters can submit Passport for)",
-        requires_explicit_yes: true,
-        related_risk_ids: ["R-AB-2-01"],
-    },
-    {
-        id: "QAB3",
-        question: "If filing a dispute: have you verified the Order op permission (signer must have Order's dispute permission)?",
-        requires_explicit_yes: true,
-        related_risk_ids: ["R-AB-5-02"],
-    },
-    {
-        id: "QAB4",
-        question: "If making a ruling (arbitration op): is the indemnity amount correct? This will be paid via order::compensate (IRREVERSIBLE).",
-        requires_explicit_yes: true,
-        related_risk_ids: ["R-AB-3-03"],
-    },
-    {
-        id: "QAB5",
-        question: "⚠️ If transferring ownership (builder field): do you confirm the new owner address is correct? This operation is IRREVERSIBLE.",
-        requires_explicit_yes: true,
-        related_risk_ids: ["R-AB-3-02"],
-    },
-    {
-        id: "QAB6",
-        question: "If allocating fees (fees_transfer): have you verified the destination Allocation/Treasury has a fair distribution policy for arbiters?",
-        requires_explicit_yes: true,
-        related_risk_ids: ["R-AB-5-01"],
-    },
-];
-function processUserConfirmation(input, assessment) {
-    const questions = [...ARBITRATION_CONFIRMATION_QUESTIONS];
-    if (!input.arbitration_json.dispute) {
-        const idx = questions.findIndex(q => q.id === "QAB3");
-        if (idx >= 0)
-            questions.splice(idx, 1);
-    }
-    if (!input.arbitration_json.arbitration) {
-        const idx = questions.findIndex(q => q.id === "QAB4");
-        if (idx >= 0)
-            questions.splice(idx, 1);
-    }
-    if (!input.arbitration_json.builder) {
-        const idx = questions.findIndex(q => q.id === "QAB5");
-        if (idx >= 0)
-            questions.splice(idx, 1);
-    }
-    if (!input.arbitration_json.fees_transfer) {
-        const idx = questions.findIndex(q => q.id === "QAB6");
-        if (idx >= 0)
-            questions.splice(idx, 1);
-    }
-    if (input.skip_user_confirmation) {
-        return {
-            questions_asked: questions,
-            responses: questions.map(q => ({ question_id: q.id, response: "yes" })),
-            all_confirmed: true,
-        };
-    }
-    return {
-        questions_asked: questions,
-        responses: [],
-        all_confirmed: false,
-    };
-}
-function verifyEnvironment(input) {
-    const checks = [];
-    if (typeof input.arbitration_json.object === "string") {
-        checks.push({
-            name: "object_exists",
-            passed: true,
-            message: `Arbitration object ${input.arbitration_json.object} assumed to exist`,
-        });
-    }
-    const op = input.arbitration_json;
-    const requiresPerm = !!(op.description || op.location || op.fee || op.pause || op.confirm ||
-        op.vote || op.feedback || op.arbitration || op.reset || op.arb_withdraw ||
-        op.fees_transfer || op.usage_guard !== undefined || op.voting_guard ||
-        op.um !== undefined);
-    if (requiresPerm) {
-        checks.push({
-            name: "signer_has_permission",
-            passed: true,
-            message: "Signer must have the relevant ARBITRATION_* permission index (350-368)",
-        });
-    }
-    const arbOp = op.confirm || op.vote || op.feedback || op.arbitration || op.reset || op.arb_withdraw;
-    if (arbOp) {
-        checks.push({
-            name: "arb_belongs_to_arbitration",
-            passed: true,
-            message: "Arb.arbitration_address must match this Arbitration (else E_ARBITRATION_ARB_NOT_MATCH)",
-        });
-    }
-    if (op.dispute) {
-        checks.push({
-            name: "order_op_permission",
-            passed: false,
-            message: `Signer must have Order ${op.dispute.order} dispute operation permission`,
-        });
-    }
-    if (op.dispute && input.current_bPaused !== undefined) {
-        checks.push({
-            name: "arbitration_not_paused",
-            passed: !input.current_bPaused,
-            message: input.current_bPaused ? "Arbitration is paused — dispute will fail (E_PAUSED)" : "OK",
-        });
-    }
-    if (op.vote && input.current_timestamp_ms !== undefined && input.current_arb_status === "Voting") {
-        checks.push({
-            name: "voting_deadline_not_expired",
-            passed: true,
-            message: "Verify Arb.voting_deadline > current time (else vote rejected)",
-        });
-    }
-    const allPassed = checks.every(c => c.passed);
-    return { passed: allPassed, checks };
-}
-export const ARBITRATION_CONFIRM_VERSION = "1.0.0";
-export function runArbitrationConfirmGate(input) {
-    const layersPassed = [];
-    const layersFailed = [];
-    const checklist = runStaticChecklist(input);
-    if (!checklist.all_passed) {
-        layersFailed.push("L1_checklist");
-        return {
-            status: "blocked_checklist",
-            checklist_result: checklist,
-            confirmation_text: generateConfirmationText(input, checklist),
-            block_reason: `Checklist failed: ${checklist.items.filter(i => !i.passed && i.id !== "C-AB-11" && i.id !== "C-AB-12").map(i => i.id).join(", ")}`,
-            decision_record: {
-                timestamp: new Date().toISOString(),
-                gate_version: ARBITRATION_CONFIRM_VERSION,
-                final_status: "blocked_checklist",
-                layers_passed: layersPassed,
-                layers_failed: layersFailed,
-            },
-        };
-    }
-    layersPassed.push("L1_checklist");
-    const assessment = adaptRiskAssessment(input);
-    const hasCritical = assessment.risks.some(r => r.level === "CRITICAL");
-    if (hasCritical) {
-        layersFailed.push("L2_risk");
-        return {
-            status: "blocked_risk",
-            checklist_result: checklist,
-            risk_result: assessment,
-            confirmation_text: generateConfirmationText(input, checklist, assessment),
-            block_reason: `CRITICAL risks: ${assessment.risks.filter(r => r.level === "CRITICAL").map(r => r.id).join(", ")}`,
-            decision_record: {
-                timestamp: new Date().toISOString(),
-                gate_version: ARBITRATION_CONFIRM_VERSION,
-                final_status: "blocked_risk",
-                layers_passed: layersPassed,
-                layers_failed: layersFailed,
-            },
-        };
-    }
-    layersPassed.push("L2_risk");
-    const userConf = processUserConfirmation(input, assessment);
-    if (!userConf.all_confirmed) {
-        if (input.arbitration_json.builder) {
-            const cab12 = checklist.items.find(i => i.id === "C-AB-12");
-            if (cab12) {
-                const qab5 = userConf.responses.find(r => r.question_id === "QAB5");
-                cab12.passed = qab5?.response === "yes";
-                cab12.message = cab12.passed ? "" : "Transfer not confirmed by user";
-            }
-        }
-        if (input.arbitration_json.builder) {
-            const cab12 = checklist.items.find(i => i.id === "C-AB-12");
-            if (cab12 && !cab12.passed) {
-                layersFailed.push("L3_user");
-                return {
-                    status: "blocked_user",
-                    checklist_result: checklist,
-                    risk_result: assessment,
-                    user_confirmation: userConf,
-                    confirmation_text: generateConfirmationText(input, checklist, assessment),
-                    block_reason: "User did not confirm ownership transfer",
-                    decision_record: {
-                        timestamp: new Date().toISOString(),
-                        gate_version: ARBITRATION_CONFIRM_VERSION,
-                        final_status: "blocked_user",
-                        layers_passed: layersPassed,
-                        layers_failed: layersFailed,
-                    },
-                };
-            }
-        }
-    }
-    layersPassed.push("L3_user");
-    if (input.skip_environment_check) {
-        layersPassed.push("L4_environment");
-    }
-    else {
-        const env = verifyEnvironment(input);
-        if (!env.passed) {
-            layersFailed.push("L4_environment");
-            return {
-                status: "blocked_environment",
-                checklist_result: checklist,
-                risk_result: assessment,
-                user_confirmation: userConf,
-                environment_result: env,
-                confirmation_text: generateConfirmationText(input, checklist, assessment),
-                block_reason: `Environment check failed: ${env.checks.filter(c => !c.passed).map(c => c.name).join(", ")}`,
-                decision_record: {
-                    timestamp: new Date().toISOString(),
-                    gate_version: ARBITRATION_CONFIRM_VERSION,
-                    final_status: "blocked_environment",
-                    layers_passed: layersPassed,
-                    layers_failed: layersFailed,
-                },
-            };
-        }
-        layersPassed.push("L4_environment");
-    }
-    return {
-        status: "approved",
-        checklist_result: checklist,
-        risk_result: assessment,
-        user_confirmation: userConf,
-        confirmation_text: generateConfirmationText(input, checklist, assessment),
-        decision_record: {
-            timestamp: new Date().toISOString(),
-            gate_version: ARBITRATION_CONFIRM_VERSION,
-            final_status: "approved",
-            layers_passed: layersPassed,
-            layers_failed: layersFailed,
-        },
-    };
-}
-function generateConfirmationText(input, checklist, assessment) {
-    const lines = [];
-    const data = input.arbitration_json;
-    lines.push("═══ Arbitration Confirmation ═══");
-    lines.push("");
-    if (typeof data.object === "string") {
-        lines.push(`Arbitration: ${data.object}`);
-    }
-    else if (typeof data.object === "object" && data.object !== null) {
-        const obj = data.object;
-        lines.push(`Arbitration: NEW '${obj.name ?? "?"}' (T=${obj.type_parameter ?? "?"})`);
-    }
-    else {
-        lines.push("Arbitration: (not specified)");
-    }
-    if (data.description)
-        lines.push(`Description: ${data.description}`);
-    if (input.current_arb_status)
-        lines.push(`Current Arb status: ${input.current_arb_status}`);
-    if (input.expected_arb_status)
-        lines.push(`Expected Arb status: ${input.expected_arb_status}`);
-    lines.push("");
-    lines.push("─ Checklist ──────────────────");
-    for (const item of checklist.items) {
-        const mark = item.passed ? "✓" : "✗";
-        lines.push(`  ${mark} ${item.id}: ${item.description}${item.message ? " — " + item.message : ""}`);
-    }
-    lines.push("");
-    if (assessment) {
-        lines.push("─ Risk Assessment ──────────────────");
-        lines.push(`Overall: ${assessment.overall_risk}`);
-        lines.push(`Detected: ${assessment.risks.length} risk(s)`);
-        for (const r of assessment.risks) {
-            lines.push(`  [${r.level}] ${r.id}: ${r.title}`);
-        }
-        lines.push("");
-    }
-    lines.push("─ Operations ──────────────────");
-    if (data.dispute)
-        lines.push(`- DISPUTE on Order ${data.dispute.order} (${data.dispute.proposition.length} propositions)`);
-    if (data.confirm)
-        lines.push(`- CONFIRM Arb ${data.confirm.arb} (deadline=${data.confirm.voting_deadline ?? "none"})`);
-    if (data.vote)
-        lines.push(`- VOTE on Arb ${data.vote.arb} (${data.vote.voting_guard ? "weighted" : "open"})`);
-    if (data.feedback)
-        lines.push(`- FEEDBACK on Arb ${data.feedback.arb}`);
-    if (data.arbitration)
-        lines.push(`- ⚖️ RULING on Arb ${data.arbitration.arb} (indemnity=${data.arbitration.indemnity})`);
-    if (data.reset)
-        lines.push(`- ↻ RESET Arb ${data.reset.arb}`);
-    if (data.arb_withdraw)
-        lines.push(`- WITHDRAW from Arb ${data.arb_withdraw.arb}`);
-    if (data.fees_transfer) {
-        const dest = data.fees_transfer.to.allocation ? `Allocation ${data.fees_transfer.to.allocation}` : `Treasury ${data.fees_transfer.to.treasury}`;
-        lines.push(`- 💰 FEES → ${dest}`);
-    }
-    if (data.voting_guard)
-        lines.push(`- voting_guard ${data.voting_guard.op}`);
-    if (data.usage_guard !== undefined)
-        lines.push(`- usage_guard: ${data.usage_guard ?? "clear"}`);
-    if (data.builder)
-        lines.push(`- ⚠️ TRANSFER to: ${data.builder}`);
-    if (data.um !== undefined)
-        lines.push(`- UM: ${data.um ?? "(revoke)"}`);
-    lines.push("");
-    return lines.join("\n");
-}
-export function progressiveArbitrationCheck(input) {
-    const checklist = runStaticChecklist(input);
-    if (!checklist.all_passed) {
-        return {
-            stage: "checklist",
-            status: "fail",
-            message: `Checklist failed: ${checklist.items.filter(i => !i.passed && i.id !== "C-AB-11" && i.id !== "C-AB-12").map(i => i.id).join(", ")}`,
-            next_action: "Fix failing checklist items",
-        };
-    }
-    const assessment = adaptRiskAssessment(input);
-    if (assessment.risks.some(r => r.level === "CRITICAL")) {
-        return {
-            stage: "risk",
-            status: "fail",
-            message: `CRITICAL risks: ${assessment.risks.filter(r => r.level === "CRITICAL").map(r => r.id).join(", ")}`,
-            next_action: "Resolve CRITICAL risks before proceeding",
-        };
-    }
-    if (assessment.needs_human_review) {
-        return {
-            stage: "confirmation",
-            status: "pending",
-            message: "Human review required for HIGH risks",
-            next_action: "Confirm risk acceptance",
-        };
-    }
-    return {
-        stage: "complete",
-        status: "pass",
-        message: "All checks passed",
-    };
-}
+import{MAX_VOTING_GUARD_COUNT}from'@wowok/wowok';import{isTerminalArbStatus,isValidArbStatusTransition}from'./arbitration-ledger.js';import{assessArbitrationRisks}from'./arbitration-risk.js';export const ARBITRATION_OPERATION_CHECKLIST=[{'id':'C-AB-01','description':'object\x20field\x20present\x20(STRING\x20for\x20existing,\x20OBJECT\x20for\x20new)','passed':![],'message':''},{'id':'C-AB-02','description':'coin_type\x20valid\x20for\x20new\x20Arbitration\x20(e.g.\x200x2::wow::WOW)','passed':![],'message':''},{'id':'C-AB-03','description':'permission_address\x20valid\x20(Contact/Permission\x20object)','passed':![],'message':''},{'id':'C-AB-04','description':'fee\x20(u64)\x20non-negative;\x20dispute\x20fee\x20>=\x20Arbitration.fee','passed':![],'message':''},{'id':'C-AB-05','description':'voting_guard\x20count\x20<=\x20MAX_VOTING_GUARD_COUNT\x20(50)','passed':![],'message':''},{'id':'C-AB-06','description':'voting_guard\x20no\x20duplicate\x20addresses','passed':![],'message':''},{'id':'C-AB-07','description':'Arb\x20status\x20transition\x20valid\x20(7-state\x20flow)','passed':![],'message':''},{'id':'C-AB-08','description':'Operation\x20allowed\x20in\x20current\x20Arb\x20status\x20(not\x20terminal-blocked)','passed':![],'message':''},{'id':'C-AB-09','description':'voting_guard\x20/\x20usage_guard\x20dual-Guard\x20coherent\x20with\x20operation','passed':![],'message':''},{'id':'C-AB-10','description':'VoteValue\x20weight\x20type\x20valid\x20(GuardIdentifier\x20u8\x20/\x20FixedValue\x20u32)','passed':![],'message':''},{'id':'C-AB-11','description':'Order\x20op\x20permission\x20verified\x20(for\x20dispute)','passed':![],'message':''},{'id':'C-AB-12','description':'Ownership\x20transfer\x20(builder)\x20double-confirmed','passed':![],'message':''}];function runStaticChecklist(a){const b=ARBITRATION_OPERATION_CHECKLIST['map'](r=>({...r})),c=a['arbitration_json'],d=c['object']!==undefined&&c['object']!==null,e=b['find'](r=>r['id']==='C-AB-01');e['passed']=d,e['message']=d?'':'object\x20field\x20is\x20required\x20(STRING\x20for\x20existing,\x20OBJECT\x20for\x20new)';const f=b['find'](r=>r['id']==='C-AB-02');if(typeof c['object']==='object'&&c['object']!==null){const r=c['object'],s=!!r['type_parameter']&&r['type_parameter']['includes']('::');f['passed']=s,f['message']=s?'':'type_parameter\x20must\x20be\x20a\x20valid\x20Coin\x20type\x20(e.g.\x200x2::wow::WOW)';}else f['passed']=!![];const h=b['find'](t=>t['id']==='C-AB-03');if(typeof c['object']==='object'&&c['object']!==null){const t=c['object'],u=!!t['permission'];h['passed']=u,h['message']=u?'':'permission\x20is\x20required\x20for\x20new\x20Arbitration';}else h['passed']=!![];const i=b['find'](v=>v['id']==='C-AB-04');if(c['fee']!==undefined){const v=typeof c['fee']==='string'?BigInt(c['fee']):BigInt(c['fee']),w=v>=0x0;i['passed']=w,i['message']=w?'':'fee\x20'+c['fee']+'\x20must\x20be\x20>=\x200';}else{if(c['dispute']&&a['current_arbitration_fee']!==undefined){const x=typeof a['current_arbitration_fee']==='string'?BigInt(a['current_arbitration_fee']):BigInt(a['current_arbitration_fee']),y=c['dispute']['fee']&&typeof c['dispute']['fee']==='object'&&'balance'in c['dispute']['fee']?BigInt(c['dispute']['fee']['balance']??0x0):BigInt(0x0),z=y>=x;i['passed']=z,i['message']=z?'':'dispute\x20fee\x20'+y['toString']()+'\x20<\x20required\x20'+x['toString']();}else i['passed']=!![];}const j=b['find'](A=>A['id']==='C-AB-05');if(c['voting_guard']&&(c['voting_guard']['op']==='add'||c['voting_guard']['op']==='set')&&c['voting_guard']['guards']){const A=c['voting_guard']['op']==='set'?c['voting_guard']['guards']['length']:(a['current_voting_guard_count']??0x0)+c['voting_guard']['guards']['length'],B=A<=MAX_VOTING_GUARD_COUNT;j['passed']=B,j['message']=B?'':'voting_guard\x20count\x20'+A+'\x20>\x20'+MAX_VOTING_GUARD_COUNT;}else j['passed']=!![];const k=b['find'](C=>C['id']==='C-AB-06');if(c['voting_guard']&&(c['voting_guard']['op']==='add'||c['voting_guard']['op']==='set')&&c['voting_guard']['guards']){const C=c['voting_guard']['guards']['map'](F=>F['guard']),D=C['filter']((F,G)=>C['indexOf'](F)!==G),E=D['length']===0x0;k['passed']=E,k['message']=E?'':'Duplicate\x20guards:\x20'+D['join'](',\x20');}else k['passed']=!![];const l=b['find'](F=>F['id']==='C-AB-07');if(a['current_arb_status']&&a['expected_arb_status']){if(a['current_arb_status']===a['expected_arb_status'])l['passed']=!![];else{const F=isValidArbStatusTransition(a['current_arb_status'],a['expected_arb_status']);l['passed']=F,l['message']=F?'':'Invalid\x20transition:\x20'+a['current_arb_status']+'\x20→\x20'+a['expected_arb_status'];}}else l['passed']=!![];const m=b['find'](G=>G['id']==='C-AB-08');if(a['current_arb_status']&&isTerminalArbStatus(a['current_arb_status'])){const G=!!c['arb_withdraw'],H=!!(c['vote']||c['confirm']||c['arbitration']||c['reset']||c['feedback']),I=G&&!H;m['passed']=I,m['message']=I?'':'Terminal\x20status\x20'+a['current_arb_status']+'\x20only\x20allows\x20arb_withdraw';}else m['passed']=!![];const n=b['find'](J=>J['id']==='C-AB-09');if(c['vote']&&c['vote']['voting_guard']){if(!a['current_voting_guard_addresses']||a['current_voting_guard_addresses']['length']===0x0)n['passed']=![],n['message']='vote.voting_guard\x20provided\x20but\x20Arbitration.voting_guard\x20is\x20empty';else!a['current_voting_guard_addresses']['includes'](c['vote']['voting_guard'])?(n['passed']=![],n['message']='vote.voting_guard\x20'+c['vote']['voting_guard']+'\x20not\x20in\x20list'):n['passed']=!![];}else c['vote']&&!c['vote']['voting_guard']&&a['current_voting_guard_addresses']&&a['current_voting_guard_addresses']['length']>0x0?(n['passed']=![],n['message']='vote\x20without\x20voting_guard\x20but\x20Arbitration.voting_guard\x20is\x20non-empty\x20(use\x20vote_with_voting_guard)'):n['passed']=!![];const o=b['find'](J=>J['id']==='C-AB-10');if(c['voting_guard']&&(c['voting_guard']['op']==='add'||c['voting_guard']['op']==='set')&&c['voting_guard']['guards']){let J=!![],K='';for(const L of c['voting_guard']['guards']){const M=L['vote_weight'];if(!M){J=![],K='Missing\x20vote_weight';break;}if('GuardIdentifier'in M&&M['GuardIdentifier']!==undefined){if(M['GuardIdentifier']>0xff){J=![],K='GuardIdentifier\x20'+M['GuardIdentifier']+'\x20>\x20u8\x20max\x20(255)';break;}}if('FixedValue'in M&&M['FixedValue']!==undefined){if(M['FixedValue']>0xffffffff){J=![],K='FixedValue\x20'+M['FixedValue']+'\x20>\x20u32\x20max';break;}}}o['passed']=J,o['message']=K;}else o['passed']=!![];const p=b['find'](N=>N['id']==='C-AB-11');c['dispute']?(p['passed']=![],p['message']='Pending\x20environment\x20verification\x20(Layer\x204)'):p['passed']=!![];const q=b['find'](N=>N['id']==='C-AB-12');return c['builder']?(q['passed']=![],q['message']='Pending\x20user\x20confirmation\x20in\x20Layer\x203'):q['passed']=!![],{'all_passed':b['filter'](N=>N['id']!=='C-AB-11'&&N['id']!=='C-AB-12')['every'](N=>N['passed']),'items':b};}function adaptRiskAssessment(a){const b={'object':typeof a['arbitration_json']['object']==='string'?a['arbitration_json']['object']:null,'description':a['arbitration_json']['description'],'location':a['arbitration_json']['location'],'fee':a['arbitration_json']['fee'],'pause':a['arbitration_json']['pause'],'dispute':a['arbitration_json']['dispute'],'confirm':a['arbitration_json']['confirm'],'voting_deadline_change':a['arbitration_json']['voting_deadline_change'],'vote':a['arbitration_json']['vote'],'feedback':a['arbitration_json']['feedback'],'arbitration':a['arbitration_json']['arbitration'],'reset':a['arbitration_json']['reset'],'arb_withdraw':a['arbitration_json']['arb_withdraw'],'fees_transfer':a['arbitration_json']['fees_transfer'],'usage_guard':a['arbitration_json']['usage_guard'],'voting_guard':a['arbitration_json']['voting_guard'],'um':a['arbitration_json']['um'],'builder':a['arbitration_json']['builder'],'current_arb_status':a['current_arb_status'],'expected_arb_status':a['expected_arb_status'],'current_voting_guard_count':a['current_voting_guard_count'],'current_voting_guard_addresses':a['current_voting_guard_addresses'],'current_arbitration_fee':a['current_arbitration_fee'],'current_bPaused':a['current_bPaused'],'current_timestamp_ms':a['current_timestamp_ms'],'target_objects_types':a['target_objects_types']};return assessArbitrationRisks(b);}export const ARBITRATION_CONFIRMATION_QUESTIONS=[{'id':'QAB1','question':'Are\x20all\x20arbiter/voter\x20addresses\x20correctly\x20granted\x20ARBITRATION_VOTE\x20(358)\x20on\x20the\x20Permission\x20object?','requires_explicit_yes':!![]},{'id':'QAB2','question':'Is\x20the\x20voting_guard\x20configuration\x20correct?\x20(Each\x20guard\x20address\x20is\x20a\x20valid\x20Guard\x20object\x20that\x20arbiters\x20can\x20submit\x20Passport\x20for)','requires_explicit_yes':!![],'related_risk_ids':['R-AB-2-01']},{'id':'QAB3','question':'If\x20filing\x20a\x20dispute:\x20have\x20you\x20verified\x20the\x20Order\x20op\x20permission\x20(signer\x20must\x20have\x20Order\x27s\x20dispute\x20permission)?','requires_explicit_yes':!![],'related_risk_ids':['R-AB-5-02']},{'id':'QAB4','question':'If\x20making\x20a\x20ruling\x20(arbitration\x20op):\x20is\x20the\x20indemnity\x20amount\x20correct?\x20This\x20will\x20be\x20paid\x20via\x20order::compensate\x20(IRREVERSIBLE).','requires_explicit_yes':!![],'related_risk_ids':['R-AB-3-03']},{'id':'QAB5','question':'⚠️\x20If\x20transferring\x20ownership\x20(builder\x20field):\x20do\x20you\x20confirm\x20the\x20new\x20owner\x20address\x20is\x20correct?\x20This\x20operation\x20is\x20IRREVERSIBLE.','requires_explicit_yes':!![],'related_risk_ids':['R-AB-3-02']},{'id':'QAB6','question':'If\x20allocating\x20fees\x20(fees_transfer):\x20have\x20you\x20verified\x20the\x20destination\x20Allocation/Treasury\x20has\x20a\x20fair\x20distribution\x20policy\x20for\x20arbiters?','requires_explicit_yes':!![],'related_risk_ids':['R-AB-5-01']}];function processUserConfirmation(a,b){const c=[...ARBITRATION_CONFIRMATION_QUESTIONS];if(!a['arbitration_json']['dispute']){const d=c['findIndex'](e=>e['id']==='QAB3');if(d>=0x0)c['splice'](d,0x1);}if(!a['arbitration_json']['arbitration']){const e=c['findIndex'](f=>f['id']==='QAB4');if(e>=0x0)c['splice'](e,0x1);}if(!a['arbitration_json']['builder']){const f=c['findIndex'](g=>g['id']==='QAB5');if(f>=0x0)c['splice'](f,0x1);}if(!a['arbitration_json']['fees_transfer']){const g=c['findIndex'](h=>h['id']==='QAB6');if(g>=0x0)c['splice'](g,0x1);}if(a['skip_user_confirmation'])return{'questions_asked':c,'responses':c['map'](h=>({'question_id':h['id'],'response':'yes'})),'all_confirmed':!![]};return{'questions_asked':c,'responses':[],'all_confirmed':![]};}function verifyEnvironment(a){const b=[];typeof a['arbitration_json']['object']==='string'&&b['push']({'name':'object_exists','passed':!![],'message':'Arbitration\x20object\x20'+a['arbitration_json']['object']+'\x20assumed\x20to\x20exist'});const c=a['arbitration_json'],d=!!(c['description']||c['location']||c['fee']||c['pause']||c['confirm']||c['vote']||c['feedback']||c['arbitration']||c['reset']||c['arb_withdraw']||c['fees_transfer']||c['usage_guard']!==undefined||c['voting_guard']||c['um']!==undefined);d&&b['push']({'name':'signer_has_permission','passed':!![],'message':'Signer\x20must\x20have\x20the\x20relevant\x20ARBITRATION_*\x20permission\x20index\x20(350-368)'});const e=c['confirm']||c['vote']||c['feedback']||c['arbitration']||c['reset']||c['arb_withdraw'];e&&b['push']({'name':'arb_belongs_to_arbitration','passed':!![],'message':'Arb.arbitration_address\x20must\x20match\x20this\x20Arbitration\x20(else\x20E_ARBITRATION_ARB_NOT_MATCH)'});c['dispute']&&b['push']({'name':'order_op_permission','passed':![],'message':'Signer\x20must\x20have\x20Order\x20'+c['dispute']['order']+'\x20dispute\x20operation\x20permission'});c['dispute']&&a['current_bPaused']!==undefined&&b['push']({'name':'arbitration_not_paused','passed':!a['current_bPaused'],'message':a['current_bPaused']?'Arbitration\x20is\x20paused\x20—\x20dispute\x20will\x20fail\x20(E_PAUSED)':'OK'});c['vote']&&a['current_timestamp_ms']!==undefined&&a['current_arb_status']==='Voting'&&b['push']({'name':'voting_deadline_not_expired','passed':!![],'message':'Verify\x20Arb.voting_deadline\x20>\x20current\x20time\x20(else\x20vote\x20rejected)'});const f=b['every'](g=>g['passed']);return{'passed':f,'checks':b};}export const ARBITRATION_CONFIRM_VERSION='1.0.0';export function runArbitrationConfirmGate(a){const b=[],c=[],d=runStaticChecklist(a);if(!d['all_passed'])return c['push']('L1_checklist'),{'status':'blocked_checklist','checklist_result':d,'confirmation_text':generateConfirmationText(a,d),'block_reason':'Checklist\x20failed:\x20'+d['items']['filter'](h=>!h['passed']&&h['id']!=='C-AB-11'&&h['id']!=='C-AB-12')['map'](h=>h['id'])['join'](',\x20'),'decision_record':{'timestamp':new Date()['toISOString'](),'gate_version':ARBITRATION_CONFIRM_VERSION,'final_status':'blocked_checklist','layers_passed':b,'layers_failed':c}};b['push']('L1_checklist');const e=adaptRiskAssessment(a),f=e['risks']['some'](h=>h['level']==='CRITICAL');if(f)return c['push']('L2_risk'),{'status':'blocked_risk','checklist_result':d,'risk_result':e,'confirmation_text':generateConfirmationText(a,d,e),'block_reason':'CRITICAL\x20risks:\x20'+e['risks']['filter'](h=>h['level']==='CRITICAL')['map'](h=>h['id'])['join'](',\x20'),'decision_record':{'timestamp':new Date()['toISOString'](),'gate_version':ARBITRATION_CONFIRM_VERSION,'final_status':'blocked_risk','layers_passed':b,'layers_failed':c}};b['push']('L2_risk');const g=processUserConfirmation(a,e);if(!g['all_confirmed']){if(a['arbitration_json']['builder']){const h=d['items']['find'](j=>j['id']==='C-AB-12');if(h){const i=g['responses']['find'](j=>j['question_id']==='QAB5');h['passed']=i?.['response']==='yes',h['message']=h['passed']?'':'Transfer\x20not\x20confirmed\x20by\x20user';}}if(a['arbitration_json']['builder']){const j=d['items']['find'](k=>k['id']==='C-AB-12');if(j&&!j['passed'])return c['push']('L3_user'),{'status':'blocked_user','checklist_result':d,'risk_result':e,'user_confirmation':g,'confirmation_text':generateConfirmationText(a,d,e),'block_reason':'User\x20did\x20not\x20confirm\x20ownership\x20transfer','decision_record':{'timestamp':new Date()['toISOString'](),'gate_version':ARBITRATION_CONFIRM_VERSION,'final_status':'blocked_user','layers_passed':b,'layers_failed':c}};}}b['push']('L3_user');if(a['skip_environment_check'])b['push']('L4_environment');else{const k=verifyEnvironment(a);if(!k['passed'])return c['push']('L4_environment'),{'status':'blocked_environment','checklist_result':d,'risk_result':e,'user_confirmation':g,'environment_result':k,'confirmation_text':generateConfirmationText(a,d,e),'block_reason':'Environment\x20check\x20failed:\x20'+k['checks']['filter'](l=>!l['passed'])['map'](l=>l['name'])['join'](',\x20'),'decision_record':{'timestamp':new Date()['toISOString'](),'gate_version':ARBITRATION_CONFIRM_VERSION,'final_status':'blocked_environment','layers_passed':b,'layers_failed':c}};b['push']('L4_environment');}return{'status':'approved','checklist_result':d,'risk_result':e,'user_confirmation':g,'confirmation_text':generateConfirmationText(a,d,e),'decision_record':{'timestamp':new Date()['toISOString'](),'gate_version':ARBITRATION_CONFIRM_VERSION,'final_status':'approved','layers_passed':b,'layers_failed':c}};}function generateConfirmationText(a,b,c){const d=[],e=a['arbitration_json'];d['push']('═══\x20Arbitration\x20Confirmation\x20═══'),d['push']('');if(typeof e['object']==='string')d['push']('Arbitration:\x20'+e['object']);else{if(typeof e['object']==='object'&&e['object']!==null){const f=e['object'];d['push']('Arbitration:\x20NEW\x20\x27'+(f['name']??'?')+'\x27\x20(T='+(f['type_parameter']??'?')+')');}else d['push']('Arbitration:\x20(not\x20specified)');}if(e['description'])d['push']('Description:\x20'+e['description']);if(a['current_arb_status'])d['push']('Current\x20Arb\x20status:\x20'+a['current_arb_status']);if(a['expected_arb_status'])d['push']('Expected\x20Arb\x20status:\x20'+a['expected_arb_status']);d['push'](''),d['push']('─\x20Checklist\x20──────────────────');for(const g of b['items']){const h=g['passed']?'✓':'✗';d['push']('\x20\x20'+h+'\x20'+g['id']+':\x20'+g['description']+(g['message']?'\x20—\x20'+g['message']:''));}d['push']('');if(c){d['push']('─\x20Risk\x20Assessment\x20──────────────────'),d['push']('Overall:\x20'+c['overall_risk']),d['push']('Detected:\x20'+c['risks']['length']+'\x20risk(s)');for(const i of c['risks']){d['push']('\x20\x20['+i['level']+']\x20'+i['id']+':\x20'+i['title']);}d['push']('');}d['push']('─\x20Operations\x20──────────────────');if(e['dispute'])d['push']('-\x20DISPUTE\x20on\x20Order\x20'+e['dispute']['order']+'\x20('+e['dispute']['proposition']['length']+'\x20propositions)');if(e['confirm'])d['push']('-\x20CONFIRM\x20Arb\x20'+e['confirm']['arb']+'\x20(deadline='+(e['confirm']['voting_deadline']??'none')+')');if(e['vote'])d['push']('-\x20VOTE\x20on\x20Arb\x20'+e['vote']['arb']+'\x20('+(e['vote']['voting_guard']?'weighted':'open')+')');if(e['feedback'])d['push']('-\x20FEEDBACK\x20on\x20Arb\x20'+e['feedback']['arb']);if(e['arbitration'])d['push']('-\x20⚖️\x20RULING\x20on\x20Arb\x20'+e['arbitration']['arb']+'\x20(indemnity='+e['arbitration']['indemnity']+')');if(e['reset'])d['push']('-\x20↻\x20RESET\x20Arb\x20'+e['reset']['arb']);if(e['arb_withdraw'])d['push']('-\x20WITHDRAW\x20from\x20Arb\x20'+e['arb_withdraw']['arb']);if(e['fees_transfer']){const j=e['fees_transfer']['to']['allocation']?'Allocation\x20'+e['fees_transfer']['to']['allocation']:'Treasury\x20'+e['fees_transfer']['to']['treasury'];d['push']('-\x20💰\x20FEES\x20→\x20'+j);}if(e['voting_guard'])d['push']('-\x20voting_guard\x20'+e['voting_guard']['op']);if(e['usage_guard']!==undefined)d['push']('-\x20usage_guard:\x20'+(e['usage_guard']??'clear'));if(e['builder'])d['push']('-\x20⚠️\x20TRANSFER\x20to:\x20'+e['builder']);if(e['um']!==undefined)d['push']('-\x20UM:\x20'+(e['um']??'(revoke)'));return d['push'](''),d['join']('\x0a');}export function progressiveArbitrationCheck(a){const b=runStaticChecklist(a);if(!b['all_passed'])return{'stage':'checklist','status':'fail','message':'Checklist\x20failed:\x20'+b['items']['filter'](d=>!d['passed']&&d['id']!=='C-AB-11'&&d['id']!=='C-AB-12')['map'](d=>d['id'])['join'](',\x20'),'next_action':'Fix\x20failing\x20checklist\x20items'};const c=adaptRiskAssessment(a);if(c['risks']['some'](d=>d['level']==='CRITICAL'))return{'stage':'risk','status':'fail','message':'CRITICAL\x20risks:\x20'+c['risks']['filter'](d=>d['level']==='CRITICAL')['map'](d=>d['id'])['join'](',\x20'),'next_action':'Resolve\x20CRITICAL\x20risks\x20before\x20proceeding'};if(c['needs_human_review'])return{'stage':'confirmation','status':'pending','message':'Human\x20review\x20required\x20for\x20HIGH\x20risks','next_action':'Confirm\x20risk\x20acceptance'};return{'stage':'complete','status':'pass','message':'All\x20checks\x20passed'};}