Module entities 

Structs

Applied

Hub-internal LWW guard: the newest event applied per entity. id = “{item_type}:{item_id}”. ApplyLogEntry consults 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).

AppliedCount

AppliedId

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.

ClaimCount

ClaimId

Comment

Append-only comment. id = uuid.

CommentCount

CommentId

CommitFact

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.

CommitFactCount

CommitFactId

CountAllApplieds

CountAllClaims

CountAllComments

CountAllCommitFacts

CountAllDependencys

CountAllLogEntrys

CountAllProjects

CountAllRefFacts

CountAllStatusChanges

CountAllTasks

CountApplieds

CountClaims

CountComments

CountCommitFacts

CountDependencys

CountLogEntrys

CountProjects

CountRefFacts

CountStatusChanges

CountTasks

DeleteApplied

Command to delete a single entity by ID

DeleteAppliedArgs

DeleteAppliedResult

Result type for Delete command

DeleteApplieds

Command to delete multiple entities by ID

DeleteAppliedsArgs

DeleteAppliedsResult

Result type for bulk Delete command

DeleteClaim

Command to delete a single entity by ID

DeleteClaimArgs

DeleteClaimResult

Result type for Delete command

DeleteClaims

Command to delete multiple entities by ID

DeleteClaimsArgs

DeleteClaimsResult

Result type for bulk Delete command

DeleteComment

Command to delete a single entity by ID

DeleteCommentArgs

DeleteCommentResult

Result type for Delete command

DeleteComments

Command to delete multiple entities by ID

DeleteCommentsArgs

DeleteCommentsResult

Result type for bulk Delete command

DeleteCommitFact

Command to delete a single entity by ID

DeleteCommitFactArgs

DeleteCommitFactResult

Result type for Delete command

DeleteCommitFacts

Command to delete multiple entities by ID

DeleteCommitFactsArgs

DeleteCommitFactsResult

Result type for bulk Delete command

DeleteDependency

Command to delete a single entity by ID

DeleteDependencyArgs

DeleteDependencyResult

Result type for Delete command

DeleteDependencys

Command to delete multiple entities by ID

DeleteDependencysArgs

DeleteDependencysResult

Result type for bulk Delete command

DeleteLogEntry

Command to delete a single entity by ID

DeleteLogEntryArgs

DeleteLogEntryResult

Result type for Delete command

DeleteLogEntrys

Command to delete multiple entities by ID

DeleteLogEntrysArgs

DeleteLogEntrysResult

Result type for bulk Delete command

DeleteProject

Command to delete a single entity by ID

DeleteProjectArgs

DeleteProjectResult

Result type for Delete command

DeleteProjects

Command to delete multiple entities by ID

DeleteProjectsArgs

DeleteProjectsResult

Result type for bulk Delete command

DeleteRefFact

Command to delete a single entity by ID

DeleteRefFactArgs

DeleteRefFactResult

Result type for Delete command

DeleteRefFacts

Command to delete multiple entities by ID

DeleteRefFactsArgs

DeleteRefFactsResult

Result type for bulk Delete command

DeleteStatusChange

Command to delete a single entity by ID

DeleteStatusChangeArgs

DeleteStatusChangeResult

Result type for Delete command

DeleteStatusChanges

Command to delete multiple entities by ID

DeleteStatusChangesArgs

DeleteStatusChangesResult

Result type for bulk Delete command

DeleteTask

Command to delete a single entity by ID

DeleteTaskArgs

DeleteTaskResult

Result type for Delete command

DeleteTasks

Command to delete multiple entities by ID

DeleteTasksArgs

DeleteTasksResult

Result type for bulk Delete command

Dependency

blocker blocks blocked. id = “{blocker_task_id}->{blocked_task_id}” — deterministic, so dep add is idempotent and dep rm is a plain DEL.

DependencyCount

DependencyId

GetAllApplieds

GetAllClaims

GetAllComments

GetAllCommitFacts

GetAllDependencys

GetAllLogEntrys

GetAllProjects

GetAllRefFacts

GetAllStatusChanges

GetAllTasks

GetAppliedById

GetAppliedsByIds

GetAppliedsByQuery

GetClaimById

GetClaimsByIds

GetClaimsByQuery

GetCommentById

GetCommentsByIds

GetCommentsByQuery

GetCommitFactById

GetCommitFactsByIds

GetCommitFactsByQuery

GetDependencyById

GetDependencysByIds

GetDependencysByQuery

GetLogEntryById

GetLogEntrysByIds

GetLogEntrysByQuery

GetProjectById

GetProjectsByIds

GetProjectsByQuery

GetRefFactById

GetRefFactsByIds

GetRefFactsByQuery

GetStatusChangeById

GetStatusChangesByIds

GetStatusChangesByQuery

GetTaskById

GetTasksByIds

GetTasksByQuery

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.

LogEntryCount

LogEntryId

PartialApplied

Hub-internal LWW guard: the newest event applied per entity. id = “{item_type}:{item_id}”. ApplyLogEntry consults 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).

PartialClaim

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.

PartialComment

Append-only comment. id = uuid.

PartialCommitFact

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.

PartialDependency

blocker blocks blocked. id = “{blocker_task_id}->{blocked_task_id}” — deterministic, so dep add is idempotent and dep rm is a plain DEL.

PartialLogEntry

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.

PartialProject

Project identity, minted by levi init. id = project UUID (32 hex chars), stored in the first event on the ref.

PartialRefFact

Observed branch head. id = “{project_id}:{branch}” — LWW: the newest observation wins.

PartialStatusChange

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_commit is an ancestor of HEAD (see resolve::effective_status).

PartialTask

A tracked task. NOTE (spec): status is not a field — it is derived per-checkout from crate::StatusChange records. Metadata edits are ordinary myko SET events; last-writer-wins by event created_at, ties broken by event id (levi sorts before replay — see materialize).

Project

Project identity, minted by levi init. id = project UUID (32 hex chars), stored in the first event on the ref.

ProjectCount

ProjectId

RefFact

Observed branch head. id = “{project_id}:{branch}” — LWW: the newest observation wins.

RefFactCount

RefFactId

SearchComment

Search this entity type by query string. Backed by the typed per-entity SearchIndex<T> (exact + nucleo subsequence + Levenshtein typo). Returns matching ids in tier order.

SearchCommentResult

SearchTask

Search this entity type by query string. Backed by the typed per-entity SearchIndex<T> (exact + nucleo subsequence + Levenshtein typo). Returns matching ids in tier order.

SearchTaskResult

StatusChange

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_commit is an ancestor of HEAD (see resolve::effective_status).

StatusChangeCount

StatusChangeId

Task

A tracked task. NOTE (spec): status is not a field — it is derived per-checkout from crate::StatusChange records. Metadata edits are ordinary myko SET events; last-writer-wins by event created_at, ties broken by event id (levi sorts before replay — see materialize).

TaskCount

TaskId

Enums

Priority

StatusKind

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