Skip to main content
Typed computation inputs and accepted-result locators. Native owners retain execution, authority, acceptance and retention.

​
Classes

​
Interfaces

​
References

​
ResultRef

Re-exports ResultRef

​
InputBasis

Re-exports InputBasis

​
composeComputationBasis

Re-exports composeComputationBasis

​
validateComputationBasis

Re-exports validateComputationBasis

​
validateResultDescription

Re-exports validateResultDescription

​
Availability

Re-exports Availability

​
DefinitionRef

Re-exports DefinitionRef

​
BindingRef

Re-exports BindingRef

​
ComputationBasis

Re-exports ComputationBasis

​
BasisRef

Re-exports BasisRef

​
ResultPlacement

Re-exports ResultPlacement

​
ProducerEvidence

Re-exports ProducerEvidence

​
ResultDescription

Re-exports ResultDescription

​
ResolvedInput

Re-exports ResolvedInput

​
InputClaim

Re-exports InputClaim

​
describeInputBasis

Re-exports describeInputBasis

​
Type Aliases

​
FixedBasis

Ƭ FixedBasis: Extract<InputBasis, { kind: "local" | "dataset_snapshots" }> Not exported: an exported type refers to it.

​
BasisConsistency

Ƭ BasisConsistency: { kind: "observed" } | { kind: "fixed" ; basis: FixedBasis | null } | { kind: "snapshot" ; basis: Extract<FixedBasis, { kind: "local" }> | null }

​
InputDependency

Ƭ InputDependency: Object Exact dependency coordinates. They convey neither read nor disclosure authority.

​
Type declaration

​
ReferenceFields

Ƭ ReferenceFields: Record<string, GenericValidator & { type: ResultRef<any> }> Not exported: an exported type refers to it.

​
InputBasisDefinition

Ƭ InputBasisDefinition: ReturnType<typeof defineInputBasis>

​
EvaluationRef

Ƭ EvaluationRef: Object

​
Type declaration

​
QueryCtx

Ƭ QueryCtx: GenericQueryCtx<GenericDataModel> Not exported: an exported type refers to it.

​
MutationCtx

Ƭ MutationCtx: GenericMutationCtx<GenericDataModel> Not exported: an exported type refers to it.

​
ComputationOwner

Ƭ ComputationOwner<ReadContext, WriteContext>: Object Semantic owners retain their own payloads and receipts. Calls always run under the actual current principal; receipt strings grant no authority.

​
Type parameters

​
Type declaration

​
Q

Ƭ Q: GenericQueryCtx<GenericDataModel> Not exported: an exported type refers to it.

​
M

Ƭ M: GenericMutationCtx<GenericDataModel> Not exported: an exported type refers to it.

​
Version

Ƭ Version: Object Not exported: an exported type refers to it.

​
Type declaration

​
Pin

Ƭ Pin: Object Not exported: an exported type refers to it.

​
Type declaration

​
DatasetInputCustodian

Ƭ DatasetInputCustodian: Object The installed dataset owner already implements these methods. No adapter table, recovery journal or second pin owner is allocated.

​
Type declaration

​
Functions

​
combineInputBases

▸ combineInputBases(consistency, bases): BasisConsistency Check the guarantee supported by owner-issued input witnesses. This neither captures inputs nor upgrades authority, retention or source consistency.

​
Parameters

​
Returns

BasisConsistency

​
composeInputCustody

▸ composeInputCustody<ReadCtx, WriteCtx>(owners): InputCustody<ReadCtx, WriteCtx> Route references to authoritative owners. This adapter creates no records and grants no authority. Every owner implements independent retention.

​
Type parameters

​
Parameters

​
Returns

InputCustody<ReadCtx, WriteCtx>

​
defineInputBasis

▸ defineInputBasis<Fields>(fields): Readonly<{ validator: VObject<Expand<{ [Property in string | number | symbol]?: Exclude<Infer<Fields[Property]>, undefined> } & { [Property in string | number | symbol]: Infer<Fields[Property]> }>, Fields, "required", { [Property in string | number | symbol]: Property | `\{Property & string}.{Fields[Property][“fieldPaths”]}` }[keyof Fields] & string> ; validate: (value: unknown) => Expand<{ [Property in string | number | symbol]?: Exclude<Infer<Fields[Property]>, undefined> } & { [Property in string | number | symbol]: Infer<Fields[Property]> }> ; references: (value: unknown) => InputDependency[] }> One declaration for the named, independently versioned inputs of a computation.

​
Type parameters

​
Parameters

​
Returns

Readonly<{ validator: VObject<Expand<{ [Property in string | number | symbol]?: Exclude<Infer<Fields[Property]>, undefined> } & { [Property in string | number | symbol]: Infer<Fields[Property]> }>, Fields, "required", { [Property in string | number | symbol]: Property | `\{Property & string}.{Fields[Property][“fieldPaths”]}` }[keyof Fields] & string> ; validate: (value: unknown) => Expand<{ [Property in string | number | symbol]?: Exclude<Infer<Fields[Property]>, undefined> } & { [Property in string | number | symbol]: Infer<Fields[Property]> }> ; references: (value: unknown) => InputDependency[] }>

