@photivra/engine 1.4.0 → 2.0.0

package/dist/core/record-validation.d.ts

@@ -1,17 +1,56 @@
 /**
- * Validate the shared record/allowlist mechanics without choosing a domain's
- * schema or diagnostics. Returns the original record; does not clone, freeze,
- * strip fields, require missing fields, or validate child values. As with the
- * existing domain parsers, the allowlist covers own enumerable string keys.
+ * Checks that a value is a plain record whose keys are all on an allowlist. The caller
+ * supplies the domain's schema and error messages.
+ *
+ * Returns the original record. It does not copy, freeze or strip fields, require missing
+ * fields, or check child values. Like the domain parsers, it checks own enumerable string keys.
+ * From 2.0.0 an unknown key also names the field: `<message> Unknown field "<field>".`
  */
 export declare function requireAllowlistedRecord(value: unknown, allowedKeys: readonly string[], message: string): Record<string, unknown>;
 /**
- * Shared opaque public identity grammar: 1–128 ASCII characters, starting with
- * an alphanumeric character, followed by alphanumerics, dot, underscore, colon
- * or hyphen. No trimming, case conversion or path/URL interpretation occurs.
- * A domain retains the meaning of the identity and its exact error message.
+ * Shared grammar for public identifiers: 1–128 ASCII characters. The first is a letter or
+ * digit. The rest are letters, digits, dot, underscore, colon or hyphen.
+ *
+ * The identifier is opaque: no trimming, case conversion or path/URL interpretation. Each
+ * domain decides what the identifier means and keeps its exact error message.
  */
 export declare function requirePublicOpaqueId(value: unknown, message: string): string;
 /** Same grammar for domains that combine ID rejection with other field checks. */
 export declare function isPublicOpaqueId(value: unknown): value is string;
-//# sourceMappingURL=record-validation.d.ts.map
+/**
+ * Guard for a public function's input object. If it receives null, a primitive or an array,
+ * it throws the domain's InvalidConfigurationError, never a raw TypeError from reading a
+ * property. It does not check fields.
+ */
+export declare function requireInputObject(value: unknown, label: string): void;
+/** Root-function input guard for a required array argument; see requireInputObject. */
+export declare function requireInputArray(value: unknown, label: string): void;
+/**
+ * Input object guard for simple scalar calculators that also rejects unknown keys. A misspelled
+ * or wrong-unit field (for example focusDistanceMm instead of focusDistanceM) is never silently ignored.
+ */
+export declare function requireInputKeys(value: unknown, functionName: string, allowedKeys: readonly string[]): void;
+/**
+ * Rejects any own enumerable key of a versioned or engine record that is not on its allowlist, with
+ * the message `<path> has unknown field "<field>".` The caller has already checked that `record` is
+ * a plain object. Used at every object level of the `parse*()` record parsers, so a misspelled or
+ * stale field in a stored profile fails instead of being silently dropped.
+ */
+export declare function rejectUnknownFields(record: object, allowedKeys: readonly string[], path: string): void;
+/**
+ * Checks the fixed-value flags that a parser writes into its own output (for example
+ * `sceneRadianceCalculated: false`). They may be passed back in, so a parsed record parses again,
+ * but only with exactly the fixed value; any other value is rejected rather than ignored.
+ */
+export declare function requireFixedFieldsWhenPresent(record: Readonly<Record<string, unknown>>, fixed: Readonly<Record<string, boolean | string>>, path: string): void;
+/**
+ * Fields of the shared relative / not-quantified uncertainty union used by many evidence-backed
+ * profiles: `{ kind: "relative", fraction, basis }` or `{ kind: "not-quantified", limitation }`.
+ */
+export declare const UNCERTAINTY_VARIANT_FIELDS: Readonly<Record<string, readonly string[]>>;
+/**
+ * For a record whose allowed fields depend on a discriminator (for example `kind` or
+ * `schemaVersion`), rejects fields that the selected variant does not define. An unrecognized
+ * discriminator is left to the caller, which reports it with its own message.
+ */
+export declare function rejectUnknownVariantFields(record: Readonly<Record<string, unknown>>, discriminator: string, allowedByVariant: Readonly<Record<string, readonly string[]>>, path: string): void;

package/dist/core/record-validation.js

@@ -1,35 +1,36 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Validate the shared record/allowlist mechanics without choosing a domain's schema or diagnostics.
- * Returns the original record; does not clone, freeze, strip fields, require missing fields, or
- * validate child values. As with the existing domain parsers, the allowlist covers own enumerable
- * string keys.
- * Shared opaque public identity grammar: 1–128 ASCII characters, starting with an alphanumeric
- * character, followed by alphanumerics, dot, underscore, colon or hyphen. No trimming, case conversion
- * or path/URL interpretation occurs. A domain retains the meaning of the identity and its exact error
- * message.
+ * Shared input checks used by the domain parsers: plain-record and allowed-key checks, the
+ * public identifier grammar, and guards for the top-level argument of a public function.
+ * Each domain keeps its own schema and error messages.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 import { InvalidConfigurationError } from "./configuration-error.js";
 /**
- * Validate the shared record/allowlist mechanics without choosing a domain's
- * schema or diagnostics. Returns the original record; does not clone, freeze,
- * strip fields, require missing fields, or validate child values. As with the
- * existing domain parsers, the allowlist covers own enumerable string keys.
+ * Checks that a value is a plain record whose keys are all on an allowlist. The caller
+ * supplies the domain's schema and error messages.
+ *
+ * Returns the original record. It does not copy, freeze or strip fields, require missing
+ * fields, or check child values. Like the domain parsers, it checks own enumerable string keys.
+ * From 2.0.0 an unknown key also names the field: `<message> Unknown field "<field>".`
  */
 export function requireAllowlistedRecord(value, allowedKeys, message) {
-    if (value === null || typeof value !== "object" || Array.isArray(value) ||
-        Object.keys(value).some(key => !allowedKeys.includes(key))) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
         throw new InvalidConfigurationError(message);
     }
