agent-inspect 6.12.1 → 6.13.0

package/packages/core/dist/checks.d.cts

@@ -1,10 +1,60 @@
-import { T as TraceCheckInput, a as TraceCheckResult } from './index-mdFcxSOR.cjs';
-export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, L as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, b as RunDepthRuleOptions, c as RunDurationRuleOptions, d as RunEventCountRuleOptions, e as RunStatusRuleOptions, f as RunTraceChecksOptions, S as SafetyFindingCategory, g as SafetyFindingConfidence, h as SafetyOversizedAttributeRuleOptions, i as SafetyRawContentRuleOptions, j as SafetyRedactionRuleOptions, k as SafetySecretPattern, l as SafetySecretPatternRuleOptions, m as StallDetectionRuleOptions, n as StructureIncompleteRuleOptions, o as StructureOrphanRuleOptions, p as StructureParallelWidthRuleOptions, q as StructureRelationshipRuleOptions, r as ToolFailureRuleOptions, s as ToolOrderingRuleOptions, t as ToolUsageRuleOptions, u as TraceCheckContext, v as TraceCheckDiagnostic, w as TraceCheckDiagnosticCode, x as TraceCheckEvidence, y as TraceCheckFacts, z as TraceCheckFinding, A as TraceCheckFindingStatus, C as TraceCheckRule, E as TraceCheckRuleCategory, F as TraceCheckSeverity, H as TraceCheckStatus, I as TraceCheckSummary, J as TraceSignalRuleOptions, K as createBaselineRegressionRule, N as createDecisionRule, P as createGuardrailRule, Q as createLlmUsageRule, U as createMaxStepDurationRule, V as createObservedOutcomeRule, W as createRequireCompletedRule, X as createRetrievalRule, Y as createRunDepthRule, Z as createRunDurationRule, _ as createRunEventCountRule, $ as createRunStatusRule, a0 as createSafetyOversizedAttributeRule, a1 as createSafetyRawContentRule, a2 as createSafetyRedactionRule, a3 as createSafetySecretPatternRule, a4 as createStallDetectionRule, a5 as createStructureCycleRule, a6 as createStructureIncompleteRule, a7 as createStructureOrphanRule, a8 as createStructureParallelWidthRule, a9 as createStructureRelationshipRule, aa as createToolFailureRule, ab as createToolOrderingRule, ac as createToolUsageRule, ad as runTraceChecks } from './index-mdFcxSOR.cjs';
+import { L as LogicalProjectionDiagnostic, a as LogicalTraceEvent, T as TraceCheckInput, b as TraceCheckResult } from './index-CmXMS-MF.cjs';
+export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, c as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, d as RunDepthRuleOptions, e as RunDurationRuleOptions, f as RunEventCountRuleOptions, g as RunStatusRuleOptions, h as RunTraceChecksOptions, S as SafetyFindingCategory, i as SafetyFindingConfidence, j as SafetyOversizedAttributeRuleOptions, k as SafetyRawContentRuleOptions, l as SafetyRedactionRuleOptions, m as SafetySecretPattern, n as SafetySecretPatternRuleOptions, o as StallDetectionRuleOptions, p as StructureIncompleteRuleOptions, q as StructureOrphanRuleOptions, r as StructureParallelWidthRuleOptions, s as StructureRelationshipRuleOptions, t as ToolFailureRuleOptions, u as ToolOrderingRuleOptions, v as ToolUsageRuleOptions, w as TraceCheckContext, x as TraceCheckDiagnostic, y as TraceCheckDiagnosticCode, z as TraceCheckEvidence, A as TraceCheckFacts, C as TraceCheckFinding, E as TraceCheckFindingStatus, F as TraceCheckRule, H as TraceCheckRuleCategory, I as TraceCheckSeverity, J as TraceCheckStatus, K as TraceCheckSummary, N as TraceSignalRuleOptions, P as createBaselineRegressionRule, Q as createDecisionRule, U as createGuardrailRule, V as createLlmUsageRule, W as createMaxStepDurationRule, X as createObservedOutcomeRule, Y as createRequireCompletedRule, Z as createRetrievalRule, _ as createRunDepthRule, $ as createRunDurationRule, a0 as createRunEventCountRule, a1 as createRunStatusRule, a2 as createSafetyOversizedAttributeRule, a3 as createSafetyRawContentRule, a4 as createSafetyRedactionRule, a5 as createSafetySecretPatternRule, a6 as createStallDetectionRule, a7 as createStructureCycleRule, a8 as createStructureIncompleteRule, a9 as createStructureOrphanRule, aa as createStructureParallelWidthRule, ab as createStructureRelationshipRule, ac as createToolFailureRule, ad as createToolOrderingRule, ae as createToolUsageRule, af as projectLogicalEvents, ag as resolveCanonicalToolName, ah as runTraceChecks } from './index-CmXMS-MF.cjs';
+import { P as PersistedInspectEvent } from './persisted-inspect-event-d-mSP8kd.cjs';
 import './readers.cjs';
 import './inspect-event-DVg84S4v.cjs';
