agentskeptic 0.1.1

package/dist/correctnessDefinitionTemplates.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Forward-looking correctness templates. Normative semantics: docs/correctness-definition-normative.md.
+ * CD_DOC_ANCHORS must appear in that file (doc parity test).
+ */
+export declare const CD_DOC_ANCHORS: readonly ["CD_TPL_RUN_INGEST", "CD_TPL_EVENT_CAPTURE", "CD_TPL_RUN_CONTEXT", "CD_TPL_STEP_SQL", "CD_TPL_PLAN_TRANSITION", "CD_TPL_QUICK_ROW", "CD_TPL_QUICK_REL", "CD_TPL_QUICK_GAP"];
+export declare const CORRECTNESS_ENFORCEMENT_KINDS: readonly ["run_ingest_integrity", "event_capture_integrity", "run_context_fairness", "step_sql_expectation", "plan_transition_expectation", "quick_inferred_sql_row", "quick_inferred_relational", "quick_mapping_gap"];
+export type CorrectnessEnforcementKind = (typeof CORRECTNESS_ENFORCEMENT_KINDS)[number];
+/** CD_TPL_RUN_INGEST */
+export declare function templateRunIngestMustHold(vars: {
+    workflowId: string;
+    P: string;
+    codes: string;
+    nonEmptySteps: boolean;
+}): string;
+export declare function templateRunIngestEnforceAs(codes: string): [string, string];
+/** CD_TPL_EVENT_CAPTURE */
+export declare function templateEventCaptureMustHold(vars: {
+    workflowId: string;
+    P: string;
+    codes: string;
+}): string;
+export declare function templateEventCaptureEnforceAs(codes: string): [string, string];
+/** CD_TPL_RUN_CONTEXT */
+export declare function templateRunContextMustHold(vars: {
+    workflowId: string;
+    P: string;
+    I: string;
+    C: string;
+    codes: string;
+}): string;
+export declare function templateRunContextEnforceAs(C: string): [string, string];
+/** CD_TPL_STEP_SQL */
+export declare function templateStepSqlMustHold(vars: {
+    W: string;
+    S: string;
+    T: string;
+    P: string;
+}): string;
+export declare function templateStepSqlEnforceAs(S: string): [string, string];
+/** CD_TPL_PLAN_TRANSITION */
+export declare function templatePlanTransitionMustHold(vars: {
+    W: string;
+    S: string;
+    T: string;
+    P: string;
+    codes: string;
+}): string;
+export declare function templatePlanTransitionEnforceAs(): [string, string];
+/** CD_TPL_QUICK_ROW */
+export declare function templateQuickRowMustHold(vars: {
+    toolName: string;
+    A: string;
+    table: string;
+}): string;
+export declare function templateQuickRowEnforceAs(table: string): [string, string];
+/** CD_TPL_QUICK_REL */
+export declare function templateQuickRelMustHold(vars: {
+    toolName: string;
+    A: string;
+    T: string;
+}): string;
+export declare function templateQuickRelEnforceAs(T: string): [string, string];
+/** CD_TPL_QUICK_GAP */
+export declare function templateQuickGapMustHold(vars: {
+    toolName: string;
+    A: string;
+    codes: string;
+}): string;
+export declare function templateQuickGapEnforceAs(): [string, string];
+//# sourceMappingURL=correctnessDefinitionTemplates.d.ts.map

package/dist/correctnessDefinitionTemplates.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinitionTemplates.d.ts","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,eAAO,MAAM,cAAc,uLASjB,CAAC;AAEX,eAAO,MAAM,6BAA6B,yNAShC,CAAC;AAEX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,CAAC,CAAC;AAUxF,wBAAwB;AACxB,wBAAgB,yBAAyB,CAAC,IAAI,EAAE;IAC9C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;IACd,aAAa,EAAE,OAAO,CAAC;CACxB,GAAG,MAAM,CAQT;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAO1E;AAED,2BAA2B;AAC3B,wBAAgB,4BAA4B,CAAC,IAAI,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK3G;AAED,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAK7E;AAED,yBAAyB;AACzB,wBAAgB,0BAA0B,CAAC,IAAI,EAAE;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;IACV,KAAK,EAAE,MAAM,CAAC;CACf,GAAG,MAAM,CAKT;AAED,wBAAgB,2BAA2B,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKvE;AAED,sBAAsB;AACtB,wBAAgB,uBAAuB,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKpG;AAED,wBAAgB,wBAAwB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOpE;AAED,6BAA6B;AAC7B,wBAAgB,8BAA8B,CAAC,IAAI,EAAE;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAK1H;AAED,wBAAgB,+BAA+B,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAKlE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAOzE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKjG;AAED,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAKrE;AAED,uBAAuB;AACvB,wBAAgB,wBAAwB,CAAC,IAAI,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAKrG;AAED,wBAAgB,yBAAyB,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAK5D"}

