pub struct SectionOverrides { /* private fields */ }Expand description
Experimental live section overrides loaded from validated
[prompts].bundles (system 25). A replacement body substitutes only
for a known compiled platform section, only under exactly that
section’s schema, and only when the operator opted in with
--allow-experimental-prompts; the composition root ledgers every
active override at session start. Gate AE keeps divergent templates
experimental until a PromptChangeRecord passes the paired evaluation.
Implementations§
Source§impl SectionOverrides
impl SectionOverrides
Sourcepub fn insert_replacement(&mut self, id: &str, body: &str) -> Result<()>
pub fn insert_replacement(&mut self, id: &str, body: &str) -> Result<()>
Register one replacement body for a known platform section. The compiled schema is authoritative — only the body and its content hash change. Unknown or non-platform ids refuse loudly.
pub fn is_empty(&self) -> bool
Sourcepub fn provenance(&self) -> Vec<(String, String)>
pub fn provenance(&self) -> Vec<(String, String)>
(section id, replacement content hash) pairs for the ledger.
Trait Implementations§
Source§impl Clone for SectionOverrides
impl Clone for SectionOverrides
Source§fn clone(&self) -> SectionOverrides
fn clone(&self) -> SectionOverrides
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for SectionOverrides
impl Debug for SectionOverrides
Source§impl Default for SectionOverrides
impl Default for SectionOverrides
Source§fn default() -> SectionOverrides
fn default() -> SectionOverrides
Returns the “default value” for a type. Read more
Auto Trait Implementations§
impl Freeze for SectionOverrides
impl RefUnwindSafe for SectionOverrides
impl Send for SectionOverrides
impl Sync for SectionOverrides
impl Unpin for SectionOverrides
impl UnsafeUnpin for SectionOverrides
impl UnwindSafe for SectionOverrides
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.