@wowok/agent-mcp 2.7.1 → 2.7.2

package/dist/knowledge/machine-templates.js

@@ -1,1597 +1 @@
-import { findScene, inferSceneFromFlow, } from "./machine-ledger.js";
-export const MACHINE_TEMPLATES = [
-    {
-        id: "tpl_machine_ecommerce_standard",
-        scene_id: "ecommerce_standard",
-        name: "Standard E-commerce Flow",
-        description: "Linear e-commerce workflow: Paid (entry) -> Ship -> Receive -> Complete. " +
-            "Payment is handled by Service.buy() atomically; Machine starts at post-payment state. " +
-            "Funds auto-allocated to merchant at Complete node. Recommended baseline for new merchants.",
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            {
-                name: "merchant_permission",
-                type: "permission_ref",
-                required: true,
-                description: "Merchant Permission object address or name (must have custom indices defined)",
-                constraint: "Permission must already be created; index 2 (merchant) and index 3 (admin) recommended",
-            },
-            {
-                name: "ship_forward_name",
-                type: "string",
-                required: true,
-                default: "Ship",
-                description: "Forward name for shipping step",
-                constraint: "Must be <64 BCS bytes; only letters/digits/underscore",
-            },
-            {
-                name: "receive_forward_name",
-                type: "string",
-                required: true,
-                default: "Receive",
-                description: "Forward name for customer receipt confirmation",
-            },
-            {
-                name: "complete_node_name",
-                type: "string",
-                required: true,
-                default: "Complete",
-                description: "Terminal node name triggering fund allocation",
-            },
-        ],
-        example_nodes: [
-            { name: "Paid", description: "Entry: order created and paid via Service.buy(); Machine starts here" },
-            { name: "Shipped", description: "Goods dispatched" },
-            { name: "Received", description: "Customer confirmed receipt" },
-            { name: "${complete_node_name}", description: "Terminal: triggers allocation" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Paid",
-                threshold: 1,
-                forwards: [
-                    { name: "Enter", weight: 1, named_operator: "", permission_index: 0 },
-                ],
-            },
-            {
-                prev_node: "Paid",
-                next_node: "Shipped",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "${ship_forward_name}",
-                        weight: 1,
-                        permission_index: 2,
-                        named_operator: "",
-                    },
-                ],
-            },
-            {
-                prev_node: "Shipped",
-                next_node: "Received",
-                threshold: 1,
-                forwards: [
-                    { name: "${receive_forward_name}", weight: 1, named_operator: "", permission_index: 0 },
-                ],
-            },
-            {
-                prev_node: "Received",
-                next_node: "${complete_node_name}",
-                threshold: 1,
-                forwards: [
-                    { name: "Finish", weight: 1, permission_index: 2, named_operator: "" },
-                ],
-            },
-        ],
-        required_guards: [],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Merchant role for Ship + Finish" },
-            { index: 3, name: "admin", description: "Admin override (optional)" },
-        ],
-        required_allocators: [
-            {
-                name: "MerchantAllocation",
-                trigger_node: "${complete_node_name}",
-                description: "100% to merchant Treasury or personal address",
-            },
-        ],
-        forkable_fields: ["node_names", "forward_names", "thresholds", "additional_branches"],
-        applicable_industries: ["ecommerce", "retail"],
-        relevant_risks: ["R-M1-01", "R-M1-02", "R-M1-08", "R-M2-01", "R-M3-02", "R-M4-01"],
-        creation_notes: [
-            "Build order: Permission -> Machine (unpublished) -> Guards -> Bind guards -> Publish -> Bind to Service",
-            "First node 'Paid' represents post-payment state — Service.buy() completes payment atomically before Progress is created",
-            "No separate 'Order' or 'Pay' nodes needed — payment is handled by Service.buy(), not Machine",
-            "Entry point: prev_node='' (empty string) targets 'Paid' — at least one Pair must exist with empty prev_node",
-            "If using P16 circular reference for Service, use name not address (Service not yet published)",
-        ],
-        example_use_case: "Small e-commerce shop selling camera accessories. Linear flow with no exceptions. " +
-            "Funds allocated to merchant personal address on Complete.",
-        publish_checklist: [
-            "All 4 nodes have at least one outgoing Forward (except terminal)",
-            "Entry Pair exists (prev_node='' targets 'Paid')",
-            "permissionIndex values match Permission object indices",
-            "Test Progress run on testnet",
-            "machineNode2file export as backup",
-        ],
-    },
-    {
-        id: "tpl_machine_ecommerce_exceptions",
-        scene_id: "ecommerce_with_exceptions",
-        name: "E-commerce Flow with Exception Branches",
-        description: "Multi-path workflow: Paid (entry) -> Ship -> Receive/Lost/Return. Lost uses dual-sig (threshold=2). " +
-            "Payment is handled by Service.buy() atomically; Machine starts at post-payment state. " +
-            "Return path opens Refund -> Complete. Competing pairs first-wins.",
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        parameters: [
-            {
-                name: "merchant_permission",
-                type: "permission_ref",
-                required: true,
-                description: "Merchant Permission object",
-            },
-            {
-                name: "lost_threshold",
-                type: "number",
-                required: true,
-                default: "2",
-                description: "Threshold for dual-sig on Lost node",
-                constraint: "Must be 2 (customer + merchant)",
-            },
-            {
-                name: "arbitration_ref",
-                type: "arbitration_ref",
-                required: false,
-                description: "Arbitration object if Lost escalates to arbitration",
-            },
-            {
-                name: "time_guard_days",
-                type: "number",
-                required: true,
-                default: "10",
-                description: "Days before auto-complete trigger (time guard)",
-                constraint: "Must be > 0; reasonable range 7-30",
-            },
-            {
-                name: "return_node_name",
-                type: "string",
-                required: true,
-                default: "Return",
-                description: "Name of the return/refund node in the exception branch",
-            },
-        ],
-        example_nodes: [
-            { name: "Paid", description: "Entry: order created and paid via Service.buy(); Machine starts here" },
-            { name: "Shipped" },
-            { name: "Received" },
-            { name: "Lost" },
-            { name: "Return" },
-            { name: "Refund" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Paid",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Paid",
-                next_node: "Shipped",
-                threshold: 1,
-                forwards: [{ name: "Ship", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "Shipped",
-                next_node: "Received",
-                threshold: 1,
-                forwards: [{ name: "ConfirmReceive", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Shipped",
-                next_node: "Lost",
-                threshold: "${lost_threshold}",
-                forwards: [
-                    { name: "CustomerReport", weight: 1, named_operator: "" },
-                    { name: "MerchantConfirm", weight: 1, permission_index: 2 },
-                ],
-            },
-            {
-                prev_node: "Shipped",
-                next_node: "Return",
-                threshold: 1,
-                forwards: [{ name: "RequestReturn", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Received",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "TimeGuard",
-                        weight: 1,
-                        permission_index: 3,
-                        guard: "time_guard_${time_guard_days}_days",
-                    },
-                    { name: "MerchantFinish", weight: 1, permission_index: 2 },
-                ],
-            },
-            {
-                prev_node: "Return",
-                next_node: "Refund",
-                threshold: 1,
-                forwards: [{ name: "IssueRefund", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "Refund",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "CloseReturn", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "MerchantConfirm",
-                purpose: "Dual-sig on Lost node",
-            },
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "TimeGuard",
-                purpose: "Time lock ${time_guard_days} days",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Merchant role" },
-            { index: 3, name: "admin", description: "Admin / time-guard trigger" },
-        ],
-        required_allocators: [
-            {
-                name: "CompleteAllocation",
-                trigger_node: "Complete",
-                description: "Full allocation to merchant on normal completion",
-            },
-            {
-                name: "RefundAllocation",
-                trigger_node: "Refund",
-                description: "Full refund to customer on return",
-            },
-            {
-                name: "LostAllocation",
-                trigger_node: "Lost",
-                description: "Optional: partial refund or escrow (depends on policy)",
-            },
-        ],
-        forkable_fields: ["node_names", "branch_conditions", "time_guard_days", "lost_threshold"],
-        applicable_industries: ["ecommerce", "logistics"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-03", "R-M1-08", "R-M2-01", "R-M2-05",
-            "R-M3-02", "R-M3-04", "R-M3-05", "R-M4-01", "R-M5-03",
-        ],
-        creation_notes: [
-            "First node 'Paid' represents post-payment state — Service.buy() completes payment atomically before Progress is created",
-            "No separate 'Order' or 'Pay' nodes needed — payment is handled by Service.buy(), not Machine",
-            "Competing Pairs (Shipped -> Received/Lost/Return) are mutually exclusive — first threshold met wins",
-            "Lost node threshold=2 means BOTH customer and merchant Forwards must execute",
-            "TimeGuard must use context(Clock) >= progress.entry_time + duration",
-            "If Lost escalates to arbitration, bind arbitration_usage_guard on Lost forward",
-            "Refund Allocation must use sharing.who=OrderHolder (refund to customer, NOT merchant)",
-        ],
-        example_use_case: "Mid-size e-commerce with 7-day return policy and dispute handling. " +
-            "Lost claims require customer+merchant dual confirmation.",
-        publish_checklist: [
-            "All competing Pairs tested: verify first-wins semantics on testnet",
-            "Lost dual-sig tested: incomplete signatures do not advance",
-            "TimeGuard Clock query verified (testnet)",
-            "All three Allocators tested with correct sharing.who",
-            "Arbitration binding (if any) verified via gen_passport",
-        ],
-    },
-    {
-        id: "tpl_machine_rental",
-        scene_id: "rental_standard",
-        name: "Equipment Rental Flow",
-        description: "Rental flow: DepositPaid (entry) -> Pickup -> In Use -> Return -> Refund Deposit. " +
-            "Payment is handled by Service.buy() atomically; Machine starts at post-deposit state. " +
-            "Separates deposit from rental fee (two Allocators). Damage report via retained_submission.",
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            { name: "merchant_permission", type: "permission_ref", required: true, description: "Merchant Permission object" },
-            {
-                name: "deposit_amount",
-                type: "number",
-                required: true,
-                description: "Deposit amount in smallest WOW unit",
-                constraint: "Must equal order.amount field; verify via Guard query",
-            },
-            {
-                name: "damage_inspection_node",
-                type: "string",
-                required: true,
-                default: "DamageCheck",
-                description: "Name of the node where damage inspection occurs",
-            },
-            {
-                name: "return_node_name",
-                type: "string",
-                required: true,
-                default: "Return",
-                description: "Name of the return node after damage check fails",
-            },
-        ],
-        example_nodes: [
-            { name: "DepositPaid", description: "Entry: deposit paid via Service.buy(); Machine starts here" },
-            { name: "PickedUp" },
-            { name: "InUse" },
-            { name: "Return" },
-            { name: "DamageCheck" },
-            { name: "DepositRefund" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "DepositPaid",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "DepositPaid",
-                next_node: "PickedUp",
-                threshold: 1,
-                forwards: [{ name: "Pickup", weight: 1, named_operator: "", permission_index: 2 }],
-            },
-            {
-                prev_node: "PickedUp",
-                next_node: "InUse",
-                threshold: 1,
-                forwards: [{ name: "StartUse", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "InUse",
-                next_node: "Return",
-                threshold: 1,
-                forwards: [{ name: "ReturnItem", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Return",
-                next_node: "DamageCheck",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "Inspect",
-                        weight: 1,
-                        permission_index: 2,
-                        retained_submission: "damage_report",
-                    },
-                ],
-            },
-            {
-                prev_node: "Return",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "CleanReturn", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "DamageCheck",
-                next_node: "DepositRefund",
-                threshold: 1,
-                forwards: [{ name: "DeductDamage", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "DepositRefund",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "Close", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_privacy_delivery_proof",
-                bound_to_forward: "Inspect",
-                purpose: "Optional: damage evidence proof (photo, video)",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Rental provider" },
-        ],
-        required_allocators: [
-            {
-                name: "RentalFeeAllocation",
-                trigger_node: "Complete",
-                description: "Rental fee to merchant",
-            },
-            {
-                name: "DepositRefundAllocation",
-                trigger_node: "DepositRefund",
-                description: "Remaining deposit to customer (OrderHolder sharing.who)",
-            },
-            {
-                name: "DamageDeductionAllocation",
-                trigger_node: "DamageCheck",
-                description: "Damage deduction to merchant",
-            },
-        ],
-        forkable_fields: ["deposit_amount", "damage_node_logic", "additional_inspection_steps"],
-        applicable_industries: ["rental", "equipment", "vehicle"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-08", "R-M2-01", "R-M2-04", "R-M3-02",
-            "R-M4-01", "R-M5-02",
-        ],
-        creation_notes: [
-            "First node 'DepositPaid' represents post-payment state — Service.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",
-            "Damage report uses retained_submission — values stored uniquely by (current_node, next_node, forward_name)",
-            "Two competing Pairs at Return node: DamageCheck vs Complete (clean return)",
-            "DamageDeduction Allocation uses sharing.who=Entity (merchant), not OrderHolder",
-        ],
-        example_use_case: "Camera equipment rental: customer pays 1000 WOW deposit, returns equipment, " +
-            "merchant inspects. If damaged, 200 WOW deducted; otherwise full refund.",
-        publish_checklist: [
-            "Deposit Guard tested (testnet) with valid/invalid amounts",
-            "Damage report retained_submission stored correctly (query progress_history)",
-            "Both Return branches tested (DamageCheck + CleanReturn)",
-            "All three Allocators verified with correct sharing.who",
-        ],
-    },
-    {
-        id: "tpl_machine_dual_signature",
-        scene_id: "dual_signature",
-        name: "Dual-Signature Consensus Flow",
-        description: "Critical node requires both customer + merchant confirmation. threshold=2 with two Forwards (weight=1 each). " +
-            "Customer uses namedOperator='' (OrderHolder); merchant uses permissionIndex=2.",
-        recommended_patterns: ["P-M-AND"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            { name: "merchant_permission", type: "permission_ref", required: true, description: "Merchant Permission object" },
-            {
-                name: "critical_node_name",
-                type: "string",
-                required: true,
-                default: "Approve",
-                description: "Node requiring dual-sig",
-            },
-            {
-                name: "next_node_after_approval",
-                type: "string",
-                required: true,
-                default: "Execute",
-                description: "Name of the node that follows after dual-signature approval",
-            },
-        ],
-        example_nodes: [
-            { name: "Initiated" },
-            { name: "${critical_node_name}", description: "Dual-sig required here" },
-            { name: "${next_node_after_approval}" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Initiated",
-                threshold: 1,
-                forwards: [{ name: "Initiate", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Initiated",
-                next_node: "${critical_node_name}",
-                threshold: 1,
-                forwards: [{ name: "Submit", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "${critical_node_name}",
-                next_node: "${next_node_after_approval}",
-                threshold: 2,
-                forwards: [
-                    {
-                        name: "CustomerApprove",
-                        weight: 1,
-                        named_operator: "",
-                        guard: "customer_identity_guard",
-                    },
-                    {
-                        name: "MerchantApprove",
-                        weight: 1,
-                        permission_index: 2,
-                        guard: "merchant_identity_guard",
-                    },
-                ],
-            },
-            {
-                prev_node: "${next_node_after_approval}",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "Finish", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "CustomerApprove",
-                purpose: "Verify customer identity (order.owner)",
-            },
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "MerchantApprove",
-                purpose: "Verify merchant identity (permission holder)",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Merchant approval" },
-        ],
-        required_allocators: [
-            {
-                name: "CompleteAllocation",
-                trigger_node: "Complete",
-                description: "Allocation on dual-sig completion",
-            },
-        ],
-        forkable_fields: ["critical_node_name", "additional_approvers", "guard_logic"],
-        applicable_industries: ["ecommerce", "service", "logistics", "escrow"],
-        relevant_risks: ["R-M1-08", "R-M2-01", "R-M3-02", "R-M3-04"],
-        creation_notes: [
-            "threshold=2 means BOTH Forwards must execute to advance (AND semantics)",
-            "Customer Forward uses namedOperator='' (OrderHolder)",
-            "Merchant Forward uses permissionIndex=2",
-            "If either party fails to sign, workflow stalls — consider adding timeout Guard",
-        ],
-        example_use_case: "High-value order (e.g. real estate transaction) requiring both buyer and seller confirmation.",
-        publish_checklist: [
-            "Both Forward identities tested on testnet",
-            "Verify partial signature does NOT advance (threshold=2)",
-            "Guards correctly distinguish customer vs merchant identity",
-        ],
-    },
-    {
-        id: "tpl_machine_weighted_voting",
-        scene_id: "weighted_voting",
-        name: "Weighted Voting Flow",
-        description: "Multi-party voting with unequal weights. threshold=100, chief weight=60, members weight=40 total. " +
-            "Each member's weight extracted via Guard query from Arbitration object.",
-        recommended_patterns: ["P-M-VOTE"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            {
-                name: "arbitration_ref",
-                type: "arbitration_ref",
-                required: true,
-                description: "Arbitration object storing voter weights",
-            },
-            {
-                name: "threshold_total",
-                type: "number",
-                required: true,
-                default: "100",
-                description: "Total weight threshold for decision",
-            },
-            {
-                name: "chief_weight",
-                type: "number",
-                required: true,
-                default: "60",
-                description: "Weight assigned to the chief voter (out of 100)",
-            },
-            {
-                name: "member_count",
-                type: "number",
-                required: true,
-                default: "5",
-                description: "Number of voting members (excluding chief)",
-            },
-        ],
-        example_nodes: [
-            { name: "VoteOpened" },
-            { name: "Voting" },
-            { name: "Approved" },
-            { name: "Rejected" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "VoteOpened",
-                threshold: 1,
-                forwards: [{ name: "OpenVote", weight: 1, permission_index: 3 }],
-            },
-            {
-                prev_node: "VoteOpened",
-                next_node: "Voting",
-                threshold: 1,
-                forwards: [{ name: "StartVoting", weight: 1, permission_index: 3 }],
-            },
-            {
-                prev_node: "Voting",
-                next_node: "Approved",
-                threshold: "${threshold_total}",
-                forwards: [
-                    {
-                        name: "ChiefVote",
-                        weight: "${chief_weight}",
-                        permission_index: 2,
-                        guard: "arb_voting_guard",
-                        retained_submission: "chief_vote_record",
-                    },
-                    {
-                        name: "MemberVote",
-                        weight: 8,
-                        named_operator: "member",
-                        guard: "arb_voting_guard",
-                        retained_submission: "member_vote_record",
-                    },
-                ],
-            },
-            {
-                prev_node: "Voting",
-                next_node: "Rejected",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "TimeoutReject",
-                        weight: 1,
-                        permission_index: 3,
-                        guard: "voting_timeout_guard",
-                    },
-                ],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_voting_guard_numeric_weight",
-                bound_to_forward: "ChiefVote",
-                purpose: "Verify voting eligibility + extract weight from Arbitration",
-            },
-            {
-                guard_template_id: "tpl_voting_guard_numeric_weight",
-                bound_to_forward: "MemberVote",
-                purpose: "Verify voting eligibility + prevent double-vote",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "chief", description: "Chief voter (high weight)" },
-            { index: 3, name: "admin", description: "Vote opener / timeout trigger" },
-        ],
-        required_allocators: [
-            {
-                name: "ApprovedAllocation",
-                trigger_node: "Approved",
-                description: "Allocation on approval",
-            },
-        ],
-        forkable_fields: ["weights", "voter_count", "timeout_days"],
-        applicable_industries: ["governance", "arbitration", "dao"],
-        relevant_risks: [
-            "R-M1-08", "R-M2-05", "R-M3-04", "R-M5-04",
-            "R-X1-14",
-        ],
-        creation_notes: [
-            "Member weight must be extracted dynamically via Guard query (not hardcoded in Forward)",
-            "Guard MUST check arb.voted has [Signer] to prevent double-voting (R-X1-14 CRITICAL)",
-            "Competing Pair: Approved vs Rejected (timeout) — first-wins",
-            "Voting weight is query-derived; Forward weight field is just session counter",
-        ],
-        example_use_case: "Arbitration panel: 1 chief (weight 60) + 5 members (weight 8 each = 40). " +
-            "Need total >= 100 to approve. Reject after 72h timeout.",
-        publish_checklist: [
-            "Arbitration object created and tested",
-            "Double-vote prevention verified (try voting twice — should fail)",
-            "Weight extraction tested with different voter configurations",
-            "Timeout Guard (Clock) verified on testnet",
-        ],
-    },
-    {
-        id: "tpl_machine_cross_machine",
-        scene_id: "cross_machine_supply_chain",
-        name: "Cross-Machine Supply Chain",
-        description: "Decomposed supply chain across multiple Machines. Machine B's Forward Guard queries Machine A's Progress " +
-            "via convert_witness=100 to verify upstream completion before advancing.",
-        recommended_patterns: ["P-M-CROSS-MACHINE"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            {
-                name: "machine_a_id",
-                type: "machine_ref",
-                required: true,
-                description: "Upstream Machine (must already be published)",
-                constraint: "Machine A must be published BEFORE Machine B's Guard can reference its Progress " +
-                    "(indirect via progress::new -> assert_published, see 06 §14.6)",
-            },
-            {
-                name: "machine_a_complete_node",
-                type: "string",
-                required: true,
-                default: "Complete",
-                description: "Target node name in Machine A to verify",
-            },
-            {
-                name: "machine_b_permission",
-                type: "permission_ref",
-                required: true,
-                description: "Machine B's Permission object",
-            },
-        ],
-        example_nodes: [
-            { name: "UpstreamVerified" },
-            { name: "Production" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "UpstreamVerified",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "VerifyUpstream",
-                        weight: 1,
-                        permission_index: 2,
-                        guard: "upstream_progress_guard",
-                        retained_submission: "upstream_progress_id",
-                    },
-                ],
-            },
-            {
-                prev_node: "UpstreamVerified",
-                next_node: "Production",
-                threshold: 1,
-                forwards: [{ name: "StartProduction", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "Production",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "Finish", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "VerifyUpstream",
-                purpose: "Query Machine A's Progress: verify it reached ${machine_a_complete_node}",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "manufacturer", description: "Machine B operator" },
-        ],
-        required_allocators: [
-            {
-                name: "CompleteAllocation",
-                trigger_node: "Complete",
-                description: "Allocation to Machine B's merchant",
-            },
-        ],
-        forkable_fields: ["upstream_machine_ref", "verification_node_name"],
-        applicable_industries: ["manufacturing", "logistics", "retail", "supply_chain"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-08", "R-M2-01", "R-M2-04", "R-M3-04",
-            "R-M5-04", "R-M5-05", "R-M5-06",
-        ],
-        creation_notes: [
-            "Machine A MUST be published before Machine B (dependency order)",
-            "Guard uses convert_witness=100 to convert submitted Order/Progress ID into queryable Progress object",
-            "Cross-Machine dependency is one-way (no cycles)",
-            "retained_submission stores upstream Progress ID for later audit",
-            "Multi-party chain: extend pattern with Machine C, D, ... (each independently published)",
-            "Dependency verification: indirect via progress::new -> assert_published (see 06 §14.6)",
-        ],
-        example_use_case: "Supplier (Machine A) -> Manufacturer (Machine B) -> Retailer (Machine C). " +
-            "Manufacturer cannot start production until supplier's Progress reaches 'Complete'.",
-        publish_checklist: [
-            "Machine A already published on-chain (verify via onchain_objects)",
-            "Cross-Machine Guard tested with valid/invalid upstream Progress IDs",
-            "retained_submission verified (query progress_history for upstream_progress_id)",
-            "Independent testing: run Machine A to Complete, then attempt Machine B's VerifyUpstream",
-        ],
-    },
-    {
-        id: "tpl_machine_privacy_delivery",
-        scene_id: "privacy_delivery",
-        name: "Privacy-Preserving Delivery Flow",
-        description: "Customer submits privacy data via Messenger (encrypted, off-chain). Chain stores only Merkle Root Proof. " +
-            "Guard verifies Proof signature + timestamp + service binding. Uses tpl_forward_privacy_delivery_proof (strict mode).",
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            { name: "merchant_permission", type: "permission_ref", required: true, description: "Merchant Permission object" },
-            {
-                name: "proof_node_name",
-                type: "string",
-                required: true,
-                default: "ProofSubmitted",
-                description: "Name of the node where delivery proof is submitted",
-            },
-            {
-                name: "delivery_node_name",
-                type: "string",
-                required: true,
-                default: "DeliveryConfirmed",
-                description: "Name of the node where delivery confirmation occurs",
-            },
-        ],
-        example_nodes: [
-            { name: "Paid", description: "Entry: order created and paid via Service.buy(); Machine starts here" },
-            { name: "${proof_node_name}", description: "Customer submits Proof via Messenger" },
-            { name: "${delivery_node_name}" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Paid",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Paid",
-                next_node: "${proof_node_name}",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "SubmitProof",
-                        weight: 1,
-                        named_operator: "",
-                        guard: "tpl_forward_privacy_delivery_proof",
-                        retained_submission: "proof_address",
-                    },
-                ],
-            },
-            {
-                prev_node: "${proof_node_name}",
-                next_node: "${delivery_node_name}",
-                threshold: 1,
-                forwards: [{ name: "ConfirmDelivery", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "${delivery_node_name}",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "Finish", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_privacy_delivery_proof",
-                bound_to_forward: "SubmitProof",
-                purpose: "Verify Proof: signer=proof.signer ∧ proof.time>order.time ∧ order.service=service",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Merchant confirms delivery" },
-        ],
-        required_allocators: [
-            {
-                name: "CompleteAllocation",
-                trigger_node: "Complete",
-                description: "Allocation to merchant after delivery confirmation",
-            },
-        ],
-        forkable_fields: ["proof_node_name", "delivery_node_name", "additional_evidence_steps"],
-        applicable_industries: ["ecommerce", "logistics", "privacy_service"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-08", "R-M2-01", "R-M2-04", "R-M3-02",
-            "R-M5-03",
-        ],
-        creation_notes: [
-            "Use strict mode tpl_forward_privacy_delivery_proof (3 conditions: Signer + time + service binding)",
-            "submitChainProof about_address = peerAddress (NOT sessionId)",
-            "order_id passed via description string field (not about_address)",
-            "Guard table item name MUST be <64 BCS bytes (MAX_NAME_LENGTH=64)",
-            "retained_submission stores Proof address for arbitration query",
-            "Proof MUST be generated by messenger.submitChainProof (not manual)",
-        ],
-        example_use_case: "Customer sends delivery address via Messenger (encrypted). Chain stores only Proof. " +
-            "Merchant verifies Proof, then confirms delivery.",
-        publish_checklist: [
-            "Strict mode Guard tested: 3 conditions verified individually",
-            "Messenger integration tested end-to-end (submit + verify)",
-            "retained_submission stored Proof address queryable from progress_history",
-            "Guard table item name length validated (<64 BCS bytes)",
-        ],
-    },
-    {
-        id: "tpl_machine_reward",
-        scene_id: "reward_incentive",
-        name: "Reward Incentive Flow",
-        description: "Customer triggers Reward claim at specific node. Guard prevents double-claim via query_reward_record_count==0. " +
-            "Reward object independent of Allocator.",
-        recommended_patterns: ["P-M-SEQ"],
-        recommended_topology: ["P-M-LINEAR"],
-        parameters: [
-            {
-                name: "reward_ref",
-                type: "reward_ref",
-                required: true,
-                description: "Reward object address (must be already created)",
-            },
-            {
-                name: "claim_node_name",
-                type: "string",
-                required: true,
-                default: "ClaimReward",
-                description: "Name of the node where reward claims are triggered",
-            },
-        ],
-        example_nodes: [
-            { name: "Eligible" },
-            { name: "${claim_node_name}" },
-            { name: "Rewarded" },
-            { name: "Complete" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Eligible",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Eligible",
-                next_node: "${claim_node_name}",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "TriggerClaim",
-                        weight: 1,
-                        named_operator: "",
-                        guard: "reward_anti_double_guard",
-                        retained_submission: "claim_record",
-                    },
-                ],
-            },
-            {
-                prev_node: "${claim_node_name}",
-                next_node: "Rewarded",
-                threshold: 1,
-                forwards: [{ name: "IssueReward", weight: 1, permission_index: 3 }],
-            },
-            {
-                prev_node: "Rewarded",
-                next_node: "Complete",
-                threshold: 1,
-                forwards: [{ name: "Finish", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_reward_one_time_claim",
-                bound_to_forward: "TriggerClaim",
-                purpose: "Verify query_reward_record_count==0 to prevent double-claim",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Completes flow" },
-            { index: 3, name: "reward_admin", description: "Issues reward tokens" },
-        ],
-        required_allocators: [
-            {
-                name: "CompleteAllocation",
-                trigger_node: "Complete",
-                description: "Standard allocation (separate from Reward)",
-            },
-        ],
-        forkable_fields: ["claim_node_name", "additional_reward_conditions"],
-        applicable_industries: ["ecommerce", "subscription", "education", "loyalty"],
-        relevant_risks: [
-            "R-M1-08", "R-M2-05", "R-M3-04",
-            "R-X1-14",
-        ],
-        creation_notes: [
-            "Reward Guard MUST check query_reward_record_count == 0 (R-X1-14 CRITICAL)",
-            "Reward is INDEPENDENT of Allocator — both can fire on different nodes",
-            "Reward object must be created BEFORE publishing this Machine",
-            "retained_submission stores claim record for audit",
-        ],
-        example_use_case: "Loyalty program: after customer completes 5 orders, eligible to claim reward token. " +
-            "Anti-double-claim Guard ensures one claim per customer.",
-        publish_checklist: [
-            "Reward object already created and tested",
-            "Anti-double-claim Guard tested: claim twice should fail on second attempt",
-            "retained_submission verified (claim_record queryable)",
-        ],
-    },
-    {
-        id: "tpl_machine_wonder_feedback",
-        scene_id: "wonder_feedback",
-        name: "Wonder Feedback Flow (Post-Completion Rating)",
-        description: "Post-completion rating flow: Paid (entry) → Shipped → Received → Completed → {Wonder | NoWonder}. " +
-            "After the order reaches 'Completed' (terminal business state, funds already allocated to merchant), " +
-            "the OrderHolder (namedOperator='') can advance Progress to 'wonder' (positive review) or 'no_wonder' " +
-            "(negative review). A bound Reward object's claim_guard verifies Progress.current == 'wonder' before " +
-            "paying out — reward claim needs NO Permission. Dispute is NEVER modeled here: it flows through " +
-            "Order → Arbitration.dispute() → Arb → arbitration() ruling → arb_withdraw, fully off-Machine.",
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        parameters: [
-            {
-                name: "merchant_permission",
-                type: "permission_ref",
-                required: true,
-                description: "Merchant Permission object (index 2 = merchant, index 3 = admin)",
-            },
-            {
-                name: "wonder_node_name",
-                type: "string",
-                required: true,
-                default: "wonder",
-                description: "Node name for positive feedback (praise) terminal",
-                constraint: "Must match /^(wonder|praise|thumbs_up)$/i OR be a custom name; must NOT match dispute anti-pattern regex",
-            },
-            {
-                name: "no_wonder_node_name",
-                type: "string",
-                required: true,
-                default: "no_wonder",
-                description: "Node name for negative feedback (complaint) terminal",
-                constraint: "Must match /^(no_wonder|complain|thumbs_down)$/i OR be a custom name; must NOT match dispute anti-pattern regex",
-            },
-            {
-                name: "reward_ref",
-                type: "reward_ref",
-                required: false,
-                description: "Reward object address (optional). If bound, its claim_guard should verify Progress.current == wonder_node_name AND order.holder == signer. Use wonder_praise or wonder_feedback reward template.",
-            },
-            {
-                name: "rating_time_limit_days",
-                type: "number",
-                required: false,
-                default: "30",
-                description: "Days after completion during which the customer can rate (enforced by Guard on Praise/Complain forwards via context(Clock))",
-                constraint: "Must be > 0; reasonable range 7-90",
-            },
-        ],
-        example_nodes: [
-            { name: "Paid", description: "Entry: order created and paid via Service.buy(); Machine starts here" },
-            { name: "Shipped", description: "Merchant dispatched goods/service" },
-            { name: "Received", description: "Customer confirmed receipt" },
-            { name: "Completed", description: "Terminal business state — triggers merchant Allocation. Funds settled." },
-            { name: "${wonder_node_name}", description: "Positive feedback terminal (praise). OrderHolder-only. Reward-eligible." },
-            { name: "${no_wonder_node_name}", description: "Negative feedback terminal (complaint). OrderHolder-only. Optional Repository write for analytics." },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Paid",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Paid",
-                next_node: "Shipped",
-                threshold: 1,
-                forwards: [{ name: "Ship", weight: 1, permission_index: 2, named_operator: "" }],
-            },
-            {
-                prev_node: "Shipped",
-                next_node: "Received",
-                threshold: 1,
-                forwards: [{ name: "ConfirmReceive", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Received",
-                next_node: "Completed",
-                threshold: 1,
-                forwards: [{ name: "Finish", weight: 1, permission_index: 2, named_operator: "" }],
-            },
-            {
-                prev_node: "Completed",
-                next_node: "${wonder_node_name}",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "Praise",
-                        weight: 1,
-                        named_operator: "",
-                        guard: "rating_window_guard",
-                        retained_submission: "rating_record",
-                    },
-                ],
-            },
-            {
-                prev_node: "Completed",
-                next_node: "${no_wonder_node_name}",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "Complain",
-                        weight: 1,
-                        named_operator: "",
-                        guard: "rating_window_guard",
-                        retained_submission: "rating_record",
-                    },
-                ],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "Praise",
-                purpose: "Verify Progress.current == 'Completed' (rating only allowed after completion) AND context(Clock) <= progress.entry_time + rating_time_limit_days",
-            },
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "Complain",
-                purpose: "Verify Progress.current == 'Completed' (rating only allowed after completion) AND context(Clock) <= progress.entry_time + rating_time_limit_days",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "merchant", description: "Merchant role for Ship + Finish (NOT for rating — rating is OrderHolder-only via named_operator='')" },
-            { index: 3, name: "admin", description: "Admin override (optional)" },
-        ],
-        required_allocators: [
-            {
-                name: "MerchantAllocation",
-                trigger_node: "Completed",
-                description: "100% to merchant Treasury or personal address. Fires at Completion — NOT at Wonder/NoWonder (those are reputation-only terminals with no fund flow).",
-            },
-        ],
-        forkable_fields: ["wonder_node_name", "no_wonder_node_name", "rating_time_limit_days", "additional_rating_nodes"],
-        applicable_industries: ["ecommerce", "service", "rental", "subscription", "education"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-02", "R-M1-08", "R-M1-11",
-            "R-M2-01", "R-M2-05",
-            "R-M3-02", "R-M3-04",
-            "R-M4-01", "R-M5-03",
-        ],
-        creation_notes: [
-            "DISPUTE INDEPENDENCE: This Machine MUST NOT contain 'disputed', 'refunded', 'arb', 'arbitration' nodes (R-M1-11 critical). Disputes are filed off-Machine via arbitration::dispute(order, arbitration).",
-            "Build order: Permission → Machine (unpublished) → Guards → Bind guards → Publish → Bind to Service → Bind Reward (optional)",
-            "First node 'Paid' represents post-payment state — Service.buy() completes payment atomically before Progress is created",
-            "No separate 'Order' or 'Pay' nodes needed — payment is handled by Service.buy(), not Machine",
-            "Wonder/NoWonder forwards have named_operator='' (empty) — this delegates to the OrderHolder (customer). No Permission index needed for rating.",
-            "Completed node triggers MerchantAllocation — funds are settled BEFORE the rating window opens. Rating does NOT affect fund flow.",
-            "Competing Pair: Praise vs Complain (first-wins) — one rating per order, enforced by Guard + retained_submission audit trail.",
-            "Reward object (if bound) is INDEPENDENT of Allocator: Reward.claim() requires Guard+passport, not Permission. Guard checks Progress.current == 'wonder' AND order.holder == signer.",
-            "rating_window_guard enforces time limit: context(Clock) <= progress.entry_time + rating_time_limit_days. After window closes, no rating possible (Completed becomes true terminal).",
-            "Optional: bind a Repository to record feedback node for analytics. Repository write happens via Guard's data extraction (NOT auto-passed — see 06 §14.4).",
-        ],
-        example_use_case: "Photography service: Paid → Shipped (booking confirmed) → Received (session delivered) → Completed " +
-            "(photos delivered, funds released to photographer) → customer advances to 'wonder' (loved the work) " +
-            "or 'no_wonder' (didn't love it). Bound Reward pays 1 WOW to customers who advance to 'wonder'. " +
-            "Merchant's wonder/no_wonder ratio becomes an on-chain reputation signal. Disputes (if any) are " +
-            "filed separately via Arbitration object — never enter this Machine.",
-        publish_checklist: [
-            "All 6 nodes verified: no 'disputed'/'refunded'/'arb'/'arbitration' names (R-M1-11 PASS)",
-            "Entry Pair exists (prev_node='' targets 'Paid')",
-            "Competing Pair tested: Praise vs Complain — first-wins semantics verified on testnet",
-            "rating_window_guard tested: rating blocked after time limit expires",
-            "MerchantAllocation fires ONLY at Completed (NOT at Wonder/NoWonder)",
-            "Reward object (if bound): claim_guard tested — Progress.current == 'wonder' required, claim fails at 'no_wonder' or 'Completed'",
-            "named_operator='' on Praise/Complain forwards verified (OrderHolder-only operation)",
-            "machineNode2file export as backup",
-        ],
-    },
-    {
-        id: "tpl_machine_subscription",
-        scene_id: "subscription",
-        name: "Subscription / Membership Flow",
-        description: "Subscribe -> Pay -> Activate -> [Renew | Expire] -> Cancel/End. Time-lock on Renew. " +
-            "Competing Pair: Renew vs Expire (first-wins). Repository stores subscription status.",
-        recommended_patterns: ["P-M-SEQ", "P-M-COMPETING"],
-        recommended_topology: ["P-M-LINEAR", "P-M-COMPETING"],
-        parameters: [
-            { name: "merchant_permission", type: "permission_ref", required: true, description: "Provider Permission object" },
-            {
-                name: "subscription_duration_days",
-                type: "number",
-                required: true,
-                default: "30",
-                description: "Days between Renew and Expire eligibility",
-            },
-            {
-                name: "repository_ref",
-                type: "address",
-                required: true,
-                description: "Repository object storing subscription status (note: not consensus_repositories, which is declarative-only — see 06 §14.4)",
-            },
-        ],
-        example_nodes: [
-            { name: "Paid", description: "Entry: subscription created and paid via Service.buy(); Machine starts here" },
-            { name: "Active" },
-            { name: "RenewEligible" },
-            { name: "Renewed" },
-            { name: "Expired" },
-            { name: "Cancelled" },
-            { name: "Ended" },
-        ],
-        example_pairs: [
-            {
-                prev_node: "",
-                next_node: "Paid",
-                threshold: 1,
-                forwards: [{ name: "Enter", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Paid",
-                next_node: "Active",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "Activate",
-                        weight: 1,
-                        permission_index: 2,
-                        guard: "repository_write_guard",
-                    },
-                ],
-            },
-            {
-                prev_node: "Active",
-                next_node: "RenewEligible",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "TimeUnlock",
-                        weight: 1,
-                        permission_index: 3,
-                        guard: "time_lock_guard_${subscription_duration_days}_days",
-                    },
-                ],
-            },
-            {
-                prev_node: "RenewEligible",
-                next_node: "Renewed",
-                threshold: 1,
-                forwards: [{ name: "Renew", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "RenewEligible",
-                next_node: "Expired",
-                threshold: 1,
-                forwards: [
-                    {
-                        name: "AutoExpire",
-                        weight: 1,
-                        permission_index: 3,
-                        guard: "expire_time_guard",
-                    },
-                ],
-            },
-            {
-                prev_node: "RenewEligible",
-                next_node: "Cancelled",
-                threshold: 1,
-                forwards: [{ name: "Cancel", weight: 1, named_operator: "" }],
-            },
-            {
-                prev_node: "Renewed",
-                next_node: "Active",
-                threshold: 1,
-                forwards: [{ name: "Reactivate", weight: 1, permission_index: 2 }],
-            },
-            {
-                prev_node: "Expired",
-                next_node: "Ended",
-                threshold: 1,
-                forwards: [{ name: "CloseExpired", weight: 1, permission_index: 3 }],
-            },
-            {
-                prev_node: "Cancelled",
-                next_node: "Ended",
-                threshold: 1,
-                forwards: [{ name: "CloseCancelled", weight: 1, permission_index: 2 }],
-            },
-        ],
-        required_guards: [
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "TimeUnlock",
-                purpose: "Time lock: context(Clock) >= progress.entry_time + ${subscription_duration_days} days",
-            },
-            {
-                guard_template_id: "tpl_write_guard_type_check",
-                bound_to_forward: "Activate",
-                purpose: "Write subscription status to Repository",
-            },
-            {
-                guard_template_id: "tpl_forward_node_check",
-                bound_to_forward: "AutoExpire",
-                purpose: "Hard expire: context(Clock) >= progress.entry_time + 2x duration",
-            },
-        ],
-        required_permissions: [
-            { index: 2, name: "provider", description: "Provider activates/reactivates" },
-            { index: 3, name: "admin", description: "Time-lock triggers" },
-        ],
-        required_allocators: [
-            {
-                name: "RenewAllocation",
-                trigger_node: "Renewed",
-                description: "Charge renewal fee on Renew",
-            },
-        ],
-        forkable_fields: ["duration_days", "grace_period", "additional_tiers"],
-        applicable_industries: ["subscription", "saas", "membership", "service"],
-        relevant_risks: [
-            "R-M1-01", "R-M1-08", "R-M2-01", "R-M2-05",
-            "R-M3-02", "R-M3-04", "R-M4-01", "R-M5-04",
-        ],
-        creation_notes: [
-            "First node 'Paid' represents post-payment state — Service.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 uses context(Clock) — verify Clock address in Guard table",
-            "Competing Pair: Renew vs Expire vs Cancel — first-wins",
-            "Renewed node loops back to Active (recurring subscription)",
-            "Repository records subscription status for cross-Machine verification",
-            "Renewal Allocation triggers on Renewed node (not Active — avoids double-charge)",
-            "Note: consensus_repositories is declarative-only (NOT auto-passed to Progress); use repository_ref parameter for actual Repository object — see 06 §14.4",
-            "VARIANT — Content subscription (Substack-style): replace time-lock Renew/Expire with content-delivery flow:",
-            "  6-node variant: Paid (entry) → ContentPublished → Completed (terminal-success)",
-            "                  Paid → Cancelled (terminal-cancel) | Paid → Disputed → Refunded (terminal-dispute)",
-            "  Permission: author=index 1000 (publish + cancel), arbitrator=index 1500 (resolve dispute), reader=namedOperator='' (open role, no specific operator)",
-            "  Guards: deliver_guard (verify author permission + content hash), cancel_guard (verify subscriber request), refund_guard (verify arbitration outcome)",
-            "  Allocators: deliver=100% to author, cancel=100% refund to subscriber, dispute=100% refund to subscriber (Guard-first-wins pattern)",
-            "  First-Forward-wins: when Paid has competing forwards (Deliver|Cancel|Dispute), the first triggered forward wins; subscribers cannot double-claim",
-            "CRITICAL — v1→v2 lesson: arbitrations MUST be added BEFORE Service.publish (post-publish, arbitrations become immutable and cannot be added — service.move F-S-21)",
-            "  If you accidentally published without arbitrations, you MUST create a new Service v2 with arbitrations bound before publishing (the v1 Service must be paused/abandoned)",
-            "  ConfirmGate (C-S-19, QS11) will warn before publish without arbitrations — do not bypass this warning unless explicitly intending no-arbitration operation",
-            "Build order (content variant): Permission → Machine (unpublished, with initial forward) → 3 Guards → 3 Allocators (template on Service) → Service (unpublished, bind machine+buy_guard+order_allocators+arbitrations) → Publish Service → Test order (3 paths: normal/cancel/dispute)",
-        ],
-        example_use_case: "Monthly SaaS subscription: $10/month. Customer can renew anytime after day 25. " +
-            "Auto-expire on day 35 if not renewed. Cancel anytime.\n\n" +
-            "VARIANT — Content subscription (Substack-style): $5/month newsletter. Author publishes content → " +
-            "subscriber reads. Subscriber can cancel anytime for full refund. Disputes resolved by arbitrator " +
-            "(100% refund to subscriber if dispute upheld). 6-node Machine, 3 Guards, 3 Allocators. " +
-            "Tested on testnet with 3 order paths: normal delivery, cancel, dispute.",
-        publish_checklist: [
-            "Time-lock Guards tested on testnet (both TimeUnlock + AutoExpire)",
-            "Competing Pair semantics verified (Renew vs Expire vs Cancel)",
-            "Repository write tested (subscription status queryable)",
-            "Renewal loop tested: Paid -> Active -> RenewEligible -> Renewed -> Active",
-            "Content variant: initial node (prev_node='') MUST have at least one forward (FIX-002) — empty forwards=[] causes Progress to be permanently stuck",
-            "Content variant: arbitrations added BEFORE publish (cannot add post-publish per F-S-21)",
-            "Content variant: 3 order paths tested on testnet — normal delivery, cancel-within-grace, dispute-resolution",
-            "Content variant: machineNode2file export as backup (covers all 6 nodes)",
-        ],
-    },
-];
-export const MACHINE_TEMPLATES_VERSION = "1.0.0";
-export const MACHINE_TEMPLATES_COUNT = MACHINE_TEMPLATES.length;
-export function getAllTemplates() {
-    return MACHINE_TEMPLATES;
-}
-export function getTemplateById(id) {
-    return MACHINE_TEMPLATES.find((t) => t.id === id);
-}
-export function getTemplatesByScene(scene_id) {
-    return MACHINE_TEMPLATES.filter((t) => t.scene_id === scene_id);
-}
-export function getTemplatesByIndustry(industry) {
-    return MACHINE_TEMPLATES.filter((t) => t.applicable_industries.includes(industry));
-}
-export function getTemplatesByPattern(patternId) {
-    return MACHINE_TEMPLATES.filter((t) => t.recommended_patterns.includes(patternId));
-}
-export function suggestTemplateForIntent(intent) {
-    const scene = inferSceneFromFlow(intent);
-    if (!scene)
-        return undefined;
-    const templates = getTemplatesByScene(scene.id);
-    return templates[0];
-}
-export function getTemplateParameters(templateId) {
-    const template = getTemplateById(templateId);
-    return template ? template.parameters : [];
-}
-export function getRequiredParameters(templateId) {
-    return getTemplateParameters(templateId).filter((p) => p.required);
-}
-export function getOptionalParameters(templateId) {
-    return getTemplateParameters(templateId).filter((p) => !p.required);
-}
-function validateParamType(value, type) {
-    switch (type) {
-        case "address":
-        case "string":
-        case "permission_ref":
-        case "guard_ref":
-        case "machine_ref":
-        case "service_ref":
-        case "arbitration_ref":
-        case "reward_ref":
-            return typeof value === "string";
-        case "number":
-            return typeof value === "number" || (typeof value === "string" && /^\d+$/.test(value));
-        case "boolean":
-            return typeof value === "boolean";
-        case "vec_address":
-        case "vec_string":
-        case "node_name_list":
-            return Array.isArray(value) && value.every((v) => typeof v === "string");
-        default:
-            return false;
-    }
-}
-function deepSubstitute(obj, params) {
-    if (typeof obj === "string") {
-        return obj.replace(/\$\{(\w+)\}/g, (_, key) => key in params ? String(params[key]) : `\${${key}}`);
-    }
-    if (Array.isArray(obj)) {
-        return obj.map((item) => deepSubstitute(item, params));
-    }
-    if (obj && typeof obj === "object") {
-        const result = {};
-        for (const [k, v] of Object.entries(obj)) {
-            result[k] = deepSubstitute(v, params);
-        }
-        return result;
-    }
-    return obj;
-}
-export function fillTemplate(templateId, params) {
-    const template = getTemplateById(templateId);
-    if (!template) {
-        return {
-            success: false,
-            validation_errors: [`Template not found: ${templateId}`],
-        };
-    }
-    const missing = template.parameters
-        .filter((p) => p.required && !(p.name in params))
-        .map((p) => p.name);
-    if (missing.length > 0) {
-        return {
-            success: false,
-            missing_params: missing,
-            validation_errors: [`Missing required parameters: ${missing.join(", ")}`],
-        };
-    }
-    const errors = [];
-    for (const param of template.parameters) {
-        if (param.name in params) {
-            const value = params[param.name];
-            if (!validateParamType(value, param.type)) {
-                errors.push(`Parameter "${param.name}" type mismatch: expected ${param.type}, got ${typeof value}`);
-            }
-        }
-    }
-    if (errors.length > 0) {
-        return { success: false, validation_errors: errors };
-    }
-    const filled_nodes = deepSubstitute(template.example_nodes, params);
-    const filled_pairs = deepSubstitute(template.example_pairs, params);
-    return { success: true, filled_nodes, filled_pairs };
-}
-export function forkTemplate(templateId) {
-    const template = getTemplateById(templateId);
-    if (!template)
-        return undefined;
-    const current_values = {};
-    for (const field of template.forkable_fields) {
-        current_values[field] = "see example_nodes/example_pairs";
-    }
-    return {
-        template_id: templateId,
-        forkable_fields: template.forkable_fields,
-        current_values,
-        instructions: [
-            "Modify fields below to customize the workflow",
-            "Keep template structure intact unless explicitly noted",
-            "Run risk assessment after modification (machine-risk.ts)",
-            "User MUST confirm final JSON before publish (ConfirmGate)",
-        ],
-    };
-}
-export const DECISION_TREE = {
-    Q1: {
-        question: "Does the workflow involve multiple independent services/parties?",
-        no_next: "Q3",
-    },
-    Q2: {
-        question: "Are these services already published as separate Machines?",
-        yes_template: "tpl_machine_cross_machine",
-        no_next: "DECOMPOSE",
-    },
-    Q3: {
-        question: "Does any node require multiple parties' confirmation to advance?",
-        no_next: "Q5",
-    },
-    Q4: {
-        question: "Do all parties have EQUAL weight?",
-        yes_template: "tpl_machine_dual_signature",
-        no_next: "tpl_machine_weighted_voting",
-    },
-    Q5: {
-        question: "Does the workflow need exception branches (lost, return, dispute)?",
-        yes_template: "tpl_machine_ecommerce_exceptions",
-        no_next: "Q6",
-    },
-    Q6: {
-        question: "Does it involve recurring payments or time-based state changes?",
-        yes_template: "tpl_machine_subscription",
-        no_next: "Q7",
-    },
-    Q7: {
-        question: "Does it need privacy-preserving data delivery (Messenger)?",
-        yes_template: "tpl_machine_privacy_delivery",
-        no_next: "Q8",
-    },
-    Q8: {
-        question: "Does it involve deposit/refund separation?",
-        yes_template: "tpl_machine_rental",
-        no_next: "Q9",
-    },
-    Q9: {
-        question: "Does it need reward/incentive distribution at a specific node?",
-        yes_template: "tpl_machine_reward",
-        no_next: "tpl_machine_ecommerce_standard",
-    },
-};
-export function walkDecisionTree(answers) {
-    let current = "Q1";
-    while (current) {
-        const node = DECISION_TREE[current];
-        if (!node)
-            return "UNKNOWN";
-        const answer = answers[current];
-        if (answer === undefined)
-            return current;
-        if (answer) {
-            if (node.yes_template)
-                return node.yes_template;
-            if (current === "Q1") {
-                current = "Q2";
-                continue;
-            }
-            if (current === "Q3") {
-                current = "Q4";
-                continue;
-            }
-            return "UNKNOWN";
-        }
-        else {
-            if (node.no_next) {
-                if (node.no_next === "DECOMPOSE") {
-                    return "DECOMPOSE_INTO_MULTIPLE_MACHINES";
-                }
-                if (node.no_next.startsWith("tpl_")) {
-                    return node.no_next;
-                }
-                current = node.no_next;
-                continue;
-            }
-            return "UNKNOWN";
-        }
-    }
-    return "UNKNOWN";
-}
-export function verifyTemplateSceneReferences() {
-    const invalid = [];
-    for (const template of MACHINE_TEMPLATES) {
-        if (!findScene(template.scene_id)) {
-            invalid.push({
-                template_id: template.id,
-                invalid_scene_id: template.scene_id,
-            });
-        }
-    }
-    return invalid;
-}
-export function getReferencedGuardTemplateIds() {
-    const ids = new Set();
-    for (const template of MACHINE_TEMPLATES) {
-        for (const ref of template.required_guards) {
-            ids.add(ref.guard_template_id);
-        }
-    }
-    return ids;
-}
-export function getReferencedRiskIds() {
-    const ids = new Set();
-    for (const template of MACHINE_TEMPLATES) {
-        for (const risk of template.relevant_risks) {
-            ids.add(risk);
-        }
-    }
-    return ids;
-}
-export function listTemplates() {
-    return MACHINE_TEMPLATES.map((t) => ({
-        id: t.id,
-        name: t.name,
-        scene_id: t.scene_id,
-        patterns: t.recommended_patterns,
-        industries: t.applicable_industries,
-    }));
-}
+import{findScene,inferSceneFromFlow}from'./machine-ledger.js';export const MACHINE_TEMPLATES=[{'id':'tpl_machine_ecommerce_standard','scene_id':'ecommerce_standard','name':'Standard\x20E-commerce\x20Flow','description':'Linear\x20e-commerce\x20workflow:\x20Paid\x20(entry)\x20->\x20Ship\x20->\x20Receive\x20->\x20Complete.\x20'+'Payment\x20is\x20handled\x20by\x20Service.buy()\x20atomically;\x20Machine\x20starts\x20at\x20post-payment\x20state.\x20'+'Funds\x20auto-allocated\x20to\x20merchant\x20at\x20Complete\x20node.\x20Recommended\x20baseline\x20for\x20new\x20merchants.','recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object\x20address\x20or\x20name\x20(must\x20have\x20custom\x20indices\x20defined)','constraint':'Permission\x20must\x20already\x20be\x20created;\x20index\x202\x20(merchant)\x20and\x20index\x203\x20(admin)\x20recommended'},{'name':'ship_forward_name','type':'string','required':!![],'default':'Ship','description':'Forward\x20name\x20for\x20shipping\x20step','constraint':'Must\x20be\x20<64\x20BCS\x20bytes;\x20only\x20letters/digits/underscore'},{'name':'receive_forward_name','type':'string','required':!![],'default':'Receive','description':'Forward\x20name\x20for\x20customer\x20receipt\x20confirmation'},{'name':'complete_node_name','type':'string','required':!![],'default':'Complete','description':'Terminal\x20node\x20name\x20triggering\x20fund\x20allocation'}],'example_nodes':[{'name':'Paid','description':'Entry:\x20order\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'Shipped','description':'Goods\x20dispatched'},{'name':'Received','description':'Customer\x20confirmed\x20receipt'},{'name':'${complete_node_name}','description':'Terminal:\x20triggers\x20allocation'}],'example_pairs':[{'prev_node':'','next_node':'Paid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':'','permission_index':0x0}]},{'prev_node':'Paid','next_node':'Shipped','threshold':0x1,'forwards':[{'name':'${ship_forward_name}','weight':0x1,'permission_index':0x2,'named_operator':''}]},{'prev_node':'Shipped','next_node':'Received','threshold':0x1,'forwards':[{'name':'${receive_forward_name}','weight':0x1,'named_operator':'','permission_index':0x0}]},{'prev_node':'Received','next_node':'${complete_node_name}','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2,'named_operator':''}]}],'required_guards':[],'required_permissions':[{'index':0x2,'name':'merchant','description':'Merchant\x20role\x20for\x20Ship\x20+\x20Finish'},{'index':0x3,'name':'admin','description':'Admin\x20override\x20(optional)'}],'required_allocators':[{'name':'MerchantAllocation','trigger_node':'${complete_node_name}','description':'100%\x20to\x20merchant\x20Treasury\x20or\x20personal\x20address'}],'forkable_fields':['node_names','forward_names','thresholds','additional_branches'],'applicable_industries':['ecommerce','retail'],'relevant_risks':['R-M1-01','R-M1-02','R-M1-08','R-M2-01','R-M3-02','R-M4-01'],'creation_notes':['Build\x20order:\x20Permission\x20->\x20Machine\x20(unpublished)\x20->\x20Guards\x20->\x20Bind\x20guards\x20->\x20Publish\x20->\x20Bind\x20to\x20Service','First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20Service.buy()\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','Entry\x20point:\x20prev_node=\x27\x27\x20(empty\x20string)\x20targets\x20\x27Paid\x27\x20—\x20at\x20least\x20one\x20Pair\x20must\x20exist\x20with\x20empty\x20prev_node','If\x20using\x20P16\x20circular\x20reference\x20for\x20Service,\x20use\x20name\x20not\x20address\x20(Service\x20not\x20yet\x20published)'],'example_use_case':'Small\x20e-commerce\x20shop\x20selling\x20camera\x20accessories.\x20Linear\x20flow\x20with\x20no\x20exceptions.\x20'+'Funds\x20allocated\x20to\x20merchant\x20personal\x20address\x20on\x20Complete.','publish_checklist':['All\x204\x20nodes\x20have\x20at\x20least\x20one\x20outgoing\x20Forward\x20(except\x20terminal)','Entry\x20Pair\x20exists\x20(prev_node=\x27\x27\x20targets\x20\x27Paid\x27)','permissionIndex\x20values\x20match\x20Permission\x20object\x20indices','Test\x20Progress\x20run\x20on\x20testnet','machineNode2file\x20export\x20as\x20backup']},{'id':'tpl_machine_ecommerce_exceptions','scene_id':'ecommerce_with_exceptions','name':'E-commerce\x20Flow\x20with\x20Exception\x20Branches','description':'Multi-path\x20workflow:\x20Paid\x20(entry)\x20->\x20Ship\x20->\x20Receive/Lost/Return.\x20Lost\x20uses\x20dual-sig\x20(threshold=2).\x20'+'Payment\x20is\x20handled\x20by\x20Service.buy()\x20atomically;\x20Machine\x20starts\x20at\x20post-payment\x20state.\x20'+'Return\x20path\x20opens\x20Refund\x20->\x20Complete.\x20Competing\x20pairs\x20first-wins.','recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object'},{'name':'lost_threshold','type':'number','required':!![],'default':'2','description':'Threshold\x20for\x20dual-sig\x20on\x20Lost\x20node','constraint':'Must\x20be\x202\x20(customer\x20+\x20merchant)'},{'name':'arbitration_ref','type':'arbitration_ref','required':![],'description':'Arbitration\x20object\x20if\x20Lost\x20escalates\x20to\x20arbitration'},{'name':'time_guard_days','type':'number','required':!![],'default':'10','description':'Days\x20before\x20auto-complete\x20trigger\x20(time\x20guard)','constraint':'Must\x20be\x20>\x200;\x20reasonable\x20range\x207-30'},{'name':'return_node_name','type':'string','required':!![],'default':'Return','description':'Name\x20of\x20the\x20return/refund\x20node\x20in\x20the\x20exception\x20branch'}],'example_nodes':[{'name':'Paid','description':'Entry:\x20order\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'Shipped'},{'name':'Received'},{'name':'Lost'},{'name':'Return'},{'name':'Refund'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'Paid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'Paid','next_node':'Shipped','threshold':0x1,'forwards':[{'name':'Ship','weight':0x1,'permission_index':0x2}]},{'prev_node':'Shipped','next_node':'Received','threshold':0x1,'forwards':[{'name':'ConfirmReceive','weight':0x1,'named_operator':''}]},{'prev_node':'Shipped','next_node':'Lost','threshold':'${lost_threshold}','forwards':[{'name':'CustomerReport','weight':0x1,'named_operator':''},{'name':'MerchantConfirm','weight':0x1,'permission_index':0x2}]},{'prev_node':'Shipped','next_node':'Return','threshold':0x1,'forwards':[{'name':'RequestReturn','weight':0x1,'named_operator':''}]},{'prev_node':'Received','next_node':'Complete','threshold':0x1,'forwards':[{'name':'TimeGuard','weight':0x1,'permission_index':0x3,'guard':'time_guard_${time_guard_days}_days'},{'name':'MerchantFinish','weight':0x1,'permission_index':0x2}]},{'prev_node':'Return','next_node':'Refund','threshold':0x1,'forwards':[{'name':'IssueRefund','weight':0x1,'permission_index':0x2}]},{'prev_node':'Refund','next_node':'Complete','threshold':0x1,'forwards':[{'name':'CloseReturn','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'MerchantConfirm','purpose':'Dual-sig\x20on\x20Lost\x20node'},{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'TimeGuard','purpose':'Time\x20lock\x20${time_guard_days}\x20days'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Merchant\x20role'},{'index':0x3,'name':'admin','description':'Admin\x20/\x20time-guard\x20trigger'}],'required_allocators':[{'name':'CompleteAllocation','trigger_node':'Complete','description':'Full\x20allocation\x20to\x20merchant\x20on\x20normal\x20completion'},{'name':'RefundAllocation','trigger_node':'Refund','description':'Full\x20refund\x20to\x20customer\x20on\x20return'},{'name':'LostAllocation','trigger_node':'Lost','description':'Optional:\x20partial\x20refund\x20or\x20escrow\x20(depends\x20on\x20policy)'}],'forkable_fields':['node_names','branch_conditions','time_guard_days','lost_threshold'],'applicable_industries':['ecommerce','logistics'],'relevant_risks':['R-M1-01','R-M1-03','R-M1-08','R-M2-01','R-M2-05','R-M3-02','R-M3-04','R-M3-05','R-M4-01','R-M5-03'],'creation_notes':['First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20Service.buy()\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','Competing\x20Pairs\x20(Shipped\x20->\x20Received/Lost/Return)\x20are\x20mutually\x20exclusive\x20—\x20first\x20threshold\x20met\x20wins','Lost\x20node\x20threshold=2\x20means\x20BOTH\x20customer\x20and\x20merchant\x20Forwards\x20must\x20execute','TimeGuard\x20must\x20use\x20context(Clock)\x20>=\x20progress.entry_time\x20+\x20duration','If\x20Lost\x20escalates\x20to\x20arbitration,\x20bind\x20arbitration_usage_guard\x20on\x20Lost\x20forward','Refund\x20Allocation\x20must\x20use\x20sharing.who=OrderHolder\x20(refund\x20to\x20customer,\x20NOT\x20merchant)'],'example_use_case':'Mid-size\x20e-commerce\x20with\x207-day\x20return\x20policy\x20and\x20dispute\x20handling.\x20'+'Lost\x20claims\x20require\x20customer+merchant\x20dual\x20confirmation.','publish_checklist':['All\x20competing\x20Pairs\x20tested:\x20verify\x20first-wins\x20semantics\x20on\x20testnet','Lost\x20dual-sig\x20tested:\x20incomplete\x20signatures\x20do\x20not\x20advance','TimeGuard\x20Clock\x20query\x20verified\x20(testnet)','All\x20three\x20Allocators\x20tested\x20with\x20correct\x20sharing.who','Arbitration\x20binding\x20(if\x20any)\x20verified\x20via\x20gen_passport']},{'id':'tpl_machine_rental','scene_id':'rental_standard','name':'Equipment\x20Rental\x20Flow','description':'Rental\x20flow:\x20DepositPaid\x20(entry)\x20->\x20Pickup\x20->\x20In\x20Use\x20->\x20Return\x20->\x20Refund\x20Deposit.\x20'+'Payment\x20is\x20handled\x20by\x20Service.buy()\x20atomically;\x20Machine\x20starts\x20at\x20post-deposit\x20state.\x20'+'Separates\x20deposit\x20from\x20rental\x20fee\x20(two\x20Allocators).\x20Damage\x20report\x20via\x20retained_submission.','recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object'},{'name':'deposit_amount','type':'number','required':!![],'description':'Deposit\x20amount\x20in\x20smallest\x20WOW\x20unit','constraint':'Must\x20equal\x20order.amount\x20field;\x20verify\x20via\x20Guard\x20query'},{'name':'damage_inspection_node','type':'string','required':!![],'default':'DamageCheck','description':'Name\x20of\x20the\x20node\x20where\x20damage\x20inspection\x20occurs'},{'name':'return_node_name','type':'string','required':!![],'default':'Return','description':'Name\x20of\x20the\x20return\x20node\x20after\x20damage\x20check\x20fails'}],'example_nodes':[{'name':'DepositPaid','description':'Entry:\x20deposit\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'PickedUp'},{'name':'InUse'},{'name':'Return'},{'name':'DamageCheck'},{'name':'DepositRefund'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'DepositPaid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'DepositPaid','next_node':'PickedUp','threshold':0x1,'forwards':[{'name':'Pickup','weight':0x1,'named_operator':'','permission_index':0x2}]},{'prev_node':'PickedUp','next_node':'InUse','threshold':0x1,'forwards':[{'name':'StartUse','weight':0x1,'named_operator':''}]},{'prev_node':'InUse','next_node':'Return','threshold':0x1,'forwards':[{'name':'ReturnItem','weight':0x1,'named_operator':''}]},{'prev_node':'Return','next_node':'DamageCheck','threshold':0x1,'forwards':[{'name':'Inspect','weight':0x1,'permission_index':0x2,'retained_submission':'damage_report'}]},{'prev_node':'Return','next_node':'Complete','threshold':0x1,'forwards':[{'name':'CleanReturn','weight':0x1,'permission_index':0x2}]},{'prev_node':'DamageCheck','next_node':'DepositRefund','threshold':0x1,'forwards':[{'name':'DeductDamage','weight':0x1,'permission_index':0x2}]},{'prev_node':'DepositRefund','next_node':'Complete','threshold':0x1,'forwards':[{'name':'Close','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_privacy_delivery_proof','bound_to_forward':'Inspect','purpose':'Optional:\x20damage\x20evidence\x20proof\x20(photo,\x20video)'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Rental\x20provider'}],'required_allocators':[{'name':'RentalFeeAllocation','trigger_node':'Complete','description':'Rental\x20fee\x20to\x20merchant'},{'name':'DepositRefundAllocation','trigger_node':'DepositRefund','description':'Remaining\x20deposit\x20to\x20customer\x20(OrderHolder\x20sharing.who)'},{'name':'DamageDeductionAllocation','trigger_node':'DamageCheck','description':'Damage\x20deduction\x20to\x20merchant'}],'forkable_fields':['deposit_amount','damage_node_logic','additional_inspection_steps'],'applicable_industries':['rental','equipment','vehicle'],'relevant_risks':['R-M1-01','R-M1-08','R-M2-01','R-M2-04','R-M3-02','R-M4-01','R-M5-02'],'creation_notes':['First\x20node\x20\x27DepositPaid\x27\x20represents\x20post-payment\x20state\x20—\x20Service.buy()\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','Damage\x20report\x20uses\x20retained_submission\x20—\x20values\x20stored\x20uniquely\x20by\x20(current_node,\x20next_node,\x20forward_name)','Two\x20competing\x20Pairs\x20at\x20Return\x20node:\x20DamageCheck\x20vs\x20Complete\x20(clean\x20return)','DamageDeduction\x20Allocation\x20uses\x20sharing.who=Entity\x20(merchant),\x20not\x20OrderHolder'],'example_use_case':'Camera\x20equipment\x20rental:\x20customer\x20pays\x201000\x20WOW\x20deposit,\x20returns\x20equipment,\x20'+'merchant\x20inspects.\x20If\x20damaged,\x20200\x20WOW\x20deducted;\x20otherwise\x20full\x20refund.','publish_checklist':['Deposit\x20Guard\x20tested\x20(testnet)\x20with\x20valid/invalid\x20amounts','Damage\x20report\x20retained_submission\x20stored\x20correctly\x20(query\x20progress_history)','Both\x20Return\x20branches\x20tested\x20(DamageCheck\x20+\x20CleanReturn)','All\x20three\x20Allocators\x20verified\x20with\x20correct\x20sharing.who']},{'id':'tpl_machine_dual_signature','scene_id':'dual_signature','name':'Dual-Signature\x20Consensus\x20Flow','description':'Critical\x20node\x20requires\x20both\x20customer\x20+\x20merchant\x20confirmation.\x20threshold=2\x20with\x20two\x20Forwards\x20(weight=1\x20each).\x20'+'Customer\x20uses\x20namedOperator=\x27\x27\x20(OrderHolder);\x20merchant\x20uses\x20permissionIndex=2.','recommended_patterns':['P-M-AND'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object'},{'name':'critical_node_name','type':'string','required':!![],'default':'Approve','description':'Node\x20requiring\x20dual-sig'},{'name':'next_node_after_approval','type':'string','required':!![],'default':'Execute','description':'Name\x20of\x20the\x20node\x20that\x20follows\x20after\x20dual-signature\x20approval'}],'example_nodes':[{'name':'Initiated'},{'name':'${critical_node_name}','description':'Dual-sig\x20required\x20here'},{'name':'${next_node_after_approval}'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'Initiated','threshold':0x1,'forwards':[{'name':'Initiate','weight':0x1,'named_operator':''}]},{'prev_node':'Initiated','next_node':'${critical_node_name}','threshold':0x1,'forwards':[{'name':'Submit','weight':0x1,'named_operator':''}]},{'prev_node':'${critical_node_name}','next_node':'${next_node_after_approval}','threshold':0x2,'forwards':[{'name':'CustomerApprove','weight':0x1,'named_operator':'','guard':'customer_identity_guard'},{'name':'MerchantApprove','weight':0x1,'permission_index':0x2,'guard':'merchant_identity_guard'}]},{'prev_node':'${next_node_after_approval}','next_node':'Complete','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'CustomerApprove','purpose':'Verify\x20customer\x20identity\x20(order.owner)'},{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'MerchantApprove','purpose':'Verify\x20merchant\x20identity\x20(permission\x20holder)'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Merchant\x20approval'}],'required_allocators':[{'name':'CompleteAllocation','trigger_node':'Complete','description':'Allocation\x20on\x20dual-sig\x20completion'}],'forkable_fields':['critical_node_name','additional_approvers','guard_logic'],'applicable_industries':['ecommerce','service','logistics','escrow'],'relevant_risks':['R-M1-08','R-M2-01','R-M3-02','R-M3-04'],'creation_notes':['threshold=2\x20means\x20BOTH\x20Forwards\x20must\x20execute\x20to\x20advance\x20(AND\x20semantics)','Customer\x20Forward\x20uses\x20namedOperator=\x27\x27\x20(OrderHolder)','Merchant\x20Forward\x20uses\x20permissionIndex=2','If\x20either\x20party\x20fails\x20to\x20sign,\x20workflow\x20stalls\x20—\x20consider\x20adding\x20timeout\x20Guard'],'example_use_case':'High-value\x20order\x20(e.g.\x20real\x20estate\x20transaction)\x20requiring\x20both\x20buyer\x20and\x20seller\x20confirmation.','publish_checklist':['Both\x20Forward\x20identities\x20tested\x20on\x20testnet','Verify\x20partial\x20signature\x20does\x20NOT\x20advance\x20(threshold=2)','Guards\x20correctly\x20distinguish\x20customer\x20vs\x20merchant\x20identity']},{'id':'tpl_machine_weighted_voting','scene_id':'weighted_voting','name':'Weighted\x20Voting\x20Flow','description':'Multi-party\x20voting\x20with\x20unequal\x20weights.\x20threshold=100,\x20chief\x20weight=60,\x20members\x20weight=40\x20total.\x20'+'Each\x20member\x27s\x20weight\x20extracted\x20via\x20Guard\x20query\x20from\x20Arbitration\x20object.','recommended_patterns':['P-M-VOTE'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'arbitration_ref','type':'arbitration_ref','required':!![],'description':'Arbitration\x20object\x20storing\x20voter\x20weights'},{'name':'threshold_total','type':'number','required':!![],'default':'100','description':'Total\x20weight\x20threshold\x20for\x20decision'},{'name':'chief_weight','type':'number','required':!![],'default':'60','description':'Weight\x20assigned\x20to\x20the\x20chief\x20voter\x20(out\x20of\x20100)'},{'name':'member_count','type':'number','required':!![],'default':'5','description':'Number\x20of\x20voting\x20members\x20(excluding\x20chief)'}],'example_nodes':[{'name':'VoteOpened'},{'name':'Voting'},{'name':'Approved'},{'name':'Rejected'}],'example_pairs':[{'prev_node':'','next_node':'VoteOpened','threshold':0x1,'forwards':[{'name':'OpenVote','weight':0x1,'permission_index':0x3}]},{'prev_node':'VoteOpened','next_node':'Voting','threshold':0x1,'forwards':[{'name':'StartVoting','weight':0x1,'permission_index':0x3}]},{'prev_node':'Voting','next_node':'Approved','threshold':'${threshold_total}','forwards':[{'name':'ChiefVote','weight':'${chief_weight}','permission_index':0x2,'guard':'arb_voting_guard','retained_submission':'chief_vote_record'},{'name':'MemberVote','weight':0x8,'named_operator':'member','guard':'arb_voting_guard','retained_submission':'member_vote_record'}]},{'prev_node':'Voting','next_node':'Rejected','threshold':0x1,'forwards':[{'name':'TimeoutReject','weight':0x1,'permission_index':0x3,'guard':'voting_timeout_guard'}]}],'required_guards':[{'guard_template_id':'tpl_voting_guard_numeric_weight','bound_to_forward':'ChiefVote','purpose':'Verify\x20voting\x20eligibility\x20+\x20extract\x20weight\x20from\x20Arbitration'},{'guard_template_id':'tpl_voting_guard_numeric_weight','bound_to_forward':'MemberVote','purpose':'Verify\x20voting\x20eligibility\x20+\x20prevent\x20double-vote'}],'required_permissions':[{'index':0x2,'name':'chief','description':'Chief\x20voter\x20(high\x20weight)'},{'index':0x3,'name':'admin','description':'Vote\x20opener\x20/\x20timeout\x20trigger'}],'required_allocators':[{'name':'ApprovedAllocation','trigger_node':'Approved','description':'Allocation\x20on\x20approval'}],'forkable_fields':['weights','voter_count','timeout_days'],'applicable_industries':['governance','arbitration','dao'],'relevant_risks':['R-M1-08','R-M2-05','R-M3-04','R-M5-04','R-X1-14'],'creation_notes':['Member\x20weight\x20must\x20be\x20extracted\x20dynamically\x20via\x20Guard\x20query\x20(not\x20hardcoded\x20in\x20Forward)','Guard\x20MUST\x20check\x20arb.voted\x20has\x20[Signer]\x20to\x20prevent\x20double-voting\x20(R-X1-14\x20CRITICAL)','Competing\x20Pair:\x20Approved\x20vs\x20Rejected\x20(timeout)\x20—\x20first-wins','Voting\x20weight\x20is\x20query-derived;\x20Forward\x20weight\x20field\x20is\x20just\x20session\x20counter'],'example_use_case':'Arbitration\x20panel:\x201\x20chief\x20(weight\x2060)\x20+\x205\x20members\x20(weight\x208\x20each\x20=\x2040).\x20'+'Need\x20total\x20>=\x20100\x20to\x20approve.\x20Reject\x20after\x2072h\x20timeout.','publish_checklist':['Arbitration\x20object\x20created\x20and\x20tested','Double-vote\x20prevention\x20verified\x20(try\x20voting\x20twice\x20—\x20should\x20fail)','Weight\x20extraction\x20tested\x20with\x20different\x20voter\x20configurations','Timeout\x20Guard\x20(Clock)\x20verified\x20on\x20testnet']},{'id':'tpl_machine_cross_machine','scene_id':'cross_machine_supply_chain','name':'Cross-Machine\x20Supply\x20Chain','description':'Decomposed\x20supply\x20chain\x20across\x20multiple\x20Machines.\x20Machine\x20B\x27s\x20Forward\x20Guard\x20queries\x20Machine\x20A\x27s\x20Progress\x20'+'via\x20convert_witness=100\x20to\x20verify\x20upstream\x20completion\x20before\x20advancing.','recommended_patterns':['P-M-CROSS-MACHINE'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'machine_a_id','type':'machine_ref','required':!![],'description':'Upstream\x20Machine\x20(must\x20already\x20be\x20published)','constraint':'Machine\x20A\x20must\x20be\x20published\x20BEFORE\x20Machine\x20B\x27s\x20Guard\x20can\x20reference\x20its\x20Progress\x20'+'(indirect\x20via\x20progress::new\x20->\x20assert_published,\x20see\x2006\x20§14.6)'},{'name':'machine_a_complete_node','type':'string','required':!![],'default':'Complete','description':'Target\x20node\x20name\x20in\x20Machine\x20A\x20to\x20verify'},{'name':'machine_b_permission','type':'permission_ref','required':!![],'description':'Machine\x20B\x27s\x20Permission\x20object'}],'example_nodes':[{'name':'UpstreamVerified'},{'name':'Production'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'UpstreamVerified','threshold':0x1,'forwards':[{'name':'VerifyUpstream','weight':0x1,'permission_index':0x2,'guard':'upstream_progress_guard','retained_submission':'upstream_progress_id'}]},{'prev_node':'UpstreamVerified','next_node':'Production','threshold':0x1,'forwards':[{'name':'StartProduction','weight':0x1,'permission_index':0x2}]},{'prev_node':'Production','next_node':'Complete','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'VerifyUpstream','purpose':'Query\x20Machine\x20A\x27s\x20Progress:\x20verify\x20it\x20reached\x20${machine_a_complete_node}'}],'required_permissions':[{'index':0x2,'name':'manufacturer','description':'Machine\x20B\x20operator'}],'required_allocators':[{'name':'CompleteAllocation','trigger_node':'Complete','description':'Allocation\x20to\x20Machine\x20B\x27s\x20merchant'}],'forkable_fields':['upstream_machine_ref','verification_node_name'],'applicable_industries':['manufacturing','logistics','retail','supply_chain'],'relevant_risks':['R-M1-01','R-M1-08','R-M2-01','R-M2-04','R-M3-04','R-M5-04','R-M5-05','R-M5-06'],'creation_notes':['Machine\x20A\x20MUST\x20be\x20published\x20before\x20Machine\x20B\x20(dependency\x20order)','Guard\x20uses\x20convert_witness=100\x20to\x20convert\x20submitted\x20Order/Progress\x20ID\x20into\x20queryable\x20Progress\x20object','Cross-Machine\x20dependency\x20is\x20one-way\x20(no\x20cycles)','retained_submission\x20stores\x20upstream\x20Progress\x20ID\x20for\x20later\x20audit','Multi-party\x20chain:\x20extend\x20pattern\x20with\x20Machine\x20C,\x20D,\x20...\x20(each\x20independently\x20published)','Dependency\x20verification:\x20indirect\x20via\x20progress::new\x20->\x20assert_published\x20(see\x2006\x20§14.6)'],'example_use_case':'Supplier\x20(Machine\x20A)\x20->\x20Manufacturer\x20(Machine\x20B)\x20->\x20Retailer\x20(Machine\x20C).\x20'+'Manufacturer\x20cannot\x20start\x20production\x20until\x20supplier\x27s\x20Progress\x20reaches\x20\x27Complete\x27.','publish_checklist':['Machine\x20A\x20already\x20published\x20on-chain\x20(verify\x20via\x20onchain_objects)','Cross-Machine\x20Guard\x20tested\x20with\x20valid/invalid\x20upstream\x20Progress\x20IDs','retained_submission\x20verified\x20(query\x20progress_history\x20for\x20upstream_progress_id)','Independent\x20testing:\x20run\x20Machine\x20A\x20to\x20Complete,\x20then\x20attempt\x20Machine\x20B\x27s\x20VerifyUpstream']},{'id':'tpl_machine_privacy_delivery','scene_id':'privacy_delivery','name':'Privacy-Preserving\x20Delivery\x20Flow','description':'Customer\x20submits\x20privacy\x20data\x20via\x20Messenger\x20(encrypted,\x20off-chain).\x20Chain\x20stores\x20only\x20Merkle\x20Root\x20Proof.\x20'+'Guard\x20verifies\x20Proof\x20signature\x20+\x20timestamp\x20+\x20service\x20binding.\x20Uses\x20tpl_forward_privacy_delivery_proof\x20(strict\x20mode).','recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object'},{'name':'proof_node_name','type':'string','required':!![],'default':'ProofSubmitted','description':'Name\x20of\x20the\x20node\x20where\x20delivery\x20proof\x20is\x20submitted'},{'name':'delivery_node_name','type':'string','required':!![],'default':'DeliveryConfirmed','description':'Name\x20of\x20the\x20node\x20where\x20delivery\x20confirmation\x20occurs'}],'example_nodes':[{'name':'Paid','description':'Entry:\x20order\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'${proof_node_name}','description':'Customer\x20submits\x20Proof\x20via\x20Messenger'},{'name':'${delivery_node_name}'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'Paid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'Paid','next_node':'${proof_node_name}','threshold':0x1,'forwards':[{'name':'SubmitProof','weight':0x1,'named_operator':'','guard':'tpl_forward_privacy_delivery_proof','retained_submission':'proof_address'}]},{'prev_node':'${proof_node_name}','next_node':'${delivery_node_name}','threshold':0x1,'forwards':[{'name':'ConfirmDelivery','weight':0x1,'permission_index':0x2}]},{'prev_node':'${delivery_node_name}','next_node':'Complete','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_privacy_delivery_proof','bound_to_forward':'SubmitProof','purpose':'Verify\x20Proof:\x20signer=proof.signer\x20∧\x20proof.time>order.time\x20∧\x20order.service=service'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Merchant\x20confirms\x20delivery'}],'required_allocators':[{'name':'CompleteAllocation','trigger_node':'Complete','description':'Allocation\x20to\x20merchant\x20after\x20delivery\x20confirmation'}],'forkable_fields':['proof_node_name','delivery_node_name','additional_evidence_steps'],'applicable_industries':['ecommerce','logistics','privacy_service'],'relevant_risks':['R-M1-01','R-M1-08','R-M2-01','R-M2-04','R-M3-02','R-M5-03'],'creation_notes':['Use\x20strict\x20mode\x20tpl_forward_privacy_delivery_proof\x20(3\x20conditions:\x20Signer\x20+\x20time\x20+\x20service\x20binding)','submitChainProof\x20about_address\x20=\x20peerAddress\x20(NOT\x20sessionId)','order_id\x20passed\x20via\x20description\x20string\x20field\x20(not\x20about_address)','Guard\x20table\x20item\x20name\x20MUST\x20be\x20<64\x20BCS\x20bytes\x20(MAX_NAME_LENGTH=64)','retained_submission\x20stores\x20Proof\x20address\x20for\x20arbitration\x20query','Proof\x20MUST\x20be\x20generated\x20by\x20messenger.submitChainProof\x20(not\x20manual)'],'example_use_case':'Customer\x20sends\x20delivery\x20address\x20via\x20Messenger\x20(encrypted).\x20Chain\x20stores\x20only\x20Proof.\x20'+'Merchant\x20verifies\x20Proof,\x20then\x20confirms\x20delivery.','publish_checklist':['Strict\x20mode\x20Guard\x20tested:\x203\x20conditions\x20verified\x20individually','Messenger\x20integration\x20tested\x20end-to-end\x20(submit\x20+\x20verify)','retained_submission\x20stored\x20Proof\x20address\x20queryable\x20from\x20progress_history','Guard\x20table\x20item\x20name\x20length\x20validated\x20(<64\x20BCS\x20bytes)']},{'id':'tpl_machine_reward','scene_id':'reward_incentive','name':'Reward\x20Incentive\x20Flow','description':'Customer\x20triggers\x20Reward\x20claim\x20at\x20specific\x20node.\x20Guard\x20prevents\x20double-claim\x20via\x20query_reward_record_count==0.\x20'+'Reward\x20object\x20independent\x20of\x20Allocator.','recommended_patterns':['P-M-SEQ'],'recommended_topology':['P-M-LINEAR'],'parameters':[{'name':'reward_ref','type':'reward_ref','required':!![],'description':'Reward\x20object\x20address\x20(must\x20be\x20already\x20created)'},{'name':'claim_node_name','type':'string','required':!![],'default':'ClaimReward','description':'Name\x20of\x20the\x20node\x20where\x20reward\x20claims\x20are\x20triggered'}],'example_nodes':[{'name':'Eligible'},{'name':'${claim_node_name}'},{'name':'Rewarded'},{'name':'Complete'}],'example_pairs':[{'prev_node':'','next_node':'Eligible','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'Eligible','next_node':'${claim_node_name}','threshold':0x1,'forwards':[{'name':'TriggerClaim','weight':0x1,'named_operator':'','guard':'reward_anti_double_guard','retained_submission':'claim_record'}]},{'prev_node':'${claim_node_name}','next_node':'Rewarded','threshold':0x1,'forwards':[{'name':'IssueReward','weight':0x1,'permission_index':0x3}]},{'prev_node':'Rewarded','next_node':'Complete','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_reward_one_time_claim','bound_to_forward':'TriggerClaim','purpose':'Verify\x20query_reward_record_count==0\x20to\x20prevent\x20double-claim'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Completes\x20flow'},{'index':0x3,'name':'reward_admin','description':'Issues\x20reward\x20tokens'}],'required_allocators':[{'name':'CompleteAllocation','trigger_node':'Complete','description':'Standard\x20allocation\x20(separate\x20from\x20Reward)'}],'forkable_fields':['claim_node_name','additional_reward_conditions'],'applicable_industries':['ecommerce','subscription','education','loyalty'],'relevant_risks':['R-M1-08','R-M2-05','R-M3-04','R-X1-14'],'creation_notes':['Reward\x20Guard\x20MUST\x20check\x20query_reward_record_count\x20==\x200\x20(R-X1-14\x20CRITICAL)','Reward\x20is\x20INDEPENDENT\x20of\x20Allocator\x20—\x20both\x20can\x20fire\x20on\x20different\x20nodes','Reward\x20object\x20must\x20be\x20created\x20BEFORE\x20publishing\x20this\x20Machine','retained_submission\x20stores\x20claim\x20record\x20for\x20audit'],'example_use_case':'Loyalty\x20program:\x20after\x20customer\x20completes\x205\x20orders,\x20eligible\x20to\x20claim\x20reward\x20token.\x20'+'Anti-double-claim\x20Guard\x20ensures\x20one\x20claim\x20per\x20customer.','publish_checklist':['Reward\x20object\x20already\x20created\x20and\x20tested','Anti-double-claim\x20Guard\x20tested:\x20claim\x20twice\x20should\x20fail\x20on\x20second\x20attempt','retained_submission\x20verified\x20(claim_record\x20queryable)']},{'id':'tpl_machine_wonder_feedback','scene_id':'wonder_feedback','name':'Wonder\x20Feedback\x20Flow\x20(Post-Completion\x20Rating)','description':'Post-completion\x20rating\x20flow:\x20Paid\x20(entry)\x20→\x20Shipped\x20→\x20Received\x20→\x20Completed\x20→\x20{Wonder\x20|\x20NoWonder}.\x20'+'After\x20the\x20order\x20reaches\x20\x27Completed\x27\x20(terminal\x20business\x20state,\x20funds\x20already\x20allocated\x20to\x20merchant),\x20'+'the\x20OrderHolder\x20(namedOperator=\x27\x27)\x20can\x20advance\x20Progress\x20to\x20\x27wonder\x27\x20(positive\x20review)\x20or\x20\x27no_wonder\x27\x20'+'(negative\x20review).\x20A\x20bound\x20Reward\x20object\x27s\x20claim_guard\x20verifies\x20Progress.current\x20==\x20\x27wonder\x27\x20before\x20'+'paying\x20out\x20—\x20reward\x20claim\x20needs\x20NO\x20Permission.\x20Dispute\x20is\x20NEVER\x20modeled\x20here:\x20it\x20flows\x20through\x20'+'Order\x20→\x20Arbitration.dispute()\x20→\x20Arb\x20→\x20arbitration()\x20ruling\x20→\x20arb_withdraw,\x20fully\x20off-Machine.','recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Merchant\x20Permission\x20object\x20(index\x202\x20=\x20merchant,\x20index\x203\x20=\x20admin)'},{'name':'wonder_node_name','type':'string','required':!![],'default':'wonder','description':'Node\x20name\x20for\x20positive\x20feedback\x20(praise)\x20terminal','constraint':'Must\x20match\x20/^(wonder|praise|thumbs_up)$/i\x20OR\x20be\x20a\x20custom\x20name;\x20must\x20NOT\x20match\x20dispute\x20anti-pattern\x20regex'},{'name':'no_wonder_node_name','type':'string','required':!![],'default':'no_wonder','description':'Node\x20name\x20for\x20negative\x20feedback\x20(complaint)\x20terminal','constraint':'Must\x20match\x20/^(no_wonder|complain|thumbs_down)$/i\x20OR\x20be\x20a\x20custom\x20name;\x20must\x20NOT\x20match\x20dispute\x20anti-pattern\x20regex'},{'name':'reward_ref','type':'reward_ref','required':![],'description':'Reward\x20object\x20address\x20(optional).\x20If\x20bound,\x20its\x20claim_guard\x20should\x20verify\x20Progress.current\x20==\x20wonder_node_name\x20AND\x20order.holder\x20==\x20signer.\x20Use\x20wonder_praise\x20or\x20wonder_feedback\x20reward\x20template.'},{'name':'rating_time_limit_days','type':'number','required':![],'default':'30','description':'Days\x20after\x20completion\x20during\x20which\x20the\x20customer\x20can\x20rate\x20(enforced\x20by\x20Guard\x20on\x20Praise/Complain\x20forwards\x20via\x20context(Clock))','constraint':'Must\x20be\x20>\x200;\x20reasonable\x20range\x207-90'}],'example_nodes':[{'name':'Paid','description':'Entry:\x20order\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'Shipped','description':'Merchant\x20dispatched\x20goods/service'},{'name':'Received','description':'Customer\x20confirmed\x20receipt'},{'name':'Completed','description':'Terminal\x20business\x20state\x20—\x20triggers\x20merchant\x20Allocation.\x20Funds\x20settled.'},{'name':'${wonder_node_name}','description':'Positive\x20feedback\x20terminal\x20(praise).\x20OrderHolder-only.\x20Reward-eligible.'},{'name':'${no_wonder_node_name}','description':'Negative\x20feedback\x20terminal\x20(complaint).\x20OrderHolder-only.\x20Optional\x20Repository\x20write\x20for\x20analytics.'}],'example_pairs':[{'prev_node':'','next_node':'Paid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'Paid','next_node':'Shipped','threshold':0x1,'forwards':[{'name':'Ship','weight':0x1,'permission_index':0x2,'named_operator':''}]},{'prev_node':'Shipped','next_node':'Received','threshold':0x1,'forwards':[{'name':'ConfirmReceive','weight':0x1,'named_operator':''}]},{'prev_node':'Received','next_node':'Completed','threshold':0x1,'forwards':[{'name':'Finish','weight':0x1,'permission_index':0x2,'named_operator':''}]},{'prev_node':'Completed','next_node':'${wonder_node_name}','threshold':0x1,'forwards':[{'name':'Praise','weight':0x1,'named_operator':'','guard':'rating_window_guard','retained_submission':'rating_record'}]},{'prev_node':'Completed','next_node':'${no_wonder_node_name}','threshold':0x1,'forwards':[{'name':'Complain','weight':0x1,'named_operator':'','guard':'rating_window_guard','retained_submission':'rating_record'}]}],'required_guards':[{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'Praise','purpose':'Verify\x20Progress.current\x20==\x20\x27Completed\x27\x20(rating\x20only\x20allowed\x20after\x20completion)\x20AND\x20context(Clock)\x20<=\x20progress.entry_time\x20+\x20rating_time_limit_days'},{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'Complain','purpose':'Verify\x20Progress.current\x20==\x20\x27Completed\x27\x20(rating\x20only\x20allowed\x20after\x20completion)\x20AND\x20context(Clock)\x20<=\x20progress.entry_time\x20+\x20rating_time_limit_days'}],'required_permissions':[{'index':0x2,'name':'merchant','description':'Merchant\x20role\x20for\x20Ship\x20+\x20Finish\x20(NOT\x20for\x20rating\x20—\x20rating\x20is\x20OrderHolder-only\x20via\x20named_operator=\x27\x27)'},{'index':0x3,'name':'admin','description':'Admin\x20override\x20(optional)'}],'required_allocators':[{'name':'MerchantAllocation','trigger_node':'Completed','description':'100%\x20to\x20merchant\x20Treasury\x20or\x20personal\x20address.\x20Fires\x20at\x20Completion\x20—\x20NOT\x20at\x20Wonder/NoWonder\x20(those\x20are\x20reputation-only\x20terminals\x20with\x20no\x20fund\x20flow).'}],'forkable_fields':['wonder_node_name','no_wonder_node_name','rating_time_limit_days','additional_rating_nodes'],'applicable_industries':['ecommerce','service','rental','subscription','education'],'relevant_risks':['R-M1-01','R-M1-02','R-M1-08','R-M1-11','R-M2-01','R-M2-05','R-M3-02','R-M3-04','R-M4-01','R-M5-03'],'creation_notes':['DISPUTE\x20INDEPENDENCE:\x20This\x20Machine\x20MUST\x20NOT\x20contain\x20\x27disputed\x27,\x20\x27refunded\x27,\x20\x27arb\x27,\x20\x27arbitration\x27\x20nodes\x20(R-M1-11\x20critical).\x20Disputes\x20are\x20filed\x20off-Machine\x20via\x20arbitration::dispute(order,\x20arbitration).','Build\x20order:\x20Permission\x20→\x20Machine\x20(unpublished)\x20→\x20Guards\x20→\x20Bind\x20guards\x20→\x20Publish\x20→\x20Bind\x20to\x20Service\x20→\x20Bind\x20Reward\x20(optional)','First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20Service.buy()\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','Wonder/NoWonder\x20forwards\x20have\x20named_operator=\x27\x27\x20(empty)\x20—\x20this\x20delegates\x20to\x20the\x20OrderHolder\x20(customer).\x20No\x20Permission\x20index\x20needed\x20for\x20rating.','Completed\x20node\x20triggers\x20MerchantAllocation\x20—\x20funds\x20are\x20settled\x20BEFORE\x20the\x20rating\x20window\x20opens.\x20Rating\x20does\x20NOT\x20affect\x20fund\x20flow.','Competing\x20Pair:\x20Praise\x20vs\x20Complain\x20(first-wins)\x20—\x20one\x20rating\x20per\x20order,\x20enforced\x20by\x20Guard\x20+\x20retained_submission\x20audit\x20trail.','Reward\x20object\x20(if\x20bound)\x20is\x20INDEPENDENT\x20of\x20Allocator:\x20Reward.claim()\x20requires\x20Guard+passport,\x20not\x20Permission.\x20Guard\x20checks\x20Progress.current\x20==\x20\x27wonder\x27\x20AND\x20order.holder\x20==\x20signer.','rating_window_guard\x20enforces\x20time\x20limit:\x20context(Clock)\x20<=\x20progress.entry_time\x20+\x20rating_time_limit_days.\x20After\x20window\x20closes,\x20no\x20rating\x20possible\x20(Completed\x20becomes\x20true\x20terminal).','Optional:\x20bind\x20a\x20Repository\x20to\x20record\x20feedback\x20node\x20for\x20analytics.\x20Repository\x20write\x20happens\x20via\x20Guard\x27s\x20data\x20extraction\x20(NOT\x20auto-passed\x20—\x20see\x2006\x20§14.4).'],'example_use_case':'Photography\x20service:\x20Paid\x20→\x20Shipped\x20(booking\x20confirmed)\x20→\x20Received\x20(session\x20delivered)\x20→\x20Completed\x20'+'(photos\x20delivered,\x20funds\x20released\x20to\x20photographer)\x20→\x20customer\x20advances\x20to\x20\x27wonder\x27\x20(loved\x20the\x20work)\x20'+'or\x20\x27no_wonder\x27\x20(didn\x27t\x20love\x20it).\x20Bound\x20Reward\x20pays\x201\x20WOW\x20to\x20customers\x20who\x20advance\x20to\x20\x27wonder\x27.\x20'+'Merchant\x27s\x20wonder/no_wonder\x20ratio\x20becomes\x20an\x20on-chain\x20reputation\x20signal.\x20Disputes\x20(if\x20any)\x20are\x20'+'filed\x20separately\x20via\x20Arbitration\x20object\x20—\x20never\x20enter\x20this\x20Machine.','publish_checklist':['All\x206\x20nodes\x20verified:\x20no\x20\x27disputed\x27/\x27refunded\x27/\x27arb\x27/\x27arbitration\x27\x20names\x20(R-M1-11\x20PASS)','Entry\x20Pair\x20exists\x20(prev_node=\x27\x27\x20targets\x20\x27Paid\x27)','Competing\x20Pair\x20tested:\x20Praise\x20vs\x20Complain\x20—\x20first-wins\x20semantics\x20verified\x20on\x20testnet','rating_window_guard\x20tested:\x20rating\x20blocked\x20after\x20time\x20limit\x20expires','MerchantAllocation\x20fires\x20ONLY\x20at\x20Completed\x20(NOT\x20at\x20Wonder/NoWonder)','Reward\x20object\x20(if\x20bound):\x20claim_guard\x20tested\x20—\x20Progress.current\x20==\x20\x27wonder\x27\x20required,\x20claim\x20fails\x20at\x20\x27no_wonder\x27\x20or\x20\x27Completed\x27','named_operator=\x27\x27\x20on\x20Praise/Complain\x20forwards\x20verified\x20(OrderHolder-only\x20operation)','machineNode2file\x20export\x20as\x20backup']},{'id':'tpl_machine_subscription','scene_id':'subscription','name':'Subscription\x20/\x20Membership\x20Flow','description':'Subscribe\x20->\x20Pay\x20->\x20Activate\x20->\x20[Renew\x20|\x20Expire]\x20->\x20Cancel/End.\x20Time-lock\x20on\x20Renew.\x20'+'Competing\x20Pair:\x20Renew\x20vs\x20Expire\x20(first-wins).\x20Repository\x20stores\x20subscription\x20status.','recommended_patterns':['P-M-SEQ','P-M-COMPETING'],'recommended_topology':['P-M-LINEAR','P-M-COMPETING'],'parameters':[{'name':'merchant_permission','type':'permission_ref','required':!![],'description':'Provider\x20Permission\x20object'},{'name':'subscription_duration_days','type':'number','required':!![],'default':'30','description':'Days\x20between\x20Renew\x20and\x20Expire\x20eligibility'},{'name':'repository_ref','type':'address','required':!![],'description':'Repository\x20object\x20storing\x20subscription\x20status\x20(note:\x20not\x20consensus_repositories,\x20which\x20is\x20declarative-only\x20—\x20see\x2006\x20§14.4)'}],'example_nodes':[{'name':'Paid','description':'Entry:\x20subscription\x20created\x20and\x20paid\x20via\x20Service.buy();\x20Machine\x20starts\x20here'},{'name':'Active'},{'name':'RenewEligible'},{'name':'Renewed'},{'name':'Expired'},{'name':'Cancelled'},{'name':'Ended'}],'example_pairs':[{'prev_node':'','next_node':'Paid','threshold':0x1,'forwards':[{'name':'Enter','weight':0x1,'named_operator':''}]},{'prev_node':'Paid','next_node':'Active','threshold':0x1,'forwards':[{'name':'Activate','weight':0x1,'permission_index':0x2,'guard':'repository_write_guard'}]},{'prev_node':'Active','next_node':'RenewEligible','threshold':0x1,'forwards':[{'name':'TimeUnlock','weight':0x1,'permission_index':0x3,'guard':'time_lock_guard_${subscription_duration_days}_days'}]},{'prev_node':'RenewEligible','next_node':'Renewed','threshold':0x1,'forwards':[{'name':'Renew','weight':0x1,'named_operator':''}]},{'prev_node':'RenewEligible','next_node':'Expired','threshold':0x1,'forwards':[{'name':'AutoExpire','weight':0x1,'permission_index':0x3,'guard':'expire_time_guard'}]},{'prev_node':'RenewEligible','next_node':'Cancelled','threshold':0x1,'forwards':[{'name':'Cancel','weight':0x1,'named_operator':''}]},{'prev_node':'Renewed','next_node':'Active','threshold':0x1,'forwards':[{'name':'Reactivate','weight':0x1,'permission_index':0x2}]},{'prev_node':'Expired','next_node':'Ended','threshold':0x1,'forwards':[{'name':'CloseExpired','weight':0x1,'permission_index':0x3}]},{'prev_node':'Cancelled','next_node':'Ended','threshold':0x1,'forwards':[{'name':'CloseCancelled','weight':0x1,'permission_index':0x2}]}],'required_guards':[{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'TimeUnlock','purpose':'Time\x20lock:\x20context(Clock)\x20>=\x20progress.entry_time\x20+\x20${subscription_duration_days}\x20days'},{'guard_template_id':'tpl_write_guard_type_check','bound_to_forward':'Activate','purpose':'Write\x20subscription\x20status\x20to\x20Repository'},{'guard_template_id':'tpl_forward_node_check','bound_to_forward':'AutoExpire','purpose':'Hard\x20expire:\x20context(Clock)\x20>=\x20progress.entry_time\x20+\x202x\x20duration'}],'required_permissions':[{'index':0x2,'name':'provider','description':'Provider\x20activates/reactivates'},{'index':0x3,'name':'admin','description':'Time-lock\x20triggers'}],'required_allocators':[{'name':'RenewAllocation','trigger_node':'Renewed','description':'Charge\x20renewal\x20fee\x20on\x20Renew'}],'forkable_fields':['duration_days','grace_period','additional_tiers'],'applicable_industries':['subscription','saas','membership','service'],'relevant_risks':['R-M1-01','R-M1-08','R-M2-01','R-M2-05','R-M3-02','R-M3-04','R-M4-01','R-M5-04'],'creation_notes':['First\x20node\x20\x27Paid\x27\x20represents\x20post-payment\x20state\x20—\x20Service.buy()\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\x20uses\x20context(Clock)\x20—\x20verify\x20Clock\x20address\x20in\x20Guard\x20table','Competing\x20Pair:\x20Renew\x20vs\x20Expire\x20vs\x20Cancel\x20—\x20first-wins','Renewed\x20node\x20loops\x20back\x20to\x20Active\x20(recurring\x20subscription)','Repository\x20records\x20subscription\x20status\x20for\x20cross-Machine\x20verification','Renewal\x20Allocation\x20triggers\x20on\x20Renewed\x20node\x20(not\x20Active\x20—\x20avoids\x20double-charge)','Note:\x20consensus_repositories\x20is\x20declarative-only\x20(NOT\x20auto-passed\x20to\x20Progress);\x20use\x20repository_ref\x20parameter\x20for\x20actual\x20Repository\x20object\x20—\x20see\x2006\x20§14.4','VARIANT\x20—\x20Content\x20subscription\x20(Substack-style):\x20replace\x20time-lock\x20Renew/Expire\x20with\x20content-delivery\x20flow:','\x20\x206-node\x20variant:\x20Paid\x20(entry)\x20→\x20ContentPublished\x20→\x20Completed\x20(terminal-success)','\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20\x20Paid\x20→\x20Cancelled\x20(terminal-cancel)\x20|\x20Paid\x20→\x20Disputed\x20→\x20Refunded\x20(terminal-dispute)','\x20\x20Permission:\x20author=index\x201000\x20(publish\x20+\x20cancel),\x20arbitrator=index\x201500\x20(resolve\x20dispute),\x20reader=namedOperator=\x27\x27\x20(open\x20role,\x20no\x20specific\x20operator)','\x20\x20Guards:\x20deliver_guard\x20(verify\x20author\x20permission\x20+\x20content\x20hash),\x20cancel_guard\x20(verify\x20subscriber\x20request),\x20refund_guard\x20(verify\x20arbitration\x20outcome)','\x20\x20Allocators:\x20deliver=100%\x20to\x20author,\x20cancel=100%\x20refund\x20to\x20subscriber,\x20dispute=100%\x20refund\x20to\x20subscriber\x20(Guard-first-wins\x20pattern)','\x20\x20First-Forward-wins:\x20when\x20Paid\x20has\x20competing\x20forwards\x20(Deliver|Cancel|Dispute),\x20the\x20first\x20triggered\x20forward\x20wins;\x20subscribers\x20cannot\x20double-claim','CRITICAL\x20—\x20v1→v2\x20lesson:\x20arbitrations\x20MUST\x20be\x20added\x20BEFORE\x20Service.publish\x20(post-publish,\x20arbitrations\x20become\x20immutable\x20and\x20cannot\x20be\x20added\x20—\x20service.move\x20F-S-21)','\x20\x20If\x20you\x20accidentally\x20published\x20without\x20arbitrations,\x20you\x20MUST\x20create\x20a\x20new\x20Service\x20v2\x20with\x20arbitrations\x20bound\x20before\x20publishing\x20(the\x20v1\x20Service\x20must\x20be\x20paused/abandoned)','\x20\x20ConfirmGate\x20(C-S-19,\x20QS11)\x20will\x20warn\x20before\x20publish\x20without\x20arbitrations\x20—\x20do\x20not\x20bypass\x20this\x20warning\x20unless\x20explicitly\x20intending\x20no-arbitration\x20operation','Build\x20order\x20(content\x20variant):\x20Permission\x20→\x20Machine\x20(unpublished,\x20with\x20initial\x20forward)\x20→\x203\x20Guards\x20→\x203\x20Allocators\x20(template\x20on\x20Service)\x20→\x20Service\x20(unpublished,\x20bind\x20machine+buy_guard+order_allocators+arbitrations)\x20→\x20Publish\x20Service\x20→\x20Test\x20order\x20(3\x20paths:\x20normal/cancel/dispute)'],'example_use_case':'Monthly\x20SaaS\x20subscription:\x20$10/month.\x20Customer\x20can\x20renew\x20anytime\x20after\x20day\x2025.\x20'+'Auto-expire\x20on\x20day\x2035\x20if\x20not\x20renewed.\x20Cancel\x20anytime.\x0a\x0a'+'VARIANT\x20—\x20Content\x20subscription\x20(Substack-style):\x20$5/month\x20newsletter.\x20Author\x20publishes\x20content\x20→\x20'+'subscriber\x20reads.\x20Subscriber\x20can\x20cancel\x20anytime\x20for\x20full\x20refund.\x20Disputes\x20resolved\x20by\x20arbitrator\x20'+'(100%\x20refund\x20to\x20subscriber\x20if\x20dispute\x20upheld).\x206-node\x20Machine,\x203\x20Guards,\x203\x20Allocators.\x20'+'Tested\x20on\x20testnet\x20with\x203\x20order\x20paths:\x20normal\x20delivery,\x20cancel,\x20dispute.','publish_checklist':['Time-lock\x20Guards\x20tested\x20on\x20testnet\x20(both\x20TimeUnlock\x20+\x20AutoExpire)','Competing\x20Pair\x20semantics\x20verified\x20(Renew\x20vs\x20Expire\x20vs\x20Cancel)','Repository\x20write\x20tested\x20(subscription\x20status\x20queryable)','Renewal\x20loop\x20tested:\x20Paid\x20->\x20Active\x20->\x20RenewEligible\x20->\x20Renewed\x20->\x20Active','Content\x20variant:\x20initial\x20node\x20(prev_node=\x27\x27)\x20MUST\x20have\x20at\x20least\x20one\x20forward\x20(FIX-002)\x20—\x20empty\x20forwards=[]\x20causes\x20Progress\x20to\x20be\x20permanently\x20stuck','Content\x20variant:\x20arbitrations\x20added\x20BEFORE\x20publish\x20(cannot\x20add\x20post-publish\x20per\x20F-S-21)','Content\x20variant:\x203\x20order\x20paths\x20tested\x20on\x20testnet\x20—\x20normal\x20delivery,\x20cancel-within-grace,\x20dispute-resolution','Content\x20variant:\x20machineNode2file\x20export\x20as\x20backup\x20(covers\x20all\x206\x20nodes)']}];export const MACHINE_TEMPLATES_VERSION='1.0.0';export const MACHINE_TEMPLATES_COUNT=MACHINE_TEMPLATES['length'];export function getAllTemplates(){return MACHINE_TEMPLATES;}export function getTemplateById(a){return MACHINE_TEMPLATES['find'](b=>b['id']===a);}export function getTemplatesByScene(a){return MACHINE_TEMPLATES['filter'](b=>b['scene_id']===a);}export function getTemplatesByIndustry(a){return MACHINE_TEMPLATES['filter'](b=>b['applicable_industries']['includes'](a));}export function getTemplatesByPattern(a){return MACHINE_TEMPLATES['filter'](b=>b['recommended_patterns']['includes'](a));}export function suggestTemplateForIntent(a){const b=inferSceneFromFlow(a);if(!b)return undefined;const c=getTemplatesByScene(b['id']);return c[0x0];}export function getTemplateParameters(a){const b=getTemplateById(a);return b?b['parameters']:[];}export function getRequiredParameters(a){return getTemplateParameters(a)['filter'](b=>b['required']);}export function getOptionalParameters(a){return getTemplateParameters(a)['filter'](b=>!b['required']);}function validateParamType(a,b){switch(b){case'address':case'string':case'permission_ref':case'guard_ref':case'machine_ref':case'service_ref':case'arbitration_ref':case'reward_ref':return typeof a==='string';case'number':return typeof a==='number'||typeof a==='string'&&/^\d+$/['test'](a);case'boolean':return typeof a==='boolean';case'vec_address':case'vec_string':case'node_name_list':return Array['isArray'](a)&&a['every'](c=>typeof c==='string');default:return![];}}function deepSubstitute(a,b){if(typeof a==='string')return a['replace'](/\$\{(\w+)\}/g,(c,d)=>d in b?String(b[d]):'${'+d+'}');if(Array['isArray'](a))return a['map'](c=>deepSubstitute(c,b));if(a&&typeof a==='object'){const c={};for(const [d,e]of Object['entries'](a)){c[d]=deepSubstitute(e,b);}return c;}return a;}export function fillTemplate(a,b){const c=getTemplateById(a);if(!c)return{'success':![],'validation_errors':['Template\x20not\x20found:\x20'+a]};const d=c['parameters']['filter'](h=>h['required']&&!(h['name']in b))['map'](h=>h['name']);if(d['length']>0x0)return{'success':![],'missing_params':d,'validation_errors':['Missing\x20required\x20parameters:\x20'+d['join'](',\x20')]};const e=[];for(const h of c['parameters']){if(h['name']in b){const i=b[h['name']];!validateParamType(i,h['type'])&&e['push']('Parameter\x20\x22'+h['name']+'\x22\x20type\x20mismatch:\x20expected\x20'+h['type']+',\x20got\x20'+typeof i);}}if(e['length']>0x0)return{'success':![],'validation_errors':e};const f=deepSubstitute(c['example_nodes'],b),g=deepSubstitute(c['example_pairs'],b);return{'success':!![],'filled_nodes':f,'filled_pairs':g};}export function forkTemplate(a){const b=getTemplateById(a);if(!b)return undefined;const c={};for(const d of b['forkable_fields']){c[d]='see\x20example_nodes/example_pairs';}return{'template_id':a,'forkable_fields':b['forkable_fields'],'current_values':c,'instructions':['Modify\x20fields\x20below\x20to\x20customize\x20the\x20workflow','Keep\x20template\x20structure\x20intact\x20unless\x20explicitly\x20noted','Run\x20risk\x20assessment\x20after\x20modification\x20(machine-risk.ts)','User\x20MUST\x20confirm\x20final\x20JSON\x20before\x20publish\x20(ConfirmGate)']};}export const DECISION_TREE={'Q1':{'question':'Does\x20the\x20workflow\x20involve\x20multiple\x20independent\x20services/parties?','no_next':'Q3'},'Q2':{'question':'Are\x20these\x20services\x20already\x20published\x20as\x20separate\x20Machines?','yes_template':'tpl_machine_cross_machine','no_next':'DECOMPOSE'},'Q3':{'question':'Does\x20any\x20node\x20require\x20multiple\x20parties\x27\x20confirmation\x20to\x20advance?','no_next':'Q5'},'Q4':{'question':'Do\x20all\x20parties\x20have\x20EQUAL\x20weight?','yes_template':'tpl_machine_dual_signature','no_next':'tpl_machine_weighted_voting'},'Q5':{'question':'Does\x20the\x20workflow\x20need\x20exception\x20branches\x20(lost,\x20return,\x20dispute)?','yes_template':'tpl_machine_ecommerce_exceptions','no_next':'Q6'},'Q6':{'question':'Does\x20it\x20involve\x20recurring\x20payments\x20or\x20time-based\x20state\x20changes?','yes_template':'tpl_machine_subscription','no_next':'Q7'},'Q7':{'question':'Does\x20it\x20need\x20privacy-preserving\x20data\x20delivery\x20(Messenger)?','yes_template':'tpl_machine_privacy_delivery','no_next':'Q8'},'Q8':{'question':'Does\x20it\x20involve\x20deposit/refund\x20separation?','yes_template':'tpl_machine_rental','no_next':'Q9'},'Q9':{'question':'Does\x20it\x20need\x20reward/incentive\x20distribution\x20at\x20a\x20specific\x20node?','yes_template':'tpl_machine_reward','no_next':'tpl_machine_ecommerce_standard'}};export function walkDecisionTree(a){let b='Q1';while(b){const c=DECISION_TREE[b];if(!c)return'UNKNOWN';const d=a[b];if(d===undefined)return b;if(d){if(c['yes_template'])return c['yes_template'];if(b==='Q1'){b='Q2';continue;}if(b==='Q3'){b='Q4';continue;}return'UNKNOWN';}else{if(c['no_next']){if(c['no_next']==='DECOMPOSE')return'DECOMPOSE_INTO_MULTIPLE_MACHINES';if(c['no_next']['startsWith']('tpl_'))return c['no_next'];b=c['no_next'];continue;}return'UNKNOWN';}}return'UNKNOWN';}export function verifyTemplateSceneReferences(){const a=[];for(const b of MACHINE_TEMPLATES){!findScene(b['scene_id'])&&a['push']({'template_id':b['id'],'invalid_scene_id':b['scene_id']});}return a;}export function getReferencedGuardTemplateIds(){const a=new Set();for(const b of MACHINE_TEMPLATES){for(const c of b['required_guards']){a['add'](c['guard_template_id']);}}return a;}export function getReferencedRiskIds(){const a=new Set();for(const b of MACHINE_TEMPLATES){for(const c of b['relevant_risks']){a['add'](c);}}return a;}export function listTemplates(){return MACHINE_TEMPLATES['map'](a=>({'id':a['id'],'name':a['name'],'scene_id':a['scene_id'],'patterns':a['recommended_patterns'],'industries':a['applicable_industries']}));}