package/dist/correctnessDefinitionTemplates.js

@@ -0,0 +1,121 @@
+/**
+ * Forward-looking correctness templates. Normative semantics: docs/correctness-definition-normative.md.
+ * CD_DOC_ANCHORS must appear in that file (doc parity test).
+ */
+export const CD_DOC_ANCHORS = [
+    "CD_TPL_RUN_INGEST",
+    "CD_TPL_EVENT_CAPTURE",
+    "CD_TPL_RUN_CONTEXT",
+    "CD_TPL_STEP_SQL",
+    "CD_TPL_PLAN_TRANSITION",
+    "CD_TPL_QUICK_ROW",
+    "CD_TPL_QUICK_REL",
+    "CD_TPL_QUICK_GAP",
+];
+export const CORRECTNESS_ENFORCEMENT_KINDS = [
+    "run_ingest_integrity",
+    "event_capture_integrity",
+    "run_context_fairness",
+    "step_sql_expectation",
+    "plan_transition_expectation",
+    "quick_inferred_sql_row",
+    "quick_inferred_relational",
+    "quick_mapping_gap",
+];
+function fill(s, vars) {
+    let out = s;
+    for (const [k, v] of Object.entries(vars)) {
+        out = out.split(`<${k}>`).join(v);
+    }
+    return out;
+}
+/** CD_TPL_RUN_INGEST */
+export function templateRunIngestMustHold(vars) {
+    const tail = vars.nonEmptySteps
+        ? " The stream SHALL yield at least one tool_observed step for verification."
+        : "";
+    return fill("Must: ingest for workflowId=<workflowId> SHALL deliver a valid captured run under policy [<P>] with no blocking run-level failures (codes: <codes>)." + tail, { workflowId: vars.workflowId, P: vars.P, codes: vars.codes });
+}
+export function templateRunIngestEnforceAs(codes) {
+    return [
+        "Ingest pipelines SHALL validate each event line against the wire event contract before verification.",
+        fill("CI or preflight SHALL reject captures that surface primary failure codes <codes> for this workflow under the same policy.", {
+            codes,
+        }),
+    ];
+}
+/** CD_TPL_EVENT_CAPTURE */
+export function templateEventCaptureMustHold(vars) {
+    return fill("Must: event capture for workflowId=<workflowId> SHALL preserve monotonic, well-formed ordering under policy [<P>] and SHALL NOT emit event-sequence fault codes <codes>.", vars);
+}
+export function templateEventCaptureEnforceAs(codes) {
+    return [
+        "Capture agents SHALL preserve capture-order and timestamp monotonicity rules required for seq-sorted verification.",
+        fill("Automated checks SHALL fail runs that include codes <codes> in the event_sequence integrity set.", { codes }),
+    ];
+}
+/** CD_TPL_RUN_CONTEXT */
+export function templateRunContextMustHold(vars) {
+    return fill("Must: before evaluating the failing tool observation at ingest_index=<I>, upstream run context SHALL satisfy contract <C> under policy [<P>] for workflowId=<workflowId> (primary codes: <codes>).", vars);
+}
+export function templateRunContextEnforceAs(C) {
+    return [
+        "Orchestration SHALL record retrieval, model turns, controls, and tool_skipped events so fairness can be checked at the failing ingest index.",
+        fill("Replays SHALL not evaluate downstream tool_observed steps when <C> is violated for that index.", { C }),
+    ];
+}
+/** CD_TPL_STEP_SQL */
+export function templateStepSqlMustHold(vars) {
+    return fill("Must: after tool_observed seq=<S> toolId=<T>, database state SHALL satisfy the verification contract in verificationRequest under policy [<P>] for workflowId=<W>.", { W: vars.W, S: vars.S, T: vars.T, P: vars.P });
+}
+export function templateStepSqlEnforceAs(S) {
+    return [
+        fill("Registry (or synthetic events plus registry) SHALL keep verificationRequest aligned with declared tool parameters for seq=<S>.", {
+            S,
+        }),
+        "Authoritative SQL state SHALL match identity, required fields, and relational checks encoded in verificationRequest.",
+    ];
+}
+/** CD_TPL_PLAN_TRANSITION */
+export function templatePlanTransitionMustHold(vars) {
+    return fill("Must: plan-validation step seq=<S> toolId=<T> SHALL satisfy declared plan rules under policy [<P>] for workflowId=<W> (primary codes: <codes>).", vars);
+}
+export function templatePlanTransitionEnforceAs() {
+    return [
+        "Plan.md rules and git transition inputs SHALL remain aligned with the verification target for this step.",
+        "CI SHALL re-run plan-transition verification after changing patterns or git refs implicated by this failure.",
+    ];
+}
+/** CD_TPL_QUICK_ROW */
+export function templateQuickRowMustHold(vars) {
+    return fill("Must: when tool <toolName> actionIndex=<A> is treated as successful for quick verification, table <table> SHALL satisfy the inferred sql_row contract (provisional, not a signed export) under read-only SQL checks.", vars);
+}
+export function templateQuickRowEnforceAs(table) {
+    return [
+        fill("Structured tool activity SHALL continue to expose parameters needed to infer identity and required fields for table <table>.", {
+            table,
+        }),
+        "For production enforcement, promote this check to contract verification via exported registry and synthetic events when eligible.",
+    ];
+}
+/** CD_TPL_QUICK_REL */
+export function templateQuickRelMustHold(vars) {
+    return fill("Must: when tool <toolName> actionIndex=<A> is treated as successful, related row existence for childTable=<T> SHALL hold as checked by the inferred related_exists contract (provisional).", vars);
+}
+export function templateQuickRelEnforceAs(T) {
+    return [
+        fill("Foreign-key or pointer fields in structured activity SHALL remain sufficient to infer match columns for <T>.", { T }),
+        "For full contract coverage, add explicit sql_relational tooling in the registry; quick inference does not export all relational rules.",
+    ];
+}
+/** CD_TPL_QUICK_GAP */
+export function templateQuickGapMustHold(vars) {
+    return fill("Must: either structured tool activity for tool <toolName> actionIndex=<A> SHALL map to an inferrable sql_row check, or you SHALL add an explicit registry-backed expectation—provisional quick verification cannot enforce this action until one path exists (reason codes: <codes>).", vars);
+}
+export function templateQuickGapEnforceAs() {
+    return [
+        "Extend ingest fields or tool naming so row identity and required columns can be inferred, or author a registry tool for this action.",
+        "Re-run quick verify; then use contract replay for exported row tools to lock the expectation in batch mode.",
+    ];
+}
+//# sourceMappingURL=correctnessDefinitionTemplates.js.map

