// ignore

    }};

    ($logger:expr, $($arg:tt)*) => {{

    }};

}

}

#[derive(Debug)]

struct BranchingProtoComponent {

    branches: HashMap<Predicate, ProtoComponentBranch>,

}

#[derive(Debug, Clone)]

    ) -> Result<&mut NativeBatch, PortOpError> {

        use PortOpError as Poe;

        let Self { unphased: cu, phased } = self;

            return Err(Poe::PortUnavailable);

        }

        }

        match phased {

            ConnectorPhased::Setup { .. } => Err(Poe::NotConnected),

        // iterate

        let mut branching_proto_components =

            HashMap::<ComponentId, BranchingProtoComponent>::default();

            .proto_components

            .iter()

            .map(|(&proto_id, proto)| (proto_id, proto.clone()))

                cu_inner: &mut cu.inner,

                proto_component_id,

                unrun_components: &mut unrun_components,

            };

            log!(

                cu.inner.logger,

                "proto component {:?} ran to nonsync blocker {:?}",

                );

                SolutionStorage::new(subtree_id_iter)

            },

            getter_buffer: Default::default(),

            deadline: timeout.map(|to| Instant::now() + to),

        };

            let NativeBatch { to_get, to_put } = native_branch;

            let predicate = {

                let mut predicate = Predicate::default();

                    predicate.assigned.insert(var, SpecVal::FIRING);

                }

                    if let Some(SpecVal::FIRING) = predicate.assigned.insert(var, SpecVal::SILENT) {

                        log!(cu.inner.logger, "Native branch index={} contains internal inconsistency wrt. {:?}. Skipping", index, var);

                        continue 'native_branches;

                    &msg,

                    putter

                );

                rctx.getter_buffer.putter_add(cu, putter, msg);

            }

            let branch = NativeBranch { index, gotten: Default::default(), to_get };

            branching_proto_components.len()

        );

        for (&proto_component_id, proto_component) in branching_proto_components.iter_mut() {

            // must reborrow to constrain the lifetime of pcb_temps to inside the loop

            let (swap, pcb_temps) = pcb_temps.reborrow().split_first_mut();

            let (blocked, _pcb_temps) = pcb_temps.split_first_mut();

            // initially, no components have .ended==true

            // drain from branches --> blocked

            let cd = CyclicDrainer::new(branches, swap.0, blocked.0);

            // swap the blocked branches back

            std::mem::swap(blocked.0, branches);

            if branches.is_empty() {

                rctx.getter_buffer.len()

            );

            while let Some((getter, send_payload_msg)) = rctx.getter_buffer.pop() {

                log!(

                    cu.inner.logger,

                    "Routing msg {:?} to {:?} via {:?}",

                    &send_payload_msg,

                    getter,

                );

                        let udp_endpoint_ext =

                        let SendPayloadMsg { predicate, payload } = send_payload_msg;

                        log!(cu.inner.logger, "Delivering to udp endpoint index={}", index);

                        udp_endpoint_ext.outgoing_payloads.insert(predicate, payload);

                    }

                        log!(@MARK, cu.inner.logger, "sending payload");

                        let msg = Msg::CommMsg(CommMsg {

                            round_index: comm.round_index,

                            contents: CommMsgContents::SendPayload(send_payload_msg),

                        });

                    }

                        branching_native.feed_msg(

                            cu,

                            rctx,

                            MapTempGuard::new(&mut bn_temp_owner),

                        )

                    }

                            branching_component.feed_msg(

                                cu,

                                rctx,

                                "Delivery to getter {:?} msg {:?} failed because {:?} isn't here",

                                getter,

                                &send_payload_msg,

                            );

                        }

                    }

                    .endpoint_manager

                    .try_recv_any_comms(

                    &mut *cu.inner.logger,

                    rctx,

                    comm.round_index,

                )? {

        bn_temp: MapTempGuard<'_, Predicate, NativeBranch>,

    ) {

        log!(cu.inner.logger, "feeding native getter {:?} {:?}", getter, &send_payload_msg);

        let mut draining = bn_temp;

        let finished = &mut self.branches;

        std::mem::swap(draining.0, finished);

        for (predicate, mut branch) in draining.drain() {

            log!(cu.inner.logger, "visiting native branch {:?} with {:?}", &branch, &predicate);

            // check if this branch expects to receive it

            let mut feed_branch = |branch: &mut NativeBranch, predicate: &Predicate| {

                branch.to_get.remove(&getter);

                let was = branch.gotten.insert(getter, send_payload_msg.payload.clone());

        cu: &mut ConnectorUnphased,

        rctx: &mut RoundCtx,

        proto_component_id: ComponentId,

    ) -> Result<(), UnrecoverableSyncError> {

        cd.cyclic_drain(|mut predicate, mut branch, mut drainer| {

            let mut ctx = SyncProtoContext {

                }

                B::CouldntCheckFiring(port) => {

                    // sanity check

                    assert!(predicate.query(var).is_none());

                    // keep forks in "unblocked"

                    drainer.add_input(predicate.clone().inserted(var, SpecVal::SILENT), branch.clone());

                }

                B::PutMsg(putter, payload) => {

                    // sanity check

                    // overwrite assignment

                    let was = predicate.assigned.insert(var, SpecVal::FIRING);

                    if was == Some(SpecVal::SILENT) {

                        log!(cu.inner.logger, "Proto component {:?} tried to PUT on port {:?} when pred said var {:?}==Some(false). inconsistent!",

                }

                B::SyncBlockEnd => {

                    // make concrete all variables

                        let should_have_fired = branch.inner.did_put_or_get.contains(port);

                        let val = *predicate.assigned.entry(var).or_insert(SpecVal::SILENT);

                        let did_fire = val == SpecVal::FIRING;

                        if did_fire != should_have_fired {

                                port, var, val, did_fire, should_have_fired);

                            // IMPLICIT inconsistency

                            drop((predicate, branch));

            Ok(())

        })

    }

    fn feed_msg(

        &mut self,

        cu: &mut ConnectorUnphased,

            getter,

            &send_payload_msg

        );

        let (mut unblocked, pcb_temps) = pcb_temps.split_first_mut();

        let (mut blocked, pcb_temps) = pcb_temps.split_first_mut();

        // partition drain from branches -> {unblocked, blocked}

        // drain from unblocked --> blocked

        let (swap, _pcb_temps) = pcb_temps.split_first_mut();

        let cd = CyclicDrainer::new(unblocked.0, swap.0, blocked.0);

        // swap the blocked branches back

        std::mem::swap(blocked.0, branches);

        log!(cu.inner.logger, "component settles down with branches: {:?}", branches.keys());

            }

        }

    }

        for (branch_predicate, branch) in branches {

            if branch.ended && branch_predicate.assigns_subset(solution_predicate) {

                let ProtoComponentBranch { state, .. } = branch;

            }

        }

        panic!("ProtoComponent had no branches matching pred {:?}", solution_predicate);

    }

        let branch = ProtoComponentBranch { state, inner: Default::default(), ended: false };

    }

}