-import './persisted-inspect-event-d-mSP8kd.cjs';
 import './types-B562HgN_.cjs';
 
+/**
+ * Shared semantic parity summary over logical lifecycle projection.
+ *
+ * @experimental Available through `agent-inspect/checks`; formal TraceFacts in 6.13.
+ */
+
+/**
+ * Bounded semantic counts shared by check / contract / MCP / Evidence consumers.
+ *
+ * @experimental
+ */
+interface SemanticParitySummary {
+    readonly rawEventCount: number;
+    readonly logicalEventCount: number;
+    readonly runningLogicalCount: number;
+    readonly finishedToolNames: readonly string[];
+    readonly finishedToolCount: number;
+    readonly pairedCount: number;
+    readonly parentRemapCount: number;
+    readonly diagnostics: readonly LogicalProjectionDiagnostic[];
+}
+/**
+ * Summarize logical projection for cross-surface parity assertions.
+ *
+ * @experimental
+ */
+declare function summarizeSemanticParity(events: readonly PersistedInspectEvent[]): SemanticParitySummary;
+/**
+ * Experimental TraceFacts foundation (6.13): indexes over logical events.
+ *
+ * Extends the 6.12.2 projection rather than introducing a parallel evaluator.
+ *
+ * @experimental
+ */
+interface TraceFacts {
+    readonly rawEvents: readonly PersistedInspectEvent[];
+    readonly logicalEvents: readonly LogicalTraceEvent[];
+    readonly diagnostics: readonly LogicalProjectionDiagnostic[];
+    readonly toolsByName: ReadonlyMap<string, readonly LogicalTraceEvent[]>;
+    readonly llmEvents: readonly LogicalTraceEvent[];
+    readonly outcomeEvents: readonly LogicalTraceEvent[];
+    readonly summary: SemanticParitySummary;
+}
+/**
+ * Build TraceFacts from raw persisted events.
+ *
+ * @experimental
+ */
+declare function buildTraceFacts(events: readonly PersistedInspectEvent[]): TraceFacts;
+
 /**
  * @experimental Typed trace contract input. Evolves during v6.5.x.
  */
@@ -15,7 +65,11 @@ interface TraceContractRunRules {
 }
 interface TraceContractToolRules {
     required?: string[];
+    /** Alias of `required` (TraceContract v2 normalization). */
+    requiredTools?: string[];
     forbidden?: string[];
+    /** Alias of `forbidden`. */
+    forbiddenTools?: string[];
     allowed?: string[];
     maxCalls?: number;
     requiredOrder?: string[];
@@ -56,4 +110,4 @@ declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceCo
     runId?: string;
 }): TraceCheckResult;
 
-export { TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, defineTraceContract, evaluateTraceContract };
+export { LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, evaluateTraceContract, summarizeSemanticParity };

package/packages/core/dist/checks.d.ts

