choreography.007

-- SPDX-License-Identifier: MPL-2.0
-- Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath)
--
-- Example: Choreographic programming.
-- Demonstrates multi-party choreographies with branches, loops, and decisions.

-- Multi-party choreography
choreography auction(auctioneer: Agent<Auctioneer>, bidder: Agent<Bidder>) {
    auctioneer -> bidder : announce
    loop bidding {
        bidder -> auctioneer : bid
        branch traced "bid_evaluation" {
            | accept given { bid_amount: 100 } -> {
                auctioneer -> bidder : accept_bid
            }
            | reject given { bid_amount: 0 } -> {
                auctioneer -> bidder : reject_bid
            }
        }
    }
    auctioneer decides winner ?
}