Type Aliases
RelationInspectionTarget
Ƭ RelationInspectionTarget: {kind: "portable_rows" } | { kind: "native_transaction" } | { kind: "sql" ; dialect: TransformationDialect }
Observation
Ƭ Observation<T>: InspectionAbsence | { kind: "known" ; value: T ; evidence: InspectionEvidence[] }
Type parameters
InspectionContext
Ƭ InspectionContext:Object
Authorized readers capture this context; projection functions do not read clocks.
Type declaration
InspectionPresentation
Ƭ InspectionPresentation:Object
Type declaration
InspectionText
Ƭ InspectionText:string
Not exported: an exported type refers to it.
InspectionPathKey
Ƭ InspectionPathKey:string
Not exported: an exported type refers to it.
InspectionUInt64
Ƭ InspectionUInt64:string
Not exported: an exported type refers to it.
InspectionDigest
Ƭ InspectionDigest:string
Not exported: an exported type refers to it.
InspectionRef
Ƭ InspectionRef:Object
Type declaration
InspectionRun
Ƭ InspectionRun:Object
Not exported: an exported type refers to it.
Type declaration
InspectionRead
Ƭ InspectionRead: {kind: "snapshot" ; domain: InspectionText ; revision: InspectionText } | { kind: "interval" ; domain: InspectionText ; started_at: InspectionTimestamp ; ended_at: InspectionTimestamp }
Not exported: an exported type refers to it.
InspectionOrigin
Ƭ InspectionOrigin: {kind: "owner_record" } | { kind: "worker_report" ; recorded_at: InspectionTimestamp | null ; reported_at: InspectionTimestamp | null } | { kind: "provider_report" ; recorded_at: InspectionTimestamp | null ; reported_at: InspectionTimestamp | null }
Not exported: an exported type refers to it.
InspectionEvidence
Ƭ InspectionEvidence:Object
Type declaration
InspectionCoverage
Ƭ InspectionCoverage:"complete" | "partial"
Not exported: an exported type refers to it.
DeclarationIntent
Ƭ DeclarationIntent:"transactional_read" | "evaluate_supplied_rows" | "retained_result" | "dataset_publication"
Declaration inspection is independent of run inspection. Neither grants
execution authority; admission repeats binding, version and access checks.
DeclarationSubject
Ƭ DeclarationSubject:Object
Type declaration
DeclarationAnalysis
Ƭ DeclarationAnalysis:Object
Type declaration
DeclarationAnalysisObservation
Ƭ DeclarationAnalysisObservation:DeclarationAnalysis | InspectionAbsence
Not exported: an exported type refers to it.
DeclarationRequirementSubject
Ƭ DeclarationRequirementSubject:Object
Not exported: an exported type refers to it.
Type declaration
DeclarationRequirement
Ƭ DeclarationRequirement:Object
Type declaration
DeclarationRequirements
Ƭ DeclarationRequirements:InspectionCollection & { total: InspectionUInt64 ; items: DeclarationRequirement[] }
Not exported: an exported type refers to it.
DeclarationTarget
Ƭ DeclarationTarget:Object
Type declaration
DeclarationAlternative
Ƭ DeclarationAlternative:Object
Type declaration
DeclarationMaintenance
Ƭ DeclarationMaintenance:Object
Type declaration
DeclarationOutputMaintenance
Ƭ DeclarationOutputMaintenance:Object
Not exported: an exported type refers to it.
Type declaration
DeclarationMaintenanceObservation
Ƭ DeclarationMaintenanceObservation:DeclarationMaintenance | InspectionAbsence
Not exported: an exported type refers to it.
DeclarationAlternatives
Ƭ DeclarationAlternatives:InspectionCollection & { items: DeclarationAlternative[] }
Not exported: an exported type refers to it.
DeclarationInspection
Ƭ DeclarationInspection:Object
Type declaration
InspectionCount
Ƭ InspectionCount: {kind: "exact" ; value: InspectionUInt64 } | { kind: "at_least" ; value: InspectionUInt64 }
InspectionSource
Ƭ InspectionSource:Object
Not exported: an exported type refers to it.
Type declaration
InspectionDefinition
Ƭ InspectionDefinition:Object
Type declaration
InspectionRelease
Ƭ InspectionRelease:Object
Not exported: an exported type refers to it.
Type declaration
InspectionExecutable
Ƭ InspectionExecutable:Object
Not exported: an exported type refers to it.
Type declaration
InspectionInput
Ƭ InspectionInput:Object
Not exported: an exported type refers to it.
Type declaration
InspectionInputs
Ƭ InspectionInputs:InspectionCollection & { items: InspectionInput[] }
Not exported: an exported type refers to it.
InspectionBasis
Ƭ InspectionBasis:Object
Not exported: an exported type refers to it.
Type declaration
InspectionTarget
Ƭ InspectionTarget:Object
Not exported: an exported type refers to it.
Type declaration
InspectionExecution
Ƭ InspectionExecution: {phase: "unknown" } | { phase: "admitted" } | { phase: "running" } | { phase: "waiting" } | { phase: "suspended" ; reason: InspectionText ; continuation: InspectionText | null } | { phase: "finished" ; outcome: "completed" | "failed" | "cancelled" | "incomplete" | "expired" | "superseded" }
InspectionAttempt
Ƭ InspectionAttempt:Object
Type declaration
InspectionAttemptList
Ƭ InspectionAttemptList:InspectionCollection & { items: InspectionAttempt[] }
Not exported: an exported type refers to it.
InspectionRefList
Ƭ InspectionRefList:InspectionCollection & { items: InspectionRef[] }
Not exported: an exported type refers to it.
InspectionAttempts
Ƭ InspectionAttempts:Object
Type declaration
InspectionDelivery
Ƭ InspectionDelivery:"pending" | "in_flight" | "unknown" | "observed" | "delivered" | "refused" | "not_applied" | "duplicated" | "superseded" | "cancelled"
Not exported: an exported type refers to it.
InspectionProviderState
Ƭ InspectionProviderState:"running" | "stopped" | "unknown" | "unsupported"
Not exported: an exported type refers to it.
InspectionReconciliation
Ƭ InspectionReconciliation:Object
Type declaration
InspectionCheck
Ƭ InspectionCheck:Object
Not exported: an exported type refers to it.
Type declaration
InspectionChecks
Ƭ InspectionChecks:InspectionCollection & { items: InspectionCheck[] }
Not exported: an exported type refers to it.
InspectionValidation
Ƭ InspectionValidation:Object
Type declaration
InspectionOutput
Ƭ InspectionOutput:Object
Not exported: an exported type refers to it.
Type declaration
InspectionOutputs
Ƭ InspectionOutputs:InspectionCollection & { items: InspectionOutput[] }
Not exported: an exported type refers to it.
InspectionResult
Ƭ InspectionResult:Object
Type declaration
InspectionSelectionDecision
Ƭ InspectionSelectionDecision:Object
Not exported: an exported type refers to it.
Type declaration
InspectionSelection
Ƭ InspectionSelection:InspectionCollection & { state: "empty" | "selected" ; decisions: InspectionSelectionDecision[] }
InspectionServingMember
Ƭ InspectionServingMember:Object
Not exported: an exported type refers to it.
Type declaration
InspectionServingGap
Ƭ InspectionServingGap:"incomplete" | "unavailable" | "withheld"
Not exported: an exported type refers to it.
InspectionServing
Ƭ InspectionServing:InspectionCollection & { state: "empty" | "available" | "unconfirmed" ; run: InspectionRef | null ; members: InspectionServingMember[] ; reason: InspectionServingGap | null }
InspectionCleanupPhase
Ƭ InspectionCleanupPhase:"active" | "retained" | "scheduled" | "reclaiming" | "pending" | "blocked" | "complete"
Not exported: an exported type refers to it.
InspectionObligation
Ƭ InspectionObligation:Object
Not exported: an exported type refers to it.
Type declaration
InspectionCleanup
Ƭ InspectionCleanup:Object
Type declaration
InspectionPhaseMeasurement
Ƭ InspectionPhaseMeasurement:Object
Type declaration
InspectionBuildOutcome
Ƭ InspectionBuildOutcome:"succeeded" | "failed"
Not exported: an exported type refers to it.
InspectionBuild
Ƭ InspectionBuild:Object
Not exported: an exported type refers to it.
Type declaration
InspectionCapturedOutput
Ƭ InspectionCapturedOutput:Object
Not exported: an exported type refers to it.
Type declaration
InspectionCapture
Ƭ InspectionCapture:Object
Not exported: an exported type refers to it.
Type declaration
InspectionTerminationFact
Ƭ InspectionTerminationFact:Object
Not exported: an exported type refers to it.
Type declaration
InspectionScratchFact
Ƭ InspectionScratchFact:Object
Not exported: an exported type refers to it.
Type declaration
BuildObservation
Ƭ BuildObservation:InspectionAbsence | { kind: "known" ; value: InspectionBuild ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
CaptureObservation
Ƭ CaptureObservation:InspectionAbsence | { kind: "known" ; value: InspectionCapture ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
SubmissionObservation
Ƭ SubmissionObservation:InspectionAbsence | { kind: "known" ; value: InspectionRef | null ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
TerminationFactObservation
Ƭ TerminationFactObservation:InspectionAbsence | { kind: "known" ; value: InspectionTerminationFact ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ScratchFactObservation
Ƭ ScratchFactObservation:InspectionAbsence | { kind: "known" ; value: InspectionScratchFact ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
InspectionProductionAttempt
Ƭ InspectionProductionAttempt:Object
Type declaration
InspectionProduction
Ƭ InspectionProduction:InspectionCollection & { items: InspectionProductionAttempt[] }
Not exported: an exported type refers to it.
ProductionObservation
Ƭ ProductionObservation:InspectionAbsence | { kind: "known" ; value: InspectionProduction ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
InspectionMeasurement
Ƭ InspectionMeasurement: {kind: "phase" ; phase: InspectionPhaseMeasurement } | { kind: "runtime" ; name: InspectionText ; version: InspectionText } | { kind: "scratch_cleanup" ; state: "pending" | "settled" } | { kind: "input_rows" | "output_rows" | "input_decoded_bytes" | "output_decoded_bytes" | "scratch_peak_bytes" | "scan_pages" | "write_tasks" | "staged_bytes" | "direct_scans" | "input_source_bytes" ; count: InspectionUInt64 } | { kind: "input_duration_ms" | "output_duration_ms" | "duckdb_scope_ms" | "polars_capture_ms" ; duration_ms: number }
InspectionMeasurementObservation
Ƭ InspectionMeasurementObservation:Object
A finite, non-negative duration, possibly fractional.
Type declaration
InspectionMeasurements
Ƭ InspectionMeasurements:InspectionCollection & { items: InspectionMeasurementObservation[] }
InspectionDiagnosticSubject
Ƭ InspectionDiagnosticSubject: {kind: "run" } | { kind: "attempt" ; execution: InspectionRef ; ordinal: InspectionUInt64 } | { kind: "output" ; name: InspectionText } | { kind: "check" ; id: InspectionText }
Not exported: an exported type refers to it.
InspectionPosition
Ƭ InspectionPosition:Object
Not exported: an exported type refers to it.
Type declaration
InspectionRange
Ƭ InspectionRange:Object
Not exported: an exported type refers to it.
Type declaration
InspectionDiagnosticLocation
Ƭ InspectionDiagnosticLocation:Object
Not exported: an exported type refers to it.
Type declaration
InspectionValuePathPart
Ƭ InspectionValuePathPart:InspectionPathKey | number
Not exported: an exported type refers to it.
InspectionDiagnosticReport
Ƭ InspectionDiagnosticReport:Object
Not exported: an exported type refers to it.
Type declaration
InspectionDiagnostic
Ƭ InspectionDiagnostic:Object
Type declaration
InspectionDiagnostics
Ƭ InspectionDiagnostics:InspectionCollection & { items: InspectionDiagnostic[] }
Not exported: an exported type refers to it.
DefinitionObservation
Ƭ DefinitionObservation:InspectionAbsence | { kind: "known" ; value: InspectionDefinition ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ReleaseObservation
Ƭ ReleaseObservation:InspectionAbsence | { kind: "known" ; value: InspectionRelease ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ExecutableObservation
Ƭ ExecutableObservation:InspectionAbsence | { kind: "known" ; value: InspectionExecutable ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
BasisObservation
Ƭ BasisObservation:InspectionAbsence | { kind: "known" ; value: InspectionBasis ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
TargetObservation
Ƭ TargetObservation:InspectionAbsence | { kind: "known" ; value: InspectionTarget ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ExecutionObservation
Ƭ ExecutionObservation:InspectionAbsence | { kind: "known" ; value: InspectionExecution ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
AttemptsObservation
Ƭ AttemptsObservation:InspectionAbsence | { kind: "known" ; value: InspectionAttempts ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ReconciliationObservation
Ƭ ReconciliationObservation:InspectionAbsence | { kind: "known" ; value: InspectionReconciliation ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ValidationObservation
Ƭ ValidationObservation:InspectionAbsence | { kind: "known" ; value: InspectionValidation ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ResultObservation
Ƭ ResultObservation:InspectionAbsence | { kind: "known" ; value: InspectionResult ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
SelectionObservation
Ƭ SelectionObservation:InspectionAbsence | { kind: "known" ; value: InspectionSelection ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
ServingObservation
Ƭ ServingObservation:InspectionAbsence | { kind: "known" ; value: InspectionServing ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
CleanupObservation
Ƭ CleanupObservation:InspectionAbsence | { kind: "known" ; value: InspectionCleanup ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
MeasurementsObservation
Ƭ MeasurementsObservation:InspectionAbsence | { kind: "known" ; value: InspectionMeasurements ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
InspectionObservations
Ƭ InspectionObservations:Object
Type declaration
ComputationInspection
Ƭ ComputationInspection:Object
Type declaration
InspectionDemand
Ƭ InspectionDemand:Object
Not exported: an exported type refers to it.
Type declaration
DemandObservation
Ƭ DemandObservation:InspectionAbsence | { kind: "known" ; value: InspectionDemand ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
InspectionGuarantee
Ƭ InspectionGuarantee:Object
Not exported: an exported type refers to it.
Type declaration
InspectionBound
Ƭ InspectionBound:Object
Not exported: an exported type refers to it.
Type declaration
InspectionContract
Ƭ InspectionContract:Object
Not exported: an exported type refers to it.
Type declaration
InspectionGuarantees
Ƭ InspectionGuarantees:InspectionCollection & { items: InspectionGuarantee[] }
Not exported: an exported type refers to it.
InspectionBounds
Ƭ InspectionBounds:InspectionCollection & { items: InspectionBound[] }
Not exported: an exported type refers to it.
ContractObservation
Ƭ ContractObservation:InspectionAbsence | { kind: "known" ; value: InspectionContract ; evidence: InspectionEvidence[] }
Not exported: an exported type refers to it.
CancellationObservation
Ƭ CancellationObservation:Object
A cancellation response remains independent of the inspection projection.
Type declaration
Functions
declarationDigest
▸ declarationDigest(value): string
Content identity, never an authority token or a deployment snapshot.
Parameters
Returns
string
presentDeclarationInspection
▸ presentDeclarationInspection(inspection, options?): DeclarationInspection
Apply presentation bounds only after every target’s assessment is complete.
Filtering cannot erase an authoritative first refusal or change CI results.
Parameters
Returns
DeclarationInspection
requireDeclarationInspection
▸ requireDeclarationInspection(report, require): void
Parameters
Returns
void
declarationTarget
▸ declarationTarget(target): DeclarationTarget
Owner order is retained; presentation never chooses a different first refusal.
Parameters
Returns
DeclarationTarget
inspectComputation
▸ inspectComputation(options): DeclarationInspection
Inspect a captured computation without invoking its handler. Native relational
expansion shares the reader’s boundary checks; opaque code remains opaque.
Parameters
Returns
DeclarationInspection
inspectRelation
▸ inspectRelation(options): DeclarationInspection
Exact static inspection. Native installation/access facts require its authorized
deployed reader; SQL reads require preparation by their existing input owners.
Parameters
Returns
DeclarationInspection
presentComputationInspection
▸ presentComputationInspection(input): InspectionPresentation
Presentation is derived solely from validated structured observations.
Parameters
Returns
InspectionPresentation