Skip to main content

Type Aliases

CallbackHandle

Ƭ CallbackHandle<Reference>: Reference extends FunctionReference<infer Kind, any, infer Args, infer Result> ? FunctionHandle<Kind, Args, Result> : string

Type parameters


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


DerivationPage

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

Type declaration


TableInputProof

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

Type declaration


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


TemporalDerivationRange

Ƭ TemporalDerivationRange: Object

Type declaration


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


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


DerivationCommandKind

Ƭ DerivationCommandKind: keyof DerivationControlProtocol

DerivationCommand

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

Type parameters


DerivationOutcome

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

Type parameters


Action

Ƭ Action: Pick<GenericActionCtx<GenericDataModel>, "runAction"> Not exported: an exported type refers to it.

Read

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

Type declaration


Write

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

Type declaration


NamedArtifact

Ƭ NamedArtifact: KeptAnswerRef | { requestId: string } Not exported: an exported type refers to it.

ArtifactOptions

Ƭ ArtifactOptions: Omit<Parameters<Answers["keep"]>[1], "request_id"> & { requestId: string } Not exported: an exported type refers to it.

WorkEffectBinding

Ƭ WorkEffectBinding: Object An ordinary effect adapter and its native call-shape contract. The queue captures its full executable; this binding grants no resource authority.

Type declaration


CapturedWork

Ƭ CapturedWork<Fn>: Object Exact finite worker selection. These selectors grant no resource access; native scheduling checks their original ordinary owner and captured code.

Type parameters

Type declaration


ExecutionResources

Ƭ ExecutionResources: Object Native maxima, including loaded modules and runtime heap. This is not RSS.

Type declaration


FileOutput

Ƭ FileOutput: Object A native output commitment. This carries identity, never publication authority.

Type declaration


CallbackReference

Ƭ CallbackReference: FunctionReference<any, any, any, any> Not exported: an exported type refers to it.

ComponentCommandRoute

Ƭ ComponentCommandRoute: Object

Type declaration


ComponentWorkPermission

Ƭ ComponentWorkPermission: Object

Type declaration


RetainedComponentCallbacks

Ƭ RetainedComponentCallbacks<Callbacks>: { [Field in keyof Callbacks]: Callbacks[Field] extends FunctionReference<infer Kind, any, infer Args, infer Result> ? FunctionHandle<Kind, Args, Result> : string }

Type parameters


ComponentPolicySlots

Ƭ ComponentPolicySlots<Slots>: Object Generated policy requirements; the marker exists only in TypeScript.

Type parameters

Type declaration


ComponentSource

Ƭ ComponentSource: Object A deployment-selected source of this component’s own table.

Type declaration


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


ExecutionEnvironment

Ƭ ExecutionEnvironment: Readonly<{ clockMs: number ; microstep: number ; seed: string ; factorSeed: string | null }> Modeled business inputs. They do not change native lease or policy time.

ExecutionSnapshotRef

Ƭ ExecutionSnapshotRef: Readonly<SnapshotRef>

RetainedSnapshot

Ƭ RetainedSnapshot: Readonly<{ snapshot: ExecutionSnapshotRef ; expires_at: string ; state: "pending" | "ready" | "released" | "expired" }>

ExecutionSnapshotBasis

Ƭ ExecutionSnapshotBasis: Readonly<{ revision: string ; program_generation: string ; source: Readonly<{ branch: string ; generation: string }> | null }> Immutable native capture facts, independent of the claim’s location.

ExecutionBranch

Ƭ ExecutionBranch: Readonly<{ branch: string ; generation: string ; expires_at: string ; state: "open" | "discarded" | "reclaimed" }>

ModeledSourceObservation

Ƭ ModeledSourceObservation: Readonly<{ id: string ; key: string ; knownAt: number ; validFrom: number ; record: Record<string, Value> | null }>

ModeledScheduledJob

Ƭ ModeledScheduledJob: { kind: "empty" } | { kind: "ready" ; job: string ; clockMs: number ; microstep: number } | { kind: "failed" ; job: string }

LiveMediaRequests

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

Type declaration


LiveMediaResults

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

Type declaration


MutationAssessment

Ƭ MutationAssessment: Object Evidence from a complete tentative mutation. A receipt grants no authority and records no request, review, approval or committed business effect.

Type declaration


InspectedMutationAssessment

Ƭ InspectedMutationAssessment: MutationAssessment & { record: string ; callback: string ; args: Record<string, Value> ; owner: { kind: "caller" | "program" ; scope: string } | { kind: "record" } }

