@ 代理人/证人

部分 代理先导 ——代理应用程序的开源信任底板:可以签名的身份,行为时间检查权限,所有者携带的证据. 开发者工具包 • 妇女 所有软件包

证据纠纷证明 ——中性功能,仅取自文物: 这一行动是在事件发生时授权的关系范围内进行的,如果不是,则由谁负责 检查失败 ?

谱: specs/307-witness.md 消费: 核查收据(第303项) + 键 关系记录(第306项)。 。 。 .

走路时

import { evaluateDispute, mintWitnessAttestation } from '@agenticprimitives/witness';

const evaluation = await evaluateDispute({
  record,            // the spec-306 hash-linked evidence chain
  receipt,           // the disputed spec-303 public receipt
  detail,            // optional — released to the witness via releaseMode 'witness_escrow'
  verifyReceiptSignature,
});
// → { outcome: 'in_scope' | 'out_of_scope' | 'revoked_before_execution'
//              | 'stale_status_used' | 'insufficient_evidence', ... }

const attestation = await mintWitnessAttestation(
  { witness: witnessSa, relationshipId, evaluation, receipt, checkedDetail: !!detail, attestedAt },
  { sign: witnessSigner },
);

徒步走着 总计和订购 (证据完整性 ) 记录会员资格 ——撤销时间表 —— 因此,两个证人 给予同样的文物 产生相同的结果和结果 证相散相. 任何无法核实的东西——断开的链条,无效的收据,不是收据 记录的一个条目,一个不开放的细节——是 insufficient_evidence从来没有猜测.

stale_status_used 是负载结果: 撤销项在收件之前 关系记录,然而允许的验证器 revocation: 'active' - 核查员依赖 停顿状态,这正是引发该条采购清单所指定的责任.

状态

w1-evaluate-attest - 步行+证明薄荷/验证,8个测试套房(每个结果一个, 决断主义,篡改主义,无身份外出. W2: 证明锚+证人-证人 解密Grant发布路径. W3:G-12对这些结果的责任计划.