Pre-alpha 文档

以原子事务提交 Agent 准入记录。

校验一个已经认证的 Agent Intent，并原子提交数据库时钟 Admission、首 Event、初始 Checkpoint、Active Lifecycle 与 Scheduler Visibility。

一次提交完整可执行边界

一个 PostgreSQL Transaction 会保存已认证 Agent、Request、Policy、授权 Scope、有限 Budget、Graph 与数据库时间，同时提交 Sequence-one agent-admitted Event、Superstep-zero Checkpoint、Active Lifecycle 与全部 Scheduler Projection。Worker 无法在这些写入之间 Claim Run。

新版 Scheduler Index 要求 Initial Checkpoint。旧的低层 admit_run 只能创建可按 ID 查询但对 Scheduler 不可见的 Row；新的 Agent Ingress 必须使用原子 Facade。

接流量前冻结全部依赖

冻结 Executable Registry 前，注册标准 Admission、Graph Driver、Lifecycle Schema 与全部应用 Schema；本地安装精确 Graph/Reducer/Node 闭包，并把相同 Compiled Graph 按 Tenant 注册到 PostgreSQL。Retry Window 内必须保留该 Digest-pinned Deployment。

Public-safe Admission Event Schema 发布在https://stknot.com/schemas/runtime/agent-admission-event/1.0.0。应通过 register_standard_agent_admission_event_schema 注册，不能固定复制来的 Digest。

保留精确重试授权

Principal 认证与不可变 Policy Evaluation 在 Facade 外完成。调用低层 admit 的内部服务只分配一次完整 AgentRunIds 并保留 Request Bytes；发生 Timeout 后必须重用全部五个 ID。面向用户的 Ingress 应改用DurableAgentRuns::submit，由它持久化 Key Mapping，并允许 Retry 使用新的 Candidate ID。

Rust · 可信 Ingress

let ids = AgentRunIds::generate();
// 首次调用前先持久化 external_idempotency_key -> ids。

let request = DurableAgentAdmissionRequest::new(
    tenant_id,
    ids,
    agent_descriptor,
    agent_request,
    evaluated_budget_layers,
    graph_reference,
    admission_authority,
    initial_state,
)?;

let retry_bytes = serde_json::to_vec(&request)?;
let outcome = admission.admit(request).await?;

结果不明的 Retry 会在读取当前数据库时间前探测并验证已提交 Evidence，因此精确 Request 可以在原 Deadline 之后收敛。Input、Policy、Budget、Graph、Initial State、Ready Set、Event、Checkpoint 或 Identity 任一变化都会产生 Conflict，而不会创建第二个 Run。

在 Mutation 前拒绝 Drift

解析代码

要求精确 Executable Graph，并校验 Agent 与 Graph 的 Input/Output Schema 一一对应。
离线校验数据

使用同一个冻结 JSON Schema 2020-12 Registry 校验类型化 Input、Authorization Evidence、Initial State 与封闭 Audit Event。
重查已提交的准入记录

PostgreSQL 独立校验 Graph Registration、Entry Node、Checkpoint Shape、数据库时间 Budget 可接纳性与全部不可变 Event/Checkpoint Projection。

Schema 拒绝、Deadline 到期、Graph Drift 或注入的 Transaction 晚期失败都不会留下 Run、Event、Checkpoint、Admission 或 Scheduler Residue。

保护 Admission Snapshot

Admission Bytes 可能包含用户 Input、Trusted Instruction、Principal Attribute、 Authorization Evidence 与 Policy Limit。必须使用最小权限 Role、验证完整的 TLS、加密备份、Tenant Isolation、访问审计与明确 Retention Policy。Digest 只能证明身份，不能认证 Principal，也不会让数据保密。首个 Journal Event 刻意只包含 Public-safe 关联 Metadata。

验证证据

PostgreSQL 16/17 Matrix 会运行强制的 Provider 与可恢复 Runtime 集成测试。 Admission 覆盖 Migration 15、跨越时间边界后的精确 Retry、 Changed-intent 与 Tamper 拒绝、无效 State 零残留 Rollback、24 路收敛，以及 Runtime 在任何写入前拒绝 Agent/Graph 或 Authorization Schema Drift。采用该精确版本公共预览 Surface 前，请阅读完整集成与 Rollout 契约。