@wowok/agent-mcp 2.7.0 → 2.7.2

package/dist/knowledge/arbitration-puzzle.js

@@ -1,304 +1 @@
-import { MAX_VOTING_GUARD_COUNT, } from "@wowok/wowok";
-import { getDualGuardMatrixEntry, isValidArbStatusTransition, } from "./arbitration-ledger.js";
-export function initPuzzleFromIntent(intent) {
-    const puzzle = {};
-    if (intent.action || intent.rule_sentence) {
-        puzzle.intent = {
-            action: intent.action ?? "create_arbitration",
-            target_arb: intent.target_arb,
-            target_order: intent.target_order,
-            rule_sentence: intent.rule_sentence ?? "",
-            failure_conditions: intent.failure_conditions ?? [],
-        };
-    }
-    puzzle.constraints = {
-        F_AB_01_coin_type_valid: true,
-        F_AB_02_permission_address_valid: true,
-        F_AB_03_bPaused_default_true: true,
-        F_AB_04_fee_u64_nonneg: true,
-        F_AB_05_voting_guard_count_le_50: true,
-        F_AB_06_voting_guard_no_duplicate: true,
-        F_AB_07_usage_guard_single: true,
-        F_AB_08_arb_status_transition_valid: true,
-        F_AB_09_arb_belongs_to_arbitration: true,
-        F_AB_10_order_op_permission: true,
-        F_AB_11_dispute_fee_sufficient: true,
-        F_AB_12_dual_guard_coherent: true,
-    };
-    puzzle.voting_guard = {
-        guards: [],
-        weight_mode: "none",
-    };
-    puzzle.usage_guard = {
-        guard: null,
-        passport_required: false,
-        filter_rules: [],
-    };
-    return puzzle;
-}
-export function checkPuzzleCompleteness(puzzle) {
-    const missing = [];
-    const missing_details = [];
-    if (!puzzle.intent) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "Intent not specified (action + rule_sentence)" });
-    }
-    else if (!puzzle.intent.rule_sentence) {
-        missing.push("A");
-        missing_details.push({ dimension: "A", reason: "rule_sentence is empty" });
-    }
-    else {
-        const action = puzzle.intent.action;
-        if ((action === "file_dispute" || action === "vote" || action === "confirm_materials" ||
-            action === "provide_feedback" || action === "make_ruling" || action === "reset_arbitration" ||
-            action === "withdraw_fees") && !puzzle.intent.target_arb && !puzzle.intent.target_order) {
-            missing.push("A");
-            missing_details.push({ dimension: "A", reason: `${action} requires target_arb or target_order` });
-        }
-        if (action === "file_dispute" && !puzzle.intent.target_order) {
-            missing.push("A");
-            missing_details.push({ dimension: "A", reason: "file_dispute requires target_order" });
-        }
-    }
-    if (!puzzle.arbitration_config) {
-        const needsConfig = puzzle.intent?.action === "create_arbitration" ||
-            puzzle.intent?.action === "configure";
-        if (needsConfig) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "Arbitration config not specified" });
-        }
-    }
-    else if (puzzle.intent?.action === "create_arbitration") {
-        if (!puzzle.arbitration_config.coin_type) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "coin_type (generic T) required for create_arbitration" });
-        }
-        if (!puzzle.arbitration_config.permission_address) {
-            missing.push("B");
-            missing_details.push({ dimension: "B", reason: "permission_address required for create_arbitration" });
-        }
-    }
-    if (!puzzle.voting_guard) {
-        if (puzzle.intent?.action === "configure_voting_guard" || puzzle.intent?.action === "vote") {
-            missing.push("C");
-            missing_details.push({ dimension: "C", reason: "voting_guard config not specified" });
-        }
-    }
-    else if (puzzle.intent?.action === "vote" && puzzle.voting_guard.guards.length > 0) {
-        if (puzzle.voting_guard.weight_mode === "none") {
-            missing.push("C");
-            missing_details.push({ dimension: "C", reason: "weight_mode must be set when guards non-empty" });
-        }
-    }
-    if (!puzzle.usage_guard) {
-        if (puzzle.intent?.action === "configure_usage_guard" || puzzle.intent?.action === "file_dispute") {
-            missing.push("D");
-            missing_details.push({ dimension: "D", reason: "usage_guard config not specified" });
-        }
-    }
-    if (!puzzle.arbiter_config) {
-        if (puzzle.intent?.action === "vote" || puzzle.intent?.action === "make_ruling") {
-            missing.push("E");
-            missing_details.push({ dimension: "E", reason: "Arbiter config not specified" });
-        }
-    }
-    else if (puzzle.intent?.action === "vote" && puzzle.arbiter_config.arbitrators.length === 0) {
-        missing.push("E");
-        missing_details.push({ dimension: "E", reason: "At least one arbitrator required for voting" });
-    }
-    if (!puzzle.constraints) {
-        missing.push("F");
-        missing_details.push({ dimension: "F", reason: "Constraints not checked" });
-    }
-    else {
-        const arbActions = ["confirm_materials", "vote", "provide_feedback", "make_ruling", "reset_arbitration", "withdraw_fees"];
-        if (puzzle.intent && arbActions.includes(puzzle.intent.action)) {
-            if (!puzzle.current_arb_status) {
-                missing.push("F");
-                missing_details.push({ dimension: "F", reason: "current_arb_status required for Arb operations" });
-            }
-            if (!puzzle.expected_arb_status && puzzle.intent.action !== "provide_feedback") {
-                missing.push("F");
-                missing_details.push({ dimension: "F", reason: "expected_arb_status required (non-feedback Arb ops)" });
-            }
-        }
-    }
-    return {
-        dimensions: ["A", "B", "C", "D", "E", "F"],
-        missing,
-        missing_details,
-        complete: missing.length === 0,
-        next_step: missing.length === 0
-            ? "Puzzle complete — ready for confirmation text generation"
-            : `Next: complete dimension ${missing[0]} — ${missing_details[0].reason}`,
-    };
-}
-export function validateConstraints(puzzle) {
-    const violations = [];
-    if (puzzle.voting_guard && puzzle.voting_guard.guards.length > MAX_VOTING_GUARD_COUNT) {
-        violations.push({
-            constraint_id: "F-AB-05",
-            severity: "HIGH",
-            message: `voting_guard count ${puzzle.voting_guard.guards.length} exceeds MAX_VOTING_GUARD_COUNT ${MAX_VOTING_GUARD_COUNT}`,
-            current_value: puzzle.voting_guard.guards.length,
-            limit: MAX_VOTING_GUARD_COUNT,
-        });
-    }
-    if (puzzle.voting_guard && puzzle.voting_guard.guards.length > 0) {
-        const addrs = puzzle.voting_guard.guards.map(g => g.guard);
-        const dupes = addrs.filter((a, i) => addrs.indexOf(a) !== i);
-        if (dupes.length > 0) {
-            violations.push({
-                constraint_id: "F-AB-06",
-                severity: "MEDIUM",
-                message: `Duplicate voting_guard addresses: ${dupes.join(", ")}`,
-                current_value: dupes.join(","),
-            });
-        }
-    }
-    if (puzzle.current_arb_status && puzzle.expected_arb_status) {
-        if (puzzle.current_arb_status !== puzzle.expected_arb_status &&
-            !isValidArbStatusTransition(puzzle.current_arb_status, puzzle.expected_arb_status)) {
-            violations.push({
-                constraint_id: "F-AB-08",
-                severity: "CRITICAL",
-                message: `Invalid Arb status transition: ${puzzle.current_arb_status} → ${puzzle.expected_arb_status}`,
-                current_value: `${puzzle.current_arb_status} → ${puzzle.expected_arb_status}`,
-            });
-        }
-    }
-    if (puzzle.intent?.action === "file_dispute" && puzzle.arbitration_config?.fee) {
-        if (puzzle.arbitration_config.fee === "0") {
-            violations.push({
-                constraint_id: "F-AB-11",
-                severity: "HIGH",
-                message: "Dispute fee is 0 — likely below arbitration.fee threshold",
-                current_value: "0",
-            });
-        }
-    }
-    if (puzzle.voting_guard && puzzle.usage_guard) {
-        const matrix = getDualGuardMatrixEntry(puzzle.voting_guard.guards.length === 0, puzzle.usage_guard.guard === null);
-        if (puzzle.intent?.action === "file_dispute") {
-            if (puzzle.usage_guard.guard !== null && !puzzle.usage_guard.passport_required) {
-                violations.push({
-                    constraint_id: "F-AB-12",
-                    severity: "HIGH",
-                    message: "usage_guard is Some but passport_required=false — dispute will fail with E_NEED_PASSPORT",
-                });
-            }
-        }
-        if (puzzle.intent?.action === "vote") {
-            if (puzzle.voting_guard.guards.length > 0 && !puzzle.intent.target_arb) {
-                violations.push({
-                    constraint_id: "F-AB-12",
-                    severity: "HIGH",
-                    message: "voting_guard is non-empty but vote target_arb missing — must use vote_with_voting_guard",
-                });
-            }
-        }
-    }
-    if (puzzle.intent?.action === "file_dispute") {
-    }
-    return violations;
-}
-export function generateConfirmationText(puzzle) {
-    const lines = [];
-    lines.push("═══ Arbitration Confirmation ═══");
-    lines.push("");
-    if (puzzle.intent) {
-        lines.push(`Action: ${puzzle.intent.action}`);
-        if (puzzle.intent.target_arb)
-            lines.push(`Target Arb: ${puzzle.intent.target_arb}`);
-        if (puzzle.intent.target_order)
-            lines.push(`Target Order: ${puzzle.intent.target_order}`);
-        lines.push(`Rule: ${puzzle.intent.rule_sentence}`);
-        if (puzzle.intent.failure_conditions.length > 0) {
-            lines.push("Failure conditions:");
-            for (const fc of puzzle.intent.failure_conditions)
-                lines.push(`  - ${fc}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.arbitration_config) {
-        lines.push("─ Arbitration Config ──────────────");
-        const c = puzzle.arbitration_config;
-        if (c.description)
-            lines.push(`Description: ${c.description}`);
-        if (c.location)
-            lines.push(`Location: ${c.location}`);
-        if (c.fee !== undefined)
-            lines.push(`Fee: ${c.fee}`);
-        if (c.bPaused !== undefined)
-            lines.push(`bPaused: ${c.bPaused} (default true on creation)`);
-        if (c.coin_type)
-            lines.push(`Coin type (T): ${c.coin_type}`);
-        if (c.permission_address)
-            lines.push(`Permission: ${c.permission_address}`);
-        if (c.um !== undefined)
-            lines.push(`UM: ${c.um ?? "(none)"}`);
-        lines.push("");
-    }
-    if (puzzle.voting_guard && puzzle.voting_guard.guards.length > 0) {
-        lines.push("─ voting_guard Config ──────────────");
-        lines.push(`Count: ${puzzle.voting_guard.guards.length} / ${MAX_VOTING_GUARD_COUNT}`);
-        lines.push(`Weight mode: ${puzzle.voting_guard.weight_mode}`);
-        for (const g of puzzle.voting_guard.guards) {
-            const w = "GuardIdentifier" in g.vote_weight
-                ? `GuardIdentifier(${g.vote_weight.GuardIdentifier})`
-                : `FixedValue(${g.vote_weight.FixedValue})`;
-            lines.push(`  ${g.guard}: ${w}`);
-        }
-        if (puzzle.voting_guard.cooperation_matrix) {
-            lines.push(`Cooperation: ${puzzle.voting_guard.cooperation_matrix.scenario}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.usage_guard && puzzle.usage_guard.guard !== null) {
-        lines.push("─ usage_guard Config ──────────────");
-        lines.push(`Guard: ${puzzle.usage_guard.guard}`);
-        lines.push(`Passport required: ${puzzle.usage_guard.passport_required}`);
-        if (puzzle.usage_guard.filter_rules.length > 0) {
-            lines.push("Filter rules:");
-            for (const r of puzzle.usage_guard.filter_rules)
-                lines.push(`  - ${r}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.arbiter_config && puzzle.arbiter_config.arbitrators.length > 0) {
-        lines.push("─ Arbiter Config ──────────────");
-        lines.push(`Arbitrators (${puzzle.arbiter_config.arbitrators.length}): ${puzzle.arbiter_config.arbitrators.join(", ")}`);
-        lines.push(`Vote distribution: ${puzzle.arbiter_config.vote_distribution}`);
-        lines.push(`Ruling authority: ${puzzle.arbiter_config.ruling_authority}`);
-        if (puzzle.arbiter_config.fees_split) {
-            lines.push("Fees split:");
-            const fs = puzzle.arbiter_config.fees_split;
-            if (fs.allocation)
-                lines.push(`  → Allocation: ${fs.allocation}`);
-            if (fs.treasury)
-                lines.push(`  → Treasury: ${fs.treasury}`);
-            if (fs.remark)
-                lines.push(`  Remark: ${fs.remark}`);
-            if (fs.payment_index !== undefined)
-                lines.push(`  Payment index: ${fs.payment_index}`);
-        }
-        lines.push("");
-    }
-    if (puzzle.current_arb_status || puzzle.expected_arb_status) {
-        lines.push("─ 7-State Flow ──────────────");
-        if (puzzle.current_arb_status)
-            lines.push(`Current: ${puzzle.current_arb_status}`);
-        if (puzzle.expected_arb_status)
-            lines.push(`Expected after: ${puzzle.expected_arb_status}`);
-        lines.push("");
-    }
-    const violations = validateConstraints(puzzle);
-    if (violations.length > 0) {
-        lines.push("─ Constraint Violations ──────────────");
-        for (const v of violations) {
-            lines.push(`  [${v.severity}] ${v.constraint_id}: ${v.message}`);
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
+import{MAX_VOTING_GUARD_COUNT}from'@wowok/wowok';import{getDualGuardMatrixEntry,isValidArbStatusTransition}from'./arbitration-ledger.js';export function initPuzzleFromIntent(a){const b={};return(a['action']||a['rule_sentence'])&&(b['intent']={'action':a['action']??'create_arbitration','target_arb':a['target_arb'],'target_order':a['target_order'],'rule_sentence':a['rule_sentence']??'','failure_conditions':a['failure_conditions']??[]}),b['constraints']={'F_AB_01_coin_type_valid':!![],'F_AB_02_permission_address_valid':!![],'F_AB_03_bPaused_default_true':!![],'F_AB_04_fee_u64_nonneg':!![],'F_AB_05_voting_guard_count_le_50':!![],'F_AB_06_voting_guard_no_duplicate':!![],'F_AB_07_usage_guard_single':!![],'F_AB_08_arb_status_transition_valid':!![],'F_AB_09_arb_belongs_to_arbitration':!![],'F_AB_10_order_op_permission':!![],'F_AB_11_dispute_fee_sufficient':!![],'F_AB_12_dual_guard_coherent':!![]},b['voting_guard']={'guards':[],'weight_mode':'none'},b['usage_guard']={'guard':null,'passport_required':![],'filter_rules':[]},b;}export function checkPuzzleCompleteness(a){const b=[],c=[];if(!a['intent'])b['push']('A'),c['push']({'dimension':'A','reason':'Intent\x20not\x20specified\x20(action\x20+\x20rule_sentence)'});else{if(!a['intent']['rule_sentence'])b['push']('A'),c['push']({'dimension':'A','reason':'rule_sentence\x20is\x20empty'});else{const d=a['intent']['action'];(d==='file_dispute'||d==='vote'||d==='confirm_materials'||d==='provide_feedback'||d==='make_ruling'||d==='reset_arbitration'||d==='withdraw_fees')&&!a['intent']['target_arb']&&!a['intent']['target_order']&&(b['push']('A'),c['push']({'dimension':'A','reason':d+'\x20requires\x20target_arb\x20or\x20target_order'})),d==='file_dispute'&&!a['intent']['target_order']&&(b['push']('A'),c['push']({'dimension':'A','reason':'file_dispute\x20requires\x20target_order'}));}}if(!a['arbitration_config']){const e=a['intent']?.['action']==='create_arbitration'||a['intent']?.['action']==='configure';e&&(b['push']('B'),c['push']({'dimension':'B','reason':'Arbitration\x20config\x20not\x20specified'}));}else a['intent']?.['action']==='create_arbitration'&&(!a['arbitration_config']['coin_type']&&(b['push']('B'),c['push']({'dimension':'B','reason':'coin_type\x20(generic\x20T)\x20required\x20for\x20create_arbitration'})),!a['arbitration_config']['permission_address']&&(b['push']('B'),c['push']({'dimension':'B','reason':'permission_address\x20required\x20for\x20create_arbitration'})));if(!a['voting_guard'])(a['intent']?.['action']==='configure_voting_guard'||a['intent']?.['action']==='vote')&&(b['push']('C'),c['push']({'dimension':'C','reason':'voting_guard\x20config\x20not\x20specified'}));else a['intent']?.['action']==='vote'&&a['voting_guard']['guards']['length']>0x0&&(a['voting_guard']['weight_mode']==='none'&&(b['push']('C'),c['push']({'dimension':'C','reason':'weight_mode\x20must\x20be\x20set\x20when\x20guards\x20non-empty'})));!a['usage_guard']&&((a['intent']?.['action']==='configure_usage_guard'||a['intent']?.['action']==='file_dispute')&&(b['push']('D'),c['push']({'dimension':'D','reason':'usage_guard\x20config\x20not\x20specified'})));if(!a['arbiter_config'])(a['intent']?.['action']==='vote'||a['intent']?.['action']==='make_ruling')&&(b['push']('E'),c['push']({'dimension':'E','reason':'Arbiter\x20config\x20not\x20specified'}));else a['intent']?.['action']==='vote'&&a['arbiter_config']['arbitrators']['length']===0x0&&(b['push']('E'),c['push']({'dimension':'E','reason':'At\x20least\x20one\x20arbitrator\x20required\x20for\x20voting'}));if(!a['constraints'])b['push']('F'),c['push']({'dimension':'F','reason':'Constraints\x20not\x20checked'});else{const f=['confirm_materials','vote','provide_feedback','make_ruling','reset_arbitration','withdraw_fees'];a['intent']&&f['includes'](a['intent']['action'])&&(!a['current_arb_status']&&(b['push']('F'),c['push']({'dimension':'F','reason':'current_arb_status\x20required\x20for\x20Arb\x20operations'})),!a['expected_arb_status']&&a['intent']['action']!=='provide_feedback'&&(b['push']('F'),c['push']({'dimension':'F','reason':'expected_arb_status\x20required\x20(non-feedback\x20Arb\x20ops)'})));}return{'dimensions':['A','B','C','D','E','F'],'missing':b,'missing_details':c,'complete':b['length']===0x0,'next_step':b['length']===0x0?'Puzzle\x20complete\x20—\x20ready\x20for\x20confirmation\x20text\x20generation':'Next:\x20complete\x20dimension\x20'+b[0x0]+'\x20—\x20'+c[0x0]['reason']};}export function validateConstraints(a){const b=[];a['voting_guard']&&a['voting_guard']['guards']['length']>MAX_VOTING_GUARD_COUNT&&b['push']({'constraint_id':'F-AB-05','severity':'HIGH','message':'voting_guard\x20count\x20'+a['voting_guard']['guards']['length']+'\x20exceeds\x20MAX_VOTING_GUARD_COUNT\x20'+MAX_VOTING_GUARD_COUNT,'current_value':a['voting_guard']['guards']['length'],'limit':MAX_VOTING_GUARD_COUNT});if(a['voting_guard']&&a['voting_guard']['guards']['length']>0x0){const c=a['voting_guard']['guards']['map'](e=>e['guard']),d=c['filter']((e,f)=>c['indexOf'](e)!==f);d['length']>0x0&&b['push']({'constraint_id':'F-AB-06','severity':'MEDIUM','message':'Duplicate\x20voting_guard\x20addresses:\x20'+d['join'](',\x20'),'current_value':d['join'](',')});}a['current_arb_status']&&a['expected_arb_status']&&(a['current_arb_status']!==a['expected_arb_status']&&!isValidArbStatusTransition(a['current_arb_status'],a['expected_arb_status'])&&b['push']({'constraint_id':'F-AB-08','severity':'CRITICAL','message':'Invalid\x20Arb\x20status\x20transition:\x20'+a['current_arb_status']+'\x20→\x20'+a['expected_arb_status'],'current_value':a['current_arb_status']+'\x20→\x20'+a['expected_arb_status']}));a['intent']?.['action']==='file_dispute'&&a['arbitration_config']?.['fee']&&(a['arbitration_config']['fee']==='0'&&b['push']({'constraint_id':'F-AB-11','severity':'HIGH','message':'Dispute\x20fee\x20is\x200\x20—\x20likely\x20below\x20arbitration.fee\x20threshold','current_value':'0'}));if(a['voting_guard']&&a['usage_guard']){const e=getDualGuardMatrixEntry(a['voting_guard']['guards']['length']===0x0,a['usage_guard']['guard']===null);a['intent']?.['action']==='file_dispute'&&(a['usage_guard']['guard']!==null&&!a['usage_guard']['passport_required']&&b['push']({'constraint_id':'F-AB-12','severity':'HIGH','message':'usage_guard\x20is\x20Some\x20but\x20passport_required=false\x20—\x20dispute\x20will\x20fail\x20with\x20E_NEED_PASSPORT'})),a['intent']?.['action']==='vote'&&(a['voting_guard']['guards']['length']>0x0&&!a['intent']['target_arb']&&b['push']({'constraint_id':'F-AB-12','severity':'HIGH','message':'voting_guard\x20is\x20non-empty\x20but\x20vote\x20target_arb\x20missing\x20—\x20must\x20use\x20vote_with_voting_guard'}));}if(a['intent']?.['action']==='file_dispute'){}return b;}export function generateConfirmationText(a){const b=[];b['push']('═══\x20Arbitration\x20Confirmation\x20═══'),b['push']('');if(a['intent']){b['push']('Action:\x20'+a['intent']['action']);if(a['intent']['target_arb'])b['push']('Target\x20Arb:\x20'+a['intent']['target_arb']);if(a['intent']['target_order'])b['push']('Target\x20Order:\x20'+a['intent']['target_order']);b['push']('Rule:\x20'+a['intent']['rule_sentence']);if(a['intent']['failure_conditions']['length']>0x0){b['push']('Failure\x20conditions:');for(const e of a['intent']['failure_conditions'])b['push']('\x20\x20-\x20'+e);}b['push']('');}if(a['arbitration_config']){b['push']('─\x20Arbitration\x20Config\x20──────────────');const f=a['arbitration_config'];if(f['description'])b['push']('Description:\x20'+f['description']);if(f['location'])b['push']('Location:\x20'+f['location']);if(f['fee']!==undefined)b['push']('Fee:\x20'+f['fee']);if(f['bPaused']!==undefined)b['push']('bPaused:\x20'+f['bPaused']+'\x20(default\x20true\x20on\x20creation)');if(f['coin_type'])b['push']('Coin\x20type\x20(T):\x20'+f['coin_type']);if(f['permission_address'])b['push']('Permission:\x20'+f['permission_address']);if(f['um']!==undefined)b['push']('UM:\x20'+(f['um']??'(none)'));b['push']('');}if(a['voting_guard']&&a['voting_guard']['guards']['length']>0x0){b['push']('─\x20voting_guard\x20Config\x20──────────────'),b['push']('Count:\x20'+a['voting_guard']['guards']['length']+'\x20/\x20'+MAX_VOTING_GUARD_COUNT),b['push']('Weight\x20mode:\x20'+a['voting_guard']['weight_mode']);for(const h of a['voting_guard']['guards']){const i='GuardIdentifier'in h['vote_weight']?'GuardIdentifier('+h['vote_weight']['GuardIdentifier']+')':'FixedValue('+h['vote_weight']['FixedValue']+')';b['push']('\x20\x20'+h['guard']+':\x20'+i);}a['voting_guard']['cooperation_matrix']&&b['push']('Cooperation:\x20'+a['voting_guard']['cooperation_matrix']['scenario']),b['push']('');}if(a['usage_guard']&&a['usage_guard']['guard']!==null){b['push']('─\x20usage_guard\x20Config\x20──────────────'),b['push']('Guard:\x20'+a['usage_guard']['guard']),b['push']('Passport\x20required:\x20'+a['usage_guard']['passport_required']);if(a['usage_guard']['filter_rules']['length']>0x0){b['push']('Filter\x20rules:');for(const j of a['usage_guard']['filter_rules'])b['push']('\x20\x20-\x20'+j);}b['push']('');}if(a['arbiter_config']&&a['arbiter_config']['arbitrators']['length']>0x0){b['push']('─\x20Arbiter\x20Config\x20──────────────'),b['push']('Arbitrators\x20('+a['arbiter_config']['arbitrators']['length']+'):\x20'+a['arbiter_config']['arbitrators']['join'](',\x20')),b['push']('Vote\x20distribution:\x20'+a['arbiter_config']['vote_distribution']),b['push']('Ruling\x20authority:\x20'+a['arbiter_config']['ruling_authority']);if(a['arbiter_config']['fees_split']){b['push']('Fees\x20split:');const k=a['arbiter_config']['fees_split'];if(k['allocation'])b['push']('\x20\x20→\x20Allocation:\x20'+k['allocation']);if(k['treasury'])b['push']('\x20\x20→\x20Treasury:\x20'+k['treasury']);if(k['remark'])b['push']('\x20\x20Remark:\x20'+k['remark']);if(k['payment_index']!==undefined)b['push']('\x20\x20Payment\x20index:\x20'+k['payment_index']);}b['push']('');}if(a['current_arb_status']||a['expected_arb_status']){b['push']('─\x207-State\x20Flow\x20──────────────');if(a['current_arb_status'])b['push']('Current:\x20'+a['current_arb_status']);if(a['expected_arb_status'])b['push']('Expected\x20after:\x20'+a['expected_arb_status']);b['push']('');}const d=validateConstraints(a);if(d['length']>0x0){b['push']('─\x20Constraint\x20Violations\x20──────────────');for(const l of d){b['push']('\x20\x20['+l['severity']+']\x20'+l['constraint_id']+':\x20'+l['message']);}b['push']('');}return b['join']('\x0a');}