package/dist/correctnessDefinitionTemplates.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"correctnessDefinitionTemplates.js","sourceRoot":"","sources":["../src/correctnessDefinitionTemplates.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,mBAAmB;IACnB,sBAAsB;IACtB,oBAAoB;IACpB,iBAAiB;IACjB,wBAAwB;IACxB,kBAAkB;IAClB,kBAAkB;IAClB,kBAAkB;CACV,CAAC;AAEX,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,sBAAsB;IACtB,yBAAyB;IACzB,sBAAsB;IACtB,sBAAsB;IACtB,6BAA6B;IAC7B,wBAAwB;IACxB,2BAA2B;IAC3B,mBAAmB;CACX,CAAC;AAIX,SAAS,IAAI,CAAC,CAAS,EAAE,IAA4B;IACnD,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wBAAwB;AACxB,MAAM,UAAU,yBAAyB,CAAC,IAKzC;IACC,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa;QAC7B,CAAC,CAAC,2EAA2E;QAC7E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,IAAI,CACT,sJAAsJ,GAAG,IAAI,EAC7J,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,KAAa;IACtD,OAAO;QACL,sGAAsG;QACtG,IAAI,CAAC,2HAA2H,EAAE;YAChI,KAAK;SACN,CAAC;KACH,CAAC;AACJ,CAAC;AAED,2BAA2B;AAC3B,MAAM,UAAU,4BAA4B,CAAC,IAAsD;IACjG,OAAO,IAAI,CACT,0KAA0K,EAC1K,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAa;IACzD,OAAO;QACL,oHAAoH;QACpH,IAAI,CAAC,kGAAkG,EAAE,EAAE,KAAK,EAAE,CAAC;KACpH,CAAC;AACJ,CAAC;AAED,yBAAyB;AACzB,MAAM,UAAU,0BAA0B,CAAC,IAM1C;IACC,OAAO,IAAI,CACT,oMAAoM,EACpM,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,CAAS;IACnD,OAAO;QACL,8IAA8I;QAC9I,IAAI,CAAC,gGAAgG,EAAE,EAAE,CAAC,EAAE,CAAC;KAC9G,CAAC;AACJ,CAAC;AAED,sBAAsB;AACtB,MAAM,UAAU,uBAAuB,CAAC,IAAoD;IAC1F,OAAO,IAAI,CACT,oKAAoK,EACpK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAC/C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,CAAS;IAChD,OAAO;QACL,IAAI,CAAC,gIAAgI,EAAE;YACrI,CAAC;SACF,CAAC;QACF,sHAAsH;KACvH,CAAC;AACJ,CAAC;AAED,6BAA6B;AAC7B,MAAM,UAAU,8BAA8B,CAAC,IAAmE;IAChH,OAAO,IAAI,CACT,iJAAiJ,EACjJ,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B;IAC7C,OAAO;QACL,0GAA0G;QAC1G,8GAA8G;KAC/G,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,sNAAsN,EACtN,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,KAAa;IACrD,OAAO;QACL,IAAI,CAAC,8HAA8H,EAAE;YACnI,KAAK;SACN,CAAC;QACF,mIAAmI;KACpI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAgD;IACvF,OAAO,IAAI,CACT,4LAA4L,EAC5L,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,CAAS;IACjD,OAAO;QACL,IAAI,CAAC,8GAA8G,EAAE,EAAE,CAAC,EAAE,CAAC;QAC3H,wIAAwI;KACzI,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,wBAAwB,CAAC,IAAoD;IAC3F,OAAO,IAAI,CACT,uRAAuR,EACvR,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,yBAAyB;IACvC,OAAO;QACL,sIAAsI;QACtI,6GAA6G;KAC9G,CAAC;AACJ,CAAC"}

