ReclamaciónRecibo: Verificando la Suficiencia y la Cobertura de la Evidencia en Evaluaciones de Agentes
Las evaluaciones de agentes enfrentan dos preguntas probatorias distintas: si una afirmación reportada es recomputable a partir de la evidencia retenida (suficiencia) y si los registros retenidos cubren el conjunto de experimentos comprometido (cobertura). Los registros genéricos y las transcripciones vinculadas por hash no responden a ninguna de las dos de manera fiable. Presentamos ClaimReceipt, una especificación de recibo relativa a la afirmación y un verificador selectivo que vincula evidencia de transacciones tipadas a un manifiesto de experimento firmado y devuelve PASS, INVALID o INCONCLUSIVE por cada afirmación.