Structs§
- Author
- Effect
- Effect
Decl - Feedback
Entry - A single feedback record: a (query, symbol, verdict) triple stored durably.
- Ledger
Entry - Mismatch
- Position
- Rebind
- Record that a symbol was renamed/moved so its ledger history follows it.
Written to
/asd/v1/rebinds/<from_symbol_id>at rename time. - Runtime
Evidence - Accumulated runtime-trace evidence for a symbol’s declared effects.
- Scratch
Entry - Ephemeral working note scoped to a symbol and/or named workflow.
- Symbol
- Transitive
Effect - Verification
Enums§
- Author
Kind - Conclusion
Class - The conclusion-class buckets that drive
.asd/conclusions/*.jsonlexport and the Plan B sidecar redesign. Each class corresponds to one JSONL file; LedgerKind variants are bucketed viaconclusion_class(). - Effect
Category - Effect category — either a well-known built-in or a user-defined domain
string (e.g.
"midi.send","audio.graph.connect"). - Evidence
- Feedback
Verdict - Verdict an agent or user assigns to a search result.
- Ledger
Kind - RoleTag
- Plan C t-002: first-class role-tag vocabulary. The optional
LedgerEntry.rolefield is free-formString(so unknown tags don’t break old data), but CLI / MCP / API layers validate against this enum at write time and warn on unknown values. - Scratch
Status - Status of a
ScratchEntry. Transitions: Draft → Promoted or Discarded. - Symbol
Kind - Verification
Source - Verification
Status