From 7cb21c7fa2eca9a94e62b89e621a4a5d00b5bfcf Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Wed, 29 Apr 2026 17:48:05 +0000 Subject: [PATCH] docs(grounding-lifetime): mark path-prefix authority gate as transitional staging Made-with: Cursor --- src/v3/grounding_lifetime/src/extract.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/v3/grounding_lifetime/src/extract.rs b/src/v3/grounding_lifetime/src/extract.rs index ea2c2cc15ef..e8f33915b5d 100644 --- a/src/v3/grounding_lifetime/src/extract.rs +++ b/src/v3/grounding_lifetime/src/extract.rs @@ -8,6 +8,16 @@ //! Any **`data` or `fn` declaration** rooted in a **non-authority** source file (user //! or test modules) is treated as load-bearing program surface we cannot project yet: //! fail-closed per C-8 instead of returning `Ok(empty)` and dropping facts. +//! +//! ## Transitional authority gate +//! +//! **Path-prefix authority detection is intentional staging.** It will migrate to a +//! substrate-declared post-bootstrap boundary on [`Dag`] (so consumers can distinguish +//! fixture-loaded declarations from runtime-appended ones without trusting +//! caller-controlled `span.file`), once Substrate lands that metadata; see cross-manager +//! request on issue #1130. Until then, `span.file` under an authority prefix is trusted +//! only for the embedded corpus shape (same transitional-debt pattern as the lane-local +//! `EmissionDiagnostic` mirror noted in #1216). use v3_compiler::dag::{Dag, TypeConnective};