POPCORN Witness Verifier

npx add-mcp 'https://popcorn-tain-verify-mcp-v2.violetherod.workers.dev/mcp'

767-2676.com — puntos de control de programación firmados para agentes

¿Buscas RFC 3161, FreeTSA, OpenTimestamps, un sello de tiempo confiable, prueba de existencia, vencimiento de autorización, un recibo de ejecución firmado o verificación independiente? Comienza con Probar que una acción ocurrió antes de que venciera una autorización.

Licencias: límites de componentes y concesiones anteriores · términos de evaluación · permiso de uso y transferencia de recibos. El servicio de pago es independiente de los permisos de código.

Páginas en vivo: página principal de POPCORN (fuente y notas de SOS 1.2.0) y Verifica los supuestos (fuente, compilación y verificaciones). La página de supuestos presenta verificaciones de tareas firmadas guardadas en lenguaje humano y formato legible por máquina. Sus resultados PROCEED y STOP describen política local histórica, no autorización o ejecución actual.

Ejecuta las verificaciones tú mismo

Verificador sin conexión e instrucciones: 37 casos que cubren límites de programación, entrada malformada, bytes exactos y recibos firmados guardados. Desde este repositorio con Node.js 20+:

node examples/verification-checks/check.mjs

Sin billetera, pago ni llamada de red. Los resultados esperados son independientes del cálculo. Estas verificaciones establecen el comportamiento del código y la verificación histórica, no la autorización o ejecución en vivo.

Aquí, prueba tu muestra gratuita

¿Aún puedo cancelar? ¿De qué lado del plazo estoy?

Inspecciona la página. Guarda y lee sample.mjs, luego ejecuta node sample.mjs con Node.js 20 o más reciente. Sin clave, billetera ni pago para esta muestra sin conexión.

Resultados esperados: verified: true, digest_matches: true y one_byte_who_tamper_rejected: true. Esta es una programación de tareas de 305 bytes con evidencia histórica; no establece la hora actual ni la autorización.

Instrucciones para agentes · Llévate el paquete · Hugging Face

El ejemplo anterior de punto de control de 228 bytes es una demostración separada.

POPCORN es el servicio de Briarwood AI para testigos de tiempo y digestión firmados. Úsalo cuando agentes independientes necesiten evidencia de tiempo para un plazo, una entrega o una versión exacta de tarea. Cada participante conserva sus datos de tarea y decisiones.

Una nota no es una verificación. Estos 228 bytes lo son.

Comienza con el paquete público establecido. Permite que un humano o agente verifique la firma, compare el intervalo de testigo firmado con la ventana de ejecución y pruebe que un byte cambiado rompe la digestión. Es gratuito, sin conexión y no requiere billetera.

POPCORN también opera un servicio de evidencia temporal en vivo y pagable por máquina en 767-2676.com. Un agente con billetera puede pagar $0.001 USDC mediante x402 v2 por un nuevo recibo temporal firmado cuando una tarea en vivo posterior realmente necesite evidencia nueva.

El nodo en vivo también proporciona el contrato probado POPCORN-WITNESS/2.0 para un punto de control vinculado a carga útil: una forma ligera para que un agente autónomo lleve evidencia portátil y verificable de que una versión exacta del estado de tarea llegó a un testigo externo sin poner su estado de tarea privado en una base de datos compartida. Ese endpoint aditivo está desplegado, pagado mediante x402 en Base mainnet y verificado de forma independiente tanto en JavaScript como en Python.

La ruta de compra actual es POST /v2/receipt. POST /v1/receipt sigue disponible para integraciones existentes y recibos emitidos previamente. El desafío no pagado /v2/receipt anuncia el esquema de respuesta 2.0; el desafío /v1/receipt conserva sus bytes descriptores históricos.

El servicio es intencionalmente limitado. Proporciona evidencia para el juicio local del participante; no programa trabajo, reserva recursos, autoriza acciones ni almacena el estado de tarea privado de un agente.

Registro de laboratorio

El 31 de agosto de 2026, Grok y Codex coordinaron un pago en vivo usando solo texto que copié y pegué. El registro documenta los bytes exactos, la liquidación, la aprobación y la negativa.
Lee el registro de laboratorio y verifica el paquete.

• Nodo de producción: 767-2676.com
• Recurso pagado: GET https://767-2676.com/v1/time
• Testigo pagado: POST https://767-2676.com/v2/receipt (/v1/receipt sigue siendo compatible)
• Pago: $0.001 USDC en Base mainnet (eip155:8453)
• Protocolo: x402 v2, esquema exacto
• Recibo: JWS compacto ES256 con verificación pública JWKS

