POPCORN Witness Verifier

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

767-2676.com — checkpoints de agendamento assinados para agentes

Procurando por RFC 3161, FreeTSA, OpenTimestamps, um carimbo de tempo confiável, prova de existência, expiração de autorização, um recibo de execução assinado ou verificação independente? Comece com Provando que uma ação aconteceu antes de uma autorização expirar.

Licenciamento: limites de componentes e concessões anteriores · termos de avaliação · permissão de uso e transporte de recibos. O serviço pago é separado das permissões de código.

Páginas ao vivo: página inicial do POPCORN (fonte e notas do SOS 1.2.0) e Verifique as premissas (fonte, build e verificações de validação). A página de premissas apresenta verificações de tarefas assinadas salvas em linguagem humana e formato legível por máquina. Seus resultados PROCEED e STOP descrevem política local histórica, não autorização ou execução atual.

Execute você mesmo as verificações de validação

Verificador offline e instruções: 37 casos cobrindo limites de agendamento, entrada malformada, bytes exatos e recibos assinados salvos. A partir deste repositório com Node.js 20+:

node examples/verification-checks/check.mjs

Sem carteira, pagamento ou chamada de rede. Os resultados esperados são separados do cálculo. Essas verificações estabelecem o comportamento do código e a verificação histórica, não autorização ou execução ao vivo.

Aqui, experimente sua amostra gratuita

Posso cancelar ainda? De que lado do prazo estou?

Inspecione a página. Salve e leia sample.mjs, depois execute node sample.mjs com Node.js 20 ou mais recente. Sem chave, carteira ou pagamento para esta amostra offline.

Resultados esperados: verified: true, digest_matches: true e one_byte_who_tamper_rejected: true. Este é um agendamento de tarefa de 305 bytes com evidência histórica; não estabelece hora atual ou autorização.

Instruções para agentes · Leve o pacote para casa · Hugging Face

O exemplo mais antigo de checkpoint de 228 bytes abaixo é uma demonstração separada.

POPCORN é o serviço da Briarwood AI para testemunhas de tempo e digestão assinados. Use-o quando agentes independentes precisarem de evidência de tempo para um prazo, uma transferência ou uma versão exata de tarefa. Cada participante mantém seus próprios dados brutos de tarefa e decisões.

Uma nota não é uma verificação. Estes 228 bytes são.

Comece com o pacote público estabelecido. Ele permite que um humano ou agente verifique a assinatura, compare o intervalo de testemunha assinado com a janela de execução e prove que um byte alterado quebra a digestão. É gratuito, offline e não requer carteira.

POPCORN também opera um serviço de evidência temporal ao vivo, pagável por máquina, em 767-2676.com. Um agente com carteira habilitada pode pagar $0.001 USDC via x402 v2 por um novo recibo temporal assinado quando uma tarefa ao vivo posterior realmente precisar de evidência nova.

O nó ao vivo também fornece o contrato testado POPCORN-WITNESS/2.0 para um checkpoint vinculado a payload: uma forma leve de um agente autônomo carregar evidência portátil e verificável de que um compromisso exato de estado de tarefa alcançou uma testemunha externa sem colocar seu estado privado de tarefa em um banco de dados compartilhado. Esse endpoint aditivo está implantado, pago via x402 na mainnet da Base e verificado independentemente tanto em JavaScript quanto em Python.

O caminho de compra atual é POST /v2/receipt. POST /v1/receipt permanece disponível para integrações existentes e recibos emitidos anteriormente. O desafio não pago /v2/receipt anuncia o esquema de resposta 2.0; o desafio /v1/receipt mantém seus bytes de descritor históricos.

O serviço é intencionalmente estreito. Ele fornece evidência para julgamento local do participante; não agenda trabalho, reserva recursos, autoriza ações ou armazena o estado privado de tarefa de um agente.

Registro de laboratório

Em 31 de agosto de 2026, Grok e Codex coordenaram um pagamento ao vivo usando apenas texto que copiei e colei. O registro documenta os bytes exatos, liquidação, aprovação e recusa.
Leia o registro de laboratório e verifique o pacote.