@@ -1,10 +1,60 @@
-import { T as TraceCheckInput, a as TraceCheckResult } from './index-BO7l0iAe.js';
-export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, L as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, b as RunDepthRuleOptions, c as RunDurationRuleOptions, d as RunEventCountRuleOptions, e as RunStatusRuleOptions, f as RunTraceChecksOptions, S as SafetyFindingCategory, g as SafetyFindingConfidence, h as SafetyOversizedAttributeRuleOptions, i as SafetyRawContentRuleOptions, j as SafetyRedactionRuleOptions, k as SafetySecretPattern, l as SafetySecretPatternRuleOptions, m as StallDetectionRuleOptions, n as StructureIncompleteRuleOptions, o as StructureOrphanRuleOptions, p as StructureParallelWidthRuleOptions, q as StructureRelationshipRuleOptions, r as ToolFailureRuleOptions, s as ToolOrderingRuleOptions, t as ToolUsageRuleOptions, u as TraceCheckContext, v as TraceCheckDiagnostic, w as TraceCheckDiagnosticCode, x as TraceCheckEvidence, y as TraceCheckFacts, z as TraceCheckFinding, A as TraceCheckFindingStatus, C as TraceCheckRule, E as TraceCheckRuleCategory, F as TraceCheckSeverity, H as TraceCheckStatus, I as TraceCheckSummary, J as TraceSignalRuleOptions, K as createBaselineRegressionRule, N as createDecisionRule, P as createGuardrailRule, Q as createLlmUsageRule, U as createMaxStepDurationRule, V as createObservedOutcomeRule, W as createRequireCompletedRule, X as createRetrievalRule, Y as createRunDepthRule, Z as createRunDurationRule, _ as createRunEventCountRule, $ as createRunStatusRule, a0 as createSafetyOversizedAttributeRule, a1 as createSafetyRawContentRule, a2 as createSafetyRedactionRule, a3 as createSafetySecretPatternRule, a4 as createStallDetectionRule, a5 as createStructureCycleRule, a6 as createStructureIncompleteRule, a7 as createStructureOrphanRule, a8 as createStructureParallelWidthRule, a9 as createStructureRelationshipRule, aa as createToolFailureRule, ab as createToolOrderingRule, ac as createToolUsageRule, ad as runTraceChecks } from './index-BO7l0iAe.js';
+import { L as LogicalProjectionDiagnostic, a as LogicalTraceEvent, T as TraceCheckInput, b as TraceCheckResult } from './index-Bu_vOjql.js';
+export { B as BaselineRegressionRuleOptions, D as DecisionRuleOptions, G as GuardrailRuleOptions, c as LlmUsageRuleOptions, M as MaxStepDurationRuleOptions, O as ObservedOutcomeRuleOptions, R as RetrievalRuleOptions, d as RunDepthRuleOptions, e as RunDurationRuleOptions, f as RunEventCountRuleOptions, g as RunStatusRuleOptions, h as RunTraceChecksOptions, S as SafetyFindingCategory, i as SafetyFindingConfidence, j as SafetyOversizedAttributeRuleOptions, k as SafetyRawContentRuleOptions, l as SafetyRedactionRuleOptions, m as SafetySecretPattern, n as SafetySecretPatternRuleOptions, o as StallDetectionRuleOptions, p as StructureIncompleteRuleOptions, q as StructureOrphanRuleOptions, r as StructureParallelWidthRuleOptions, s as StructureRelationshipRuleOptions, t as ToolFailureRuleOptions, u as ToolOrderingRuleOptions, v as ToolUsageRuleOptions, w as TraceCheckContext, x as TraceCheckDiagnostic, y as TraceCheckDiagnosticCode, z as TraceCheckEvidence, A as TraceCheckFacts, C as TraceCheckFinding, E as TraceCheckFindingStatus, F as TraceCheckRule, H as TraceCheckRuleCategory, I as TraceCheckSeverity, J as TraceCheckStatus, K as TraceCheckSummary, N as TraceSignalRuleOptions, P as createBaselineRegressionRule, Q as createDecisionRule, U as createGuardrailRule, V as createLlmUsageRule, W as createMaxStepDurationRule, X as createObservedOutcomeRule, Y as createRequireCompletedRule, Z as createRetrievalRule, _ as createRunDepthRule, $ as createRunDurationRule, a0 as createRunEventCountRule, a1 as createRunStatusRule, a2 as createSafetyOversizedAttributeRule, a3 as createSafetyRawContentRule, a4 as createSafetyRedactionRule, a5 as createSafetySecretPatternRule, a6 as createStallDetectionRule, a7 as createStructureCycleRule, a8 as createStructureIncompleteRule, a9 as createStructureOrphanRule, aa as createStructureParallelWidthRule, ab as createStructureRelationshipRule, ac as createToolFailureRule, ad as createToolOrderingRule, ae as createToolUsageRule, af as projectLogicalEvents, ag as resolveCanonicalToolName, ah as runTraceChecks } from './index-Bu_vOjql.js';
+import { P as PersistedInspectEvent } from './persisted-inspect-event-ChE7pGb7.js';
 import './readers.js';
 import './inspect-event-DVg84S4v.js';
-import './persisted-inspect-event-ChE7pGb7.js';
 import './types-B562HgN_.js';
 
