CANONICAL MACHINE PLATE / GENERATED FROM TLA + CONTRACT ARTIFACTS MobMachine Identity / Runtime / Flow / Orchestration Architecture TLA specs/machines/mob_machine/model.tla CONTRACT specs/machines/mob_machine/contract.md CATALOG meerkat-machine-schema/src/catalog/dsl/mob_machine.rs GENERATED 2026-05-11 20:11:44.918 UTC INPUT SIGNAL EFFECT PHASES 4 DOMAINS 8 INPUTS 55 SIGNALS 28 EFFECTS 23 INVARIANTS 1 STATE 94 SUBSYSTEM Identity Runtime Plane SUBSYSTEM Operator + Orchestrator Counters pending_spawn_count coordinator_bound SUBSYSTEM Residual Registers live_runtime_ids externally_addressable_runtime_ids runtime_fence_tokens active_run_count run_status run_ordered_steps run_tracked_steps run_step_status run_step_status_flat run_output_recorded run_step_condition_results_flat run_step_condition_results run_step_has_conditions run_step_dependencies run_step_dependency_modes run_step_branches run_step_collection_policies run_step_quorum_thresholds run_step_target_counts run_step_target_success_counts run_step_target_terminal_failure_counts run_output_recorded_flat run_step_target_counts_flat run_step_target_success_counts_flat run_step_target_terminal_failure_counts_flat run_target_retry_counts run_target_retry_counts_flat run_failure_count run_consecutive_failure_count run_escalation_threshold run_max_step_retries run_ready_frames run_ready_frame_membership run_ready_frame_membership_flat run_pending_body_frame_loops run_pending_body_frame_loop_membership run_pending_body_frame_loop_membership_flat run_active_node_count run_active_frame_count run_last_granted_frame run_last_granted_loop run_max_active_nodes run_max_active_frames run_max_frame_depth frame_scope frame_phase frame_run frame_parent_loop frame_iteration frame_tracked_nodes frame_ordered_nodes frame_node_kind frame_node_dependencies frame_node_dependency_modes frame_node_step_ids frame_node_loop_ids frame_node_status frame_ready_queue frame_output_recorded frame_output_recorded_flat frame_last_admitted_node frame_node_condition_results frame_node_branches loop_phase loop_parent_frame loop_parent_node loop_definition loop_depth loop_stage loop_current_iteration loop_last_completed_iteration loop_max_iterations loop_active_body_frame pending_spawn_sessions member_startup_binding_requested member_startup_runtime_ready member_startup_ready member_kickoff_pending member_kickoff_starting member_kickoff_callback_pending member_kickoff_started member_kickoff_failed member_kickoff_cancelled member_kickoff_error member_restore_failures member_state_markers wiring_edges external_peer_edges identity_to_runtime member_session_bindings pending_session_ingress_detach_runtime_ids topology_epoch SUBSYSTEM Execution Fabric active_run_count SUBSYSTEM Task + Event Surface SUBSYSTEM Residual Registers live_runtime_ids externally_addressable_runtime_ids runtime_fence_tokens run_status run_ordered_steps run_tracked_steps run_step_status run_step_status_flat run_output_recorded run_step_condition_results_flat run_step_condition_results run_step_has_conditions run_step_dependencies run_step_dependency_modes run_step_branches run_step_collection_policies run_step_quorum_thresholds run_step_target_counts run_step_target_success_counts run_step_target_terminal_failure_counts run_output_recorded_flat run_step_target_counts_flat run_step_target_success_counts_flat run_step_target_terminal_failure_counts_flat run_target_retry_counts run_target_retry_counts_flat run_failure_count run_consecutive_failure_count run_escalation_threshold run_max_step_retries run_ready_frames run_ready_frame_membership run_ready_frame_membership_flat run_pending_body_frame_loops run_pending_body_frame_loop_membership run_pending_body_frame_loop_membership_flat run_active_node_count run_active_frame_count run_last_granted_frame run_last_granted_loop run_max_active_nodes run_max_active_frames run_max_frame_depth frame_scope frame_phase frame_run frame_parent_loop frame_iteration frame_tracked_nodes frame_ordered_nodes frame_node_kind frame_node_dependencies frame_node_dependency_modes frame_node_step_ids frame_node_loop_ids frame_node_status frame_ready_queue frame_output_recorded frame_output_recorded_flat frame_last_admitted_node frame_node_condition_results frame_node_branches loop_phase loop_parent_frame loop_parent_node loop_definition loop_depth loop_stage loop_current_iteration loop_last_completed_iteration loop_max_iterations loop_active_body_frame pending_spawn_count pending_spawn_sessions coordinator_bound member_startup_binding_requested member_startup_runtime_ready member_startup_ready member_kickoff_pending member_kickoff_starting member_kickoff_callback_pending member_kickoff_started member_kickoff_failed member_kickoff_cancelled member_kickoff_error member_restore_failures member_state_markers wiring_edges external_peer_edges identity_to_runtime member_session_bindings pending_session_ingress_detach_runtime_ids topology_epoch 24924633312 PHASE Running L:107 E:7 I:1 PHASE Stopped L:26 E:53 I:4 PHASE Completed L:18 E:51 I:2 PHASE Destroyed L:6 E:0 I:2 CONTROL DOMAIN Lifecycle + Operator Control 11 TRIGGERS Spawn Retire Respawn RetireAll Stop Resume Complete Reset Destroy Shutdown ForceCancel CONTROL DOMAIN Runtime Bridge Observations 9 TRIGGERS ObserveRuntimeReady SubmitWork CancelAllWork RetireMember ObserveRuntimeRetired ResetMember RespawnMember DestroyMob ObserveRuntimeDestroyed CONTROL DOMAIN Orchestrator Control Matrix 16 TRIGGERS MarkCompleted BeginCleanup FinishCleanup InitializeOrchestrator BindCoordinator UnbindCoordinator StageSpawn CompleteSpawn StopOrchestrator ResumeOrchestrator DestroyOrchestrator ForceCancelMember MemberPeerExposed MemberTerminalized OperationPeerTrusted PeerInputAdmitted CONTROL DOMAIN Topology + Turn Surface 1 TRIGGERS SetSpawnPolicy CONTROL DOMAIN Event Surface 4 TRIGGERS SubscribeAgentEvents SubscribeAllAgentEvents SubscribeMobEvents RecordOperatorActionProvenance CONTROL DOMAIN Flow Engine Plate 7 TRIGGERS RunFlow CancelFlow StartFlow CompleteFlow CreateRun StartRun FinishRun CONTROL DOMAIN Frame + Loop Fabric 0 TRIGGERS CONTROL DOMAIN Emergent / Unassigned Surfaces 25 TRIGGERS AuthorizeFlowFrameReducerCommand AuthorizeFlowRunReducerCommand AuthorizeLoopIterationReducerCommand CreateFrameSeed CreateLoopSeed CreateRunSeed EnsureMember KickoffCancelRequested KickoffClear KickoffMarkPending KickoffMarkStarting KickoffResolveCallbackPending KickoffResolveFailed KickoffResolveStarted Reconcile RecordLoopBodyFrameCompleted RecordLoopUntilConditionFailed RecordLoopUntilConditionMet SessionIngressDetachedForMobDestroy SessionIngressDetachFailedForMobDestroy StartupMarkReady UnwireExternalPeer UnwireMembers WireExternalPeer WireMembers ROUTED EFFECTS EXTERNAL EFFECTS LOCAL EFFECTS INVARIANT PLATE bindings_require_known_identity REGENERATE WITH NODE SCRIPTS/MACHINE-POSTERS/GENERATE-MACHINE-POSTERS.MJS