@photivra/engine 1.4.0 → 2.0.0

package/dist/sensor/readout-exposure-linkage.d.ts

@@ -1,28 +1,28 @@
 /**
- * Module boundary and integration notes.
- * Assesses an explicitly declared relationship between rolling sensor readout spatial phase and one or
- * more electronic exposure-boundary scans. This contract is deliberately weaker than temporal
- * synchronization. It can establish that two schedules traverse the same native spatial phase ordering
- * (or its reverse), but it does not establish when sensor data readout occurs relative to exposure
- * start/end. The total capture data-readout duration is preserved diagnostically and is never used to
- * validate the relationship. Different rolling-readout spatial skew and exposure-boundary traversal
- * durations are allowed; their ratio is reported without implying a shared clock origin.
+ * Links rolling sensor readout to electronic shutter scans, and derives the exposure schedule of a
+ * fully electronic rolling shutter.
+ *
+ * A declared link says that the readout scan and one or more exposure-boundary scans move across the
+ * sensor in the same order (or in reverse). That is deliberately weaker than time synchronization: it
+ * does not say when readout happens relative to the start or end of exposure. The total data-readout
+ * time is kept for diagnostics but never used to check the link. The readout skew and the boundary
+ * sweep times may differ; their ratio is reported without implying a shared clock.
  * @see docs/MOTION_AND_SIGNAL.md for equations, coordinate/unit conventions, blockers and support
  * limits.
  */
 import { type CalculationProvenance, type CalculationResult } from "../core/calculation-result.js";
 import { type EvidenceProvenance } from "../core/evidence-provenance.js";
 import type { RasterPoint, RasterRect } from "../output/capture-geometry.js";
