@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/progress-context.js

@@ -1,452 +1 @@
-import { MAX_NAMED_OPERATOR_COUNT, MAX_NAMED_OPERATOR_ADDRESS_COUNT, MAX_CONTEXT_REPOSITORY_COUNT, } from "@wowok/wowok";
-import { PROGRESS_PERMISSIONS, PROGRESS_LEDGER_VERSION, PROGRESS_CROSS_OBJECT_REFS, inferSceneFromIntent, getScenesByIndustry, getScenesByPhase, getAllBuiltinPermissions, getProgressScenesCount, validateNamedOperatorAddressList, validateNamedOperatorCount, validateContextRepositoryCount, } from "./progress-ledger.js";
-import { initPuzzleFromIntent, checkPuzzleCompleteness, } from "./progress-puzzle.js";
-import { PROGRESS_RISK_VERSION, assessProgressRisks, getAllProgressRiskRules, getProgressRiskRulesCount, } from "./progress-risk.js";
-import { PROGRESS_TRANSLATION_VERSION, PROGRESS_SEMANTIC_TO_SCHEMA_RULES, PROGRESS_SCHEMA_TO_SEMANTIC_RULES, PROGRESS_CONSTRAINT_RULES, matchSemanticPattern, } from "./progress-translation.js";
-import { PROGRESS_TEMPLATES, PROGRESS_TEMPLATES_VERSION, getProgressTemplatesByScene, listProgressTemplates, } from "./progress-templates.js";
-import { PROGRESS_CONFIRM_VERSION, PROGRESS_OPERATION_CHECKLIST, PROGRESS_CONFIRMATION_QUESTIONS, } from "./progress-confirm.js";
-export const PROGRESS_CONTEXT_VERSION = "1.0.0";
-export function buildProgressContext(input) {
-    const max_length = input.max_length ?? 4000;
-    let matched_scene;
-    if (input.intent) {
-        matched_scene = inferSceneFromIntent(input.intent);
-    }
-    if (!matched_scene && input.target_phase) {
-        const phaseScenes = getScenesByPhase(input.target_phase);
-        if (phaseScenes.length > 0)
-            matched_scene = phaseScenes[0];
-    }
-    if (!matched_scene && input.target_industry) {
-        const industryScenes = getScenesByIndustry(input.target_industry);
-        if (industryScenes.length > 0)
-            matched_scene = industryScenes[0];
-    }
-    let matched_template;
-    if (matched_scene) {
-        const templates = getProgressTemplatesByScene(matched_scene.id);
-        if (templates.length > 0)
-            matched_template = templates[0];
-    }
-    let matched_pattern;
-    if (input.intent) {
-        const patterns = matchSemanticPattern(input.intent);
-        if (patterns.length > 0)
-            matched_pattern = patterns[0];
-    }
-    let puzzle_state;
-    let puzzle_completeness;
-    if (input.mode === "initial_design" && input.intent) {
-        puzzle_state = initPuzzleFromIntent({ rule_sentence: input.intent });
-        puzzle_completeness = checkPuzzleCompleteness(puzzle_state);
-    }
-    const relevant_risks = filterRiskRules(input.mode, input.stakeholder, matched_scene);
-    let risk_assessment;
-    if (input.mode === "pre_advance" && input.progress_json) {
-        const ctx = {
-            object: input.progress_json.object,
-            task: input.progress_json.task,
-            repository: input.progress_json.repository,
-            progress_namedOperator: input.progress_json.progress_namedOperator,
-            operate: input.progress_json.operate,
-            current_machine: input.current_machine,
-            machine_published: input.machine_published,
-            current_task: input.current_task,
-            current_named_operator_count: input.current_named_operator_count,
-            current_context_repository_count: input.current_context_repository_count,
-            current_node: input.current_node,
-            forward_already_accomplished: input.forward_already_accomplished,
-            holder_address: input.holder_address,
-            signer: input.signer,
-            forward_named_operator: input.forward_named_operator,
-            forward_permission_index: input.forward_permission_index,
-            forward_has_guard: input.forward_has_guard,
-            target_objects_types: input.target_objects_types,
-        };
-        risk_assessment = assessProgressRisks(ctx);
-    }
-    const relevant_checklist = filterChecklist(input.mode);
-    const relevant_questions = filterQuestions(input.mode);
-    const relevant_builtin_permissions = matched_scene
-        ? matched_scene.builtin_indexes_consumed
-        : getAllBuiltinPermissions();
-    const cross_object_refs = buildCrossObjectRefs(input.target_phase, matched_scene);
-    const onchain_constraints = buildOnchainConstraints();
-    const rendering_hints = buildRenderingHints(input.mode, max_length, input.progress_json?.operate?.op === "adminUnhold", !!input.progress_json?.task);
-    return {
-        version: PROGRESS_CONTEXT_VERSION,
-        mode: input.mode,
-        stakeholder_perspective: input.stakeholder,
-        matched_scene,
-        matched_template,
-        matched_pattern,
-        puzzle_state,
-        puzzle_completeness,
-        relevant_risks,
-        risk_assessment,
-        relevant_checklist,
-        relevant_questions,
-        relevant_builtin_permissions,
-        cross_object_refs,
-        onchain_constraints,
-        rendering_hints,
-    };
-}
-function filterRiskRules(mode, stakeholder, scene) {
-    const allRules = getAllProgressRiskRules();
-    if (mode === "initial_design") {
-        return allRules.filter(r => r.category === "structural" || r.category === "lifecycle");
-    }
-    if (mode === "pre_advance") {
-        return allRules;
-    }
-    if (mode === "post_task_binding") {
-        return allRules.filter(r => r.id !== "R-PR-2-01");
-    }
-    if (mode === "stakeholder_review" && stakeholder) {
-        if (stakeholder === "owner") {
-            return allRules.filter(r => r.category === "permission" || r.category === "lifecycle" || r.category === "cross_object");
-        }
-        if (stakeholder === "named_operator") {
-            return allRules.filter(r => r.category === "permission" || r.id === "R-PR-4-02" || r.id === "R-PR-4-03");
-        }
-        if (stakeholder === "submitter") {
-            return allRules.filter(r => r.category === "semantic" || r.id === "R-PR-3-03" || r.id === "R-PR-4-02" || r.id === "R-PR-4-03");
-        }
-        if (stakeholder === "system") {
-            return allRules.filter(r => r.category === "cross_object" || r.category === "structural");
-        }
-    }
-    if (mode === "apply_check") {
-        return allRules.filter(r => r.category === "cross_object" || r.id === "R-PR-4-01");
-    }
-    return allRules;
-}
-function filterChecklist(mode) {
-    if (mode === "initial_design") {
-        return PROGRESS_OPERATION_CHECKLIST.filter(i => ["C-PR-01", "C-PR-03", "C-PR-04", "C-PR-05"].includes(i.id));
-    }
-    if (mode === "post_task_binding") {
-        return PROGRESS_OPERATION_CHECKLIST.filter(i => i.id !== "C-PR-06");
-    }
-    if (mode === "stakeholder_review") {
-        return PROGRESS_OPERATION_CHECKLIST.filter(i => ["C-PR-01", "C-PR-02", "C-PR-07", "C-PR-09", "C-PR-10"].includes(i.id));
-    }
-    return PROGRESS_OPERATION_CHECKLIST;
-}
-function filterQuestions(mode) {
-    if (mode === "pre_advance") {
-        return PROGRESS_CONFIRMATION_QUESTIONS;
-    }
-    if (mode === "post_task_binding") {
-        return PROGRESS_CONFIRMATION_QUESTIONS.filter(q => q.id !== "QPR2");
-    }
-    if (mode === "initial_design") {
-        return PROGRESS_CONFIRMATION_QUESTIONS.filter(q => q.id === "QPR5");
-    }
-    return [];
-}
-function buildCrossObjectRefs(targetPhase, scene) {
-    const refs = PROGRESS_CROSS_OBJECT_REFS.map(r => ({
-        object: r.object,
-        phase: r.phase,
-        relationship: r.relationship,
-        description: r.relationship,
-    }));
-    if (targetPhase) {
-        return refs.filter(r => r.phase === targetPhase || r.phase === "universal");
-    }
-    if (scene) {
-        const scenePhases = scene.phases;
-        return refs.filter(r => r.phase === "universal" || scenePhases.includes(r.phase));
-    }
-    return refs;
-}
-function buildOnchainConstraints() {
-    return [
-        {
-            name: "MAX_NAMED_OPERATOR_COUNT",
-            value: MAX_NAMED_OPERATOR_COUNT,
-            description: "Maximum named_operator namespace entries per Progress",
-            error_code: "E_MAX_NAMED_OPERATOR_COUNT",
-        },
-        {
-            name: "MAX_NAMED_OPERATOR_ADDRESS_COUNT",
-            value: MAX_NAMED_OPERATOR_ADDRESS_COUNT,
-            description: "Maximum addresses per named_operator namespace entry",
-            error_code: "E_MAX_NAMED_OPERATOR_ADDRESS_COUNT",
-        },
-        {
-            name: "MAX_CONTEXT_REPOSITORY_COUNT",
-            value: MAX_CONTEXT_REPOSITORY_COUNT,
-            description: "Maximum context_repositories per Progress",
-            error_code: "E_MAX_CONTEXT_REPOSITORY_COUNT",
-        },
-        {
-            name: "PROGRESS_NEW (220)",
-            value: 220,
-            description: "Builtin: create new Progress (asserted by progress::new / new_with_passport; bypassed by service::buy → new_imp)",
-        },
-        {
-            name: "PROGRESS_NAMED_OPERATOR (221)",
-            value: 221,
-            description: "Builtin: manage named_operator namespace (add/set/remove)",
-        },
-        {
-            name: "PROGRESS_TASK (222)",
-            value: 222,
-            description: "Builtin: submit task (one-time, immutable — E_TASK_ALREADY_SET)",
-            error_code: "E_TASK_ALREADY_SET",
-        },
-        {
-            name: "PROGRESS_CONTEXT_REPOSITORY (223)",
-            value: 223,
-            description: "Builtin: bind/unbind context Repository (≤ 30)",
-        },
-        {
-            name: "PROGRESS_UNHOLD (224)",
-            value: 224,
-            description: "Builtin: adminUnhold (force release, bypasses holder check)",
-            error_code: "E_NOT_THE_HOLDER",
-        },
-        {
-            name: "PROGRESS_OWNER_RECEIVE (225)",
-            value: 225,
-            description: "Builtin: owner receive (unwrap Receiving<K> / CoinWrapper<T> at terminal node)",
-        },
-        {
-            name: "E_MACHINE_NOT_MATCH",
-            value: 4,
-            description: "Move error: progress.machine ≠ machine.id_address (every op asserts this)",
-        },
-        {
-            name: "E_FORWARD_ALREADY_ACCOMPLISHED",
-            value: 7,
-            description: "Move error: re-hold on completed forward is blocked",
-        },
-        {
-            name: "E_NEED_PASSPORT",
-            value: 9,
-            description: "Move error: Forward.guard is Some but plain next() called — use *_with_passport variant",
-        },
-        {
-            name: "E_ORDER_NOT_MATCH",
-            value: 10,
-            description: "Move error: order_next/order_hold called but progress.task ≠ order address",
-        },
-    ];
-}
-function buildRenderingHints(mode, max_length, hasAdminUnhold, hasTaskSet) {
-    return {
-        include_puzzle_template: mode === "initial_design",
-        include_risk_details: mode === "pre_advance" || mode === "stakeholder_review",
-        include_questions: mode === "pre_advance",
-        include_immutability_warning: hasTaskSet || mode === "post_task_binding",
-        include_admin_unhold_warning: hasAdminUnhold,
-        include_cross_object_refs: mode === "apply_check" || mode === "initial_design",
-        include_terminal_node_note: mode === "post_task_binding" || mode === "pre_advance",
-        max_length,
-    };
-}
-export function buildPromptFromProgressContext(bundle) {
-    const lines = [];
-    const h = bundle.rendering_hints;
-    lines.push(`═══ Progress Context (mode: ${bundle.mode}) ═══`);
-    lines.push("");
-    if (bundle.stakeholder_perspective) {
-        lines.push(`Stakeholder perspective: ${bundle.stakeholder_perspective}`);
-        lines.push("");
-    }
-    if (bundle.matched_scene) {
-        lines.push(`Scene: ${bundle.matched_scene.name}`);
-        lines.push(`Phases: ${bundle.matched_scene.phases.join(", ")}`);
-        lines.push(`Requires published Machine: ${bundle.matched_scene.requires_published_machine ? "YES" : "NO"}`);
-        lines.push(`Requires Order bound: ${bundle.matched_scene.requires_order_bound ? "YES" : "NO"}`);
-        lines.push(`Uses hold mechanism: ${bundle.matched_scene.uses_hold_mechanism ? "YES" : "NO"}`);
-        lines.push(`Uses adminUnhold: ${bundle.matched_scene.uses_admin_unhold ? "YES" : "NO"}`);
-        lines.push("");
-    }
-    if (bundle.matched_template) {
-        lines.push(`Suggested template: ${bundle.matched_template.id} — ${bundle.matched_template.name}`);
-        lines.push("");
-    }
-    if (bundle.matched_pattern) {
-        lines.push(`Matched pattern: ${bundle.matched_pattern.id} — ${bundle.matched_pattern.pattern_name}`);
-        lines.push(`Intent: ${bundle.matched_pattern.semantic_intent}`);
-        lines.push("");
-    }
-    if (h.include_puzzle_template && bundle.puzzle_completeness) {
-        const c = bundle.puzzle_completeness;
-        lines.push("─ Puzzle Completeness ──────────────");
-        lines.push(`Complete: ${c.complete ? "YES" : "NO"}`);
-        if (c.missing.length > 0) {
-            lines.push(`Missing dimensions: ${c.missing.join(", ")}`);
-            for (const md of c.missing_details) {
-                lines.push(`  - ${md.dimension}: ${md.reason}`);
-            }
-        }
-        lines.push(`Next: ${c.next_step}`);
-        lines.push("");
-    }
-    if (h.include_risk_details && bundle.relevant_risks.length > 0) {
-        lines.push(`─ Relevant Risk Rules (${bundle.relevant_risks.length}) ──────────────`);
-        for (const r of bundle.relevant_risks.slice(0, 6)) {
-            lines.push(`  ${r.id} [${r.category}] — ${r.trigger}`);
-        }
-        if (bundle.relevant_risks.length > 6) {
-            lines.push(`  ... and ${bundle.relevant_risks.length - 6} more`);
-        }
-        lines.push("");
-    }
-    if (bundle.risk_assessment) {
-        lines.push("─ Risk Assessment ──────────────");
-        lines.push(`Overall: ${bundle.risk_assessment.overall_risk}`);
-        lines.push(`Detected: ${bundle.risk_assessment.risks.length} risk(s)`);
-        if (bundle.risk_assessment.needs_human_review) {
-            lines.push("⚠️ Needs human review (HIGH/CRITICAL risks present)");
-        }
-        lines.push("");
-    }
-    if (bundle.relevant_builtin_permissions.length > 0) {
-        lines.push(`─ Builtin Permissions (${bundle.relevant_builtin_permissions.length}) ──────────────`);
-        for (const p of bundle.relevant_builtin_permissions) {
-            lines.push(`  [${p.index}] ${p.name}: ${p.description}`);
-        }
-        lines.push("");
-    }
-    if (h.include_immutability_warning) {
-        lines.push("⚠️ TASK IMMUTABILITY: task_set is ONE-TIME. E_TASK_ALREADY_SET blocks any re-assignment.");
-        lines.push("   Once Progress.task is bound to an Order/Reward, it cannot be changed.");
-        lines.push("");
-    }
-    if (h.include_admin_unhold_warning) {
-        lines.push("⚠️ ADMINUNHOLD (224): Force-release bypasses holder check.");
-        lines.push("   Grant 224 only to dedicated recovery addresses; log every invocation.");
-        lines.push("");
-    }
-    if (h.include_cross_object_refs && bundle.cross_object_refs.length > 0) {
-        lines.push(`─ Cross-Object References (${bundle.cross_object_refs.length}) ──────────────`);
-        for (const ref of bundle.cross_object_refs.slice(0, 8)) {
-            lines.push(`  ${ref.object} [${ref.phase}]: ${ref.relationship}`);
-        }
-        if (bundle.cross_object_refs.length > 8) {
-            lines.push(`  ... and ${bundle.cross_object_refs.length - 8} more`);
-        }
-        lines.push("");
-    }
-    if (h.include_terminal_node_note) {
-        lines.push("─ Terminal Node Note ──────────────");
-        lines.push("At terminal nodes (completed/enforced/return_approved/paid), use progress::owner_receive");
-        lines.push("to unwrap Receiving<K> / CoinWrapper<T> via Payment.unwrap_with_check.");
-        lines.push("Permission 225 (PROGRESS_OWNER_RECEIVE) required; recipient = Machine.permission owner.");
-        lines.push("");
-    }
-    if (bundle.onchain_constraints.length > 0) {
-        lines.push("─ On-chain Constraints ──────────────");
-        for (const c of bundle.onchain_constraints) {
-            const errPart = c.error_code ? ` (abort: ${c.error_code})` : "";
-            lines.push(`  ${c.name} = ${c.value} — ${c.description}${errPart}`);
-        }
-        lines.push("");
-    }
-    return lines.join("\n");
-}
-export function getProgressContextSummary(bundle) {
-    const parts = [
-        `mode=${bundle.mode}`,
-        `scene=${bundle.matched_scene?.id ?? "none"}`,
-        `risks=${bundle.relevant_risks.length}`,
-        `permissions=${bundle.relevant_builtin_permissions.length}`,
-        `cross_refs=${bundle.cross_object_refs.length}`,
-    ];
-    if (bundle.stakeholder_perspective)
-        parts.push(`stakeholder=${bundle.stakeholder_perspective}`);
-    if (bundle.risk_assessment)
-        parts.push(`overall_risk=${bundle.risk_assessment.overall_risk}`);
-    if (bundle.matched_template)
-        parts.push(`template=${bundle.matched_template.id}`);
-    if (bundle.matched_pattern)
-        parts.push(`pattern=${bundle.matched_pattern.id}`);
-    return parts.join(", ");
-}
-export function buildStakeholderContext(stakeholder, intent, progress_json) {
-    return buildProgressContext({
-        mode: "stakeholder_review",
-        intent,
-        progress_json,
-        stakeholder,
-    });
-}
-export function quickValidateProgressJson(progress_json, current_state = {}) {
-    const violations = [];
-    if (progress_json.progress_namedOperator) {
-        const check = validateNamedOperatorAddressList(progress_json.progress_namedOperator.operators);
-        if (!check.ok)
-            violations.push(...check.violations);
-        if ((progress_json.progress_namedOperator.op === "add" ||
-            progress_json.progress_namedOperator.op === "set") &&
-            current_state.current_named_operator_count !== undefined) {
-            const countCheck = validateNamedOperatorCount(current_state.current_named_operator_count);
-            if (!countCheck.ok)
-                violations.push(countCheck.violation);
-        }
-    }
-    if (progress_json.repository &&
-        (progress_json.repository.op === "add" || progress_json.repository.op === "set")) {
-        const addCount = progress_json.repository.objects.length;
-        const current = current_state.current_context_repository_count ?? 0;
-        const repoCheck = validateContextRepositoryCount(current, addCount);
-        if (!repoCheck.ok)
-            violations.push(repoCheck.violation);
-    }
-    if (progress_json.task && current_state.current_task) {
-        violations.push(`task already set to ${current_state.current_task} — E_TASK_ALREADY_SET will abort`);
-    }
-    if (current_state.machine_published === false) {
-        violations.push("Machine not published — Progress requires published Machine");
-    }
-    return { ok: violations.length === 0, violations };
-}
-export function getProgressKnowledgeSnapshot() {
-    return {
-        version: {
-            ledger: PROGRESS_LEDGER_VERSION,
-            puzzle: "1.0.0",
-            risk: PROGRESS_RISK_VERSION,
-            translation: PROGRESS_TRANSLATION_VERSION,
-            templates: PROGRESS_TEMPLATES_VERSION,
-            confirm: PROGRESS_CONFIRM_VERSION,
-            context: PROGRESS_CONTEXT_VERSION,
-        },
-        scenes_count: getProgressScenesCount(),
-        builtin_permissions_count: PROGRESS_PERMISSIONS.length,
-        builtin_permissions: PROGRESS_PERMISSIONS.map(p => ({
-            index: p.index,
-            name: p.name,
-            sdk_exposed: p.sdk_exposed,
-        })),
-        templates_count: PROGRESS_TEMPLATES.length,
-        templates: listProgressTemplates(),
-        semantic_patterns_count: PROGRESS_SEMANTIC_TO_SCHEMA_RULES.length,
-        schema_rules_count: PROGRESS_SCHEMA_TO_SEMANTIC_RULES.length,
-        constraint_rules_count: PROGRESS_CONSTRAINT_RULES.length,
-        risk_rules_count: getProgressRiskRulesCount(),
-        checklist_count: PROGRESS_OPERATION_CHECKLIST.length,
-        confirmation_questions_count: PROGRESS_CONFIRMATION_QUESTIONS.length,
-        cross_object_refs_count: PROGRESS_CROSS_OBJECT_REFS.length,
-        onchain_limits: {
-            max_named_operator_count: MAX_NAMED_OPERATOR_COUNT,
-            max_named_operator_address_count: MAX_NAMED_OPERATOR_ADDRESS_COUNT,
-            max_context_repository_count: MAX_CONTEXT_REPOSITORY_COUNT,
-        },
-        injection_modes: [
-            "initial_design",
-            "mid_progress_review",
-            "pre_advance",
-            "post_task_binding",
-            "stakeholder_review",
-            "apply_check",
-        ],
-        stakeholders: ["owner", "named_operator", "submitter", "system"],
-    };
-}
+import{MAX_NAMED_OPERATOR_COUNT,MAX_NAMED_OPERATOR_ADDRESS_COUNT,MAX_CONTEXT_REPOSITORY_COUNT}from'@wowok/wowok';import{PROGRESS_PERMISSIONS,PROGRESS_LEDGER_VERSION,PROGRESS_CROSS_OBJECT_REFS,inferSceneFromIntent,getScenesByIndustry,getScenesByPhase,getAllBuiltinPermissions,getProgressScenesCount,validateNamedOperatorAddressList,validateNamedOperatorCount,validateContextRepositoryCount}from'./progress-ledger.js';import{initPuzzleFromIntent,checkPuzzleCompleteness}from'./progress-puzzle.js';import{PROGRESS_RISK_VERSION,assessProgressRisks,getAllProgressRiskRules,getProgressRiskRulesCount}from'./progress-risk.js';import{PROGRESS_TRANSLATION_VERSION,PROGRESS_SEMANTIC_TO_SCHEMA_RULES,PROGRESS_SCHEMA_TO_SEMANTIC_RULES,PROGRESS_CONSTRAINT_RULES,matchSemanticPattern}from'./progress-translation.js';import{PROGRESS_TEMPLATES,PROGRESS_TEMPLATES_VERSION,getProgressTemplatesByScene,listProgressTemplates}from'./progress-templates.js';import{PROGRESS_CONFIRM_VERSION,PROGRESS_OPERATION_CHECKLIST,PROGRESS_CONFIRMATION_QUESTIONS}from'./progress-confirm.js';export const PROGRESS_CONTEXT_VERSION='1.0.0';export function buildProgressContext(a){const b=a['max_length']??0xfa0;let c;a['intent']&&(c=inferSceneFromIntent(a['intent']));if(!c&&a['target_phase']){const p=getScenesByPhase(a['target_phase']);if(p['length']>0x0)c=p[0x0];}if(!c&&a['target_industry']){const q=getScenesByIndustry(a['target_industry']);if(q['length']>0x0)c=q[0x0];}let d;if(c){const r=getProgressTemplatesByScene(c['id']);if(r['length']>0x0)d=r[0x0];}let e;if(a['intent']){const s=matchSemanticPattern(a['intent']);if(s['length']>0x0)e=s[0x0];}let f,g;a['mode']==='initial_design'&&a['intent']&&(f=initPuzzleFromIntent({'rule_sentence':a['intent']}),g=checkPuzzleCompleteness(f));const h=filterRiskRules(a['mode'],a['stakeholder'],c);let i;if(a['mode']==='pre_advance'&&a['progress_json']){const t={'object':a['progress_json']['object'],'task':a['progress_json']['task'],'repository':a['progress_json']['repository'],'progress_namedOperator':a['progress_json']['progress_namedOperator'],'operate':a['progress_json']['operate'],'current_machine':a['current_machine'],'machine_published':a['machine_published'],'current_task':a['current_task'],'current_named_operator_count':a['current_named_operator_count'],'current_context_repository_count':a['current_context_repository_count'],'current_node':a['current_node'],'forward_already_accomplished':a['forward_already_accomplished'],'holder_address':a['holder_address'],'signer':a['signer'],'forward_named_operator':a['forward_named_operator'],'forward_permission_index':a['forward_permission_index'],'forward_has_guard':a['forward_has_guard'],'target_objects_types':a['target_objects_types']};i=assessProgressRisks(t);}const j=filterChecklist(a['mode']),k=filterQuestions(a['mode']),l=c?c['builtin_indexes_consumed']:getAllBuiltinPermissions(),m=buildCrossObjectRefs(a['target_phase'],c),n=buildOnchainConstraints(),o=buildRenderingHints(a['mode'],b,a['progress_json']?.['operate']?.['op']==='adminUnhold',!!a['progress_json']?.['task']);return{'version':PROGRESS_CONTEXT_VERSION,'mode':a['mode'],'stakeholder_perspective':a['stakeholder'],'matched_scene':c,'matched_template':d,'matched_pattern':e,'puzzle_state':f,'puzzle_completeness':g,'relevant_risks':h,'risk_assessment':i,'relevant_checklist':j,'relevant_questions':k,'relevant_builtin_permissions':l,'cross_object_refs':m,'onchain_constraints':n,'rendering_hints':o};}function filterRiskRules(a,b,c){const d=getAllProgressRiskRules();if(a==='initial_design')return d['filter'](e=>e['category']==='structural'||e['category']==='lifecycle');if(a==='pre_advance')return d;if(a==='post_task_binding')return d['filter'](e=>e['id']!=='R-PR-2-01');if(a==='stakeholder_review'&&b){if(b==='owner')return d['filter'](e=>e['category']==='permission'||e['category']==='lifecycle'||e['category']==='cross_object');if(b==='named_operator')return d['filter'](e=>e['category']==='permission'||e['id']==='R-PR-4-02'||e['id']==='R-PR-4-03');if(b==='submitter')return d['filter'](e=>e['category']==='semantic'||e['id']==='R-PR-3-03'||e['id']==='R-PR-4-02'||e['id']==='R-PR-4-03');if(b==='system')return d['filter'](e=>e['category']==='cross_object'||e['category']==='structural');}if(a==='apply_check')return d['filter'](e=>e['category']==='cross_object'||e['id']==='R-PR-4-01');return d;}function filterChecklist(a){if(a==='initial_design')return PROGRESS_OPERATION_CHECKLIST['filter'](b=>['C-PR-01','C-PR-03','C-PR-04','C-PR-05']['includes'](b['id']));if(a==='post_task_binding')return PROGRESS_OPERATION_CHECKLIST['filter'](b=>b['id']!=='C-PR-06');if(a==='stakeholder_review')return PROGRESS_OPERATION_CHECKLIST['filter'](b=>['C-PR-01','C-PR-02','C-PR-07','C-PR-09','C-PR-10']['includes'](b['id']));return PROGRESS_OPERATION_CHECKLIST;}function filterQuestions(a){if(a==='pre_advance')return PROGRESS_CONFIRMATION_QUESTIONS;if(a==='post_task_binding')return PROGRESS_CONFIRMATION_QUESTIONS['filter'](b=>b['id']!=='QPR2');if(a==='initial_design')return PROGRESS_CONFIRMATION_QUESTIONS['filter'](b=>b['id']==='QPR5');return[];}function buildCrossObjectRefs(a,b){const c=PROGRESS_CROSS_OBJECT_REFS['map'](d=>({'object':d['object'],'phase':d['phase'],'relationship':d['relationship'],'description':d['relationship']}));if(a)return c['filter'](d=>d['phase']===a||d['phase']==='universal');if(b){const d=b['phases'];return c['filter'](e=>e['phase']==='universal'||d['includes'](e['phase']));}return c;}function buildOnchainConstraints(){return[{'name':'MAX_NAMED_OPERATOR_COUNT','value':MAX_NAMED_OPERATOR_COUNT,'description':'Maximum\x20named_operator\x20namespace\x20entries\x20per\x20Progress','error_code':'E_MAX_NAMED_OPERATOR_COUNT'},{'name':'MAX_NAMED_OPERATOR_ADDRESS_COUNT','value':MAX_NAMED_OPERATOR_ADDRESS_COUNT,'description':'Maximum\x20addresses\x20per\x20named_operator\x20namespace\x20entry','error_code':'E_MAX_NAMED_OPERATOR_ADDRESS_COUNT'},{'name':'MAX_CONTEXT_REPOSITORY_COUNT','value':MAX_CONTEXT_REPOSITORY_COUNT,'description':'Maximum\x20context_repositories\x20per\x20Progress','error_code':'E_MAX_CONTEXT_REPOSITORY_COUNT'},{'name':'PROGRESS_NEW\x20(220)','value':0xdc,'description':'Builtin:\x20create\x20new\x20Progress\x20(asserted\x20by\x20progress::new\x20/\x20new_with_passport;\x20bypassed\x20by\x20service::buy\x20→\x20new_imp)'},{'name':'PROGRESS_NAMED_OPERATOR\x20(221)','value':0xdd,'description':'Builtin:\x20manage\x20named_operator\x20namespace\x20(add/set/remove)'},{'name':'PROGRESS_TASK\x20(222)','value':0xde,'description':'Builtin:\x20submit\x20task\x20(one-time,\x20immutable\x20—\x20E_TASK_ALREADY_SET)','error_code':'E_TASK_ALREADY_SET'},{'name':'PROGRESS_CONTEXT_REPOSITORY\x20(223)','value':0xdf,'description':'Builtin:\x20bind/unbind\x20context\x20Repository\x20(≤\x2030)'},{'name':'PROGRESS_UNHOLD\x20(224)','value':0xe0,'description':'Builtin:\x20adminUnhold\x20(force\x20release,\x20bypasses\x20holder\x20check)','error_code':'E_NOT_THE_HOLDER'},{'name':'PROGRESS_OWNER_RECEIVE\x20(225)','value':0xe1,'description':'Builtin:\x20owner\x20receive\x20(unwrap\x20Receiving<K>\x20/\x20CoinWrapper<T>\x20at\x20terminal\x20node)'},{'name':'E_MACHINE_NOT_MATCH','value':0x4,'description':'Move\x20error:\x20progress.machine\x20≠\x20machine.id_address\x20(every\x20op\x20asserts\x20this)'},{'name':'E_FORWARD_ALREADY_ACCOMPLISHED','value':0x7,'description':'Move\x20error:\x20re-hold\x20on\x20completed\x20forward\x20is\x20blocked'},{'name':'E_NEED_PASSPORT','value':0x9,'description':'Move\x20error:\x20Forward.guard\x20is\x20Some\x20but\x20plain\x20next()\x20called\x20—\x20use\x20*_with_passport\x20variant'},{'name':'E_ORDER_NOT_MATCH','value':0xa,'description':'Move\x20error:\x20order_next/order_hold\x20called\x20but\x20progress.task\x20≠\x20order\x20address'}];}function buildRenderingHints(a,b,c,d){return{'include_puzzle_template':a==='initial_design','include_risk_details':a==='pre_advance'||a==='stakeholder_review','include_questions':a==='pre_advance','include_immutability_warning':d||a==='post_task_binding','include_admin_unhold_warning':c,'include_cross_object_refs':a==='apply_check'||a==='initial_design','include_terminal_node_note':a==='post_task_binding'||a==='pre_advance','max_length':b};}export function buildPromptFromProgressContext(a){const b=[],d=a['rendering_hints'];b['push']('═══\x20Progress\x20Context\x20(mode:\x20'+a['mode']+')\x20═══'),b['push']('');a['stakeholder_perspective']&&(b['push']('Stakeholder\x20perspective:\x20'+a['stakeholder_perspective']),b['push'](''));a['matched_scene']&&(b['push']('Scene:\x20'+a['matched_scene']['name']),b['push']('Phases:\x20'+a['matched_scene']['phases']['join'](',\x20')),b['push']('Requires\x20published\x20Machine:\x20'+(a['matched_scene']['requires_published_machine']?'YES':'NO')),b['push']('Requires\x20Order\x20bound:\x20'+(a['matched_scene']['requires_order_bound']?'YES':'NO')),b['push']('Uses\x20hold\x20mechanism:\x20'+(a['matched_scene']['uses_hold_mechanism']?'YES':'NO')),b['push']('Uses\x20adminUnhold:\x20'+(a['matched_scene']['uses_admin_unhold']?'YES':'NO')),b['push'](''));a['matched_template']&&(b['push']('Suggested\x20template:\x20'+a['matched_template']['id']+'\x20—\x20'+a['matched_template']['name']),b['push'](''));a['matched_pattern']&&(b['push']('Matched\x20pattern:\x20'+a['matched_pattern']['id']+'\x20—\x20'+a['matched_pattern']['pattern_name']),b['push']('Intent:\x20'+a['matched_pattern']['semantic_intent']),b['push'](''));if(d['include_puzzle_template']&&a['puzzle_completeness']){const e=a['puzzle_completeness'];b['push']('─\x20Puzzle\x20Completeness\x20──────────────'),b['push']('Complete:\x20'+(e['complete']?'YES':'NO'));if(e['missing']['length']>0x0){b['push']('Missing\x20dimensions:\x20'+e['missing']['join'](',\x20'));for(const f of e['missing_details']){b['push']('\x20\x20-\x20'+f['dimension']+':\x20'+f['reason']);}}b['push']('Next:\x20'+e['next_step']),b['push']('');}if(d['include_risk_details']&&a['relevant_risks']['length']>0x0){b['push']('─\x20Relevant\x20Risk\x20Rules\x20('+a['relevant_risks']['length']+')\x20──────────────');for(const g of a['relevant_risks']['slice'](0x0,0x6)){b['push']('\x20\x20'+g['id']+'\x20['+g['category']+']\x20—\x20'+g['trigger']);}a['relevant_risks']['length']>0x6&&b['push']('\x20\x20...\x20and\x20'+(a['relevant_risks']['length']-0x6)+'\x20more'),b['push']('');}a['risk_assessment']&&(b['push']('─\x20Risk\x20Assessment\x20──────────────'),b['push']('Overall:\x20'+a['risk_assessment']['overall_risk']),b['push']('Detected:\x20'+a['risk_assessment']['risks']['length']+'\x20risk(s)'),a['risk_assessment']['needs_human_review']&&b['push']('⚠️\x20Needs\x20human\x20review\x20(HIGH/CRITICAL\x20risks\x20present)'),b['push'](''));if(a['relevant_builtin_permissions']['length']>0x0){b['push']('─\x20Builtin\x20Permissions\x20('+a['relevant_builtin_permissions']['length']+')\x20──────────────');for(const i of a['relevant_builtin_permissions']){b['push']('\x20\x20['+i['index']+']\x20'+i['name']+':\x20'+i['description']);}b['push']('');}d['include_immutability_warning']&&(b['push']('⚠️\x20TASK\x20IMMUTABILITY:\x20task_set\x20is\x20ONE-TIME.\x20E_TASK_ALREADY_SET\x20blocks\x20any\x20re-assignment.'),b['push']('\x20\x20\x20Once\x20Progress.task\x20is\x20bound\x20to\x20an\x20Order/Reward,\x20it\x20cannot\x20be\x20changed.'),b['push'](''));d['include_admin_unhold_warning']&&(b['push']('⚠️\x20ADMINUNHOLD\x20(224):\x20Force-release\x20bypasses\x20holder\x20check.'),b['push']('\x20\x20\x20Grant\x20224\x20only\x20to\x20dedicated\x20recovery\x20addresses;\x20log\x20every\x20invocation.'),b['push'](''));if(d['include_cross_object_refs']&&a['cross_object_refs']['length']>0x0){b['push']('─\x20Cross-Object\x20References\x20('+a['cross_object_refs']['length']+')\x20──────────────');for(const j of a['cross_object_refs']['slice'](0x0,0x8)){b['push']('\x20\x20'+j['object']+'\x20['+j['phase']+']:\x20'+j['relationship']);}a['cross_object_refs']['length']>0x8&&b['push']('\x20\x20...\x20and\x20'+(a['cross_object_refs']['length']-0x8)+'\x20more'),b['push']('');}d['include_terminal_node_note']&&(b['push']('─\x20Terminal\x20Node\x20Note\x20──────────────'),b['push']('At\x20terminal\x20nodes\x20(completed/enforced/return_approved/paid),\x20use\x20progress::owner_receive'),b['push']('to\x20unwrap\x20Receiving<K>\x20/\x20CoinWrapper<T>\x20via\x20Payment.unwrap_with_check.'),b['push']('Permission\x20225\x20(PROGRESS_OWNER_RECEIVE)\x20required;\x20recipient\x20=\x20Machine.permission\x20owner.'),b['push'](''));if(a['onchain_constraints']['length']>0x0){b['push']('─\x20On-chain\x20Constraints\x20──────────────');for(const k of a['onchain_constraints']){const l=k['error_code']?'\x20(abort:\x20'+k['error_code']+')':'';b['push']('\x20\x20'+k['name']+'\x20=\x20'+k['value']+'\x20—\x20'+k['description']+l);}b['push']('');}return b['join']('\x0a');}export function getProgressContextSummary(a){const b=['mode='+a['mode'],'scene='+(a['matched_scene']?.['id']??'none'),'risks='+a['relevant_risks']['length'],'permissions='+a['relevant_builtin_permissions']['length'],'cross_refs='+a['cross_object_refs']['length']];if(a['stakeholder_perspective'])b['push']('stakeholder='+a['stakeholder_perspective']);if(a['risk_assessment'])b['push']('overall_risk='+a['risk_assessment']['overall_risk']);if(a['matched_template'])b['push']('template='+a['matched_template']['id']);if(a['matched_pattern'])b['push']('pattern='+a['matched_pattern']['id']);return b['join'](',\x20');}export function buildStakeholderContext(a,b,c){return buildProgressContext({'mode':'stakeholder_review','intent':b,'progress_json':c,'stakeholder':a});}export function quickValidateProgressJson(a,b={}){const c=[];if(a['progress_namedOperator']){const d=validateNamedOperatorAddressList(a['progress_namedOperator']['operators']);if(!d['ok'])c['push'](...d['violations']);if((a['progress_namedOperator']['op']==='add'||a['progress_namedOperator']['op']==='set')&&b['current_named_operator_count']!==undefined){const e=validateNamedOperatorCount(b['current_named_operator_count']);if(!e['ok'])c['push'](e['violation']);}}if(a['repository']&&(a['repository']['op']==='add'||a['repository']['op']==='set')){const f=a['repository']['objects']['length'],g=b['current_context_repository_count']??0x0,h=validateContextRepositoryCount(g,f);if(!h['ok'])c['push'](h['violation']);}return a['task']&&b['current_task']&&c['push']('task\x20already\x20set\x20to\x20'+b['current_task']+'\x20—\x20E_TASK_ALREADY_SET\x20will\x20abort'),b['machine_published']===![]&&c['push']('Machine\x20not\x20published\x20—\x20Progress\x20requires\x20published\x20Machine'),{'ok':c['length']===0x0,'violations':c};}export function getProgressKnowledgeSnapshot(){return{'version':{'ledger':PROGRESS_LEDGER_VERSION,'puzzle':'1.0.0','risk':PROGRESS_RISK_VERSION,'translation':PROGRESS_TRANSLATION_VERSION,'templates':PROGRESS_TEMPLATES_VERSION,'confirm':PROGRESS_CONFIRM_VERSION,'context':PROGRESS_CONTEXT_VERSION},'scenes_count':getProgressScenesCount(),'builtin_permissions_count':PROGRESS_PERMISSIONS['length'],'builtin_permissions':PROGRESS_PERMISSIONS['map'](a=>({'index':a['index'],'name':a['name'],'sdk_exposed':a['sdk_exposed']})),'templates_count':PROGRESS_TEMPLATES['length'],'templates':listProgressTemplates(),'semantic_patterns_count':PROGRESS_SEMANTIC_TO_SCHEMA_RULES['length'],'schema_rules_count':PROGRESS_SCHEMA_TO_SEMANTIC_RULES['length'],'constraint_rules_count':PROGRESS_CONSTRAINT_RULES['length'],'risk_rules_count':getProgressRiskRulesCount(),'checklist_count':PROGRESS_OPERATION_CHECKLIST['length'],'confirmation_questions_count':PROGRESS_CONFIRMATION_QUESTIONS['length'],'cross_object_refs_count':PROGRESS_CROSS_OBJECT_REFS['length'],'onchain_limits':{'max_named_operator_count':MAX_NAMED_OPERATOR_COUNT,'max_named_operator_address_count':MAX_NAMED_OPERATOR_ADDRESS_COUNT,'max_context_repository_count':MAX_CONTEXT_REPOSITORY_COUNT},'injection_modes':['initial_design','mid_progress_review','pre_advance','post_task_binding','stakeholder_review','apply_check'],'stakeholders':['owner','named_operator','submitter','system']};}