Enum WalRecord 

pub enum WalRecord {
    RegisterDelegation {
        ts: u64,
        delegation: Delegation,
    },
    Revoke {
        ts: u64,
        delegation_id: String,
    },
    Decide {
        ts: u64,
        decision: WalDecision,
        delegation_id: String,
        intent: SpendIntent,
        reason: Option<DenyReason>,
        budget_after_cents: u64,
    },
    Pending {
        ts: u64,
        pending_id: String,
        delegation_id: String,
        intent: SpendIntent,
        approved_amount_cents: u64,
        expires_ts: u64,
    },
    Confirm {
        ts: u64,
        pending_id: String,
        amount_cents: u64,
        proof: String,
    },
    Terminal {
        ts: u64,
        pending_id: String,
        outcome: PendingOutcome,
    },
}

审计日志的一行。

Variants

RegisterDelegation

用户授权:一份委托进入闸。

Fields

ts: u64

delegation: Delegation

Revoke

用户收权(kill switch)。

Fields

ts: u64

delegation_id: String

Decide

闸的一次判定(放行与拒绝都记)。

Fields

ts: u64

decision: WalDecision

delegation_id: String

intent: SpendIntent

reason: Option<DenyReason>

拒绝原因;Allow 时缺省(serde skip)。

budget_after_cents: u64

该决策落地后的累计消费(分),见模块注释。

Pending

W-53a ③待支付:闸放行(pending_pay 档位)后开的待支付单(审批额 + TTL)。

Fields

ts: u64

pending_id: String

delegation_id: String

intent: SpendIntent

①意图原样入账(与触发放行的 Decide 行同一意图,回放可对账)。

approved_amount_cents: u64

②审批额(= 意图额;与 Pending 行自身的 intent.amount_cents 一致)。

expires_ts: u64

过期时刻(开单时刻 + TTL;半开窗口)。

Confirm

W-53a ④人确认:人的显式动作(CLI 人工面),幂等,带支付凭证。

Fields

ts: u64

pending_id: String

amount_cents: u64

确认额(必须等于该单的审批额——金额一致钉)。

proof: String

支付凭证(交易号;空凭证在状态层就被拒,不落行)。

Terminal

W-53a ⑤终态:完成 / TTL 过期作废。

Fields

ts: u64

pending_id: String

outcome: PendingOutcome

Implementations

impl WalRecord

pub fn ts(&self) -> u64

记录时刻(Unix 秒)。回放用它驱动注入时钟,保证判定与实时一致。

pub fn kind(&self) -> &'static str

记录种类(审计展示用)。

Trait Implementations

impl Clone for WalRecord

fn clone(&self) -> WalRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WalRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WalRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for WalRecord

impl PartialEq for WalRecord

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for WalRecord

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for WalRecord