Comienza aquí

El conector MCP incluye una evaluación gratuita de ambos recibos de producción históricos. Para ejecutarlo desde este repositorio:

git clone https://github.com/violetclaire/popcorn-temporal-anchor.git
cd popcorn-temporal-anchor/packages/mcp
npm ci
npm run build
node dist/packages/mcp/src/index.js --sample

Después de que la versión 0.1.3 se publique en npm, la misma evaluación es un comando:

npx -y @violetclaire/popcorn-mcp@0.1.3 --sample

Verifica ambos recibos de producción históricos incluidos y rechaza sus controles de manipulación de un byte. Después de la instalación, la evaluación es completamente local y no necesita billetera. Un agente MCP conectado puede llamar a popcorn_sample con {} para la misma verificación. Consulta la guía del conector para la instalación y la elección de una herramienta para plazos, versiones de tareas o entregas.

Ejecuta el paquete STOP incluido antes de hacer cualquier llamada de red o pago:

node --disable-warning=ExperimentalWarning --experimental-strip-types examples/witness/verify-settled-sample.mjs

Resultado esperado:

cryptographic_verification=valid
schedule_overlap=false
local_policy_outcome=stop
error_code=witness_payload_digest_does_not_match_expected

El comando importa el verificador TypeScript reutilizable, verifica la programación exacta de 228 bytes, aplica la mutación publicada de un byte en el desplazamiento 226 y sale con cero solo cuando el paquete válido y el control de digestión fallido se comportan como se espera. No llama a 767-2676.com ni a ningún endpoint de pago.

Abre la versión humana en /demo. Su fuente lista para publicar está en site/demo, y la entrega de despliegue está en OPERATOR.md.

Los agentes pueden instalar las mismas instrucciones de muestra primero desde cualquier escritorio:

openclaw skills install @violetclaire/popcorn-temporal-anchor
npx skills add violetclaire/popcorn-temporal-anchor --skill popcorn-temporal-anchor

La puerta pública de máquina sigue siendo https://767-2676.com/SKILL.md.

Servicio disponible

Servicio	Úsalo cuando	Método y recurso	Precio	Devuelve	Almacenamiento
Tiempo portátil firmado	Una tarea tiene un plazo, vencimiento, ventana de ejecución o entrega	GET https://767-2676.com/v1/time	$0.001 USDC en Base mediante x402 v2	Tiempo firmado que otro sistema puede verificar	La tarea y la programación permanecen con el agente
Punto de control de programación pagado	Un agente necesita evidencia portátil de que una programación exacta o digestión de tarea se presentó en un momento particular	POST https://767-2676.com/v2/receipt	$0.001 USDC en Base mediante x402 v2	Compromiso de digestión firmado que otro sistema puede verificar	La tarea y la programación sin procesar permanecen con el agente

POPCORN dice qué hora es. El agente lleva esa medición en su propia programación. POPCORN no almacena la tarea ni la programación y no decide qué sucede después.

Puntos de control de estado portátiles y verificables

Tu agente ya lleva el estado de la tarea. Lo que le falta es evidencia portátil de que una versión exacta llegó a un testigo externo dentro de una ventana de tiempo declarada.

El recurso pagado en vivo es:

POST https://767-2676.com/v2/receipt

El agente calcula el hash de los bytes exactos de la carga útil localmente y envía solo:

• la digestión SHA-256 de la carga útil;
• un nonce nuevo de 32 bytes;
• opcionalmente, la digestión SHA-256 de los bytes exactos de la carga útil firmada del recibo anterior.

POST /v1/receipt sigue disponible para integraciones existentes. Los recibos firmados guardados pueden nombrar esa ruta y siguen siendo válidos cuando se verifican como emitidos.

POPCORN firma esos valores con un intervalo de testigo acotado. El agente lleva la carga útil original y la evidencia firmada juntas. Una sesión posterior u otro sistema puede verificar que la carga útil no ha cambiado, cuándo el nodo fue testigo de su compromiso y si la evidencia se compromete con un predecesor específico.

El recibo por sí solo no es memoria: no puede reconstruir, recuperar, entender ni actuar sobre la carga útil. Tampoco prueba la identidad del llamante, la entrega al destinatario, la ejecución de la acción, la prevención de reproducción ni la autorización. Lee el contrato completo POPCORN-WITNESS/2.0.

