agent-inspect 6.12.0 → 6.12.2

package/packages/core/dist/{index-BO7l0iAe.d.ts → index-CgCH8NE9.d.ts}

@@ -3,6 +3,62 @@ import { a as InspectRunTree, b as InspectNode, A as AttributionConfidence } fro
 import { P as PersistedInspectEvent } from './persisted-inspect-event-ChE7pGb7.js';
 import { O as ObservedOutcomeStatus } from './types-B562HgN_.js';
 
+/**
+ * Logical lifecycle projection for trace checks.
+ *
+ * Projects raw persisted rows (including v0.1 start/complete bridges) into
+ * completed lifecycle events for semantic/structure rules. Does not mutate
+ * input; does not replace public experimental `events` (raw rows).
+ *
+ * @experimental Available through `agent-inspect/checks`; may evolve.
+ */
+
+/**
+ * Diagnostic emitted while projecting logical lifecycle events.
+ *
+ * @experimental
+ */
+interface LogicalProjectionDiagnostic {
+    code: "AI_LOGICAL_PAIR_AMBIGUOUS" | "AI_LOGICAL_PAIR_UNMATCHED_START" | "AI_LOGICAL_PAIR_UNMATCHED_COMPLETE" | "AI_LOGICAL_PARENT_REMAPPED" | "AI_LOGICAL_PARENT_UNRESOLVED";
+    message: string;
+    eventIds?: readonly string[];
+}
+/**
+ * A persisted event after lifecycle pairing and parent normalization.
+ * Compatible with rule helpers that read PersistedInspectEvent fields.
+ *
+ * @experimental
+ */
+type LogicalTraceEvent = PersistedInspectEvent & {
+    /** Raw event ids merged into this logical row (start first when paired). */
+    readonly sourceEventIds: readonly string[];
+    readonly projection: {
+        readonly paired: boolean;
+        readonly absorbedEventIds: readonly string[];
+        readonly parentNormalized: boolean;
+        readonly originalParentId?: string;
+    };
+};
+interface ProjectLogicalEventsResult {
+    readonly logicalEvents: readonly LogicalTraceEvent[];
+    readonly diagnostics: readonly LogicalProjectionDiagnostic[];
+}
+/**
+ * Pair v0.1 run/step start+complete rows and normalize parent references.
+ *
+ * - Keeps start kind/name; applies terminal status/timing/error from complete.
+ * - Absorbs matching complete rows (not emitted as separate logical events).
+ * - Remaps parentId from stepId or absorbed complete eventId → logical eventId.
+ */
+declare function projectLogicalEvents(events: readonly PersistedInspectEvent[]): ProjectLogicalEventsResult;
+/**
+ * Resolve a human-meaningful tool name from a (logical or raw) event.
+ * Precedence: toolName → tool → metadata.toolName → metadata.tool → name prefixes.
+ *
+ * @experimental
+ */
+declare function resolveCanonicalToolName(event: PersistedInspectEvent): string;
+
 /**
  * Experimental trace-check finding severity.
  *
@@ -147,7 +203,22 @@ interface TraceCheckInput {
 interface TraceCheckFacts {
     format: string;
     runs: readonly InspectRunTree[];
+    /**
+     * Raw persisted rows (public experimental contract; unchanged meaning).
+     */
     events: readonly PersistedInspectEvent[];
+    /**
+     * Lifecycle-paired projection for built-in semantic/structure rules.
+     *
+     * @experimental Additive in 6.12.2; formal TraceFacts land in 6.13.
+     */
+    logicalEvents: readonly LogicalTraceEvent[];
+    /**
+     * Non-fatal projection notes (ambiguous pairs, remapped parents, etc.).
+     *
+     * @experimental
+     */
+    logicalProjectionDiagnostics: readonly LogicalProjectionDiagnostic[];
     readerWarnings: readonly TraceReadWarning[];
     unsupportedFields: readonly string[];
     sourceFiles: readonly string[];
@@ -658,4 +729,4 @@ declare function createObservedOutcomeRule(options?: ObservedOutcomeRuleOptions)
  */
 declare function runTraceChecks(input: TraceCheckInput, options?: RunTraceChecksOptions): TraceCheckResult;
 
