@photivra/engine 0.5.1 → 1.0.0

package/dist/core/image-formation.js

@@ -1,4 +1,10 @@
 // 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.
+ * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
+ */
 /**
  * Version of the public image-formation ordering contract.
  *
@@ -6,9 +12,10 @@
  * versions. It describes semantic ownership/order only; it does not imply that
  * every reserved stage is implemented.
  */
-export const IMAGE_FORMATION_CONTRACT_VERSION = "0.2.0";
+export const IMAGE_FORMATION_CONTRACT_VERSION = "0.4.0";
 const DOMAINS = [
     "scene-ray-geometry",
+    "scene-radiance-formation",
     "lens-pupil-throughput",
     "field-wavelength-psf",
     "temporal-exposure-readout",
@@ -72,17 +79,32 @@ const STAGES = [
         status: "existing-foundation",
         coordinateSpaces: ["scene-metric", "image-plane-metric"],
         requiredUpstreamStages: [],
-        coupledStages: ["temporal-exposure-readout"],
+        coupledStages: [
+            "scene-radiance-evaluation",
+            "temporal-exposure-readout"
+        ],
         purpose: "Project scene geometry into the optical image plane while preserving explicit metric geometry and focus-aware projection."
     },
+    {
+        id: "scene-radiance-evaluation",
+        domain: "scene-radiance-formation",
+        status: "partial-foundation",
+        coordinateSpaces: ["scene-metric"],
+        requiredUpstreamStages: ["scene-ray-projection"],
+        coupledStages: ["temporal-exposure-readout"],
+        purpose: "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."
+    },
     {
         id: "lens-field-pupil-evaluation",
         domain: "lens-pupil-throughput",
         status: "partial-foundation",
         coordinateSpaces: ["image-plane-metric", "native-sensor-physical"],
-        requiredUpstreamStages: ["scene-ray-projection"],
+        requiredUpstreamStages: [
+            "scene-ray-projection",
+            "scene-radiance-evaluation"
+        ],
         coupledStages: ["field-wavelength-psf"],
-        purpose: "Own focus-dependent framing, geometric field mapping, wavelength/channel field mapping, illumination throughput, and pupil clipping inputs."
+        purpose: "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."
     },
     {
         id: "field-wavelength-psf",
@@ -304,7 +326,9 @@ const NOTES = [
     "This contract defines scientific ownership, coordinate semantics, and dependency/coupling boundaries. It does not claim that reserved stages are implemented.",
     "The stage graph is a dependency/ownership graph, not a claim that every physical interaction can be evaluated as one independent serial post-process.",
     "Independent effects may be combined computationally only when the implementation documents mathematical equivalence and preserves the public stage/effect semantics.",
-    "Generic/parametric virtual-lens models must remain explicitly generic until defensible calibrated data with compatible reuse rights exists."
+    "Generic/parametric virtual-lens models must remain explicitly generic until defensible calibrated data with compatible reuse rights exists.",
+    "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.",
+    "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.

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;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,OAAgB,CAAC;AA8GjE,MAAM,OAAO,GAAG;IACd,oBAAoB;IACpB,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,CAAC,2BAA2B,CAAC;QAC5C,OAAO,EACL,2HAA2H;KAC9H;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,CAAC,sBAAsB,CAAC;QAChD,aAAa,EAAE,CAAC,sBAAsB,CAAC;QACvC,OAAO,EACL,6IAA6I;KAChJ;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;CACrI,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;;;;;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"}

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

@@ -0,0 +1,25 @@
+/**
+ * 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.
+ * @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.
+ *
+ * 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.
+ */
+export declare function freezeOwnedData<T>(value: T): T;
+//# sourceMappingURL=owned-data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"owned-data.d.ts","sourceRoot":"","sources":["../../src/core/owned-data.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAQ9C"}

package/dist/core/owned-data.js

@@ -0,0 +1,34 @@
+// 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.
+ * @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.
+ *
+ * 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.
+ */
+export function freezeOwnedData(value) {
+    if (value !== null && typeof value === "object") {
+        for (const child of Object.values(value)) {
+            freezeOwnedData(child);
+        }
+        Object.freeze(value);
+    }
+    return value;
+}
+//# sourceMappingURL=owned-data.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,17 @@
+/**
+ * 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.
+ */
+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.
+ */
+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

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

@@ -0,0 +1 @@
+{"version":3,"file":"record-validation.d.ts","sourceRoot":"","sources":["../../src/core/record-validation.ts"],"names":[],"mappings":"AAiBA;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,GAC9D,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAMzB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAK7E;AAED,kFAAkF;AAClF,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEhE"}

package/dist/core/record-validation.js

@@ -0,0 +1,44 @@
+// 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.
+ * @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.
+ */
+export function requireAllowlistedRecord(value, allowedKeys, message) {
+    if (value === null || typeof value !== "object" || Array.isArray(value) ||
+        Object.keys(value).some(key => !allowedKeys.includes(key))) {
+        throw new InvalidConfigurationError(message);
+    }
+    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.
+ */
+export function requirePublicOpaqueId(value, message) {
+    if (!isPublicOpaqueId(value)) {
+        throw new InvalidConfigurationError(message);
+    }
+    return value;
+}
+/** Same grammar for domains that combine ID rejection with other field checks. */
+export function isPublicOpaqueId(value) {
+    return typeof value === "string" && /^[A-Za-z0-9][A-Za-z0-9._:-]{0,127}$/.test(value);
+}
+//# sourceMappingURL=record-validation.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,101 @@
+/**
+ * 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.
+ * @see docs/API_STYLE.md for equations, coordinate/unit conventions, blockers and support limits.
+ */
+import { type CalculationQuality } from "./calculation-result.js";
+import { type EvidenceProvenance } from "./evidence-provenance.js";
+export declare const SCIENTIFIC_ASSURANCE_CONTRACT_VERSION: "0.1.0";
+export type ScientificAssuranceStatus = "calibrated" | "approximation" | "unknown";
+export type ScientificAssuranceBasisKind = "evidence-backed-fact" | "photivra-model-assumption" | "not-applicable";
+export type ScientificAssuranceSourceKind = "profile" | "result" | "model" | "fixture";
+export interface ScientificAssuranceSourceIdentity {
+    kind: ScientificAssuranceSourceKind;
+    id: string;
+    version?: string;
+}
+export type ScientificAssuranceComponentUncertainty = {
+    kind: "relative";
+    fraction: number;
+    basis: string;
+} | {
+    kind: "absolute";
+    plusMinus: number;
+    unit: string;
+    basis?: string;
+} | {
+    kind: "calculation-quality";
+    quality: CalculationQuality;
+} | {
+    kind: "not-quantified";
+    limitation: string;
+} | {
+    kind: "unknown";
+    limitation: string;
+} | {
+    kind: "not-applicable";
+    reason: string;
+};
+export interface ScientificAssuranceComponent {
+    componentId: string;
+    role: string;
+    required: boolean;
+    sourceIdentity: ScientificAssuranceSourceIdentity;
+    basisKind: ScientificAssuranceBasisKind;
+    scientificStatus: ScientificAssuranceStatus;
+    evidenceRequirement: "required" | "not-required";
+    evidence: readonly EvidenceProvenance[];
+    uncertainty: ScientificAssuranceComponentUncertainty;
+    limitations: readonly string[];
+}
+export type ComposedScientificUncertaintyStatus = {
+    kind: "unknown";
+    componentIds: readonly string[];
+    limitation: string;
+} | {
+    kind: "not-quantified";
+    componentIds: readonly string[];
+    limitation: string;
+} | {
+    kind: "not-propagated";
+    componentIds: readonly string[];
+    limitation: string;
+} | {
+    kind: "not-applicable";
+    componentIds: readonly string[];
+    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.
+ */
+export interface ComposedScientificAssurance {
+    version: typeof SCIENTIFIC_ASSURANCE_CONTRACT_VERSION;
+    scientificStatus: ScientificAssuranceStatus;
+    weakestRequiredComponentIds: readonly string[];
+    evidenceStatus: "complete" | "missing-required-evidence";
+    missingRequiredEvidenceComponentIds: readonly string[];
+    uncertainty: ComposedScientificUncertaintyStatus;
+    components: readonly ScientificAssuranceComponent[];
+    componentEvidencePreserved: true;
+    componentUncertaintyPreserved: true;
+    aggregateNumericUncertaintyFabricated: false;
+    downstreamStatusPromotedAboveInputs: false;
+}
+export interface ComposeScientificAssuranceInput {
+    components: readonly ScientificAssuranceComponent[];
+}
+/**
+ * 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.
+ */
+export declare function composeScientificAssurance(input: ComposeScientificAssuranceInput): ComposedScientificAssurance;
+//# sourceMappingURL=scientific-assurance.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scientific-assurance.d.ts","sourceRoot":"","sources":["../../src/core/scientific-assurance.ts"],"names":[],"mappings":"AAEA;;;;;;GAMG;AAEH,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,0BAA0B,CAAC;AAElC,eAAO,MAAM,qCAAqC,EAChD,OAAgB,CAAC;AAEnB,MAAM,MAAM,yBAAyB,GACjC,YAAY,GACZ,eAAe,GACf,SAAS,CAAC;AAEd,MAAM,MAAM,4BAA4B,GACpC,sBAAsB,GACtB,2BAA2B,GAC3B,gBAAgB,CAAC;AAErB,MAAM,MAAM,6BAA6B,GACrC,SAAS,GACT,QAAQ,GACR,OAAO,GACP,SAAS,CAAC;AAEd,MAAM,WAAW,iCAAiC;IAChD,IAAI,EAAE,6BAA6B,CAAC;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,MAAM,uCAAuC,GAC/C;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,GACD;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GACD;IACE,IAAI,EAAE,qBAAqB,CAAC;IAC5B,OAAO,EAAE,kBAAkB,CAAC;CAC7B,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEN,MAAM,WAAW,4BAA4B;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,EACZ,iCAAiC,CAAC;IACpC,SAAS,EACP,4BAA4B,CAAC;IAC/B,gBAAgB,EACd,yBAAyB,CAAC;IAC5B,mBAAmB,EACf,UAAU,GACV,cAAc,CAAC;IACnB,QAAQ,EACN,SAAS,kBAAkB,EAAE,CAAC;IAChC,WAAW,EACT,uCAAuC,CAAC;IAC1C,WAAW,EACT,SAAS,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,mCAAmC,GAC3C;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,YAAY,EACV,SAAS,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,YAAY,EACV,SAAS,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,YAAY,EACV,SAAS,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAC;IACvB,YAAY,EACV,SAAS,MAAM,EAAE,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEN;;;;;;GAMG;AACH,MAAM,WAAW,2BAA2B;IAC1C,OAAO,EACL,OAAO,qCAAqC,CAAC;IAC/C,gBAAgB,EACd,yBAAyB,CAAC;IAC5B,2BAA2B,EACzB,SAAS,MAAM,EAAE,CAAC;IACpB,cAAc,EACV,UAAU,GACV,2BAA2B,CAAC;IAChC,mCAAmC,EACjC,SAAS,MAAM,EAAE,CAAC;IACpB,WAAW,EACT,mCAAmC,CAAC;IACtC,UAAU,EACR,SAAS,4BAA4B,EAAE,CAAC;IAC1C,0BAA0B,EAAE,IAAI,CAAC;IACjC,6BAA6B,EAAE,IAAI,CAAC;IACpC,qCAAqC,EACnC,KAAK,CAAC;IACR,mCAAmC,EACjC,KAAK,CAAC;CACT;AAED,MAAM,WAAW,+BAA+B;IAC9C,UAAU,EACR,SAAS,4BAA4B,EAAE,CAAC;CAC3C;AAwdD;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EACH,+BAA+B,GAChC,2BAA2B,CAiI7B"}

package/dist/core/scientific-assurance.js

@@ -0,0 +1,301 @@
+// 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.
+ * @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";
+export const SCIENTIFIC_ASSURANCE_CONTRACT_VERSION = "0.1.0";
+const SCIENTIFIC_STATUSES = new Set([
+    "calibrated",
+    "approximation",
+    "unknown"
+]);
+const BASIS_KINDS = new Set([
+    "evidence-backed-fact",
+    "photivra-model-assumption",
+    "not-applicable"
+]);
+const SOURCE_KINDS = new Set([
+    "profile",
+    "result",
+    "model",
+    "fixture"
+]);
+function requireNonEmptyString(value, path) {
+    if (typeof value !== "string" ||
+        value.trim().length === 0) {
+        throw new InvalidScientificInputError(path +
+            " must be a non-empty string.");
+    }
+    return value.trim();
+}
+function requireNonNegativeFinite(value, path) {
+    if (typeof value !== "number" ||
+        !Number.isFinite(value) ||
+        value < 0) {
+        throw new InvalidScientificInputError(path +
+            " must be finite and greater than or equal to zero.");
+    }
+    return value;
+}
+function validateSourceIdentity(value, path) {
+    if (!SOURCE_KINDS.has(value.kind)) {
+        throw new InvalidScientificInputError(path + ".kind is invalid.");
+    }
+    return {
+        kind: value.kind,
+        id: requireNonEmptyString(value.id, path + ".id"),
+        ...(value.version === undefined
+            ? {}
+            : {
+                version: requireNonEmptyString(value.version, path + ".version")
+            })
+    };
+}
+function validateUncertainty(value, path) {
+    if (value.kind === "relative") {
+        const fraction = requireNonNegativeFinite(value.fraction, path + ".fraction");
+        if (fraction > 1) {
+            throw new InvalidScientificInputError(path +
+                ".fraction must be less than or equal to one.");
+        }
+        return {
+            kind: "relative",
+            fraction,
+            basis: requireNonEmptyString(value.basis, path + ".basis")
+        };
+    }
+    if (value.kind === "absolute") {
+        return {
+            kind: "absolute",
+            plusMinus: requireNonNegativeFinite(value.plusMinus, path + ".plusMinus"),
+            unit: requireNonEmptyString(value.unit, path + ".unit"),
+            ...(value.basis === undefined
+                ? {}
+                : {
+                    basis: requireNonEmptyString(value.basis, path + ".basis")
+                })
+        };
+    }
+    if (value.kind ===
+        "calculation-quality") {
+        validateCalculationQuality(value.quality);
+        if (value.quality
+            .uncertainty ===
+            undefined ||
+            value.quality
+                .uncertainty.length ===
+                0) {
+            throw new InvalidScientificInputError(path +
+                ".quality must include quantified uncertainty components; use another semantic uncertainty state otherwise.");
+        }
+        return {
+            kind: "calculation-quality",
+            quality: value.quality
+        };
+    }
+    if (value.kind ===
+        "not-quantified") {
+        return {
+            kind: "not-quantified",
+            limitation: requireNonEmptyString(value.limitation, path + ".limitation")
+        };
+    }
+    if (value.kind === "unknown") {
+        return {
+            kind: "unknown",
+            limitation: requireNonEmptyString(value.limitation, path + ".limitation")
+        };
+    }
+    if (value.kind ===
+        "not-applicable") {
+        return {
+            kind: "not-applicable",
+            reason: requireNonEmptyString(value.reason, path + ".reason")
+        };
+    }
+    throw new InvalidScientificInputError(path + ".kind is invalid.");
+}
+function validateLimitations(value, path) {
+    if (!Array.isArray(value)) {
+        throw new InvalidScientificInputError(path + " must be an array.");
+    }
+    const parsed = value.map((entry, index) => requireNonEmptyString(entry, path +
+        "[" +
+        index +
+        "]"));
+    if (new Set(parsed).size !==
+        parsed.length) {
+        throw new InvalidScientificInputError(path +
+            " must not contain duplicates.");
+    }
+    return parsed;
+}
+function validateComponent(value, index) {
+    const path = "components[" +
+        index +
+        "]";
+    if (typeof value.required !==
+        "boolean") {
+        throw new InvalidScientificInputError(path +
+            ".required must be boolean.");
+    }
+    if (!BASIS_KINDS.has(value.basisKind)) {
+        throw new InvalidScientificInputError(path +
+            ".basisKind is invalid.");
+    }
+    if (!SCIENTIFIC_STATUSES.has(value.scientificStatus)) {
+        throw new InvalidScientificInputError(path +
+            ".scientificStatus is invalid.");
+    }
+    if (value.basisKind ===
+        "evidence-backed-fact" &&
+        value.evidenceRequirement !==
+            "required") {
+        throw new InvalidScientificInputError(path +
+            '.basisKind "evidence-backed-fact" requires evidenceRequirement "required".');
+    }
+    if (value.evidenceRequirement !==
+        "required" &&
+        value.evidenceRequirement !==
+            "not-required") {
+        throw new InvalidScientificInputError(path +
+            ".evidenceRequirement is invalid.");
+    }
+    if (!Array.isArray(value.evidence)) {
+        throw new InvalidScientificInputError(path +
+            ".evidence must be an array.");
+    }
+    const evidence = value.evidence.map((entry, evidenceIndex) => parseEvidenceProvenance(entry, path +
+        ".evidence[" +
+        evidenceIndex +
+        "]"));
+    return {
+        componentId: requireNonEmptyString(value.componentId, path + ".componentId"),
+        role: requireNonEmptyString(value.role, path + ".role"),
+        required: value.required,
+        sourceIdentity: validateSourceIdentity(value.sourceIdentity, path +
+            ".sourceIdentity"),
+        basisKind: value.basisKind,
+        scientificStatus: value.scientificStatus,
+        evidenceRequirement: value.evidenceRequirement,
+        evidence,
+        uncertainty: validateUncertainty(value.uncertainty, path + ".uncertainty"),
+        limitations: validateLimitations(value.limitations, path + ".limitations")
+    };
+}
+function statusRank(value) {
+    if (value === "unknown") {
+        return 0;
+    }
+    if (value === "approximation") {
+        return 1;
+    }
+    return 2;
+}
+function composedUncertainty(required) {
+    const unknown = required.filter((component) => component.uncertainty.kind ===
+        "unknown");
+    if (unknown.length > 0) {
+        return {
+            kind: "unknown",
+            componentIds: unknown.map((component) => component.componentId),
+            limitation: "At least one required component has unknown uncertainty; no aggregate numeric uncertainty is claimed."
+        };
+    }
+    const unquantified = required.filter((component) => component.uncertainty.kind ===
+        "not-quantified");
+    if (unquantified.length > 0) {
+        return {
+            kind: "not-quantified",
+            componentIds: unquantified.map((component) => component.componentId),
+            limitation: "At least one required component has unquantified uncertainty; absence of a numeric bound is not zero uncertainty."
+        };
+    }
+    const quantified = required.filter((component) => component.uncertainty.kind ===
+        "relative" ||
+        component.uncertainty.kind ===
+            "absolute" ||
+        component.uncertainty.kind ===
+            "calculation-quality");
+    if (quantified.length > 0) {
+        return {
+            kind: "not-propagated",
+            componentIds: quantified.map((component) => component.componentId),
+            limitation: "Quantified component uncertainties are preserved but are not numerically combined without an explicit propagation model and correlation assumptions."
+        };
+    }
+    return {
+        kind: "not-applicable",
+        componentIds: required.map((component) => component.componentId),
+        limitation: "No required component declares a quantitative uncertainty applicable to this composition."
+    };
+}
+/**
+ * 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.
+ */
+export function composeScientificAssurance(input) {
+    if (!Array.isArray(input.components) ||
+        input.components.length === 0) {
+        throw new InvalidScientificInputError("components must be a non-empty array.");
+    }
+    const components = input.components.map(validateComponent);
+    const ids = components.map((component) => component.componentId);
+    if (new Set(ids).size !==
+        ids.length) {
+        throw new InvalidScientificInputError("components must not contain duplicate componentId values.");
+    }
+    const required = components.filter((component) => component.required);
+    if (required.length === 0) {
+        throw new InvalidScientificInputError("At least one scientific-assurance component must be required.");
+    }
+    let weakestRank = Number.POSITIVE_INFINITY;
+    for (const component of required) {
+        weakestRank =
+            Math.min(weakestRank, statusRank(component.scientificStatus));
+    }
+    const weakest = required.filter((component) => statusRank(component.scientificStatus) === weakestRank);
+    const statusFromInputs = weakestRank === 0
+        ? "unknown"
+        : weakestRank === 1
+            ? "approximation"
+            : "calibrated";
+    const missingRequiredEvidence = required.filter((component) => component
+        .evidenceRequirement ===
+        "required" &&
+        component.evidence.length === 0);
+    const scientificStatus = missingRequiredEvidence.length >
+        0
+        ? "unknown"
+        : statusFromInputs;
+    const weakestRequiredComponentIds = missingRequiredEvidence.length >
+        0
+        ? missingRequiredEvidence.map((component) => component.componentId)
+        : weakest.map((component) => component.componentId);
+    return {
+        version: SCIENTIFIC_ASSURANCE_CONTRACT_VERSION,
+        scientificStatus,
+        weakestRequiredComponentIds,
+        evidenceStatus: missingRequiredEvidence
+            .length === 0
+            ? "complete"
+            : "missing-required-evidence",
+        missingRequiredEvidenceComponentIds: missingRequiredEvidence.map((component) => component.componentId),
+        uncertainty: composedUncertainty(required),
+        components,
+        componentEvidencePreserved: true,
+        componentUncertaintyPreserved: true,
+        aggregateNumericUncertaintyFabricated: false,
+        downstreamStatusPromotedAboveInputs: false
+    };
+}
+//# sourceMappingURL=scientific-assurance.js.map