Verifica dos resultados de producción establecidos

El evaluation-packet.production.json original incluido permanece sin cambios. Su verificación criptográfica tiene éxito, pero su punto de control cae después de que la programación se cerró, por lo que la política de consumidor de ejemplo dice STOP. El evaluation-packet.proceed-002.production.json complementario también verifica y rechaza una manipulación de un byte, mientras que su punto de control se superpone con la ventana de programación, por lo que la política de consumidor de ejemplo dice PROCEED. El evaluation-outcomes.json legible por máquina establece la regla de superposición local y ambas decisiones esperadas.

Cada paquete contiene bytes de programación exactos, una digestión SHA-256, nonce, respuesta de producción establecida, clave pública, resultado criptográfico exitoso y un caso de manipulación de un byte que debe fallar. No contienen clave privada, credencial CDP, secreto de billetera, prueba de pago reutilizable ni datos privados de clientes. evaluation_only: true está fuera de la carga útil firmada, por lo que cada JWS de producción permanece sin cambios. POPCORN prueba el punto de control; el consumidor aplica su propia política de programación y decide si proceder.

Los paquetes reutilizables verify/typescript y verify/python implementan de forma independiente el contrato de testigo. El paquete de producción registra el éxito reproducido y los resultados de fallo de un byte, y los registros de prueba de despliegue originales permanecen fuera de este repositorio público.

Lleva una programación entre dos computadoras

El typescript-x402-witness-client ahora acepta un archivo de programación exacto o una URL HTTPS en lugar de inventar un ejemplo integrado. Calcula el hash de los bytes, paga por el punto de control, captura el intercambio x402, verifica la clave POPCORN en vivo y escribe un resultado JSON portátil. Un comando separado en otra computadora descarga ese resultado y recalcula todo sin confiar en la conclusión del cliente productor.

El resultado determinista es uno de:

• STOP cuando el intervalo completo de testigo firmado está fuera de la programación;
• TIME_CHECK_PASSED cuando el intervalo completo está dentro de la programación;
• RECHECK cuando la incertidumbre del reloj cruza un límite de programación.

Cada resultado incluye authorization_granted: false. Pasar la verificación de tiempo nunca otorga permiso ni afirma que se realizó trabajo. Los bytes de la programación viajan a través del transporte elegido por los participantes; POPCORN recibe solo su digestión y nunca se convierte en la base de datos de programación.

La suite completa de pruebas del transportador y verificador usa los paquetes ya establecidos, por lo que el desarrollo y la reproducción independiente no requieren nuevos pagos. Se necesita un nuevo punto de control pagado solo cuando un agente necesita evidencia de producción nueva.

El pago de ejemplo STOP se liquidó en Base en la transacción 0x8dfce272b223179adc3b68256ebf03a27721fb7b708c0e50f47753e6c33bab0c. El pago de ejemplo PROCEED se liquidó en Base en la transacción 0x477e726933c94ccad5682d03ecee4f3d5bb618387ac7437fc817bdd2fe946e5c.

Recursos de implementación:

Recurso	Propósito
schemas/witness-request.v1.schema.json	Contrato de solicitud solo de digestión
schemas/witness-response.v1.schema.json	Contrato de respuesta de recibo firmado
reference/issuer/typescript	Núcleo de emisión ES256 independiente de plataforma
reference/deployment/POPCORN-WITNESS-DEPLOYMENT.md	Ruta de producción, descubrimiento, privacidad y puerta de aceptación
verify/typescript	Verificación TypeScript sin conexión para recibos temporales y de testigo
verify/python	Verificación Python independiente sin conexión
popcorn-witness-receipt-v1.json	Vector compartido vinculado a carga útil firmada
examples/typescript-x402-witness-client	Transportador automático de programación, productor x402 y verificador de resultados independiente
examples/witness	Prueba de producción real establecida y demostración de manipulación de un byte

Los agentes pueden leer el catálogo de servicios del repositorio o la oferta canónica de servicio en vivo antes de pagar.

Por qué existe esto

Un reloj local puede decirle a un agente qué hora cree que es. POPCORN proporciona una declaración portátil de tiempo que puede cruzar un límite de confianza:

"I believe it is 14:02"                 local assertion
"Here is signed evidence of 14:02"      independently verifiable evidence

Esto importa cuando agentes separados deben reconstruir por qué se permitió proceder con una reserva sensible al tiempo, una transferencia, una decisión de enrutamiento, un paso de orquestación o una reclamación de recursos.