+    for (const key in value) {
+        if (Object.hasOwn(value, key) && !allowedKeys.includes(key)) {
+            throw new InvalidConfigurationError(`${message} Unknown field ${JSON.stringify(key)}.`);
+        }
+    }
     return value;
 }
 /**
- * Shared opaque public identity grammar: 1–128 ASCII characters, starting with
- * an alphanumeric character, followed by alphanumerics, dot, underscore, colon
- * or hyphen. No trimming, case conversion or path/URL interpretation occurs.
- * A domain retains the meaning of the identity and its exact error message.
+ * Shared grammar for public identifiers: 1–128 ASCII characters. The first is a letter or
+ * digit. The rest are letters, digits, dot, underscore, colon or hyphen.
+ *
+ * The identifier is opaque: no trimming, case conversion or path/URL interpretation. Each
+ * domain decides what the identifier means and keeps its exact error message.
  */
 export function requirePublicOpaqueId(value, message) {
     if (!isPublicOpaqueId(value)) {
@@ -41,4 +42,77 @@ export function requirePublicOpaqueId(value, message) {
 export function isPublicOpaqueId(value) {
     return typeof value === "string" && /^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/.test(value);
 }
+/**
+ * Guard for a public function's input object. If it receives null, a primitive or an array,
+ * it throws the domain's InvalidConfigurationError, never a raw TypeError from reading a
+ * property. It does not check fields.
+ */
+export function requireInputObject(value, label) {
+    if (value === null || typeof value !== "object" || Array.isArray(value)) {
+        throw new InvalidConfigurationError(`${label} must be an object.`);
+    }
+}
+/** Root-function input guard for a required array argument; see requireInputObject. */
+export function requireInputArray(value, label) {
+    if (!Array.isArray(value)) {
+        throw new InvalidConfigurationError(`${label} must be an array.`);
+    }
+}
+/**
+ * Input object guard for simple scalar calculators that also rejects unknown keys. A misspelled
+ * or wrong-unit field (for example focusDistanceMm instead of focusDistanceM) is never silently ignored.
+ */
+export function requireInputKeys(value, functionName, allowedKeys) {
+    requireInputObject(value, `${functionName} input`);
+    // for-in over own keys avoids allocating a key array on hot scalar paths.
+    for (const key in value) {
+        if (Object.hasOwn(value, key) && !allowedKeys.includes(key)) {
+            throw new InvalidConfigurationError(`${functionName} input has unknown field ${JSON.stringify(key)}.`);
+        }
+    }
+}
+/**
+ * Rejects any own enumerable key of a versioned or engine record that is not on its allowlist, with
+ * the message `<path> has unknown field "<field>".` The caller has already checked that `record` is
+ * a plain object. Used at every object level of the `parse*()` record parsers, so a misspelled or
+ * stale field in a stored profile fails instead of being silently dropped.
+ */
+export function rejectUnknownFields(record, allowedKeys, path) {
+    for (const key in record) {
+        if (Object.hasOwn(record, key) && !allowedKeys.includes(key)) {
+            throw new InvalidConfigurationError(`${path} has unknown field ${JSON.stringify(key)}.`);
+        }
+    }
+}
+/**
+ * Checks the fixed-value flags that a parser writes into its own output (for example
+ * `sceneRadianceCalculated: false`). They may be passed back in, so a parsed record parses again,
+ * but only with exactly the fixed value; any other value is rejected rather than ignored.
+ */
+export function requireFixedFieldsWhenPresent(record, fixed, path) {
+    for (const key of Object.keys(fixed)) {
+        if (record[key] !== undefined && record[key] !== fixed[key]) {
+            throw new InvalidConfigurationError(`${path}.${key} must be ${JSON.stringify(fixed[key])} when supplied.`);
+        }
+    }
+}
+/**
+ * Fields of the shared relative / not-quantified uncertainty union used by many evidence-backed
+ * profiles: `{ kind: "relative", fraction, basis }` or `{ kind: "not-quantified", limitation }`.
+ */
+export const UNCERTAINTY_VARIANT_FIELDS = Object.freeze({
+    relative: Object.freeze(["kind", "fraction", "basis"]),
+    "not-quantified": Object.freeze(["kind", "limitation"])
+});
+/**
+ * For a record whose allowed fields depend on a discriminator (for example `kind` or
+ * `schemaVersion`), rejects fields that the selected variant does not define. An unrecognized
+ * discriminator is left to the caller, which reports it with its own message.
+ */
+export function rejectUnknownVariantFields(record, discriminator, allowedByVariant, path) {
+    const variant = record[discriminator];
+    if (typeof variant === "string" && Object.hasOwn(allowedByVariant, variant)) {
+        rejectUnknownFields(record, allowedByVariant[variant], path);
+    }
+}
 //# sourceMappingURL=record-validation.js.map

package/dist/core/record-validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"record-validation.js","sourceRoot":"","sources":["../../src/core/record-validation.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAc,EAAE,WAA8B,EAAE,OAAe;IAE/D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACnE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAc,EAAE,OAAe;IACnE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,qCAAqC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxF,CAAC"}
+{"version":3,"file":"record-validation.js","sourceRoot":"","sources":["../../src/core/record-validation.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;GAKG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAc,EAAE,WAA8B,EAAE,OAAe;IAE/D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,yBAAyB,CAAC,GAAG,OAAO,kBAAkB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAc,EAAE,OAAe;IACnE,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,yBAAyB,CAAC,OAAO,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,qCAAqC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,KAAa;IAC9D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,qBAAqB,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,iBAAiB,CAAC,KAAc,EAAE,KAAa;IAC7D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,yBAAyB,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc,EAAE,YAAoB,EAAE,WAA8B;IACnG,kBAAkB,CAAC,KAAK,EAAE,GAAG,YAAY,QAAQ,CAAC,CAAC;IACnD,0EAA0E;IAC1E,KAAK,MAAM,GAAG,IAAI,KAAe,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAe,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,yBAAyB,CAAC,GAAG,YAAY,4BAA4B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzG,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,WAA8B,EAAE,IAAY;IAC9F,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,sBAAsB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,MAAyC,EAAE,KAAiD,EAAE,IAAY;IAE1G,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,IAAI,yBAAyB,CAAC,GAAG,IAAI,IAAI,GAAG,YAAY,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,iBAAiB,CAAC,CAAC;QAC7G,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAgD,MAAM,CAAC,MAAM,CAAC;IACnG,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACtD,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;CACxD,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAAyC,EAAE,aAAqB,EAChE,gBAA6D,EAAE,IAAY;IAE3E,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;IACtC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,OAAO,CAAC,EAAE,CAAC;QAC5E,mBAAmB,CAAC,MAAM,EAAE,gBAAgB,CAAC,OAAO,CAAE,EAAE,IAAI,CAAC,CAAC;IAChE,CAAC;AACH,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Shared input checks used by the domain parsers: plain-record and allowed-key checks, the\n * public identifier grammar, and guards for the top-level argument of a public function.\n * Each domain keeps its own schema and error messages.\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/**\n * Checks that a value is a plain record whose keys are all on an allowlist. The caller\n * supplies the domain's schema and error messages.\n *\n * Returns the original record. It does not copy, freeze or strip fields, require missing\n * fields, or check child values. Like the domain parsers, it checks own enumerable string keys.\n * From 2.0.0 an unknown key also names the field: `<message> Unknown field \"<field>\".`\n */\nexport function requireAllowlistedRecord(\n  value: unknown, allowedKeys: readonly string[], message: string\n): Record<string, unknown> {\n  if (value === null || typeof value !== \"object\" || Array.isArray(value)) {\n    throw new InvalidConfigurationError(message);\n  }\n  for (const key in value) {\n    if (Object.hasOwn(value, key) && !allowedKeys.includes(key)) {\n      throw new InvalidConfigurationError(`${message} Unknown field ${JSON.stringify(key)}.`);\n    }\n  }\n  return value as Record<string, unknown>;\n}\n\n/**\n * Shared grammar for public identifiers: 1–128 ASCII characters. The first is a letter or\n * digit. The rest are letters, digits, dot, underscore, colon or hyphen.\n *\n * The identifier is opaque: no trimming, case conversion or path/URL interpretation. Each\n * domain decides what the identifier means and keeps its exact error message.\n */\nexport function requirePublicOpaqueId(value: unknown, message: string): string {\n  if (!isPublicOpaqueId(value)) {\n    throw new InvalidConfigurationError(message);\n  }\n  return value;\n}\n\n/** Same grammar for domains that combine ID rejection with other field checks. */\nexport function isPublicOpaqueId(value: unknown): value is string {\n  return typeof value === \"string\" && /^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/.test(value);\n}\n\n/**\n * Guard for a public function's input object. If it receives null, a primitive or an array,\n * it throws the domain's InvalidConfigurationError, never a raw TypeError from reading a\n * property. It does not check fields.\n */\nexport function requireInputObject(value: unknown, label: string): void {\n  if (value === null || typeof value !== \"object\" || Array.isArray(value)) {\n    throw new InvalidConfigurationError(`${label} must be an object.`);\n  }\n}\n\n/** Root-function input guard for a required array argument; see requireInputObject. */\nexport function requireInputArray(value: unknown, label: string): void {\n  if (!Array.isArray(value)) {\n    throw new InvalidConfigurationError(`${label} must be an array.`);\n  }\n}\n\n/**\n * Input object guard for simple scalar calculators that also rejects unknown keys. A misspelled\n * or wrong-unit field (for example focusDistanceMm instead of focusDistanceM) is never silently ignored.\n */\nexport function requireInputKeys(value: unknown, functionName: string, allowedKeys: readonly string[]): void {\n  requireInputObject(value, `${functionName} input`);\n  // for-in over own keys avoids allocating a key array on hot scalar paths.\n  for (const key in value as object) {\n    if (Object.hasOwn(value as object, key) && !allowedKeys.includes(key)) {\n      throw new InvalidConfigurationError(`${functionName} input has unknown field ${JSON.stringify(key)}.`);\n    }\n  }\n}\n\n/**\n * Rejects any own enumerable key of a versioned or engine record that is not on its allowlist, with\n * the message `<path> has unknown field \"<field>\".` The caller has already checked that `record` is\n * a plain object. Used at every object level of the `parse*()` record parsers, so a misspelled or\n * stale field in a stored profile fails instead of being silently dropped.\n */\nexport function rejectUnknownFields(record: object, allowedKeys: readonly string[], path: string): void {\n  for (const key in record) {\n    if (Object.hasOwn(record, key) && !allowedKeys.includes(key)) {\n      throw new InvalidConfigurationError(`${path} has unknown field ${JSON.stringify(key)}.`);\n    }\n  }\n}\n\n/**\n * Checks the fixed-value flags that a parser writes into its own output (for example\n * `sceneRadianceCalculated: false`). They may be passed back in, so a parsed record parses again,\n * but only with exactly the fixed value; any other value is rejected rather than ignored.\n */\nexport function requireFixedFieldsWhenPresent(\n  record: Readonly<Record<string, unknown>>, fixed: Readonly<Record<string, boolean | string>>, path: string\n): void {\n  for (const key of Object.keys(fixed)) {\n    if (record[key] !== undefined && record[key] !== fixed[key]) {\n      throw new InvalidConfigurationError(`${path}.${key} must be ${JSON.stringify(fixed[key])} when supplied.`);\n    }\n  }\n}\n\n/**\n * Fields of the shared relative / not-quantified uncertainty union used by many evidence-backed\n * profiles: `{ kind: \"relative\", fraction, basis }` or `{ kind: \"not-quantified\", limitation }`.\n */\nexport const UNCERTAINTY_VARIANT_FIELDS: Readonly<Record<string, readonly string[]>> = Object.freeze({\n  relative: Object.freeze([\"kind\", \"fraction\", \"basis\"]),\n  \"not-quantified\": Object.freeze([\"kind\", \"limitation\"])\n});\n\n/**\n * For a record whose allowed fields depend on a discriminator (for example `kind` or\n * `schemaVersion`), rejects fields that the selected variant does not define. An unrecognized\n * discriminator is left to the caller, which reports it with its own message.\n */\nexport function rejectUnknownVariantFields(\n  record: Readonly<Record<string, unknown>>, discriminator: string,\n  allowedByVariant: Readonly<Record<string, readonly string[]>>, path: string\n): void {\n  const variant = record[discriminator];\n  if (typeof variant === \"string\" && Object.hasOwn(allowedByVariant, variant)) {\n    rejectUnknownFields(record, allowedByVariant[variant]!, path);\n  }\n}\n"]}

package/dist/core/scientific-assurance.d.ts

@@ -1,8 +1,9 @@
 /**
- * Module boundary and integration notes.
- * Composes scientific-status, evidence and uncertainty semantics without inventing a numeric aggregate
- * uncertainty. Required downstream status is bounded by the weakest required input. Component
- * evidence/uncertainty is preserved verbatim after validation.
+ * Combines the scientific status, evidence and uncertainty of several pipeline stages into one
+ * record, without inventing a single numeric uncertainty.
+ *
+ * The combined status can be no better than the weakest required input. Each component's
+ * evidence and uncertainty is kept exactly as given, after validation.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 import { type CalculationQuality } from "./calculation-result.js";
@@ -68,11 +69,13 @@ export type ComposedScientificUncertaintyStatus = {
     limitation: string;
 };
 /**
- * Cross-stage status and retained evidence for one declared scientific result.
- * Required incomplete/approximate children constrain the aggregate; deterministic
- * processing cannot upgrade approximation to calibration. Uncertainty components
- * remain independently identified unless an explicit mathematical propagation model
- * justifies a combination. A count of successful stages is not an accuracy bound.
+ * Combined status and kept evidence for one declared scientific result across stages.
+ *
+ * - A required input that is incomplete or approximate limits the combined status.
+ * - Deterministic processing cannot turn an approximation into a calibration.
+ * - Uncertainty components stay separate unless an explicit mathematical propagation
+ *   model justifies combining them.
+ * - A count of successful stages is not an accuracy bound.
  */
 export interface ComposedScientificAssurance {
     version: typeof SCIENTIFIC_ASSURANCE_CONTRACT_VERSION;
@@ -91,11 +94,10 @@ export interface ComposeScientificAssuranceInput {
     components: readonly ScientificAssuranceComponent[];
 }
 /**
- * Composes scientific-status, evidence and uncertainty semantics without
- * inventing a numeric aggregate uncertainty.
+ * Combines the scientific status, evidence and uncertainty of several inputs into one
+ * record, without inventing a single numeric uncertainty.
  *
- * Required downstream status is bounded by the weakest required input.
- * Component evidence/uncertainty is preserved verbatim after validation.
+ * The combined status can be no better than the weakest required input. Each component's
+ * evidence and uncertainty is kept exactly as given, after validation.
  */
 export declare function composeScientificAssurance(input: ComposeScientificAssuranceInput): ComposedScientificAssurance;
-//# sourceMappingURL=scientific-assurance.d.ts.map

package/dist/core/scientific-assurance.js

@@ -1,14 +1,17 @@
 // SPDX-License-Identifier: Apache-2.0
 /**
- * Module boundary and integration notes.
- * Composes scientific-status, evidence and uncertainty semantics without inventing a numeric aggregate
- * uncertainty. Required downstream status is bounded by the weakest required input. Component
- * evidence/uncertainty is preserved verbatim after validation.
+ * Combines the scientific status, evidence and uncertainty of several pipeline stages into one
+ * record, without inventing a single numeric uncertainty.
+ *
+ * The combined status can be no better than the weakest required input. Each component's
+ * evidence and uncertainty is kept exactly as given, after validation.
  * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
  */
 import { validateCalculationQuality } from "./calculation-result.js";
 import { InvalidScientificInputError } from "./validation.js";
 import { parseEvidenceProvenance } from "./evidence-provenance.js";
+import { requireInputKeys } from "./record-validation.js";
+import { InvalidConfigurationError } from "./configuration-error.js";
 export const SCIENTIFIC_ASSURANCE_CONTRACT_VERSION = "0.1.0";
 const SCIENTIFIC_STATUSES = new Set([
     "calibrated",
@@ -29,7 +32,7 @@ const SOURCE_KINDS = new Set([
 function requireNonEmptyString(value, path) {
     if (typeof value !== "string" ||
         value.trim().length === 0) {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             " must be a non-empty string.");
     }
     return value.trim();
@@ -45,7 +48,7 @@ function requireNonNegativeFinite(value, path) {
 }
 function validateSourceIdentity(value, path) {
     if (!SOURCE_KINDS.has(value.kind)) {
-        throw new InvalidScientificInputError(path + ".kind is invalid.");
+        throw new InvalidConfigurationError(path + ".kind is invalid.");
     }
     return {
         kind: value.kind,
@@ -119,11 +122,11 @@ function validateUncertainty(value, path) {
             reason: requireNonEmptyString(value.reason, path + ".reason")
         };
     }
-    throw new InvalidScientificInputError(path + ".kind is invalid.");
+    throw new InvalidConfigurationError(path + ".kind is invalid.");
 }
 function validateLimitations(value, path) {
     if (!Array.isArray(value)) {
-        throw new InvalidScientificInputError(path + " must be an array.");
+        throw new InvalidConfigurationError(path + " must be an array.");
     }
     const parsed = value.map((entry, index) => requireNonEmptyString(entry, path +
         "[" +
@@ -142,15 +145,15 @@ function validateComponent(value, index) {
         "]";
     if (typeof value.required !==
         "boolean") {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             ".required must be boolean.");
     }
     if (!BASIS_KINDS.has(value.basisKind)) {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             ".basisKind is invalid.");
     }
     if (!SCIENTIFIC_STATUSES.has(value.scientificStatus)) {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             ".scientificStatus is invalid.");
     }
     if (value.basisKind ===
@@ -164,11 +167,11 @@ function validateComponent(value, index) {
         "required" &&
         value.evidenceRequirement !==
             "not-required") {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             ".evidenceRequirement is invalid.");
     }
     if (!Array.isArray(value.evidence)) {
-        throw new InvalidScientificInputError(path +
+        throw new InvalidConfigurationError(path +
             ".evidence must be an array.");
     }
     const evidence = value.evidence.map((entry, evidenceIndex) => parseEvidenceProvenance(entry, path +
@@ -237,16 +240,17 @@ function composedUncertainty(required) {
     };
 }
 /**
- * Composes scientific-status, evidence and uncertainty semantics without
- * inventing a numeric aggregate uncertainty.
+ * Combines the scientific status, evidence and uncertainty of several inputs into one
+ * record, without inventing a single numeric uncertainty.
  *
- * Required downstream status is bounded by the weakest required input.
- * Component evidence/uncertainty is preserved verbatim after validation.
+ * The combined status can be no better than the weakest required input. Each component's
+ * evidence and uncertainty is kept exactly as given, after validation.
  */
 export function composeScientificAssurance(input) {
+    requireInputKeys(input, "composeScientificAssurance", ["components"]);
     if (!Array.isArray(input.components) ||
         input.components.length === 0) {
-        throw new InvalidScientificInputError("components must be a non-empty array.");
+        throw new InvalidConfigurationError("components must be a non-empty array.");
     }
     const components = input.components.map(validateComponent);
     const ids = components.map((component) => component.componentId);

package/dist/core/scientific-assurance.js.map

@@ -1 +1 @@
-{"version":3,"file":"scientific-assurance.js","sourceRoot":"","sources":["../../src/core/scientific-assurance.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;GAMG;AAEH,OAAO,EACL,0BAA0B,EAE3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,uBAAuB,EAExB,MAAM,0BAA0B,CAAC;AAElC,MAAM,CAAC,MAAM,qCAAqC,GAChD,OAAgB,CAAC;AAwInB,MAAM,mBAAmB,GACvB,IAAI,GAAG,CAA4B;IACjC,YAAY;IACZ,eAAe;IACf,SAAS;CACV,CAAC,CAAC;AAEL,MAAM,WAAW,GACf,IAAI,GAAG,CAA+B;IACpC,sBAAsB;IACtB,2BAA2B;IAC3B,gBAAgB;CACjB,CAAC,CAAC;AAEL,MAAM,YAAY,GAChB,IAAI,GAAG,CAAgC;IACrC,SAAS;IACT,QAAQ;IACR,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAEL,SAAS,qBAAqB,CAC5B,KAAc,EACd,IAAY;IAEZ,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EACzB,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,8BAA8B,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,IAAY;IAEZ,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACvB,KAAK,GAAG,CAAC,EACT,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,KACmC,EACnC,IAAY;IAEZ,IACE,CAAC,YAAY,CAAC,GAAG,CACf,KAAK,CAAC,IACyB,CAChC,EACD,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI,GAAG,mBAAmB,CAC3B,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,EAAE,EACA,qBAAqB,CACnB,KAAK,CAAC,EAAE,EACR,IAAI,GAAG,KAAK,CACb;QACH,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC7B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,OAAO,EACL,qBAAqB,CACnB,KAAK,CAAC,OAAO,EACb,IAAI,GAAG,UAAU,CAClB;aACJ,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KACyC,EACzC,IAAY;IAEZ,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,QAAQ,GACZ,wBAAwB,CACtB,KAAK,CAAC,QAAQ,EACd,IAAI,GAAG,WAAW,CACnB,CAAC;QACJ,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,2BAA2B,CACnC,IAAI;gBACF,8CAA8C,CACjD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,QAAQ;YACR,KAAK,EACH,qBAAqB,CACnB,KAAK,CAAC,KAAK,EACX,IAAI,GAAG,QAAQ,CAChB;SACJ,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,SAAS,EACP,wBAAwB,CACtB,KAAK,CAAC,SAAS,EACf,IAAI,GAAG,YAAY,CACpB;YACH,IAAI,EACF,qBAAqB,CACnB,KAAK,CAAC,IAAI,EACV,IAAI,GAAG,OAAO,CACf;YACH,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;gBAC3B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,KAAK,EACH,qBAAqB,CACnB,KAAK,CAAC,KAAK,EACX,IAAI,GAAG,QAAQ,CAChB;iBACJ,CAAC;SACP,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,qBAAqB,EACrB,CAAC;QACD,0BAA0B,CACxB,KAAK,CAAC,OAAO,CACd,CAAC;QACF,IACE,KAAK,CAAC,OAAO;aACV,WAAW;YACZ,SAAS;YACX,KAAK,CAAC,OAAO;iBACV,WAAW,CAAC,MAAM;gBACnB,CAAC,EACH,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;gBACF,4GAA4G,CAC/G,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EACF,qBAAqB;YACvB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,gBAAgB,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EACR,qBAAqB,CACnB,KAAK,CAAC,UAAU,EAChB,IAAI,GAAG,aAAa,CACrB;SACJ,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,UAAU,EACR,qBAAqB,CACnB,KAAK,CAAC,UAAU,EAChB,IAAI,GAAG,aAAa,CACrB;SACJ,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,gBAAgB,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,MAAM,EACJ,qBAAqB,CACnB,KAAK,CAAC,MAAM,EACZ,IAAI,GAAG,SAAS,CACjB;SACJ,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,2BAA2B,CACnC,IAAI,GAAG,mBAAmB,CAC3B,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwB,EACxB,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,2BAA2B,CACnC,IAAI,GAAG,oBAAoB,CAC5B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACzB,qBAAqB,CACnB,KAAK,EACL,IAAI;QACF,GAAG;QACH,KAAK;QACL,GAAG,CACN,CACF,CAAC;IAEJ,IACE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI;QACpB,MAAM,CAAC,MAAM,EACb,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAC8B,EAC9B,KAAa;IAEb,MAAM,IAAI,GACR,aAAa;QACb,KAAK;QACL,GAAG,CAAC;IAEN,IACE,OAAO,KAAK,CAAC,QAAQ;QACrB,SAAS,EACT,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IAED,IACE,CAAC,WAAW,CAAC,GAAG,CACd,KAAK,CAAC,SACwB,CAC/B,EACD,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,wBAAwB,CAC3B,CAAC;IACJ,CAAC;IAED,IACE,CAAC,mBAAmB,CAAC,GAAG,CACtB,KAAK,CAAC,gBACqB,CAC5B,EACD,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,SAAS;QACb,sBAAsB;QACxB,KAAK,CAAC,mBAAmB;YACvB,UAAU,EACZ,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,4EAA4E,CAC/E,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,mBAAmB;QACvB,UAAU;QACZ,KAAK,CAAC,mBAAmB;YACvB,cAAc,EAChB,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,6BAA6B,CAChC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GACZ,KAAK,CAAC,QAAQ,CAAC,GAAG,CAChB,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,uBAAuB,CACrB,KAAK,EACL,IAAI;QACF,YAAY;QACZ,aAAa;QACb,GAAG,CACN,CACJ,CAAC;IAEJ,OAAO;QACL,WAAW,EACT,qBAAqB,CACnB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;QACH,IAAI,EACF,qBAAqB,CACnB,KAAK,CAAC,IAAI,EACV,IAAI,GAAG,OAAO,CACf;QACH,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EACZ,sBAAsB,CACpB,KAAK,CAAC,cAAc,EACpB,IAAI;YACF,iBAAiB,CACpB;QACH,SAAS,EACP,KAAK,CAAC,SAAS;QACjB,gBAAgB,EACd,KAAK,CAAC,gBAAgB;QACxB,mBAAmB,EACjB,KAAK,CAAC,mBAAmB;QAC3B,QAAQ;QACR,WAAW,EACT,mBAAmB,CACjB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;QACH,WAAW,EACT,mBAAmB,CACjB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,KAC2B;IAE3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,KAAK,KAAK,eAAe,EACzB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,QACyC;IAEzC,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QAC1B,SAAS,CACZ,CAAC;IAEJ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,YAAY,EACV,OAAO,CAAC,GAAG,CACT,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,uGAAuG;SAC1G,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAChB,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QAC1B,gBAAgB,CACnB,CAAC;IAEJ,IACE,YAAY,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,YAAY,EACV,YAAY,CAAC,GAAG,CACd,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,mHAAmH;SACtH,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QACxB,UAAU;QACZ,SAAS,CAAC,WAAW,CAAC,IAAI;YACxB,UAAU;QACZ,SAAS,CAAC,WAAW,CAAC,IAAI;YACxB,qBAAqB,CAC1B,CAAC;IAEJ,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,YAAY,EACV,UAAU,CAAC,GAAG,CACZ,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,sJAAsJ;SACzJ,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,YAAY,EACV,QAAQ,CAAC,GAAG,CACV,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,UAAU,EACR,2FAA2F;KAC9F,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CACxC,KACiC;IAEjC,IACE,CAAC,KAAK,CAAC,OAAO,CACZ,KAAK,CAAC,UAAU,CACjB;QACD,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAC7B,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,uCAAuC,CACxC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,CAAC,GAAG,CAClB,iBAAiB,CAClB,CAAC;IAEJ,MAAM,GAAG,GACP,UAAU,CAAC,GAAG,CACZ,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB,CAAC;IAEJ,IACE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI;QACjB,GAAG,CAAC,MAAM,EACV,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GACZ,UAAU,CAAC,MAAM,CACf,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,QAAQ,CACrB,CAAC;IAEJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,2BAA2B,CACnC,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,GACb,MAAM,CAAC,iBAAiB,CAAC;IAE3B,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,WAAW;YACT,IAAI,CAAC,GAAG,CACN,WAAW,EACX,UAAU,CACR,SAAS,CAAC,gBAAgB,CAC3B,CACF,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,UAAU,CACR,SAAS,CAAC,gBAAgB,CAC3B,KAAK,WAAW,CACpB,CAAC;IAEJ,MAAM,gBAAgB,GACpB,WAAW,KAAK,CAAC;QACf,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,KAAK,CAAC;YACjB,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,YAAY,CAAC;IAErB,MAAM,uBAAuB,GAC3B,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS;SACN,mBAAmB;QACpB,UAAU;QACZ,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAClC,CAAC;IAEJ,MAAM,gBAAgB,GAElB,uBAAuB,CAAC,MAAM;QAC9B,CAAC;QACC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gBAAgB,CAAC;IAEzB,MAAM,2BAA2B,GAC/B,uBAAuB,CAAC,MAAM;QAC9B,CAAC;QACC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CACzB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,CAAC,CAAC,OAAO,CAAC,GAAG,CACT,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB,CAAC;IAER,OAAO;QACL,OAAO,EACL,qCAAqC;QACvC,gBAAgB;QAChB,2BAA2B;QAC3B,cAAc,EACZ,uBAAuB;aACpB,MAAM,KAAK,CAAC;YACb,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,2BAA2B;QACjC,mCAAmC,EACjC,uBAAuB,CAAC,GAAG,CACzB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,WAAW,EACT,mBAAmB,CACjB,QAAQ,CACT;QACH,UAAU;QACV,0BAA0B,EACxB,IAAI;QACN,6BAA6B,EAC3B,IAAI;QACN,qCAAqC,EACnC,KAAK;QACP,mCAAmC,EACjC,KAAK;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"scientific-assurance.js","sourceRoot":"","sources":["../../src/core/scientific-assurance.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;GAOG;AAEH,OAAO,EACL,0BAA0B,EAE3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,uBAAuB,EAExB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAErE,MAAM,CAAC,MAAM,qCAAqC,GAChD,OAAgB,CAAC;AA0InB,MAAM,mBAAmB,GACvB,IAAI,GAAG,CAA4B;IACjC,YAAY;IACZ,eAAe;IACf,SAAS;CACV,CAAC,CAAC;AAEL,MAAM,WAAW,GACf,IAAI,GAAG,CAA+B;IACpC,sBAAsB;IACtB,2BAA2B;IAC3B,gBAAgB;CACjB,CAAC,CAAC;AAEL,MAAM,YAAY,GAChB,IAAI,GAAG,CAAgC;IACrC,SAAS;IACT,QAAQ;IACR,OAAO;IACP,SAAS;CACV,CAAC,CAAC;AAEL,SAAS,qBAAqB,CAC5B,KAAc,EACd,IAAY;IAEZ,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EACzB,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,8BAA8B,CACjC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,EAAE,CAAC;AACtB,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,IAAY;IAEZ,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACvB,KAAK,GAAG,CAAC,EACT,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,KACmC,EACnC,IAAY;IAEZ,IACE,CAAC,YAAY,CAAC,GAAG,CACf,KAAK,CAAC,IACyB,CAChC,EACD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI,GAAG,mBAAmB,CAC3B,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,EAAE,EACA,qBAAqB,CACnB,KAAK,CAAC,EAAE,EACR,IAAI,GAAG,KAAK,CACb;QACH,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS;YAC7B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,OAAO,EACL,qBAAqB,CACnB,KAAK,CAAC,OAAO,EACb,IAAI,GAAG,UAAU,CAClB;aACJ,CAAC;KACP,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KACyC,EACzC,IAAY;IAEZ,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,MAAM,QAAQ,GACZ,wBAAwB,CACtB,KAAK,CAAC,QAAQ,EACd,IAAI,GAAG,WAAW,CACnB,CAAC;QACJ,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,IAAI,2BAA2B,CACnC,IAAI;gBACF,8CAA8C,CACjD,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,QAAQ;YACR,KAAK,EACH,qBAAqB,CACnB,KAAK,CAAC,KAAK,EACX,IAAI,GAAG,QAAQ,CAChB;SACJ,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC9B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,SAAS,EACP,wBAAwB,CACtB,KAAK,CAAC,SAAS,EACf,IAAI,GAAG,YAAY,CACpB;YACH,IAAI,EACF,qBAAqB,CACnB,KAAK,CAAC,IAAI,EACV,IAAI,GAAG,OAAO,CACf;YACH,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS;gBAC3B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC;oBACE,KAAK,EACH,qBAAqB,CACnB,KAAK,CAAC,KAAK,EACX,IAAI,GAAG,QAAQ,CAChB;iBACJ,CAAC;SACP,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,qBAAqB,EACrB,CAAC;QACD,0BAA0B,CACxB,KAAK,CAAC,OAAO,CACd,CAAC;QACF,IACE,KAAK,CAAC,OAAO;aACV,WAAW;YACZ,SAAS;YACX,KAAK,CAAC,OAAO;iBACV,WAAW,CAAC,MAAM;gBACnB,CAAC,EACH,CAAC;YACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;gBACF,4GAA4G,CAC/G,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EACF,qBAAqB;YACvB,OAAO,EAAE,KAAK,CAAC,OAAO;SACvB,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,gBAAgB,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,UAAU,EACR,qBAAqB,CACnB,KAAK,CAAC,UAAU,EAChB,IAAI,GAAG,aAAa,CACrB;SACJ,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,SAAS;YACf,UAAU,EACR,qBAAqB,CACnB,KAAK,CAAC,UAAU,EAChB,IAAI,GAAG,aAAa,CACrB;SACJ,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,IAAI;QACV,gBAAgB,EAChB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,MAAM,EACJ,qBAAqB,CACnB,KAAK,CAAC,MAAM,EACZ,IAAI,GAAG,SAAS,CACjB;SACJ,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,yBAAyB,CACjC,IAAI,GAAG,mBAAmB,CAC3B,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAwB,EACxB,IAAY;IAEZ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,yBAAyB,CACjC,IAAI,GAAG,oBAAoB,CAC5B,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GACV,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACzB,qBAAqB,CACnB,KAAK,EACL,IAAI;QACF,GAAG;QACH,KAAK;QACL,GAAG,CACN,CACF,CAAC;IAEJ,IACE,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI;QACpB,MAAM,CAAC,MAAM,EACb,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CACxB,KAC8B,EAC9B,KAAa;IAEb,MAAM,IAAI,GACR,aAAa;QACb,KAAK;QACL,GAAG,CAAC;IAEN,IACE,OAAO,KAAK,CAAC,QAAQ;QACrB,SAAS,EACT,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,4BAA4B,CAC/B,CAAC;IACJ,CAAC;IAED,IACE,CAAC,WAAW,CAAC,GAAG,CACd,KAAK,CAAC,SACwB,CAC/B,EACD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,wBAAwB,CAC3B,CAAC;IACJ,CAAC;IAED,IACE,CAAC,mBAAmB,CAAC,GAAG,CACtB,KAAK,CAAC,gBACqB,CAC5B,EACD,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,+BAA+B,CAClC,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,SAAS;QACb,sBAAsB;QACxB,KAAK,CAAC,mBAAmB;YACvB,UAAU,EACZ,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,IAAI;YACF,4EAA4E,CAC/E,CAAC;IACJ,CAAC;IAED,IACE,KAAK,CAAC,mBAAmB;QACvB,UAAU;QACZ,KAAK,CAAC,mBAAmB;YACvB,cAAc,EAChB,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,kCAAkC,CACrC,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,yBAAyB,CACjC,IAAI;YACF,6BAA6B,CAChC,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GACZ,KAAK,CAAC,QAAQ,CAAC,GAAG,CAChB,CAAC,KAAK,EAAE,aAAa,EAAE,EAAE,CACvB,uBAAuB,CACrB,KAAK,EACL,IAAI;QACF,YAAY;QACZ,aAAa;QACb,GAAG,CACN,CACJ,CAAC;IAEJ,OAAO;QACL,WAAW,EACT,qBAAqB,CACnB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;QACH,IAAI,EACF,qBAAqB,CACnB,KAAK,CAAC,IAAI,EACV,IAAI,GAAG,OAAO,CACf;QACH,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,cAAc,EACZ,sBAAsB,CACpB,KAAK,CAAC,cAAc,EACpB,IAAI;YACF,iBAAiB,CACpB;QACH,SAAS,EACP,KAAK,CAAC,SAAS;QACjB,gBAAgB,EACd,KAAK,CAAC,gBAAgB;QACxB,mBAAmB,EACjB,KAAK,CAAC,mBAAmB;QAC3B,QAAQ;QACR,WAAW,EACT,mBAAmB,CACjB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;QACH,WAAW,EACT,mBAAmB,CACjB,KAAK,CAAC,WAAW,EACjB,IAAI,GAAG,cAAc,CACtB;KACJ,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,KAC2B;IAE3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,IACE,KAAK,KAAK,eAAe,EACzB,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,mBAAmB,CAC1B,QACyC;IAEzC,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QAC1B,SAAS,CACZ,CAAC;IAEJ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,YAAY,EACV,OAAO,CAAC,GAAG,CACT,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,uGAAuG;SAC1G,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAChB,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QAC1B,gBAAgB,CACnB,CAAC;IAEJ,IACE,YAAY,CAAC,MAAM,GAAG,CAAC,EACvB,CAAC;QACD,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,YAAY,EACV,YAAY,CAAC,GAAG,CACd,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,mHAAmH;SACtH,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,IAAI;QACxB,UAAU;QACZ,SAAS,CAAC,WAAW,CAAC,IAAI;YACxB,UAAU;QACZ,SAAS,CAAC,WAAW,CAAC,IAAI;YACxB,qBAAqB,CAC1B,CAAC;IAEJ,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,YAAY,EACV,UAAU,CAAC,GAAG,CACZ,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;YACH,UAAU,EACR,sJAAsJ;SACzJ,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,YAAY,EACV,QAAQ,CAAC,GAAG,CACV,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,UAAU,EACR,2FAA2F;KAC9F,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CACxC,KACiC;IAEjC,gBAAgB,CAAC,KAAK,EAAE,4BAA4B,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC;IACtE,IACE,CAAC,KAAK,CAAC,OAAO,CACZ,KAAK,CAAC,UAAU,CACjB;QACD,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAC7B,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,uCAAuC,CACxC,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GACd,KAAK,CAAC,UAAU,CAAC,GAAG,CAClB,iBAAiB,CAClB,CAAC;IAEJ,MAAM,GAAG,GACP,UAAU,CAAC,GAAG,CACZ,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB,CAAC;IAEJ,IACE,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI;QACjB,GAAG,CAAC,MAAM,EACV,CAAC;QACD,MAAM,IAAI,2BAA2B,CACnC,2DAA2D,CAC5D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GACZ,UAAU,CAAC,MAAM,CACf,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,QAAQ,CACrB,CAAC;IAEJ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,IAAI,2BAA2B,CACnC,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,IAAI,WAAW,GACb,MAAM,CAAC,iBAAiB,CAAC;IAE3B,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;QACjC,WAAW;YACT,IAAI,CAAC,GAAG,CACN,WAAW,EACX,UAAU,CACR,SAAS,CAAC,gBAAgB,CAC3B,CACF,CAAC;IACN,CAAC;IAED,MAAM,OAAO,GACX,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,UAAU,CACR,SAAS,CAAC,gBAAgB,CAC3B,KAAK,WAAW,CACpB,CAAC;IAEJ,MAAM,gBAAgB,GACpB,WAAW,KAAK,CAAC;QACf,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,WAAW,KAAK,CAAC;YACjB,CAAC,CAAC,eAAe;YACjB,CAAC,CAAC,YAAY,CAAC;IAErB,MAAM,uBAAuB,GAC3B,QAAQ,CAAC,MAAM,CACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS;SACN,mBAAmB;QACpB,UAAU;QACZ,SAAS,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAClC,CAAC;IAEJ,MAAM,gBAAgB,GAElB,uBAAuB,CAAC,MAAM;QAC9B,CAAC;QACC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gBAAgB,CAAC;IAEzB,MAAM,2BAA2B,GAC/B,uBAAuB,CAAC,MAAM;QAC9B,CAAC;QACC,CAAC,CAAC,uBAAuB,CAAC,GAAG,CACzB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,CAAC,CAAC,OAAO,CAAC,GAAG,CACT,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB,CAAC;IAER,OAAO;QACL,OAAO,EACL,qCAAqC;QACvC,gBAAgB;QAChB,2BAA2B;QAC3B,cAAc,EACZ,uBAAuB;aACpB,MAAM,KAAK,CAAC;YACb,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,2BAA2B;QACjC,mCAAmC,EACjC,uBAAuB,CAAC,GAAG,CACzB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,CAAC,WAAW,CACxB;QACH,WAAW,EACT,mBAAmB,CACjB,QAAQ,CACT;QACH,UAAU;QACV,0BAA0B,EACxB,IAAI;QACN,6BAA6B,EAC3B,IAAI;QACN,qCAAqC,EACnC,KAAK;QACP,mCAAmC,EACjC,KAAK;KACR,CAAC;AACJ,CAAC","sourcesContent":["// SPDX-License-Identifier: Apache-2.0\n\n/**\n * Combines the scientific status, evidence and uncertainty of several pipeline stages into one\n * record, without inventing a single numeric uncertainty.\n *\n * The combined status can be no better than the weakest required input. Each component's\n * evidence and uncertainty is kept exactly as given, after validation.\n * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.\n */\n\nimport {\n  validateCalculationQuality,\n  type CalculationQuality\n} from \"./calculation-result.js\";\nimport { InvalidScientificInputError } from \"./validation.js\";\nimport {\n  parseEvidenceProvenance,\n  type EvidenceProvenance\n} from \"./evidence-provenance.js\";\nimport { requireInputKeys } from \"./record-validation.js\";\nimport { InvalidConfigurationError } from \"./configuration-error.js\";\n\nexport const SCIENTIFIC_ASSURANCE_CONTRACT_VERSION =\n  \"0.1.0\" as const;\n\nexport type ScientificAssuranceStatus =\n  | \"calibrated\"\n  | \"approximation\"\n  | \"unknown\";\n\nexport type ScientificAssuranceBasisKind =\n  | \"evidence-backed-fact\"\n  | \"photivra-model-assumption\"\n  | \"not-applicable\";\n\nexport type ScientificAssuranceSourceKind =\n  | \"profile\"\n  | \"result\"\n  | \"model\"\n  | \"fixture\";\n\nexport interface ScientificAssuranceSourceIdentity {\n  kind: ScientificAssuranceSourceKind;\n  id: string;\n  version?: string;\n}\n\nexport type ScientificAssuranceComponentUncertainty =\n  | {\n      kind: \"relative\";\n      fraction: number;\n      basis: string;\n    }\n  | {\n      kind: \"absolute\";\n      plusMinus: number;\n      unit: string;\n      basis?: string;\n    }\n  | {\n      kind: \"calculation-quality\";\n      quality: CalculationQuality;\n    }\n  | {\n      kind: \"not-quantified\";\n      limitation: string;\n    }\n  | {\n      kind: \"unknown\";\n      limitation: string;\n    }\n  | {\n      kind: \"not-applicable\";\n      reason: string;\n    };\n\nexport interface ScientificAssuranceComponent {\n  componentId: string;\n  role: string;\n  required: boolean;\n  sourceIdentity:\n    ScientificAssuranceSourceIdentity;\n  basisKind:\n    ScientificAssuranceBasisKind;\n  scientificStatus:\n    ScientificAssuranceStatus;\n  evidenceRequirement:\n    | \"required\"\n    | \"not-required\";\n  evidence:\n    readonly EvidenceProvenance[];\n  uncertainty:\n    ScientificAssuranceComponentUncertainty;\n  limitations:\n    readonly string[];\n}\n\nexport type ComposedScientificUncertaintyStatus =\n  | {\n      kind: \"unknown\";\n      componentIds:\n        readonly string[];\n      limitation: string;\n    }\n  | {\n      kind: \"not-quantified\";\n      componentIds:\n        readonly string[];\n      limitation: string;\n    }\n  | {\n      kind: \"not-propagated\";\n      componentIds:\n        readonly string[];\n      limitation: string;\n    }\n  | {\n      kind: \"not-applicable\";\n      componentIds:\n        readonly string[];\n      limitation: string;\n    };\n\n/**\n * Combined status and kept evidence for one declared scientific result across stages.\n *\n * - A required input that is incomplete or approximate limits the combined status.\n * - Deterministic processing cannot turn an approximation into a calibration.\n * - Uncertainty components stay separate unless an explicit mathematical propagation\n *   model justifies combining them.\n * - A count of successful stages is not an accuracy bound.\n */\nexport interface ComposedScientificAssurance {\n  version:\n    typeof SCIENTIFIC_ASSURANCE_CONTRACT_VERSION;\n  scientificStatus:\n    ScientificAssuranceStatus;\n  weakestRequiredComponentIds:\n    readonly string[];\n  evidenceStatus:\n    | \"complete\"\n    | \"missing-required-evidence\";\n  missingRequiredEvidenceComponentIds:\n    readonly string[];\n  uncertainty:\n    ComposedScientificUncertaintyStatus;\n  components:\n    readonly ScientificAssuranceComponent[];\n  componentEvidencePreserved: true;\n  componentUncertaintyPreserved: true;\n  aggregateNumericUncertaintyFabricated:\n    false;\n  downstreamStatusPromotedAboveInputs:\n    false;\n}\n\nexport interface ComposeScientificAssuranceInput {\n  components:\n    readonly ScientificAssuranceComponent[];\n}\n\nconst SCIENTIFIC_STATUSES =\n  new Set<ScientificAssuranceStatus>([\n    \"calibrated\",\n    \"approximation\",\n    \"unknown\"\n  ]);\n\nconst BASIS_KINDS =\n  new Set<ScientificAssuranceBasisKind>([\n    \"evidence-backed-fact\",\n    \"photivra-model-assumption\",\n    \"not-applicable\"\n  ]);\n\nconst SOURCE_KINDS =\n  new Set<ScientificAssuranceSourceKind>([\n    \"profile\",\n    \"result\",\n    \"model\",\n    \"fixture\"\n  ]);\n\nfunction requireNonEmptyString(\n  value: unknown,\n  path: string\n): string {\n  if (\n    typeof value !== \"string\" ||\n    value.trim().length === 0\n  ) {\n    throw new InvalidConfigurationError(\n      path +\n        \" must be a non-empty string.\"\n    );\n  }\n  return value.trim();\n}\n\nfunction requireNonNegativeFinite(\n  value: unknown,\n  path: string\n): number {\n  if (\n    typeof value !== \"number\" ||\n    !Number.isFinite(value) ||\n    value < 0\n  ) {\n    throw new InvalidScientificInputError(\n      path +\n        \" must be finite and greater than or equal to zero.\"\n    );\n  }\n  return value;\n}\n\nfunction validateSourceIdentity(\n  value:\n    ScientificAssuranceSourceIdentity,\n  path: string\n): ScientificAssuranceSourceIdentity {\n  if (\n    !SOURCE_KINDS.has(\n      value.kind as\n        ScientificAssuranceSourceKind\n    )\n  ) {\n    throw new InvalidConfigurationError(\n      path + \".kind is invalid.\"\n    );\n  }\n\n  return {\n    kind: value.kind,\n    id:\n      requireNonEmptyString(\n        value.id,\n        path + \".id\"\n      ),\n    ...(value.version === undefined\n      ? {}\n      : {\n          version:\n            requireNonEmptyString(\n              value.version,\n              path + \".version\"\n            )\n        })\n  };\n}\n\nfunction validateUncertainty(\n  value:\n    ScientificAssuranceComponentUncertainty,\n  path: string\n): ScientificAssuranceComponentUncertainty {\n  if (value.kind === \"relative\") {\n    const fraction =\n      requireNonNegativeFinite(\n        value.fraction,\n        path + \".fraction\"\n      );\n    if (fraction > 1) {\n      throw new InvalidScientificInputError(\n        path +\n          \".fraction must be less than or equal to one.\"\n      );\n    }\n    return {\n      kind: \"relative\",\n      fraction,\n      basis:\n        requireNonEmptyString(\n          value.basis,\n          path + \".basis\"\n        )\n    };\n  }\n\n  if (value.kind === \"absolute\") {\n    return {\n      kind: \"absolute\",\n      plusMinus:\n        requireNonNegativeFinite(\n          value.plusMinus,\n          path + \".plusMinus\"\n        ),\n      unit:\n        requireNonEmptyString(\n          value.unit,\n          path + \".unit\"\n        ),\n      ...(value.basis === undefined\n        ? {}\n        : {\n            basis:\n              requireNonEmptyString(\n                value.basis,\n                path + \".basis\"\n              )\n          })\n    };\n  }\n\n  if (\n    value.kind ===\n    \"calculation-quality\"\n  ) {\n    validateCalculationQuality(\n      value.quality\n    );\n    if (\n      value.quality\n        .uncertainty ===\n        undefined ||\n      value.quality\n        .uncertainty.length ===\n        0\n    ) {\n      throw new InvalidScientificInputError(\n        path +\n          \".quality must include quantified uncertainty components; use another semantic uncertainty state otherwise.\"\n      );\n    }\n    return {\n      kind:\n        \"calculation-quality\",\n      quality: value.quality\n    };\n  }\n\n  if (\n    value.kind ===\n    \"not-quantified\"\n  ) {\n    return {\n      kind: \"not-quantified\",\n      limitation:\n        requireNonEmptyString(\n          value.limitation,\n          path + \".limitation\"\n        )\n    };\n  }\n\n  if (value.kind === \"unknown\") {\n    return {\n      kind: \"unknown\",\n      limitation:\n        requireNonEmptyString(\n          value.limitation,\n          path + \".limitation\"\n        )\n    };\n  }\n\n  if (\n    value.kind ===\n    \"not-applicable\"\n  ) {\n    return {\n      kind: \"not-applicable\",\n      reason:\n        requireNonEmptyString(\n          value.reason,\n          path + \".reason\"\n        )\n    };\n  }\n\n  throw new InvalidConfigurationError(\n    path + \".kind is invalid.\"\n  );\n}\n\nfunction validateLimitations(\n  value: readonly string[],\n  path: string\n): readonly string[] {\n  if (!Array.isArray(value)) {\n    throw new InvalidConfigurationError(\n      path + \" must be an array.\"\n    );\n  }\n\n  const parsed =\n    value.map((entry, index) =>\n      requireNonEmptyString(\n        entry,\n        path +\n          \"[\" +\n          index +\n          \"]\"\n      )\n    );\n\n  if (\n    new Set(parsed).size !==\n    parsed.length\n  ) {\n    throw new InvalidScientificInputError(\n      path +\n        \" must not contain duplicates.\"\n    );\n  }\n\n  return parsed;\n}\n\nfunction validateComponent(\n  value:\n    ScientificAssuranceComponent,\n  index: number\n): ScientificAssuranceComponent {\n  const path =\n    \"components[\" +\n    index +\n    \"]\";\n\n  if (\n    typeof value.required !==\n    \"boolean\"\n  ) {\n    throw new InvalidConfigurationError(\n      path +\n        \".required must be boolean.\"\n    );\n  }\n\n  if (\n    !BASIS_KINDS.has(\n      value.basisKind as\n        ScientificAssuranceBasisKind\n    )\n  ) {\n    throw new InvalidConfigurationError(\n      path +\n        \".basisKind is invalid.\"\n    );\n  }\n\n  if (\n    !SCIENTIFIC_STATUSES.has(\n      value.scientificStatus as\n        ScientificAssuranceStatus\n    )\n  ) {\n    throw new InvalidConfigurationError(\n      path +\n        \".scientificStatus is invalid.\"\n    );\n  }\n\n  if (\n    value.basisKind ===\n      \"evidence-backed-fact\" &&\n    value.evidenceRequirement !==\n      \"required\"\n  ) {\n    throw new InvalidScientificInputError(\n      path +\n        '.basisKind \"evidence-backed-fact\" requires evidenceRequirement \"required\".'\n    );\n  }\n\n  if (\n    value.evidenceRequirement !==\n      \"required\" &&\n    value.evidenceRequirement !==\n      \"not-required\"\n  ) {\n    throw new InvalidConfigurationError(\n      path +\n        \".evidenceRequirement is invalid.\"\n    );\n  }\n\n  if (!Array.isArray(value.evidence)) {\n    throw new InvalidConfigurationError(\n      path +\n        \".evidence must be an array.\"\n    );\n  }\n\n  const evidence =\n    value.evidence.map(\n      (entry, evidenceIndex) =>\n        parseEvidenceProvenance(\n          entry,\n          path +\n            \".evidence[\" +\n            evidenceIndex +\n            \"]\"\n        )\n    );\n\n  return {\n    componentId:\n      requireNonEmptyString(\n        value.componentId,\n        path + \".componentId\"\n      ),\n    role:\n      requireNonEmptyString(\n        value.role,\n        path + \".role\"\n      ),\n    required: value.required,\n    sourceIdentity:\n      validateSourceIdentity(\n        value.sourceIdentity,\n        path +\n          \".sourceIdentity\"\n      ),\n    basisKind:\n      value.basisKind,\n    scientificStatus:\n      value.scientificStatus,\n    evidenceRequirement:\n      value.evidenceRequirement,\n    evidence,\n    uncertainty:\n      validateUncertainty(\n        value.uncertainty,\n        path + \".uncertainty\"\n      ),\n    limitations:\n      validateLimitations(\n        value.limitations,\n        path + \".limitations\"\n      )\n  };\n}\n\nfunction statusRank(\n  value:\n    ScientificAssuranceStatus\n): number {\n  if (value === \"unknown\") {\n    return 0;\n  }\n  if (\n    value === \"approximation\"\n  ) {\n    return 1;\n  }\n  return 2;\n}\n\nfunction composedUncertainty(\n  required:\n    readonly ScientificAssuranceComponent[]\n): ComposedScientificUncertaintyStatus {\n  const unknown =\n    required.filter(\n      (component) =>\n        component.uncertainty.kind ===\n        \"unknown\"\n    );\n\n  if (unknown.length > 0) {\n    return {\n      kind: \"unknown\",\n      componentIds:\n        unknown.map(\n          (component) =>\n            component.componentId\n        ),\n      limitation:\n        \"At least one required component has unknown uncertainty; no aggregate numeric uncertainty is claimed.\"\n    };\n  }\n\n  const unquantified =\n    required.filter(\n      (component) =>\n        component.uncertainty.kind ===\n        \"not-quantified\"\n    );\n\n  if (\n    unquantified.length > 0\n  ) {\n    return {\n      kind: \"not-quantified\",\n      componentIds:\n        unquantified.map(\n          (component) =>\n            component.componentId\n        ),\n      limitation:\n        \"At least one required component has unquantified uncertainty; absence of a numeric bound is not zero uncertainty.\"\n    };\n  }\n\n  const quantified =\n    required.filter(\n      (component) =>\n        component.uncertainty.kind ===\n          \"relative\" ||\n        component.uncertainty.kind ===\n          \"absolute\" ||\n        component.uncertainty.kind ===\n          \"calculation-quality\"\n    );\n\n  if (quantified.length > 0) {\n    return {\n      kind: \"not-propagated\",\n      componentIds:\n        quantified.map(\n          (component) =>\n            component.componentId\n        ),\n      limitation:\n        \"Quantified component uncertainties are preserved but are not numerically combined without an explicit propagation model and correlation assumptions.\"\n    };\n  }\n\n  return {\n    kind: \"not-applicable\",\n    componentIds:\n      required.map(\n        (component) =>\n          component.componentId\n      ),\n    limitation:\n      \"No required component declares a quantitative uncertainty applicable to this composition.\"\n  };\n}\n\n/**\n * Combines the scientific status, evidence and uncertainty of several inputs into one\n * record, without inventing a single numeric uncertainty.\n *\n * The combined status can be no better than the weakest required input. Each component's\n * evidence and uncertainty is kept exactly as given, after validation.\n */\nexport function composeScientificAssurance(\n  input:\n    ComposeScientificAssuranceInput\n): ComposedScientificAssurance {\n  requireInputKeys(input, \"composeScientificAssurance\", [\"components\"]);\n  if (\n    !Array.isArray(\n      input.components\n    ) ||\n    input.components.length === 0\n  ) {\n    throw new InvalidConfigurationError(\n      \"components must be a non-empty array.\"\n    );\n  }\n\n  const components =\n    input.components.map(\n      validateComponent\n    );\n\n  const ids =\n    components.map(\n      (component) =>\n        component.componentId\n    );\n\n  if (\n    new Set(ids).size !==\n    ids.length\n  ) {\n    throw new InvalidScientificInputError(\n      \"components must not contain duplicate componentId values.\"\n    );\n  }\n\n  const required =\n    components.filter(\n      (component) =>\n        component.required\n    );\n\n  if (required.length === 0) {\n    throw new InvalidScientificInputError(\n      \"At least one scientific-assurance component must be required.\"\n    );\n  }\n\n  let weakestRank =\n    Number.POSITIVE_INFINITY;\n\n  for (const component of required) {\n    weakestRank =\n      Math.min(\n        weakestRank,\n        statusRank(\n          component.scientificStatus\n        )\n      );\n  }\n\n  const weakest =\n    required.filter(\n      (component) =>\n        statusRank(\n          component.scientificStatus\n        ) === weakestRank\n    );\n\n  const statusFromInputs =\n    weakestRank === 0\n      ? \"unknown\"\n      : weakestRank === 1\n        ? \"approximation\"\n        : \"calibrated\";\n\n  const missingRequiredEvidence =\n    required.filter(\n      (component) =>\n        component\n          .evidenceRequirement ===\n          \"required\" &&\n        component.evidence.length === 0\n    );\n\n  const scientificStatus:\n    ScientificAssuranceStatus =\n      missingRequiredEvidence.length >\n      0\n        ? \"unknown\"\n        : statusFromInputs;\n\n  const weakestRequiredComponentIds =\n    missingRequiredEvidence.length >\n    0\n      ? missingRequiredEvidence.map(\n          (component) =>\n            component.componentId\n        )\n      : weakest.map(\n          (component) =>\n            component.componentId\n        );\n\n  return {\n    version:\n      SCIENTIFIC_ASSURANCE_CONTRACT_VERSION,\n    scientificStatus,\n    weakestRequiredComponentIds,\n    evidenceStatus:\n      missingRequiredEvidence\n        .length === 0\n        ? \"complete\"\n        : \"missing-required-evidence\",\n    missingRequiredEvidenceComponentIds:\n      missingRequiredEvidence.map(\n        (component) =>\n          component.componentId\n      ),\n    uncertainty:\n      composedUncertainty(\n        required\n      ),\n    components,\n    componentEvidencePreserved:\n      true,\n    componentUncertaintyPreserved:\n      true,\n    aggregateNumericUncertaintyFabricated:\n      false,\n    downstreamStatusPromotedAboveInputs:\n      false\n  };\n}\n"]}

package/dist/core/spectral-composition.d.ts

@@ -66,26 +66,26 @@ export interface IntegratedDiscreteSpectralLineMeasure {
     wavelengthMeasureMultiplicationApplied: false;
 }
 /**
- * Parses one continuous spectral-coverage participant.
+ * Parses the wavelength coverage of one continuous spectral input.
  *
- * This contract describes support and interpolation breakpoints only. It does
- * not carry spectral values, transmission, response, radiance, or uncertainty.
+ * It describes only the wavelength range (support) and interpolation breakpoints. It
+ * carries no spectral values, transmission, response, radiance or uncertainty.
  */
 export declare function parseSpectralCoverageParticipant(value: unknown, path?: string): SpectralCoverageParticipant;
 /**
- * Intersects continuous spectral support and unions all interpolation
- * breakpoints inside the common range.
+ * Finds the wavelength range that all continuous inputs share, and collects every
+ * interpolation breakpoint inside it.
  *
- * Air/vacuum conversion is never implicit. Discrete lines are deliberately
- * excluded because delta-like line measures require a different integration
- * path from continuous per-nanometre densities.
+ * Air and vacuum wavelengths are never converted implicitly. Discrete lines are not
+ * accepted here: a delta-like line is integrated differently from a continuous
+ * per-nanometre density.
  */
 export declare function composeSpectralCoverage(input: ComposeSpectralCoverageInput): SpectralCoverageComposition;
 /**
- * Parses a normalized set of delta-like discrete spectral lines.
+ * Parses a normalized set of discrete spectral lines (each treated as a delta function).
  *
- * Each weight is an integrated line fraction, not a per-nanometre spectral
- * density sample. The weights must sum to one.
+ * Each weight is the fraction of the total carried by that line. It is not a
+ * per-nanometre density sample. The weights must sum to one.
  */
 export declare function parseNormalizedDiscreteSpectralLineDistribution(value: unknown, path?: string): NormalizedDiscreteSpectralLineDistribution;
 export interface DistributeIntegratedQuantityAcrossDiscreteLinesInput {
@@ -99,8 +99,7 @@ export interface DistributeIntegratedQuantityAcrossDiscreteLinesInput {
  */
 export declare function distributeIntegratedQuantityAcrossDiscreteSpectralLines(input: DistributeIntegratedQuantityAcrossDiscreteLinesInput): DiscreteSpectralLineMeasure;
 /**
- * Integrates a discrete line measure by summing already wavelength-integrated
- * line contributions. No d-lambda factor is applied.
+ * Integrates over discrete lines by summing their contributions, which are already
+ * integrated over wavelength. No dλ (wavelength step) factor is applied.
  */
 export declare function integrateDiscreteSpectralLineMeasure(measure: DiscreteSpectralLineMeasure): IntegratedDiscreteSpectralLineMeasure;
-//# sourceMappingURL=spectral-composition.d.ts.map