Build a `Subject` whose DID embeds a unique-per-process token. Useful for tests that need distinct subjects without spinning a new ed25519 signer.

Write contents to the file at this location, creating parent dirs.

Get a credential handle for saving/loading site secrets.

Attach a site address to this capability for remote execution. Returns a [`Fork`] that can be `.perform()`ed against a provider that handles authoriz

Stores a blob from a stream of bytes. Returns the Blake3 hash of the stored blob.

Read the contents of the file at this location.

The branch's artifact index. Use `.select(selector).perform(&env)` to query artifacts. If the branch has a remote upstream, missing blocks are replic

Get the region.

Get the attribute for this claim

Get the bucket name.

Build the operator, deriving the operator key.

Build the address, parsing and validating the endpoint URL. For virtual-hosted style, the bucket is prepended to the endpoint host so that `resolve`

Stage a query against this transaction's view. Call [`perform`](TransactionSelectQuery::perform) to execute.

Get an access handle for claiming and delegating capabilities.

Returns the handle for this space's archive directory.

Adds this term's variable name to the environment. Only named variables are added; constants and blanks are ignored.

Derive an operator from this profile with the given context seed.

Build a remote-site version of this command. The returned [`ForkResolve`] can be executed against an environment that knows how to reach the remote s

Acquire a PID lock for this handle by appending `.lock` to its path.

Set the network dispatch provider.

Generate a unique name with a prefix for test isolation.

Returns `true` if the schema has no fields.

Get the number of tokens in the container.

Create a command to push local changes to the upstream branch. Reads the upstream configuration from branch state and dispatches to local or remote p

Generate a fresh ed25519 signer and return its DID.

Adds a new cell with the given name and optional type, returning it for further configuration.

Check if this invocation is valid. This method performs two checks: 1. Verifies that the invocation's signature is valid 2. Validates the proof chain

Parse a filter from a string. # Errors Returns a `nom` error if the parser fails to match.

Returns the URL path component of this location.

Claim authority over a capability.

Perform the resolve against the local environment.

Create a command to set the upstream for this branch. Accepts either a `&Branch` or a `&RemoteBranch` (converted via `From` impls on [`UpstreamBranch

Helper to insert a delegation into the store and return its CID.

Execute this query, returning a stream of claims.

Returns the [`Blake3Hash`] of the root node of this tree. The root hash uniquely identifies this version of the tree and can be used to reconstruct t

Write a value to the bindings Binds the value to the parameter's term in the match. Fails if the parameter key is not in the terms mapping or if the

Allow a capability: creates a delegation from profile to operator.

Bind a term to [`Binding::Absent`]. Used by optional resolution premises that looked up an attribute and found no fact. Errors if the variable is alre

Deserialize raw bytes into a value.

Returns an iterator over all fields as (name, field) pairs, sorted by field name.

The key this edit targets, borrowed from the edit itself so the descent can route to its leaf without cloning a separate routing key.

Helper to create an `Rc<RefCell<HashMap>>` delegation store.

The loaded remote repository this branch lives at.

Create a new remote with a site address. Uses the repository's own DID as the subject. Call `.subject(did)` on the returned builder to target a diffe

Implementation used by `dialog_common::test` macro.

The DID of the repository this branch belongs to.

The cell holding this branch's latest [`Revision`].

Read a typed value from the bindings using a parameter name

Gets a handle to the named object store. Upgrades the database schema if the store doesn't exist yet. The returned StoreSession holds a shared `Rc<Re

Get the issuer of the invocation.

Seed `entity_count` entities' worth of deterministic facts into the branch via a single transaction. Seeding is intentionally not part of any measure

Get the subject (root authority) of the invocation.

Get the subject for building capability chains.

Access handle for claiming and delegating capabilities.

Set the value for this dynamic attribute expression. Accepts concrete scalar values (`"Alice"`, `25u32`), [`Term`] variables (`Term::<String>::var("n

Start building an expression for this attribute on a given entity. The entity can be either a concrete [`Entity`] or a [`Term<Entity>`].

The profile's DID (the long-lived identity).

Create a command to fetch the cell value from env. Call `.perform(&env)` for local, or `.fork(&address).perform(&env)` for remote.

Robinson unification with constraint propagation. Updates `self` in-place and returns the *unified type* — the principal meet of the two sides — so th

Chain into a delegation to the given audience.

Look up a field value by its concept field name (e.g. "name", "age").

Returns a mutable reference to the field with the given name, if present.

Get the 'is' (value) parameter.

Returns the DID of the host repository.

Concatenate `first` and `second` into `is`

Allocate a fresh `VarId` with the given constraint.

Retrieves the value associated with `key` from the tree. This method performs a binary search through the tree hierarchy to locate the leaf segment c

Get the 'is' (value) parameter.

Set the value for this attribute expression. Accepts **both** concrete values and query terms; the `Is` type parameter is preserved unevaluated in th

Get the issuer of the root delegation (index 0, closest to subject). The root delegation's issuer is the original authority that started the delegati

Build a tree by inserting `keys` one at a time, each in its own single-operation edit batch, then flush it to storage. Persisting after every operatio

* Takes changes and transacts them atomically into this database.

Adds a variable name to the bound set. Returns `&mut Self` for chaining.

Extends this environment with all names from `other`, returning the delta (the set of names that were new to this environment).

Read the current value, syncing from the inner cell first. If the cell has a newer value, the sticky cache is updated. Returns a read guard that dere

Inserts a key/value pair, mutating the transient tree in place.

Returns `true` if this delta has no pending entries.

Number of variables inferred.

Creates a platform-specific persisted [`StorageBackend`], for use in tests

Get the 'of' (entity) term.

Plan this rule's premises against a scope, producing a concrete execution plan ([`Conjunction`]) ordered for the given bindings. Reuses the analysis-i

Sign a message using WebCrypto.