@fuaran-ui/ops 0.19.0 → 0.21.0

package/dist/index.d.cts

@@ -140,6 +140,13 @@ declare const evalErrorString: (e: EvalError) => string;
 declare const stepParams: (t: Transform) => readonly string[];
 /** Every distinct param name a pipeline references — the TS mirror of Core `Transform.paramsOf`. */
 declare const pipelineParams: (pipeline: readonly Transform[]) => readonly string[];
+/**
+ * Substitute every `inParam` bound in `listEnv` with the literal `in` form, through the
+ * whole pipeline — the TS mirror of Core `Transform.substituteListParams`. Unbound list
+ * params are left intact for the caller's prune to catch. Only `filter` / `derive` carry
+ * a `ColExpr`; every other step is returned unchanged.
+ */
+declare const substituteListParams: (listEnv: Readonly<Record<string, readonly Cell[]>>, pipeline: readonly Transform[]) => readonly Transform[];
 
 /** Stable AI-friendly discriminator for decode-time failures (WIRE_FORMAT.md §6). */
 type DecodeErrorCode = 'INVALID_JSON' | 'MISSING_FIELD' | 'WRONG_TYPE' | 'UNKNOWN_DU_CASE' | 'WRONG_NODE_KIND' | 'EMPTY_NODE_ID'
