Struct EntityFieldVisibilityV1 

pub struct EntityFieldVisibilityV1 { /* private fields */ }

One canonical entity-field visibility entry.

Ordinary fields never reveal a secret-classified field (ADR-0118): enumerating every field — the de-facto wildcard and the shape every role default produces — is inert for secrets. Revealing one requires naming it in the separate secret_fields list, which no derivation path populates implicitly.

Implementations

impl EntityFieldVisibilityV1

pub fn new( lineage: ContractLineage, entity_type: EntityTypeId, fields: Vec<FieldId>, ) -> Result<Self, CapabilityGrantError>

Sorts and validates a nonempty field set with no secret-field naming.

pub fn with_secret_fields( lineage: ContractLineage, entity_type: EntityTypeId, fields: Vec<FieldId>, secret_fields: Vec<FieldId>, ) -> Result<Self, CapabilityGrantError>

Sorts and validates a visibility entry that explicitly names secret-classified fields for reveal (ADR-0118 item 3).

The named secret fields count against the same bounds as ordinary visibility. At least one of the ordinary or secret lists must be nonempty.

pub const fn lineage(&self) -> &ContractLineage

Returns the exact contract lineage.

pub const fn entity_type(&self) -> EntityTypeId

Returns the stable entity type identity.

pub fn fields(&self) -> &[FieldId]

Returns visible stable fields in increasing order.

pub fn secret_fields(&self) -> &[FieldId]

Returns explicitly named secret-classified fields in increasing order (ADR-0118): the only naming surface that reveals a secret field.

Trait Implementations

impl Clone for EntityFieldVisibilityV1

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EntityFieldVisibilityV1

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

Formats the value using the given formatter.

impl Eq for EntityFieldVisibilityV1

impl PartialEq for EntityFieldVisibilityV1

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EntityFieldVisibilityV1