@photivra/engine 1.4.0 → 2.0.0

package/dist/core/canonical-json.js

@@ -1,24 +1,28 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Serializes a parsed, acyclic plain-data tree with sorted enumerable object keys, original array
- * order and finite JSON numbers. JSON escaping and negative zero representation follow JSON.stringify.
- * The source is never mutated. Undefined object properties follow the explicit domain policy;
- * undefined array entries and unsupported scalar types always fail. Callers own dense-array,
- * plain-record and cycle validation. This is serialization mechanics, not a general input parser,
- * cryptographic hash or standardized canonical-JSON claim.
+ * Deterministic JSON text for engine-owned plain data, with object keys sorted.
+ *
+ * The same data always gives the same text, so records can be compared by identity.
+ * This is serialization only. It is not a general input parser, a cryptographic hash or
+ * an implementation of a canonical-JSON standard.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 import { InvalidConfigurationError } from "./configuration-error.js";
 /**
- * Serializes a parsed, acyclic plain-data tree with sorted enumerable object
- * keys, original array order and finite JSON numbers. JSON escaping and negative
- * zero representation follow JSON.stringify. The source is never mutated.
+ * Serializes a parsed, acyclic tree of plain data to JSON text.
+ *
+ * Object keys (enumerable) are sorted. Arrays keep their order. Numbers must be finite.
+ * String escaping and negative zero follow JSON.stringify. The input is never changed.
+ *
+ * The domain policy decides what happens to undefined object properties. These always
+ * fail with the policy's unsupported-value message:
+ * - undefined array entries and array holes;
+ * - non-plain objects (Map, Set, Date, typed arrays, class instances, or any prototype
+ *   other than Object.prototype or null);
+ * - unsupported scalar types.
  *
- * Undefined object properties follow the explicit domain policy; undefined array
- * entries and unsupported scalar types always fail. Callers own dense-array,
- * plain-record and cycle validation. This is serialization mechanics, not a
- * general input parser, cryptographic hash or standardized canonical-JSON claim.
+ * The caller must rule out cycles first. This is serialization only. It is not a general
+ * input parser, a cryptographic hash or an implementation of a canonical-JSON standard.
  */
 export function stringifyCanonicalJson(value, policy) {
     if (value === null || typeof value === "string" || typeof value === "boolean") {
@@ -30,9 +34,24 @@ export function stringifyCanonicalJson(value, policy) {
         return JSON.stringify(value);
     }
     if (Array.isArray(value)) {
-        return "[" + value.map((entry) => stringifyCanonicalJson(entry, policy)).join(",") + "]";
+        if (Object.getPrototypeOf(value) !== Array.prototype) {
+            throw new InvalidConfigurationError(policy.unsupportedValueMessage);
+        }
+        let serialized = "[";
+        for (let index = 0; index < value.length; index += 1) {
+            // Holes are not JSON data; Array#map would skip them and emit invalid JSON.
+            if (!Object.prototype.hasOwnProperty.call(value, index)) {
+                throw new InvalidConfigurationError(policy.unsupportedValueMessage);
+            }
+            serialized += (index === 0 ? "" : ",") + stringifyCanonicalJson(value[index], policy);
+        }
+        return serialized + "]";
     }
     if (typeof value === "object") {
+        const prototype = Object.getPrototypeOf(value);
+        if (prototype !== Object.prototype && prototype !== null) {
+            throw new InvalidConfigurationError(policy.unsupportedValueMessage);
+        }
         const record = value;
         const keys = Object.keys(record)
             .filter((key) => policy.undefinedObjectProperties !== "omit" || record[key] !== undefined)

package/dist/core/canonical-json.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../src/core/canonical-json.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;GASG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AASrE;;;;;;;;;GASG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc,EAAE,MAA2B;IAChF,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC3F,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aAC7B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,yBAAyB,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;aACzF,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC1H,CAAC;IACD,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;AACtE,CAAC"}
+{"version":3,"file":"canonical-json.js","sourceRoot":"","sources":["../../src/core/canonical-json.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;GAOG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AASrE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc,EAAE,MAA2B;IAChF,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS,EAAE,CAAC;YACrD,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,UAAU,GAAG,GAAG,CAAC;QACrB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACrD,4EAA4E;YAC5E,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;gBACxD,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;YACtE,CAAC;YACD,UAAU,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,UAAU,GAAG,GAAG,CAAC;IAC1B,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAY,CAAC;QAC1D,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;aAC7B,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,yBAAyB,KAAK,MAAM,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;aACzF,IAAI,EAAE,CAAC;QACV,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC1H,CAAC;IACD,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;AACtE,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Deterministic JSON text for engine-owned plain data, with object keys sorted.\n *\n * The same data always gives the same text, so records can be compared by identity.\n * This is serialization only. It is not a general input parser, a cryptographic hash or\n * an implementation of a canonical-JSON standard.\n * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.\n */\n\nimport { InvalidConfigurationError } from \"./configuration-error.js\";\n\n/** Domain-specific omissions and diagnostics are part of serialized identity. */\nexport interface CanonicalJsonPolicy {\n  undefinedObjectProperties: \"omit\" | \"reject\";\n  nonFiniteNumberMessage: string;\n  unsupportedValueMessage: string;\n}\n\n/**\n * Serializes a parsed, acyclic tree of plain data to JSON text.\n *\n * Object keys (enumerable) are sorted. Arrays keep their order. Numbers must be finite.\n * String escaping and negative zero follow JSON.stringify. The input is never changed.\n *\n * The domain policy decides what happens to undefined object properties. These always\n * fail with the policy's unsupported-value message:\n * - undefined array entries and array holes;\n * - non-plain objects (Map, Set, Date, typed arrays, class instances, or any prototype\n *   other than Object.prototype or null);\n * - unsupported scalar types.\n *\n * The caller must rule out cycles first. This is serialization only. It is not a general\n * input parser, a cryptographic hash or an implementation of a canonical-JSON standard.\n */\nexport function stringifyCanonicalJson(value: unknown, policy: CanonicalJsonPolicy): string {\n  if (value === null || typeof value === \"string\" || typeof value === \"boolean\") {\n    return JSON.stringify(value);\n  }\n  if (typeof value === \"number\") {\n    if (!Number.isFinite(value)) throw new InvalidConfigurationError(policy.nonFiniteNumberMessage);\n    return JSON.stringify(value);\n  }\n  if (Array.isArray(value)) {\n    if (Object.getPrototypeOf(value) !== Array.prototype) {\n      throw new InvalidConfigurationError(policy.unsupportedValueMessage);\n    }\n    let serialized = \"[\";\n    for (let index = 0; index < value.length; index += 1) {\n      // Holes are not JSON data; Array#map would skip them and emit invalid JSON.\n      if (!Object.prototype.hasOwnProperty.call(value, index)) {\n        throw new InvalidConfigurationError(policy.unsupportedValueMessage);\n      }\n      serialized += (index === 0 ? \"\" : \",\") + stringifyCanonicalJson(value[index], policy);\n    }\n    return serialized + \"]\";\n  }\n  if (typeof value === \"object\") {\n    const prototype = Object.getPrototypeOf(value) as unknown;\n    if (prototype !== Object.prototype && prototype !== null) {\n      throw new InvalidConfigurationError(policy.unsupportedValueMessage);\n    }\n    const record = value as Record<string, unknown>;\n    const keys = Object.keys(record)\n      .filter((key) => policy.undefinedObjectProperties !== \"omit\" || record[key] !== undefined)\n      .sort();\n    return \"{\" + keys.map((key) => JSON.stringify(key) + \":\" + stringifyCanonicalJson(record[key], policy)).join(\",\") + \"}\";\n  }\n  throw new InvalidConfigurationError(policy.unsupportedValueMessage);\n}\n"]}

package/dist/core/configuration-error.d.ts

@@ -1,7 +1,9 @@
 /**
- * Configuration failure is distinct from a scientifically well-formed unsupported request. Parsers
- * throw this typed error rather than coercing invalid schema/policy data; assessment/production
- * layers retain structured blockers for their declared incomplete capability cases.
+ * The typed error for malformed configuration data.
+ *
+ * A malformed configuration is different from a valid request the engine cannot yet
+ * serve. Parsers throw this error instead of guessing at invalid schema or policy data.
+ * A valid but unsupported request does not throw; it returns structured blockers.
  * @see docs/RELEASE_1_0.md and the corresponding domain guide.
  */
 /**
@@ -12,4 +14,3 @@ export declare class InvalidConfigurationError extends TypeError {
     readonly code = "INVALID_CONFIGURATION";
     constructor(message: string);
 }
-//# sourceMappingURL=configuration-error.d.ts.map

package/dist/core/configuration-error.js

@@ -1,8 +1,10 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Configuration failure is distinct from a scientifically well-formed unsupported request. Parsers
- * throw this typed error rather than coercing invalid schema/policy data; assessment/production
- * layers retain structured blockers for their declared incomplete capability cases.
+ * The typed error for malformed configuration data.
+ *
+ * A malformed configuration is different from a valid request the engine cannot yet
+ * serve. Parsers throw this error instead of guessing at invalid schema or policy data.
+ * A valid but unsupported request does not throw; it returns structured blockers.
  * @see docs/RELEASE_1_0.md and the corresponding domain guide.
  */
 /**

package/dist/core/configuration-error.js.map

@@ -1 +1 @@
-{"version":3,"file":"configuration-error.js","sourceRoot":"","sources":["../../src/core/configuration-error.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;GAKG;AAEH;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IAC7C,IAAI,GAAG,uBAAuB,CAAC;IAExC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF"}
+{"version":3,"file":"configuration-error.js","sourceRoot":"","sources":["../../src/core/configuration-error.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;GAOG;AAEH;;;GAGG;AACH,MAAM,OAAO,yBAA0B,SAAQ,SAAS;IAC7C,IAAI,GAAG,uBAAuB,CAAC;IAExC,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,2BAA2B,CAAC;IAC1C,CAAC;CACF","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * The typed error for malformed configuration data.\n *\n * A malformed configuration is different from a valid request the engine cannot yet\n * serve. Parsers throw this error instead of guessing at invalid schema or policy data.\n * A valid but unsupported request does not throw; it returns structured blockers.\n * @see docs/RELEASE_1_0.md and the corresponding domain guide.\n */\n\n/**\n * Error thrown when external configuration data does not match a public\n * runtime schema.\n */\nexport class InvalidConfigurationError extends TypeError {\n  readonly code = \"INVALID_CONFIGURATION\";\n\n  constructor(message: string) {\n    super(message);\n    this.name = \"InvalidConfigurationError\";\n  }\n}\n"]}

package/dist/core/evidence-provenance.d.ts

@@ -1,10 +1,11 @@
 export type EvidenceSourceOrigin = "manufacturer" | "third-party" | "photivra";
 export type EvidenceReuseStatus = "factual-reference-only" | "reusable-data" | "photivra-owned";
 /**
- * Reference to the origin and reuse rights of one scientific fact or numeric data
- * artifact. Public availability does not establish permission to copy it. A source
- * reference is retained as metadata and never fetched by the engine. Evidence is a
- * declaration for review, not automatic verification of calibration or a license.
+ * Where one scientific fact or numeric data set came from, and what reuse rights apply.
+ *
+ * Being publicly available does not grant permission to copy. The engine stores the
+ * source reference as metadata and never fetches it. A record is a declaration for a
+ * human to review. It does not verify a calibration or a licence.
  */
 export interface EvidenceProvenance {
     /** Who originated the underlying fact/data. */
@@ -16,11 +17,11 @@ export interface EvidenceProvenance {
      */
     sourceReference: string;
     /**
-     * How the referenced material may be used by Photivra.
+     * How Photivra may use the referenced material.
      *
-     * This is intentionally independent from source origin: a manufacturer or
-     * third party may publish either factual-reference-only material or
-     * explicitly reusable licensed data.
+     * This is independent of who the source is. A manufacturer or third party can
+     * publish material that is only a factual reference, or data explicitly licensed
+     * for reuse.
      */
     reuseStatus: EvidenceReuseStatus;
     /** Required when reuseStatus is reusable-data. */
@@ -33,14 +34,13 @@ export interface EvidenceBackedFact<T> {
     evidence: readonly EvidenceProvenance[];
 }
 /**
- * Parses one provenance/evidence record.
+ * Parses one provenance (evidence) record.
  *
- * Source origin and reuse status are intentionally orthogonal. The parser only
- * rejects combinations that are intrinsically contradictory.
+ * Source origin and reuse status are independent of each other. The parser rejects
+ * only combinations that contradict themselves.
  */
 export declare function parseEvidenceProvenance(value: unknown, path: string): EvidenceProvenance;
 /**
  * Parses a non-empty evidence array.
  */
 export declare function parseEvidenceList(value: unknown, path: string): readonly EvidenceProvenance[];
-//# sourceMappingURL=evidence-provenance.d.ts.map

package/dist/core/evidence-provenance.js

@@ -1,11 +1,10 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Parses one provenance/evidence record. Source origin and reuse status are intentionally orthogonal.
- * The parser only rejects combinations that are intrinsically contradictory.
- * Parses a non-empty evidence array.
+ * Provenance records: where a scientific fact or data set came from, and whether Photivra
+ * may reuse it. Parsers for one record and for a non-empty list of records.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
+import { rejectUnknownFields } from "./record-validation.js";
 import { InvalidConfigurationError } from "./configuration-error.js";
 const SOURCE_ORIGINS = new Set([
     "manufacturer",
@@ -17,10 +16,12 @@ const REUSE_STATUSES = new Set([
     "reusable-data",
     "photivra-owned"
 ]);
-function requireRecord(value, path) {
+function requireRecord(value, path, allowedKeys) {
     if (typeof value !== "object" || value === null || Array.isArray(value)) {
         throw new InvalidConfigurationError(`${path} must be an object.`);
     }
+    if (allowedKeys !== null)
+        rejectUnknownFields(value, allowedKeys, path);
     return value;
 }
 function requireNonEmptyString(record, key, path) {
@@ -31,13 +32,13 @@ function requireNonEmptyString(record, key, path) {
     return value;
 }
 /**
- * Parses one provenance/evidence record.
+ * Parses one provenance (evidence) record.
  *
- * Source origin and reuse status are intentionally orthogonal. The parser only
- * rejects combinations that are intrinsically contradictory.
+ * Source origin and reuse status are independent of each other. The parser rejects
+ * only combinations that contradict themselves.
  */
 export function parseEvidenceProvenance(value, path) {
-    const record = requireRecord(value, path);
+    const record = requireRecord(value, path, ["sourceOrigin", "sourceReference", "reuseStatus", "license", "note"]);
     const sourceOrigin = requireNonEmptyString(record, "sourceOrigin", path);
     const sourceReference = requireNonEmptyString(record, "sourceReference", path);
     const reuseStatus = requireNonEmptyString(record, "reuseStatus", path);

package/dist/core/evidence-provenance.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-provenance.js","sourceRoot":"","sources":["../../src/core/evidence-provenance.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;GAMG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAgDrE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAuB;IACnD,cAAc;IACd,aAAa;IACb,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAsB;IAClD,wBAAwB;IACxB,eAAe;IACf,gBAAgB;CACjB,CAAC,CAAC;AAEH,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,yBAAyB,CAAC,GAAG,IAAI,qBAAqB,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,KAAsB,CAAC;AAChC,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,GAAW,EACX,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,IAAI,GAAG,8BAA8B,CAC7C,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1C,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,eAAe,GAAG,qBAAqB,CAC3C,MAAM,EACN,iBAAiB,EACjB,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IAEvE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAoC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,2BAA2B,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAkC,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,WAAW,GAAG,YAAoC,CAAC;IACzD,MAAM,gBAAgB,GAAG,WAAkC,CAAC;IAE5D,IACE,gBAAgB,KAAK,gBAAgB;QACrC,WAAW,KAAK,UAAU,EAC1B,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,6DAA6D,CACrE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IACE,OAAO,KAAK,SAAS;QACrB,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAC5D,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,oDAAoD,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,KAAK,eAAe,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,oDAAoD,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IACE,IAAI,KAAK,SAAS;QAClB,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EACtD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,iDAAiD,CACzD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,YAAY,EAAE,WAAW;QACzB,eAAe;QACf,WAAW,EAAE,gBAAgB;QAC7B,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAc,EACd,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,6BAA6B,CACrC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAChC,uBAAuB,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CACpD,CAAC;AACJ,CAAC"}
+{"version":3,"file":"evidence-provenance.js","sourceRoot":"","sources":["../../src/core/evidence-provenance.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;GAIG;AAEH,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAiDrE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAuB;IACnD,cAAc;IACd,aAAa;IACb,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAsB;IAClD,wBAAwB;IACxB,eAAe;IACf,gBAAgB;CACjB,CAAC,CAAC;AAEH,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,GAAG,IAAI,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,qBAAqB,CAC5B,MAAqB,EACrB,GAAW,EACX,IAAY;IAEZ,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,IAAI,GAAG,8BAA8B,CAC7C,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAc,EACd,IAAY;IAEZ,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IACjH,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,eAAe,GAAG,qBAAqB,CAC3C,MAAM,EACN,iBAAiB,EACjB,IAAI,CACL,CAAC;IACF,MAAM,WAAW,GAAG,qBAAqB,CAAC,MAAM,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IAEvE,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAoC,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,2BAA2B,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAkC,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,0BAA0B,CAAC,CAAC;IACzE,CAAC;IAED,MAAM,WAAW,GAAG,YAAoC,CAAC;IACzD,MAAM,gBAAgB,GAAG,WAAkC,CAAC;IAE5D,IACE,gBAAgB,KAAK,gBAAgB;QACrC,WAAW,KAAK,UAAU,EAC1B,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,6DAA6D,CACrE,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;IAC/B,IACE,OAAO,KAAK,SAAS;QACrB,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EAC5D,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,oDAAoD,CAC5D,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,KAAK,eAAe,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAClE,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,oDAAoD,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,IACE,IAAI,KAAK,SAAS;QAClB,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,EACtD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,iDAAiD,CACzD,CAAC;IACJ,CAAC;IAED,OAAO;QACL,YAAY,EAAE,WAAW;QACzB,eAAe;QACf,WAAW,EAAE,gBAAgB;QAC7B,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAC/B,KAAc,EACd,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,yBAAyB,CACjC,GAAG,IAAI,6BAA6B,CACrC,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAChC,uBAAuB,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,CACpD,CAAC;AACJ,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Provenance records: where a scientific fact or data set came from, and whether Photivra\n * may reuse it. Parsers for one record and for a non-empty list of records.\n * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.\n */\n\nimport { rejectUnknownFields } from \"./record-validation.js\";\nimport { InvalidConfigurationError } from \"./configuration-error.js\";\n\ntype UnknownRecord = Record<string, unknown>;\n\nexport type EvidenceSourceOrigin =\n  | \"manufacturer\"\n  | \"third-party\"\n  | \"photivra\";\n\nexport type EvidenceReuseStatus =\n  | \"factual-reference-only\"\n  | \"reusable-data\"\n  | \"photivra-owned\";\n\n/**\n * Where one scientific fact or numeric data set came from, and what reuse rights apply.\n *\n * Being publicly available does not grant permission to copy. The engine stores the\n * source reference as metadata and never fetches it. A record is a declaration for a\n * human to review. It does not verify a calibration or a licence.\n */\nexport interface EvidenceProvenance {\n  /** Who originated the underlying fact/data. */\n  sourceOrigin: EvidenceSourceOrigin;\n  /**\n   * Public/stable source reference or Photivra evidence identifier.\n   *\n   * The engine does not fetch this reference at runtime.\n   */\n  sourceReference: string;\n  /**\n   * How Photivra may use the referenced material.\n   *\n   * This is independent of who the source is. A manufacturer or third party can\n   * publish material that is only a factual reference, or data explicitly licensed\n   * for reuse.\n   */\n  reuseStatus: EvidenceReuseStatus;\n  /** Required when reuseStatus is reusable-data. */\n  license?: string;\n  note?: string;\n}\n\nexport interface EvidenceBackedFact<T> {\n  value: T;\n  /** One or more independent evidence records supporting this fact. */\n  evidence: readonly EvidenceProvenance[];\n}\n\nconst SOURCE_ORIGINS = new Set<EvidenceSourceOrigin>([\n  \"manufacturer\",\n  \"third-party\",\n  \"photivra\"\n]);\n\nconst REUSE_STATUSES = new Set<EvidenceReuseStatus>([\n  \"factual-reference-only\",\n  \"reusable-data\",\n  \"photivra-owned\"\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 requireNonEmptyString(\n  record: UnknownRecord,\n  key: string,\n  path: string\n): string {\n  const value = record[key];\n  if (typeof value !== \"string\" || value.trim().length === 0) {\n    throw new InvalidConfigurationError(\n      `${path}.${key} must be a non-empty string.`\n    );\n  }\n  return value;\n}\n\n/**\n * Parses one provenance (evidence) record.\n *\n * Source origin and reuse status are independent of each other. The parser rejects\n * only combinations that contradict themselves.\n */\nexport function parseEvidenceProvenance(\n  value: unknown,\n  path: string\n): EvidenceProvenance {\n  const record = requireRecord(value, path, [\"sourceOrigin\", \"sourceReference\", \"reuseStatus\", \"license\", \"note\"]);\n  const sourceOrigin = requireNonEmptyString(record, \"sourceOrigin\", path);\n  const sourceReference = requireNonEmptyString(\n    record,\n    \"sourceReference\",\n    path\n  );\n  const reuseStatus = requireNonEmptyString(record, \"reuseStatus\", path);\n\n  if (!SOURCE_ORIGINS.has(sourceOrigin as EvidenceSourceOrigin)) {\n    throw new InvalidConfigurationError(`${path}.sourceOrigin is invalid.`);\n  }\n  if (!REUSE_STATUSES.has(reuseStatus as EvidenceReuseStatus)) {\n    throw new InvalidConfigurationError(`${path}.reuseStatus is invalid.`);\n  }\n\n  const typedOrigin = sourceOrigin as EvidenceSourceOrigin;\n  const typedReuseStatus = reuseStatus as EvidenceReuseStatus;\n\n  if (\n    typedReuseStatus === \"photivra-owned\" &&\n    typedOrigin !== \"photivra\"\n  ) {\n    throw new InvalidConfigurationError(\n      `${path}.photivra-owned evidence must have sourceOrigin \"photivra\".`\n    );\n  }\n\n  const license = record.license;\n  if (\n    license !== undefined &&\n    (typeof license !== \"string\" || license.trim().length === 0)\n  ) {\n    throw new InvalidConfigurationError(\n      `${path}.license must be a non-empty string when supplied.`\n    );\n  }\n  if (typedReuseStatus === \"reusable-data\" && license === undefined) {\n    throw new InvalidConfigurationError(\n      `${path}.license is required for reusable-data provenance.`\n    );\n  }\n\n  const note = record.note;\n  if (\n    note !== undefined &&\n    (typeof note !== \"string\" || note.trim().length === 0)\n  ) {\n    throw new InvalidConfigurationError(\n      `${path}.note must be a non-empty string when supplied.`\n    );\n  }\n\n  return {\n    sourceOrigin: typedOrigin,\n    sourceReference,\n    reuseStatus: typedReuseStatus,\n    ...(license === undefined ? {} : { license }),\n    ...(note === undefined ? {} : { note })\n  };\n}\n\n/**\n * Parses a non-empty evidence array.\n */\nexport function parseEvidenceList(\n  value: unknown,\n  path: string\n): readonly EvidenceProvenance[] {\n  if (!Array.isArray(value) || value.length === 0) {\n    throw new InvalidConfigurationError(\n      `${path} must be a non-empty array.`\n    );\n  }\n\n  return value.map((entry, index) =>\n    parseEvidenceProvenance(entry, `${path}[${index}]`)\n  );\n}\n"]}

package/dist/core/image-formation.d.ts

@@ -1,15 +1,17 @@
 /**
- * Module boundary and integration notes.
- * Returns the public image-formation ownership/order contract. The result is descriptive metadata, not
- * a renderer implementation or an assertion that every reserved stage is currently available.
+ * The image-formation contract: the ordered stages from scene light to output image, and
+ * which part of the system owns each stage.
+ *
+ * It is descriptive metadata. It is not a renderer, and listing a stage does not mean the
+ * stage is implemented yet.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 /**
  * Version of the public image-formation ordering contract.
  *
- * This version is independent from package, root-engine, and composed-POC
- * versions. It describes semantic ownership/order only; it does not imply that
- * every reserved stage is implemented.
+ * It is separate from the package, root-engine and composed proof-of-concept (POC)
+ * versions. It covers only stage order and ownership. It does not mean every listed
+ * stage is implemented.
  */
 export declare const IMAGE_FORMATION_CONTRACT_VERSION: "0.4.0";
 export type ImageFormationDomainId = "scene-ray-geometry" | "scene-radiance-formation" | "lens-pupil-throughput" | "field-wavelength-psf" | "temporal-exposure-readout" | "sensor-output-display";
@@ -67,10 +69,9 @@ export interface ImageFormationContract {
     notes: readonly string[];
 }
 /**
- * Returns the public image-formation ownership/order contract.
+ * Returns the image-formation contract: the order of stages and who owns each one.
  *
- * The result is descriptive metadata, not a renderer implementation or an
- * assertion that every reserved stage is currently available.
+ * The result is descriptive metadata. It is not a renderer, and a listed stage is not
+ * necessarily available yet.
  */
 export declare function getImageFormationContract(): ImageFormationContract;
-//# sourceMappingURL=image-formation.d.ts.map

package/dist/core/image-formation.js

@@ -1,16 +1,18 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Returns the public image-formation ownership/order contract. The result is descriptive metadata, not
- * a renderer implementation or an assertion that every reserved stage is currently available.
+ * The image-formation contract: the ordered stages from scene light to output image, and
+ * which part of the system owns each stage.
+ *
+ * It is descriptive metadata. It is not a renderer, and listing a stage does not mean the
+ * stage is implemented yet.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 /**
  * Version of the public image-formation ordering contract.
  *
- * This version is independent from package, root-engine, and composed-POC
- * versions. It describes semantic ownership/order only; it does not imply that
- * every reserved stage is implemented.
+ * It is separate from the package, root-engine and composed proof-of-concept (POC)
+ * versions. It covers only stage order and ownership. It does not mean every listed
+ * stage is implemented.
  */
 export const IMAGE_FORMATION_CONTRACT_VERSION = "0.4.0";
 const DOMAINS = [
@@ -331,10 +333,10 @@ const NOTES = [
     "The primary lens-throughput bridge converts validated outgoing spectral radiance to pre-sensor-stack spectral irradiance through declared pupil acceptance, exactly one optical-transmission path, and at most one declared field-throughput term. It does not apply sensor optical-stack/CFA/QE response, PSF energy redistribution, stray light, or an implicit distortion brightness correction."
 ];
 /**
- * Returns the public image-formation ownership/order contract.
+ * Returns the image-formation contract: the order of stages and who owns each one.
  *
- * The result is descriptive metadata, not a renderer implementation or an
- * assertion that every reserved stage is currently available.
+ * The result is descriptive metadata. It is not a renderer, and a listed stage is not
+ * necessarily available yet.
  */
 export function getImageFormationContract() {
     return {

package/dist/core/image-formation.js.map

@@ -1 +1 @@
-{"version":3,"file":"image-formation.js","sourceRoot":"","sources":["../../src/core/image-formation.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;GAKG;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,OAAgB,CAAC;AAgHjE,MAAM,OAAO,GAAG;IACd,oBAAoB;IACpB,0BAA0B;IAC1B,uBAAuB;IACvB,sBAAsB;IACtB,2BAA2B;IAC3B,uBAAuB;CAC6B,CAAC;AAEvD,MAAM,iBAAiB,GAAG;IACxB;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,GAAG;QACT,MAAM,EAAE,gEAAgE;QACxE,IAAI,EAAE,gEAAgE;QACtE,IAAI,EAAE,+CAA+C;KACtD;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,oEAAoE;KAC3E;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,uDAAuD;QAC7D,IAAI,EAAE,wEAAwE;KAC/E;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,+CAA+C;QACvD,IAAI,EAAE,6DAA6D;QACnE,IAAI,EAAE,qEAAqE;KAC5E;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,4DAA4D;QACpE,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,uFAAuF;KAC9F;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,wCAAwC;QAChD,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,mEAAmE;KAC1E;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,2BAA2B;QACnC,IAAI,EAAE,2BAA2B;QACjC,IAAI,EAAE,+EAA+E;KACtF;CACkE,CAAC;AAEtE,MAAM,MAAM,GAAG;IACb;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,oBAAoB;QAC5B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC;QACxD,sBAAsB,EAAE,EAAE;QAC1B,aAAa,EAAE;YACb,2BAA2B;YAC3B,2BAA2B;SAC5B;QACD,OAAO,EACL,2HAA2H;KAC9H;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,MAAM,EAAE,0BAA0B;QAClC,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,cAAc,CAAC;QAClC,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,2RAA2R;KAC9R;IACD;QACE,EAAE,EAAE,6BAA6B;QACjC,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAClE,sBAAsB,EAAE;YACtB,sBAAsB;YACtB,2BAA2B;SAC5B;QACD,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,OAAO,EACL,uTAAuT;KAC1T;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,sBAAsB;QAC9B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAClE,sBAAsB,EAAE,CAAC,6BAA6B,CAAC;QACvD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,wLAAwL;KAC3L;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,MAAM,EAAE,2BAA2B;QACnC,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,cAAc,EAAE,oBAAoB,EAAE,eAAe,CAAC;QACzE,sBAAsB,EAAE;YACtB,sBAAsB;YACtB,6BAA6B;YAC7B,sBAAsB;SACvB;QACD,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,OAAO,EACL,yJAAyJ;KAC5J;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,wBAAwB,CAAC;QAC5C,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,OAAO,EACL,uGAAuG;KAC1G;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QAC7D,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,6GAA6G;KAChH;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE;YACtB,wBAAwB;YACxB,2BAA2B;SAC5B;QACD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,gHAAgH;KACnH;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,0BAA0B,CAAC;QACpD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,kGAAkG;KACrG;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,uBAAuB,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,4GAA4G;KAC/G;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;QAC5C,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,wHAAwH;KAC3H;IACD;QACE,EAAE,EAAE,gCAAgC;QACpC,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,eAAe,EAAE,yBAAyB,CAAC;QAC9D,sBAAsB,EAAE,CAAC,gBAAgB,CAAC;QAC1C,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,kQAAkQ;KACrQ;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,eAAe,CAAC;QAC9D,sBAAsB,EAAE,CAAC,gCAAgC,CAAC;QAC1D,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,EAAE,SAAS,CAAC;QAC9C,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,+IAA+I;KAClJ;CACwD,CAAC;AAE5D,MAAM,iBAAiB,GAAG;IACxB;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,sHAAsH;KACzH;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,EAAE;QACjB,IAAI,EAAE,uDAAuD;KAC9D;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,0HAA0H;KAC7H;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,sGAAsG;KACzG;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,2GAA2G;KAC9G;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,CAAC,6BAA6B,CAAC;QAC9C,IAAI,EACF,oIAAoI;KACvI;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,EAAE;QACjB,IAAI,EAAE,kFAAkF;KACzF;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,uIAAuI;KAC1I;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,CAAC,6BAA6B,CAAC;QAC9C,IAAI,EACF,4HAA4H;KAC/H;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,yIAAyI;KAC5I;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,wBAAwB,EAAE,gCAAgC,CAAC;QAC3E,IAAI,EACF,4JAA4J;KAC/J;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,YAAY,EAAE,wBAAwB;QACtC,aAAa,EAAE,CAAC,sBAAsB,EAAE,2BAA2B,CAAC;QACpE,IAAI,EACF,qHAAqH;KACxH;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,YAAY,EAAE,0BAA0B;QACxC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,qHAAqH;KACxH;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,uBAAuB;QACrC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,YAAY,EAAE,gBAAgB;QAC9B,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,IAAI,EACF,gHAAgH;KACnH;CAC0D,CAAC;AAE9D,MAAM,QAAQ,GAAG;IACf,qBAAqB,EAAE,GAAG;IAC1B,MAAM,EAAE,gBAAgB;IACxB,2BAA2B,EAAE,IAAI;IACjC,8CAA8C,EAAE,IAAI;IACpD,uCAAuC,EAAE,IAAI;IAC7C,mDAAmD,EAAE,IAAI;IACzD,IAAI,EACF,8QAA8Q;CAC/N,CAAC;AAEpD,MAAM,QAAQ,GAAG;IACf,qBAAqB,EAAE,mCAAmC;IAC1D,mBAAmB,EAAE,eAAe;IACpC,aAAa,EAAE,mCAAmC;IAClD,0CAA0C,EAAE,IAAI;IAChD,4CAA4C,EAAE,IAAI;IAClD,IAAI,EACF,2WAA2W;CAC5T,CAAC;AAEpD,MAAM,KAAK,GAAG;IACZ,+JAA+J;IAC/J,uJAAuJ;IACvJ,sKAAsK;IACtK,6IAA6I;IAC7I,+PAA+P;IAC/P,qYAAqY;CAC7X,CAAC;AAEX;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB;IACvC,OAAO;QACL,OAAO,EAAE,gCAAgC;QACzC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC;QACrB,gBAAgB,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC7B,GAAG,KAAK;YACR,gBAAgB,EAAE,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;YAC7C,sBAAsB,EAAE,CAAC,GAAG,KAAK,CAAC,sBAAsB,CAAC;YACzD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;SACxC,CAAC,CAAC;QACH,gBAAgB,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACnD,GAAG,MAAM;YACT,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC;SACzC,CAAC,CAAC;QACH,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;QACzB,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;QACzB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;KAClB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"image-formation.js","sourceRoot":"","sources":["../../src/core/image-formation.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;GAOG;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,OAAgB,CAAC;AAgHjE,MAAM,OAAO,GAAG;IACd,oBAAoB;IACpB,0BAA0B;IAC1B,uBAAuB;IACvB,sBAAsB;IACtB,2BAA2B;IAC3B,uBAAuB;CAC6B,CAAC;AAEvD,MAAM,iBAAiB,GAAG;IACxB;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,GAAG;QACT,MAAM,EAAE,gEAAgE;QACxE,IAAI,EAAE,gEAAgE;QACtE,IAAI,EAAE,+CAA+C;KACtD;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,iBAAiB;QACvB,IAAI,EAAE,oEAAoE;KAC3E;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,cAAc;QACtB,IAAI,EAAE,uDAAuD;QAC7D,IAAI,EAAE,wEAAwE;KAC/E;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,+CAA+C;QACvD,IAAI,EAAE,6DAA6D;QACnE,IAAI,EAAE,qEAAqE;KAC5E;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,4DAA4D;QACpE,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,uFAAuF;KAC9F;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,IAAI;QACV,MAAM,EAAE,wCAAwC;QAChD,IAAI,EAAE,mBAAmB;QACzB,IAAI,EAAE,mEAAmE;KAC1E;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,mBAAmB;QACzB,MAAM,EAAE,2BAA2B;QACnC,IAAI,EAAE,2BAA2B;QACjC,IAAI,EAAE,+EAA+E;KACtF;CACkE,CAAC;AAEtE,MAAM,MAAM,GAAG;IACb;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,oBAAoB;QAC5B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,cAAc,EAAE,oBAAoB,CAAC;QACxD,sBAAsB,EAAE,EAAE;QAC1B,aAAa,EAAE;YACb,2BAA2B;YAC3B,2BAA2B;SAC5B;QACD,OAAO,EACL,2HAA2H;KAC9H;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,MAAM,EAAE,0BAA0B;QAClC,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,cAAc,CAAC;QAClC,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,2RAA2R;KAC9R;IACD;QACE,EAAE,EAAE,6BAA6B;QACjC,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAClE,sBAAsB,EAAE;YACtB,sBAAsB;YACtB,2BAA2B;SAC5B;QACD,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,OAAO,EACL,uTAAuT;KAC1T;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,sBAAsB;QAC9B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,oBAAoB,EAAE,wBAAwB,CAAC;QAClE,sBAAsB,EAAE,CAAC,6BAA6B,CAAC;QACvD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,wLAAwL;KAC3L;IACD;QACE,EAAE,EAAE,2BAA2B;QAC/B,MAAM,EAAE,2BAA2B;QACnC,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,cAAc,EAAE,oBAAoB,EAAE,eAAe,CAAC;QACzE,sBAAsB,EAAE;YACtB,sBAAsB;YACtB,6BAA6B;YAC7B,sBAAsB;SACvB;QACD,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,OAAO,EACL,yJAAyJ;KAC5J;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,wBAAwB,CAAC;QAC5C,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,OAAO,EACL,uGAAuG;KAC1G;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,wBAAwB,EAAE,eAAe,CAAC;QAC7D,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,6GAA6G;KAChH;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE;YACtB,wBAAwB;YACxB,2BAA2B;SAC5B;QACD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,gHAAgH;KACnH;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,oBAAoB;QAC5B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,0BAA0B,CAAC;QACpD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,kGAAkG;KACrG;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,uBAAuB,CAAC;QACjD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,4GAA4G;KAC/G;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,CAAC;QACnC,sBAAsB,EAAE,CAAC,kBAAkB,CAAC;QAC5C,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,wHAAwH;KAC3H;IACD;QACE,EAAE,EAAE,gCAAgC;QACpC,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,eAAe,EAAE,yBAAyB,CAAC;QAC9D,sBAAsB,EAAE,CAAC,gBAAgB,CAAC;QAC1C,aAAa,EAAE,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,kQAAkQ;KACrQ;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,qBAAqB;QAC7B,gBAAgB,EAAE,CAAC,yBAAyB,EAAE,eAAe,CAAC;QAC9D,sBAAsB,EAAE,CAAC,gCAAgC,CAAC;QAC1D,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EAAE,uBAAuB;QAC/B,MAAM,EAAE,mBAAmB;QAC3B,gBAAgB,EAAE,CAAC,eAAe,EAAE,SAAS,CAAC;QAC9C,sBAAsB,EAAE,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,EAAE;QACjB,OAAO,EACL,+IAA+I;KAClJ;CACwD,CAAC;AAE5D,MAAM,iBAAiB,GAAG;IACxB;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,sHAAsH;KACzH;IACD;QACE,EAAE,EAAE,sBAAsB;QAC1B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,EAAE;QACjB,IAAI,EAAE,uDAAuD;KAC9D;IACD;QACE,EAAE,EAAE,8BAA8B;QAClC,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,0HAA0H;KAC7H;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,sGAAsG;KACzG;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,6BAA6B;QAC3C,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,2GAA2G;KAC9G;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,CAAC,6BAA6B,CAAC;QAC9C,IAAI,EACF,oIAAoI;KACvI;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,EAAE;QACjB,IAAI,EAAE,kFAAkF;KACzF;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,uIAAuI;KAC1I;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,sBAAsB;QACpC,aAAa,EAAE,CAAC,6BAA6B,CAAC;QAC9C,IAAI,EACF,4HAA4H;KAC/H;IACD;QACE,EAAE,EAAE,yBAAyB;QAC7B,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,IAAI,EACF,yIAAyI;KAC5I;IACD;QACE,EAAE,EAAE,iBAAiB;QACrB,YAAY,EAAE,2BAA2B;QACzC,aAAa,EAAE,CAAC,wBAAwB,EAAE,gCAAgC,CAAC;QAC3E,IAAI,EACF,4JAA4J;KAC/J;IACD;QACE,EAAE,EAAE,wBAAwB;QAC5B,YAAY,EAAE,wBAAwB;QACtC,aAAa,EAAE,CAAC,sBAAsB,EAAE,2BAA2B,CAAC;QACpE,IAAI,EACF,qHAAqH;KACxH;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,YAAY,EAAE,0BAA0B;QACxC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,qHAAqH;KACxH;IACD;QACE,EAAE,EAAE,uBAAuB;QAC3B,YAAY,EAAE,uBAAuB;QACrC,aAAa,EAAE,EAAE;QACjB,IAAI,EACF,oHAAoH;KACvH;IACD;QACE,EAAE,EAAE,mBAAmB;QACvB,YAAY,EAAE,gBAAgB;QAC9B,aAAa,EAAE,CAAC,wBAAwB,CAAC;QACzC,IAAI,EACF,gHAAgH;KACnH;CAC0D,CAAC;AAE9D,MAAM,QAAQ,GAAG;IACf,qBAAqB,EAAE,GAAG;IAC1B,MAAM,EAAE,gBAAgB;IACxB,2BAA2B,EAAE,IAAI;IACjC,8CAA8C,EAAE,IAAI;IACpD,uCAAuC,EAAE,IAAI;IAC7C,mDAAmD,EAAE,IAAI;IACzD,IAAI,EACF,8QAA8Q;CAC/N,CAAC;AAEpD,MAAM,QAAQ,GAAG;IACf,qBAAqB,EAAE,mCAAmC;IAC1D,mBAAmB,EAAE,eAAe;IACpC,aAAa,EAAE,mCAAmC;IAClD,0CAA0C,EAAE,IAAI;IAChD,4CAA4C,EAAE,IAAI;IAClD,IAAI,EACF,2WAA2W;CAC5T,CAAC;AAEpD,MAAM,KAAK,GAAG;IACZ,+JAA+J;IAC/J,uJAAuJ;IACvJ,sKAAsK;IACtK,6IAA6I;IAC7I,+PAA+P;IAC/P,qYAAqY;CAC7X,CAAC;AAEX;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB;IACvC,OAAO;QACL,OAAO,EAAE,gCAAgC;QACzC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC;QACrB,gBAAgB,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAClE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC7B,GAAG,KAAK;YACR,gBAAgB,EAAE,CAAC,GAAG,KAAK,CAAC,gBAAgB,CAAC;YAC7C,sBAAsB,EAAE,CAAC,GAAG,KAAK,CAAC,sBAAsB,CAAC;YACzD,aAAa,EAAE,CAAC,GAAG,KAAK,CAAC,aAAa,CAAC;SACxC,CAAC,CAAC;QACH,gBAAgB,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACnD,GAAG,MAAM;YACT,aAAa,EAAE,CAAC,GAAG,MAAM,CAAC,aAAa,CAAC;SACzC,CAAC,CAAC;QACH,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;QACzB,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE;QACzB,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC;KAClB,CAAC;AACJ,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * The image-formation contract: the ordered stages from scene light to output image, and\n * which part of the system owns each stage.\n *\n * It is descriptive metadata. It is not a renderer, and listing a stage does not mean the\n * stage is implemented yet.\n * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.\n */\n\n/**\n * Version of the public image-formation ordering contract.\n *\n * It is separate from the package, root-engine and composed proof-of-concept (POC)\n * versions. It covers only stage order and ownership. It does not mean every listed\n * stage is implemented.\n */\nexport const IMAGE_FORMATION_CONTRACT_VERSION = \"0.4.0\" as const;\n\nexport type ImageFormationDomainId =\n  | \"scene-ray-geometry\"\n  | \"scene-radiance-formation\"\n  | \"lens-pupil-throughput\"\n  | \"field-wavelength-psf\"\n  | \"temporal-exposure-readout\"\n  | \"sensor-output-display\";\n\nexport type ImageFormationCoordinateSpaceId =\n  | \"scene-metric\"\n  | \"image-plane-metric\"\n  | \"native-sensor-physical\"\n  | \"native-raster\"\n  | \"oriented-capture-raster\"\n  | \"output-raster\"\n  | \"display\";\n\nexport type ImageFormationStageId =\n  | \"scene-ray-projection\"\n  | \"scene-radiance-evaluation\"\n  | \"lens-field-pupil-evaluation\"\n  | \"field-wavelength-psf\"\n  | \"temporal-exposure-readout\"\n  | \"sensor-optical-stack\"\n  | \"photosite-cfa-sampling\"\n  | \"sensor-charge-statistics\"\n  | \"read-noise-conversion\"\n  | \"adc-quantization\"\n  | \"reconstruction\"\n  | \"physical-orientation-transform\"\n  | \"output-crop-resample\"\n  | \"display-processing\";\n\nexport type ImageFormationImplementationStatus =\n  | \"existing-foundation\"\n  | \"partial-foundation\"\n  | \"reserved-contract\";\n\nexport type ImageFormationEffectId =\n  | \"focus-breathing\"\n  | \"geometric-distortion\"\n  | \"lateral-chromatic-aberration\"\n  | \"illumination-vignetting\"\n  | \"mechanical-vignetting\"\n  | \"non-circular-diffraction\"\n  | \"field-curvature\"\n  | \"field-sharpness-falloff\"\n  | \"field-dependent-bokeh\"\n  | \"spatial-camera-rotation\"\n  | \"rolling-readout\"\n  | \"photosite-cfa-sampling\"\n  | \"photon-charge-statistics\"\n  | \"read-noise-conversion\"\n  | \"demosaic-remosaic\";\n\nexport interface ImageFormationCoordinateSpaceContract {\n  id: ImageFormationCoordinateSpaceId;\n  unit: \"m\" | \"mm\" | \"px\" | \"display-dependent\";\n  origin: string;\n  axes: string;\n  note: string;\n}\n\nexport interface ImageFormationStageContract {\n  id: ImageFormationStageId;\n  domain: ImageFormationDomainId;\n  status: ImageFormationImplementationStatus;\n  coordinateSpaces: readonly ImageFormationCoordinateSpaceId[];\n  requiredUpstreamStages: readonly ImageFormationStageId[];\n  coupledStages: readonly ImageFormationStageId[];\n  purpose: string;\n}\n\nexport interface ImageFormationEffectPlacement {\n  id: ImageFormationEffectId;\n  primaryStage: ImageFormationStageId;\n  coupledStages: readonly ImageFormationStageId[];\n  note: string;\n}\n\nexport interface ImageFormationTemporalContract {\n  authoritativeTimeUnit: \"s\";\n  origin: \"exposure-start\";\n  normalizedTimeIsDerivedOnly: true;\n  exposureDurationAndReadoutTimingAreIndependent: true;\n  globalReadoutDoesNotImplyZeroMotionBlur: true;\n  nativeReadoutDirectionRemainsNativeUnderOrientation: true;\n  note: string;\n}\n\nexport interface ImageFormationRendererContract {\n  geometricWarpSampling: \"inverse-map-destination-to-source\";\n  alphaRepresentation: \"premultiplied\";\n  occlusionRule: \"preserve-depth-order-across-warps\";\n  previewAndReferenceShareScientificContract: true;\n  backendMayApproximateButNotRedefineSemantics: true;\n  note: string;\n}\n\nexport interface ImageFormationContract {\n  version: typeof IMAGE_FORMATION_CONTRACT_VERSION;\n  domains: readonly ImageFormationDomainId[];\n  coordinateSpaces: readonly ImageFormationCoordinateSpaceContract[];\n  stages: readonly ImageFormationStageContract[];\n  effectPlacements: readonly ImageFormationEffectPlacement[];\n  temporal: ImageFormationTemporalContract;\n  renderer: ImageFormationRendererContract;\n  notes: readonly string[];\n}\n\nconst DOMAINS = [\n  \"scene-ray-geometry\",\n  \"scene-radiance-formation\",\n  \"lens-pupil-throughput\",\n  \"field-wavelength-psf\",\n  \"temporal-exposure-readout\",\n  \"sensor-output-display\"\n] as const satisfies readonly ImageFormationDomainId[];\n\nconst COORDINATE_SPACES = [\n  {\n    id: \"scene-metric\",\n    unit: \"m\",\n    origin: \"scene/camera model defined by the scene or projection contract\",\n    axes: \"scene/world axes remain owned by the scene/projection contract\",\n    note: \"Do not reinterpret scene axes as raster axes.\"\n  },\n  {\n    id: \"image-plane-metric\",\n    unit: \"mm\",\n    origin: \"optical axis\",\n    axes: \"+X right, +Y up\",\n    note: \"This preserves the legacy projected-motion/image-plane convention.\"\n  },\n  {\n    id: \"native-sensor-physical\",\n    unit: \"mm\",\n    origin: \"optical axis\",\n    axes: \"+X right, +Y down in native sensor-facing coordinates\",\n    note: \"Physical sensor coordinates remain invariant under camera orientation.\"\n  },\n  {\n    id: \"native-raster\",\n    unit: \"px\",\n    origin: \"top-left of the native effective image raster\",\n    axes: \"+X right, +Y down; rectangles use half-open integer extents\",\n    note: \"Native coordinates remain invariant under physical camera rotation.\"\n  },\n  {\n    id: \"oriented-capture-raster\",\n    unit: \"px\",\n    origin: \"top-left after the explicit physical-orientation transform\",\n    axes: \"+X right, +Y down\",\n    note: \"This is derived from native coordinates; it never redefines native readout direction.\"\n  },\n  {\n    id: \"output-raster\",\n    unit: \"px\",\n    origin: \"top-left of the declared output raster\",\n    axes: \"+X right, +Y down\",\n    note: \"Digital crop/resampling does not mutate physical sensor identity.\"\n  },\n  {\n    id: \"display\",\n    unit: \"display-dependent\",\n    origin: \"consumer/display contract\",\n    axes: \"consumer/display contract\",\n    note: \"Display/tone/UI coordinates are not authoritative camera-science coordinates.\"\n  }\n] as const satisfies readonly ImageFormationCoordinateSpaceContract[];\n\nconst STAGES = [\n  {\n    id: \"scene-ray-projection\",\n    domain: \"scene-ray-geometry\",\n    status: \"existing-foundation\",\n    coordinateSpaces: [\"scene-metric\", \"image-plane-metric\"],\n    requiredUpstreamStages: [],\n    coupledStages: [\n      \"scene-radiance-evaluation\",\n      \"temporal-exposure-readout\"\n    ],\n    purpose:\n      \"Project scene geometry into the optical image plane while preserving explicit metric geometry and focus-aware projection.\"\n  },\n  {\n    id: \"scene-radiance-evaluation\",\n    domain: \"scene-radiance-formation\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"scene-metric\"],\n    requiredUpstreamStages: [\"scene-ray-projection\"],\n    coupledStages: [\"temporal-exposure-readout\"],\n    purpose:\n      \"Own outgoing scene spectral-radiance formation from illumination, scene geometry/visibility, material optical response, emission, indirect transport, and time. The current foundation establishes ownership and illumination-source metadata only; it does not calculate scene radiance.\"\n  },\n  {\n    id: \"lens-field-pupil-evaluation\",\n    domain: \"lens-pupil-throughput\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"image-plane-metric\", \"native-sensor-physical\"],\n    requiredUpstreamStages: [\n      \"scene-ray-projection\",\n      \"scene-radiance-evaluation\"\n    ],\n    coupledStages: [\"field-wavelength-psf\"],\n    purpose:\n      \"Own focus-dependent framing, geometric field mapping, pupil/acceptance geometry, spectral optical transmission, field throughput, and the primary intended bridge from outgoing scene spectral radiance to pre-sensor-stack sensor-plane spectral irradiance. PSF redistribution remains separately owned downstream.\"\n  },\n  {\n    id: \"field-wavelength-psf\",\n    domain: \"field-wavelength-psf\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"image-plane-metric\", \"native-sensor-physical\"],\n    requiredUpstreamStages: [\"lens-field-pupil-evaluation\"],\n    coupledStages: [\"temporal-exposure-readout\"],\n    purpose:\n      \"Own field-, depth-, pupil-, and wavelength-dependent point-spread behavior including defocus and diffraction without collapsing independent effects into one undocumented blur scalar.\"\n  },\n  {\n    id: \"temporal-exposure-readout\",\n    domain: \"temporal-exposure-readout\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"scene-metric\", \"image-plane-metric\", \"native-raster\"],\n    requiredUpstreamStages: [\n      \"scene-ray-projection\",\n      \"lens-field-pupil-evaluation\",\n      \"field-wavelength-psf\"\n    ],\n    coupledStages: [\"photosite-cfa-sampling\"],\n    purpose:\n      \"Evaluate time-dependent scene/camera mapping over exposure windows and reserve independent native-sensor readout scheduling for rolling/global capture.\"\n  },\n  {\n    id: \"sensor-optical-stack\",\n    domain: \"sensor-output-display\",\n    status: \"reserved-contract\",\n    coordinateSpaces: [\"native-sensor-physical\"],\n    requiredUpstreamStages: [\"field-wavelength-psf\"],\n    coupledStages: [\"photosite-cfa-sampling\"],\n    purpose:\n      \"Reserve optical low-pass filter, cover-glass, and microlens behavior before photosite/color sampling.\"\n  },\n  {\n    id: \"photosite-cfa-sampling\",\n    domain: \"sensor-output-display\",\n    status: \"reserved-contract\",\n    coordinateSpaces: [\"native-sensor-physical\", \"native-raster\"],\n    requiredUpstreamStages: [\"sensor-optical-stack\"],\n    coupledStages: [\"temporal-exposure-readout\"],\n    purpose:\n      \"Reserve photosite/CFA spatial sampling while keeping native sensor coordinates and readout timing explicit.\"\n  },\n  {\n    id: \"sensor-charge-statistics\",\n    domain: \"sensor-output-display\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"native-raster\"],\n    requiredUpstreamStages: [\n      \"photosite-cfa-sampling\",\n      \"temporal-exposure-readout\"\n    ],\n    coupledStages: [],\n    purpose:\n      \"Reserve photon/electron integration and shot-statistics semantics separately from later electronic read noise.\"\n  },\n  {\n    id: \"read-noise-conversion\",\n    domain: \"sensor-output-display\",\n    status: \"partial-foundation\",\n    coordinateSpaces: [\"native-raster\"],\n    requiredUpstreamStages: [\"sensor-charge-statistics\"],\n    coupledStages: [],\n    purpose:\n      \"Reserve electronic read-noise and conversion behavior independently from photon shot statistics.\"\n  },\n  {\n    id: \"adc-quantization\",\n    domain: \"sensor-output-display\",\n    status: \"reserved-contract\",\n    coordinateSpaces: [\"native-raster\"],\n    requiredUpstreamStages: [\"read-noise-conversion\"],\n    coupledStages: [],\n    purpose:\n      \"Reserve analog-to-digital conversion, clipping, and quantization after sensor/electronic signal formation.\"\n  },\n  {\n    id: \"reconstruction\",\n    domain: \"sensor-output-display\",\n    status: \"reserved-contract\",\n    coordinateSpaces: [\"native-raster\"],\n    requiredUpstreamStages: [\"adc-quantization\"],\n    coupledStages: [],\n    purpose:\n      \"Reserve demosaic/remosaic, binning-aware reconstruction, pixel-shift combination, and related capture-mode processing.\"\n  },\n  {\n    id: \"physical-orientation-transform\",\n    domain: \"sensor-output-display\",\n    status: \"existing-foundation\",\n    coordinateSpaces: [\"native-raster\", \"oriented-capture-raster\"],\n    requiredUpstreamStages: [\"reconstruction\"],\n    coupledStages: [\"temporal-exposure-readout\"],\n    purpose:\n      \"Transform reconstructed native-raster coordinates into oriented capture coordinates without redefining native sensor/readout coordinates. The coordinate transform primitive already exists independently; this dependency reserves its full-pipeline placement.\"\n  },\n  {\n    id: \"output-crop-resample\",\n    domain: \"sensor-output-display\",\n    status: \"existing-foundation\",\n    coordinateSpaces: [\"oriented-capture-raster\", \"output-raster\"],\n    requiredUpstreamStages: [\"physical-orientation-transform\"],\n    coupledStages: [],\n    purpose:\n      \"Apply digital/output crop and resampling while preserving physical capture identity and explicit axis-aware scale.\"\n  },\n  {\n    id: \"display-processing\",\n    domain: \"sensor-output-display\",\n    status: \"reserved-contract\",\n    coordinateSpaces: [\"output-raster\", \"display\"],\n    requiredUpstreamStages: [\"output-crop-resample\"],\n    coupledStages: [],\n    purpose:\n      \"Reserve tone/display/output processing after camera-science geometry and sampling; this stage must not redefine upstream physical quantities.\"\n  }\n] as const satisfies readonly ImageFormationStageContract[];\n\nconst EFFECT_PLACEMENTS = [\n  {\n    id: \"focus-breathing\",\n    primaryStage: \"lens-field-pupil-evaluation\",\n    coupledStages: [\"scene-ray-projection\"],\n    note:\n      \"Focus breathing changes projection/magnification and must not be implemented as post-output crop or display scaling.\"\n  },\n  {\n    id: \"geometric-distortion\",\n    primaryStage: \"lens-field-pupil-evaluation\",\n    coupledStages: [],\n    note: \"Distortion is a field-coordinate mapping, not a blur.\"\n  },\n  {\n    id: \"lateral-chromatic-aberration\",\n    primaryStage: \"lens-field-pupil-evaluation\",\n    coupledStages: [\"field-wavelength-psf\"],\n    note:\n      \"Lateral CA is wavelength/channel-dependent field mapping; wavelength-aware PSF models may share the same spectral basis.\"\n  },\n  {\n    id: \"illumination-vignetting\",\n    primaryStage: \"lens-field-pupil-evaluation\",\n    coupledStages: [],\n    note:\n      \"Illumination vignetting changes field-dependent throughput only and is distinct from pupil clipping.\"\n  },\n  {\n    id: \"mechanical-vignetting\",\n    primaryStage: \"lens-field-pupil-evaluation\",\n    coupledStages: [\"field-wavelength-psf\"],\n    note:\n      \"Mechanical/pupil clipping changes both throughput and the effective pupil/PSF, including cat's-eye bokeh.\"\n  },\n  {\n    id: \"non-circular-diffraction\",\n    primaryStage: \"field-wavelength-psf\",\n    coupledStages: [\"lens-field-pupil-evaluation\"],\n    note:\n      \"Non-circular diffraction consumes an explicit pupil representation; preserve the current circular Airy result as a separate model.\"\n  },\n  {\n    id: \"field-curvature\",\n    primaryStage: \"field-wavelength-psf\",\n    coupledStages: [],\n    note: \"Field curvature is field-dependent focus/PSF behavior, not geometric distortion.\"\n  },\n  {\n    id: \"field-sharpness-falloff\",\n    primaryStage: \"field-wavelength-psf\",\n    coupledStages: [],\n    note:\n      \"Field sharpness must be represented through a defensible field-dependent PSF or related optical model, not a synthetic quality score.\"\n  },\n  {\n    id: \"field-dependent-bokeh\",\n    primaryStage: \"field-wavelength-psf\",\n    coupledStages: [\"lens-field-pupil-evaluation\"],\n    note:\n      \"Field-dependent bokeh may depend on pupil clipping and field position; do not collapse it into aperture blade count alone.\"\n  },\n  {\n    id: \"spatial-camera-rotation\",\n    primaryStage: \"temporal-exposure-readout\",\n    coupledStages: [\"scene-ray-projection\"],\n    note:\n      \"Rotation should be evaluable as a time-parameterized mapping; depth-dependent camera translation is outside the initial rotation model.\"\n  },\n  {\n    id: \"rolling-readout\",\n    primaryStage: \"temporal-exposure-readout\",\n    coupledStages: [\"photosite-cfa-sampling\", \"physical-orientation-transform\"],\n    note:\n      \"Readout timing is native-sensor timing. Physical orientation changes how native scan direction maps to the scene but does not redefine native coordinates.\"\n  },\n  {\n    id: \"photosite-cfa-sampling\",\n    primaryStage: \"photosite-cfa-sampling\",\n    coupledStages: [\"sensor-optical-stack\", \"temporal-exposure-readout\"],\n    note:\n      \"CFA/photosite sampling follows the sensor optical stack and participates in the declared exposure/readout schedule.\"\n  },\n  {\n    id: \"photon-charge-statistics\",\n    primaryStage: \"sensor-charge-statistics\",\n    coupledStages: [],\n    note:\n      \"Photon/charge statistics remain separate from electronic read noise and require explicit radiometric prerequisites.\"\n  },\n  {\n    id: \"read-noise-conversion\",\n    primaryStage: \"read-noise-conversion\",\n    coupledStages: [],\n    note:\n      \"Electronic read noise/conversion is downstream of charge formation and must not alter photon shot-noise semantics.\"\n  },\n  {\n    id: \"demosaic-remosaic\",\n    primaryStage: \"reconstruction\",\n    coupledStages: [\"photosite-cfa-sampling\"],\n    note:\n      \"Reconstruction consumes declared capture-mode/CFA sampling rather than redefining the native photosite layout.\"\n  }\n] as const satisfies readonly ImageFormationEffectPlacement[];\n\nconst TEMPORAL = {\n  authoritativeTimeUnit: \"s\",\n  origin: \"exposure-start\",\n  normalizedTimeIsDerivedOnly: true,\n  exposureDurationAndReadoutTimingAreIndependent: true,\n  globalReadoutDoesNotImplyZeroMotionBlur: true,\n  nativeReadoutDirectionRemainsNativeUnderOrientation: true,\n  note:\n    \"Time-parameterized optical/camera mapping should be evaluated in seconds from exposure start. A normalized [0,1] parameter may be derived for algorithms but is not the authoritative physical time. Rolling/global readout timing is separate from local exposure duration.\"\n} as const satisfies ImageFormationTemporalContract;\n\nconst RENDERER = {\n  geometricWarpSampling: \"inverse-map-destination-to-source\",\n  alphaRepresentation: \"premultiplied\",\n  occlusionRule: \"preserve-depth-order-across-warps\",\n  previewAndReferenceShareScientificContract: true,\n  backendMayApproximateButNotRedefineSemantics: true,\n  note:\n    \"Renderer implementations may use bounded preview approximations or higher-fidelity reference evaluation, but both consume the same engine-owned parameters. Geometric warps should inverse-sample destination locations to avoid forward-warp holes, preserve premultiplied-alpha semantics, and must not reorder scene occlusion merely because a field warp is applied.\"\n} as const satisfies ImageFormationRendererContract;\n\nconst NOTES = [\n  \"This contract defines scientific ownership, coordinate semantics, and dependency/coupling boundaries. It does not claim that reserved stages are implemented.\",\n  \"The stage graph is a dependency/ownership graph, not a claim that every physical interaction can be evaluated as one independent serial post-process.\",\n  \"Independent effects may be combined computationally only when the implementation documents mathematical equivalence and preserves the public stage/effect semantics.\",\n  \"Generic/parametric virtual-lens models must remain explicitly generic until defensible calibrated data with compatible reuse rights exists.\",\n  \"Scene radiance is distinct from source illumination metadata, photometric luminance anchors, sensor-plane irradiance, and RGB preview values. A later renderer/provider must explicitly evaluate outgoing spectral radiance before optics/sensor composition.\",\n  \"The primary lens-throughput bridge converts validated outgoing spectral radiance to pre-sensor-stack spectral irradiance through declared pupil acceptance, exactly one optical-transmission path, and at most one declared field-throughput term. It does not apply sensor optical-stack/CFA/QE response, PSF energy redistribution, stray light, or an implicit distortion brightness correction.\"\n] as const;\n\n/**\n * Returns the image-formation contract: the order of stages and who owns each one.\n *\n * The result is descriptive metadata. It is not a renderer, and a listed stage is not\n * necessarily available yet.\n */\nexport function getImageFormationContract(): ImageFormationContract {\n  return {\n    version: IMAGE_FORMATION_CONTRACT_VERSION,\n    domains: [...DOMAINS],\n    coordinateSpaces: COORDINATE_SPACES.map((space) => ({ ...space })),\n    stages: STAGES.map((stage) => ({\n      ...stage,\n      coordinateSpaces: [...stage.coordinateSpaces],\n      requiredUpstreamStages: [...stage.requiredUpstreamStages],\n      coupledStages: [...stage.coupledStages]\n    })),\n    effectPlacements: EFFECT_PLACEMENTS.map((effect) => ({\n      ...effect,\n      coupledStages: [...effect.coupledStages]\n    })),\n    temporal: { ...TEMPORAL },\n    renderer: { ...RENDERER },\n    notes: [...NOTES]\n  };\n}\n"]}

package/dist/core/owned-data.d.ts

@@ -1,25 +1,17 @@
 /**
- * Module boundary and integration notes.
- * Freezes an engine-owned, acyclic tree of plain records and arrays in place, visiting enumerable
- * child values before their parent. Returns the same value. This internal helper does not validate or
- * clone data. Callers must first parse their domain contract and copy any caller-owned references that
- * need to remain mutable. Primitives pass through unchanged. Already-frozen parents are still
- * traversed because a shallow freeze does not establish descendant immutability. Accessors, cyclic
- * graphs, Maps, Sets and typed-array storage are outside this helper's contract. Do not use it as a
- * general-purpose untrusted-input boundary.
+ * Internal helper that deep-freezes engine-owned results so callers cannot change them.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 /**
- * Freezes an engine-owned, acyclic tree of plain records and arrays in place,
- * visiting enumerable child values before their parent. Returns the same value.
+ * Freezes an engine-owned, acyclic tree of plain records and arrays in place and
+ * returns the same value. Children (enumerable values) are frozen before their parent.
  *
- * This internal helper does not validate or clone data. Callers must first parse
- * their domain contract and copy any caller-owned references that need to remain
- * mutable. Primitives pass through unchanged. Already-frozen parents are still
- * traversed because a shallow freeze does not establish descendant immutability.
+ * It does not validate or copy anything. Parse the domain input first, and copy any
+ * caller-owned objects that must stay mutable. Primitives pass through unchanged. A
+ * parent that is already frozen is still walked, because a shallow freeze says nothing
+ * about its children.
  *
- * Accessors, cyclic graphs, Maps, Sets and typed-array storage are outside this
- * helper's contract. Do not use it as a general-purpose untrusted-input boundary.
+ * Not supported: accessors, cycles, Maps, Sets and typed-array storage. Do not use this
+ * as a general guard for untrusted input.
  */
 export declare function freezeOwnedData<T>(value: T): T;
-//# sourceMappingURL=owned-data.d.ts.map

package/dist/core/owned-data.js

@@ -1,26 +1,19 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Freezes an engine-owned, acyclic tree of plain records and arrays in place, visiting enumerable
- * child values before their parent. Returns the same value. This internal helper does not validate or
- * clone data. Callers must first parse their domain contract and copy any caller-owned references that
- * need to remain mutable. Primitives pass through unchanged. Already-frozen parents are still
- * traversed because a shallow freeze does not establish descendant immutability. Accessors, cyclic
- * graphs, Maps, Sets and typed-array storage are outside this helper's contract. Do not use it as a
- * general-purpose untrusted-input boundary.
+ * Internal helper that deep-freezes engine-owned results so callers cannot change them.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 /**
- * Freezes an engine-owned, acyclic tree of plain records and arrays in place,
- * visiting enumerable child values before their parent. Returns the same value.
+ * Freezes an engine-owned, acyclic tree of plain records and arrays in place and
+ * returns the same value. Children (enumerable values) are frozen before their parent.
  *
- * This internal helper does not validate or clone data. Callers must first parse
- * their domain contract and copy any caller-owned references that need to remain
- * mutable. Primitives pass through unchanged. Already-frozen parents are still
- * traversed because a shallow freeze does not establish descendant immutability.
+ * It does not validate or copy anything. Parse the domain input first, and copy any
+ * caller-owned objects that must stay mutable. Primitives pass through unchanged. A
+ * parent that is already frozen is still walked, because a shallow freeze says nothing
+ * about its children.
  *
- * Accessors, cyclic graphs, Maps, Sets and typed-array storage are outside this
- * helper's contract. Do not use it as a general-purpose untrusted-input boundary.
+ * Not supported: accessors, cycles, Maps, Sets and typed-array storage. Do not use this
+ * as a general guard for untrusted input.
  */
 export function freezeOwnedData(value) {
     if (value !== null && typeof value === "object") {

package/dist/core/owned-data.js.map

@@ -1 +1 @@
-{"version":3,"file":"owned-data.js","sourceRoot":"","sources":["../../src/core/owned-data.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAI,KAAQ;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"owned-data.js","sourceRoot":"","sources":["../../src/core/owned-data.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;GAGG;AAEH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,eAAe,CAAI,KAAQ;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAChD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzC,eAAe,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Internal helper that deep-freezes engine-owned results so callers cannot change them.\n * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.\n */\n\n/**\n * Freezes an engine-owned, acyclic tree of plain records and arrays in place and\n * returns the same value. Children (enumerable values) are frozen before their parent.\n *\n * It does not validate or copy anything. Parse the domain input first, and copy any\n * caller-owned objects that must stay mutable. Primitives pass through unchanged. A\n * parent that is already frozen is still walked, because a shallow freeze says nothing\n * about its children.\n *\n * Not supported: accessors, cycles, Maps, Sets and typed-array storage. Do not use this\n * as a general guard for untrusted input.\n */\nexport function freezeOwnedData<T>(value: T): T {\n  if (value !== null && typeof value === \"object\") {\n    for (const child of Object.values(value)) {\n      freezeOwnedData(child);\n    }\n    Object.freeze(value);\n  }\n  return value;\n}\n"]}

package/dist/core/portable-math.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Euclidean norm (vector length) of the components. Unlike `Math.hypot`, it uses only correctly
+ * rounded IEEE operations, so the result is bit-identical in every JavaScript engine.
+ *
+ * Components are summed in argument order. Inputs far from 1 are first rescaled by an exact power
+ * of two, so squaring cannot overflow or underflow. Non-finite input gives a non-finite result;
+ * callers validate inputs first.
+ */
+export declare function portableHypot(...values: readonly number[]): number;
+/**
+ * True when two finite numbers differ by at most `maximumUlps` ULPs (units in the last place).
+ * One ULP here is `Number.EPSILON` times the larger magnitude. Use it to accept an archived value
+ * that another engine or an earlier release computed with an implementation-approximated function.
+ */
+export declare function equalWithinUlps(a: number, b: number, maximumUlps: number): boolean;

package/dist/core/portable-math.js

@@ -0,0 +1,56 @@
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * Floating-point helpers that give bit-identical results in every JavaScript engine.
+ *
+ * ECMAScript requires `+ - * /` and `Math.sqrt` to be correctly rounded IEEE 754 binary64
+ * (double-precision) operations. A fixed sequence of them gives the same bits in every
+ * conforming engine. `Math.hypot`, `Math.exp`, `Math.atan`, `Math.cos` and the other
+ * transcendental functions are "implementation-approximated" (ECMA-262 §21.3.2). They can
+ * differ in the last bit between V8, JavaScriptCore and SpiderMonkey.
+ *
+ * So any value that is stored and later recomputed for an exact identity check must use
+ * only the correctly rounded operations.
+ * @see docs/NUMERICAL_CORRECTNESS.md §Cross-engine determinism
+ */
+const LARGE = 2 ** 500;
+const SMALL = 2 ** -500;
+const SCALE_DOWN = 2 ** -600;
+const SCALE_UP = 2 ** 600;
+/**
+ * Euclidean norm (vector length) of the components. Unlike `Math.hypot`, it uses only correctly
+ * rounded IEEE operations, so the result is bit-identical in every JavaScript engine.
+ *
+ * Components are summed in argument order. Inputs far from 1 are first rescaled by an exact power
+ * of two, so squaring cannot overflow or underflow. Non-finite input gives a non-finite result;
+ * callers validate inputs first.
+ */
+export function portableHypot(...values) {
+    let maximum = 0;
+    for (const value of values) {
+        const magnitude = Math.abs(value);
+        if (!(magnitude <= maximum))
+            maximum = magnitude;
+    }
+    if (maximum === 0 || !Number.isFinite(maximum))
+        return maximum;
+    const scale = maximum > LARGE ? SCALE_DOWN : maximum < SMALL ? SCALE_UP : 1;
+    let sum = 0;
+    for (const value of values) {
+        const scaled = value * scale;
+        sum += scaled * scaled;
+    }
+    return Math.sqrt(sum) / scale;
+}
+/**
+ * True when two finite numbers differ by at most `maximumUlps` ULPs (units in the last place).
+ * One ULP here is `Number.EPSILON` times the larger magnitude. Use it to accept an archived value
+ * that another engine or an earlier release computed with an implementation-approximated function.
+ */
+export function equalWithinUlps(a, b, maximumUlps) {
+    if (!Number.isFinite(a) || !Number.isFinite(b))
+        return false;
+    if (a === b)
+        return true;
+    return Math.abs(a - b) <= maximumUlps * Number.EPSILON * Math.max(Math.abs(a), Math.abs(b));
+}
+//# sourceMappingURL=portable-math.js.map

package/dist/core/portable-math.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"portable-math.js","sourceRoot":"","sources":["../../src/core/portable-math.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;;;GAYG;AAEH,MAAM,KAAK,GAAG,CAAC,IAAI,GAAG,CAAC;AACvB,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;AACxB,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;AAC7B,MAAM,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC;AAE1B;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,GAAG,MAAyB;IACxD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC;YAAE,OAAO,GAAG,SAAS,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC/D,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC;QAC7B,GAAG,IAAI,MAAM,GAAG,MAAM,CAAC;IACzB,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,CAAS,EAAE,CAAS,EAAE,WAAmB;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7D,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,WAAW,GAAG,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9F,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Floating-point helpers that give bit-identical results in every JavaScript engine.\n *\n * ECMAScript requires `+ - * /` and `Math.sqrt` to be correctly rounded IEEE 754 binary64\n * (double-precision) operations. A fixed sequence of them gives the same bits in every\n * conforming engine. `Math.hypot`, `Math.exp`, `Math.atan`, `Math.cos` and the other\n * transcendental functions are \"implementation-approximated\" (ECMA-262 §21.3.2). They can\n * differ in the last bit between V8, JavaScriptCore and SpiderMonkey.\n *\n * So any value that is stored and later recomputed for an exact identity check must use\n * only the correctly rounded operations.\n * @see docs/NUMERICAL_CORRECTNESS.md §Cross-engine determinism\n */\n\nconst LARGE = 2 ** 500;\nconst SMALL = 2 ** -500;\nconst SCALE_DOWN = 2 ** -600;\nconst SCALE_UP = 2 ** 600;\n\n/**\n * Euclidean norm (vector length) of the components. Unlike `Math.hypot`, it uses only correctly\n * rounded IEEE operations, so the result is bit-identical in every JavaScript engine.\n *\n * Components are summed in argument order. Inputs far from 1 are first rescaled by an exact power\n * of two, so squaring cannot overflow or underflow. Non-finite input gives a non-finite result;\n * callers validate inputs first.\n */\nexport function portableHypot(...values: readonly number[]): number {\n  let maximum = 0;\n  for (const value of values) {\n    const magnitude = Math.abs(value);\n    if (!(magnitude <= maximum)) maximum = magnitude;\n  }\n  if (maximum === 0 || !Number.isFinite(maximum)) return maximum;\n  const scale = maximum > LARGE ? SCALE_DOWN : maximum < SMALL ? SCALE_UP : 1;\n  let sum = 0;\n  for (const value of values) {\n    const scaled = value * scale;\n    sum += scaled * scaled;\n  }\n  return Math.sqrt(sum) / scale;\n}\n\n/**\n * True when two finite numbers differ by at most `maximumUlps` ULPs (units in the last place).\n * One ULP here is `Number.EPSILON` times the larger magnitude. Use it to accept an archived value\n * that another engine or an earlier release computed with an implementation-approximated function.\n */\nexport function equalWithinUlps(a: number, b: number, maximumUlps: number): boolean {\n  if (!Number.isFinite(a) || !Number.isFinite(b)) return false;\n  if (a === b) return true;\n  return Math.abs(a - b) <= maximumUlps * Number.EPSILON * Math.max(Math.abs(a), Math.abs(b));\n}\n"]}