export function acquireClient(
  ctx: ConformanceRunContext,
  propertyName: string,
  name: string,
): Effect.Effect<PresenceActor, PropertyInvariantViolation, Scope.Scope>

export function acquireCloseableClient(
  ctx: ConformanceRunContext,
  propertyName: string,
  agent: TestAgent,
  label: string,
): Effect.Effect<
  CloseableAgentTestClient,
  PropertyInvariantViolation,
  Scope.Scope
>

export const NETWORK_PROPERTIES: ReadonlyArray<
  (ctx: ConformanceRunContext) => void
> = [registerSubscribeAfterConnect]

export const PRESENCE_CATEGORY = "presence" as const

export const PRESENCE_DEFAULT_TIMEOUT_MS = 5000

export interface PresenceActor {
  readonly agent: TestAgent;
  readonly client: AgentTestClient;
}

export type PresenceStatus = "online" | "working" | "offline";

export interface PresenceStatusEntry {
  readonly agentId: AgentId;
  readonly status: PresenceStatus;
}

export interface PresenceStatusEntry {
  readonly agentId: AgentId;
  readonly status: PresenceStatus;
}

export function presenceViolation(
  name: string,
  reason: string,
): PropertyInvariantViolation

export function registerAgent(
  ctx: ConformanceRunContext,
  propertyName: string,
  name: string,
): Effect.Effect<TestAgent, PropertyInvariantViolation>

export function registerSubscribeAfterConnect(
  ctx: ConformanceRunContext,
): void