Module: runtime/adapters/relational

Type Aliases

ResultRef

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

Type declaration

Name	Type
`kind`	`ResultKind`
`owner`	`string`
`reference`	`string`
`version`	`string`
`digest`	`string`
`contract`	`string`

ResultKind

Ƭ ResultKind: "dataset" | "artifact" Not exported: an exported type refers to it.

DerivationRecord

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

Index signature

▪ [field: string]: Value | undefined

DerivationCursor

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

Type declaration

Name	Type
`version`	`string`
`page`	`string`
`offset`	`string`

DerivationPage

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

Type declaration

Name	Type
`records`	`Value`[]
`after`	`DerivationCursor` \| `null`

TableInputProof

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

Type declaration

Name	Type
`digest`	`string`
`contract`	`string`

TableInputBasis

Ƭ TableInputBasis: { kind: "capture" } | { kind: "snapshot" ; id: string ; inputs: Record<string, TableInputProof> } | { kind: "pinned" ; evaluation: string ; inputs: Record<string, TableInputProof> } | { kind: "composed" ; source: TableInputBasis ; results: Record<string, { result: ResultRef ; claim: { holder: string ; receipt: string } }> }

TableDerivationScope

Ƭ TableDerivationScope: { kind: "all" } | { kind: "partitions" ; keys: string[] ; base: string } Not exported: an exported type refers to it.

TemporalDerivationScope

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

Type declaration

Name	Type
`outputs?`	`string`[] \| `null`
`keys`	`Record`<`string`, `string`[]>

TemporalDerivationRange

Ƭ TemporalDerivationRange: Object

Type declaration

Name	Type
`arguments?`	`Value` \| `null`
`scope?`	`TemporalDerivationScope` \| `null`
`prior?`	`ResultRef` \| `null`
`base?`	`ResultRef` \| `null`
`subject`	`string`
`timeline`	`string`
`from_us`	`string`
`to_us`	`string`
`budget?`	{ `maxFacts`: `number` ; `maxIterations`: `number` ; `maxIntermediateBytes?`: `number` ; `maxOutputBytes?`: `number` ; `maxResidentBytes?`: `number` ; `maxElapsedMs?`: `number` ; `maxCpuMs?`: `number` ; `maxConcurrency?`: `number` } \| `null`
`finality`	`"available"` \| `"settled"`
`basis?`	`string` \| `null`
`execution_binding?`	`Value` \| `null`

DerivationKernelInput

Ƭ DerivationKernelInput: { kind: "table" ; parameters: Record<string, Value> ; scope: TableDerivationScope ; incremental: "required" | "preferred" | "disabled" ; basis: TableInputBasis ; capture_until: number ; deadline_at: number } | { kind: "temporal" ; range: TemporalDerivationRange ; deadline_at: number ; capture_until: number }

DerivationWorkerFence

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

Type declaration

Name	Type
`evaluation_id`	`string`
`attempt`	`number`
`execution_id`	`string`
`session`	`string`

DerivationWorkerCommand

Ƭ DerivationWorkerCommand: { operation: "workers" ; revision: string } | { operation: "advertise" ; protocol: string ; revision: string ; session: string ; lifetime_ms: number } | { operation: "inspect" ; evaluation_id: string ; partition_after?: string | null } | { operation: "launch" ; evaluation_id: string ; call_id?: string | null ; provider_binding?: string | null ; binding?: Value | null ; cancel_command?: string | null } | { operation: "launches" } | { operation: "ready" ; protocol: string ; revision: string } | { operation: "status" ; evaluation_id: string ; attempt?: number | null ; execution_id?: string | null } | { operation: "claim" ; protocol: string ; evaluation_id: string ; revision: string ; session: string ; request_id: string } | DerivationWorkerFence & { operation: "inputs" | "renew" } | { operation: "population" ; request: DerivationRecord & { kind: string } } | { operation: "report" ; fingerprint: string ; result: Value } | { operation: "release" ; is_failure: boolean ; diagnostics: Value[] } Worker population requests have their own versioned program schema. The worker gateway validates that artifact; it is data, never a callable object.

DerivationControlProtocol

Ƭ DerivationControlProtocol: Object

Type declaration