+/**
+ * Shared semantic parity summary over logical lifecycle projection.
+ *
+ * @experimental Available through `agent-inspect/checks`; formal TraceFacts in 6.13.
+ */
+
+/**
+ * Bounded semantic counts shared by check / contract / MCP / Evidence consumers.
+ *
+ * @experimental
+ */
+interface SemanticParitySummary {
+    readonly rawEventCount: number;
+    readonly logicalEventCount: number;
+    readonly runningLogicalCount: number;
+    readonly finishedToolNames: readonly string[];
+    readonly finishedToolCount: number;
+    readonly pairedCount: number;
+    readonly parentRemapCount: number;
+    readonly diagnostics: readonly LogicalProjectionDiagnostic[];
+}
+/**
+ * Summarize logical projection for cross-surface parity assertions.
+ *
+ * @experimental
+ */
+declare function summarizeSemanticParity(events: readonly PersistedInspectEvent[]): SemanticParitySummary;
+/**
+ * Experimental TraceFacts foundation (6.13): indexes over logical events.
+ *
+ * Extends the 6.12.2 projection rather than introducing a parallel evaluator.
+ *
+ * @experimental
+ */
+interface TraceFacts {
+    readonly rawEvents: readonly PersistedInspectEvent[];
+    readonly logicalEvents: readonly LogicalTraceEvent[];
+    readonly diagnostics: readonly LogicalProjectionDiagnostic[];
+    readonly toolsByName: ReadonlyMap<string, readonly LogicalTraceEvent[]>;
+    readonly llmEvents: readonly LogicalTraceEvent[];
+    readonly outcomeEvents: readonly LogicalTraceEvent[];
+    readonly summary: SemanticParitySummary;
+}
+/**
+ * Build TraceFacts from raw persisted events.
+ *
+ * @experimental
+ */
+declare function buildTraceFacts(events: readonly PersistedInspectEvent[]): TraceFacts;
+
 /**
  * @experimental Typed trace contract input. Evolves during v6.5.x.
  */
@@ -15,7 +65,11 @@ interface TraceContractRunRules {
 }
 interface TraceContractToolRules {
     required?: string[];
+    /** Alias of `required` (TraceContract v2 normalization). */
+    requiredTools?: string[];
     forbidden?: string[];
+    /** Alias of `forbidden`. */
+    forbiddenTools?: string[];
     allowed?: string[];
     maxCalls?: number;
     requiredOrder?: string[];
@@ -56,4 +110,4 @@ declare function evaluateTraceContract(input: TraceCheckInput, contract: TraceCo
     runId?: string;
 }): TraceCheckResult;
 
-export { TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, defineTraceContract, evaluateTraceContract };
+export { LogicalProjectionDiagnostic, LogicalTraceEvent, type SemanticParitySummary, TraceCheckInput, TraceCheckResult, type TraceContract, type TraceContractInput, type TraceContractLlmRules, type TraceContractObservationRules, type TraceContractRunRules, type TraceContractToolRules, type TraceFacts, buildTraceFacts, defineTraceContract, evaluateTraceContract, summarizeSemanticParity };

package/packages/core/dist/checks.mjs

@@ -1,4 +1,4 @@
-export { createBaselineRegressionRule, createDecisionRule, createGuardrailRule, createLlmUsageRule, createMaxStepDurationRule, createObservedOutcomeRule, createRequireCompletedRule, createRetrievalRule, createRunDepthRule, createRunDurationRule, createRunEventCountRule, createRunStatusRule, createSafetyOversizedAttributeRule, createSafetyRawContentRule, createSafetyRedactionRule, createSafetySecretPatternRule, createStallDetectionRule, createStructureCycleRule, createStructureIncompleteRule, createStructureOrphanRule, createStructureParallelWidthRule, createStructureRelationshipRule, createToolFailureRule, createToolOrderingRule, createToolUsageRule, defineTraceContract, evaluateTraceContract, runTraceChecks } from './chunk-QT6CQ2XA.mjs';
+export { buildTraceFacts, createBaselineRegressionRule, createDecisionRule, createGuardrailRule, createLlmUsageRule, createMaxStepDurationRule, createObservedOutcomeRule, createRequireCompletedRule, createRetrievalRule, createRunDepthRule, createRunDurationRule, createRunEventCountRule, createRunStatusRule, createSafetyOversizedAttributeRule, createSafetyRawContentRule, createSafetyRedactionRule, createSafetySecretPatternRule, createStallDetectionRule, createStructureCycleRule, createStructureIncompleteRule, createStructureOrphanRule, createStructureParallelWidthRule, createStructureRelationshipRule, createToolFailureRule, createToolOrderingRule, createToolUsageRule, defineTraceContract, evaluateTraceContract, projectLogicalEvents, resolveCanonicalToolName, runTraceChecks, summarizeSemanticParity } from './chunk-BS2QCAJX.mjs';
 import './chunk-VFO76UH3.mjs';
 import './chunk-ULCGIRTC.mjs';
 import './chunk-VU6O5QAH.mjs';