Enum LedgerKind 

pub enum LedgerKind {
    Decision,
    Assumption,
    Constraint,
    Rationale,
    Hazard,
    Tradeoff,
    Invariant,
    Ownership,
    Proof,
    ValidationScenario,
    KnownBug,
    Concept,
    Mapping,
    FollowUp,
    Hypothesis,
    MentalModel,
    FailedAttempt,
    OpenQuestion,
}

Variants

Decision

A design or implementation decision that was made.

Assumption

An assumption that was made (may need validation).

Constraint

A hard constraint this symbol must always satisfy.

Rationale

Rationale for why something was done a particular way.

Hazard

A known danger: what can go wrong if this changes.

Tradeoff

A tradeoff accepted to gain some benefit.

Invariant

An invariant that must always hold at this symbol.

Ownership

Ownership declaration: which subsystem/team owns this symbol.

Proof

Evidence that an invariant holds (test, review, trace, etc.).

ValidationScenario

A concrete scenario that should be validated (behaviour + expected outcome).

KnownBug

A known bug or defect that has not been fixed yet.

Concept

A domain concept (e.g. “Drift Pad clip playhead”) — first-class queryable entity.

Mapping

Plan B t-002: replacement-coverage mapping. “Legacy SIDFileParserTests coverage now lives in SIDParserAndPlayerTests.” Body holds the cross- reference in JSON (from_qname, to_qname, rationale).

FollowUp

Plan B t-002: open follow-up tied to an external task system. “SID real-file diagnostics still need migration under t-024.” The command field on LedgerEntry may carry the closing command; the external_task_id evidence variant carries the task pointer.

Hypothesis

Plan G t-002: a speculative claim with confidence. Uses the existing LedgerEntry.confidence: Option<f64> (0.0-1.0). Promoted to Decision once validated. Distinct from Assumption: Assumption = “we proceed as if true”; Hypothesis = “I suspect, evidence pending”.

MentalModel

Plan G t-002: multi-symbol structural understanding (“the audio pipeline flows input → mix → out”). Body MAY carry JSON {"symbols": [qname...], "diagram": "..."}. Distinct from Concept (single domain entity) — MentalModel spans symbols.

FailedAttempt

Plan G t-002: negative evidence. “I tried X; failed because Y; pivoting to Z.” Body MAY carry JSON {"tried": "...", "because": "..."}. Saves the next session from re-treading the same path.

OpenQuestion

Plan G t-002: a known unknown blocking confident action. “What does this magic constant 4096 mean? Need to ask before changing.” Summary is the question; body MAY hold partial findings. Distinct from FollowUp: FollowUp is “do X under task T-024”; OpenQuestion is “what does this mean?”.

Implementations

impl LedgerKind

pub fn conclusion_class(self) -> ConclusionClass

Plan B t-001/t-002: map a LedgerKind to its conclusion class. Drives export bucketing into .asd/conclusions/{class}.jsonl.

impl LedgerKind

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

Trait Implementations

impl Clone for LedgerKind

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for LedgerKind

impl Debug for LedgerKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LedgerKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for LedgerKind

impl PartialEq for LedgerKind

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LedgerKind

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 LedgerKind