From cc2eb1339844f126feaef399ebe836445177def6 Mon Sep 17 00:00:00 2001 From: tegwick Date: Sat, 10 Oct 2026 13:23:19 +0200 Subject: [PATCH] docs(workplan): close AUDIT-WP-0013-T03 on GH-DEC-2026-024 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The §9.6 failure-path release is refused; no new declaration field. Existing load-bearing completeness_trade refusal already conforms. Co-Authored-By: Claude Opus 5.5 Assistant: claude-code Assistant-Model: opus Assistant-Process: 812331@bnt-lap001 Assistant-Session: 79bd2b91-2b30-4206-83a2-182ad376169b --- .../AUDIT-WP-0013-cross-repo-sender-admission.md | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/workplans/AUDIT-WP-0013-cross-repo-sender-admission.md b/workplans/AUDIT-WP-0013-cross-repo-sender-admission.md index e35c23a..d4276dd 100644 --- a/workplans/AUDIT-WP-0013-cross-repo-sender-admission.md +++ b/workplans/AUDIT-WP-0013-cross-repo-sender-admission.md @@ -44,15 +44,25 @@ AUDIT-IN-0006 / FLEX-WP-0031-T02. Unblock with the six exact source registration ```task id: AUDIT-WP-0013-T03 -status: wait +status: done priority: high -blocking_reason: "Gate House GH-WP-0004-T12 must supply the final decision and any canonical failure-path declaration shape." -blocked_on: message-from:gate-house state_hub_task_id: "310e28d2-849d-549a-8c4b-d82c23ebad93" ``` Message 715cf1f2-55dd-4d2d-9b7b-c5dffa0181e5 is a reading, expressly not a ruling. Keep restrictive released_uncommitted classes non-atomic/non-conformant under current text. Do not treat attributive completeness_trade as an exception. This blocks conformance/exception declaration, not custody preparation in T02. Require the decision ID, applicable text/schema revision, classes, failure condition and detection obligations before implementing a new field. +**Resolved 2026-10-10 by GH-DEC-2026-024** (gate-house@0192273, message +8b375579): the §9.6 failure-path release is refused. A load-bearing source +gets no declared, detectable, direction-limited release, and §11 gets no +declaration for one, so no new field is introduced. `completeness_trade` keeps +its attributive-only meaning. That is already enforced: +`SenderIdentity` rejects a `completeness_trade` on a load-bearing source +(`audit_core/senders.py`, +`tests/test_senders.py::test_a_load_bearing_source_cannot_be_given_a_completeness_trade`). +A `released_uncommitted` class stays non-conformant. audit-core's +evidence-source status is `no` (GH-DEC-2026-018, AUDIT-IN-0005). Registering the +AUDIT-IN-0006 senders is still this repo's job, under T02/T05. + ## Implement receiver process-instance accepted counts ```task