Structs§
- Applied
- Hub-internal LWW guard: the newest event applied per entity.
id = “{item_type}:{item_id}”.
ApplyLogEntryconsults this before emitting an unwrapped event so that out-of-arrival-order events cannot clobber newer state (CLIs get the same guarantee by sorting the full log before replay; the hub applies incrementally and needs the marker). - Applied
Count - Applied
Id - Applied
Query - Claim
- Advisory claim. id = task_id, so a SET overwrites any prior claim and “newest wins” falls out of LWW replay order. Ignored after ttl expires.
- Claim
Count - ClaimId
- Claim
Query - Comment
- Append-only comment. id = uuid.
- Comment
Count - Comment
Id - Comment
Query - Commit
Fact - Commit-graph slice: sha -> parent shas. id = commit sha (hex) — content addressed and immutable (a sha’s parents never change), so publication is idempotent. Lets git-free nodes (the hub) resolve ancestry.
- Commit
Fact Count - Commit
Fact Id - Commit
Fact Query - Count
AllApplieds - Count
AllClaims - Count
AllComments - Count
AllCommit Facts - Count
AllDependencys - Count
AllLog Entrys - Count
AllProjects - Count
AllRef Facts - Count
AllStatus Changes - Count
AllTasks - Count
Applieds - Count
Claims - Count
Comments - Count
Commit Facts - Count
Dependencys - Count
LogEntrys - Count
Projects - Count
RefFacts - Count
Status Changes - Count
Tasks - Delete
Applied - Delete
Applied Args - Delete
Applied Result - Delete
Applieds - Delete
Applieds Args - Delete
Applieds Result - Delete
Claim - Delete
Claim Args - Delete
Claim Result - Delete
Claims - Delete
Claims Args - Delete
Claims Result - Delete
Comment - Delete
Comment Args - Delete
Comment Result - Delete
Comments - Delete
Comments Args - Delete
Comments Result - Delete
Commit Fact - Delete
Commit Fact Args - Delete
Commit Fact Result - Delete
Commit Facts - Delete
Commit Facts Args - Delete
Commit Facts Result - Delete
Dependency - Delete
Dependency Args - Delete
Dependency Result - Delete
Dependencys - Delete
Dependencys Args - Delete
Dependencys Result - Delete
LogEntry - Delete
LogEntry Args - Delete
LogEntry Result - Delete
LogEntrys - Delete
LogEntrys Args - Delete
LogEntrys Result - Delete
Project - Delete
Project Args - Delete
Project Result - Delete
Projects - Delete
Projects Args - Delete
Projects Result - Delete
RefFact - Delete
RefFact Args - Delete
RefFact Result - Delete
RefFacts - Delete
RefFacts Args - Delete
RefFacts Result - Delete
Status Change - Delete
Status Change Args - Delete
Status Change Result - Delete
Status Changes - Delete
Status Changes Args - Delete
Status Changes Result - Delete
Task - Delete
Task Args - Delete
Task Result - Delete
Tasks - Delete
Tasks Args - Delete
Tasks Result - Dependency
- blocker blocks blocked. id = “{blocker_task_id}->{blocked_task_id}” —
deterministic, so
dep addis idempotent anddep rmis a plain DEL. - Dependency
Count - Dependency
Id - Dependency
Query - GetAll
Applieds - GetAll
Claims - GetAll
Comments - GetAll
Commit Facts - GetAll
Dependencys - GetAll
LogEntrys - GetAll
Projects - GetAll
RefFacts - GetAll
Status Changes - GetAll
Tasks - GetApplied
ById - GetApplieds
ByIds - GetApplieds
ByQuery - GetClaim
ById - GetClaims
ByIds - GetClaims
ByQuery - GetComment
ById - GetComments
ByIds - GetComments
ByQuery - GetCommit
Fact ById - GetCommit
Facts ByIds - GetCommit
Facts ByQuery - GetDependency
ById - GetDependencys
ByIds - GetDependencys
ByQuery - GetLog
Entry ById - GetLog
Entrys ByIds - GetLog
Entrys ByQuery - GetProject
ById - GetProjects
ByIds - GetProjects
ByQuery - GetRef
Fact ById - GetRef
Facts ByIds - GetRef
Facts ByQuery - GetStatus
Change ById - GetStatus
Changes ByIds - GetStatus
Changes ByQuery - GetTask
ById - GetTasks
ByIds - GetTasks
ByQuery - LogEntry
- Hub transport wrapper for one levi event. id = the event’s content address (git blob OID of its CBOR bytes); payload = base64(CBOR(MEvent)). Immutable and add-only, so “what are you missing” between a CLI and the hub is a set difference over LogEntry ids. A hub-side saga unwraps the inner event so dashboards query real entities.
- LogEntry
Count - LogEntry
Id - LogEntry
Query - Project
- Project identity, minted by
levi init. id = project UUID (32 hex chars), stored in the first event on the ref. - Project
Count - Project
Id - Project
Query - RefFact
- Observed branch head. id = “{project_id}:{branch}” — LWW: the newest observation wins.
- RefFact
Count - RefFact
Id - RefFact
Query - Search
Comment - Search this entity type by query string.
- Search
Comment Result - Search
Task - Search this entity type by query string.
- Search
Task Result - Status
Change - Append-only status-change record; never edited. Effective status of a task
on a checkout is a fold over these, restricted to changes whose
anchor_commitis an ancestor of HEAD (seeresolve::effective_status). - Status
Change Count - Status
Change Id - Status
Change Query - Task
- A tracked task. NOTE (spec): status is not a field — it is derived
per-checkout from
crate::StatusChangerecords. Metadata edits are ordinary myko SET events; last-writer-wins by eventcreated_at, ties broken by event id (levi sorts before replay — seematerialize). - Task
Count - TaskId
- Task
Query
Enums§
Functions§
- applied_
id - dependency_
id - foreign_
dependency_ id - Deterministic id for a cross-project dependency.
- foreign_
key - The ladder/cache key for a foreign blocker.
- ref_
fact_ id