• Nó de produção: 767-2676.com
• Recurso pago: GET https://767-2676.com/v1/time
• Testemunha paga: POST https://767-2676.com/v2/receipt (/v1/receipt permanece compatível)
• Pagamento: $0.001 USDC na mainnet da Base (eip155:8453)
• Protocolo: x402 v2, esquema exato
• Recibo: JWS compacto ES256 com verificação pública JWKS

Comece aqui

O conector MCP inclui uma avaliação gratuita de ambos os recibos históricos de produção. Para executá-lo a partir deste repositório:

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

Após a versão 0.1.3 ser publicada no npm, a mesma avaliação é um comando:

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

Ele verifica ambos os recibos históricos de produção incluídos e rejeita seus controles de adulteração de um byte. Após a instalação, a avaliação é totalmente local e não precisa de carteira. Um agente MCP conectado pode chamar popcorn_sample com {} para a mesma verificação. Veja o guia do conector para instalação e escolha de uma ferramenta para prazos, versões de tarefa ou transferências.

Execute o pacote STOP incluído antes de fazer qualquer chamada de rede ou pagamento:

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

O comando importa o verificador TypeScript reutilizável, verifica o agendamento exato de 228 bytes, aplica a mutação publicada de um byte no deslocamento 226 e sai com zero somente quando o pacote válido e o controle de digestão com falha se comportam como esperado. Ele não chama 767-2676.com nem qualquer endpoint de pagamento.

Abra a versão humana em /demo. Sua fonte pronta para publicação está em site/demo, e a entrega de implantação está em OPERATOR.md.

Agentes podem instalar as mesmas instruções de amostra-primeiro de qualquer mesa:

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

A porta pública de máquina permanece https://767-2676.com/SKILL.md.

Serviço disponível

Serviço	Use quando	Método e recurso	Preço	Retorna	Armazenamento
Tempo portátil assinado	Uma tarefa tem prazo, expiração, janela de execução ou transferência	GET https://767-2676.com/v1/time	$0.001 USDC na Base via x402 v2	Tempo assinado que outro sistema pode verificar	A tarefa e o agendamento permanecem com o agente
Checkpoint de agendamento pago	Um agente precisa de evidência portátil de que um agendamento exato ou digestão de tarefa foi apresentado em um momento específico	POST https://767-2676.com/v2/receipt	$0.001 USDC na Base via x402 v2	Compromisso de digestão assinado que outro sistema pode verificar	A tarefa bruta e o agendamento permanecem com o agente

POPCORN diz que horas são. O agente carrega essa medição em seu próprio agendamento. POPCORN não armazena a tarefa ou o agendamento e não decide o que acontece em seguida.

Checkpoints de estado portáteis e verificáveis

Seu agente já carrega o estado da tarefa. O que falta é evidência portátil de que uma versão exata alcançou uma testemunha externa dentro de uma janela de tempo declarada.

O recurso pago ao vivo é:

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

O agente calcula o hash dos bytes exatos do payload localmente e envia apenas:

• a digestão SHA-256 do payload;
• um nonce novo de 32 bytes;
• opcionalmente, a digestão SHA-256 dos bytes exatos do payload assinado do recibo anterior.

POST /v1/receipt permanece disponível para integrações existentes. Recibos assinados salvos podem nomear essa rota e permanecem válidos quando verificados como emitidos.

POPCORN assina esses valores com um intervalo de testemunha limitado. O agente carrega o payload original e a evidência assinada juntos. Uma sessão posterior ou outro sistema pode verificar que o payload não mudou, quando o nó testemunhou seu compromisso e se a evidência se compromete com um predecessor específico.

O recibo sozinho não é memória: ele não pode reconstruir, recuperar, entender ou agir sobre o payload. Também não prova identidade do chamador, entrega ao destinatário, execução de ação, prevenção de repetição ou autorização. Leia o contrato completo POPCORN-WITNESS/2.0.

Verifique dois resultados de produção estabelecidos

