`?x` is numeric: an unsigned integer, a signed integer, or a float.

Get a reference to the operator signer.

Build a static optional primitive, wrapped for unification.

Helper: an optional (set-widening) binding for `?name`, a `OptionalAttributeQuery` left-join whose schema admits `Nothing` for the value slot.

Marks this cell as an output (optional), returning `self` for chaining.

Read rules from an overlay [`Changes`] batch concluding `concept`. The overlay is in-memory, so this is cheap and done fresh every query (never cache

Returns the parameter bindings for this premise

Returns the parameters of the underlying application

Convert IPLD parameters to UCAN invocation arguments.

Parse the `#[cardinality(one)]` or `#[cardinality(many)]` attribute. Returns the appropriate Cardinality token stream, defaulting to `One`.

Parse the `#[dialog(rename = "...")]` attribute. Allows overriding the generated name for an attribute or concept field. Supports: - `#[dialog(renam

Parse the `#[domain(...)]` attribute to extract the domain value. Supports: - `#[domain(custom)]` - simple identifier syntax - `#[domain("io.gozala")

Parse the `#[output]` or `#[output(cost = N)]` attribute. Returns `Ok(Some(cost))` if the field is an output, `Ok(None)` otherwise. Default cost is 1

Execute the load operation.

Define a rule function using the clean API

A shared handle to this branch's deductive-rule plan cache.

Walks the narrow "overflow" path for [`RightNeighbor`] prefetching. Called when [`TreeWalker::search`] lands on a leaf whose last entry matches the s

Get the CIDs for use in invocation proofs field.

Removes nodes that are shared between `self` and `other`, keeping only nodes that differ. Both frontiers are sorted by upper bound. Two nodes are sha

Generate a vector of random buffers using the seeded RNG. Each buffer is filled with random bytes. Due to the seeded RNG, the same sequence is genera

Get the number of read operations recorded.

Read feature names from the crate's Cargo.toml.

Cache a hydrated body under its content-addressed entity.

Record the committed rule entities concluding `concept` at `head`.

Removes multiple keys from this delta.

Removes and returns the first child of a list, erroring on an empty list.

Get a handle to a named repository space under this profile. The returned handle can open, load, or create a repository through an operator that veri

Returns an iterator over the required operand names of this rule's conclusion.

Returns the requirement level of this cell.

Reset the in-memory cache to a known edition, without hitting the backend. Used to restore cache state across sessions.

A shared handle to this branch's deductive-rule cache.

Extract the rule entities from a batch of `db.rule/conclusion` artifacts — each artifact's `of` is a rule entity.

Starts the background analysis task. This spawns a tokio task that performs a breadth-first traversal of the tree to compute statistics. The results

Runs the main TUI event loop. This method handles the continuous cycle of: 1. Rendering the current state to the terminal 2. Processing keyboard even

Seed `entity_count` stuff entities and run the public concept query in one call, reporting the join's block reads. Convenience over [`seed_stuff`](Se

Schema describing the three slots. `source` and `fallback` are *hard* requirements (no choice group): coalesce consumes them, so the planner must ord

Returns the schema describing this concept's attributes and their types.

Labels this cell as a scheme slot: cells of one formula sharing a label share one bounded type variable. The cell's `content_type` carries the bound.

Searches for the leaf segment that would contain `key`, recording the path taken through the tree. This method traverses from the root to a leaf segm

Moves the selection to the next node in the tree traversal order. This method implements depth-first tree navigation, descending into expanded nodes

Moves the selection to the previous node in the tree traversal order. This method implements tree navigation that moves up the tree hierarchy, handli

Returns the position index of the currently selected node within its parent.

Sign a message using the WebCrypto API. # Errors Returns `signature::Error` if signing fails.

Get the source term (internal claim handle).

Extract the source bytes from a `db.rule/source` artifact batch.

Generate a blake3 hash from the function source so it can be uniqueily identified.

Selector for `db.rule/source of = <rule>` — fetches a rule's body.

Get a clone of the storage used by this [`Artifacts`]

The subject (repository) this branch lives in.

The subject DID this remote belongs to.

Get the subject DID from the capability chain.

Synchronizes data from background workers into the local caches. This method should be called regularly to pull data from the background workers into

Check if an [`InvocationPayload`] is valid. Returns the effective [`TimeRange`] — the intersection of all delegation and invocation time windows. If

Create a deterministic verifying key from a seed.

`?x` is a string.

Returns a relation identifier comprised of the attribute's domain and name.

Get the 'the' (attribute) term.

Identityfier for this concept (as in type identifier and not instance identifier)

Encode this attribute descriptor as CBOR for hashing Creates a CBOR-encoded representation with fields: - domain: domain - name: name - cardinality:

Convert PascalCase or snake_case to kebab-case at compile time Examples: - UserName -> user-name - HTTPRequest -> http-request - account_name -> accou

Converts this node into a [`Link`] referencing it.

Convenience: the attribute's content-addressed URI.

Look up a variable's inferred type by name.

Generate the Type value for a field type in static attribute declarations. This resolves through the Typed → TypeDescriptor chain: `<<T as Typed>::De