MergeWitnessExemplo registrado · 0.3.0

Um caso sintético registrado

Claude sugere. A verificação local confere.

A sequência e os requisitos foram congelados antes da proposta. O usuário copiou a resposta de sua conta gratuita no celular; o controlador local aplicou o código abaixo sem alterações.

A origem no Claude foi informada pelo usuário. A interface do provedor e o modelo não foram capturados de forma independente. Este registro demonstra uma proposta web com verificação local; não comprova integração Claude Code/MCP, uso por cliente externo ou correção universal.

A proposta aplicada

import { resolvePrice } from './pricing.js';
export function createCatalog({ globalPrices = { notebook: 100 }, tenantPrices = {} } = {}) {
  let sourceCalls = 0;
  const cache = new Map();
  return {
    getPrice({ tenant, sku }) {
      const key = JSON.stringify([tenant, sku]);
      if (!cache.has(key)) {
        sourceCalls += 1;
        cache.set(key, resolvePrice({ tenant, sku, globalPrices, tenantPrices }));
      }
      return cache.get(key);
    },
    getSourceCalls() { return sourceCalls; },
  };
}

A chave combina tenant e SKU no domínio de strings deste exemplo. Isso preservou os requisitos declarados. A serialização JSON não é uma codificação universal de identidade para valores JavaScript arbitrários.

Resultados registrados

  1. Testes comuns passaram em Base, A, B e Combined. Na sequência congelada, Combined devolveu 90 ao tenant beta; o esperado era 100.
  2. A proposta passou na sequência, nos três testes comuns e nas verificações de preço por tenant e cache.
  3. O controle sem cache passou na sequência e no preço, mas falhou no cache e foi rejeitado.
  4. O mesmo código passou novamente em uma análise nova. As fontes dos checks e a fixture permaneceram intactas. Os clones de análise foram removidos.

Evidências e reprodução

SHA-256: 2dfde5b4bfee6ebdb9cba15407e9bd6d0430f78772bc79ed753318f4a67844b3

O controlador é opt-in e fica fora do pacote aceito. A execução foi feita no Windows com o tarball 0.3.0 preservado. Código executado em processos e worktrees precisa ser confiável e revisado.

← Voltar ao vídeo e ao projeto