Returns the underlying buffer containing serialized node data.

Builds a tree by inserting the given u32 keys (little-endian encoded) in order and flushing the result to storage.

Build an operator WITHOUT a powerline delegation. Only explicitly delegated capabilities will be available.

Create a delegation from issuer to audience for a subject with the given command. This is a convenience function for building simple delegations in t

Deserialize a typed struct from UCAN args via IPLD round-trip. Converts `Promised` values to IPLD, then uses `ipld_core::serde::from_ipld` to deseria

Compute and return the difference (by substracting multiplicities) of this [ZSet] and another one.

Consumes and returns the cell, finalizing the builder chain.

A deductive rule: an `employee` is anyone with an `org/person-name` fact, projected as `employee-name`.

Evaluate this conjunction by executing all steps in order. Each step feeds its output as input to the next, building up bindings. Returns `Pin<Box<..

Evaluate this formula against the given selection stream

Evaluates this concept application within the given context, producing a selection stream. Rather than threading a scope through the entire evaluatio

Feasibility verdict for this premise under the given set of already-bound variables. `Ok(binds)` (the variables the premise will bind) when every pre

Lift a static [user-facing type](StaticType) into the unifier domain. Always wraps in [`Type::Static`].

Creates an optional requirement.

Collect parameters from a capability into an IPLD map. Iterates over all caveats in the capability chain, serializes each to IPLD, and merges their f

Returns the parameters for this concept application

Execute the load operation.

Read the cached decoded value (synchronous). Returns the cached value without accessing the backend. The value may be stale - use `replace_with()` fo

Equip this cell with an initial value, creating a [`Retain`] that always has a value and never drops back to empty.

Stage a query application. Call `.perform(&operator)` to execute.

Type predicate: this term's value inhabits `kind`.

Read just the cached version.

The aggregate number of writes to the wrapped [StorageBackend]

Run analysis over the rule's premises: 1. Infer the rule-wide type environment from each premise's slot kinds. 2. Check that no conclusion variable's

Set the directory for this profile. Defaults to `Directory::Profile` (the platform profile directory). Use `Directory::Temp` for testing or ephemeral

Attest this request with a credential, producing an [`S3Authorization`] that can be redeemed for a presigned URL.

Returns the cardinality.

Set the cardinality for this expression.

The inner delegation chain.

The concept this rule asserts when its body matches.

Compute BLAKE3 hash of content.

Returns the content type of this cell, if specified.

Creates a builder for creating a new entity with this descriptor's schema.

Build a [`ConceptDescriptor`] from a validated [`NamedAttributes`] set. Private: the only way to obtain a `NamedAttributes` is through its own (fallib

Conclusion concept `employee` (one `name` field). Derived — no `employee` fact is ever written; rows come only from rules.

Export the key material. # Errors Returns an error if the `WebCrypto` export operation fails.

Create a command to fetch the upstream branch's current revision. Does NOT modify local state, only reads from upstream.

Walks `root` down the recorded child indices in `path`, lifting the node at the end of the path to transient form, and returns a mutable reference to

Format edition bytes for error messages.

Format edition bytes for error messages.

Format edition bytes for error messages.

Retrieves a blob by its Blake3 hash. Returns `Ok(None)` when the blob does not exist, or propagates storage errors (I/O failures, permission issues,

Retrieves the value associated with `key` from the in-flight transient tree, reading exactly what [`persist`](Self::persist) would produce. Untouched

Get the SubtleCrypto interface.

Returns the content hash of this node.

The name used to uniquely identify the data of this [`Artifacts`] instance

Reconstruct an `Environment` from this adornment and the concept's terms. Bridges the adornment back to the planner's `Environment` type so existing

Convert to a vec of instructions.

Chain into an invocation.

Get the 'is' (value) term of the wrapped lookup.

`true` if no variables were inferred.

Check if the pool has no cached resources.

Borrowing iterator over every recorded `(entity, attribute, change)` triple. Use this when you need to inspect the batch without consuming it — e.g. t

Returns a tree node by its hash, triggering loading if not yet cached. This method initiates background loading of the node if it's not already avail

Get the 'of' (entity) term of the wrapped lookup.

Execute this expression as a query, returning a stream of claims.

Get or compute a cached plan for the given binding pattern. Each rule is planned through the shared, branch-owned [`PlanCache`], keyed by `(rule iden

Convert to delegation policy predicates (equality constraints).

Profile location.

Opens the file at `path` (relative to root) for reading and returns a [`FileReader`] that streams its contents as [`bytes::Bytes`] chunks. Returns [`

The refinement layered onto this type, if any.

Resolve a key path into a full S3 URL.

Sets the tag byte and returns the modified key

Helper to create a test signer

Create a test FileSystem at a temp location.

Verify only the signature of this delegation using a resolver. The resolver resolves the issuer DID to a verifier, then verifies the signature. # Er

Bind concrete parameters into the head and produce the resulting proposition.

Interprets this node as an index for mutation, erroring if it is a segment.