​
dataset

▸ dataset<V>(row): VObject<{ reference: string ; kind: "dataset" ; owner: string ; version: string ; contract: string ; digest: string }, { kind: VLiteral<"dataset", "required"> ; owner: VString<string, "required"> ; reference: VString<string, "required"> ; version: VString<string, "required"> ; digest: VString<string, "required"> ; contract: VLiteral<string, "required"> }, "required", "reference" | "kind" | "owner" | "version" | "contract" | "digest"> & { type: ResultRef<Infer<V>, "dataset"> } A versioned relation result. Its owner retains bytes and checks access.

​
Type parameters

​
Parameters

​
Returns

VObject<{ reference: string ; kind: "dataset" ; owner: string ; version: string ; contract: string ; digest: string }, { kind: VLiteral<"dataset", "required"> ; owner: VString<string, "required"> ; reference: VString<string, "required"> ; version: VString<string, "required"> ; digest: VString<string, "required"> ; contract: VLiteral<string, "required"> }, "required", "reference" | "kind" | "owner" | "version" | "contract" | "digest"> & { type: ResultRef<Infer<V>, "dataset"> }

​
artifact

▸ artifact<V>(value): VObject<{ reference: string ; kind: "artifact" ; owner: string ; version: string ; contract: string ; digest: string }, { kind: VLiteral<"artifact", "required"> ; owner: VString<string, "required"> ; reference: VString<string, "required"> ; version: VString<string, "required"> ; digest: VString<string, "required"> ; contract: VLiteral<string, "required"> }, "required", "reference" | "kind" | "owner" | "version" | "contract" | "digest"> & { type: ResultRef<Infer<V>, "artifact"> } A versioned structured result. The descriptor conveys no read authority.

​
Type parameters

​
Parameters

​
Returns

VObject<{ reference: string ; kind: "artifact" ; owner: string ; version: string ; contract: string ; digest: string }, { kind: VLiteral<"artifact", "required"> ; owner: VString<string, "required"> ; reference: VString<string, "required"> ; version: VString<string, "required"> ; digest: VString<string, "required"> ; contract: VLiteral<string, "required"> }, "required", "reference" | "kind" | "owner" | "version" | "contract" | "digest"> & { type: ResultRef<Infer<V>, "artifact"> }

​
restoreValidator

▸ restoreValidator(schema): GenericValidator Reconstruct an owner-supplied value contract without losing its refinements. This validates representation only; native admission validates declarations.

​
Parameters

​
Returns

GenericValidator

​
validateValue

▸ validateValue(value, schema, options?): void Validate exact computation values and semantic refinements. Validation establishes neither provenance nor read or disclosure authority.

​
Parameters

​
Returns

void

​
resultReference

▸ resultReference<V>(validator, identity): Infer Construct a typed descriptor from owner-supplied immutable version metadata. The owner still establishes availability, retention and authority on use.

​
Type parameters

​
Parameters

​
Returns

Infer

​
resultReferences

▸ resultReferences(value, schema): ResultRef[] Enumerate typed reference dependencies after validating the complete value. Semantic owners use these exact locators to acquire their own custody before dispatch or acceptance. Enumeration grants no authority and reads no data.

​
Parameters

​
Returns

ResultRef[]

​
computationCustodyRelease

▸ computationCustodyRelease(): boolean Recognize host-owned mechanical cleanup in an owner’s private metadata policies. This grants no access to a result, receipt or business record.

​
Returns

boolean

​
openComputationInput

▸ openComputationInput(ctx, reference): Promise<ResolvedInput> Resolve only an input already held by the native evaluation. The owner rechecks current access before releasing any payload or data locator.

​
Parameters

​
Returns

Promise<ResolvedInput>

​
readComputationInput

▸ readComputationInput<T>(ctx, reference): Promise<T> Read a structured native artifact. Remote placement payloads stay explicit through openComputationInput; a dataset manifest is never typed as its rows.

​
Type parameters

​
Parameters

​
Returns

Promise<T>

​
defineDatasetInputOwner

▸ defineDatasetInputOwner<D>(options): Readonly<{ owner: ComputationOwner ; placement: ResultPlacement ; reference: <K>(ctx: Q, name: K, version: string) => Promise<ResultRef<Infer<D[K]["row"]>, "dataset">> }> Exact dataset manifests as model inputs. Physical readers can provide a declared placement reader; credentials keep their own finite lifetime.

​
Type parameters

​
Parameters

​
Returns

Readonly<{ owner: ComputationOwner ; placement: ResultPlacement ; reference: <K>(ctx: Q, name: K, version: string) => Promise<ResultRef<Infer<D[K]["row"]>, "dataset">> }>