Publish a revision to the remote.

Read the contents of the file at this location, returning `None` if the file does not exist.

Removes a variable name from the bound set. Returns true if it was present.

Remove the file at this location, returning Ok if already absent.

Resolve a parameter to its [`Value`]. Returns [`EvaluationError::UnboundFormulaVariable`] if the parameter is not bound. An [`EvaluationError::Absent

Resolves the virtual root plus additional path segments into a directory handle.

TODO make &self? Run the predicate against concrete data. # Errors Returns a [`SelectorError`] if the predicate *cannot* be evaluated against the da

Returns the scheme label of this cell, if it is a scheme slot.

Returns a scoped key by prepending the mount prefix.

Streams the entries of the in-flight transient tree whose keys fall in `range`, in ascending key order, reading exactly what [`persist`](Self::persist

Serialize the invocation chain to bytes. Returns the CBOR-encoded container suitable for sending to an access service endpoint.

The upstream revision cell — an in-memory handle to the remote branch's own revision cell, used for fork-based resolve/publish.

Mirrors the tree's LWW identity: blake3 over the value's serialized rkyv form.

Returns the hash reference that corresponds to this [`Datum`]'s [`Value`]. This hash is used for indexing by value and enables efficient value-based

The numeric [`ValueType`] of this variant.

Return a copy of this term carrying `kind` in its descriptor — the planner's stamp of what rule-level inference proved about the variable. Descriptors

Get the ability path.

Returns this rule's analysis (narrowed premises, inferred types, dependency graph).

Apply a raw edition to the cache, decoding the content in place. Clears the cache if the edition is empty.

Rewrite a premise to reflect rule-level inferred types. Positive premises only: polarity discipline. The inferred env is an occurrence-typing fact ab

Legacy storage-codec view: if this type reduces to exactly one [`ValueType`] (no `Nothing`, no composites), return it. A refinement does not change th

Assemble a [`ConceptRules`] for `concept` from the implicit rule plus the installed rules found across the layers' rule sets. `durable` are the rules

The keys in `range` that act as segment boundaries (rank above the leaf threshold).

Build a self-invocation container (issuer == subject, no delegation). This is used when a subject acts on itself, which is inherently authorized.

Cell holding the cached remote edition for this branch. Rooted at the enclosing repo's subject; path `memory/remote/{remote_name}/branch/{branch_name

The capability being forked.

The catalog capability this index operates on.

Capture this cell's current version as a [`Checkpoint`] to publish against later. The read-modify-write guard. A caller that reads the cell, computes

Same-variant ordering: `None` for mixed variants (the strict no-promotion semantics, exactly like the arithmetic) and for incomparable floats (NaN).

Check if a DID is mounted.

Compute BLAKE3 hash of content.

Legacy storage-codec view: collapse the unified kind to its singleton primitive. Returns `None` for unknown or non-singleton shapes.

Returns the handle for a key credential at the given address. Layout: `{space_root}/credential/key/{address}`

* Returns DID identifier for this database.

The conventional entity URI for the session concept. Always `db:session` — sessions don't get distinct identities; there's exactly one per query.

The prefix bound on entity URIs, if any

Evaluate yielding all matching artifacts. Standard EAV semantics: zero rows are yielded for an input when no fact matches the lookup: the premise fil

Get all write operations for a specific key in the order they occurred. Returns references to the journal entries via their offsets.

Group name for one operation at one branch factor, e.g. `insert/m=254`. One group per (operation, branch factor) gives one comparison chart per cell,

Returns `true` iff `self` is a (non-strict) superset of `other`.

Increment the multiplicity of an element by one, setting it to 1 if it does not already exist in the [ZSet]

Converts this [`Buffer`] into an owned `Vec<u8>`. This always copies: the bytes live in an [`AlignedVec`], whose allocation cannot be handed over to

Creates an invocation of the effect derived from this capability.

The shared read journal accumulating block reads across premises.

Returns an iterator over the parameter names in this binding set.

The number of artifacts the query produced.

Ensures `node` is transient, loading and opening it from storage if it is still a persistent reference.

List file names in this directory. Returns an empty vec if the directory does not exist.

Load an existing profile — fails if not found.

Encode a key to a filesystem-safe filename using base58. Used by `StorageBackend` to handle arbitrary binary keys.

Build a key from space and cell.

Checks if a key view matches the constraints in an artifact selector. This function performs the actual matching logic between selector constraints a

Get the variable name if this is a named variable term. Returns None for constants and unnamed variables.

Widen this type to also admit the `Nothing` atom, marking an admissible absent value. Idempotent.

Construct an optional `is` variable. The query derives its resolution from the `is` term, so typing the slot as optional is what flips the query into

Returns the names of the parameters for this rule.

Convert capability parameters to UCAN delegation policy predicates. Each parameter becomes an equality constraint: `.{key} == value`.

Returns the parent node hash and tree node for the given child node hash. This is used for tree navigation to move up the hierarchy.

Whether path-style URLs are used.

Execute the open operation.

Phase one: fetch the upstream, rebase local changes onto it, and persist the merged tree's blocks — **without** writing any branch cell. All the netw

Atomically rename this location to another.

Atomic read-modify-write with automatic retry on conflict. Calls `f` with the current cached value to compute a new value, then attempts CAS. On conf

A required concept field wrapping the given attribute descriptor.

Create a command to reset the branch to a given revision.