package/dist/debug-ui/app.css

@@ -0,0 +1,188 @@
+* {
+  box-sizing: border-box;
+}
+body {
+  font-family: system-ui, sans-serif;
+  margin: 0;
+  padding: 1rem 1.5rem 3rem;
+  background: #0f1419;
+  color: #e6edf3;
+}
+header h1 {
+  margin: 0 0 0.25rem;
+}
+.sub {
+  color: #8b949e;
+  margin: 0 0 1rem;
+  max-width: 52rem;
+}
+.tabs {
+  display: flex;
+  gap: 0.5rem;
+  margin-bottom: 1rem;
+}
+.tab {
+  background: #21262d;
+  border: 1px solid #30363d;
+  color: #e6edf3;
+  padding: 0.4rem 0.8rem;
+  cursor: pointer;
+  border-radius: 6px;
+}
+.tab.active {
+  background: #238636;
+  border-color: #238636;
+}
+.panel {
+  display: none;
+}
+.panel.active {
+  display: block;
+}
+.filters {
+  display: flex;
+  flex-wrap: wrap;
+  gap: 0.75rem;
+  align-items: flex-end;
+  margin-bottom: 1rem;
+}
+.filters label {
+  display: flex;
+  flex-direction: column;
+  font-size: 0.8rem;
+  color: #8b949e;
+  gap: 0.2rem;
+}
+.filters input[type="text"],
+.filters input[type="number"],
+.filters select {
+  background: #161b22;
+  border: 1px solid #30363d;
+  color: #e6edf3;
+  padding: 0.35rem 0.5rem;
+  border-radius: 4px;
+  min-width: 8rem;
+}
+.filters .check {
+  flex-direction: row;
+  align-items: center;
+  gap: 0.35rem;
+}
+.meta {
+  color: #8b949e;
+  font-size: 0.9rem;
+}
+table.runs {
+  width: 100%;
+  border-collapse: collapse;
+  font-size: 0.85rem;
+}
+table.runs th,
+table.runs td {
+  border: 1px solid #30363d;
+  padding: 0.35rem 0.5rem;
+  text-align: left;
+  vertical-align: top;
+}
+table.runs th {
+  background: #161b22;
+}
+tr.load-error {
+  background: #3d1114;
+}
+tr.load-ok {
+  background: #0d1117;
+}
+tr.selected {
+  outline: 2px solid #58a6ff;
+}
+.json-out {
+  background: #161b22;
+  border: 1px solid #30363d;
+  padding: 1rem;
+  overflow: auto;
+  max-height: 28rem;
+  font-size: 0.8rem;
+  white-space: pre-wrap;
+  word-break: break-all;
+}
+.drawer {
+  position: fixed;
+  top: 0;
+  right: 0;
+  width: min(52rem, 96vw);
+  height: 100vh;
+  background: #161b22;
+  border-left: 1px solid #30363d;
+  overflow: auto;
+  padding: 1rem;
+  z-index: 20;
+  box-shadow: -4px 0 24px rgba(0, 0, 0, 0.4);
+}
+.drawer.hidden {
+  display: none;
+}
+.drawer-head {
+  display: flex;
+  justify-content: space-between;
+  align-items: center;
+  margin-bottom: 1rem;
+}
+.focus-panel {
+  background: #21262d;
+  padding: 0.75rem;
+  border-radius: 6px;
+  margin-bottom: 1rem;
+  font-size: 0.85rem;
+}
+.verdict-panel {
+  background: #1a2332;
+  border: 1px solid #388bfd;
+  padding: 0.85rem 1rem;
+  border-radius: 8px;
+  margin-bottom: 1rem;
+  font-size: 0.9rem;
+}
+.verdict-panel .verdict-status {
+  font-weight: 600;
+  font-size: 1rem;
+  margin-bottom: 0.35rem;
+}
+.verdict-panel .verdict-trust {
+  color: #8b949e;
+  margin-bottom: 0.6rem;
+  line-height: 1.4;
+}
+.verdict-panel .verdict-counts {
+  font-size: 0.8rem;
+  color: #c9d1d9;
+}
+.trace-step {
+  padding: 0.35rem 0.5rem;
+  margin: 0.2rem 0;
+  border-radius: 4px;
+  cursor: pointer;
+  border: 1px solid transparent;
+}
+.trace-step:hover {
+  border-color: #58a6ff;
+}
+.trace-step.focus-hit {
+  border-color: #f0883e;
+  background: #2d1f12;
+}
+button {
+  cursor: pointer;
+  background: #21262d;
+  border: 1px solid #30363d;
+  color: #e6edf3;
+  padding: 0.4rem 0.75rem;
+  border-radius: 6px;
+}
+button:disabled {
+  opacity: 0.45;
+  cursor: not-allowed;
+}
+button#close-detail {
+  background: transparent;
+}

