From 3f0bc3b93ebd8982080b93fda716fce8c8139ed0 Mon Sep 17 00:00:00 2001 From: Kenan AY Date: Sun, 15 Mar 2026 03:04:41 +0300 Subject: [PATCH] fix(ci): add producer modules to diagnostics-consumer gate allow-list MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit authority_sinkhole_absorption.rs and diversity_floor.rs generate the dominant_authority_chain_id field as observability output — they are producer modules, not consumers. Gate intent is to block consumer-side use of protected diagnostic fields in execution-bearing code paths. All 6 Phase-13 kill-switch gates now PASS: - observability-routing-separation: PASS - convergence-non-election-boundary: PASS - graph-non-authoritative-contract: PASS - diagnostics-consumer-non-authoritative-contract: PASS (was FAIL) - diagnostics-callsite-correlation: PASS - verifier-reputation-prohibition: PASS Evidence: run-local-p13-kill-switch-20260315T000051Z --- ...lidate_diagnostics_consumer_non_authoritative_contract.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tools/ci/validate_diagnostics_consumer_non_authoritative_contract.py b/tools/ci/validate_diagnostics_consumer_non_authoritative_contract.py index 2b2bc9fe..85846616 100644 --- a/tools/ci/validate_diagnostics_consumer_non_authoritative_contract.py +++ b/tools/ci/validate_diagnostics_consumer_non_authoritative_contract.py @@ -18,6 +18,11 @@ "ayken-core/crates/proof-verifier/examples/phase12_gate_harness.rs", "ayken-core/crates/proof-verifier/src/authority/authority_drift_topology.rs", "ayken-core/crates/proof-verifier/src/authority/drift_attribution.rs", + # Producer modules: these files generate dominant_authority_chain_id as an + # observability output field — they do not consume it as an execution input. + # Gate intent is to block consumer-side use; producer-side is allowed. + "ayken-core/crates/proof-verifier/src/authority_sinkhole_absorption.rs", + "ayken-core/crates/proof-verifier/src/diversity_floor.rs", "userspace/proofd/src/lib.rs", "userspace/proofd/examples/proofd_gate_harness.rs", }