CANONICAL MACHINE PLATE / GENERATED FROM TLA + CONTRACT ARTIFACTS MeerkatMachine Lifecycle / Transition / Visibility / Effect Architecture TLA specs/machines/meerkat_machine/model.tla CONTRACT specs/machines/meerkat_machine/contract.md CATALOG meerkat-machine-schema/src/catalog/dsl/meerkat_machine.rs GENERATED 2026-05-11 20:11:44.913 UTC INPUT SIGNAL EFFECT PHASES 7 DOMAINS 8 INPUTS 164 SIGNALS 6 EFFECTS 68 INVARIANTS 7 STATE 133 SUBSYSTEM Runtime Binding Plane session_id active_runtime_id active_fence_token SUBSYSTEM Control Fabric SUBSYSTEM Residual Registers current_run_id pre_run_phase turn_phase primitive_kind admitted_content_shape vision_enabled image_tool_results_enabled tool_calls_pending pending_op_refs barrier_operation_ids has_barrier_ops barrier_satisfied boundary_count cancel_after_boundary terminal_outcome terminal_cause_kind last_runtime_apply_failure_cause last_runtime_apply_failure_message extraction_attempts max_extraction_retries llm_retry_attempt llm_retry_max_retries llm_retry_selected_delay_ms llm_retry_last_failure_kind silent_intent_overrides model_routing_baseline_model model_routing_baseline_realtime model_routing_topology_epoch model_routing_turn_override_id model_routing_turn_request_id model_routing_turn_target_model model_routing_turn_realtime model_routing_turn_remaining_turns model_routing_operation_override_id model_routing_operation_target_model model_routing_operation_realtime model_routing_pending_switch_request_id model_routing_pending_switch_target_model model_routing_pending_switch_realtime model_routing_pending_switch_turns model_routing_pending_switch_phase model_routing_switch_terminal model_routing_switch_denials model_routing_image_operation_phases model_routing_image_operation_target_models model_routing_image_operation_realtime model_routing_image_operation_requires_scoped_override model_routing_image_terminals model_routing_image_terminal_payloads model_routing_image_denials model_routing_approval_phases model_routing_approval_parent_kind registration_phase drain_phase drain_mode next_staged_visibility_revision active_filter staged_filter active_visibility_revision staged_visibility_revision active_deferred_names staged_deferred_names active_deferred_authorities staged_deferred_authorities input_phases input_terminal_kind input_superseded_by input_aggregate_id input_abandon_reason input_abandon_attempt_count input_attempt_counts input_run_associations input_boundary_sequences next_admission_seq input_admission_seq input_lane op_statuses op_completion_seq op_terminal_outcomes op_terminal_payload op_kinds op_peer_ready op_progress_counts active_op_count wait_active wait_request_id wait_operation_ids wait_operation_id_tokens next_completion_seq known_surfaces active_surfaces visible_surfaces surface_base_state surface_pending_op surface_staged_op reload_staged_surfaces surface_staged_intent_sequence next_staged_intent_sequence surface_pending_task_sequence next_pending_task_sequence surface_pending_lineage_sequence surface_inflight_calls surface_last_delta_operation surface_last_delta_phase snapshot_epoch snapshot_aligned_epoch surface_draining_since_ms surface_removal_timeout_at_ms surface_removal_applied_at_turn surface_phase removal_timeout_ms mcp_server_states pending_peer_requests inbound_peer_requests last_session_context_updated_at_ms reserved_interaction_streams attached_interaction_streams peer_ingress_owner_kind peer_ingress_comms_runtime_id peer_ingress_mob_id supervisor_binding_kind supervisor_bound_name supervisor_bound_peer_id supervisor_bound_address supervisor_bound_epoch local_endpoint direct_peer_endpoints mob_overlay_peer_endpoints peer_projection_epoch mob_overlay_epoch SUBSYSTEM Visibility Commit Pipeline active_filter staged_filter active_visibility_revision staged_visibility_revision SUBSYSTEM Peer Reachability Fabric SUBSYSTEM Residual Registers session_id active_runtime_id active_fence_token current_run_id pre_run_phase turn_phase primitive_kind admitted_content_shape vision_enabled image_tool_results_enabled tool_calls_pending pending_op_refs barrier_operation_ids has_barrier_ops barrier_satisfied boundary_count cancel_after_boundary terminal_outcome terminal_cause_kind last_runtime_apply_failure_cause last_runtime_apply_failure_message extraction_attempts max_extraction_retries llm_retry_attempt llm_retry_max_retries llm_retry_selected_delay_ms llm_retry_last_failure_kind silent_intent_overrides model_routing_baseline_model model_routing_baseline_realtime model_routing_topology_epoch model_routing_turn_override_id model_routing_turn_request_id model_routing_turn_target_model model_routing_turn_realtime model_routing_turn_remaining_turns model_routing_operation_override_id model_routing_operation_target_model model_routing_operation_realtime model_routing_pending_switch_request_id model_routing_pending_switch_target_model model_routing_pending_switch_realtime model_routing_pending_switch_turns model_routing_pending_switch_phase model_routing_switch_terminal model_routing_switch_denials model_routing_image_operation_phases model_routing_image_operation_target_models model_routing_image_operation_realtime model_routing_image_operation_requires_scoped_override model_routing_image_terminals model_routing_image_terminal_payloads model_routing_image_denials model_routing_approval_phases model_routing_approval_parent_kind registration_phase drain_phase drain_mode next_staged_visibility_revision active_deferred_names staged_deferred_names active_deferred_authorities staged_deferred_authorities input_phases input_terminal_kind input_superseded_by input_aggregate_id input_abandon_reason input_abandon_attempt_count input_attempt_counts input_run_associations input_boundary_sequences next_admission_seq input_admission_seq input_lane op_statuses op_completion_seq op_terminal_outcomes op_terminal_payload op_kinds op_peer_ready op_progress_counts active_op_count wait_active wait_request_id wait_operation_ids wait_operation_id_tokens next_completion_seq known_surfaces active_surfaces visible_surfaces surface_base_state surface_pending_op surface_staged_op reload_staged_surfaces surface_staged_intent_sequence next_staged_intent_sequence surface_pending_task_sequence next_pending_task_sequence surface_pending_lineage_sequence surface_inflight_calls surface_last_delta_operation surface_last_delta_phase snapshot_epoch snapshot_aligned_epoch surface_draining_since_ms surface_removal_timeout_at_ms surface_removal_applied_at_turn surface_phase removal_timeout_ms mcp_server_states pending_peer_requests inbound_peer_requests last_session_context_updated_at_ms reserved_interaction_streams attached_interaction_streams peer_ingress_owner_kind peer_ingress_comms_runtime_id peer_ingress_mob_id supervisor_binding_kind supervisor_bound_name supervisor_bound_peer_id supervisor_bound_address supervisor_bound_epoch local_endpoint direct_peer_endpoints mob_overlay_peer_endpoints peer_projection_epoch mob_overlay_epoch 226312116111111145311111 PHASE Initializing L:3 E:6 I:0 PHASE Idle L:117 E:6 I:10 PHASE Attached L:150 E:9 I:7 PHASE Running L:185 E:19 I:9 PHASE Retired L:87 E:6 I:6 PHASE Stopped L:86 E:2 I:4 PHASE Destroyed L:0 E:0 I:2 CONTROL DOMAIN Lifecycle + Binding Spine 10 TRIGGERS Initialize RegisterSession UnregisterSession PrepareBindings Recover Retire Reset StopRuntimeExecutor Destroy Recycle CONTROL DOMAIN Run + Boundary Fabric 6 TRIGGERS InterruptCurrentRun CancelAfterBoundary BoundaryApplied RunCompleted RunFailed RunCancelled CONTROL DOMAIN Visibility Revision Pipeline 15 TRIGGERS StagePersistentFilter RequestDeferredTools PublishCommittedVisibleSet SurfaceStageAdd SurfaceStageRemove SurfaceStageReload SurfaceApplyBoundary SurfaceMarkPendingSucceeded SurfaceMarkPendingFailed SurfaceCallStarted SurfaceCallFinished SurfaceFinalizeRemovalClean SurfaceFinalizeRemovalForced SurfaceSnapshotAligned SurfaceShutdown CONTROL DOMAIN Peer + Drain Interconnect 6 TRIGGERS SetPeerIngressContext NotifyDrainExited Abort AbortAll Wait EnsureDrainRunning CONTROL DOMAIN Ingress + Observation Surface 6 TRIGGERS EnsureSessionWithExecutor SetSilentIntents Ingest PublishEvent AcceptWithCompletion AcceptWithoutWake CONTROL DOMAIN Execution + LLM Return Fabric 20 TRIGGERS Prepare Commit Fail StartConversationRun StartImmediateAppend StartImmediateContext PrimitiveApplied LlmReturnedToolCalls LlmReturnedTerminal RegisterPendingOps ToolCallsResolved OpsBarrierSatisfied BoundaryContinue BoundaryComplete RecoverableFailure FatalFailure RetryRequested CancelNow CancellationObserved AcknowledgeTerminal CONTROL DOMAIN Terminal + Extraction Control 11 TRIGGERS TurnLimitReached BudgetExhausted TimeBudgetExceeded EnterExtraction ExtractionValidationPassed ExtractionValidationFailed ExtractionStart ForceCancelNoRun CancelWaitAll ClassifyExternalEnvelope ClassifyPlainEvent CONTROL DOMAIN Emergent / Unassigned Surfaces 87 TRIGGERS AbandonInput AbortOp ActivateImageOperationOverride AddDirectPeerEndpoint AdmitModelRoutingAssistantTurn AdvanceSessionContext ApplyMobPeerOverlay AttachMobIngress AttachSessionIngress AuthorizeSupervisor BeginImageOperation BindSupervisor CancelOp CancelRun ChangeLane ClearLocalEndpoint CoalesceInput CommitDeferredNames CommitVisibilityFilter CompleteImageOperation CompleteOp CompleteUntilChangedSwitchTurnReconfigure ConsumeInput ConsumeOnAccept DetachIngress DrainExitedClean DrainExitedRespawnable DrainQueuedRun ExtractionFailed FailOp IncrementAttemptCount InteractionStreamAttached InteractionStreamClosedEarly InteractionStreamCompleted InteractionStreamExpired InteractionStreamReserved MarkApplied MarkAppliedPendingConsumption McpServerConnected McpServerConnectPending McpServerDisconnected McpServerFailed McpServerReload PeerReadyOp PeerRequestReceived PeerRequestSent PeerRequestTimedOut PeerResponseProgressArrived PeerResponseReplied PeerResponseTerminalArrived ProgressReportedOp PublishLocalEndpoint QueueAccepted ReconfigureSessionLlmIdentity RecordBoundarySeq RecoverInputLifecycle RegisterOp RemoveDirectPeerEndpoint RequestCancelAfterBoundary RequestFiniteSwitchTurn RequestUntilChangedSwitchTurn RequestWaitAll RestoreImageOperationOverride RetireCompletedOp RetireRequestedOp RevokeSupervisor RollbackRun RollbackStaged RuntimeExecutorExited SatisfyWaitAll ServiceTurnCommitted SetModelRoutingBaseline SpawnDrain StageDeferredNames StageForRun StageVisibilityFilter StartOp SteerAccepted StopDrain SupersedeInput SupervisorTrustEdgePublished SupervisorTrustEdgePublishFailed SupervisorTrustEdgeRevoked SupervisorTrustEdgeRevokeFailed SurfaceRegister SyncVisibilityRevisions TerminateOp ROUTED EFFECTS EXTERNAL EFFECTS LOCAL EFFECTS INVARIANT PLATE fence_requires_bound_runtime running_has_current_run current_run_only_while_running_or_retired staged_surface_ops_are_known_and_sequenced staged_reload_surfaces_are_active peer_ingress_owner_consistency supervisor_binding_consistency REGENERATE WITH NODE SCRIPTS/MACHINE-POSTERS/GENERATE-MACHINE-POSTERS.MJS