The subject (repository) this branch belongs to.

Create a deterministic test DID from a seed.

Set the [`Attribute`] field (the predicate) of the [`ArtifactSelector`]

Generate a unique database name to avoid conflicts between tests

Compute blake3 hash of this concept. Returns a 32-byte blake3 hash of the CBOR-encoded concept.

Get the inner capability chain.

Get the 'of' (entity) term.

Serialize the credential and save it to the store.

Execute the query, returning a stream of results. Mirrors [`SelectQuery::perform`](crate::SelectQuery::perform): resolves the operator's identity via

Get the subject of the delegation chain. The root delegation's (index 0) subject should match the claimed subject. Returns `None` if the delegation

Accesses the deserialized body of this node.

* Closes session and erases underlying store.

Evaluate the left-join row by row.

Integrates a differential into this edit batch with deterministic last-write-wins conflict resolution, returning the edited batch. Each change is res

Converts this value key into a generic key for storage in the prolly tree

Get the unified type kind for this term. For variables: delegates to the descriptor's `kind()`. For constants: lifts the stored value's type into a s

Opens a cell at the given address. If a cell for this address is already open (and not yet dropped), returns a new cell that shares the state. Otherw

Pull from the configured upstream.

The `db.rule/*` facts that store `rule`: a `conclusion` index pointing at the concept it concludes, and the `source` body. Asserting these makes the d

Returns an async stream over entries with keys within the provided range. The range can be bounded or unbounded on either end, following Rust's stand

Get the subject DID.

Build a fresh signer-backed credential.

Set union. Always non-empty if either input is.

Create a wildcard subject representing "any resource". Used in delegation to grant unrestricted access across all subjects.

Set the audience (who is requesting access). Defaults to the profile DID if not set.

Set intersection. Returns `None` iff the result is empty.

Pair this permit with a capability to create an [`S3Invocation`].

Check if the container is empty.

Returns a stream of the nodes present in the target tree but absent from the source tree. Yields every index node expanded during comparison plus the

The primitive part of this type, regardless of variant.

Get the proof CIDs referenced by the invocation.

Prove access to a capability, returning a proof chain. The audience defaults to the profile DID but can be overridden via [`.audience()`](Prove::audi

Save a delegation chain under this profile.

Send this permit as an HTTP request.

Refine this type with a lexical prefix constraint. The membership is narrowed to the TEXTUAL kinds (the kinds with a lexical form; the `Nothing` bit,

Compares this archived value with an owned value.

Compute the sum of `of` and `with`. No rows when the operation has no value of the shared type.

Returns `true` if this term is bound in the given environment. Constants are always bound. Named variables are bound if their name appears in the env

Get the number of cached resources.

Execute the set_upstream operation.

Register a deductive rule, deduplicating by equality. Invalidates cached plans for the affected concept entity.

Select artifacts matching the selector.

Directly assigns a multiplicity to the given entry

Returns `true` if the schema contains a field with the given name.

The handle for this provider's root location.

Returns `true` iff this field is optional (set-widened).

Removes a key from this delta.

Replace the value with CAS semantics. Uses the cached edition to detect conflicts - if the backend was updated since our last read, the write is reje

Store a delegation chain under this profile's DID.

Create a deterministic test signer from a seed.

The cell holding this branch's [`UpstreamBranch`], if any.

Verify the invocation chain using rs-ucan's verification. This performs complete verification: 1. Signature verification (issuer signed the invocatio

Create a new profile — fails if one already exists.

Evaluate: filter rows whose value does not inhabit the kind. - `Present(v)`: yield iff the kind admits `v`. - `Absent`: yield iff the kind explicitly

Generate a keypair with the specified extractability.

Generate deterministic test data consisting of facts that reference a specified number of [`Entity`]s.

Returns the planning metadata header for this step.

The branch name, extracted from the space path.

Narrow a `Term<Any>` to a concrete `Term<T>`. Both variables and constants are validated: if the term carries a known type and `T` has a statically k

Execute the query against an env that unions the branch (tombstone-filtered) with the transaction's pending changes.

Returns an async stream over all entries in the tree. Entries are yielded in sorted order by key. This method traverses the tree from the leftmost le

Create a deterministic test DID from a seed.

Fold a [`Statement`] into this layer's overlay changes. `Changes` itself implements `Statement`, so `.with(changes)` merges an existing batch in. Any

Get the remote archive for this repository.

A cached hydrated body by rule entity, if present.

Compiles this definition into a [`DeductiveRule`] ready for execution. Converts the `when` and `unless` propositions into premises, plans their execu

Returns a differential that produces changes to transform `self` into `other`. Usage: applying the changes to `self` (via [`integrate`](TransientTree

Set when the claim expires.

Inserts a new parameter binding for the given name. If the parameter already exists, it will be overwritten. Accepts anything convertible to [`Term<A

Install a deductive rule, deduplicating by equality. Clears the plan cache when a genuinely new rule is added.

Consume the expression and return its parts.

Set the [`Value`] field (the object) of the [`ArtifactSelector`]

Load the branch, returning an error if it doesn't exist.

Returns the name of this cell.