NarrowingProgram

Ƭ NarrowingProgram: Object The pipeline and the definition and program digests of its publication group. Any change is another program and needs a new review.

Type declaration


NarrowingProposal

Ƭ NarrowingProposal: Object The immutable proposal a narrowing reviews.

Type declaration


NarrowingConsentReceipt

Ƭ NarrowingConsentReceipt: Object An exact retry of the same issuer and request recovers this consent, including after withdrawal, without creating or reactivating authority.

Type declaration


NarrowingConsentStatus

Ƭ NarrowingConsentStatus: Object Retained lifecycle only; use alone decides current sponsorship.

Type declaration


PublicationSelection

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

Type declaration


WorkAllocation

Ƭ WorkAllocation: Record<string, { limit: string ; reserved: string ; spent: string }> Counters from the native allowance ledger, never a worker estimate.

Variables

answers

• Const answers: Object

callbacks

• Const callbacks: Object

Type declaration


derivations

• Const derivations: Object

dispatch

• Const dispatch: Object

Type declaration


processors

• Const processors: Object

Type declaration


queryArtifacts

• Const queryArtifacts: Object

Type declaration


snapshotLeases

• Const snapshotLeases: Object

Type declaration


transactions

• Const transactions: Object Current transaction identity, phase and execution limits. No business journal.

Type declaration


workEffects

• Const workEffects: Object

Type declaration


assessments

• Const assessments: Object Exact tentative transitions used by installed component protocols.

Type declaration


narrowingConsents

• Const narrowingConsents: Object Called by the consuming component; the native owner identifies it.

Type declaration


publications

• Const publications: Object

Type declaration


transactionEvidence

• Const transactionEvidence: Object Facts supplied by the executing transaction. These confer no authority.

Type declaration


workAccounting

• Const workAccounting: Object Accounting for an actual ordinary record in the invoking installation. Components own admission, attempts, retry policy and result selection. This interface provides no worker identity, execution state or data permission. Open belongs to the transaction inserting the record; its immutable pools preserve actual caller ancestry and deployment transfer limits.

Type declaration

Functions

componentDeclaration

▸ componentDeclaration(): Promise<{ component: string | null ; declaration: string ; revision: string ; phase: "activation" | "work" ; access: ComponentWorkPermission[] } | null> Native declaration evidence for the installed component making this call. This inspection grants no source permission and accepts no caller selector.

Returns

Promise<{ component: string | null ; declaration: string ; revision: string ; phase: "activation" | "work" ; access: ComponentWorkPermission[] } | null>

resumeComponentWork

▸ resumeComponentWork(record): Promise<boolean> Resume finite native declaration evidence held by an accepted component record inside its ordinary controller, after authorizing the current operator. This grants no source read, deployment authority, or configuration phase.

Parameters

Returns

Promise<boolean>

componentAdmission

▸ componentAdmission<T>(mutation): T An ordinary component mutation whose admission is the public review boundary. Native evidence binds its actual code, arguments and result. Only this installation’s exact private bookkeeping images are encapsulated; business writes, file publication, resource use and charges remain ordinary effects. A returned reference must be stable across trial and acceptance.

Type parameters

Parameters

Returns

T

componentSource

▸ componentSource(table, destination): ComponentSource

Parameters

Returns

ComponentSource

derivationExecution

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

Returns

Promise<DerivationProgramExecution | null>

liveMedia

▸ liveMedia<K>(record, epoch, request): Promise<LiveMediaResults[K]> Native bounded volatile transport for an ordinary private session owner. Every call reads the actual same-component record. Staging grants no output authority: tickets must first commit on that record under the original native Compute programme. Output still requires the recipient’s AnswerPublication. A missing epoch is an explicit interruption, never an empty recording.

Type parameters

Parameters

Returns

Promise<LiveMediaResults[K]>

narrowingDeclassification

▸ narrowingDeclassification(marking): Object The exact native check that lowers a marking: <resource>:declassify on its key. Clearance dominance confers no declassification.

Parameters

Returns

Object

narrowingProposal

▸ narrowingProposal(input): NarrowingProposal Canonical proposal in the native field order, refusing malformed input.

Parameters

Returns

NarrowingProposal

narrowingProposalDigest

▸ narrowingProposalDigest(proposal): string The binding a proposer’s sealed decision-subject evidence names: SHA-256 of the canonical proposal.

Parameters

Returns

string