Name	Type
`capture_table_inputs`	{ `input`: { `expires_at`: `number` ; `source?`: `string` \| `null` ; `ports`: `string`[] ; `expected?`: `Record`<`string`, `TableInputProof`> \| `null` } ; `output`: { `id`: `string` } }
`capture_table_inputs.input`	{ `expires_at`: `number` ; `source?`: `string` \| `null` ; `ports`: `string`[] ; `expected?`: `Record`<`string`, `TableInputProof`> \| `null` }
`capture_table_inputs.input.expires_at`	`number`
`capture_table_inputs.input.source?`	`string` \| `null`
`capture_table_inputs.input.ports`	`string`[]
`capture_table_inputs.input.expected?`	`Record`<`string`, `TableInputProof`> \| `null`
`capture_table_inputs.output`	{ `id`: `string` }
`capture_table_inputs.output.id`	`string`
`inspect_table_inputs`	{ `input`: { `id`: `string` } ; `output`: { `inputs`: `Record`<`string`, `TableInputProof`> ; `expires_at`: `number` } }
`inspect_table_inputs.input`	{ `id`: `string` }
`inspect_table_inputs.input.id`	`string`
`inspect_table_inputs.output`	{ `inputs`: `Record`<`string`, `TableInputProof`> ; `expires_at`: `number` }
`inspect_table_inputs.output.inputs`	`Record`<`string`, `TableInputProof`>
`inspect_table_inputs.output.expires_at`	`number`
`release_table_inputs`	{ `input`: { `id`: `string` } ; `output`: `null` }
`release_table_inputs.input`	{ `id`: `string` }
`release_table_inputs.input.id`	`string`
`release_table_inputs.output`	`null`
`capture_basis`	{ `input`: { `scope`: { `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `retention_ms`: `number` } } ; `output`: { `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `"capturing"` } }
`capture_basis.input`	{ `scope`: { `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `retention_ms`: `number` } }
`capture_basis.input.scope`	{ `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `retention_ms`: `number` }
`capture_basis.input.scope.subject`	`string`
`capture_basis.input.scope.timeline`	`string`
`capture_basis.input.scope.from_us`	`string`
`capture_basis.input.scope.to_us`	`string`
`capture_basis.input.scope.retention_ms`	`number`
`capture_basis.output`	{ `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `"capturing"` }
`capture_basis.output.ref`	`string`
`capture_basis.output.evaluation_id`	`string`
`capture_basis.output.phase`	`"capturing"`
`derive_basis`	{ `input`: { `basis`: { `from`: `string` ; `replace`: `Record`<`string`, { `basis`: `string` ; `input`: `string` }> ; `fresh_nodes`: `string`[] ; `outcomes`: `"replay"` \| `"record"` ; `retention_ms`: `number` } } ; `output`: { `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `"capturing"` } }
`derive_basis.input`	{ `basis`: { `from`: `string` ; `replace`: `Record`<`string`, { `basis`: `string` ; `input`: `string` }> ; `fresh_nodes`: `string`[] ; `outcomes`: `"replay"` \| `"record"` ; `retention_ms`: `number` } }
`derive_basis.input.basis`	{ `from`: `string` ; `replace`: `Record`<`string`, { `basis`: `string` ; `input`: `string` }> ; `fresh_nodes`: `string`[] ; `outcomes`: `"replay"` \| `"record"` ; `retention_ms`: `number` }
`derive_basis.input.basis.from`	`string`
`derive_basis.input.basis.replace`	`Record`<`string`, { `basis`: `string` ; `input`: `string` }>
`derive_basis.input.basis.fresh_nodes`	`string`[]
`derive_basis.input.basis.outcomes`	`"replay"` \| `"record"`
`derive_basis.input.basis.retention_ms`	`number`
`derive_basis.output`	{ `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `"capturing"` }
`derive_basis.output.ref`	`string`
`derive_basis.output.evaluation_id`	`string`
`derive_basis.output.phase`	`"capturing"`
`inspect_basis`	{ `input`: { `basis`: `string` ; `cursor?`: `string` \| `null` } ; `output`: { `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `string` ; `blocker`: `Value` } \| { `ref`: `string` ; `phase`: `"complete"` ; `scope`: `DerivationRecord` ; `windows`: `Value`[] ; `cursor`: `string` \| `null` } }
`inspect_basis.input`	{ `basis`: `string` ; `cursor?`: `string` \| `null` }
`inspect_basis.input.basis`	`string`
`inspect_basis.input.cursor?`	`string` \| `null`
`inspect_basis.output`	{ `ref`: `string` ; `evaluation_id`: `string` ; `phase`: `string` ; `blocker`: `Value` } \| { `ref`: `string` ; `phase`: `"complete"` ; `scope`: `DerivationRecord` ; `windows`: `Value`[] ; `cursor`: `string` \| `null` }
`release_basis`	{ `input`: { `basis`: `string` } ; `output`: { `ref`: `string` ; `released`: `true` } }
`release_basis.input`	{ `basis`: `string` }
`release_basis.input.basis`	`string`
`release_basis.output`	{ `ref`: `string` ; `released`: `true` }
`release_basis.output.ref`	`string`
`release_basis.output.released`	`true`
`describe`	{ `input`: `Record`<`never`, `never`> ; `output`: { `definition_revision`: `string` } }
`describe.input`	`Record`<`never`, `never`>
`describe.output`	{ `definition_revision`: `string` }
`describe.output.definition_revision`	`string`
`result`	{ `input`: { `result_id`: `string` } ; `output`: `null` \| { `result_id`: `string` ; `evaluation_id`: `string` ; `definition_revision`: `string` ; `input_cut_id`: `string` ; `accepted_at`: `number` ; `is_available`: `boolean` ; `output_keys`: `string`[] ; `parameters?`: `Record`<`string`, `Value`> ; `scope?`: `TableDerivationScope` } }
`result.input`	{ `result_id`: `string` }
`result.input.result_id`	`string`
`result.output`	`null` \| { `result_id`: `string` ; `evaluation_id`: `string` ; `definition_revision`: `string` ; `input_cut_id`: `string` ; `accepted_at`: `number` ; `is_available`: `boolean` ; `output_keys`: `string`[] ; `parameters?`: `Record`<`string`, `Value`> ; `scope?`: `TableDerivationScope` }
`quality_evidence`	{ `input`: { `evaluation_id`: `string` ; `check`: `string` } ; `output`: { `evaluation_id`: `string` ; `check`: `string` } & { `kind`: `"unavailable"` ; `reason`: `"collected"` \| `"authority_changed"` } \| { `kind`: `"not_applicable"` \| `"pending"` } \| { `kind`: `"available"` ; `observation`: `Value` ; `candidate`: `Value` } }
`quality_evidence.input`	{ `evaluation_id`: `string` ; `check`: `string` }
`quality_evidence.input.evaluation_id`	`string`
`quality_evidence.input.check`	`string`
`quality_evidence.output`	{ `evaluation_id`: `string` ; `check`: `string` } & { `kind`: `"unavailable"` ; `reason`: `"collected"` \| `"authority_changed"` } \| { `kind`: `"not_applicable"` \| `"pending"` } \| { `kind`: `"available"` ; `observation`: `Value` ; `candidate`: `Value` }
`series`	{ `input`: { `subject`: `string` ; `timeline`: `string` } ; `output`: { `series_id`: `string` ; `definition_revision`: `string` ; `step_us`: `bigint` } }
`series.input`	{ `subject`: `string` ; `timeline`: `string` }
`series.input.subject`	`string`
`series.input.timeline`	`string`
`series.output`	{ `series_id`: `string` ; `definition_revision`: `string` ; `step_us`: `bigint` }
`series.output.series_id`	`string`
`series.output.definition_revision`	`string`
`series.output.step_us`	`bigint`
`range_results`	{ `input`: { `evaluation_id`: `string` ; `cursor?`: `string` \| `null` ; `limit?`: `number` \| `null` } ; `output`: { `evaluation`: `DerivationRecord` ; `range`: `DerivationRecord` ; `resolved_basis`: `string` \| `null` ; `progress`: { `started`: `boolean` ; `retained_until`: `number` \| `null` } ; `availability`: `"available"` \| `"unavailable"` ; `items`: `DerivationRecord`[] ; `cursor`: `string` \| `null` } }
`range_results.input`	{ `evaluation_id`: `string` ; `cursor?`: `string` \| `null` ; `limit?`: `number` \| `null` }
`range_results.input.evaluation_id`	`string`
`range_results.input.cursor?`	`string` \| `null`
`range_results.input.limit?`	`number` \| `null`
`range_results.output`	{ `evaluation`: `DerivationRecord` ; `range`: `DerivationRecord` ; `resolved_basis`: `string` \| `null` ; `progress`: { `started`: `boolean` ; `retained_until`: `number` \| `null` } ; `availability`: `"available"` \| `"unavailable"` ; `items`: `DerivationRecord`[] ; `cursor`: `string` \| `null` }
`range_results.output.evaluation`	`DerivationRecord`
`range_results.output.range`	`DerivationRecord`
`range_results.output.resolved_basis`	`string` \| `null`
`range_results.output.progress`	{ `started`: `boolean` ; `retained_until`: `number` \| `null` }
`range_results.output.progress.started`	`boolean`
`range_results.output.progress.retained_until`	`number` \| `null`
`range_results.output.availability`	`"available"` \| `"unavailable"`
`range_results.output.items`	`DerivationRecord`[]
`range_results.output.cursor`	`string` \| `null`
`window`	{ `input`: { `window`: { `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` } } ; `output`: `DerivationRecord` }
`window.input`	{ `window`: { `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` } }
`window.input.window`	{ `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` }
`window.input.window.subject`	`string`
`window.input.window.timeline`	`string`
`window.input.window.from_us`	`string`
`window.output`	`DerivationRecord`
`evidence`	{ `input`: { `fingerprint`: `string` ; `view`: `"metadata"` \| `"knowledge"` \| `"full"` } ; `output`: `null` \| `DerivationRecord` }
`evidence.input`	{ `fingerprint`: `string` ; `view`: `"metadata"` \| `"knowledge"` \| `"full"` }
`evidence.input.fingerprint`	`string`
`evidence.input.view`	`"metadata"` \| `"knowledge"` \| `"full"`
`evidence.output`	`null` \| `DerivationRecord`
`evidence_input`	{ `input`: { `fingerprint`: `string` ; `input`: `string` ; `after?`: `DerivationCursor` \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` } ; `output`: `DerivationPage` }
`evidence_input.input`	{ `fingerprint`: `string` ; `input`: `string` ; `after?`: `DerivationCursor` \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` }
`evidence_input.input.fingerprint`	`string`
`evidence_input.input.input`	`string`
`evidence_input.input.after?`	`DerivationCursor` \| `null`
`evidence_input.input.max_rows`	`number`
`evidence_input.input.max_bytes`	`number`
`evidence_input.output`	`DerivationPage`
`evidence_population`	{ `input`: { `fingerprint`: `string` ; `node`: `string` ; `role`: `"descriptor"` \| `"data"` \| `"knowledge"` ; `after?`: `DerivationCursor` \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` } ; `output`: `DerivationPage` }
`evidence_population.input`	{ `fingerprint`: `string` ; `node`: `string` ; `role`: `"descriptor"` \| `"data"` \| `"knowledge"` ; `after?`: `DerivationCursor` \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` }
`evidence_population.input.fingerprint`	`string`
`evidence_population.input.node`	`string`
`evidence_population.input.role`	`"descriptor"` \| `"data"` \| `"knowledge"`
`evidence_population.input.after?`	`DerivationCursor` \| `null`
`evidence_population.input.max_rows`	`number`
`evidence_population.input.max_bytes`	`number`
`evidence_population.output`	`DerivationPage`
`corrections`	{ `input`: { `source`: { `kind`: `"evidence"` ; `fingerprint`: `string` } \| { `kind`: `"evaluation"` ; `evaluation_id`: `string` } \| { `kind`: `"subject"` ; `subject`: `string` } ; `after?`: { `root`: `string` ; `after`: `string` } \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` } ; `output`: { `records`: `Value`[] ; `after`: { `root`: `string` ; `after`: `string` } \| `null` } }
`corrections.input`	{ `source`: { `kind`: `"evidence"` ; `fingerprint`: `string` } \| { `kind`: `"evaluation"` ; `evaluation_id`: `string` } \| { `kind`: `"subject"` ; `subject`: `string` } ; `after?`: { `root`: `string` ; `after`: `string` } \| `null` ; `max_rows`: `number` ; `max_bytes`: `number` }
`corrections.input.source`	{ `kind`: `"evidence"` ; `fingerprint`: `string` } \| { `kind`: `"evaluation"` ; `evaluation_id`: `string` } \| { `kind`: `"subject"` ; `subject`: `string` }
`corrections.input.after?`	{ `root`: `string` ; `after`: `string` } \| `null`
`corrections.input.max_rows`	`number`
`corrections.input.max_bytes`	`number`
`corrections.output`	{ `records`: `Value`[] ; `after`: { `root`: `string` ; `after`: `string` } \| `null` }
`corrections.output.records`	`Value`[]
`corrections.output.after`	{ `root`: `string` ; `after`: `string` } \| `null`
`worker`	{ `input`: { `work`: `DerivationWorkerCommand` ; `credential_digest?`: `string` \| `null` } ; `output`: `null` \| `boolean` \| `DerivationRecord` \| `DerivationRecord`[] }
`worker.input`	{ `work`: `DerivationWorkerCommand` ; `credential_digest?`: `string` \| `null` }
`worker.input.work`	`DerivationWorkerCommand`
`worker.input.credential_digest?`	`string` \| `null`
`worker.output`	`null` \| `boolean` \| `DerivationRecord` \| `DerivationRecord`[]
`plan_range`	{ `input`: { `range`: { `scope?`: `TemporalDerivationScope` \| `null` ; `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `basis?`: `string` \| `null` ; `previous?`: `ResultRef` \| `null` } } ; `output`: `DerivationRecord` }
`plan_range.input`	{ `range`: { `scope?`: `TemporalDerivationScope` \| `null` ; `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `basis?`: `string` \| `null` ; `previous?`: `ResultRef` \| `null` } }
`plan_range.input.range`	{ `scope?`: `TemporalDerivationScope` \| `null` ; `subject`: `string` ; `timeline`: `string` ; `from_us`: `string` ; `to_us`: `string` ; `basis?`: `string` \| `null` ; `previous?`: `ResultRef` \| `null` }
`plan_range.input.range.scope?`	`TemporalDerivationScope` \| `null`
`plan_range.input.range.subject`	`string`
`plan_range.input.range.timeline`	`string`
`plan_range.input.range.from_us`	`string`
`plan_range.input.range.to_us`	`string`
`plan_range.input.range.basis?`	`string` \| `null`
`plan_range.input.range.previous?`	`ResultRef` \| `null`
`plan_range.output`	`DerivationRecord`
`kernel_start`	{ `input`: { `owner`: `string` ; `input`: `DerivationKernelInput` } ; `output`: { `evaluation_id`: `string` } }
`kernel_start.input`	{ `owner`: `string` ; `input`: `DerivationKernelInput` }
`kernel_start.input.owner`	`string`
`kernel_start.input.input`	`DerivationKernelInput`
`kernel_start.output`	{ `evaluation_id`: `string` }
`kernel_start.output.evaluation_id`	`string`

DerivationCommandKind

Ƭ DerivationCommandKind: keyof DerivationControlProtocol

DerivationCommand

Ƭ DerivationCommand<Kind>: { [K in Kind]: Object & DerivationControlProtocol[K][“input”] }[Kind]

Type parameters

Name	Type
`Kind`	extends `DerivationCommandKind` = `DerivationCommandKind`

DerivationOutcome

Ƭ DerivationOutcome<Kind>: DerivationControlProtocol[Kind]["output"]

Type parameters

Name	Type
`Kind`	extends `DerivationCommandKind`

DerivationProgramExecution

Ƭ DerivationProgramExecution: Object Native identity of the installed derivation requesting a source. It is preserved through source component calls and available to their policies. This is provenance; a source still decides consent on every read.

Type declaration

Name	Type
`producer`	`string`
`evaluation_id`	`string` \| `null`
`definition_revision`	`string`
`execution_revision`	`string`
`deadline_at`	`number`
`access`	{ `kind`: `string` ; `key`: `string` ; `operations`: `string`[] }[]

Variables

derivations

• Const derivations: Object

Functions

derivationExecution

▸ derivationExecution(): Promise<DerivationProgramExecution | null> Inspect native provenance without accepting a caller-selected program. Interactive calls, including administrators, receive null.

Returns

Promise<DerivationProgramExecution | null>

​Type Aliases

​ResultRef

​Type declaration

​ResultKind

​DerivationRecord

​Index signature

​DerivationCursor

​Type declaration

​DerivationPage

​Type declaration

​TableInputProof

​Type declaration

​TableInputBasis

​TableDerivationScope

​TemporalDerivationScope

​Type declaration

​TemporalDerivationRange

​Type declaration

​DerivationKernelInput

​DerivationWorkerFence

​Type declaration

​DerivationWorkerCommand

​DerivationControlProtocol

​Type declaration

​DerivationCommandKind

​DerivationCommand

​Type parameters

​DerivationOutcome

​Type parameters

​DerivationProgramExecution

​Type declaration

​Variables

​derivations

​Functions

​derivationExecution

​Returns

Type Aliases

ResultRef

Type declaration

ResultKind

DerivationRecord

Index signature

DerivationCursor

Type declaration

DerivationPage

Type declaration

TableInputProof

Type declaration

TableInputBasis

TableDerivationScope

TemporalDerivationScope

Type declaration

TemporalDerivationRange

Type declaration

DerivationKernelInput

DerivationWorkerFence

Type declaration

DerivationWorkerCommand

DerivationControlProtocol

Type declaration

DerivationCommandKind

DerivationCommand

Type parameters

DerivationOutcome

Type parameters

DerivationProgramExecution

Type declaration

Variables

derivations

Functions

derivationExecution

Returns