impl SolutionStorage {

        self.getters_and_sends.push((getter, msg));

    }

    fn putter_add(&mut self, cu: &mut ConnectorUnphased, putter: PortId, msg: SendPayloadMsg) {

            self.getter_add(getter, msg);

        } else {

            log!(cu.inner.logger, "Putter {:?} has no known peer!", putter);

}

impl SyncProtoContext<'_> {

    pub(crate) fn is_firing(&mut self, port: PortId) -> Option<bool> {

        self.predicate.query(var).map(SpecVal::is_firing)

    }

    pub(crate) fn read_msg(&mut self, port: PortId) -> Option<&Payload> {

            &state,

            &moved_ports

        );

        for port in moved_ports.iter() {

        }

        // 3. create a new component

    }

    pub fn new_port_pair(&mut self) -> [PortId; 2] {

        // adds two new associated ports, related to each other, and exposed to the proto component

        log!(

            self.cu_inner.logger,

            "Component {:?} port pair (out->in) {:?} -> {:?}",

    pub(super) fn try_recv_any_comms(

        &mut self,

        logger: &mut dyn Logger,

        round_ctx: &mut impl RoundCtxTrait,

        round_index: usize,

    ) -> Result<CommRecvOk, UnrecoverableSyncError> {

                    self.udp_endpoint_store.polled_undrained.insert(index);

                    if !ee.received_this_round {

                        let payload = Payload::from(&recv_buffer[..bytes_written]);

                        let predicate = Predicate::singleton(port_spec_var, SpecVal::FIRING);

                        round_ctx.getter_add(

                            ee.getter_for_incoming,

pub struct DummyLogger;

#[derive(Debug)]

pub struct FileLogger(ConnectorId, std::fs::File);

pub(crate) struct NonsyncProtoContext<'a> {

    cu_inner: &'a mut ConnectorUnphasedInner, // persists between rounds

    proto_component_id: ComponentId,          // KEY in id->component map

}

pub(crate) struct SyncProtoContext<'a> {

}

#[derive(Debug, Clone, Copy, Eq, PartialEq, Hash, serde::Serialize, serde::Deserialize)]

enum Route {

    NetEndpoint { index: usize },

    UdpEndpoint { index: usize },

}

struct MyPortInfo {

    polarity: Polarity,

    port: PortId,

}

#[derive(Debug, Clone, serde::Serialize, serde::Deserialize)]

enum Decision {

#[derive(Clone, Debug, serde::Serialize, serde::Deserialize)]

struct SessionInfo {

    serde_proto_description: SerdeProtocolDescription,

    endpoint_incoming_to_getter: Vec<PortId>,

}

#[derive(Debug, Clone)]

struct SerdeProtocolDescription(Arc<ProtocolDescription>);

    inbox: Vec<u8>,

    stream: TcpStream,

}

#[derive(Debug, Clone)]

struct NetEndpointSetup {

    getter_for_incoming: PortId,

    endpoint_exts: Vec<T>,

    polled_undrained: VecSet<usize>,

}

struct PortInfo {

}

#[derive(Debug)]

struct ConnectorCommunication {

    round_index: usize,

#[derive(Debug)]

struct ConnectorUnphased {

    proto_description: Arc<ProtocolDescription>,

    inner: ConnectorUnphasedInner,

}

#[derive(Debug)]

struct ConnectorUnphasedInner {

    logger: Box<dyn Logger>,

    native_component_id: ComponentId,

}

#[derive(Debug)]

        self.vec.pop()

    }

}

    fn spec_var_for(&self, port: PortId) -> SpecVar {

            Getter => port,

        })

    }

}

    pub fn new_port_pair(&mut self) -> [PortId; 2] {

        let cu = &mut self.unphased;

        // adds two new associated ports, related to each other, and exposed to the native

        log!(cu.inner.logger, "Added port pair (out->in) {:?} -> {:?}", o, i);

        [o, i]

    }

        use AddComponentError as Ace;

        // 1. check if this is OK

        let cu = &mut self.unphased;

        }

            }

            }

        }

        for port in ports.iter() {

        }

        Ok(())

    }

}

    ) -> Self {

        log!(&mut *logger, "Created with connector_id {:?}", connector_id);

        let mut id_manager = IdManager::new(connector_id);

        Self {

            unphased: ConnectorUnphased {

                proto_description,

                proto_components: Default::default(),

                inner: ConnectorUnphasedInner {

                    logger,

                },

            },

            phased: ConnectorPhased::Setup(Box::new(ConnectorSetup {

            ConnectorPhased::Communication(..) => Err(WrongStateError),

            ConnectorPhased::Setup(setup) => {

                let udp_index = setup.udp_endpoint_setups.len();

                let [nin, nout, uin, uout] = [npid(), npid(), npid(), npid()];

                setup.udp_endpoint_setups.push(UdpEndpointSetup {

                    local_addr,

                    peer_addr,

        match phased {

            ConnectorPhased::Communication(..) => Err(WrongStateError),

            ConnectorPhased::Setup(setup) => {

                log!(

                    cu.inner.logger,

                    "Added net port {:?} with polarity {:?} addr {:?} endpoint_polarity {:?}",

                    polarity,

                    &sock_addr,

                    endpoint_polarity

                setup.net_endpoint_setups.push(NetEndpointSetup {

                    sock_addr,

                    endpoint_polarity,

                });

            }

        }

    }

                    &mut *cu.inner.logger,

                    &setup.net_endpoint_setups,

                    &setup.udp_endpoint_setups,

                    &deadline,

                )?;

                log!(

                    cu.inner.logger,

                );

                // leader election and tree construction

                let neighborhood = init_neighborhood(

                    &mut *cu.inner.logger,

                    &mut endpoint_manager,

                    &deadline,

                    session_optimize(cu, &mut comm, &deadline)?;

                }

                log!(cu.inner.logger, "connect() finished. setup phase complete");

                Ok(())

            }

        }

    logger: &mut dyn Logger,

    net_endpoint_setups: &[NetEndpointSetup],

    udp_endpoint_setups: &[UdpEndpointSetup],

    deadline: &Option<Instant>,

) -> Result<EndpointManager, ConnectError> {

    ////////////////////////////////////////////

                            }

                            continue;

                        }

                            .unwrap();

                        if event.is_writable() && !net_todo.sent_local_port {

                            // can write and didn't send setup msg yet? Do so!

                            let msg = Msg::SetupMsg(SetupMsg::MyPortInfo(MyPortInfo {

                                port: net_todo.endpoint_setup.getter_for_incoming,

                            }));

                            net_endpoint

                                        index,

                                        peer_info

                                    );

                                        return Err(ConnectError::PortPeerPolarityMismatch(

                                            net_todo.endpoint_setup.getter_for_incoming,

                                        ));

                                    }

                                    net_todo.recv_peer_port = Some(peer_info.port);

                                    // 1. finally learned the peer of this port!

                                    // 2. learned the info of this peer port