Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions src/v3/grounding_lifetime/src/extract.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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};

Expand Down
Loading