import type { LegacyStoppingReconciliationV1, LegacyWorkerMigrationInputV1, MigratedWorkerRecordV2, ParticipantHealthEventV1, ParticipantStateTransitionContextV1 } from "./boss-participant-state.ts"; import { PARTICIPANT_STATE_TRANSITION_VECTOR_SCHEMA_VERSION, PARTICIPANT_STATE_TRANSITION_VECTORS_HASH, PARTICIPANT_STATE_VECTOR_SCHEMA_VERSION, PARTICIPANT_STATE_VECTORS_HASH } from "./boss-semantic-binding-constants.ts"; export { PARTICIPANT_STATE_TRANSITION_VECTOR_SCHEMA_VERSION, PARTICIPANT_STATE_TRANSITION_VECTORS_HASH, PARTICIPANT_STATE_VECTOR_SCHEMA_VERSION, PARTICIPANT_STATE_VECTORS_HASH, }; export declare const PARTICIPANT_STATE_VECTOR_HASH_DOMAIN: "agent-intercom-core/boss-participant-state-v1"; export declare const PARTICIPANT_STATE_TRANSITION_VECTOR_HASH_DOMAIN: "agent-intercom-core/boss-participant-state-transition-v1"; export interface ParticipantStateMigrationVector { name: string; input: LegacyWorkerMigrationInputV1; expected: MigratedWorkerRecordV2; } /** One and only one golden vector for every WorkerStore v1 state in Revision 17 section 22.5. */ export declare const PARTICIPANT_STATE_MIGRATION_VECTORS: readonly ParticipantStateMigrationVector[]; export interface StoppingReconciliationVector { name: string; pending: MigratedWorkerRecordV2; evidence: LegacyStoppingReconciliationV1; expectedState: "stopped" | "failed" | "lost" | "unreachable"; expectedReason: string | null; } export declare const STOPPING_RECONCILIATION_VECTORS: readonly StoppingReconciliationVector[]; export declare const PARTICIPANT_HEALTH_EVENT_VECTOR: ParticipantHealthEventV1; export interface ParticipantStateTransitionVector { name: string; input: ParticipantStateTransitionContextV1; } /** Golden positive cases for every guarded recovery path added by the B6 ruling. */ export declare const PARTICIPANT_STATE_TRANSITION_VECTORS: readonly ParticipantStateTransitionVector[]; export declare const PARTICIPANT_STATE_TRANSITION_VECTOR_CORPUS: { readonly version: 1; readonly sameGenerationTransitionTable: { readonly provisioning: { readonly provisioning: "state_confirmation"; readonly registering: "registration_started"; readonly ready: null; readonly working: null; readonly waiting: null; readonly paused: null; readonly stalled: null; readonly blocked: null; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly registering: { readonly provisioning: null; readonly registering: "state_confirmation"; readonly ready: "readiness_reconciled"; readonly working: null; readonly waiting: "legacy_idle_reconciled"; readonly paused: null; readonly stalled: "controller_liveness_stalled"; readonly blocked: "blocker_detected"; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly ready: { readonly provisioning: null; readonly registering: null; readonly ready: "state_confirmation"; readonly working: "turn_started"; readonly waiting: null; readonly paused: null; readonly stalled: "controller_liveness_stalled"; readonly blocked: "blocker_detected"; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly working: { readonly provisioning: null; readonly registering: null; readonly ready: null; readonly working: "state_confirmation"; readonly waiting: "turn_settled"; readonly paused: "intentional_pause"; readonly stalled: "controller_liveness_stalled"; readonly blocked: "blocker_detected"; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly waiting: { readonly provisioning: null; readonly registering: null; readonly ready: null; readonly working: "turn_started"; readonly waiting: "state_confirmation"; readonly paused: "intentional_pause"; readonly stalled: "controller_liveness_stalled"; readonly blocked: "blocker_detected"; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly paused: { readonly provisioning: null; readonly registering: null; readonly ready: "parked_resume"; readonly working: null; readonly waiting: "parked_resume"; readonly paused: "state_confirmation"; readonly stalled: null; readonly blocked: null; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly stalled: { readonly provisioning: null; readonly registering: "controller_liveness_recovered"; readonly ready: "controller_liveness_recovered"; readonly working: "controller_liveness_recovered"; readonly waiting: "controller_liveness_recovered"; readonly paused: null; readonly stalled: "controller_liveness_stalled"; readonly blocked: null; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly blocked: { readonly provisioning: null; readonly registering: "blocker_cleared"; readonly ready: "blocker_cleared"; readonly working: "blocker_cleared"; readonly waiting: "blocker_cleared"; readonly paused: "blocker_cleared"; readonly stalled: null; readonly blocked: "blocked_reaffirmed"; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly failed: { readonly provisioning: null; readonly registering: null; readonly ready: null; readonly working: null; readonly waiting: null; readonly paused: null; readonly stalled: null; readonly blocked: null; readonly failed: "state_confirmation"; readonly lost: null; readonly unreachable: null; readonly stopped: null; }; readonly lost: { readonly provisioning: null; readonly registering: null; readonly ready: null; readonly working: null; readonly waiting: null; readonly paused: null; readonly stalled: null; readonly blocked: null; readonly failed: null; readonly lost: "state_confirmation"; readonly unreachable: null; readonly stopped: null; }; readonly unreachable: { readonly provisioning: null; readonly registering: "connectivity_recovered"; readonly ready: null; readonly working: null; readonly waiting: null; readonly paused: null; readonly stalled: null; readonly blocked: null; readonly failed: "failure_observed"; readonly lost: "failure_observed"; readonly unreachable: "failure_observed"; readonly stopped: "stop_observed"; }; readonly stopped: { readonly provisioning: null; readonly registering: null; readonly ready: null; readonly working: null; readonly waiting: null; readonly paused: null; readonly stalled: null; readonly blocked: null; readonly failed: null; readonly lost: null; readonly unreachable: null; readonly stopped: "state_confirmation"; }; }; readonly newGenerationTransitionTable: { readonly provisioning: readonly []; readonly registering: readonly []; readonly ready: readonly []; readonly working: readonly []; readonly waiting: readonly []; readonly paused: readonly ["ready", "waiting"]; readonly stalled: readonly []; readonly blocked: readonly []; readonly failed: readonly ["provisioning"]; readonly lost: readonly ["provisioning"]; readonly unreachable: readonly []; readonly stopped: readonly ["provisioning"]; }; readonly transitionVectors: readonly ParticipantStateTransitionVector[]; }; export declare const PARTICIPANT_STATE_VECTOR_CORPUS: { readonly version: 1; readonly migrationVectors: readonly ParticipantStateMigrationVector[]; readonly stoppingReconciliationVectors: readonly StoppingReconciliationVector[]; readonly healthEvent: ParticipantHealthEventV1; }; //# sourceMappingURL=boss-participant-state-vectors.d.ts.map