KineGrant Policy Bundle Verifier

本地验证：签名（Ed25519 与后量子 ML-DSA-65）、信任机构、策略 id、时间窗、规则摘要、当前版本选择、能力、衰减链、禁止组合、收据链、MPT 证据、撤销包、策略分发报告、收据证据包、审计 CSV、复现报告、撤销分发报告、策略分析报告、一致性报告、车队审计汇总、安全审计工具包、ESP32-C3 硬件证据、车队联合运维报告、基准报告、策略生命周期轨迹、传感器证据承诺、收据检查点、设备证明、硬件信任组合证据包、桥接演示报告、网关机器人演示报告、摄像头同意场景、全生命周期联检报告、证据导出包、ODRL 映射、动作词汇、义务词汇与身份语法。所有计算都在你的浏览器里完成，不上传任何数据。

策略包 JSON（带签名 envelope）

信任机构 kid 列表（JSON 数组）

可选：已撤销版本（JSON 数组，格式 "policy_id:version"）

可选：全部策略包 payloads（JSON 数组，用于当前版本选择）

能力 envelope JSON

请求 JSON + 信任签发者（JSON 数组，第二个框）

收据链 entries JSON 数组

可选：信任执行方（JSON 数组）

MPT 证据 JSON（Machine Permission Test 输出）

撤销包 JSON（带签名 envelope）

策略分发报告 JSON + 对应策略包 JSON（第二个框）

收据证据包 JSON（ReceiptAuditor 导出）

审计 CSV 文本（ReceiptAuditor 导出）

外部复现报告 JSON（challenge/reproduce 生成）

撤销分发报告 JSON + 可选撤销包 JSON（第二个框，用于绑定校验）

动作列表 JSON 数组（kg.action.* 词汇）

义务列表 JSON 数组（已知义务词汇）

身份列表 JSON 数组（urn:kinegrant:agent|target|policy:命名空间:本地 ID）

策略分析报告 JSON（analyze_policy_bundle 输出）

对应策略包 JSON + 信任机构 kid 列表（第二个框）

衰减链 JSON 数组（root → 子能力，每项都是签名 envelope）

终端请求 JSON + 信任签发者 kid 列表（第二个框）

后量子信封 JSON（alg: "ML-DSA-65"，kid: "kinegrant:key:mldsa65:..."，需要浏览器 WebCrypto 支持 ML-DSA）

一致性报告 JSON（kinegrant:ConformanceReport，kinegrant-conformance 输出）

车队审计汇总 JSON（kinegrant:PolicyAuditSummary，kinegrant-audit --audit-summary 输出）

安全审计工具包 JSON（kinegrant:SecurityReviewKit，security_review_kit.py 输出）

ESP32-C3 硬件证据 JSON（kinegrant:ESP32C3PaperBarrierProofEvidence，physical-proof-evidence 输出）

车队联合运维报告 JSON（kinegrant:FleetOperationsReport，内嵌策略分发 + 撤销分发）

策略包 JSON + 撤销包 JSON + 信任机构 kid 列表（第三个框）

基准测试报告 JSON（kinegrant:BenchmarkReport，benchmarks/bench.py 输出）

策略生命周期轨迹 JSON（kinegrant:PolicyLifecycleTrace：publish → enforce → odrl → distribute → audit → revoke）

对应策略包 JSON + 信任机构 kid 列表（第二个框）

传感器证据承诺 JSON（kinegrant:SensorEvidenceCommitment，可为签名 envelope 或纯对象）

收据检查点 JSON（kinegrant:ReceiptCheckpoint，签名 envelope）

设备证明 JSON（kinegrant:DeviceAttestation，签名 envelope）

桥接演示报告 JSON（kinegrant:Ros2McpDemoReport 或 kinegrant:BridgeDemoReport）

硬件信任组合证据包 JSON（kinegrant:HardwareTrustPacket：设备证明 + 传感器承诺 + 收据检查点）

设备到策略端到端导出包 JSON（kinegrant:DeviceToPolicyExportPacket：策略包→能力→门禁决策→收据→传感器承诺→检查点→设备证明，逐环交叉绑定）

多设备联合证据导出包 JSON（kinegrant:FleetDeviceExportPacket：同一策略/信任锚下多台设备的设备到策略导出包交叉核验）

全链路审计导出包 JSON（kinegrant:EndToEndAuditExportPacket：治理生命周期发布→分发→审计→撤销 + 多设备执行证据，共用同一策略包）

撤销-重签闭环包 JSON（kinegrant:RevocationReissueClosurePacket：撤销分发→旧能力被拒绝→重新签发→新能力放行→收据绑定）

统一审计导出包 JSON（kinegrant:UnifiedAuditExportPacket：全生命周期审计 + 多设备执行证据 + 撤销-重签闭环，共用同一策略包/撤销包/信任锚）

策略版本迁移审计包 JSON（kinegrant:PolicyMigrationAuditPacket：旧策略→新策略版本链、分发回执、旧能力拒绝、新能力重签、收据闭环）

合规时间线 JSON（kinegrant:ComplianceTimelinePacket：签发/放行/拒绝/收据/撤销/重签事件流，按时间排序并交叉引用）

义务履行追踪包 JSON（kinegrant:ObligationFulfillmentPacket：能力义务列表与收据义务结果逐项对照）

选择性披露证明 JSON（kinegrant:SelectiveDisclosurePacket：Merkle 包含证明，验证披露子集无需全文）

网关机器人演示报告 JSON（kinegrant:RobotDemoReport，kinegrant-robot-demo 输出）

摄像头同意场景轨迹 JSON（examples/camera-consent 输出）

全生命周期联检报告 JSON（kinegrant:FullLifecycleReport：发布→分发→审计→撤销，绑定同一策略包）

策略包 JSON + 撤销包 JSON + 信任机构 kid 列表（第三个框）

证据导出包 JSON（kinegrant:EvidenceExportPacket：各类证据的名称/类别/摘要清单）

禁止组合报告 JSON（kinegrant:SequenceCheckReport）

序列策略 JSON（combinations）+ 请求 JSON（第二个框）

动作日志 JSON 数组（action/target/at）

KineGrant 策略包浏览器验证器