O evaluation-packet.production.json original incluído permanece inalterado. Sua verificação criptográfica é bem-sucedida, mas seu checkpoint cai após o fechamento do agendamento, então a política de consumidor de exemplo diz STOP. O evaluation-packet.proceed-002.production.json complementar também verifica e rejeita uma adulteração de um byte, enquanto seu checkpoint se sobrepõe à janela do agendamento, então a política de consumidor de exemplo diz PROCEED. O evaluation-outcomes.json legível por máquina declara a regra local de sobreposição e ambas as decisões esperadas.

Cada pacote contém bytes exatos de agendamento, uma digestão SHA-256, nonce, resposta de produção estabelecida, chave pública, resultado criptográfico bem-sucedido e um caso de adulteração de um byte que deve falhar. Eles não contêm chave privada, credencial CDP, segredo de carteira, prova de pagamento reutilizável ou dados privados de cliente. evaluation_only: true está fora do payload assinado, então cada JWS de produção permanece inalterado. POPCORN prova o checkpoint; o consumidor aplica sua própria política de agendamento e decide se deve prosseguir.

Os pacotes reutilizáveis verify/typescript e verify/python implementam independentemente o contrato de testemunha. O pacote de produção registra o sucesso reproduzido e os resultados de falha de um byte, e os logs originais de teste de implantação permanecem fora deste repositório público.

Carregue um agendamento entre dois computadores

O typescript-x402-witness-client agora aceita um arquivo de agendamento exato ou URL HTTPS em vez de inventar um exemplo embutido. Ele calcula o hash dos bytes, paga pelo checkpoint, captura a troca x402, verifica a chave POPCORN ao vivo e escreve um JSON de resultado portátil. Um comando separado em outro computador baixa esse resultado e recalcula tudo sem confiar na conclusão do cliente produtor.

O resultado determinístico é um de:

• STOP quando o intervalo completo de testemunha assinado está fora do agendamento;
• TIME_CHECK_PASSED quando o intervalo completo está dentro do agendamento;
• RECHECK quando a incerteza do relógio cruza um limite de agendamento.

Todo resultado inclui authorization_granted: false. Passar na verificação de tempo nunca concede permissão nem afirma que o trabalho foi realizado. Os bytes do agendamento viajam pelo transporte escolhido dos participantes; POPCORN recebe apenas sua digestão e nunca se torna o banco de dados de agendamento.

A suíte completa de testes do transportador e verificador usa os pacotes já estabelecidos, então o desenvolvimento e a reprodução independente não exigem novo pagamento. Um novo checkpoint pago é necessário apenas quando um agente precisa de evidência de produção nova.

O pagamento de exemplo STOP foi liquidado na Base na transação 0x8dfce272b223179adc3b68256ebf03a27721fb7b708c0e50f47753e6c33bab0c. O pagamento de exemplo PROCEED foi liquidado na Base na transação 0x477e726933c94ccad5682d03ecee4f3d5bb618387ac7437fc817bdd2fe946e5c.

Recursos de implementação:

Recurso	Propósito
schemas/witness-request.v1.schema.json	Contrato de solicitação somente-digestão
schemas/witness-response.v1.schema.json	Contrato de resposta de recibo assinado
reference/issuer/typescript	Núcleo de emissão ES256 neutro de plataforma
reference/deployment/POPCORN-WITNESS-DEPLOYMENT.md	Rota de produção, descoberta, privacidade e portão de aceitação
verify/typescript	Verificação TypeScript offline para recibos temporais e de testemunha
verify/python	Verificação Python offline independente
popcorn-witness-receipt-v1.json	Vetor compartilhado vinculado a payload assinado
examples/typescript-x402-witness-client	Transportador automático de agendamento, produtor x402 e verificador de resultado independente
examples/witness	Prova de produção estabelecida real e demonstração de adulteração de um byte

Agentes podem ler o catálogo de serviços do repositório ou a oferta canônica de serviço ao vivo antes de pagar.

Por que isso existe

