Struct LogLineBuilder 

pub struct LogLineBuilder { /* private fields */ }

Builder para construir um LogLine passo a passo.

Use LogLine::builder() para criar um novo builder. Todos os campos obrigatórios devem ser fornecidos antes de chamar build_draft().

Exemplo

use logline_core::*;

let line = LogLine::builder()
    .who("did:ubl:alice")
    .did(Verb::Transfer)
    .this(Payload::Text("100 USD".into()))
    .when(1_735_671_234)
    .if_ok(Outcome { label: "transferred".into(), effects: vec!["emit_receipt".into()] })
    .if_doubt(Escalation { label: "verify".into(), route_to: "auditor".into() })
    .if_not(FailureHandling { label: "failed".into(), action: "compensate".into() })
    .build_draft()?;

Implementations

impl LogLineBuilder

pub fn new() -> Self

pub fn who(self, v: impl Into<String>) -> Self

Define o agente que executa a ação (DID futuro, ex: did:ubl:...).

pub fn did(self, v: Verb) -> Self

Define o verbo da ação (canônico ou custom).

pub fn this(self, v: Payload) -> Self

Define a carga útil da ação (payload).

pub fn when(self, v: u64) -> Self

Define o timestamp Unix em nanosegundos.

pub fn confirmed_by(self, v: impl Into<String>) -> Self

Define a identidade que confirma a ação (opcional).

Paper I: obrigatório para ações de Risk Level 3+ (L3+).

pub fn if_ok(self, v: Outcome) -> Self

Define a consequência positiva obrigatória (invariant).

pub fn if_doubt(self, v: Escalation) -> Self

Define a via de dúvida obrigatória (invariant).

pub fn if_not(self, v: FailureHandling) -> Self

Define o fallback/erro obrigatório (invariant).

pub fn build_draft(self) -> Result<LogLine, LogLineError>

Constrói um DRAFT válido (invariants obrigatórios presentes).

Valida que todos os campos obrigatórios estão presentes e cria um LogLine com status Draft. Os invariants são verificados antes de retornar.

Erros

• LogLineError::MissingField se algum campo obrigatório estiver faltando
• LogLineError::MissingInvariant se algum invariant estiver faltando ou vazio

Campos obrigatórios

• who: identidade do agente
• did: verbo da ação
• when: timestamp
• if_ok: consequência positiva
• if_doubt: via de dúvida
• if_not: fallback/erro

Trait Implementations

impl Default for LogLineBuilder

fn default() -> LogLineBuilder

Returns the “default value” for a type.