-import { type ExposureBoundarySchedule, type SourcedCaptureTimingSeconds } from "./exposure-window.js";
-import { type CaptureShutterMechanism, type NativeSensorReadoutScanDirection, type SensorReadoutTimingDeclaration, type SourcedSensorTimingSeconds } from "./readout-timing.js";
+import { type CalculateCaptureExposureWindowsInput, type ExposureBoundarySchedule, type UniformLinearExposureBoundarySchedule, type SourcedCaptureTimingSeconds } from "./exposure-window.js";
+import { type CaptureShutterMechanism, type NativeSensorReadoutScanDirection, type RollingSensorReadoutTimingDeclaration, type SensorReadoutTimingDeclaration, type SourcedSensorTimingSeconds } from "./readout-timing.js";
 import type { NativeImageRaster } from "./sensor-geometry.js";
 export type ReadoutExposureBoundaryId = "opening" | "closing";
 export type ReadoutExposureSpatialPhaseOrientation = "same" | "reversed";
 export interface ReadoutExposureBoundarySpatialLink {
     boundary: ReadoutExposureBoundaryId;
     /**
-     * Relationship between normalized rolling-readout scan phase and the
-     * selected electronic exposure-boundary scan phase.
+     * How the normalized position of the rolling readout scan relates to that
+     * of the selected electronic exposure-boundary scan.
      *
      * "same": boundary normalized phase = readout normalized phase.
      * "reversed": boundary normalized phase = 1 - readout normalized phase.
@@ -31,24 +31,24 @@ export interface ReadoutExposureBoundarySpatialLink {
      */
     phaseOrientation: ReadoutExposureSpatialPhaseOrientation;
     /**
-     * Evidence supporting the relationship itself.
+     * Evidence for the link itself.
      *
-     * The readout direction/timing and exposure-boundary direction/timing retain
-     * their own separate evidence.
+     * The readout direction and timing, and the exposure-boundary direction and
+     * timing, keep their own separate evidence.
      */
     evidence: readonly EvidenceProvenance[];
 }
 export type ReadoutExposureTimingLinkageDeclaration = {
     /**
-     * Photivra asserts no readout↔exposure relationship for this capture.
+     * No link between readout and exposure is stated for this capture.
      * This is not evidence that the physical processes are independent.
      */
     kind: "unlinked";
     links?: never;
 } | {
     /**
-     * One or more exposure boundaries are explicitly related to rolling
-     * readout by normalized native-sensor spatial phase.
+     * One or more exposure boundaries are explicitly linked to the rolling
+     * readout by their normalized position across the native sensor.
      */
     kind: "spatial-phase-linked";
     links: readonly ReadoutExposureBoundarySpatialLink[];
@@ -73,15 +73,15 @@ export interface ReadoutExposureBoundarySpatialLinkAssessment {
     readoutDirectionNative: NativeSensorReadoutScanDirection;
     boundaryDirectionNative: NativeSensorReadoutScanDirection;
     /**
-     * First-to-last rolling sensor spatial sampling skew.
+     * Rolling readout skew: time from the first to the last scan position.
      */
     readoutSpatialSamplingSkewSeconds: SourcedSensorTimingSeconds;
     /**
-     * First-to-last exposure-boundary traversal duration.
+     * Time for the exposure boundary to sweep from first to last position.
      */
     boundaryTraversalDurationSeconds: SourcedCaptureTimingSeconds;
     /**
-     * Derived descriptive ratio only. A value of 1 does not prove temporal
+     * A descriptive ratio only. A value of 1 does not prove time
      * synchronization or a common clock origin.
      */
     boundaryTraversalToReadoutSpatialSkewRatio: number;
@@ -95,8 +95,8 @@ export interface ReadoutExposureTimingLinkageAssessment {
     activeCaptureRect: RasterRect;
     absoluteTemporalAlignment: "not-established";
     /**
-     * Capture data-readout duration is preserved for diagnostics but is not used
-     * to validate any exposure-boundary linkage.
+     * Data-readout time for the capture. Kept for diagnostics, but never used to
+     * check an exposure-boundary link.
      */
     captureReadoutDurationSeconds: SourcedSensorTimingSeconds;
     links: readonly ReadoutExposureBoundarySpatialLinkAssessment[];
@@ -106,18 +106,87 @@ export interface ReadoutExposureTimingLinkageAssessment {
     };
 }
 /**
- * Assesses an explicitly declared relationship between rolling sensor readout
- * spatial phase and one or more electronic exposure-boundary scans.
+ * Checks an explicitly declared link between the rolling readout scan and one
+ * or more electronic exposure-boundary scans.
  *
- * This contract is deliberately weaker than temporal synchronization. It can
- * establish that two schedules traverse the same native spatial phase ordering
- * (or its reverse), but it does not establish when sensor data readout occurs
- * relative to exposure start/end.
+ * This is deliberately weaker than time synchronization. It can show that two
+ * schedules sweep the native sensor in the same order (or in reverse), but not
+ * when readout happens relative to the start or end of exposure.
  *
- * The total capture data-readout duration is preserved diagnostically and is
- * never used to validate the relationship. Different rolling-readout spatial
- * skew and exposure-boundary traversal durations are allowed; their ratio is
- * reported without implying a shared clock origin.
+ * The total data-readout time is kept for diagnostics and never used to check
+ * the link. The readout skew and the boundary sweep time may differ; their
+ * ratio is reported without implying a shared clock.
  */
 export declare function assessReadoutExposureTimingLinkage(input: AssessReadoutExposureTimingLinkageInput): CalculationResult<ReadoutExposureTimingLinkageAssessment>;
-//# sourceMappingURL=readout-exposure-linkage.d.ts.map
+/** Model identity of the electronic rolling-shutter (line reset → line read) exposure schedule. */
+export declare const ELECTRONIC_ROLLING_SHUTTER_MODEL: Readonly<{
+    readonly id: "electronic-rolling-shutter-line-reset-read";
+    readonly version: "1.0.0";
+}>;
+export interface ResolveElectronicRollingShutterExposureScheduleInput {
+    /** Rolling readout declaration whose scan direction and spatial skew drive both exposure boundaries. */
+    readout: RollingSensorReadoutTimingDeclaration;
+    /** Per-line integration time between line reset and line read. */
+    nominalExposureDurationSeconds: SourcedCaptureTimingSeconds;
+    /**
+     * Evidence that this capture uses a fully electronic, line-by-line (rolling) shutter whose reset
+     * scan runs at the readout line rate. This explicit link is required before sensor readout timing
+     * may set the exposure-window timing.
+     */
+    linkageEvidence: readonly EvidenceProvenance[];
+}
+/**
+ * Exposure-window schedule of an electronic rolling shutter. Its `shutterMechanism`,
+ * `nominalExposureDurationSeconds`, `opening` and `closing` fields form a complete exposure schedule, so
+ * they can be passed as a native RAW / environment `exposureWindow` or spread into a production
+ * `temporalCapture.exposureWindowInput` (see {@link createRollingShutterCaptureExposureSchedule}).
+ */
+export interface ElectronicRollingShutterExposureSchedule {
+    modelId: typeof ELECTRONIC_ROLLING_SHUTTER_MODEL.id;
+    modelVersion: typeof ELECTRONIC_ROLLING_SHUTTER_MODEL.version;
+    shutterMechanism: "electronic";
+    nominalExposureDurationSeconds: SourcedCaptureTimingSeconds;
+    /** Line-reset scan: a native point at normalized scan position s starts integrating at s·τ. */
+    opening: UniformLinearExposureBoundarySchedule;
+    /** Line-read scan: the same point stops integrating at T + s·τ. */
+    closing: UniformLinearExposureBoundarySchedule;
+    /** Explicit linkage declaration accepted by {@link assessReadoutExposureTimingLinkage}. */
+    linkage: Extract<ReadoutExposureTimingLinkageDeclaration, {
+        kind: "spatial-phase-linked";
+    }>;
+    /** τ: offset between the first and last exposure starts (equal to the readout skew). */
+    lineScanSkewSeconds: number;
+    /** Every point integrates for exactly the nominal exposure duration T. */
+    localExposureDurationSeconds: number;
+    limitations: readonly string[];
+}
+/** The exposure-schedule fields of a derived rolling-shutter schedule, without model metadata. */
+export declare function createRollingShutterCaptureExposureSchedule(schedule: ElectronicRollingShutterExposureSchedule): Pick<CalculateCaptureExposureWindowsInput, "shutterMechanism" | "nominalExposureDurationSeconds" | "opening" | "closing">;
+/**
+ * Derives the exposure-window schedule of a fully electronic rolling shutter from its rolling readout
+ * declaration.
+ *
+ * In a CMOS rolling shutter, each line is reset, collects light for the exposure time T and is then
+ * read. The reset pointer runs T ahead of the read pointer, and both move at the line rate (El Gamal &
+ * Eltoukhy 2005; Liang, Chang & Chen 2008). With the uniform linear scan used throughout this engine, a
+ * native point at normalized scan position s ∈ [0, 1] (along the declared scan direction, over the
+ * active capture) collects light over [s·τ, s·τ + T], where τ is the declared first-to-last readout
+ * skew. So both boundaries become uniform linear scans in the readout direction that take τ to sweep.
+ *
+ * When this schedule feeds the per-site exposure windows, everything that samples motion, moving
+ * sources or time-varying light at local exposure times (environment RAW, rotation quadrature,
+ * temporal illumination integration) produces rolling-shutter skew, wobble, partial exposure and
+ * flicker banding.
+ *
+ * Approximation: constant line rate, no line-reset jitter, no hybrid of global reset with a mechanical
+ * closing shutter, and the active-capture skew is declared by the caller (never scaled from a
+ * full-frame value).
+ * @see docs/MOTION_AND_SIGNAL.md#electronic-rolling-shutter-image-formation
+ */
+export declare function resolveElectronicRollingShutterExposureSchedule(input: ResolveElectronicRollingShutterExposureScheduleInput): ElectronicRollingShutterExposureSchedule;
+/**
+ * True when an exposure schedule is exactly the electronic rolling-shutter schedule derived from this
+ * readout declaration: an electronic mechanism, with both boundaries scanning in the readout direction
+ * and taking the readout skew to sweep.
+ */
+export declare function isElectronicRollingShutterExposureSchedule(schedule: Pick<CalculateCaptureExposureWindowsInput, "shutterMechanism" | "opening" | "closing">, readout: SensorReadoutTimingDeclaration): boolean;

package/dist/sensor/readout-exposure-linkage.js

@@ -1,21 +1,23 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Assesses an explicitly declared relationship between rolling sensor readout spatial phase and one or
- * more electronic exposure-boundary scans. This contract is deliberately weaker than temporal
- * synchronization. It can establish that two schedules traverse the same native spatial phase ordering
- * (or its reverse), but it does not establish when sensor data readout occurs relative to exposure
- * start/end. The total capture data-readout duration is preserved diagnostically and is never used to
- * validate the relationship. Different rolling-readout spatial skew and exposure-boundary traversal
- * durations are allowed; their ratio is reported without implying a shared clock origin.
+ * Links rolling sensor readout to electronic shutter scans, and derives the exposure schedule of a
+ * fully electronic rolling shutter.
+ *
+ * A declared link says that the readout scan and one or more exposure-boundary scans move across the
+ * sensor in the same order (or in reverse). That is deliberately weaker than time synchronization: it
+ * does not say when readout happens relative to the start or end of exposure. The total data-readout
+ * time is kept for diagnostics but never used to check the link. The readout skew and the boundary
+ * sweep times may differ; their ratio is reported without implying a shared clock.
  * @see docs/MOTION_AND_SIGNAL.md for equations, coordinate/unit conventions, blockers and support
  * limits.
  */
 import { approximationResult } from "../core/calculation-result.js";
 import { parseEvidenceList } from "../core/evidence-provenance.js";
 import { InvalidScientificInputError } from "../core/validation.js";
-import { calculateCaptureExposureWindows } from "./exposure-window.js";
+import { calculateCaptureExposureWindows, parseBoundarySchedule, parseSecondsFact } from "./exposure-window.js";
 import { calculateSensorReadoutTiming } from "./readout-timing.js";
+import { requireInputKeys, rejectUnknownFields } from "../core/record-validation.js";
+import { InvalidConfigurationError } from "../core/configuration-error.js";
 const BOUNDARIES = new Set([
     "opening",
     "closing"
@@ -24,21 +26,23 @@ const PHASE_ORIENTATIONS = new Set([
     "same",
     "reversed"
 ]);
-function requireRecord(value, path) {
+function requireRecord(value, path, allowedKeys) {
     if (typeof value !== "object" || value === null || Array.isArray(value)) {
-        throw new InvalidScientificInputError(path + " must be an object.");
+        throw new InvalidConfigurationError(path + " must be an object.");
     }
+    if (allowedKeys !== null)
+        rejectUnknownFields(value, allowedKeys, path);
     return value;
 }
 function parseSpatialLink(value, path) {
-    const record = requireRecord(value, path);
+    const record = requireRecord(value, path, ["boundary", "phaseOrientation", "evidence"]);
     if (typeof record.boundary !== "string" ||
         !BOUNDARIES.has(record.boundary)) {
-        throw new InvalidScientificInputError(path + ".boundary is invalid.");
+        throw new InvalidConfigurationError(path + ".boundary is invalid.");
     }
     if (typeof record.phaseOrientation !== "string" ||
         !PHASE_ORIENTATIONS.has(record.phaseOrientation)) {
-        throw new InvalidScientificInputError(path + ".phaseOrientation is invalid.");
+        throw new InvalidConfigurationError(path + ".phaseOrientation is invalid.");
     }
     return {
         boundary: record.boundary,
@@ -47,7 +51,7 @@ function parseSpatialLink(value, path) {
     };
 }
 function parseLinkageDeclaration(value) {
-    const record = requireRecord(value, "linkage");
+    const record = requireRecord(value, "linkage", ["kind", "links"]);
     if (record.kind === "unlinked") {
         if (record.links !== undefined) {
             throw new InvalidScientificInputError("linkage.links must be omitted when linkage.kind is unlinked.");
@@ -55,10 +59,10 @@ function parseLinkageDeclaration(value) {
         return { kind: "unlinked" };
     }
     if (record.kind !== "spatial-phase-linked") {
-        throw new InvalidScientificInputError("linkage.kind is invalid.");
+        throw new InvalidConfigurationError("linkage.kind is invalid.");
     }
     if (!Array.isArray(record.links) || record.links.length === 0) {
-        throw new InvalidScientificInputError("linkage.links must be a non-empty array for spatial-phase-linked linkage.");
+        throw new InvalidConfigurationError("linkage.links must be a non-empty array for spatial-phase-linked linkage.");
     }
     const links = record.links.map((entry, index) => parseSpatialLink(entry, "linkage.links[" + index + "]"));
     const seen = new Set();
@@ -91,20 +95,19 @@ function expectedBoundaryDirection(readoutDirection, phaseOrientation) {
         : oppositeDirection(readoutDirection);
 }
 /**
- * Assesses an explicitly declared relationship between rolling sensor readout
- * spatial phase and one or more electronic exposure-boundary scans.
+ * Checks an explicitly declared link between the rolling readout scan and one
+ * or more electronic exposure-boundary scans.
  *
- * This contract is deliberately weaker than temporal synchronization. It can
- * establish that two schedules traverse the same native spatial phase ordering
- * (or its reverse), but it does not establish when sensor data readout occurs
- * relative to exposure start/end.
+ * This is deliberately weaker than time synchronization. It can show that two
+ * schedules sweep the native sensor in the same order (or in reverse), but not
+ * when readout happens relative to the start or end of exposure.
  *
- * The total capture data-readout duration is preserved diagnostically and is
- * never used to validate the relationship. Different rolling-readout spatial
- * skew and exposure-boundary traversal durations are allowed; their ratio is
- * reported without implying a shared clock origin.
+ * The total data-readout time is kept for diagnostics and never used to check
+ * the link. The readout skew and the boundary sweep time may differ; their
+ * ratio is reported without implying a shared clock.
  */
 export function assessReadoutExposureTimingLinkage(input) {
+    requireInputKeys(input, "assessReadoutExposureTimingLinkage", ["nativeRaster", "activeCaptureRect", "shutterMechanism", "readout", "nominalExposureDurationSeconds", "opening", "closing", "linkage", "samplePointsNative"]);
     const linkage = parseLinkageDeclaration(input.linkage);
     const sensorReadout = calculateSensorReadoutTiming({
         nativeRaster: input.nativeRaster,
@@ -219,4 +222,99 @@ export function assessReadoutExposureTimingLinkage(input) {
         "No camera-specific timing relationship is inferred from shutter mechanism, sensor architecture metadata, output resolution or adjacent specifications."
     ]);
 }
+/** Model identity of the electronic rolling-shutter (line reset → line read) exposure schedule. */
+export const ELECTRONIC_ROLLING_SHUTTER_MODEL = Object.freeze({
+    id: "electronic-rolling-shutter-line-reset-read",
+    version: "1.0.0"
+});
+/** The exposure-schedule fields of a derived rolling-shutter schedule, without model metadata. */
+export function createRollingShutterCaptureExposureSchedule(schedule) {
+    // 2.0.0: the whole schedule is checked, so an unknown field at any level is rejected.
+    const record = requireRecord(schedule, "rollingShutterSchedule", ["modelId", "modelVersion", "shutterMechanism",
+        "nominalExposureDurationSeconds", "opening", "closing", "linkage", "lineScanSkewSeconds", "localExposureDurationSeconds",
+        "limitations"]);
+    parseSecondsFact(record.nominalExposureDurationSeconds, "rollingShutterSchedule.nominalExposureDurationSeconds");
+    parseBoundarySchedule(record.opening, "rollingShutterSchedule.opening");
+    parseBoundarySchedule(record.closing, "rollingShutterSchedule.closing");
+    if (record.linkage !== undefined)
+        parseLinkageDeclaration(record.linkage);
+    return structuredClone({ shutterMechanism: schedule.shutterMechanism,
+        nominalExposureDurationSeconds: schedule.nominalExposureDurationSeconds,
+        opening: schedule.opening, closing: schedule.closing });
+}
+/**
+ * Derives the exposure-window schedule of a fully electronic rolling shutter from its rolling readout
+ * declaration.
+ *
+ * In a CMOS rolling shutter, each line is reset, collects light for the exposure time T and is then
+ * read. The reset pointer runs T ahead of the read pointer, and both move at the line rate (El Gamal &
+ * Eltoukhy 2005; Liang, Chang & Chen 2008). With the uniform linear scan used throughout this engine, a
+ * native point at normalized scan position s ∈ [0, 1] (along the declared scan direction, over the
+ * active capture) collects light over [s·τ, s·τ + T], where τ is the declared first-to-last readout
+ * skew. So both boundaries become uniform linear scans in the readout direction that take τ to sweep.
+ *
+ * When this schedule feeds the per-site exposure windows, everything that samples motion, moving
+ * sources or time-varying light at local exposure times (environment RAW, rotation quadrature,
+ * temporal illumination integration) produces rolling-shutter skew, wobble, partial exposure and
+ * flicker banding.
+ *
+ * Approximation: constant line rate, no line-reset jitter, no hybrid of global reset with a mechanical
+ * closing shutter, and the active-capture skew is declared by the caller (never scaled from a
+ * full-frame value).
+ * @see docs/MOTION_AND_SIGNAL.md#electronic-rolling-shutter-image-formation
+ */
+export function resolveElectronicRollingShutterExposureSchedule(input) {
+    requireInputKeys(input, "resolveElectronicRollingShutterExposureSchedule", ["readout", "nominalExposureDurationSeconds", "linkageEvidence"]);
+    // The input keys are checked above; calculateSensorReadoutTiming checks the readout's own fields.
+    const record = requireRecord(input, "rollingShutter", null);
+    const readout = requireRecord(record.readout, "rollingShutter.readout", null);
+    if (readout.readoutMode !== "rolling") {
+        throw new InvalidScientificInputError("An electronic rolling-shutter exposure schedule requires a rolling sensor readout declaration.");
+    }
+    const linkageEvidence = parseEvidenceList(input.linkageEvidence, "rollingShutter.linkageEvidence");
+    const rolling = input.readout;
+    // Check the declaration and the exposure fact with the existing readout and exposure-window calculators.
+    const probeRaster = { pixelWidth: 2, pixelHeight: 2 };
+    calculateSensorReadoutTiming({ nativeRaster: probeRaster, shutterMechanism: "electronic", readout: rolling });
+    const opening = {
+        kind: "uniform-linear-native-scan",
+        directionNative: { value: rolling.scanDirectionNative.value, evidence: [...rolling.scanDirectionNative.evidence] },
+        traversalDurationSeconds: { value: rolling.spatialSamplingSkewSeconds.value, unit: "s",
+            evidence: [...rolling.spatialSamplingSkewSeconds.evidence] }
+    };
+    const closing = structuredClone(opening);
+    const nominal = calculateCaptureExposureWindows({ nativeRaster: probeRaster, shutterMechanism: "electronic",
+        nominalExposureDurationSeconds: input.nominalExposureDurationSeconds, opening, closing }).value.nominalExposureDurationSeconds;
+    return {
+        modelId: ELECTRONIC_ROLLING_SHUTTER_MODEL.id,
+        modelVersion: ELECTRONIC_ROLLING_SHUTTER_MODEL.version,
+        shutterMechanism: "electronic",
+        nominalExposureDurationSeconds: { value: nominal.value, unit: "s", evidence: [...nominal.evidence] },
+        opening,
+        closing,
+        linkage: { kind: "spatial-phase-linked", links: [
+                { boundary: "opening", phaseOrientation: "same", evidence: linkageEvidence },
+                { boundary: "closing", phaseOrientation: "same", evidence: linkageEvidence }
+            ] },
+        lineScanSkewSeconds: rolling.spatialSamplingSkewSeconds.value,
+        localExposureDurationSeconds: nominal.value,
+        limitations: [
+            "Uniform-linear line timing: each native point integrates over [s·τ, s·τ + T] with s its normalized scan position.",
+            "Line-reset jitter, non-uniform line timing, global-reset release and mechanical-close hybrids are not modeled.",
+            "The skew τ is the caller-declared active-capture spatial sampling skew; it is never scaled from a full-frame value."
+        ]
+    };
+}
+/**
+ * True when an exposure schedule is exactly the electronic rolling-shutter schedule derived from this
+ * readout declaration: an electronic mechanism, with both boundaries scanning in the readout direction
+ * and taking the readout skew to sweep.
+ */
+export function isElectronicRollingShutterExposureSchedule(schedule, readout) {
+    if (readout.readoutMode !== "rolling" || schedule.shutterMechanism !== "electronic")
+        return false;
+    return [schedule.opening, schedule.closing].every((boundary) => boundary.kind === "uniform-linear-native-scan" &&
+        boundary.directionNative.value === readout.scanDirectionNative.value &&
+        boundary.traversalDurationSeconds.value === readout.spatialSamplingSkewSeconds.value);
+}
 //# sourceMappingURL=readout-exposure-linkage.js.map

package/dist/sensor/readout-exposure-linkage.js.map

@@ -1 +1 @@
-{"version":3,"file":"readout-exposure-linkage.js","sourceRoot":"","sources":["../../src/sensor/readout-exposure-linkage.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,mBAAmB,EAGpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,iBAAiB,EAElB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EACL,+BAA+B,EAGhC,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,4BAA4B,EAK7B,MAAM,qBAAqB,CAAC;AA6G7B,MAAM,UAAU,GAAG,IAAI,GAAG,CAA4B;IACpD,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,kBAAkB,GACtB,IAAI,GAAG,CAAyC;IAC9C,MAAM;IACN,UAAU;CACX,CAAC,CAAC;AAEL,SAAS,aAAa,CAAC,KAAc,EAAE,IAAY;IACjD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,2BAA2B,CAAC,IAAI,GAAG,qBAAqB,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,KAAsB,CAAC;AAChC,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAE1C,IACE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACnC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,QAAqC,CAAC,EAC7D,CAAC;QACD,MAAM,IAAI,2BAA2B,CAAC,IAAI,GAAG,uBAAuB,CAAC,CAAC;IACxE,CAAC;IAED,IACE,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;QAC3C,CAAC,kBAAkB,CAAC,GAAG,CACrB,MAAM,CAAC,gBAA0D,CAClE,EACD,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI,GAAG,+BAA+B,CACvC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAqC;QACtD,gBAAgB,EACd,MAAM,CAAC,gBAA0D;QACnE,QAAQ,EAAE,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,GAAG,WAAW,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc;IAEd,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAE/C,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,2BAA2B,CACnC,8DAA8D,CAC/D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,MAAM,IAAI,2BAA2B,CAAC,0BAA0B,CAAC,CAAC;IACpE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,2BAA2B,CACnC,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC9C,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,KAAK,GAAG,GAAG,CAAC,CACxD,CAAC;IAEF,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,2BAA2B,CACnC,0DAA0D,CAC3D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,SAA2C;IAE3C,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,gBAAkD,EAClD,gBAAwD;IAExD,OAAO,gBAAgB,KAAK,MAAM;QAChC,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,kCAAkC,CAChD,KAA8C;IAE9C,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEvD,MAAM,aAAa,GAAG,4BAA4B,CAAC;QACjD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACnD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,+BAA+B,CAAC;QACtD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACnD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,8BAA8B,EAC5B,KAAK,CAAC,8BAA8B;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,mBAAmB,CACxB;YACE,WAAW,EAAE,UAAU;YACvB,mBAAmB,EACjB,2CAA2C;YAC7C,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,WAAW;YAC5C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,iBAAiB,EAAE;gBACjB,GAAG,aAAa,CAAC,KAAK,CAAC,iBAAiB;aACzC;YACD,yBAAyB,EAAE,iBAAiB;YAC5C,6BAA6B,EAC3B,aAAa,CAAC,KAAK,CAAC,6BAA6B;YACnD,KAAK,EAAE,EAAE;YACT,mBAAmB,EAAE;gBACnB,aAAa,EAAE,aAAa,CAAC,UAAU;gBACvC,eAAe,EAAE,eAAe,CAAC,UAAU;aAC5C;SACF,EACD,kCAAkC,EAClC,OAAO,EACP;YACE,iJAAiJ;YACjJ,oGAAoG;YACpG,8FAA8F;SAC/F,CACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;IAC7C,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,2BAA2B,CACnC,mFAAmF,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GACf,OAAO,CAAC,KAAK,CAAC,GAAG,CACf,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,SAAS;YACzB,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO;YAC/B,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC;QAEpC,IAAI,QAAQ,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YACvC,MAAM,IAAI,2BAA2B,CACnC,+EAA+E,CAChF,CAAC;QACJ,CAAC;QAED,IACE,QAAQ,CAAC,QAAQ,CAAC,IAAI;YACtB,4BAA4B,EAC5B,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,2GAA2G,CAC5G,CAAC;QACJ,CAAC;QAED,MAAM,gBAAgB,GACpB,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC;QACpC,MAAM,iBAAiB,GACrB,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC;QAC1C,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,gBAAgB,EAChB,IAAI,CAAC,gBAAgB,CACtB,CAAC;QAEF,IAAI,iBAAiB,KAAK,iBAAiB,EAAE,CAAC;YAC5C,MAAM,IAAI,2BAA2B,CACnC,oHAAoH,CACrH,CAAC;QACJ,CAAC;QAED,MAAM,iCAAiC,GACrC,WAAW,CAAC,0BAA0B,CAAC;QACzC,MAAM,gCAAgC,GACpC,QAAQ,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QAE7C,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,gBAAgB,EAAE,YAAY;YAC9B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,2BAA2B,EACzB,IAAI,CAAC,gBAAgB,KAAK,MAAM;gBAC9B,CAAC,CAAC,qCAAqC;gBACvC,CAAC,CAAC,+CAA+C;YACrD,oBAAoB,EAAE,IAAI,CAAC,QAAQ;YACnC,sBAAsB,EAAE,gBAAgB;YACxC,uBAAuB,EAAE,iBAAiB;YAC1C,iCAAiC;YACjC,gCAAgC;YAChC,0CAA0C,EACxC,gCAAgC,CAAC,KAAK;gBACtC,iCAAiC,CAAC,KAAK;YACzC,yBAAyB,EAAE,iBAAiB;SAC7C,CAAC;IACJ,CAAC,CACF,CAAC;IAEJ,OAAO,mBAAmB,CACxB;QACE,WAAW,EAAE,sBAAsB;QACnC,mBAAmB,EACjB,gDAAgD;QAClD,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,WAAW;QAC5C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB,EAAE;YACjB,GAAG,aAAa,CAAC,KAAK,CAAC,iBAAiB;SACzC;QACD,yBAAyB,EAAE,iBAAiB;QAC5C,6BAA6B,EAC3B,aAAa,CAAC,KAAK,CAAC,6BAA6B;QACnD,KAAK,EAAE,WAAW;QAClB,mBAAmB,EAAE;YACnB,aAAa,EAAE,aAAa,CAAC,UAAU;YACvC,eAAe,EAAE,eAAe,CAAC,UAAU;SAC5C;KACF,EACD,kCAAkC,EAClC,OAAO,EACP;QACE,mHAAmH;QACnH,gIAAgI;QAChI,4FAA4F;QAC5F,2JAA2J;QAC3J,4JAA4J;QAC5J,yFAAyF;QACzF,iJAAiJ;QACjJ,yIAAyI;QACzI,wJAAwJ;KACzJ,CACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"readout-exposure-linkage.js","sourceRoot":"","sources":["../../src/sensor/readout-exposure-linkage.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;;GAWG;AAEH,OAAO,EACL,mBAAmB,EAGpB,MAAM,+BAA+B,CAAC;AACvC,OAAO,EACL,iBAAiB,EAElB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EACL,+BAA+B,EAC/B,qBAAqB,EACrB,gBAAgB,EAKjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,4BAA4B,EAM7B,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACrF,OAAO,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AA4G3E,MAAM,UAAU,GAAG,IAAI,GAAG,CAA4B;IACpD,SAAS;IACT,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,kBAAkB,GACtB,IAAI,GAAG,CAAyC;IAC9C,MAAM;IACN,UAAU;CACX,CAAC,CAAC;AAEL,SAAS,aAAa,CACpB,KAAc,EACd,IAAY,EACZ,WAAqC;IAErC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,yBAAyB,CAAC,IAAI,GAAG,qBAAqB,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,WAAW,KAAK,IAAI;QAAE,mBAAmB,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IACxE,OAAO,KAAsB,CAAC;AAChC,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,UAAU,EAAE,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;IAExF,IACE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ;QACnC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,QAAqC,CAAC,EAC7D,CAAC;QACD,MAAM,IAAI,yBAAyB,CAAC,IAAI,GAAG,uBAAuB,CAAC,CAAC;IACtE,CAAC;IAED,IACE,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;QAC3C,CAAC,kBAAkB,CAAC,GAAG,CACrB,MAAM,CAAC,gBAA0D,CAClE,EACD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI,GAAG,+BAA+B,CACvC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAqC;QACtD,gBAAgB,EACd,MAAM,CAAC,gBAA0D;QACnE,QAAQ,EAAE,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,GAAG,WAAW,CAAC;KACjE,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAc;IAEd,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAElE,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,MAAM,IAAI,2BAA2B,CACnC,8DAA8D,CAC/D,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAC3C,MAAM,IAAI,yBAAyB,CAAC,0BAA0B,CAAC,CAAC;IAClE,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,yBAAyB,CACjC,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC9C,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG,KAAK,GAAG,GAAG,CAAC,CACxD,CAAC;IAEF,MAAM,IAAI,GAAG,IAAI,GAAG,EAA6B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,2BAA2B,CACnC,0DAA0D,CAC3D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,IAAI,EAAE,sBAAsB;QAC5B,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,SAA2C;IAE3C,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAChC,gBAAkD,EAClD,gBAAwD;IAExD,OAAO,gBAAgB,KAAK,MAAM;QAChC,CAAC,CAAC,gBAAgB;QAClB,CAAC,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kCAAkC,CAChD,KAA8C;IAE9C,gBAAgB,CAAC,KAAK,EAAE,oCAAoC,EAAE,CAAC,cAAc,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,SAAS,EAAE,gCAAgC,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,oBAAoB,CAAC,CAAC,CAAC;IAC7N,MAAM,OAAO,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEvD,MAAM,aAAa,GAAG,4BAA4B,CAAC;QACjD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACnD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,MAAM,eAAe,GAAG,+BAA+B,CAAC;QACtD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,GAAG,CAAC,KAAK,CAAC,iBAAiB,KAAK,SAAS;YACvC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,KAAK,CAAC,iBAAiB,EAAE,CAAC;QACnD,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,8BAA8B,EAC5B,KAAK,CAAC,8BAA8B;QACtC,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,GAAG,CAAC,KAAK,CAAC,kBAAkB,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;KACtD,CAAC,CAAC;IAEH,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,mBAAmB,CACxB;YACE,WAAW,EAAE,UAAU;YACvB,mBAAmB,EACjB,2CAA2C;YAC7C,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,WAAW;YAC5C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,iBAAiB,EAAE;gBACjB,GAAG,aAAa,CAAC,KAAK,CAAC,iBAAiB;aACzC;YACD,yBAAyB,EAAE,iBAAiB;YAC5C,6BAA6B,EAC3B,aAAa,CAAC,KAAK,CAAC,6BAA6B;YACnD,KAAK,EAAE,EAAE;YACT,mBAAmB,EAAE;gBACnB,aAAa,EAAE,aAAa,CAAC,UAAU;gBACvC,eAAe,EAAE,eAAe,CAAC,UAAU;aAC5C;SACF,EACD,kCAAkC,EAClC,OAAO,EACP;YACE,iJAAiJ;YACjJ,oGAAoG;YACpG,8FAA8F;SAC/F,CACF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC;IAC7C,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,MAAM,IAAI,2BAA2B,CACnC,mFAAmF,CACpF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GACf,OAAO,CAAC,KAAK,CAAC,GAAG,CACf,CAAC,IAAI,EAAE,EAAE;QACP,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,KAAK,SAAS;YACzB,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO;YAC/B,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,CAAC;QAEpC,IAAI,QAAQ,CAAC,QAAQ,KAAK,YAAY,EAAE,CAAC;YACvC,MAAM,IAAI,2BAA2B,CACnC,+EAA+E,CAChF,CAAC;QACJ,CAAC;QAED,IACE,QAAQ,CAAC,QAAQ,CAAC,IAAI;YACtB,4BAA4B,EAC5B,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,2GAA2G,CAC5G,CAAC;QACJ,CAAC;QAED,MAAM,gBAAgB,GACpB,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC;QACpC,MAAM,iBAAiB,GACrB,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC;QAC1C,MAAM,iBAAiB,GAAG,yBAAyB,CACjD,gBAAgB,EAChB,IAAI,CAAC,gBAAgB,CACtB,CAAC;QAEF,IAAI,iBAAiB,KAAK,iBAAiB,EAAE,CAAC;YAC5C,MAAM,IAAI,2BAA2B,CACnC,oHAAoH,CACrH,CAAC;QACJ,CAAC;QAED,MAAM,iCAAiC,GACrC,WAAW,CAAC,0BAA0B,CAAC;QACzC,MAAM,gCAAgC,GACpC,QAAQ,CAAC,QAAQ,CAAC,wBAAwB,CAAC;QAE7C,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,gBAAgB,EAAE,YAAY;YAC9B,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,2BAA2B,EACzB,IAAI,CAAC,gBAAgB,KAAK,MAAM;gBAC9B,CAAC,CAAC,qCAAqC;gBACvC,CAAC,CAAC,+CAA+C;YACrD,oBAAoB,EAAE,IAAI,CAAC,QAAQ;YACnC,sBAAsB,EAAE,gBAAgB;YACxC,uBAAuB,EAAE,iBAAiB;YAC1C,iCAAiC;YACjC,gCAAgC;YAChC,0CAA0C,EACxC,gCAAgC,CAAC,KAAK;gBACtC,iCAAiC,CAAC,KAAK;YACzC,yBAAyB,EAAE,iBAAiB;SAC7C,CAAC;IACJ,CAAC,CACF,CAAC;IAEJ,OAAO,mBAAmB,CACxB;QACE,WAAW,EAAE,sBAAsB;QACnC,mBAAmB,EACjB,gDAAgD;QAClD,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,WAAW;QAC5C,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,iBAAiB,EAAE;YACjB,GAAG,aAAa,CAAC,KAAK,CAAC,iBAAiB;SACzC;QACD,yBAAyB,EAAE,iBAAiB;QAC5C,6BAA6B,EAC3B,aAAa,CAAC,KAAK,CAAC,6BAA6B;QACnD,KAAK,EAAE,WAAW;QAClB,mBAAmB,EAAE;YACnB,aAAa,EAAE,aAAa,CAAC,UAAU;YACvC,eAAe,EAAE,eAAe,CAAC,UAAU;SAC5C;KACF,EACD,kCAAkC,EAClC,OAAO,EACP;QACE,mHAAmH;QACnH,gIAAgI;QAChI,4FAA4F;QAC5F,2JAA2J;QAC3J,4JAA4J;QAC5J,yFAAyF;QACzF,iJAAiJ;QACjJ,yIAAyI;QACzI,wJAAwJ;KACzJ,CACF,CAAC;AACJ,CAAC;AAED,mGAAmG;AACnG,MAAM,CAAC,MAAM,gCAAgC,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5D,EAAE,EAAE,4CAA4C;IAChD,OAAO,EAAE,OAAO;CACR,CAAC,CAAC;AAuCZ,kGAAkG;AAClG,MAAM,UAAU,2CAA2C,CACzD,QAAkD;IAElD,sFAAsF;IACtF,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,EAAE,wBAAwB,EAAE,CAAC,SAAS,EAAE,cAAc,EAAE,kBAAkB;QAC7G,gCAAgC,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,qBAAqB,EAAE,8BAA8B;QACxH,aAAa,CAAC,CAAC,CAAC;IAClB,gBAAgB,CAAC,MAAM,CAAC,8BAA8B,EAAE,uDAAuD,CAAC,CAAC;IACjH,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;IACxE,qBAAqB,CAAC,MAAM,CAAC,OAAO,EAAE,gCAAgC,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,uBAAuB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1E,OAAO,eAAe,CAAC,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB;QAClE,8BAA8B,EAAE,QAAQ,CAAC,8BAA8B;QACvE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,UAAU,+CAA+C,CAC7D,KAA2D;IAE3D,gBAAgB,CAAC,KAAK,EAAE,iDAAiD,EAAE,CAAC,SAAS,EAAE,gCAAgC,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC7I,kGAAkG;IAClG,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,wBAAwB,EAAE,IAAI,CAAC,CAAC;IAC9E,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,IAAI,2BAA2B,CACnC,gGAAgG,CACjG,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,iBAAiB,CAAC,KAAK,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,yGAAyG;IACzG,MAAM,WAAW,GAAG,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IACtD,4BAA4B,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9G,MAAM,OAAO,GAA0C;QACrD,IAAI,EAAE,4BAA4B;QAClC,eAAe,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE;QAClH,wBAAwB,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG;YACpF,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,0BAA0B,CAAC,QAAQ,CAAC,EAAE;KAC/D,CAAC;IACF,MAAM,OAAO,GAA0C,eAAe,CAAC,OAAO,CAAC,CAAC;IAChF,MAAM,OAAO,GAAG,+BAA+B,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY;QACzG,8BAA8B,EAAE,KAAK,CAAC,8BAA8B,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,8BAA8B,CAAC;IACjI,OAAO;QACL,OAAO,EAAE,gCAAgC,CAAC,EAAE;QAC5C,YAAY,EAAE,gCAAgC,CAAC,OAAO;QACtD,gBAAgB,EAAE,YAAY;QAC9B,8BAA8B,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,EAAE;QACpG,OAAO;QACP,OAAO;QACP,OAAO,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE;gBAC9C,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE;gBAC5E,EAAE,QAAQ,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE;aAAC,EAAE;QACjF,mBAAmB,EAAE,OAAO,CAAC,0BAA0B,CAAC,KAAK;QAC7D,4BAA4B,EAAE,OAAO,CAAC,KAAK;QAC3C,WAAW,EAAE;YACX,mHAAmH;YACnH,gHAAgH;YAChH,qHAAqH;SACtH;KACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0CAA0C,CACxD,QAAgG,EAChG,OAAuC;IAEvC,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,QAAQ,CAAC,gBAAgB,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAClG,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,4BAA4B;QAC5G,QAAQ,CAAC,eAAe,CAAC,KAAK,KAAK,OAAO,CAAC,mBAAmB,CAAC,KAAK;QACpE,QAAQ,CAAC,wBAAwB,CAAC,KAAK,KAAK,OAAO,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;AAC1F,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Links rolling sensor readout to electronic shutter scans, and derives the exposure schedule of a\n * fully electronic rolling shutter.\n *\n * A declared link says that the readout scan and one or more exposure-boundary scans move across the\n * sensor in the same order (or in reverse). That is deliberately weaker than time synchronization: it\n * does not say when readout happens relative to the start or end of exposure. The total data-readout\n * time is kept for diagnostics but never used to check the link. The readout skew and the boundary\n * sweep times may differ; their ratio is reported without implying a shared clock.\n * @see docs/MOTION_AND_SIGNAL.md for equations, coordinate/unit conventions, blockers and support\n * limits.\n */\n\nimport {\n  approximationResult,\n  type CalculationProvenance,\n  type CalculationResult\n} from \"../core/calculation-result.js\";\nimport {\n  parseEvidenceList,\n  type EvidenceProvenance\n} from \"../core/evidence-provenance.js\";\nimport { InvalidScientificInputError } from \"../core/validation.js\";\nimport type { RasterPoint, RasterRect } from \"../output/capture-geometry.js\";\nimport {\n  calculateCaptureExposureWindows,\n  parseBoundarySchedule,\n  parseSecondsFact,\n  type CalculateCaptureExposureWindowsInput,\n  type ExposureBoundarySchedule,\n  type UniformLinearExposureBoundarySchedule,\n  type SourcedCaptureTimingSeconds\n} from \"./exposure-window.js\";\nimport {\n  calculateSensorReadoutTiming,\n  type CaptureShutterMechanism,\n  type NativeSensorReadoutScanDirection,\n  type RollingSensorReadoutTimingDeclaration,\n  type SensorReadoutTimingDeclaration,\n  type SourcedSensorTimingSeconds\n} from \"./readout-timing.js\";\nimport type { NativeImageRaster } from \"./sensor-geometry.js\";\nimport { requireInputKeys, rejectUnknownFields } from \"../core/record-validation.js\";\nimport { InvalidConfigurationError } from \"../core/configuration-error.js\";\n\nexport type ReadoutExposureBoundaryId = \"opening\" | \"closing\";\n\nexport type ReadoutExposureSpatialPhaseOrientation =\n  | \"same\"\n  | \"reversed\";\n\nexport interface ReadoutExposureBoundarySpatialLink {\n  boundary: ReadoutExposureBoundaryId;\n  /**\n   * How the normalized position of the rolling readout scan relates to that\n   * of the selected electronic exposure-boundary scan.\n   *\n   * \"same\": boundary normalized phase = readout normalized phase.\n   * \"reversed\": boundary normalized phase = 1 - readout normalized phase.\n   *\n   * This does not establish absolute temporal synchronization.\n   */\n  phaseOrientation: ReadoutExposureSpatialPhaseOrientation;\n  /**\n   * Evidence for the link itself.\n   *\n   * The readout direction and timing, and the exposure-boundary direction and\n   * timing, keep their own separate evidence.\n   */\n  evidence: readonly EvidenceProvenance[];\n}\n\nexport type ReadoutExposureTimingLinkageDeclaration =\n  | {\n      /**\n       * No link between readout and exposure is stated for this capture.\n       * This is not evidence that the physical processes are independent.\n       */\n      kind: \"unlinked\";\n      links?: never;\n    }\n  | {\n      /**\n       * One or more exposure boundaries are explicitly linked to the rolling\n       * readout by their normalized position across the native sensor.\n       */\n      kind: \"spatial-phase-linked\";\n      links: readonly ReadoutExposureBoundarySpatialLink[];\n    };\n\nexport interface AssessReadoutExposureTimingLinkageInput {\n  nativeRaster: NativeImageRaster;\n  activeCaptureRect?: RasterRect;\n  shutterMechanism: CaptureShutterMechanism;\n  readout: SensorReadoutTimingDeclaration;\n  nominalExposureDurationSeconds: SourcedCaptureTimingSeconds;\n  opening: ExposureBoundarySchedule;\n  closing: ExposureBoundarySchedule;\n  linkage: ReadoutExposureTimingLinkageDeclaration;\n  samplePointsNative?: readonly RasterPoint[];\n}\n\nexport interface ReadoutExposureBoundarySpatialLinkAssessment {\n  boundary: ReadoutExposureBoundaryId;\n  boundaryActuator: \"electronic\";\n  phaseOrientation: ReadoutExposureSpatialPhaseOrientation;\n  normalizedPhaseRelationship:\n    | \"boundary-phase-equals-readout-phase\"\n    | \"boundary-phase-equals-one-minus-readout-phase\";\n  relationshipEvidence: readonly EvidenceProvenance[];\n  readoutDirectionNative: NativeSensorReadoutScanDirection;\n  boundaryDirectionNative: NativeSensorReadoutScanDirection;\n  /**\n   * Rolling readout skew: time from the first to the last scan position.\n   */\n  readoutSpatialSamplingSkewSeconds: SourcedSensorTimingSeconds;\n  /**\n   * Time for the exposure boundary to sweep from first to last position.\n   */\n  boundaryTraversalDurationSeconds: SourcedCaptureTimingSeconds;\n  /**\n   * A descriptive ratio only. A value of 1 does not prove time\n   * synchronization or a common clock origin.\n   */\n  boundaryTraversalToReadoutSpatialSkewRatio: number;\n  absoluteTemporalAlignment: \"not-established\";\n}\n\nexport interface ReadoutExposureTimingLinkageAssessment {\n  linkageKind: ReadoutExposureTimingLinkageDeclaration[\"kind\"];\n  relationshipMeaning:\n    | \"no-readout-exposure-relationship-asserted\"\n    | \"normalized-spatial-phase-relationship-asserted\";\n  readoutMode: \"rolling\" | \"global\";\n  shutterMechanism: CaptureShutterMechanism;\n  activeCaptureRect: RasterRect;\n  absoluteTemporalAlignment: \"not-established\";\n  /**\n   * Data-readout time for the capture. Kept for diagnostics, but never used to\n   * check an exposure-boundary link.\n   */\n  captureReadoutDurationSeconds: SourcedSensorTimingSeconds;\n  links: readonly ReadoutExposureBoundarySpatialLinkAssessment[];\n  componentProvenance: {\n    sensorReadout: CalculationProvenance;\n    exposureWindows: CalculationProvenance;\n  };\n}\n\ntype UnknownRecord = Record<string, unknown>;\n\nconst BOUNDARIES = new Set<ReadoutExposureBoundaryId>([\n  \"opening\",\n  \"closing\"\n]);\n\nconst PHASE_ORIENTATIONS =\n  new Set<ReadoutExposureSpatialPhaseOrientation>([\n    \"same\",\n    \"reversed\"\n  ]);\n\nfunction requireRecord(\n  value: unknown,\n  path: string,\n  allowedKeys: readonly string[] | null\n): UnknownRecord {\n  if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n    throw new InvalidConfigurationError(path + \" must be an object.\");\n  }\n  if (allowedKeys !== null) rejectUnknownFields(value, allowedKeys, path);\n  return value as UnknownRecord;\n}\n\nfunction parseSpatialLink(\n  value: unknown,\n  path: string\n): ReadoutExposureBoundarySpatialLink {\n  const record = requireRecord(value, path, [\"boundary\", \"phaseOrientation\", \"evidence\"]);\n\n  if (\n    typeof record.boundary !== \"string\" ||\n    !BOUNDARIES.has(record.boundary as ReadoutExposureBoundaryId)\n  ) {\n    throw new InvalidConfigurationError(path + \".boundary is invalid.\");\n  }\n\n  if (\n    typeof record.phaseOrientation !== \"string\" ||\n    !PHASE_ORIENTATIONS.has(\n      record.phaseOrientation as ReadoutExposureSpatialPhaseOrientation\n    )\n  ) {\n    throw new InvalidConfigurationError(\n      path + \".phaseOrientation is invalid.\"\n    );\n  }\n\n  return {\n    boundary: record.boundary as ReadoutExposureBoundaryId,\n    phaseOrientation:\n      record.phaseOrientation as ReadoutExposureSpatialPhaseOrientation,\n    evidence: parseEvidenceList(record.evidence, path + \".evidence\")\n  };\n}\n\nfunction parseLinkageDeclaration(\n  value: unknown\n): ReadoutExposureTimingLinkageDeclaration {\n  const record = requireRecord(value, \"linkage\", [\"kind\", \"links\"]);\n\n  if (record.kind === \"unlinked\") {\n    if (record.links !== undefined) {\n      throw new InvalidScientificInputError(\n        \"linkage.links must be omitted when linkage.kind is unlinked.\"\n      );\n    }\n    return { kind: \"unlinked\" };\n  }\n\n  if (record.kind !== \"spatial-phase-linked\") {\n    throw new InvalidConfigurationError(\"linkage.kind is invalid.\");\n  }\n\n  if (!Array.isArray(record.links) || record.links.length === 0) {\n    throw new InvalidConfigurationError(\n      \"linkage.links must be a non-empty array for spatial-phase-linked linkage.\"\n    );\n  }\n\n  const links = record.links.map((entry, index) =>\n    parseSpatialLink(entry, \"linkage.links[\" + index + \"]\")\n  );\n\n  const seen = new Set<ReadoutExposureBoundaryId>();\n  for (const link of links) {\n    if (seen.has(link.boundary)) {\n      throw new InvalidScientificInputError(\n        \"linkage.links must not contain duplicate boundary links.\"\n      );\n    }\n    seen.add(link.boundary);\n  }\n\n  return {\n    kind: \"spatial-phase-linked\",\n    links\n  };\n}\n\nfunction oppositeDirection(\n  direction: NativeSensorReadoutScanDirection\n): NativeSensorReadoutScanDirection {\n  switch (direction) {\n    case \"top-to-bottom\":\n      return \"bottom-to-top\";\n    case \"bottom-to-top\":\n      return \"top-to-bottom\";\n    case \"left-to-right\":\n      return \"right-to-left\";\n    case \"right-to-left\":\n      return \"left-to-right\";\n  }\n}\n\nfunction expectedBoundaryDirection(\n  readoutDirection: NativeSensorReadoutScanDirection,\n  phaseOrientation: ReadoutExposureSpatialPhaseOrientation\n): NativeSensorReadoutScanDirection {\n  return phaseOrientation === \"same\"\n    ? readoutDirection\n    : oppositeDirection(readoutDirection);\n}\n\n/**\n * Checks an explicitly declared link between the rolling readout scan and one\n * or more electronic exposure-boundary scans.\n *\n * This is deliberately weaker than time synchronization. It can show that two\n * schedules sweep the native sensor in the same order (or in reverse), but not\n * when readout happens relative to the start or end of exposure.\n *\n * The total data-readout time is kept for diagnostics and never used to check\n * the link. The readout skew and the boundary sweep time may differ; their\n * ratio is reported without implying a shared clock.\n */\nexport function assessReadoutExposureTimingLinkage(\n  input: AssessReadoutExposureTimingLinkageInput\n): CalculationResult<ReadoutExposureTimingLinkageAssessment> {\n  requireInputKeys(input, \"assessReadoutExposureTimingLinkage\", [\"nativeRaster\", \"activeCaptureRect\", \"shutterMechanism\", \"readout\", \"nominalExposureDurationSeconds\", \"opening\", \"closing\", \"linkage\", \"samplePointsNative\"]);\n  const linkage = parseLinkageDeclaration(input.linkage);\n\n  const sensorReadout = calculateSensorReadoutTiming({\n    nativeRaster: input.nativeRaster,\n    ...(input.activeCaptureRect === undefined\n      ? {}\n      : { activeCaptureRect: input.activeCaptureRect }),\n    shutterMechanism: input.shutterMechanism,\n    readout: input.readout,\n    ...(input.samplePointsNative === undefined\n      ? {}\n      : { samplePointsNative: input.samplePointsNative })\n  });\n\n  const exposureWindows = calculateCaptureExposureWindows({\n    nativeRaster: input.nativeRaster,\n    ...(input.activeCaptureRect === undefined\n      ? {}\n      : { activeCaptureRect: input.activeCaptureRect }),\n    shutterMechanism: input.shutterMechanism,\n    nominalExposureDurationSeconds:\n      input.nominalExposureDurationSeconds,\n    opening: input.opening,\n    closing: input.closing,\n    ...(input.samplePointsNative === undefined\n      ? {}\n      : { samplePointsNative: input.samplePointsNative })\n  });\n\n  if (linkage.kind === \"unlinked\") {\n    return approximationResult(\n      {\n        linkageKind: \"unlinked\",\n        relationshipMeaning:\n          \"no-readout-exposure-relationship-asserted\",\n        readoutMode: sensorReadout.value.readoutMode,\n        shutterMechanism: input.shutterMechanism,\n        activeCaptureRect: {\n          ...sensorReadout.value.activeCaptureRect\n        },\n        absoluteTemporalAlignment: \"not-established\",\n        captureReadoutDurationSeconds:\n          sensorReadout.value.captureReadoutDurationSeconds,\n        links: [],\n        componentProvenance: {\n          sensorReadout: sensorReadout.provenance,\n          exposureWindows: exposureWindows.provenance\n        }\n      },\n      \"readout-exposure-spatial-linkage\",\n      \"1.0.0\",\n      [\n        \"Unlinked means Photivra asserts no readout-to-exposure relationship for this capture; it does not prove the physical processes are independent.\",\n        \"Sensor data-readout timing and exposure-window timing retain independent provenance and semantics.\",\n        \"Absolute temporal alignment between data readout and exposure boundaries is not established.\"\n      ]\n    );\n  }\n\n  const readoutScan = sensorReadout.value.scan;\n  if (readoutScan === null) {\n    throw new InvalidScientificInputError(\n      \"spatial-phase-linked linkage requires rolling sensor readout with a spatial scan.\"\n    );\n  }\n\n  const assessments =\n    linkage.links.map<ReadoutExposureBoundarySpatialLinkAssessment>(\n      (link) => {\n        const boundary =\n          link.boundary === \"opening\"\n            ? exposureWindows.value.opening\n            : exposureWindows.value.closing;\n\n        if (boundary.actuator !== \"electronic\") {\n          throw new InvalidScientificInputError(\n            \"A readout spatial-phase link may target only an electronic exposure boundary.\"\n          );\n        }\n\n        if (\n          boundary.schedule.kind !==\n          \"uniform-linear-native-scan\"\n        ) {\n          throw new InvalidScientificInputError(\n            \"A readout spatial-phase link requires the selected exposure boundary to use a uniform-linear native scan.\"\n          );\n        }\n\n        const readoutDirection =\n          readoutScan.directionNative.value;\n        const boundaryDirection =\n          boundary.schedule.directionNative.value;\n        const expectedDirection = expectedBoundaryDirection(\n          readoutDirection,\n          link.phaseOrientation\n        );\n\n        if (boundaryDirection !== expectedDirection) {\n          throw new InvalidScientificInputError(\n            \"Declared readout/exposure spatial phase orientation contradicts the readout and exposure-boundary scan directions.\"\n          );\n        }\n\n        const readoutSpatialSamplingSkewSeconds =\n          readoutScan.spatialSamplingSkewSeconds;\n        const boundaryTraversalDurationSeconds =\n          boundary.schedule.traversalDurationSeconds;\n\n        return {\n          boundary: link.boundary,\n          boundaryActuator: \"electronic\",\n          phaseOrientation: link.phaseOrientation,\n          normalizedPhaseRelationship:\n            link.phaseOrientation === \"same\"\n              ? \"boundary-phase-equals-readout-phase\"\n              : \"boundary-phase-equals-one-minus-readout-phase\",\n          relationshipEvidence: link.evidence,\n          readoutDirectionNative: readoutDirection,\n          boundaryDirectionNative: boundaryDirection,\n          readoutSpatialSamplingSkewSeconds,\n          boundaryTraversalDurationSeconds,\n          boundaryTraversalToReadoutSpatialSkewRatio:\n            boundaryTraversalDurationSeconds.value /\n            readoutSpatialSamplingSkewSeconds.value,\n          absoluteTemporalAlignment: \"not-established\"\n        };\n      }\n    );\n\n  return approximationResult(\n    {\n      linkageKind: \"spatial-phase-linked\",\n      relationshipMeaning:\n        \"normalized-spatial-phase-relationship-asserted\",\n      readoutMode: sensorReadout.value.readoutMode,\n      shutterMechanism: input.shutterMechanism,\n      activeCaptureRect: {\n        ...sensorReadout.value.activeCaptureRect\n      },\n      absoluteTemporalAlignment: \"not-established\",\n      captureReadoutDurationSeconds:\n        sensorReadout.value.captureReadoutDurationSeconds,\n      links: assessments,\n      componentProvenance: {\n        sensorReadout: sensorReadout.provenance,\n        exposureWindows: exposureWindows.provenance\n      }\n    },\n    \"readout-exposure-spatial-linkage\",\n    \"1.0.0\",\n    [\n      \"The linkage establishes normalized native-sensor spatial phase/order only, not absolute temporal synchronization.\",\n      \"Every asserted boundary link carries evidence separate from the evidence for the underlying readout and exposure timing facts.\",\n      \"Only electronic exposure boundaries may be linked to rolling sensor readout spatial phase.\",\n      \"Same phase orientation requires matching native scan direction; reversed phase orientation requires the exact opposite direction on the same native axis.\",\n      \"Rolling readout spatial skew and exposure-boundary traversal duration may differ; their ratio is descriptive and does not establish a common clock origin.\",\n      \"Capture data-readout duration is not used to validate exposure-boundary timing linkage.\",\n      \"Active capture, native coordinate semantics and shutter mechanism are shared because both component schedules are resolved from the same input.\",\n      \"Sensor readout and exposure-window component provenance remain visible; linkage does not upgrade either component to calibrated status.\",\n      \"No camera-specific timing relationship is inferred from shutter mechanism, sensor architecture metadata, output resolution or adjacent specifications.\"\n    ]\n  );\n}\n\n/** Model identity of the electronic rolling-shutter (line reset → line read) exposure schedule. */\nexport const ELECTRONIC_ROLLING_SHUTTER_MODEL = Object.freeze({\n  id: \"electronic-rolling-shutter-line-reset-read\",\n  version: \"1.0.0\"\n} as const);\n\nexport interface ResolveElectronicRollingShutterExposureScheduleInput {\n  /** Rolling readout declaration whose scan direction and spatial skew drive both exposure boundaries. */\n  readout: RollingSensorReadoutTimingDeclaration;\n  /** Per-line integration time between line reset and line read. */\n  nominalExposureDurationSeconds: SourcedCaptureTimingSeconds;\n  /**\n   * Evidence that this capture uses a fully electronic, line-by-line (rolling) shutter whose reset\n   * scan runs at the readout line rate. This explicit link is required before sensor readout timing\n   * may set the exposure-window timing.\n   */\n  linkageEvidence: readonly EvidenceProvenance[];\n}\n\n/**\n * Exposure-window schedule of an electronic rolling shutter. Its `shutterMechanism`,\n * `nominalExposureDurationSeconds`, `opening` and `closing` fields form a complete exposure schedule, so\n * they can be passed as a native RAW / environment `exposureWindow` or spread into a production\n * `temporalCapture.exposureWindowInput` (see {@link createRollingShutterCaptureExposureSchedule}).\n */\nexport interface ElectronicRollingShutterExposureSchedule {\n  modelId: typeof ELECTRONIC_ROLLING_SHUTTER_MODEL.id;\n  modelVersion: typeof ELECTRONIC_ROLLING_SHUTTER_MODEL.version;\n  shutterMechanism: \"electronic\";\n  nominalExposureDurationSeconds: SourcedCaptureTimingSeconds;\n  /** Line-reset scan: a native point at normalized scan position s starts integrating at s·τ. */\n  opening: UniformLinearExposureBoundarySchedule;\n  /** Line-read scan: the same point stops integrating at T + s·τ. */\n  closing: UniformLinearExposureBoundarySchedule;\n  /** Explicit linkage declaration accepted by {@link assessReadoutExposureTimingLinkage}. */\n  linkage: Extract<ReadoutExposureTimingLinkageDeclaration, { kind: \"spatial-phase-linked\" }>;\n  /** τ: offset between the first and last exposure starts (equal to the readout skew). */\n  lineScanSkewSeconds: number;\n  /** Every point integrates for exactly the nominal exposure duration T. */\n  localExposureDurationSeconds: number;\n  limitations: readonly string[];\n}\n\n/** The exposure-schedule fields of a derived rolling-shutter schedule, without model metadata. */\nexport function createRollingShutterCaptureExposureSchedule(\n  schedule: ElectronicRollingShutterExposureSchedule\n): Pick<CalculateCaptureExposureWindowsInput, \"shutterMechanism\" | \"nominalExposureDurationSeconds\" | \"opening\" | \"closing\"> {\n  // 2.0.0: the whole schedule is checked, so an unknown field at any level is rejected.\n  const record = requireRecord(schedule, \"rollingShutterSchedule\", [\"modelId\", \"modelVersion\", \"shutterMechanism\",\n    \"nominalExposureDurationSeconds\", \"opening\", \"closing\", \"linkage\", \"lineScanSkewSeconds\", \"localExposureDurationSeconds\",\n    \"limitations\"]);\n  parseSecondsFact(record.nominalExposureDurationSeconds, \"rollingShutterSchedule.nominalExposureDurationSeconds\");\n  parseBoundarySchedule(record.opening, \"rollingShutterSchedule.opening\");\n  parseBoundarySchedule(record.closing, \"rollingShutterSchedule.closing\");\n  if (record.linkage !== undefined) parseLinkageDeclaration(record.linkage);\n  return structuredClone({ shutterMechanism: schedule.shutterMechanism,\n    nominalExposureDurationSeconds: schedule.nominalExposureDurationSeconds,\n    opening: schedule.opening, closing: schedule.closing });\n}\n\n/**\n * Derives the exposure-window schedule of a fully electronic rolling shutter from its rolling readout\n * declaration.\n *\n * In a CMOS rolling shutter, each line is reset, collects light for the exposure time T and is then\n * read. The reset pointer runs T ahead of the read pointer, and both move at the line rate (El Gamal &\n * Eltoukhy 2005; Liang, Chang & Chen 2008). With the uniform linear scan used throughout this engine, a\n * native point at normalized scan position s ∈ [0, 1] (along the declared scan direction, over the\n * active capture) collects light over [s·τ, s·τ + T], where τ is the declared first-to-last readout\n * skew. So both boundaries become uniform linear scans in the readout direction that take τ to sweep.\n *\n * When this schedule feeds the per-site exposure windows, everything that samples motion, moving\n * sources or time-varying light at local exposure times (environment RAW, rotation quadrature,\n * temporal illumination integration) produces rolling-shutter skew, wobble, partial exposure and\n * flicker banding.\n *\n * Approximation: constant line rate, no line-reset jitter, no hybrid of global reset with a mechanical\n * closing shutter, and the active-capture skew is declared by the caller (never scaled from a\n * full-frame value).\n * @see docs/MOTION_AND_SIGNAL.md#electronic-rolling-shutter-image-formation\n */\nexport function resolveElectronicRollingShutterExposureSchedule(\n  input: ResolveElectronicRollingShutterExposureScheduleInput\n): ElectronicRollingShutterExposureSchedule {\n  requireInputKeys(input, \"resolveElectronicRollingShutterExposureSchedule\", [\"readout\", \"nominalExposureDurationSeconds\", \"linkageEvidence\"]);\n  // The input keys are checked above; calculateSensorReadoutTiming checks the readout's own fields.\n  const record = requireRecord(input, \"rollingShutter\", null);\n  const readout = requireRecord(record.readout, \"rollingShutter.readout\", null);\n  if (readout.readoutMode !== \"rolling\") {\n    throw new InvalidScientificInputError(\n      \"An electronic rolling-shutter exposure schedule requires a rolling sensor readout declaration.\"\n    );\n  }\n  const linkageEvidence = parseEvidenceList(input.linkageEvidence, \"rollingShutter.linkageEvidence\");\n  const rolling = input.readout;\n  // Check the declaration and the exposure fact with the existing readout and exposure-window calculators.\n  const probeRaster = { pixelWidth: 2, pixelHeight: 2 };\n  calculateSensorReadoutTiming({ nativeRaster: probeRaster, shutterMechanism: \"electronic\", readout: rolling });\n  const opening: UniformLinearExposureBoundarySchedule = {\n    kind: \"uniform-linear-native-scan\",\n    directionNative: { value: rolling.scanDirectionNative.value, evidence: [...rolling.scanDirectionNative.evidence] },\n    traversalDurationSeconds: { value: rolling.spatialSamplingSkewSeconds.value, unit: \"s\",\n      evidence: [...rolling.spatialSamplingSkewSeconds.evidence] }\n  };\n  const closing: UniformLinearExposureBoundarySchedule = structuredClone(opening);\n  const nominal = calculateCaptureExposureWindows({ nativeRaster: probeRaster, shutterMechanism: \"electronic\",\n    nominalExposureDurationSeconds: input.nominalExposureDurationSeconds, opening, closing }).value.nominalExposureDurationSeconds;\n  return {\n    modelId: ELECTRONIC_ROLLING_SHUTTER_MODEL.id,\n    modelVersion: ELECTRONIC_ROLLING_SHUTTER_MODEL.version,\n    shutterMechanism: \"electronic\",\n    nominalExposureDurationSeconds: { value: nominal.value, unit: \"s\", evidence: [...nominal.evidence] },\n    opening,\n    closing,\n    linkage: { kind: \"spatial-phase-linked\", links: [\n      { boundary: \"opening\", phaseOrientation: \"same\", evidence: linkageEvidence },\n      { boundary: \"closing\", phaseOrientation: \"same\", evidence: linkageEvidence }] },\n    lineScanSkewSeconds: rolling.spatialSamplingSkewSeconds.value,\n    localExposureDurationSeconds: nominal.value,\n    limitations: [\n      \"Uniform-linear line timing: each native point integrates over [s·τ, s·τ + T] with s its normalized scan position.\",\n      \"Line-reset jitter, non-uniform line timing, global-reset release and mechanical-close hybrids are not modeled.\",\n      \"The skew τ is the caller-declared active-capture spatial sampling skew; it is never scaled from a full-frame value.\"\n    ]\n  };\n}\n\n/**\n * True when an exposure schedule is exactly the electronic rolling-shutter schedule derived from this\n * readout declaration: an electronic mechanism, with both boundaries scanning in the readout direction\n * and taking the readout skew to sweep.\n */\nexport function isElectronicRollingShutterExposureSchedule(\n  schedule: Pick<CalculateCaptureExposureWindowsInput, \"shutterMechanism\" | \"opening\" | \"closing\">,\n  readout: SensorReadoutTimingDeclaration\n): boolean {\n  if (readout.readoutMode !== \"rolling\" || schedule.shutterMechanism !== \"electronic\") return false;\n  return [schedule.opening, schedule.closing].every((boundary) => boundary.kind === \"uniform-linear-native-scan\" &&\n    boundary.directionNative.value === readout.scanDirectionNative.value &&\n    boundary.traversalDurationSeconds.value === readout.spatialSamplingSkewSeconds.value);\n}\n"]}