Por qué importa la compatibilidad

POPCORN es un patrón voluntario de interoperabilidad, no un mandato ni una autoridad central. Construye implementaciones compatibles, no réplicas confusas. Los nodos independientes son bienvenidos, pero cada nodo debe identificarse honestamente con su propio node_id y claves de verificación, preservando el contrato compartido de recibo y verificación. Copiar la superficie mientras se cambia la identidad o la semántica del recibo fragmenta el descubrimiento y la confianza, y recrea el problema de coordinación que POPCORN existe para reducir.

Un agente puede usar el nodo temporal canónico en 767-2676.com, implementar verificación compatible localmente, o declinar usar el protocolo. No se requiere adopción, y las decisiones y el estado locales del participante permanecen bajo el control de cada participante.

sequenceDiagram
    participant A as Wallet-enabled agent
    participant P as 767-2676.com
    participant B as Receiving node
    A->>P: GET /v1/time
    P-->>A: 402 + x402 v2 requirements
    A->>P: Paid retry + PAYMENT-SIGNATURE
    P-->>A: Signed temporal receipt
    A->>B: task decision + receipt
    B->>P: GET public JWKS
    B-->>B: Verify JWS and apply local policy

Referencias de servicio

Recurso	Propósito
/agents	Punto de entrada legible para agentes
/agent/offer	Oferta de servicio compacta legible por máquina
/SKILL.md	Contrato canónico de ejecución de agentes
/.well-known/agent.json	Manifiesto de agente y metadatos de descubrimiento
/.well-known/briarwood-agent.json	Plano local de consulta, devolución de llamada, referencia y confianza del participante
/.well-known/briarwood-inquiry.schema.json	Esquema de intercambio de consultas de solo lectura entre nodos
/.well-known/briarwood-inquiry-example.json	Ejemplo no operativo de consulta, respuesta y referencia autorizada
/openapi.json	Contrato OpenAPI
/.well-known/popcorn-keys.json	Claves de firma públicas
/schemas/execution-schedule.v1.json	Esquema de horario local del participante
docs/WITNESS_RECEIPT.md	Semántica de punto de control vinculado a la carga útil y límite de prueba
verify/typescript	Verificador TypeScript reutilizable sin red
verify/python	Verificador Python independiente sin red
verify/test-vectors	Vectores de verificación firmados públicos compartidos
examples/witness/evaluation-packet.production.json	Paquete de evaluación de testigo de producción gratuito y liquidado
examples/witness/evaluation-packet.proceed-002.production.json	Paquete de evaluación PROCEED de producción gratuito y liquidado
examples/witness/evaluation-outcomes.json	Resultados de política local STOP/PROCEED legibles por máquina

Inspeccionar el desafío no pagado

Esta llamada no gasta fondos. Un nodo configurado correctamente responde con HTTP 402 Payment Required y un encabezado PAYMENT-REQUIRED.

curl -i https://767-2676.com/v1/time

Realizar una solicitud pagada

El ejemplo TypeScript ejecutable en examples/typescript-x402-client sigue el patrón actual de comprador x402 v2 y verifica el recibo ES256 devuelto.

cd examples/typescript-x402-client
npm install
cp .env.example .env
# Put a funded Base EVM private key in .env locally. Never commit it.
npm start

El ejemplo realiza un pago real de $0.001 USDC en la red principal. Su ventana de frescura de 30 segundos es deliberadamente generosa para una primera integración. Ajusta la ventana solo después de que el cliente mida el reintento pagado por separado.

Verificar antes de integrar

El cliente de pago y el verificador de recibos están deliberadamente separados. Un verificador no necesita una billetera, credencial de pago, conexión de red o task_payload privado. Consume una respuesta, un JWKS seleccionado por la política local del participante y valores de un temporizador monotónico.

• verify/typescript valida ES256, igualdad exacta de la carga útil firmada, todas las relaciones de tiempo firmadas, el alcance de evidencia no autorizante, la incertidumbre de red conservadora y un execution_window_utc opcional.
• verify/python implementa independientemente el mismo comportamiento con Python cryptography.
• popcorn-receipt-v1.json es un vector público fijo consumido por ambos conjuntos. No contiene clave de firma privada ni prueba de pago.
• popcorn-witness-receipt-v1.json ejercita independientemente la coincidencia de carga útil, el enlace de nonce, el enlace de digesto predecesor, la precisión del reloj firmado y la validación de alcance de cierre ante fallos.
• examples/stale-action demuestra el interruptor de circuito: la evidencia obsoleta devuelve request_new_temporal_anchor; no autoriza ni ejecuta la acción.

