Observabilidad del agente AI: prueba de que no hay trabajo aceptado desaparecido

Una cola de agentes puede informar la profundidad esperada, los trabajadores pueden seguir emitiendo extensiones, y los contadores de trabajo terminado pueden seguir aumentando mientras un trabajo aceptado ha desaparecido. La respuesta práctica es dejar de comparar los totales y reconciliar las identidades. En un corte limitado, grabar todos los work id aceptados y exigir que ocupen exactamente un balde de corriente: El ⊎ es importante: se trata de una unión desarticulada, no de una adición ordinaria. Una identificación encontrada en dos baldes es una contradicción. Una identificación aceptada encontrada en ninguno está faltando. Una identificación terminal o activa que nunca fue aceptada es un fantasma. Este control de conservación del trabajo no promete una ejecución de una sola vez, pero puede demostrar un hecho más estrecho y útil: la evidencia del plano de control explica cada unidad de trabajo aceptada exactamente una vez. Los totales iguales pueden ocultar un trabajo perdido Supongamos que el libro mayor de aceptación contiene 1.000 identidades. La cola, la tabla de arrendamiento y el libro mayor de terminales también contienen 1.000 registros en total. Un tablero basado en el recuento se vuelve verde. Esa aritmética permite una mala sustitución: el work 417 aceptado está ausente mientras que el registro terminal ghost 92 ha aparecido. Los recuentos siguen coincidiendo. Los conjuntos de identidad no lo hacen. Definir la evidencia en el punto de corte t0 : A : Identificaciones duraderamente reconocidas como aceptadas en o antes de t0 ; Q : identificación aceptada visible en la cola en la instantánea de corte; L : identificación aceptada con contrato de arrendamiento cuya expiración sea posterior a t0 ; T : Identificación aceptada con un registro terminal reconocido. Entonces compruebe ambas direcciones: El conjunto de terminales necesita una política explícita. completed es terminal. cancelled puede ser terminal cuando se autorice la cancelación y sea duradera. dead lettered también puede ser terminal para fines de conservación, a pesar de que es un resultado fallido que todavía necesita atención. Una cola de letras muertas es útil precisamente porque aisla el trabajo que no fue procesado con éxito para el diagnóstico y la posible recuperación, como explica el Documentación de cola de letras muertas de Amazon SQS. No trate a leased como un estado atemporal. En SQS, recibir un mensaje no lo borra; el mensaje se vuelve invisible temporalmente y debe volver a ser visible si no se elimina antes de que expire el plazo de visibilidad. Las colas estándar también utilizan al menos una entrega una vez, por lo que una ventana de visibilidad no es un bloqueo exactamente una vez. Las Semántica de tiempo de visibilidad documentadas son la razón por la que la invariante utiliza valid lease , no todas las filas de arrendamiento jamás escritas. ejecutar la reconciliación de seis escenarios El dispositivo de acompañamiento hace que la regla de decisión sea inspectable sin necesidad de un corredor. Contiene seis instantáneas en 2026 07 27T00:00:00Z : Escenario Pruebas El veredicto esperado Estados de corriente mixta una fila, un contrato de arrendamiento sin vencimiento, uno concluido CONSERVED Desapareció después de la aceptación Identificación aceptada en ningún cubo actual MISSING En fila y completado El mismo documento en dos baldes DUPLICATE STATE El contrato de arrendamiento expiró El contrato de arrendamiento terminó antes del corte, no hay evidencia de devolución. EXPIRED LEASE Terminal fantasma Identificación completada desconocida equilibra el recuento PHANTOM Cancelación explícita el documento de identificación aceptado tiene un registro cancelado duradero CONSERVED Descargar work conservation fixture.json y audit work conservation.mjs del paquete de pruebas de artículos, o reproducir sus campos en un directorio local, luego ejecutar: Los recuentos observados fueron exactos: PASS significa que el auditor clasificó los seis aparatos según lo esperado; no significa que todos los aparatos fueran saludables. Se detectaron cuatro casos deliberadamente insalubres. El caso fantasma es la trampa importante. Tiene una identificación aceptada y dos registros observados: la identificación real permanece en cola mientras una identificación desconocida reclama la finalización. Se puede hacer que una verificación de igualdad ingenua parezca equilibrada escogiendo un agregado de cada subsistema. En su lugar, establece los informes de reconciliación de la identificación terminal no aceptada. El caso del estado duplicado expone el problema inverso: cada identificación es conocida, sin embargo, el mismo trabajo parece listo para otro intento y ya completado. Esta es también la razón por la que los rastros de mensajes por sí solos son insuficientes. La Convenciones de mensajería de OpenTelemetry distingue la recepción, el procesamiento y la liquidación, y describe el contexto de creación para correlacionar a los productores con los consumidores. Ese contexto es una valiosa evidencia. Sin embargo, un lapso de proceso no establece por sí mismo el estado actual de cola ni un resultado terminal duradero. Tome un corte coherente del ciclo de vida La invariante se vuelve engañosa cuando sus entradas describen diferentes momentos. Imagínese leyendo el libro de aceptación a las 12:00:00, la cola a las 12:00:03, y los resultados terminales a las 12:00:08. Un trabajo puede moverse legítimamente entre esas lecturas y parecer perdido o duplicado. Utilice el mecanismo de consistencia más fuerte que su pila admite: 1. asignar un work id inmutable y calificado en el espacio de nombres antes de reconocer su aceptación; 2. escribir el registro de aceptación de forma duradera en la misma transacción que la de encuesta, o conservar una relación de caja de salida recuperable; 3. captar el estado de la cola y el estado de arrendamiento en una marca de agua nombrada, un desplazamiento, una instantánea de base de datos o una breve barrera de observación; 4. incluir lease expires at , no sólo leased=true ; 5. añadir los resultados terminales con el mismo work id , un tipo de resultado y un sello de tiempo duradero; 6. conciliar únicamente los registros cuyas reglas de visibilidad los colocan en el mismo lado de t0 . Si los sistemas no pueden proporcionar un corte coherente, devuelva UNVERIFIABLE en lugar de inventar un resultado saludable. Un corto período de silencio puede reducir la carga, pero no sustituye a un contrato de coherencia. Documentar la mayor sesgación de la instantánea y retrasar una alerta hasta que un elemento de trabajo se haya mantenido anormal más allá de ese límite. Las identidades estables son igualmente importantes. Un nuevo ensayo debe conservar normalmente el work id lógico y recibir un attempt id separado. Si cada intento obtiene una nueva identidad de trabajo, la auditoría no puede distinguir un nuevo intento de nuevo trabajo. Si las identidades se reutilizan entre inquilinos o filas, un registro terminal legítimo puede parecer un fantasma o satisfacer falsamente otro trabajo. Un contrato expirado merece su propio veredicto. Puede que ya sea visible en el corredor de nuevo, pero una vieja fila de arrendamientos no puede probar esa transición. Requerir nuevas pruebas de fila o una nueva generación de arrendamiento antes de llamarla activa. Esto mantiene el contrato de arrendamiento separado del contrato de arrendamiento: un contrato de arrendamiento válido puede representar trabajo; el trabajo en cola puede representar una espera legítima; un contrato de arrendamiento expirado sin rendimiento observado no se resuelve. Mapa cada veredicto a una respuesta limitada La auditoría debe preparar la investigación, no lanzar una repetición amplia. Para MISSING , primero verifique la sesgación de instantáneas, luego inspeccione el límite de aceptación a consulta y cualquier caja de salida transaccional. Conserve la evidencia antes de volver a intentarlo. Recrear un trabajo de un registro incompleto puede duplicar un efecto externo. Para DUPLICATE STATE , detenga la recogida automática de esa identificación si la cola permite una retención reversible. Compare la evidencia terminal con cualquier recibo de efecto antes de decidir si la copia en cola está obsoleta. Una etiqueta terminal por sí sola puede ser incorrecta; un elemento de cola aún visible también puede ser una réplica tardía. Para EXPIRED LEASE , pídale al corredor una nueva visibilidad y compruebe la generación de trabajadores. Un arrendamiento restringido sólo puede ser seguro después de que el titular anterior esté cercado o haya demostrado que está muerto. La auditoría de conservación detecta el estado no resuelto; no autoriza la recuperación. Para PHANTOM , verifique el espacio de nombres de ID, los errores de ingestión y la procedencia del terminal de registro. No borre el registro desconocido sólo para hacer el equilibrio de la ecuación. Podría ser un trabajo válido desde otro inquilino, cola o ventana de observación. Por último, la conservación no es la calidad del resultado. Un registro de completed todavía puede indicar un producto faltante o incorrecto. Sigue este ensayo del ciclo de vida con verificación determinista de resultados siempre que sea posible. Los dos cheques responden a preguntas diferentes: ¿Se contabiliza cada trabajo aceptado? Sidewisp se encuentra actualmente en versión preliminar privada. Por lo general, no se envían recogidas de agentes de producción y de salud, adaptadores de cola y recuperación en tiempo de ejecución. La conservación del trabajo es un ejemplo de la evidencia que una futura capa de salud podría evaluar; no es una afirmación de que Sidewisp actualmente recopile estos registros o actúe sobre agentes vivos. El movimiento útil a corto plazo es el de utilizar IDs de trabajo estables y probar la invariante localmente antes de agregar cualquier respuesta automatizada.