@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/machine-ledger.js

@@ -1,338 +1 @@
-export const MACHINE_SCENES = [
-    {
-        id: "ecommerce_standard",
-        name: "Standard E-commerce Flow",
-        industry: ["ecommerce"],
-        scenario: "Paid (entry) → Ship → Receive → Complete",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Receive"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Ship"] },
-        ],
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Ship", scene: "machine_forward_guard", purpose: "Verify order is paid (post-buy state)" },
-            { forward: "Receive", scene: "machine_forward_guard", purpose: "Verify identity" },
-        ],
-        allocation_integration: "Complete node -> Allocator distributes funds to merchant",
-        special_constraints: [
-            "First node 'Paid' represents post-payment state — buy() completes payment atomically before Progress is created",
-            "No separate 'Order' or 'Pay' nodes needed — payment is handled by Service.buy(), not Machine",
-            "All nodes after entry represent order processing (ship, receive, complete), NOT payment actions",
-            "Receipt auto-triggers fund allocation",
-        ],
-        first_node_semantics: "Paid — order has been created and paid via Service.buy(); Machine starts at post-payment state",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M2", "M3", "M5", "M8"],
-    },
-    {
-        id: "ecommerce_with_exceptions",
-        name: "E-commerce Flow with Exception Branches",
-        industry: ["ecommerce"],
-        scenario: "Paid (entry) → Ship → {Receive → Complete | Lost (terminal) | Return → Refund}",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Receive", "Return", "Lost"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Ship", "Refund", "Lost"] },
-        ],
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        guard_requirements: [
-            { forward: "Lost", scene: "machine_forward_guard", purpose: "Dual-sig to confirm lost" },
-        ],
-        allocation_integration: "Complete->merchant | Refund->customer | Lost->escrow or partial refund (Allocator only). Disputes are NOT modeled here — they flow through Order + Arbitration object off-Machine.",
-        special_constraints: [
-            "First node 'Paid' represents post-payment state — buy() completes payment atomically before Progress is created",
-            "No separate 'Order' or 'Pay' nodes needed — payment is handled by Service.buy(), not Machine",
-            "Lost node threshold=2 (customer + merchant dual-sig) — Lost is a TERMINAL node, not a path to arbitration",
-            "Competing Pair: Receive vs Lost vs Return (first-wins)",
-            "DISPUTE INDEPENDENCE: arbitration is NOT a Machine node. If a Lost-terminal order later needs dispute resolution, the customer files arbitration::dispute(order, arbitration) against the Arbitration object bound to the Service — completely off-Machine. Arbitrators live in Arbitration.voting_guard, never in Permission or NamedOperator.",
-            "Refund Allocation must use sharing.who=OrderHolder (refund to customer, NOT merchant)",
-        ],
-        first_node_semantics: "Paid — order has been created and paid via Service.buy(); Machine starts at post-payment state",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M2", "M3", "M5", "M6", "M8"],
-    },
-    {
-        id: "rental_standard",
-        name: "Equipment Rental Flow",
-        industry: ["rental"],
-        scenario: "DepositPaid (entry) → Pickup → In Use → Return → Refund Deposit",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Pickup", "Return"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Deliver", "Refund Deposit"] },
-        ],
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Pickup", scene: "machine_forward_guard", purpose: "Verify deposit paid (post-buy state)" },
-            { forward: "Return", scene: "machine_forward_guard", purpose: "Verify equipment condition" },
-        ],
-        allocation_integration: "Return complete -> deposit refund + rental fee allocation",
-        special_constraints: [
-            "First node 'DepositPaid' represents post-payment state — buy() completes deposit payment atomically before Progress is created",
-            "No separate 'Reserve' or 'PayDeposit' nodes needed — reservation and payment are handled by Service.buy(), not Machine",
-            "Deposit and rental fee separated (two Allocators)",
-            "Equipment damage verified by Guard (retained_submission stores inspection report)",
-        ],
-        first_node_semantics: "DepositPaid — deposit has been paid via Service.buy(); Machine starts at post-deposit state",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M2", "M3", "M5", "M8"],
-    },
-    {
-        id: "dual_signature",
-        name: "Dual-Signature Consensus Flow",
-        industry: ["ecommerce", "service", "logistics"],
-        scenario: "Critical node requires customer + merchant dual confirmation to advance",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Confirm"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Confirm"] },
-        ],
-        recommended_patterns: ["P-M-AND"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Both Confirm", scene: "machine_forward_guard", purpose: "Verify identity" },
-        ],
-        allocation_integration: "After dual-sig -> fund allocation",
-        special_constraints: [
-            "threshold=2, two Forwards with weight=1 each",
-            "Customer Forward: namedOperator='' (OrderHolder)",
-            "Merchant Forward: permissionIndex=2",
-        ],
-        first_node_semantics: "Initiated — order has been created and paid via Service.buy(); Machine starts at post-payment state, awaiting dual-sig confirmation",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M3", "M4", "M5"],
-    },
-    {
-        id: "weighted_voting",
-        name: "Weighted Voting Flow",
-        industry: ["governance", "arbitration"],
-        scenario: "Multi-party voting with unequal weights, accumulate to threshold to advance",
-        participants: [
-            { role: "chief", permission_type: "Permission", involved_in: ["Vote"] },
-            { role: "member", permission_type: "NamedOperator", involved_in: ["Vote"] },
-        ],
-        recommended_patterns: ["P-M-VOTE"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Vote", scene: "arbitration_voting_guard", purpose: "Verify voting eligibility + weight extraction" },
-        ],
-        allocation_integration: "After voting complete -> result execution",
-        special_constraints: [
-            "threshold=100, chief weight=60, member weight=40",
-            "GuardIdentifier must be numeric type (extracts weight)",
-            "Prevent double-voting (Guard queries arb.voted has)",
-        ],
-        first_node_semantics: "VoteOpened — dispute has been submitted (order already paid via Service.buy()); Machine starts at post-payment dispute state",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M3", "M4", "M5"],
-    },
-    {
-        id: "cross_machine_supply_chain",
-        name: "Cross-Machine Supply Chain",
-        industry: ["manufacturing", "logistics", "retail"],
-        scenario: "Supplier → Manufacturer → Retailer, each link is independent Machine",
-        participants: [
-            { role: "supplier", permission_type: "Permission", involved_in: ["Machine A"] },
-            { role: "manufacturer", permission_type: "Permission", involved_in: ["Machine B"] },
-            { role: "retailer", permission_type: "Permission", involved_in: ["Machine C"] },
-        ],
-        recommended_patterns: ["P-M-CROSS-MACHINE"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Start Manufacturing", scene: "machine_forward_guard", purpose: "Verify supplier Progress completed" },
-            { forward: "Start Retail", scene: "machine_forward_guard", purpose: "Verify manufacturer Progress completed" },
-        ],
-        allocation_integration: "Each Machine has independent allocation",
-        special_constraints: [
-            "Machine B's Guard uses convert_witness=100 to query Machine A's Progress",
-            "Cross-Machine dependency is one-way (no cycles)",
-            "Each Machine must be published independently",
-            "Dependency verification: indirect via progress::new -> assert_published (see 06 §14.6)",
-            "Each Machine in the chain starts at a post-payment state (each link's Service.buy() handles payment independently)",
-        ],
-        first_node_semantics: "UpstreamVerified — order has been paid via upstream Service.buy(); Machine starts at post-payment state, verifying upstream completion",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M3", "M8"],
-    },
-    {
-        id: "privacy_delivery",
-        name: "Privacy Delivery Flow",
-        industry: ["ecommerce", "logistics"],
-        scenario: "Privacy data delivered via Messenger (encrypted), chain stores only Proof",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Submit Proof"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Verify Proof"] },
-        ],
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Submit Proof", scene: "machine_forward_guard", purpose: "Verify Proof signature + timestamp" },
-        ],
-        allocation_integration: "After Proof verified -> continue flow",
-        special_constraints: [
-            "Uses tpl_forward_privacy_delivery_proof template (strict mode)",
-            "retained_submission preserves Proof address for arbitration query",
-            "Proof MUST be generated by messenger.submitChainProof",
-            "submitChainProof about_address = peerAddress (NOT sessionId)",
-            "Guard table item name <64 BCS bytes (MAX_NAME_LENGTH=64)",
-            "First node represents post-payment state — payment is handled by Service.buy(), not Machine",
-        ],
-        first_node_semantics: "Paid — order has been created and paid via Service.buy(); Machine starts at post-payment state, awaiting proof submission",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M3", "M7"],
-    },
-    {
-        id: "reward_incentive",
-        name: "Reward Incentive Flow",
-        industry: ["ecommerce", "subscription", "education"],
-        scenario: "Trigger Reward claim after completing specific node",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Claim Reward"] },
-            { role: "platform", permission_type: "Permission", involved_in: ["Issue Reward"] },
-        ],
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        guard_requirements: [
-            { forward: "Claim", scene: "reward_guard", purpose: "Verify claim eligibility + prevent double-claim" },
-        ],
-        allocation_integration: "Reward is independent of Allocation",
-        special_constraints: [
-            "Reward Guard must prevent double-claim (R-X1-14 CRITICAL)",
-            "Uses query_reward_record_count == 0 for anti-reentry",
-            "Reward object must be already created",
-        ],
-        first_node_semantics: "Eligible — order has been created and paid via Service.buy(); Machine starts at post-payment state, customer is eligible to claim reward",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M3", "M8"],
-    },
-    {
-        id: "wonder_feedback",
-        name: "Wonder Feedback Flow (Post-Completion Rating)",
-        industry: ["ecommerce", "service", "rental", "subscription", "education"],
-        scenario: "Paid (entry) → ... → Completed → {Wonder | NoWonder} (rating terminals)",
-        participants: [
-            { role: "customer", permission_type: "OrderHolder", involved_in: ["Wonder", "NoWonder"] },
-            { role: "merchant", permission_type: "Permission", involved_in: ["Completed"] },
-        ],
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        guard_requirements: [
-            { forward: "Praise", scene: "machine_forward_guard", purpose: "Verify Progress.current == 'Completed' (rating only after completion)" },
-            { forward: "Complain", scene: "machine_forward_guard", purpose: "Verify Progress.current == 'Completed' (rating only after completion)" },
-        ],
-        allocation_integration: "Completed -> merchant allocation (terminal); Wonder/NoWonder are reputation terminals — no fund allocation. Reward object (independent) claims fire when Progress.current == 'wonder'",
-        special_constraints: [
-            "Dispute MUST NOT be modeled as machine nodes — disputes flow through Order + Arbitration object, independent of this Machine",
-            "Wonder/NoWonder are POST-completion terminals: order is already settled when customer rates",
-            "Both Wonder and NoWonder forwards have named_operator='' (OrderHolder) — rating is a customer-only action",
-            "Reward object (if bound) MUST use a Guard verifying Progress.current == 'wonder' AND order.holder == signer — no Permission needed for reward claim",
-            "Competing Pair: Praise vs Complain (first-wins; one rating per order)",
-            "No dispute/refund/arbitration nodes in this Machine — those flows live off-Machine",
-        ],
-        first_node_semantics: "Paid — order has been created and paid via Service.buy(); Machine starts at post-payment state, same as e-commerce baseline",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M2", "M3", "M5", "M8"],
-    },
-    {
-        id: "subscription",
-        name: "Subscription / Membership Flow",
-        industry: ["subscription", "service"],
-        scenario: "Paid (entry) → Activate → [Renew | Expire] → Cancel/End",
-        participants: [
-            { role: "subscriber", permission_type: "OrderHolder", involved_in: ["Renew", "Cancel"] },
-            { role: "provider", permission_type: "Permission", involved_in: ["Activate", "Pause"] },
-        ],
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        guard_requirements: [
-            { forward: "Renew", scene: "machine_forward_guard", purpose: "Time-lock verification" },
-            { forward: "Cancel", scene: "machine_forward_guard", purpose: "Verify subscription status" },
-        ],
-        allocation_integration: "Renew -> fund allocation | Expire -> stop service",
-        special_constraints: [
-            "First node 'Paid' represents post-payment state — buy() completes subscription payment atomically before Progress is created",
-            "No separate 'Subscribe' or 'Pay' nodes needed — subscription and payment are handled by Service.buy(), not Machine",
-            "Time-lock: context(Clock) >= progress.entry_time + duration",
-            "Competing Pair: Renew vs Expire (first-wins)",
-            "Repository records subscription status",
-            "Note: Machine.consensus_repositories is declarative-only and NOT auto-passed to Progress (see 06 §14.4)",
-        ],
-        first_node_semantics: "Paid — subscription has been created and paid via Service.buy(); Machine starts at post-payment state, awaiting activation",
-        mutable_after_publish: false,
-        m_rounds_focus: ["M1", "M3", "M6", "M8"],
-    },
-];
-export const MACHINE_LEDGER_VERSION = "1.0.0";
-export const MACHINE_SCENES_COUNT = MACHINE_SCENES.length;
-export function findScene(id) {
-    return MACHINE_SCENES.find((s) => s.id === id);
-}
-export function getScenesByIndustry(industry) {
-    return MACHINE_SCENES.filter((s) => s.industry.includes(industry));
-}
-export function getScenesByPattern(patternId) {
-    return MACHINE_SCENES.filter((s) => s.recommended_patterns.includes(patternId));
-}
-export function getScenesByTopology(topologyId) {
-    return MACHINE_SCENES.filter((s) => s.recommended_topology.includes(topologyId));
-}
-export function inferSceneFromFlow(description) {
-    const lower = description.toLowerCase();
-    if (lower.includes("supply chain") || lower.includes("cross-machine")) {
-        return findScene("cross_machine_supply_chain");
-    }
-    if (lower.includes("wonder") || lower.includes("praise") || lower.includes("complain")
-        || lower.includes("thumbs_up") || lower.includes("thumbs_down")
-        || lower.includes("rating") || lower.includes("feedback")
-        || lower.includes("praise") || lower.includes("complaint")) {
-        return findScene("wonder_feedback");
-    }
-    if (lower.includes("reward") || lower.includes("incentive")) {
-        return findScene("reward_incentive");
-    }
-    if (lower.includes("privacy") || lower.includes("messenger")) {
-        return findScene("privacy_delivery");
-    }
-    if (lower.includes("vote") || lower.includes("weight")) {
-        return findScene("weighted_voting");
-    }
-    if (lower.includes("dual-sig") || lower.includes("both confirm")) {
-        return findScene("dual_signature");
-    }
-    if (lower.includes("subscribe") || lower.includes("membership")) {
-        return findScene("subscription");
-    }
-    if (lower.includes("rental") || lower.includes("deposit")) {
-        return findScene("rental_standard");
-    }
-    if (lower.includes("lost") || lower.includes("return")) {
-        return findScene("ecommerce_with_exceptions");
-    }
-    if (lower.includes("ecommerce") || lower.includes("order")) {
-        return findScene("ecommerce_standard");
-    }
-    return undefined;
-}
-export function getImmutableScenes() {
-    return MACHINE_SCENES.filter((s) => !s.mutable_after_publish);
-}
-export function getScenesWithGuardRequirements() {
-    return MACHINE_SCENES.filter((s) => s.guard_requirements.length > 0);
-}
-export function getReferencedGuardSceneIds() {
-    const ids = new Set();
-    for (const scene of MACHINE_SCENES) {
-        for (const req of scene.guard_requirements) {
-            ids.add(req.scene);
-        }
-    }
-    return ids;
-}
-export function listScenes() {
-    return MACHINE_SCENES.map((s) => ({
-        id: s.id,
-        name: s.name,
-        scenario: s.scenario,
-        patterns: s.recommended_patterns,
-    }));
-}
+export const MACHINE_SCENES=[{'id':'ecommerce_standard','name':'Standard\x20E-commerce\x20Flow','industry':['ecommerce'],'scenario':'Paid\x20(entry)\x20→\x20Ship\x20→\x20Receive\x20→\x20Complete','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Receive']},{'role':'merchant','permission_type':'Permission','involved_in':['Ship']}],'recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Ship','scene':'machine_forward_guard','purpose':'Verify\x20order\x20is\x20paid\x20(post-buy\x20state)'},{'forward':'Receive','scene':'machine_forward_guard','purpose':'Verify\x20identity'}],'allocation_integration':'Complete\x20node\x20->\x20Allocator\x20distributes\x20funds\x20to\x20merchant','special_constraints':['First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20buy()\x20completes\x20payment\x20atomically\x20before\x20Progress\x20is\x20created','No\x20separate\x20\x27Order\x27\x20or\x20\x27Pay\x27\x20nodes\x20needed\x20—\x20payment\x20is\x20handled\x20by\x20Service.buy(),\x20not\x20Machine','All\x20nodes\x20after\x20entry\x20represent\x20order\x20processing\x20(ship,\x20receive,\x20complete),\x20NOT\x20payment\x20actions','Receipt\x20auto-triggers\x20fund\x20allocation'],'first_node_semantics':'Paid\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state','mutable_after_publish':![],'m_rounds_focus':['M1','M2','M3','M5','M8']},{'id':'ecommerce_with_exceptions','name':'E-commerce\x20Flow\x20with\x20Exception\x20Branches','industry':['ecommerce'],'scenario':'Paid\x20(entry)\x20→\x20Ship\x20→\x20{Receive\x20→\x20Complete\x20|\x20Lost\x20(terminal)\x20|\x20Return\x20→\x20Refund}','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Receive','Return','Lost']},{'role':'merchant','permission_type':'Permission','involved_in':['Ship','Refund','Lost']}],'recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'guard_requirements':[{'forward':'Lost','scene':'machine_forward_guard','purpose':'Dual-sig\x20to\x20confirm\x20lost'}],'allocation_integration':'Complete->merchant\x20|\x20Refund->customer\x20|\x20Lost->escrow\x20or\x20partial\x20refund\x20(Allocator\x20only).\x20Disputes\x20are\x20NOT\x20modeled\x20here\x20—\x20they\x20flow\x20through\x20Order\x20+\x20Arbitration\x20object\x20off-Machine.','special_constraints':['First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20buy()\x20completes\x20payment\x20atomically\x20before\x20Progress\x20is\x20created','No\x20separate\x20\x27Order\x27\x20or\x20\x27Pay\x27\x20nodes\x20needed\x20—\x20payment\x20is\x20handled\x20by\x20Service.buy(),\x20not\x20Machine','Lost\x20node\x20threshold=2\x20(customer\x20+\x20merchant\x20dual-sig)\x20—\x20Lost\x20is\x20a\x20TERMINAL\x20node,\x20not\x20a\x20path\x20to\x20arbitration','Competing\x20Pair:\x20Receive\x20vs\x20Lost\x20vs\x20Return\x20(first-wins)','DISPUTE\x20INDEPENDENCE:\x20arbitration\x20is\x20NOT\x20a\x20Machine\x20node.\x20If\x20a\x20Lost-terminal\x20order\x20later\x20needs\x20dispute\x20resolution,\x20the\x20customer\x20files\x20arbitration::dispute(order,\x20arbitration)\x20against\x20the\x20Arbitration\x20object\x20bound\x20to\x20the\x20Service\x20—\x20completely\x20off-Machine.\x20Arbitrators\x20live\x20in\x20Arbitration.voting_guard,\x20never\x20in\x20Permission\x20or\x20NamedOperator.','Refund\x20Allocation\x20must\x20use\x20sharing.who=OrderHolder\x20(refund\x20to\x20customer,\x20NOT\x20merchant)'],'first_node_semantics':'Paid\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state','mutable_after_publish':![],'m_rounds_focus':['M1','M2','M3','M5','M6','M8']},{'id':'rental_standard','name':'Equipment\x20Rental\x20Flow','industry':['rental'],'scenario':'DepositPaid\x20(entry)\x20→\x20Pickup\x20→\x20In\x20Use\x20→\x20Return\x20→\x20Refund\x20Deposit','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Pickup','Return']},{'role':'merchant','permission_type':'Permission','involved_in':['Deliver','Refund\x20Deposit']}],'recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Pickup','scene':'machine_forward_guard','purpose':'Verify\x20deposit\x20paid\x20(post-buy\x20state)'},{'forward':'Return','scene':'machine_forward_guard','purpose':'Verify\x20equipment\x20condition'}],'allocation_integration':'Return\x20complete\x20->\x20deposit\x20refund\x20+\x20rental\x20fee\x20allocation','special_constraints':['First\x20node\x20\x27DepositPaid\x27\x20represents\x20post-payment\x20state\x20—\x20buy()\x20completes\x20deposit\x20payment\x20atomically\x20before\x20Progress\x20is\x20created','No\x20separate\x20\x27Reserve\x27\x20or\x20\x27PayDeposit\x27\x20nodes\x20needed\x20—\x20reservation\x20and\x20payment\x20are\x20handled\x20by\x20Service.buy(),\x20not\x20Machine','Deposit\x20and\x20rental\x20fee\x20separated\x20(two\x20Allocators)','Equipment\x20damage\x20verified\x20by\x20Guard\x20(retained_submission\x20stores\x20inspection\x20report)'],'first_node_semantics':'DepositPaid\x20—\x20deposit\x20has\x20been\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-deposit\x20state','mutable_after_publish':![],'m_rounds_focus':['M1','M2','M3','M5','M8']},{'id':'dual_signature','name':'Dual-Signature\x20Consensus\x20Flow','industry':['ecommerce','service','logistics'],'scenario':'Critical\x20node\x20requires\x20customer\x20+\x20merchant\x20dual\x20confirmation\x20to\x20advance','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Confirm']},{'role':'merchant','permission_type':'Permission','involved_in':['Confirm']}],'recommended_patterns':['P-M-AND'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Both\x20Confirm','scene':'machine_forward_guard','purpose':'Verify\x20identity'}],'allocation_integration':'After\x20dual-sig\x20->\x20fund\x20allocation','special_constraints':['threshold=2,\x20two\x20Forwards\x20with\x20weight=1\x20each','Customer\x20Forward:\x20namedOperator=\x27\x27\x20(OrderHolder)','Merchant\x20Forward:\x20permissionIndex=2'],'first_node_semantics':'Initiated\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20awaiting\x20dual-sig\x20confirmation','mutable_after_publish':![],'m_rounds_focus':['M3','M4','M5']},{'id':'weighted_voting','name':'Weighted\x20Voting\x20Flow','industry':['governance','arbitration'],'scenario':'Multi-party\x20voting\x20with\x20unequal\x20weights,\x20accumulate\x20to\x20threshold\x20to\x20advance','participants':[{'role':'chief','permission_type':'Permission','involved_in':['Vote']},{'role':'member','permission_type':'NamedOperator','involved_in':['Vote']}],'recommended_patterns':['P-M-VOTE'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Vote','scene':'arbitration_voting_guard','purpose':'Verify\x20voting\x20eligibility\x20+\x20weight\x20extraction'}],'allocation_integration':'After\x20voting\x20complete\x20->\x20result\x20execution','special_constraints':['threshold=100,\x20chief\x20weight=60,\x20member\x20weight=40','GuardIdentifier\x20must\x20be\x20numeric\x20type\x20(extracts\x20weight)','Prevent\x20double-voting\x20(Guard\x20queries\x20arb.voted\x20has)'],'first_node_semantics':'VoteOpened\x20—\x20dispute\x20has\x20been\x20submitted\x20(order\x20already\x20paid\x20via\x20Service.buy());\x20Machine\x20starts\x20at\x20post-payment\x20dispute\x20state','mutable_after_publish':![],'m_rounds_focus':['M3','M4','M5']},{'id':'cross_machine_supply_chain','name':'Cross-Machine\x20Supply\x20Chain','industry':['manufacturing','logistics','retail'],'scenario':'Supplier\x20→\x20Manufacturer\x20→\x20Retailer,\x20each\x20link\x20is\x20independent\x20Machine','participants':[{'role':'supplier','permission_type':'Permission','involved_in':['Machine\x20A']},{'role':'manufacturer','permission_type':'Permission','involved_in':['Machine\x20B']},{'role':'retailer','permission_type':'Permission','involved_in':['Machine\x20C']}],'recommended_patterns':['P-M-CROSS-MACHINE'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Start\x20Manufacturing','scene':'machine_forward_guard','purpose':'Verify\x20supplier\x20Progress\x20completed'},{'forward':'Start\x20Retail','scene':'machine_forward_guard','purpose':'Verify\x20manufacturer\x20Progress\x20completed'}],'allocation_integration':'Each\x20Machine\x20has\x20independent\x20allocation','special_constraints':['Machine\x20B\x27s\x20Guard\x20uses\x20convert_witness=100\x20to\x20query\x20Machine\x20A\x27s\x20Progress','Cross-Machine\x20dependency\x20is\x20one-way\x20(no\x20cycles)','Each\x20Machine\x20must\x20be\x20published\x20independently','Dependency\x20verification:\x20indirect\x20via\x20progress::new\x20->\x20assert_published\x20(see\x2006\x20§14.6)','Each\x20Machine\x20in\x20the\x20chain\x20starts\x20at\x20a\x20post-payment\x20state\x20(each\x20link\x27s\x20Service.buy()\x20handles\x20payment\x20independently)'],'first_node_semantics':'UpstreamVerified\x20—\x20order\x20has\x20been\x20paid\x20via\x20upstream\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20verifying\x20upstream\x20completion','mutable_after_publish':![],'m_rounds_focus':['M1','M3','M8']},{'id':'privacy_delivery','name':'Privacy\x20Delivery\x20Flow','industry':['ecommerce','logistics'],'scenario':'Privacy\x20data\x20delivered\x20via\x20Messenger\x20(encrypted),\x20chain\x20stores\x20only\x20Proof','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Submit\x20Proof']},{'role':'merchant','permission_type':'Permission','involved_in':['Verify\x20Proof']}],'recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Submit\x20Proof','scene':'machine_forward_guard','purpose':'Verify\x20Proof\x20signature\x20+\x20timestamp'}],'allocation_integration':'After\x20Proof\x20verified\x20->\x20continue\x20flow','special_constraints':['Uses\x20tpl_forward_privacy_delivery_proof\x20template\x20(strict\x20mode)','retained_submission\x20preserves\x20Proof\x20address\x20for\x20arbitration\x20query','Proof\x20MUST\x20be\x20generated\x20by\x20messenger.submitChainProof','submitChainProof\x20about_address\x20=\x20peerAddress\x20(NOT\x20sessionId)','Guard\x20table\x20item\x20name\x20<64\x20BCS\x20bytes\x20(MAX_NAME_LENGTH=64)','First\x20node\x20represents\x20post-payment\x20state\x20—\x20payment\x20is\x20handled\x20by\x20Service.buy(),\x20not\x20Machine'],'first_node_semantics':'Paid\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20awaiting\x20proof\x20submission','mutable_after_publish':![],'m_rounds_focus':['M1','M3','M7']},{'id':'reward_incentive','name':'Reward\x20Incentive\x20Flow','industry':['ecommerce','subscription','education'],'scenario':'Trigger\x20Reward\x20claim\x20after\x20completing\x20specific\x20node','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Claim\x20Reward']},{'role':'platform','permission_type':'Permission','involved_in':['Issue\x20Reward']}],'recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'guard_requirements':[{'forward':'Claim','scene':'reward_guard','purpose':'Verify\x20claim\x20eligibility\x20+\x20prevent\x20double-claim'}],'allocation_integration':'Reward\x20is\x20independent\x20of\x20Allocation','special_constraints':['Reward\x20Guard\x20must\x20prevent\x20double-claim\x20(R-X1-14\x20CRITICAL)','Uses\x20query_reward_record_count\x20==\x200\x20for\x20anti-reentry','Reward\x20object\x20must\x20be\x20already\x20created'],'first_node_semantics':'Eligible\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20customer\x20is\x20eligible\x20to\x20claim\x20reward','mutable_after_publish':![],'m_rounds_focus':['M1','M3','M8']},{'id':'wonder_feedback','name':'Wonder\x20Feedback\x20Flow\x20(Post-Completion\x20Rating)','industry':['ecommerce','service','rental','subscription','education'],'scenario':'Paid\x20(entry)\x20→\x20...\x20→\x20Completed\x20→\x20{Wonder\x20|\x20NoWonder}\x20(rating\x20terminals)','participants':[{'role':'customer','permission_type':'OrderHolder','involved_in':['Wonder','NoWonder']},{'role':'merchant','permission_type':'Permission','involved_in':['Completed']}],'recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'guard_requirements':[{'forward':'Praise','scene':'machine_forward_guard','purpose':'Verify\x20Progress.current\x20==\x20\x27Completed\x27\x20(rating\x20only\x20after\x20completion)'},{'forward':'Complain','scene':'machine_forward_guard','purpose':'Verify\x20Progress.current\x20==\x20\x27Completed\x27\x20(rating\x20only\x20after\x20completion)'}],'allocation_integration':'Completed\x20->\x20merchant\x20allocation\x20(terminal);\x20Wonder/NoWonder\x20are\x20reputation\x20terminals\x20—\x20no\x20fund\x20allocation.\x20Reward\x20object\x20(independent)\x20claims\x20fire\x20when\x20Progress.current\x20==\x20\x27wonder\x27','special_constraints':['Dispute\x20MUST\x20NOT\x20be\x20modeled\x20as\x20machine\x20nodes\x20—\x20disputes\x20flow\x20through\x20Order\x20+\x20Arbitration\x20object,\x20independent\x20of\x20this\x20Machine','Wonder/NoWonder\x20are\x20POST-completion\x20terminals:\x20order\x20is\x20already\x20settled\x20when\x20customer\x20rates','Both\x20Wonder\x20and\x20NoWonder\x20forwards\x20have\x20named_operator=\x27\x27\x20(OrderHolder)\x20—\x20rating\x20is\x20a\x20customer-only\x20action','Reward\x20object\x20(if\x20bound)\x20MUST\x20use\x20a\x20Guard\x20verifying\x20Progress.current\x20==\x20\x27wonder\x27\x20AND\x20order.holder\x20==\x20signer\x20—\x20no\x20Permission\x20needed\x20for\x20reward\x20claim','Competing\x20Pair:\x20Praise\x20vs\x20Complain\x20(first-wins;\x20one\x20rating\x20per\x20order)','No\x20dispute/refund/arbitration\x20nodes\x20in\x20this\x20Machine\x20—\x20those\x20flows\x20live\x20off-Machine'],'first_node_semantics':'Paid\x20—\x20order\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20same\x20as\x20e-commerce\x20baseline','mutable_after_publish':![],'m_rounds_focus':['M1','M2','M3','M5','M8']},{'id':'subscription','name':'Subscription\x20/\x20Membership\x20Flow','industry':['subscription','service'],'scenario':'Paid\x20(entry)\x20→\x20Activate\x20→\x20[Renew\x20|\x20Expire]\x20→\x20Cancel/End','participants':[{'role':'subscriber','permission_type':'OrderHolder','involved_in':['Renew','Cancel']},{'role':'provider','permission_type':'Permission','involved_in':['Activate','Pause']}],'recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'guard_requirements':[{'forward':'Renew','scene':'machine_forward_guard','purpose':'Time-lock\x20verification'},{'forward':'Cancel','scene':'machine_forward_guard','purpose':'Verify\x20subscription\x20status'}],'allocation_integration':'Renew\x20->\x20fund\x20allocation\x20|\x20Expire\x20->\x20stop\x20service','special_constraints':['First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20buy()\x20completes\x20subscription\x20payment\x20atomically\x20before\x20Progress\x20is\x20created','No\x20separate\x20\x27Subscribe\x27\x20or\x20\x27Pay\x27\x20nodes\x20needed\x20—\x20subscription\x20and\x20payment\x20are\x20handled\x20by\x20Service.buy(),\x20not\x20Machine','Time-lock:\x20context(Clock)\x20>=\x20progress.entry_time\x20+\x20duration','Competing\x20Pair:\x20Renew\x20vs\x20Expire\x20(first-wins)','Repository\x20records\x20subscription\x20status','Note:\x20Machine.consensus_repositories\x20is\x20declarative-only\x20and\x20NOT\x20auto-passed\x20to\x20Progress\x20(see\x2006\x20§14.4)'],'first_node_semantics':'Paid\x20—\x20subscription\x20has\x20been\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20at\x20post-payment\x20state,\x20awaiting\x20activation','mutable_after_publish':![],'m_rounds_focus':['M1','M3','M6','M8']}];export const MACHINE_LEDGER_VERSION='1.0.0';export const MACHINE_SCENES_COUNT=MACHINE_SCENES['length'];export function findScene(a){return MACHINE_SCENES['find'](b=>b['id']===a);}export function getScenesByIndustry(a){return MACHINE_SCENES['filter'](b=>b['industry']['includes'](a));}export function getScenesByPattern(a){return MACHINE_SCENES['filter'](b=>b['recommended_patterns']['includes'](a));}export function getScenesByTopology(a){return MACHINE_SCENES['filter'](b=>b['recommended_topology']['includes'](a));}export function inferSceneFromFlow(a){const b=a['toLowerCase']();if(b['includes']('supply\x20chain')||b['includes']('cross-machine'))return findScene('cross_machine_supply_chain');if(b['includes']('wonder')||b['includes']('praise')||b['includes']('complain')||b['includes']('thumbs_up')||b['includes']('thumbs_down')||b['includes']('rating')||b['includes']('feedback')||b['includes']('praise')||b['includes']('complaint'))return findScene('wonder_feedback');if(b['includes']('reward')||b['includes']('incentive'))return findScene('reward_incentive');if(b['includes']('privacy')||b['includes']('messenger'))return findScene('privacy_delivery');if(b['includes']('vote')||b['includes']('weight'))return findScene('weighted_voting');if(b['includes']('dual-sig')||b['includes']('both\x20confirm'))return findScene('dual_signature');if(b['includes']('subscribe')||b['includes']('membership'))return findScene('subscription');if(b['includes']('rental')||b['includes']('deposit'))return findScene('rental_standard');if(b['includes']('lost')||b['includes']('return'))return findScene('ecommerce_with_exceptions');if(b['includes']('ecommerce')||b['includes']('order'))return findScene('ecommerce_standard');return undefined;}export function getImmutableScenes(){return MACHINE_SCENES['filter'](a=>!a['mutable_after_publish']);}export function getScenesWithGuardRequirements(){return MACHINE_SCENES['filter'](a=>a['guard_requirements']['length']>0x0);}export function getReferencedGuardSceneIds(){const a=new Set();for(const b of MACHINE_SCENES){for(const c of b['guard_requirements']){a['add'](c['scene']);}}return a;}export function listScenes(){return MACHINE_SCENES['map'](a=>({'id':a['id'],'name':a['name'],'scenario':a['scenario'],'patterns':a['recommended_patterns']}));}