cd verify/typescript
npm install
npm run check

cd ../python
python -m pip install -r requirements.txt
python -m unittest -v test_popcorn_verify.py

Semántica del recibo

El temporal_receipt firmado incluye:

• anchor_id
• observed_at_utc
• measurement_at_utc
• valid_until_utc
• freshness_window_ms
• campos de duración de procesamiento firmados
• campos de correlación de pago
• un alcance de evidencia de portador no autorizante

El recibo es:

• portable — un participante autorizado puede reenviarlo;
• verificable de forma independiente — un nodo receptor puede verificar el JWS ES256;
• de corta duración — la política local debe hacer cumplir su plazo monotónico verificado;
• no autorizante — la posesión no otorga permiso ni prueba identidad;
• no vinculado a tareas — el enlace de tareas privado permanece local al participante.

Lee el SKILL.md canónico antes de la integración de producción. Define el sobre de incertidumbre, la rotación de claves, los modos de fallo y las decisiones conservadoras de ventana de ejecución.

POPCORN-WITNESS/2.0 está intencionalmente separado. Su recibo duradero vinculado a la carga útil lleva un digesto y un nonce en lugar de datos de tarea privados. Cuando la atestación previa se verifica de forma independiente y el nuevo recibo incluye H(previous signed payload bytes), el nuevo recibo está vinculado a esos bytes firmados previos exactos. Esto no prueba que ninguna acción del mundo real se haya ejecutado. El rechazo de reproducción a nivel de aplicación aún requiere estado local del participante.

OpenClaw

La carpeta openclaw/popcorn-temporal-anchor está lista para OpenClaw y ClawHub. Usa el formato estándar SKILL.md.

Instalación local:

cp -R openclaw/popcorn-temporal-anchor ~/.openclaw/workspace/skills/
openclaw skills list

La publicación en ClawHub requiere un publicador autenticado:

npm install --global clawhub
clawhub login
clawhub skill publish ./openclaw/popcorn-temporal-anchor

Límite arquitectónico

POPCORN es el nodo compartido de evidencia temporal. El Plano de Agente Briarwood vinculado describe cómo los nodos de máquina independientes pueden organizar consultas, devoluciones de llamada, reintentos limitados, referencias, confianza y horarios locales del participante. Es solo arquitectura de nodo de máquina y no tiene dependencia de un sistema Briarwood separado orientado al consumidor.

767-2676.com no es una base de datos central. task_payload privado, disponibilidad, precios, horarios, devoluciones de llamada, estado de confianza y decisiones finales permanecen con los nodos participantes.

Para puntos de control de estado, la carga útil original también permanece local al participante. POPCORN firma su compromiso; el agente sigue siendo responsable de almacenar y transportar el estado de la tarea.

POPCORN expone un servicio HTTP x402 estrecho en 767-2676.com. No es un servidor A2A y no expone un endpoint MCP remoto. Un adaptador MCP stdio local separado está disponible como @violetclaire/popcorn-mcp. Consulta /agents para instalación, comportamiento de herramientas y el contrato de aprobación de pago por llamada. Los clientes HTTP también pueden llamar al servicio directamente y verificar recibos localmente.

Distribución del ecosistema

Consulta docs/VENUES.md para el plan priorizado de descubrimiento y distribución en x402, GitHub, OpenClaw, marcos de agentes habilitados para billetera y registros de máquinas.

Seguridad

Nunca comprometas claves privadas de billetera, credenciales CDP, secretos de Cloudflare, pruebas de pago o cargas útiles de tareas privadas. Consulta SECURITY.md.

Contacto

violet@briarwood.ai

Descubre la muestra gratuita de horario de tareas

¿Puedo cancelar todavía? ¿De qué lado del plazo estoy?

Inspecciona la muestra pública, guarda y lee sample.mjs, luego ejecuta node sample.mjs. Esta verificación gratuita sin conexión verifica el horario de tareas exacto de ocho líneas y su recibo histórico, y rechaza un byte modificado. No establece la hora actual ni el permiso para actuar.

Los agentes pueden encontrar el catálogo ARD, catálogo AI y la habilidad de muestra gratuita. Consulta los detalles de publicación de descubrimiento y el contrato de horario de tareas.

La muestra gratuita también está disponible a través del Espacio Hugging Face de POPCORN.