@@ -435,6 +442,22 @@ declare const pasteOpWith: <TMsg>(freshIds: FreshIds, targetRoot: Node<TMsg>, in
 /** `pasteOpWith` under the default derived-suffix id strategy. */
 declare const pasteOp: <TMsg>(targetRoot: Node<TMsg>, incoming: Node<TMsg>, target: PlaceTarget) => Result<TreeOp<TMsg>, PlaceError>;
 
+/**
+ * Who authored a DAG op. Structurally identical to `Actor` in
+ * `@fuaran-ui/op-stream`, and DELIBERATELY declared here rather than imported:
+ * op-stream depends on this package, so importing it would invert the package
+ * dependency. TypeScript is structurally typed, so an op-stream `Actor` is
+ * assignable here and vice versa with no import and no new dependency edge.
+ */
+type DagActor = {
+    readonly kind: 'human';
+    readonly id: string;
+} | {
+    readonly kind: 'agent';
+    readonly model: string;
+    readonly version: string;
+    readonly id: string;
+};
 /** The result envelope captured on a DAG record (closed shape). */
 type DagResultEnvelope = {
     readonly $type: 'Success';
@@ -457,7 +480,7 @@ interface DagOpRecord<TMsg = unknown> {
     readonly op: TreeOp<TMsg>;
     readonly outcomeHash?: string;
     readonly promptId?: string;
-    readonly userId: string;
+    readonly actor: DagActor;
     /** Unix seconds. */
     readonly timestamp: number;
     readonly resultEnvelope: DagResultEnvelope;
@@ -465,10 +488,10 @@ interface DagOpRecord<TMsg = unknown> {
 }
 /**
  * Encode a `DagOpRecord` to its canonical JSON wire form. Keys in Ordinal order
- * (hash < op < outcomeHash < parents < promptId < resultEnvelope < streamId <
- * timestamp < tombstoned < userId); `outcomeHash` / `promptId` omitted when
- * absent; `op` nests `encodeOp` verbatim. Byte-identical to the F#
- * `DagWire.encodeRecord`.
+ * (actor < hash < op < outcomeHash < parents < promptId < resultEnvelope <
+ * streamId < timestamp < tombstoned); `outcomeHash` / `promptId` omitted when
+ * absent; `op` nests `encodeOp` and `actor` nests the canonical actor form
+ * verbatim. Byte-identical to the F# `DagWire.encodeRecord`.
  */
 declare const encodeDagRecord: <TMsg>(record: DagOpRecord<TMsg>) => string;
 type DecodeResult<T> = {
@@ -817,4 +840,4 @@ declare const withStateSeeds: <TMsg, S extends {
     readonly state?: Readonly<Record<string, unknown>>;
 }>(tree: Node<TMsg>, sources: S) => S;
 
-export { type Answer, type AnswerContract, type AnswerField, type AnswerSpace, type AnswerValue, type ApplyError, type ApplyErrorCode, type ApplyResult, type Compatibility, type DagOpRecord, type DagResultEnvelope, type DecodeError, type DecodeErrorCode, type Decoded, ELICITATION_KEY, ELICITATION_VERSION, type ElicitationEnvelope, type ElicitationError, type ElicitationErrorCode, type ElicitationOutcome, type ElicitationOutcomeEnvelope, type Envelope, type EnvelopeError, type EnvelopeErrorCode, type EvalEnv, type FreshIds, HOST_RESERVED_PREFIX, type JsonAst, type MergeConflict, type MergeResult, type OpApplyTelemetryRecord, PAYLOAD_KEY, PROFILE_KEY, type ParseError, type PlaceError, type PlaceTarget, type Placement, type Profile, REQUIRED_PROFILE_KEY, type SourceResolver, type TreeOp, type UnknownKind, apply, canPlace, cellString, coerce, collectStateSeeds, coreV1, decodeDagRecord, decodeElicitation, decodeElicitationOutcome, decodeEnvelope, decodeEnvelopeAst, decodeNode, decodeNodeTolerant, decodeOp, decodeTolerant, derivedFreshIds, duplicateOp, duplicateOpWith, encodeCell, encodeColExpr, encodeDagRecord, encodeDataSource, encodeElicitation, encodeElicitationOutcome, encodeEnvelope, encodeNode, encodeOp, encodePipeline, evalErrorString, evalPipeline, evalPipelineInEnv, evalPipelineWith, evalPipelineWithInEnv, evalSource, field as jsonField, liveValueToTable, merge3Way, moveOp, negotiate, negotiateEnvelope, noResolve, nudgeOp, parse, pasteOp, pasteOpWith, pipelineParams, placeOp, reencodeNode, renderAstCanonical, renderProfile, sequentialFreshIds, stepParams, tryParseProfile, validateAnswer, validateAnswerAt, validateAnswerDocument, withStateSeeds };
+export { type Answer, type AnswerContract, type AnswerField, type AnswerSpace, type AnswerValue, type ApplyError, type ApplyErrorCode, type ApplyResult, type Compatibility, type DagActor, type DagOpRecord, type DagResultEnvelope, type DecodeError, type DecodeErrorCode, type Decoded, ELICITATION_KEY, ELICITATION_VERSION, type ElicitationEnvelope, type ElicitationError, type ElicitationErrorCode, type ElicitationOutcome, type ElicitationOutcomeEnvelope, type Envelope, type EnvelopeError, type EnvelopeErrorCode, type EvalEnv, type FreshIds, HOST_RESERVED_PREFIX, type JsonAst, type MergeConflict, type MergeResult, type OpApplyTelemetryRecord, PAYLOAD_KEY, PROFILE_KEY, type ParseError, type PlaceError, type PlaceTarget, type Placement, type Profile, REQUIRED_PROFILE_KEY, type SourceResolver, type TreeOp, type UnknownKind, apply, canPlace, cellString, coerce, collectStateSeeds, coreV1, decodeDagRecord, decodeElicitation, decodeElicitationOutcome, decodeEnvelope, decodeEnvelopeAst, decodeNode, decodeNodeTolerant, decodeOp, decodeTolerant, derivedFreshIds, duplicateOp, duplicateOpWith, encodeCell, encodeColExpr, encodeDagRecord, encodeDataSource, encodeElicitation, encodeElicitationOutcome, encodeEnvelope, encodeNode, encodeOp, encodePipeline, evalErrorString, evalPipeline, evalPipelineInEnv, evalPipelineWith, evalPipelineWithInEnv, evalSource, field as jsonField, liveValueToTable, merge3Way, moveOp, negotiate, negotiateEnvelope, noResolve, nudgeOp, parse, pasteOp, pasteOpWith, pipelineParams, placeOp, reencodeNode, renderAstCanonical, renderProfile, sequentialFreshIds, stepParams, substituteListParams, tryParseProfile, validateAnswer, validateAnswerAt, validateAnswerDocument, withStateSeeds };

package/dist/index.d.ts

@@ -140,6 +140,13 @@ declare const evalErrorString: (e: EvalError) => string;
 declare const stepParams: (t: Transform) => readonly string[];
 /** Every distinct param name a pipeline references — the TS mirror of Core `Transform.paramsOf`. */
 declare const pipelineParams: (pipeline: readonly Transform[]) => readonly string[];
+/**
+ * Substitute every `inParam` bound in `listEnv` with the literal `in` form, through the
+ * whole pipeline — the TS mirror of Core `Transform.substituteListParams`. Unbound list
+ * params are left intact for the caller's prune to catch. Only `filter` / `derive` carry
+ * a `ColExpr`; every other step is returned unchanged.
+ */
+declare const substituteListParams: (listEnv: Readonly<Record<string, readonly Cell[]>>, pipeline: readonly Transform[]) => readonly Transform[];
 
 /** Stable AI-friendly discriminator for decode-time failures (WIRE_FORMAT.md §6). */
 type DecodeErrorCode = 'INVALID_JSON' | 'MISSING_FIELD' | 'WRONG_TYPE' | 'UNKNOWN_DU_CASE' | 'WRONG_NODE_KIND' | 'EMPTY_NODE_ID'
@@ -435,6 +442,22 @@ declare const pasteOpWith: <TMsg>(freshIds: FreshIds, targetRoot: Node<TMsg>, in
 /** `pasteOpWith` under the default derived-suffix id strategy. */
 declare const pasteOp: <TMsg>(targetRoot: Node<TMsg>, incoming: Node<TMsg>, target: PlaceTarget) => Result<TreeOp<TMsg>, PlaceError>;
 
+/**
+ * Who authored a DAG op. Structurally identical to `Actor` in
+ * `@fuaran-ui/op-stream`, and DELIBERATELY declared here rather than imported:
+ * op-stream depends on this package, so importing it would invert the package
+ * dependency. TypeScript is structurally typed, so an op-stream `Actor` is
+ * assignable here and vice versa with no import and no new dependency edge.
+ */
+type DagActor = {
+    readonly kind: 'human';
+    readonly id: string;
+} | {
+    readonly kind: 'agent';
+    readonly model: string;
+    readonly version: string;
+    readonly id: string;
+};
 /** The result envelope captured on a DAG record (closed shape). */
 type DagResultEnvelope = {
     readonly $type: 'Success';
@@ -457,7 +480,7 @@ interface DagOpRecord<TMsg = unknown> {
     readonly op: TreeOp<TMsg>;
     readonly outcomeHash?: string;
     readonly promptId?: string;
-    readonly userId: string;
+    readonly actor: DagActor;
     /** Unix seconds. */
     readonly timestamp: number;
     readonly resultEnvelope: DagResultEnvelope;
@@ -465,10 +488,10 @@ interface DagOpRecord<TMsg = unknown> {
 }
 /**
  * Encode a `DagOpRecord` to its canonical JSON wire form. Keys in Ordinal order
- * (hash < op < outcomeHash < parents < promptId < resultEnvelope < streamId <
- * timestamp < tombstoned < userId); `outcomeHash` / `promptId` omitted when
- * absent; `op` nests `encodeOp` verbatim. Byte-identical to the F#
- * `DagWire.encodeRecord`.
+ * (actor < hash < op < outcomeHash < parents < promptId < resultEnvelope <
+ * streamId < timestamp < tombstoned); `outcomeHash` / `promptId` omitted when
+ * absent; `op` nests `encodeOp` and `actor` nests the canonical actor form
+ * verbatim. Byte-identical to the F# `DagWire.encodeRecord`.
  */
 declare const encodeDagRecord: <TMsg>(record: DagOpRecord<TMsg>) => string;
 type DecodeResult<T> = {
@@ -817,4 +840,4 @@ declare const withStateSeeds: <TMsg, S extends {
     readonly state?: Readonly<Record<string, unknown>>;
 }>(tree: Node<TMsg>, sources: S) => S;
 
-export { type Answer, type AnswerContract, type AnswerField, type AnswerSpace, type AnswerValue, type ApplyError, type ApplyErrorCode, type ApplyResult, type Compatibility, type DagOpRecord, type DagResultEnvelope, type DecodeError, type DecodeErrorCode, type Decoded, ELICITATION_KEY, ELICITATION_VERSION, type ElicitationEnvelope, type ElicitationError, type ElicitationErrorCode, type ElicitationOutcome, type ElicitationOutcomeEnvelope, type Envelope, type EnvelopeError, type EnvelopeErrorCode, type EvalEnv, type FreshIds, HOST_RESERVED_PREFIX, type JsonAst, type MergeConflict, type MergeResult, type OpApplyTelemetryRecord, PAYLOAD_KEY, PROFILE_KEY, type ParseError, type PlaceError, type PlaceTarget, type Placement, type Profile, REQUIRED_PROFILE_KEY, type SourceResolver, type TreeOp, type UnknownKind, apply, canPlace, cellString, coerce, collectStateSeeds, coreV1, decodeDagRecord, decodeElicitation, decodeElicitationOutcome, decodeEnvelope, decodeEnvelopeAst, decodeNode, decodeNodeTolerant, decodeOp, decodeTolerant, derivedFreshIds, duplicateOp, duplicateOpWith, encodeCell, encodeColExpr, encodeDagRecord, encodeDataSource, encodeElicitation, encodeElicitationOutcome, encodeEnvelope, encodeNode, encodeOp, encodePipeline, evalErrorString, evalPipeline, evalPipelineInEnv, evalPipelineWith, evalPipelineWithInEnv, evalSource, field as jsonField, liveValueToTable, merge3Way, moveOp, negotiate, negotiateEnvelope, noResolve, nudgeOp, parse, pasteOp, pasteOpWith, pipelineParams, placeOp, reencodeNode, renderAstCanonical, renderProfile, sequentialFreshIds, stepParams, tryParseProfile, validateAnswer, validateAnswerAt, validateAnswerDocument, withStateSeeds };
+export { type Answer, type AnswerContract, type AnswerField, type AnswerSpace, type AnswerValue, type ApplyError, type ApplyErrorCode, type ApplyResult, type Compatibility, type DagActor, type DagOpRecord, type DagResultEnvelope, type DecodeError, type DecodeErrorCode, type Decoded, ELICITATION_KEY, ELICITATION_VERSION, type ElicitationEnvelope, type ElicitationError, type ElicitationErrorCode, type ElicitationOutcome, type ElicitationOutcomeEnvelope, type Envelope, type EnvelopeError, type EnvelopeErrorCode, type EvalEnv, type FreshIds, HOST_RESERVED_PREFIX, type JsonAst, type MergeConflict, type MergeResult, type OpApplyTelemetryRecord, PAYLOAD_KEY, PROFILE_KEY, type ParseError, type PlaceError, type PlaceTarget, type Placement, type Profile, REQUIRED_PROFILE_KEY, type SourceResolver, type TreeOp, type UnknownKind, apply, canPlace, cellString, coerce, collectStateSeeds, coreV1, decodeDagRecord, decodeElicitation, decodeElicitationOutcome, decodeEnvelope, decodeEnvelopeAst, decodeNode, decodeNodeTolerant, decodeOp, decodeTolerant, derivedFreshIds, duplicateOp, duplicateOpWith, encodeCell, encodeColExpr, encodeDagRecord, encodeDataSource, encodeElicitation, encodeElicitationOutcome, encodeEnvelope, encodeNode, encodeOp, encodePipeline, evalErrorString, evalPipeline, evalPipelineInEnv, evalPipelineWith, evalPipelineWithInEnv, evalSource, field as jsonField, liveValueToTable, merge3Way, moveOp, negotiate, negotiateEnvelope, noResolve, nudgeOp, parse, pasteOp, pasteOpWith, pipelineParams, placeOp, reencodeNode, renderAstCanonical, renderProfile, sequentialFreshIds, stepParams, substituteListParams, tryParseProfile, validateAnswer, validateAnswerAt, validateAnswerDocument, withStateSeeds };