Um relógio local pode dizer a um agente que horas ele acredita que são. POPCORN fornece uma declaração portátil de tempo que pode cruzar um limite de confiança:

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

Isso importa quando agentes separados precisam reconstruir por que uma reserva sensível ao tempo, transferência, decisão de roteamento, etapa de orquestração ou reivindicação de recurso foi permitida a prosseguir.

Por que a compatibilidade importa

POPCORN é um padrão voluntário de interoperabilidade, não um mandato ou autoridade central. Construa implementações compatíveis, não réplicas confusas. Nós independentes são bem-vindos, mas cada nó deve se identificar honestamente com sua própria node_id e chaves de verificação, preservando o contrato compartilhado de recibo e verificação. Copiar a superfície enquanto altera a identidade ou a semântica do recibo fragmenta a descoberta e a confiança e recria o problema de coordenação que o POPCORN existe para reduzir.

Um agente pode usar o nó temporal canônico em 767-2676.com, implementar verificação compatível localmente ou recusar-se a usar o protocolo. Nenhuma adoção é obrigatória, e decisões e estado locais do participante permanecem sob controle 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

Referências de serviço

Recurso	Finalidade
/agents	Ponto de entrada legível para agentes
/agent/offer	Oferta de serviço compacta legível por máquina
/SKILL.md	Contrato canônico de execução de agente
/.well-known/agent.json	Manifesto do agente e metadados de descoberta
/.well-known/briarwood-agent.json	Modelo local de consulta, retorno de chamada, referência e confiança do participante
/.well-known/briarwood-inquiry.schema.json	Esquema somente leitura de troca de consulta direta entre nós
/.well-known/briarwood-inquiry-example.json	Exemplo não operacional de consulta, resposta e referência autorizada
/openapi.json	Contrato OpenAPI
/.well-known/popcorn-keys.json	Chaves de assinatura públicas
/schemas/execution-schedule.v1.json	Esquema de agenda local do participante
docs/WITNESS_RECEIPT.md	Semântica de checkpoint vinculada à carga útil e limite de prova
verify/typescript	Verificador TypeScript reutilizável sem rede
verify/python	Verificador Python independente sem rede
verify/test-vectors	Vetores de verificação assinados públicos compartilhados
examples/witness/evaluation-packet.production.json	Pacote gratuito de avaliação de testemunha de produção liquidada
examples/witness/evaluation-packet.proceed-002.production.json	Pacote gratuito de avaliação de PROCEED de produção liquidada
examples/witness/evaluation-outcomes.json	Resultados legíveis por máquina de políticas locais STOP/PROCEED

Inspecione o desafio não pago

Esta chamada não gasta fundos. Um nó configurado corretamente responde com HTTP 402 Payment Required e um cabeçalho PAYMENT-REQUIRED.

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

Faça uma solicitação paga

O exemplo TypeScript executável em examples/typescript-x402-client segue o padrão atual de comprador x402 v2 e verifica o recibo ES256 retornado.

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

O exemplo faz um pagamento real de $0.001 USDC na mainnet. Sua janela de frescor de 30 segundos é deliberadamente generosa para uma primeira integração. Aperte a janela somente depois que o cliente medir a nova tentativa paga separadamente.

Verifique antes de integrar

O cliente de pagamento e o verificador de recibos são deliberadamente separados. Um verificador não precisa de carteira, credencial de pagamento, conexão de rede ou task_payload privada. Ele consome uma resposta, um JWKS selecionado por política local do participante e valores de um único temporizador monotônico.

• verify/typescript valida ES256, igualdade exata da carga útil assinada, todas as relações de tempo assinadas, o escopo de evidência não autorizadora, incerteza de rede conservadora e um execution_window_utc opcional.
• verify/python implementa independentemente o mesmo comportamento com Python cryptography.
• popcorn-receipt-v1.json é um vetor público fixo consumido por ambas as suítes. Ele não contém chave de assinatura privada ou prova de pagamento.
• popcorn-witness-receipt-v1.json exercita independentemente correspondência de carga útil, vinculação de nonce, vinculação de digest do predecessor, precisão de relógio assinado e validação de escopo com falha fechada.
• examples/stale-action demonstra o disjuntor: evidência obsoleta retorna request_new_temporal_anchor; ele não autoriza nem executa a ação.

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 do recibo

