DENIEDCURRENT EXTERNAL RED GATE
仓库授权不冒充真实 retry roots、durable resume registry、新 session lease issuer 或执行许可。
0 authorizations0 leases8110 · 0CUT 90 UPSTREAM — RETRY ONLY
SUCCESS 已完成,TERMINATE 已隔离;只有 RETRY checkpoint 可进入显式恢复授权。
PRIOR-DECISION ELIGIBILITY MATRIX
恢复许可不能修改 Cut 90 的终态语义。
DENIEDELIGIBLE · NO EXECUTIONDENIED18-FIELD CHECKPOINT EXACT READBACK
本刀只读原 checkpoint,不重写、不升级版本、不猜测超时结果。
FIVE RESPONSE SEALS PROVE THE CURSOR
cursor 之前必须全部 SUCCESS;cursor + 1 必须是第一个 RETRYABLE;TERMINAL 永远不允许恢复。
REMAINING-CALL SCOPE FREEZE
恢复范围只能缩小为 cursor 后缀,不能插入、重排、扩张或重新运行安全前缀。
| cursor | safe prefix | frozen resume range | remaining |
|---|---|---|---|
| 0 | none | 1 → 5 | 5 |
| 1 | 1 | 2 → 5 | 4 |
| 2 | 1 → 2 | 3 → 5 | 3 |
| 3 | 1 → 3 | 4 → 5 | 2 |
| 4 | 1 → 4 | 5 | 1 |
9-FIELD REMAINING-CALL DESCRIPTOR
只携带调用身份、请求摘要、旧响应摘要与目标 schema;不携带 request 或 response payload。
22-FIELD CHECKPOINT RESUME PLAN
Plan 把旧 batch/checkpoint 固定为只读来源,把剩余调用重新绑定到 attempt 2。
SESSION LEASE NON-INHERITANCE FIREBREAK
Cut 89 lease 已撤销。Cut 91 只能声明需要新 lease,不能复制、续期或重新激活旧 lease。
READ-ONLY IDENTITYNULL · FORBIDDENREQUIRED0 PRODUCTIONREQUEST, TIME & CONCURRENCY BUDGET REBIND
每个剩余调用重新绑定 request digest、response schema、单调用超时和总预算;并发始终为一。
BOUNDBOUND≤ 500 msEXACT1OLD RESPONSE IS EVIDENCE, NOT INPUT
旧 response digest 只用于证明历史;新 attempt 不得读取、复制或把旧 response 当成下一次 request。
THREE DETACHED RETRY AUTHORITIES
Release 决定是否重试,SRE 审核恢复安全性,独立 Witness 见证 scope;三者不能复用 owner。
team:release-explicit-retry-authorizationteam:sre-checkpoint-resume-planteam:independent-retry-witness21-FIELD SIGNED RETRY AUTHORIZATION
每份签名绑定同一个 plan digest、旧 checkpoint、cursor、新 attempt、45 秒窗口与独立 nonce。
UNANIMOUS 3 / 3 EXPLICIT QUORUM
不是多数投票。任一 owner、key、nonce、plan digest、attempt 或有效期不一致即拒绝。
requiredrequiredunanimous45-SECOND AUTHORIZATION WINDOW
短窗口只允许验证、claim、freeze 和 settlement;不允许刷新旧签名或自动申请 lease。
≤ 45 secondsexactly 12forbiddenPLAN ATTEMPT & AUTHORIZATION REPLAY CAS
Plan attempt claim 与三个 authorization nonce 必须一次占有;冲突后不能换 nonce 继续。
| surface | first claim | replay / conflict | terminal action |
|---|---|---|---|
| resume plan + attempt | CLAIMED · 1 | DENIED | no auth claims |
| release nonce | CLAIMED · 1 | DENIED | quarantine plan |
| SRE nonce | CLAIMED · 1 | DENIED | quarantine plan |
| witness nonce | CLAIMED · 1 | DENIED | quarantine plan |
EIGHT-STATE RETRY AUTHORIZATION MACHINE
任何状态都不能直接跳到 Adapter invocation。
CHECKPOINT-TO-AUTHORIZATION PIPELINE
历史事实、恢复范围、签名事实和 replay 事实在 settlement 前汇合。
AMBIGUITY QUARANTINE & AUTHORIZATION BURN
readback timeout、plan conflict、nonce conflict、freeze timeout 和 settlement ambiguity 都不能自动重试。
rejectquarantineburnforbidden16 FAILURE CUTPOINTS
从 retry receipt 到 terminal projection 的每个关键边界都有显式安全终态。
24 QUALIFIED RETRY PLANS
五种 cursor 位置均覆盖;每个合法 plan 完成 checkpoint readback、三签、claim、freeze 与 settlement。
252 REJECTED OR CONTAINED PLANS
六个拒绝面独立覆盖 upstream、cursor、plan、signature、replay 与 failure recovery。
276-CASE EXECUTABLE QA LAB
按 suite 筛选、搜索并点击用例,核对 checkpoint、remaining scope、三签、freeze、quarantine 与生产零执行。
276 / 276 passed · inheritedSessionLeases=0 · automaticReplays=0 · productionSessionLeasesIssued=0 · productionAdapterInvocations=0P55A–H SUBGATES
八个仓库子门全部闭环;真实 retry roots、durable registry、新 lease issuer 与执行 ticket 继续独立红门。
BOUNDBOUNDBOUNDBOUNDBOUNDBOUNDBOUNDBOUND117 / 125 QUALITY GATES & VISIBLE DEBT
八个 live 门未观测;仓库证明、fixture 证明和生产事实保持三层分离。
12 LIVE INTEGRATION DEBTS
每项债务都有 owner;任何开发者或 AI 都不能把 repository-bound 状态升级为 production-ready。
| owner | missing production fact | status |
|---|
CUT 92 HANDOFF — one-time retry execution ticket & re-entry firewall
下一刀将承接 capability-free Cut 91 terminal receipt,签发只对新 session lease 和 frozen remaining-call scope 有效的一次性 execution ticket;重新进入调用防火墙前仍需独立 preflight,不得使用旧 lease、扩张 scope 或自动执行。
| surface | canonical path | use |
|---|---|---|
| Machine API | /api/runner-controller/d05-g04-explicit-retry-authorization-checkpoint-resume-plan-admission | runtime evidence |
| JSON Schema | /schemas/runner-controller-d05-g04-explicit-retry-authorization-checkpoint-resume-plan-admission.v1.schema.json | consumer validation |
| Candidate | ops/runner-factory/controller-production-adapter-explicit-retry-authorization-checkpoint-resume-plan-candidate.mjs | qualification logic |
| Verifier | scripts/verify-runner-controller-production-adapter-explicit-retry-authorization-checkpoint-resume-plan-candidate.mjs | 276 cases |
| Architecture doc | docs/ui-blueprint/184-d05-g04-explicit-retry-authorization-checkpoint-resume-plan-admission.md | team handoff |