package/dist/debug-ui/app.js

@@ -0,0 +1,245 @@
+/* global fetch, URLSearchParams, document, window */
+
+const state = {
+  nextCursor: null,
+  filterParams: new URLSearchParams(),
+  selected: new Set(),
+};
+
+function api(path, opts) {
+  return fetch(path, opts).then(async (r) => {
+    const text = await r.text();
+    let data;
+    try {
+      data = text ? JSON.parse(text) : null;
+    } catch {
+      data = { _raw: text };
+    }
+    if (!r.ok) {
+      const err = new Error(data?.message || r.statusText);
+      err.status = r.status;
+      err.data = data;
+      throw err;
+    }
+    return data;
+  });
+}
+
+function buildFilterParamsFromForm() {
+  const form = document.getElementById("filters");
+  const fd = new FormData(form);
+  const p = new URLSearchParams();
+  for (const [k, v] of fd.entries()) {
+    if (k === "includeLoadErrors" || k === "hasPathFindings") continue;
+    if (v !== "" && v != null) {
+      p.set(k, String(v));
+    }
+  }
+  // Unchecked checkboxes are omitted from FormData.
+  const includeLoadErrorsEl = form.querySelector('[name="includeLoadErrors"]');
+  if (includeLoadErrorsEl && !includeLoadErrorsEl.checked) {
+    p.set("includeLoadErrors", "false");
+  }
+  const hasPathFindingsEl = form.querySelector('[name="hasPathFindings"]');
+  if (hasPathFindingsEl && hasPathFindingsEl.checked) {
+    p.set("hasPathFindings", "true");
+  }
+  return p;
+}
+
+async function loadRuns(append) {
+  const p = new URLSearchParams(state.filterParams);
+  p.set("limit", "100");
+  if (append && state.nextCursor) p.set("cursor", state.nextCursor);
+  else state.nextCursor = null;
+
+  const data = await api(`/api/runs?${p.toString()}`);
+  const tbody = document.getElementById("runs-body");
+  if (!append) {
+    tbody.innerHTML = "";
+    state.selected.clear();
+  }
+  document.getElementById("runs-meta").textContent = `totalMatched=${data.totalMatched} showing ${tbody.children.length + data.items.length} (paged)`;
+  for (const row of data.items) {
+    const tr = document.createElement("tr");
+    tr.className = row.loadStatus === "error" ? "load-error" : "load-ok";
+    tr.dataset.runId = row.runId;
+    const codes = (row.primaryReasonCodes || []).slice(0, 6).join(", ");
+    const pathCodes = (row.pathFindingCodes || []).slice(0, 4).join(", ");
+    tr.innerHTML = `
+      <td><input type="checkbox" class="pick" aria-label="select ${row.runId}" /></td>
+      <td><button type="button" class="open-run">${escapeHtml(row.runId)}</button></td>
+      <td>${escapeHtml(row.loadStatus)}</td>
+      <td>${escapeHtml(row.workflowId || "—")}</td>
+      <td>${escapeHtml(row.status || "—")}</td>
+      <td>${escapeHtml(row.actionableCategory || "—")}</td>
+      <td>${escapeHtml(row.customerId || "—")}</td>
+      <td>${escapeHtml(pathCodes || "—")}</td>
+      <td>${escapeHtml(codes)}</td>
+    `;
+    tr.querySelector(".open-run").addEventListener("click", () => openDetail(row.runId));
+    tr.querySelector(".pick").addEventListener("change", (ev) => {
+      if (ev.target.checked) {
+        state.selected.add(row.runId);
+        tr.classList.add("selected");
+      } else {
+        state.selected.delete(row.runId);
+        tr.classList.remove("selected");
+      }
+      document.getElementById("run-compare").disabled = state.selected.size < 2;
+    });
+    tbody.appendChild(tr);
+  }
+  state.nextCursor = data.nextCursor;
+  document.getElementById("load-more").hidden = !data.nextCursor;
+}
+
+function escapeHtml(s) {
+  return String(s)
+    .replace(/&/g, "&amp;")
+    .replace(/</g, "&lt;")
+    .replace(/>/g, "&gt;")
+    .replace(/"/g, "&quot;");
+}
+
+function formatVerdictSurface(vs) {
+  if (!vs || typeof vs !== "object") return "";
+  const counts = vs.stepStatusCounts || {};
+  const parts = Object.entries(counts)
+    .filter(([, n]) => n > 0)
+    .map(([k, n]) => `${k}: ${n}`);
+  const countsLine = parts.length ? parts.join(" · ") : "(no steps)";
+  return `
+      <div class="verdict-panel" role="region" aria-label="Workflow verdict">
+        <div class="verdict-status">Workflow status: <code>${escapeHtml(vs.status)}</code></div>
+        <div class="verdict-trust">${escapeHtml(vs.trustSummary || "")}</div>
+        <div class="verdict-counts">Step outcomes: ${escapeHtml(countsLine)}</div>
+      </div>`;
+}
+
+async function openDetail(runId) {
+  const drawer = document.getElementById("detail-drawer");
+  const body = document.getElementById("detail-body");
+  const title = document.getElementById("detail-title");
+  drawer.classList.remove("hidden");
+  title.textContent = `Run: ${runId}`;
+  body.innerHTML = "<p>Loading…</p>";
+  try {
+    const data = await api(`/api/runs/${encodeURIComponent(runId)}`);
+    if (data.loadStatus === "error") {
+      body.innerHTML = `
+        <p class="focus-panel"><strong>Load error</strong> <code>${escapeHtml(data.error.code)}</code></p>
+        <pre class="json-out">${escapeHtml(JSON.stringify(data, null, 2))}</pre>
+      `;
+      return;
+    }
+    let focusHtml = "";
+    const focusSet = new Set();
+    try {
+      const focus = await api(`/api/runs/${encodeURIComponent(runId)}/focus`);
+      focusHtml = `<div class="focus-panel"><strong>Focus targets (from API)</strong><pre>${escapeHtml(JSON.stringify(focus.targets, null, 2))}</pre></div>`;
+      for (const t of focus.targets) {
+        if (t.kind === "seq") focusSet.add(`seq:${t.value}`);
+        if (t.kind === "ingestIndex") focusSet.add(`ingest:${t.value}`);
+        if (t.kind === "runEventId") focusSet.add(`runEventId:${t.value}`);
+      }
+    } catch (e) {
+      focusHtml = `<p class="meta">Focus: ${escapeHtml(e.message)}</p>`;
+    }
+    const verdictHtml = formatVerdictSurface(data.workflowVerdictSurface);
+    const steps = (data.executionTrace?.nodes || []).map((n, i) => {
+      const seq = n.toolSeq ?? n.verificationLink?.seq;
+      const seqKey = seq != null ? `seq:${seq}` : "";
+      const ingestKey = `ingest:${n.ingestIndex}`;
+      const runEvKey = n.runEventId ? `runEventId:${n.runEventId}` : "";
+      const hit =
+        (seqKey && focusSet.has(seqKey)) ||
+        focusSet.has(ingestKey) ||
+        (runEvKey && focusSet.has(runEvKey));
+      return `<div class="trace-step ${hit ? "focus-hit" : ""}" data-idx="${i}">${escapeHtml(JSON.stringify(n))}</div>`;
+    });
+    const trustHtml =
+      typeof data.runTrustPanelHtml === "string"
+        ? `<div class="run-trust-panel">${data.runTrustPanelHtml}</div>`
+        : "";
+    body.innerHTML = `
+      ${trustHtml}
+      ${verdictHtml}
+      ${focusHtml}
+      <h3>Trace nodes</h3>
+      ${steps.join("") || "<p>(no trace nodes)</p>"}
+      <h3>WorkflowResult</h3>
+      <pre class="json-out">${escapeHtml(JSON.stringify(data.workflowResult, null, 2))}</pre>
+    `;
+  } catch (e) {
+    body.innerHTML = `<p class="focus-panel">Error: ${escapeHtml(e.message)}</p>`;
+  }
+}
+
+document.getElementById("filters").addEventListener("submit", (ev) => {
+  ev.preventDefault();
+  state.filterParams = buildFilterParamsFromForm();
+  loadRuns(false).catch((e) => alert(e.message));
+});
+
+document.getElementById("clear-filters").addEventListener("click", () => {
+  document.getElementById("filters").reset();
+  document.querySelector('[name="includeLoadErrors"]').checked = true;
+  state.filterParams = buildFilterParamsFromForm();
+  loadRuns(false).catch((e) => alert(e.message));
+});
+
+document.getElementById("load-more").addEventListener("click", () => {
+  loadRuns(true).catch((e) => alert(e.message));
+});
+
+document.querySelectorAll(".tab").forEach((btn) => {
+  btn.addEventListener("click", () => {
+    document.querySelectorAll(".tab").forEach((b) => b.classList.remove("active"));
+    document.querySelectorAll(".panel").forEach((p) => p.classList.remove("active"));
+    btn.classList.add("active");
+    document.getElementById(`panel-${btn.dataset.tab}`).classList.add("active");
+  });
+});
+
+document.getElementById("refresh-patterns").addEventListener("click", async () => {
+  const out = document.getElementById("patterns-out");
+  out.textContent = "Loading…";
+  const p = new URLSearchParams(state.filterParams);
+  try {
+    const data = await api(`/api/corpus-patterns?${p.toString()}`);
+    out.textContent = JSON.stringify(data, null, 2);
+  } catch (e) {
+    out.textContent = JSON.stringify(e.data || { message: e.message }, null, 2);
+  }
+});
+
+document.getElementById("run-compare").addEventListener("click", async () => {
+  const ids = [...state.selected];
+  const out = document.getElementById("compare-out");
+  out.textContent = "Loading…";
+  try {
+    const data = await api("/api/compare", {
+      method: "POST",
+      headers: { "Content-Type": "application/json" },
+      body: JSON.stringify({ runIds: ids }),
+    });
+    if (typeof data.comparePanelHtml === "string") {
+      out.innerHTML = data.comparePanelHtml;
+    } else {
+      out.textContent = "comparePanelHtml missing in response.";
+    }
+  } catch (e) {
+    out.textContent = "";
+    out.appendChild(document.createTextNode(JSON.stringify(e.data || { message: e.message }, null, 2)));
+  }
+});
+
+document.getElementById("close-detail").addEventListener("click", () => {
+  document.getElementById("detail-drawer").classList.add("hidden");
+});
+
+state.filterParams = buildFilterParamsFromForm();
+loadRuns(false).catch((e) => {
+  document.getElementById("runs-meta").textContent = `Failed to load: ${e.message}`;
+});