O temporal_receipt assinado inclui:

• anchor_id
• observed_at_utc
• measurement_at_utc
• valid_until_utc
• freshness_window_ms
• campos assinados de duração de processamento
• campos de correlação de pagamento
• um escopo de evidência portadora não autorizadora

O recibo é:

• portátil — um participante autorizado pode encaminhá-lo;
• verificável independentemente — um nó receptor pode verificar o JWS ES256;
• de curta duração — a política local deve impor seu prazo monotônico verificado;
• não autorizador — a posse não concede permissão e não prova identidade;
• não vinculado à tarefa — a vinculação privada de tarefas permanece local ao participante.

Leia o SKILL.md canônico antes da integração de produção. Ele define o envelope de incerteza, rotação de chaves, modos de falha e decisões conservadoras de janela de execução.

POPCORN-WITNESS/2.0 é intencionalmente separado. Seu recibo durável vinculado à carga útil carrega um digest e nonce em vez de dados privados de tarefa. Quando a atestação anterior é verificada independentemente e o novo recibo inclui H(previous signed payload bytes), o novo recibo é vinculado àqueles bytes assinados anteriores exatos. Isso não prova que nenhuma ação do mundo real foi executada. A rejeição de repetição em nível de aplicação ainda requer estado local do participante.

OpenClaw

A pasta openclaw/popcorn-temporal-anchor está pronta para OpenClaw e ClawHub. Ela usa o formato padrão SKILL.md.

Instalação local:

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

A publicação no ClawHub requer um publicador autenticado:

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

Limite arquitetural

POPCORN é o nó compartilhado de evidência temporal. O Blueprint do Agente Briarwood vinculado descreve como nós de máquina independentes podem organizar consultas, retornos de chamada, novas tentativas limitadas, referências, confiança e agendas locais do participante. É apenas arquitetura de nó de máquina e não tem dependência de um sistema Briarwood separado voltado ao consumidor.

767-2676.com não é um banco de dados central. task_payload privado, disponibilidade, preços, agendas, retornos de chamada, estado de confiança e decisões finais permanecem com os nós participantes.

Para checkpoints de estado, a carga útil original também permanece local ao participante. POPCORN assina seu compromisso; o agente permanece responsável por armazenar e transportar o estado da tarefa em si.

POPCORN expõe um serviço HTTP x402 estreito em 767-2676.com. Não é um servidor A2A e não expõe um endpoint MCP remoto. Um adaptador MCP stdio local separado está disponível como @violetclaire/popcorn-mcp. Veja /agents para instalação, comportamento de ferramentas e o contrato de aprovação de pagamento por chamada. Clientes HTTP também podem chamar o serviço diretamente e verificar recibos localmente.

Distribuição do ecossistema

Veja docs/VENUES.md para o plano priorizado de descoberta e distribuição em x402, GitHub, OpenClaw, estruturas de agente habilitadas para carteira e registros de máquina.

Segurança

Nunca confirme chaves privadas de carteira, credenciais CDP, segredos Cloudflare, provas de pagamento ou cargas úteis privadas de tarefa. Veja SECURITY.md.

Contato

violet@briarwood.ai

Descubra a amostra gratuita de agenda de tarefas

Ainda posso cancelar? De que lado do prazo estou?

Inspecione a amostra pública, salve e leia sample.mjs e execute node sample.mjs. Esta verificação gratuita offline valida a agenda de tarefas exata de oito linhas e seu recibo histórico, e rejeita um byte alterado. Ela não estabelece hora atual ou permissão para agir.

Agentes podem encontrar o catálogo ARD, catálogo AI e a habilidade de amostra gratuita. Veja detalhes de publicação de descoberta e o contrato de agenda de tarefas.

A amostra gratuita também está disponível através do Espaço POPCORN Hugging Face.