Struct DisplayOnly 

pub struct DisplayOnly<T> { /* private fields */ }

The marker for a manifest field whose value PROVABLY reaches no verdict (F79, ADR-0007 Option A).

Strictness in this file is proportional to consequence. An unknown KEY may be a gate rule being silently ignored, so it rejects (ADR-0001). An unknown value in a field that only feeds disclosure text costs one NOTE line, and charging it the whole-manifest price took every verb down together — in the fail-open direction (F71). So: a field wrapped in this type degrades an unrecognized string to T::default() and keeps the raw text, so the value carries its own provenance to wherever it is rendered. A value of the wrong TOML type is a malformed manifest, not a typo, and still rejects.

The leniency is a property of the type, not of a reviewer’s per-field call: crates/pushkin-core/tests/manifest_display_only.rs scans this file and asserts the marker sits on exactly one field. Wrapping another field changes that list, which is what makes it a reviewed act rather than a silent widening — Option C of the record (every unknown value warns) is the N13-forbidden shape, and this guard is what keeps A from drifting into it.

Compares equal to the value it carries, so call sites and committed suites that compare against the plain enum keep reading naturally. A degradation is never silent: the consumer that renders the field owns the disclosure.

Implementations

impl<T> DisplayOnly<T>

pub fn value(&self) -> &T

pub fn degraded_from(&self) -> Option<&str>

The raw text the parser did not recognize, when the value degraded.

Trait Implementations

impl<T: Clone> Clone for DisplayOnly<T>

fn clone(&self) -> DisplayOnly<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for DisplayOnly<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de, T: DeserializeOwned + Default> Deserialize<'de> for DisplayOnly<T>

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl<T: Eq> Eq for DisplayOnly<T>

impl<T: PartialEq> PartialEq for DisplayOnly<T>

fn eq(&self, other: &DisplayOnly<T>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T: PartialEq> PartialEq<T> for DisplayOnly<T>

fn eq(&self, other: &T) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<T: PartialEq> StructuralPartialEq for DisplayOnly<T>