追加写审计日志体系

Portico 拒绝可被任意篡改或静默清空的传统日志。系统的核心治理行为均转化为结构化追加写审计事件（Append-Only Audit Trail）。

审计事件源的四大支柱

系统的全局审计时间线（Timeline）由四个分散存储的底层数据流归并排序生成：

┌───────────────────────────┐      ┌───────────────────────────┐
│   catalog.json (changes)  │      │      approvals.json       │
│  - 服务创建 (register)     │      │  - 公开发布批准 (approved) │
│  - 服务更新 (update)       │      │  - 公开发布驳回 (rejected) │
│  - 状态流转 (publish)      │      │  - 公开服务撤回 (withdrawn)│
└─────────────┬─────────────┘      └─────────────┬─────────────┘
              │                                  │
              └────────────────┬─────────────────┘
                               │
                               ▼
            ┌─────────────────────────────────────────┐
            │       聚合审计时间线 (Audit Timeline)    │
            │          - 按时间戳降序全局排序           │
            │          - 抹平不同存储源字段差异         │
            └──────────────────┬──────────────────────┘
                               ▲
              ┌────────────────┴─────────────────┐
              │                                  │
┌─────────────┴─────────────┐      ┌─────────────┴─────────────┐
│      identities.json      │      │    gateway-audit.json     │
│  - 身份授予 (grant)        │      │  - MCP Gateway 准入授权   │
│  - 身份注销 (revoke)       │      │    (authorize) 流水       │
│  - 凭证作废 (credential)   │      │                           │
└───────────────────────────┘      └───────────────────────────┘

审计事件结构规范

所有审计事件最终投影为统一的信封结构：

interface AuditEvent {
  /** 全局唯一事件 ID */
  id: string;

  /** 事件类型：catalog_register | catalog_update | approval | revoke | gateway_authorize 等 */
  type: string;

  /** 事件发生的时间戳 (ISO 8601) */
  timestamp: string;

  /** 触发此事件的主体 ID，例如 "human:auditor-bob" */
  actorId: string;

  /** 关联的服务 ID 或主体 ID */
  targetId: string;

  /** 详细审计载荷（含字段变更差分、版本号、裁决结果等） */
  details: Record<string, unknown>;
}

查询与检验方式

人类审计者可通过 CLI 查询聚合后的审计流水：

deno task cli -- audit list \
  --catalog ./data/catalog.json \
  --identities ./data/identities.json \
  --sessions ./data/sessions.json \
  --session $HUMAN_AUDITOR_SESSION \
  --limit 20

不可篡改保证：

• 维护者（Maintainer）即使拥有写 Catalog 的权限，也无法调用任何“清空审计记录”或“修改审计时间戳”的命令。
• 试图通过 CLI、API 或 MCP 篡改审计日志的请求将被直接判定为非法语义而拒绝。