-export { createRunStatusRule as $, type TraceCheckFindingStatus as A, type BaselineRegressionRuleOptions as B, type TraceCheckRule as C, type DecisionRuleOptions as D, type TraceCheckRuleCategory as E, type TraceCheckSeverity as F, type GuardrailRuleOptions as G, type TraceCheckStatus as H, type TraceCheckSummary as I, type TraceSignalRuleOptions as J, createBaselineRegressionRule as K, type LlmUsageRuleOptions as L, type MaxStepDurationRuleOptions as M, createDecisionRule as N, type ObservedOutcomeRuleOptions as O, createGuardrailRule as P, createLlmUsageRule as Q, type RetrievalRuleOptions as R, type SafetyFindingCategory as S, type TraceCheckInput as T, createMaxStepDurationRule as U, createObservedOutcomeRule as V, createRequireCompletedRule as W, createRetrievalRule as X, createRunDepthRule as Y, createRunDurationRule as Z, createRunEventCountRule as _, type TraceCheckResult as a, createSafetyOversizedAttributeRule as a0, createSafetyRawContentRule as a1, createSafetyRedactionRule as a2, createSafetySecretPatternRule as a3, createStallDetectionRule as a4, createStructureCycleRule as a5, createStructureIncompleteRule as a6, createStructureOrphanRule as a7, createStructureParallelWidthRule as a8, createStructureRelationshipRule as a9, createToolFailureRule as aa, createToolOrderingRule as ab, createToolUsageRule as ac, runTraceChecks as ad, type RunDepthRuleOptions as b, type RunDurationRuleOptions as c, type RunEventCountRuleOptions as d, type RunStatusRuleOptions as e, type RunTraceChecksOptions as f, type SafetyFindingConfidence as g, type SafetyOversizedAttributeRuleOptions as h, type SafetyRawContentRuleOptions as i, type SafetyRedactionRuleOptions as j, type SafetySecretPattern as k, type SafetySecretPatternRuleOptions as l, type StallDetectionRuleOptions as m, type StructureIncompleteRuleOptions as n, type StructureOrphanRuleOptions as o, type StructureParallelWidthRuleOptions as p, type StructureRelationshipRuleOptions as q, type ToolFailureRuleOptions as r, type ToolOrderingRuleOptions as s, type ToolUsageRuleOptions as t, type TraceCheckContext as u, type TraceCheckDiagnostic as v, type TraceCheckDiagnosticCode as w, type TraceCheckEvidence as x, type TraceCheckFacts as y, type TraceCheckFinding as z };
+export { createRunDurationRule as $, type TraceCheckFacts as A, type BaselineRegressionRuleOptions as B, type TraceCheckFinding as C, type DecisionRuleOptions as D, type TraceCheckFindingStatus as E, type TraceCheckRule as F, type GuardrailRuleOptions as G, type TraceCheckRuleCategory as H, type TraceCheckSeverity as I, type TraceCheckStatus as J, type TraceCheckSummary as K, type LlmUsageRuleOptions as L, type MaxStepDurationRuleOptions as M, type TraceSignalRuleOptions as N, type ObservedOutcomeRuleOptions as O, createBaselineRegressionRule as P, createDecisionRule as Q, type RetrievalRuleOptions as R, type SafetyFindingCategory as S, type TraceCheckInput as T, createGuardrailRule as U, createLlmUsageRule as V, createMaxStepDurationRule as W, createObservedOutcomeRule as X, createRequireCompletedRule as Y, createRetrievalRule as Z, createRunDepthRule as _, type TraceCheckResult as a, createRunEventCountRule as a0, createRunStatusRule as a1, createSafetyOversizedAttributeRule as a2, createSafetyRawContentRule as a3, createSafetyRedactionRule as a4, createSafetySecretPatternRule as a5, createStallDetectionRule as a6, createStructureCycleRule as a7, createStructureIncompleteRule as a8, createStructureOrphanRule as a9, createStructureParallelWidthRule as aa, createStructureRelationshipRule as ab, createToolFailureRule as ac, createToolOrderingRule as ad, createToolUsageRule as ae, projectLogicalEvents as af, resolveCanonicalToolName as ag, runTraceChecks as ah, type LogicalProjectionDiagnostic as b, type LogicalTraceEvent as c, type RunDepthRuleOptions as d, type RunDurationRuleOptions as e, type RunEventCountRuleOptions as f, type RunStatusRuleOptions as g, type RunTraceChecksOptions as h, type SafetyFindingConfidence as i, type SafetyOversizedAttributeRuleOptions as j, type SafetyRawContentRuleOptions as k, type SafetyRedactionRuleOptions as l, type SafetySecretPattern as m, type SafetySecretPatternRuleOptions as n, type StallDetectionRuleOptions as o, type StructureIncompleteRuleOptions as p, type StructureOrphanRuleOptions as q, type StructureParallelWidthRuleOptions as r, type StructureRelationshipRuleOptions as s, type ToolFailureRuleOptions as t, type ToolOrderingRuleOptions as u, type ToolUsageRuleOptions as v, type TraceCheckContext as w, type TraceCheckDiagnostic as x, type TraceCheckDiagnosticCode as y, type TraceCheckEvidence as z };