Struct BootstrapPolicy 

pub struct BootstrapPolicy {
    pub hash: PredicateHash,
    pub maintainers: Vec<Approver>,
}

Parsed meta-invariants.harn contents.

The file is ordinary Harn syntax so the existing lexer and parser handle it. The policy carries the file’s content hash (pinned for replay audit) and the maintainer routing list extracted from a top-level @bootstrap_maintainers(...) attribute, if present. Parser diagnostics are returned alongside via BootstrapPolicy::parse_with_diagnostics so the policy struct itself is serde-clean for audit payloads.

Fields

hash: PredicateHash

Stable content hash of the entire file source.

maintainers: Vec<Approver>

Maintainer approvers in source order. At least one entry is always present — empty input lists fall back to DEFAULT_MAINTAINER_ROLE.

Implementations

impl BootstrapPolicy

pub fn parse(source: &str) -> Self

Parse a meta-invariants.harn source string. Discards any parser diagnostics; use BootstrapPolicy::parse_with_diagnostics when you need to surface them.

The hash is computed across the full source bytes so any change — even reordering whitespace — produces a new hash. This matches the existing predicate_source_hash shape (sha256:<hex>).

pub fn parse_with_diagnostics(source: &str) -> (Self, Vec<DiscoveryDiagnostic>)

Parse a meta-invariants.harn source string and return the structural diagnostics raised by the lexer/parser. Missing optional configuration (e.g. no @bootstrap_maintainers attribute) is a silent fall back to defaults — only real parse errors appear here.

Trait Implementations

impl Clone for BootstrapPolicy

fn clone(&self) -> BootstrapPolicy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BootstrapPolicy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BootstrapPolicy

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for BootstrapPolicy

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for BootstrapPolicy

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for BootstrapPolicy

impl StructuralPartialEq for BootstrapPolicy