@rasputin-ai/core 0.5.0-alpha.7 → 0.5.0-alpha.9

package/dist/create-ingest-event/runtime-execution-state-types.d.ts

@@ -93,11 +93,19 @@ export type RuntimeExecutionRecorderMetrics = {
     inlineWallTimeMs: number;
     derivation?: RuntimeDerivationMetrics;
 };
-export type RuntimeCaptureMode = 'derivation' | 'automatic-full' | 'manual' | 'scope-only';
+export type RuntimeCaptureCoverage = 'full' | 'partial' | 'none';
+/** How this execution was recorded. Completeness of an individual value is separate. */
+export type RuntimeCaptureProfile = {
+    source: 'automatic' | 'manual' | 'scope-only';
+    functionBoundaries: RuntimeCaptureCoverage;
+    functionValues: 'full' | 'selective' | 'none';
+    timings: RuntimeCaptureCoverage;
+    derivation: 'available' | 'none';
+};
 /** Bounded, redacted execution state captured at the moment an error is reported. */
 export type RuntimeExecutionState = {
-    version: 3;
-    captureMode: RuntimeCaptureMode;
+    version: 4;
+    captureProfile: RuntimeCaptureProfile;
     executionId: string;
     startedAt: string;
     durationMs: number;

package/dist/create-ingest-event/runtime-execution-state-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime-execution-state-types.d.ts","sourceRoot":"","sources":["../../src/create-ingest-event/runtime-execution-state-types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,yBAAyB,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAEpG,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,YAAY,GAAG,KAAK,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE1F,MAAM,MAAM,uBAAuB,GAAG;IACrC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,uBAAuB,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,OAAO,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,wFAAwF;AACxF,MAAM,MAAM,oBAAoB,GAAG;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,yFAAyF;IACzF,aAAa,CAAC,EAAE,oBAAoB,CAAC;CACrC,CAAC;AAEF,8FAA8F;AAC9F,MAAM,MAAM,mCAAmC,GAAG;IACjD,IAAI,EAAE,2BAA2B,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mDAAmD;IACnD,eAAe,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAC9B,yBAAyB,GACzB,wBAAwB,GACxB,yBAAyB,GACzB,mCAAmC,CAAC;AAEvC,MAAM,MAAM,mBAAmB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,YAAY,EAAE,0BAA0B,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,4BAA4B,EAAE,MAAM,CAAC;IACrC,6BAA6B,EAAE,MAAM,CAAC;IACtC,uBAAuB,EAAE,MAAM,CAAC;IAChC,8BAA8B,EAAE,MAAM,CAAC;IACvC,uBAAuB,EAAE,MAAM,CAAC;IAChC,2BAA2B,EAAE,MAAM,CAAC;IACpC,6BAA6B,EAAE,MAAM,CAAC;IACtC,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClD,mBAAmB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC7C,wFAAwF;IACxF,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,wBAAwB,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG,gBAAgB,GAAG,QAAQ,GAAG,YAAY,CAAC;AAE3F,qFAAqF;AACrF,MAAM,MAAM,qBAAqB,GAAG;IACnC,OAAO,EAAE,CAAC,CAAC;IACX,WAAW,EAAE,kBAAkB,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,+BAA+B,CAAC;IAC3C,SAAS,EAAE,wBAAwB,CAAC;IACpC,2FAA2F;IAC3F,SAAS,EAAE,yBAAyB,EAAE,CAAC;IACvC,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAChC,UAAU,CAAC,EAAE,wBAAwB,CAAC;IACtC,SAAS,CAAC,EAAE;QACX,aAAa,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,OAAO,CAAC,EAAE;QACT,YAAY,EAAE,SAAS,CAAC;QACxB,MAAM,EAAE,uBAAuB,CAAC;QAChC,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;KACtB,CAAC;CACF,CAAC"}
+{"version":3,"file":"runtime-execution-state-types.d.ts","sourceRoot":"","sources":["../../src/create-ingest-event/runtime-execution-state-types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAAE,yBAAyB,EAAE,cAAc,EAAE,MAAM,oCAAoC,CAAC;AAEpG,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,YAAY,GAAG,KAAK,GAAG,WAAW,GAAG,QAAQ,CAAC;AAE1F,MAAM,MAAM,uBAAuB,GAAG;IACrC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,uBAAuB,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,OAAO,EAAE,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,IAAI,EAAE,eAAe,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,wFAAwF;AACxF,MAAM,MAAM,oBAAoB,GAAG;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACvC,IAAI,EAAE,gBAAgB,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,yFAAyF;IACzF,aAAa,CAAC,EAAE,oBAAoB,CAAC;CACrC,CAAC;AAEF,8FAA8F;AAC9F,MAAM,MAAM,mCAAmC,GAAG;IACjD,IAAI,EAAE,2BAA2B,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,mDAAmD;IACnD,eAAe,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAC9B,yBAAyB,GACzB,wBAAwB,GACxB,yBAAyB,GACzB,mCAAmC,CAAC;AAEvC,MAAM,MAAM,mBAAmB,GAAG;IACjC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,0BAA0B,GAAG;IACxC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,OAAO,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,YAAY,EAAE,0BAA0B,EAAE,CAAC;CAC3C,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,4BAA4B,EAAE,MAAM,CAAC;IACrC,6BAA6B,EAAE,MAAM,CAAC;IACtC,uBAAuB,EAAE,MAAM,CAAC;IAChC,8BAA8B,EAAE,MAAM,CAAC;IACvC,uBAAuB,EAAE,MAAM,CAAC;IAChC,2BAA2B,EAAE,MAAM,CAAC;IACpC,6BAA6B,EAAE,MAAM,CAAC;IACtC,yBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClD,mBAAmB,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,+BAA+B,GAAG;IAC7C,wFAAwF;IACxF,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,CAAC,EAAE,wBAAwB,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,MAAM,GAAG,SAAS,GAAG,MAAM,CAAC;AAEjE,wFAAwF;AACxF,MAAM,MAAM,qBAAqB,GAAG;IACnC,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,YAAY,CAAC;IAC9C,kBAAkB,EAAE,sBAAsB,CAAC;IAC3C,cAAc,EAAE,MAAM,GAAG,WAAW,GAAG,MAAM,CAAC;IAC9C,OAAO,EAAE,sBAAsB,CAAC;IAChC,UAAU,EAAE,WAAW,GAAG,MAAM,CAAC;CACjC,CAAC;AAEF,qFAAqF;AACrF,MAAM,MAAM,qBAAqB,GAAG;IACnC,OAAO,EAAE,CAAC,CAAC;IACX,cAAc,EAAE,qBAAqB,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,+BAA+B,CAAC;IAC3C,SAAS,EAAE,wBAAwB,CAAC;IACpC,2FAA2F;IAC3F,SAAS,EAAE,yBAAyB,EAAE,CAAC;IACvC,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAChC,UAAU,CAAC,EAAE,wBAAwB,CAAC;IACtC,SAAS,CAAC,EAAE;QACX,aAAa,EAAE,MAAM,CAAC;KACtB,CAAC;IACF,OAAO,CAAC,EAAE;QACT,YAAY,EAAE,SAAS,CAAC;QACxB,MAAM,EAAE,uBAAuB,CAAC;QAChC,aAAa,EAAE,MAAM,CAAC;QACtB,aAAa,EAAE,MAAM,CAAC;KACtB,CAAC;CACF,CAAC"}

package/dist/derivation/captured-value-markers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"captured-value-markers.d.ts","sourceRoot":"","sources":["../../src/derivation/captured-value-markers.ts"],"names":[],"mappings":"AAWA,oFAAoF;AACpF,eAAO,MAAM,yBAAyB,GAAI,OAAO,OAAO,KAAG,OAAO,GAAG,SA2BpE,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAAI,OAAO,OAAO,KAAG,OAKxD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,OAAO,OAAO,KAAG,OAInD,CAAC"}
+{"version":3,"file":"captured-value-markers.d.ts","sourceRoot":"","sources":["../../src/derivation/captured-value-markers.ts"],"names":[],"mappings":"AAWA,oFAAoF;AACpF,eAAO,MAAM,yBAAyB,GAAI,OAAO,OAAO,KAAG,OAAO,GAAG,SA6BpE,CAAC;AAEF,eAAO,MAAM,uBAAuB,GAAI,OAAO,OAAO,KAAG,OAKxD,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,OAAO,OAAO,KAAG,OAInD,CAAC"}

package/dist/derivation/evaluate-derivation-plan.d.ts

@@ -4,15 +4,23 @@
  */
 import type { RuntimeExecutionState } from '../create-ingest-event/runtime-execution-state-types';
 import type { InstrumentationManifestContent } from '../instrumentation-manifest/instrumentation-manifest-types';
+export type DerivationValidation = {
+    status: 'verified' | 'mismatch';
+    derivedValue?: unknown;
+    expressionId?: number;
+    dependencies?: number[];
+};
 export type EvaluatedRuntimeValue = {
     origin: 'captured';
     completeness: 'exact' | 'partial';
     value: unknown;
+    derivationValidation?: DerivationValidation;
 } | {
     origin: 'derived';
     completeness: 'exact' | 'partial';
     value: unknown;
     dependencies: number[];
+    derivationValidation?: DerivationValidation;
 } | {
     origin: 'unavailable';
     reason: string;

package/dist/derivation/evaluate-derivation-plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"evaluate-derivation-plan.d.ts","sourceRoot":"","sources":["../../src/derivation/evaluate-derivation-plan.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAGX,qBAAqB,EACrB,MAAM,sDAAsD,CAAC;AAM9D,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4DAA4D,CAAC;AAWjH,MAAM,MAAM,qBAAqB,GAC9B;IAAE,MAAM,EAAE,UAAU,CAAC;IAAC,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;IAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACzE;IACA,MAAM,EAAE,SAAS,CAAC;IAClB,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;IAClC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;CACtB,GACD;IACA,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CACd,CAAC;AAEL,MAAM,MAAM,sBAAsB,GAAG;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC9C,SAAS,EAAE,KAAK,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,eAAe,EAAE,MAAM,CAAC;QACxB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,MAAM,EAAE,qBAAqB,CAAC;KAC9B,CAAC,CAAC;IACH,WAAW,CAAC,EAAE,qBAAqB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,sBAAsB,EAAE,CAAC;CACpC,CAAC;AAivBF,eAAO,MAAM,yBAAyB,GAAI,OAAO;IAChD,KAAK,EAAE,qBAAqB,CAAC;IAC7B,QAAQ,EAAE,8BAA8B,GAAG,IAAI,CAAC;CAChD,KAAG,wBAkDH,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAChC,WAAW,sBAAsB,GAAG,SAAS,EAC7C,MAAM,MAAM,GAAG,IAAI,KACjB,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,CAKvD,CAAC"}
+{"version":3,"file":"evaluate-derivation-plan.d.ts","sourceRoot":"","sources":["../../src/derivation/evaluate-derivation-plan.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,KAAK,EAGX,qBAAqB,EACrB,MAAM,sDAAsD,CAAC;AAM9D,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4DAA4D,CAAC;AAYjH,MAAM,MAAM,oBAAoB,GAAG;IAClC,MAAM,EAAE,UAAU,GAAG,UAAU,CAAC;IAChC,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAC9B;IACA,MAAM,EAAE,UAAU,CAAC;IACnB,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;IAClC,KAAK,EAAE,OAAO,CAAC;IACf,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;CAC3C,GACD;IACA,MAAM,EAAE,SAAS,CAAC;IAClB,YAAY,EAAE,OAAO,GAAG,SAAS,CAAC;IAClC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oBAAoB,CAAC,EAAE,oBAAoB,CAAC;CAC3C,GACD;IACA,MAAM,EAAE,aAAa,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CACd,CAAC;AAEL,MAAM,MAAM,sBAAsB,GAAG;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IAC9C,SAAS,EAAE,KAAK,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,eAAe,EAAE,MAAM,CAAC;QACxB,iBAAiB,EAAE,MAAM,CAAC;QAC1B,MAAM,EAAE,qBAAqB,CAAC;KAC9B,CAAC,CAAC;IACH,WAAW,CAAC,EAAE,qBAAqB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACtC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,sBAAsB,EAAE,CAAC;CACpC,CAAC;AA01BF,eAAO,MAAM,yBAAyB,GAAI,OAAO;IAChD,KAAK,EAAE,qBAAqB,CAAC;IAC7B,QAAQ,EAAE,8BAA8B,GAAG,IAAI,CAAC;CAChD,KAAG,wBAuEH,CAAC;AAEF,eAAO,MAAM,oBAAoB,GAChC,WAAW,sBAAsB,GAAG,SAAS,EAC7C,MAAM,MAAM,GAAG,IAAI,KACjB,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,CAKvD,CAAC"}

package/dist/derivation/wire-values-equal.d.ts

@@ -0,0 +1,3 @@
+/** Compare already-serialized snapshots. Never invokes getters or application code. */
+export declare const wireValuesEqual: (left: unknown, right: unknown) => boolean;
+//# sourceMappingURL=wire-values-equal.d.ts.map

package/dist/derivation/wire-values-equal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"wire-values-equal.d.ts","sourceRoot":"","sources":["../../src/derivation/wire-values-equal.ts"],"names":[],"mappings":"AAkBA,uFAAuF;AACvF,eAAO,MAAM,eAAe,GAAI,MAAM,OAAO,EAAE,OAAO,OAAO,KAAG,OAoB/D,CAAC"}

package/dist/index.d.ts

@@ -5,9 +5,9 @@ export { isClientEnabled } from './create-client/is-client-enabled';
 export { resolveEndpointUrls } from './create-client/resolve-endpoint-urls';
 export { createIngestEvent } from './create-ingest-event/create-ingest-event';
 export type { RequestContext } from './create-ingest-event/create-ingest-event-types';
-export type { RuntimeCapturedControlFact, RuntimeCapturedRoot, RuntimeCaptureMode, RuntimeDerivationCapture, RuntimeDerivationMetrics, RuntimeExecutionEvent, RuntimeExecutionKind, RuntimeExecutionMetadata, RuntimeExecutionRecorderMetrics, RuntimeExecutionRequest, RuntimeExecutionState, RuntimeFunctionCallsSuppressedEvent, RuntimeFunctionEnterEvent, RuntimeFunctionExitEvent, RuntimeFunctionThrowEvent, RuntimeThrowLocation, } from './create-ingest-event/runtime-execution-state-types';
+export type { RuntimeCaptureCoverage, RuntimeCapturedControlFact, RuntimeCapturedRoot, RuntimeCaptureProfile, RuntimeDerivationCapture, RuntimeDerivationMetrics, RuntimeExecutionEvent, RuntimeExecutionKind, RuntimeExecutionMetadata, RuntimeExecutionRecorderMetrics, RuntimeExecutionRequest, RuntimeExecutionState, RuntimeFunctionCallsSuppressedEvent, RuntimeFunctionEnterEvent, RuntimeFunctionExitEvent, RuntimeFunctionThrowEvent, RuntimeThrowLocation, } from './create-ingest-event/runtime-execution-state-types';
 export { capturedValueCompleteness, isRedactedCapturedValue, isSerializerMarker, } from './derivation/captured-value-markers';
-export { type EvaluateDerivationResult, type EvaluatedFunctionState, type EvaluatedRuntimeValue, evaluatedValueAtLine, evaluateRuntimeDerivation, } from './derivation/evaluate-derivation-plan';
+export { type DerivationValidation, type EvaluateDerivationResult, type EvaluatedFunctionState, type EvaluatedRuntimeValue, evaluatedValueAtLine, evaluateRuntimeDerivation, } from './derivation/evaluate-derivation-plan';
 export { hashInstrumentationManifest } from './derivation/hash-instrumentation-manifest';
 export { isRasputinTaggedValue, RASPUTIN_WIRE_TAG, type RasputinTaggedValue, rasputinOmitted, rasputinRedacted, rasputinTagKind, rasputinTruncated, rasputinUnavailable, rasputinUnknown, } from './derivation/rasputin-wire-tag';
 export { detectRelease } from './detect-release/detect-release';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,YAAY,EACX,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,GACf,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,YAAY,EAAE,cAAc,EAAE,MAAM,iDAAiD,CAAC;AACtF,YAAY,EACX,0BAA0B,EAC1B,mBAAmB,EACnB,kBAAkB,EAClB,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,EACrB,oBAAoB,EACpB,wBAAwB,EACxB,+BAA+B,EAC/B,uBAAuB,EACvB,qBAAqB,EACrB,mCAAmC,EACnC,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,oBAAoB,GACpB,MAAM,qDAAqD,CAAC;AAC7D,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,kBAAkB,GAClB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACN,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,oBAAoB,EACpB,yBAAyB,GACzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EACN,qBAAqB,EACrB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,GACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,YAAY,EACX,eAAe,EACf,aAAa,EACb,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,wBAAwB,EACxB,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,GACd,MAAM,kDAAkD,CAAC;AAC1D,YAAY,EACX,4BAA4B,EAC5B,+BAA+B,EAC/B,8BAA8B,EAC9B,kCAAkC,EAClC,+BAA+B,EAC/B,2BAA2B,EAC3B,kBAAkB,EAClB,uBAAuB,GACvB,MAAM,2DAA2D,CAAC;AACnE,OAAO,EAAE,uCAAuC,EAAE,MAAM,2DAA2D,CAAC;AACpH,OAAO,EAAE,6BAA6B,EAAE,MAAM,4DAA4D,CAAC;AAC3G,YAAY,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,YAAY,EACX,aAAa,EACb,uBAAuB,GACvB,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EACX,yBAAyB,EACzB,aAAa,EACb,cAAc,GACd,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACN,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,GAChB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,YAAY,EACX,wBAAwB,EACxB,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EACX,sBAAsB,EACtB,SAAS,EACT,iBAAiB,EACjB,cAAc,GACd,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC7D,YAAY,EACX,cAAc,EACd,cAAc,EACd,mBAAmB,EACnB,eAAe,GACf,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,YAAY,EAAE,cAAc,EAAE,MAAM,iDAAiD,CAAC;AACtF,YAAY,EACX,sBAAsB,EACtB,0BAA0B,EAC1B,mBAAmB,EACnB,qBAAqB,EACrB,wBAAwB,EACxB,wBAAwB,EACxB,qBAAqB,EACrB,oBAAoB,EACpB,wBAAwB,EACxB,+BAA+B,EAC/B,uBAAuB,EACvB,qBAAqB,EACrB,mCAAmC,EACnC,yBAAyB,EACzB,wBAAwB,EACxB,yBAAyB,EACzB,oBAAoB,GACpB,MAAM,qDAAqD,CAAC;AAC7D,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,kBAAkB,GAClB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EACN,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC7B,KAAK,sBAAsB,EAC3B,KAAK,qBAAqB,EAC1B,oBAAoB,EACpB,yBAAyB,GACzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EACN,qBAAqB,EACrB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,GACf,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AAChE,YAAY,EACX,eAAe,EACf,aAAa,EACb,qBAAqB,EACrB,kBAAkB,EAClB,oBAAoB,EACpB,wBAAwB,EACxB,cAAc,EACd,iBAAiB,EACjB,kBAAkB,EAClB,cAAc,GACd,MAAM,kDAAkD,CAAC;AAC1D,YAAY,EACX,4BAA4B,EAC5B,+BAA+B,EAC/B,8BAA8B,EAC9B,kCAAkC,EAClC,+BAA+B,EAC/B,2BAA2B,EAC3B,kBAAkB,EAClB,uBAAuB,GACvB,MAAM,2DAA2D,CAAC;AACnE,OAAO,EAAE,uCAAuC,EAAE,MAAM,2DAA2D,CAAC;AACpH,OAAO,EAAE,6BAA6B,EAAE,MAAM,4DAA4D,CAAC;AAC3G,YAAY,EAAE,KAAK,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,qCAAqC,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,YAAY,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2CAA2C,CAAC;AAC9E,YAAY,EACX,aAAa,EACb,uBAAuB,GACvB,MAAM,sCAAsC,CAAC;AAC9C,YAAY,EACX,yBAAyB,EACzB,aAAa,EACb,cAAc,GACd,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACN,wBAAwB,EACxB,iBAAiB,EACjB,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,GAChB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AACrE,YAAY,EACX,wBAAwB,EACxB,aAAa,EACb,oBAAoB,EACpB,eAAe,EACf,sBAAsB,EACtB,uBAAuB,GACvB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AAC/D,YAAY,EACX,sBAAsB,EACtB,SAAS,EACT,iBAAiB,EACjB,cAAc,GACd,MAAM,6BAA6B,CAAC"}

package/dist/index.js

@@ -659,7 +659,7 @@ var resolveSourceMaps = async (frames) => {
 
 // src/sdk-meta.ts
 var SDK_NAME = "@rasputin-ai/core";
-var SDK_VERSION = "0.5.0-alpha.7";
+var SDK_VERSION = "0.5.0-alpha.9";
 
 // src/suppression/identity-needs-message-template.ts
 var identityNeedsMessageTemplate = (type, code) => {
@@ -1573,8 +1573,10 @@ var capturedValueCompleteness = (value) => {
   if (value.__rasputin_truncated === true) return "partial";
   if (value.__rasputin_type === "omitted" || value.__rasputin_type === "accessor") return "partial";
   if (value.__rasputin_type === "unserializable") return "partial";
-  for (const nested of Object.values(value)) {
-    if (capturedValueCompleteness(nested) === "partial") return "partial";
+  for (const key of Object.keys(value)) {
+    const descriptor = Object.getOwnPropertyDescriptor(value, key);
+    if (!descriptor || descriptor.get || descriptor.set) return "partial";
+    if (capturedValueCompleteness(descriptor.value) === "partial") return "partial";
   }
   return "exact";
 };
@@ -1766,12 +1768,44 @@ var hashInstrumentationManifest = (manifest) => {
   );
 };
 
+// src/derivation/wire-values-equal.ts
+var isRecord2 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var arraysEqual = (left, right) => {
+  if (left.length !== right.length) return false;
+  for (let index = 0; index < left.length; index++) {
+    if (Object.hasOwn(left, index) !== Object.hasOwn(right, index)) return false;
+    if (!wireValuesEqual(left[index], right[index])) return false;
+  }
+  return true;
+};
+var wireValuesEqual = (left, right) => {
+  if (Object.is(left, right)) return true;
+  if (typeof left === "bigint" && typeof right === "bigint") return left === right;
+  if (isRasputinTaggedValue(left) || isRasputinTaggedValue(right)) {
+    if (!Array.isArray(left) || !Array.isArray(right)) return false;
+    return arraysEqual(left, right);
+  }
+  if (Array.isArray(left) && Array.isArray(right)) return arraysEqual(left, right);
+  if (!isRecord2(left) || !isRecord2(right)) return false;
+  const leftKeys = Object.keys(left).sort();
+  const rightKeys = Object.keys(right).sort();
+  if (leftKeys.length !== rightKeys.length) return false;
+  return leftKeys.every((key, index) => {
+    if (key !== rightKeys[index]) return false;
+    const leftDesc = Object.getOwnPropertyDescriptor(left, key);
+    const rightDesc = Object.getOwnPropertyDescriptor(right, key);
+    if (!leftDesc || !rightDesc) return false;
+    if (leftDesc.get || leftDesc.set || rightDesc.get || rightDesc.set) return false;
+    return wireValuesEqual(leftDesc.value, rightDesc.value);
+  });
+};
+
 // src/derivation/evaluate-derivation-plan.ts
 var MAX_INSTRUCTIONS = 1e4;
 var MAX_DEPTH = 64;
 var MAX_OUTPUT_BYTES = 256 * 1024;
 var MAX_WALL_MS = 50;
-var isRecord2 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+var isRecord3 = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
 var primitiveFromConst = (value) => {
   switch (value.type) {
     case "null":
@@ -1811,8 +1845,13 @@ var estimateBytes = (value, depth = 0) => {
         return total2;
       }
       let total = 2;
-      for (const [key, nested] of Object.entries(value)) {
-        total += key.length + estimateBytes(nested, depth + 1);
+      for (const key of Object.keys(value)) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        if (!descriptor || descriptor.get || descriptor.set) {
+          total += key.length + 8;
+          continue;
+        }
+        total += key.length + estimateBytes(descriptor.value, depth + 1);
       }
       return total;
     }
@@ -1820,6 +1859,58 @@ var estimateBytes = (value, depth = 0) => {
       return 8;
   }
 };
+var capturedFromWire = (value) => {
+  if (rasputinTagKind(value) === "omitted") {
+    return { origin: "unavailable", reason: "omitted_value" };
+  }
+  if (isRedactedCapturedValue(value)) {
+    return { origin: "captured", completeness: "partial", value: rasputinRedacted() };
+  }
+  return { origin: "captured", completeness: capturedValueCompleteness(value), value };
+};
+var checkpointRank = (value) => {
+  if (!value || value.origin === "unavailable") return 5;
+  if (value.origin === "captured" && value.completeness === "exact") return 1;
+  if (value.origin === "derived" && value.completeness === "exact") return 2;
+  if (value.origin === "captured") return 3;
+  return 4;
+};
+var resolveCheckpoint = (captured, derived, expressionId) => {
+  const capturedRank = checkpointRank(captured);
+  const derivedRank = checkpointRank(derived);
+  if (capturedRank === 1 && derivedRank === 2 && captured?.origin === "captured" && derived?.origin === "derived") {
+    if (!wireValuesEqual(captured.value, derived.value)) {
+      return {
+        origin: "captured",
+        completeness: "exact",
+        value: captured.value,
+        derivationValidation: {
+          status: "mismatch",
+          derivedValue: derived.value,
+          expressionId,
+          dependencies: derived.dependencies
+        }
+      };
+    }
+    return {
+      origin: "captured",
+      completeness: "exact",
+      value: captured.value,
+      derivationValidation: { status: "verified" }
+    };
+  }
+  if (capturedRank <= derivedRank) {
+    return captured ?? derived ?? { origin: "unavailable", reason: "no_checkpoint" };
+  }
+  return derived ?? { origin: "unavailable", reason: "no_checkpoint" };
+};
+var exactOperandsOrUnavailable = (parts) => {
+  const completeness = mergeCompleteness(parts);
+  if (completeness === "unavailable")
+    return { origin: "unavailable", reason: "partial_dependency" };
+  if (completeness === "partial") return { origin: "unavailable", reason: "partial_operand" };
+  return void 0;
+};
 var capturedResult = (root) => {
   if (isRedactedCapturedValue(root.value)) {
     return { origin: "captured", completeness: "partial", value: rasputinRedacted() };
@@ -1862,6 +1953,27 @@ var resolveEnterArgs = (enter, queue) => {
   if (!argsIncludeOmitted(enter.args)) return enter.args;
   return takeReconstructedCallArgs(queue, enter.parentCallId, enter.functionId) ?? enter.args;
 };
+var takeChildCapturedReturn = (state, calleeFunctionId) => {
+  if (state.recordingCallId == null) return void 0;
+  const children = (state.childrenByParent.get(state.recordingCallId) ?? []).filter(
+    (child2) => child2.functionId === calleeFunctionId
+  );
+  const key = omittedCallKey(state.recordingCallId, calleeFunctionId);
+  const index = state.childCursor.get(key) ?? 0;
+  state.childCursor.set(key, index + 1);
+  const child = children[index];
+  if (!child) return void 0;
+  if (state.throwCallIds.has(child.callId)) return { threw: true };
+  return state.exitByCallId.get(child.callId);
+};
+var readOwnDataProperty = (object, key) => {
+  const descriptor = Object.getOwnPropertyDescriptor(object, key);
+  if (!descriptor) return { ok: false, reason: "missing_property" };
+  if (descriptor.get !== void 0 || descriptor.set !== void 0) {
+    return { ok: false, reason: "accessor_property" };
+  }
+  return { ok: true, value: descriptor.value };
+};
 var budgetExceeded = (state) => {
   if (state.instructions > MAX_INSTRUCTIONS) return "instruction_budget";
   if (state.depth > MAX_DEPTH) return "depth_budget";
@@ -1912,8 +2024,7 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
           result = { origin: "unavailable", reason: "omitted_argument" };
           break;
         }
-        const completeness = capturedValueCompleteness(value);
-        result = { origin: "captured", completeness, value };
+        result = capturedFromWire(value);
         break;
       }
       case "root": {
@@ -1931,9 +2042,9 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
       case "binary": {
         const left = evalChild(expression.left);
         const right = evalChild(expression.right);
-        const completeness = mergeCompleteness([left, right]);
-        if (completeness === "unavailable") {
-          result = { origin: "unavailable", reason: "partial_dependency" };
+        const blocked = exactOperandsOrUnavailable([left, right]);
+        if (blocked) {
+          result = blocked;
           break;
         }
         const leftValue = unwrapExactPrimitive(left);
@@ -1964,7 +2075,7 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         }
         result = {
           origin: "derived",
-          completeness,
+          completeness: "exact",
           value,
           dependencies: [expression.left, expression.right]
         };
@@ -1972,8 +2083,9 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
       }
       case "unary": {
         const operand = evalChild(expression.operand);
-        if (operand.origin === "unavailable") {
-          result = operand;
+        const blocked = exactOperandsOrUnavailable([operand]);
+        if (blocked || operand.origin === "unavailable") {
+          result = blocked ?? operand;
           break;
         }
         const raw = operand.value;
@@ -1984,7 +2096,7 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         if (expression.op === "typeof") {
           result = {
             origin: "derived",
-            completeness: operand.completeness,
+            completeness: "exact",
             value: typeof raw,
             dependencies: [expression.operand]
           };
@@ -1993,7 +2105,7 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         if (expression.op === "not") {
           result = {
             origin: "derived",
-            completeness: operand.completeness,
+            completeness: "exact",
             value: !raw,
             dependencies: [expression.operand]
           };
@@ -2005,7 +2117,7 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         }
         result = {
           origin: "derived",
-          completeness: operand.completeness,
+          completeness: "exact",
           value: expression.op === "minus" ? -raw : +raw,
           dependencies: [expression.operand]
         };
@@ -2013,29 +2125,30 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
       }
       case "logical": {
         const left = evalChild(expression.left);
-        if (left.origin === "unavailable") {
-          result = left;
+        const leftBlocked = exactOperandsOrUnavailable([left]);
+        if (leftBlocked || left.origin === "unavailable") {
+          result = leftBlocked ?? left;
           break;
         }
         const takeRight = expression.op === "and" ? Boolean(left.value) : expression.op === "or" ? !left.value : left.value == null;
         if (!takeRight) {
           result = left.origin === "derived" ? left : {
             origin: "derived",
-            completeness: left.completeness,
+            completeness: "exact",
             value: left.value,
             dependencies: [expression.left]
           };
           break;
         }
         const right = evalChild(expression.right);
-        const completeness = mergeCompleteness([left, right]);
-        if (completeness === "unavailable" || right.origin === "unavailable") {
-          result = { origin: "unavailable", reason: "partial_dependency" };
+        const blocked = exactOperandsOrUnavailable([left, right]);
+        if (blocked || right.origin === "unavailable") {
+          result = blocked ?? right;
           break;
         }
         result = {
           origin: "derived",
-          completeness,
+          completeness: "exact",
           value: right.value,
           dependencies: [expression.left, expression.right]
         };
@@ -2043,8 +2156,9 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
       }
       case "cond": {
         const test = evalChild(expression.test);
-        if (test.origin === "unavailable") {
-          result = test;
+        const testBlocked = exactOperandsOrUnavailable([test]);
+        if (testBlocked || test.origin === "unavailable") {
+          result = testBlocked ?? test;
           break;
         }
         const fact = [...factsById.values()].find(
@@ -2052,14 +2166,14 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         );
         const takeConsequent = fact ? fact.value : Boolean(test.value);
         const branch = evalChild(takeConsequent ? expression.consequent : expression.alternate);
-        const completeness = mergeCompleteness([test, branch]);
-        if (completeness === "unavailable" || branch.origin === "unavailable") {
-          result = { origin: "unavailable", reason: "partial_dependency" };
+        const blocked = exactOperandsOrUnavailable([test, branch]);
+        if (blocked || branch.origin === "unavailable") {
+          result = blocked ?? branch;
           break;
         }
         result = {
           origin: "derived",
-          completeness,
+          completeness: "exact",
           value: branch.value,
           dependencies: [
             expression.test,
@@ -2186,20 +2300,20 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
           result = { origin: "unavailable", reason: "redacted_operand" };
           break;
         }
-        if (!isRecord2(object.value) || rasputinTagKind(object.value)) {
+        if (!isRecord3(object.value) || rasputinTagKind(object.value)) {
           result = { origin: "unavailable", reason: "prop_on_non_object" };
           break;
         }
-        if (!(expression.key in object.value)) {
-          result = { origin: "unavailable", reason: "missing_property" };
+        const owned = readOwnDataProperty(object.value, expression.key);
+        if (!owned.ok) {
+          result = { origin: "unavailable", reason: owned.reason };
           break;
         }
-        const value = object.value[expression.key];
-        const completeness = object.completeness === "partial" || capturedValueCompleteness(value) === "partial" ? "partial" : "exact";
+        const completeness = object.completeness === "partial" || capturedValueCompleteness(owned.value) === "partial" ? "partial" : "exact";
         result = {
           origin: "derived",
           completeness,
-          value,
+          value: owned.value,
           dependencies: [expression.object]
         };
         break;
@@ -2233,33 +2347,24 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
         break;
       }
       case "pure_call": {
-        const callee = calleeReturns.get(expression.calleeFunctionId);
-        if (!callee || callee.fallbackReason || callee.returnExpressionId == null) {
-          result = { origin: "unavailable", reason: "unproven_callee" };
+        const childReturn = takeChildCapturedReturn(state, expression.calleeFunctionId);
+        if (childReturn && "threw" in childReturn) {
+          result = { origin: "unavailable", reason: "callee_threw" };
           break;
         }
+        const capturedReturn = childReturn && "present" in childReturn ? capturedFromWire(childReturn.value) : void 0;
+        const callee = calleeReturns.get(expression.calleeFunctionId);
         const callArgs = [];
-        const parts = [];
-        let failed;
+        let argsExact = true;
         for (const argId of expression.args) {
           const nested = evalChild(argId);
-          parts.push(nested);
-          if (nested.origin === "unavailable") {
-            failed = nested;
-            break;
+          if (nested.origin === "unavailable" || nested.completeness === "partial") {
+            argsExact = false;
+            continue;
           }
           callArgs.push(nested.value);
         }
-        if (failed) {
-          result = failed;
-          break;
-        }
-        const completeness = mergeCompleteness(parts);
-        if (completeness === "unavailable") {
-          result = { origin: "unavailable", reason: "partial_dependency" };
-          break;
-        }
-        if (state.recordingCallId != null) {
+        if (argsExact && state.recordingCallId != null) {
           recordReconstructedCallArgs(
             state.omittedCallArgs,
             state.recordingCallId,
@@ -2267,17 +2372,11 @@ var evaluateExpression = (expressionId, plan, byId, cells, args, rootsById, fact
             callArgs
           );
         }
-        const returned = evaluateCallee(callee, callArgs);
-        if (returned.origin === "unavailable") {
-          result = returned;
-          break;
-        }
-        result = {
-          origin: "derived",
-          completeness: completeness === "partial" || returned.completeness === "partial" ? "partial" : "exact",
-          value: returned.value,
-          dependencies: expression.args
-        };
+        const canDeriveCallee = Boolean(
+          argsExact && callee && !callee.fallbackReason && callee.returnExpressionId != null
+        );
+        const derivedReturn = canDeriveCallee && callee ? evaluateCallee(callee, callArgs) : void 0;
+        result = resolveCheckpoint(capturedReturn, derivedReturn, expression.id);
         break;
       }
     }
@@ -2353,7 +2452,7 @@ var applyBinary = (op, left, right) => {
       return left >= right;
   }
 };
-var evaluatePlan = (plan, args, roots, facts, plansByFunctionId, state, recordingCallId) => {
+var evaluatePlan = (plan, args, roots, facts, plansByFunctionId, state, recordingCallId, capturedExit, threw = false) => {
   const previousRecordingCallId = state.recordingCallId;
   state.recordingCallId = recordingCallId;
   try {
@@ -2393,15 +2492,20 @@ var evaluatePlan = (plan, args, roots, facts, plansByFunctionId, state, recordin
         reason: "missing_expression"
       }
     }));
+    const derivedReturn = plan.returnExpressionId == null ? void 0 : values[plan.returnExpressionId] ?? {
+      origin: "unavailable",
+      reason: "missing_return"
+    };
     return {
       functionId: plan.functionId,
       callId: roots[0]?.callId ?? facts[0]?.callId ?? 0,
       values,
       variables,
-      returnValue: plan.returnExpressionId == null ? void 0 : values[plan.returnExpressionId] ?? {
-        origin: "unavailable",
-        reason: "missing_return"
-      }
+      returnValue: threw ? void 0 : resolveCheckpoint(
+        capturedExit ? capturedFromWire(capturedExit.value) : void 0,
+        derivedReturn,
+        plan.returnExpressionId
+      )
     };
   } finally {
     state.recordingCallId = previousRecordingCallId;
@@ -2422,23 +2526,42 @@ var evaluateRuntimeDerivation = (input) => {
     return { unavailableReason: "manifest_hash_mismatch", functions: [] };
   }
   const plansByFunctionId = new Map(
-    input.manifest.derivationPlans.map((plan) => [plan.functionId, plan])
+    (input.manifest.derivationPlans ?? []).map((plan) => [plan.functionId, plan])
   );
   const roots = input.state.derivation?.roots ?? [];
   const facts = input.state.derivation?.controlFacts ?? [];
+  const exitByCallId = /* @__PURE__ */ new Map();
+  const throwCallIds = /* @__PURE__ */ new Set();
+  const childrenByParent = /* @__PURE__ */ new Map();
+  for (const event of input.state.events) {
+    if (event.type === "function_enter" && event.parentCallId != null) {
+      const child = { callId: event.callId, functionId: event.functionId };
+      const siblings = childrenByParent.get(event.parentCallId);
+      if (siblings) siblings.push(child);
+      else childrenByParent.set(event.parentCallId, [child]);
+    }
+    if (event.type === "function_exit") {
+      exitByCallId.set(event.callId, { present: true, value: event.returnValue });
+    }
+    if (event.type === "function_throw") throwCallIds.add(event.callId);
+  }
   const state = {
     instructions: 0,
     depth: 0,
     outputBytes: 0,
     startedAt: Date.now(),
     recordingCallId: null,
-    omittedCallArgs: /* @__PURE__ */ new Map()
+    omittedCallArgs: /* @__PURE__ */ new Map(),
+    exitByCallId,
+    throwCallIds,
+    childrenByParent,
+    childCursor: /* @__PURE__ */ new Map()
   };
   const enterEvents = input.state.events.filter((event) => event.type === "function_enter");
   const functions = [];
   for (const enter of enterEvents) {
     const plan = plansByFunctionId.get(enter.functionId);
-    if (!plan || plan.fallbackReason) continue;
+    if (!plan) continue;
     const callRoots = roots.filter((root) => root.callId === enter.callId);
     const callFacts = facts.filter((fact) => fact.callId === enter.callId);
     const evaluated = evaluatePlan(
@@ -2448,7 +2571,9 @@ var evaluateRuntimeDerivation = (input) => {
       callFacts,
       plansByFunctionId,
       state,
-      enter.callId
+      enter.callId,
+      exitByCallId.get(enter.callId),
+      throwCallIds.has(enter.callId)
     );
     evaluated.callId = enter.callId;
     functions.push(evaluated);

package/dist/sdk-meta.d.ts

@@ -1,4 +1,4 @@
 /** Generated by scripts/generate-sdk-meta.ts — do not edit. */
 export declare const SDK_NAME = "@rasputin-ai/core";
-export declare const SDK_VERSION = "0.5.0-alpha.7";
+export declare const SDK_VERSION = "0.5.0-alpha.9";
 //# sourceMappingURL=sdk-meta.d.ts.map

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@rasputin-ai/core",
-	"version": "0.5.0-alpha.7",
+	"version": "0.5.0-alpha.9",
 	"description": "Core error capture, stack parsing, and ingest transport for Rasputin AI.",
 	"type": "module",
 	"exports": {