agentfootprint 9.134.2 → 9.134.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (84) hide show
  1. package/dist/core/agent/arguments/serve.js +40 -21
  2. package/dist/core/agent/arguments/serve.js.map +1 -1
  3. package/dist/core/agent/stages/timeLineage.js +10 -4
  4. package/dist/core/agent/stages/timeLineage.js.map +1 -1
  5. package/dist/core/time/forms.js +136 -3
  6. package/dist/core/time/forms.js.map +1 -1
  7. package/dist/esm/core/agent/arguments/serve.js +41 -22
  8. package/dist/esm/core/agent/arguments/serve.js.map +1 -1
  9. package/dist/esm/core/agent/stages/timeLineage.d.ts +3 -2
  10. package/dist/esm/core/agent/stages/timeLineage.js +8 -2
  11. package/dist/esm/core/agent/stages/timeLineage.js.map +1 -1
  12. package/dist/esm/core/time/forms.d.ts +16 -2
  13. package/dist/esm/core/time/forms.js +137 -4
  14. package/dist/esm/core/time/forms.js.map +1 -1
  15. package/dist/esm/lib/answer-account/account.js +36 -12
  16. package/dist/esm/lib/answer-account/account.js.map +1 -1
  17. package/dist/esm/lib/answer-account/facts/calls.d.ts +21 -4
  18. package/dist/esm/lib/answer-account/facts/calls.js +51 -17
  19. package/dist/esm/lib/answer-account/facts/calls.js.map +1 -1
  20. package/dist/esm/lib/answer-account/facts/checked.d.ts +28 -13
  21. package/dist/esm/lib/answer-account/facts/checked.js +123 -59
  22. package/dist/esm/lib/answer-account/facts/checked.js.map +1 -1
  23. package/dist/esm/lib/answer-account/facts/found.d.ts +4 -2
  24. package/dist/esm/lib/answer-account/facts/found.js +74 -13
  25. package/dist/esm/lib/answer-account/facts/found.js.map +1 -1
  26. package/dist/esm/lib/answer-account/facts/pausedLeg.d.ts +66 -0
  27. package/dist/esm/lib/answer-account/facts/pausedLeg.js +111 -0
  28. package/dist/esm/lib/answer-account/facts/pausedLeg.js.map +1 -0
  29. package/dist/esm/lib/answer-account/shown.d.ts +9 -2
  30. package/dist/esm/lib/answer-account/shown.js +18 -5
  31. package/dist/esm/lib/answer-account/shown.js.map +1 -1
  32. package/dist/esm/lib/answer-account/signals.d.ts +13 -4
  33. package/dist/esm/lib/answer-account/signals.js +80 -19
  34. package/dist/esm/lib/answer-account/signals.js.map +1 -1
  35. package/dist/esm/lib/answer-account/templates.d.ts +16 -3
  36. package/dist/esm/lib/answer-account/templates.js +19 -3
  37. package/dist/esm/lib/answer-account/templates.js.map +1 -1
  38. package/dist/esm/lib/answer-account/types.d.ts +31 -5
  39. package/dist/esm/lib/answer-account/view.d.ts +7 -0
  40. package/dist/esm/lib/answer-account/view.js +3 -0
  41. package/dist/esm/lib/answer-account/view.js.map +1 -1
  42. package/dist/lib/answer-account/account.js +34 -10
  43. package/dist/lib/answer-account/account.js.map +1 -1
  44. package/dist/lib/answer-account/facts/calls.js +52 -17
  45. package/dist/lib/answer-account/facts/calls.js.map +1 -1
  46. package/dist/lib/answer-account/facts/checked.js +126 -59
  47. package/dist/lib/answer-account/facts/checked.js.map +1 -1
  48. package/dist/lib/answer-account/facts/found.js +74 -12
  49. package/dist/lib/answer-account/facts/found.js.map +1 -1
  50. package/dist/lib/answer-account/facts/pausedLeg.js +115 -0
  51. package/dist/lib/answer-account/facts/pausedLeg.js.map +1 -0
  52. package/dist/lib/answer-account/shown.js +19 -6
  53. package/dist/lib/answer-account/shown.js.map +1 -1
  54. package/dist/lib/answer-account/signals.js +79 -18
  55. package/dist/lib/answer-account/signals.js.map +1 -1
  56. package/dist/lib/answer-account/templates.js +19 -3
  57. package/dist/lib/answer-account/templates.js.map +1 -1
  58. package/dist/lib/answer-account/view.js +3 -0
  59. package/dist/lib/answer-account/view.js.map +1 -1
  60. package/dist/types/core/agent/arguments/serve.d.ts.map +1 -1
  61. package/dist/types/core/agent/stages/timeLineage.d.ts +3 -2
  62. package/dist/types/core/agent/stages/timeLineage.d.ts.map +1 -1
  63. package/dist/types/core/time/forms.d.ts +16 -2
  64. package/dist/types/core/time/forms.d.ts.map +1 -1
  65. package/dist/types/lib/answer-account/account.d.ts.map +1 -1
  66. package/dist/types/lib/answer-account/facts/calls.d.ts +21 -4
  67. package/dist/types/lib/answer-account/facts/calls.d.ts.map +1 -1
  68. package/dist/types/lib/answer-account/facts/checked.d.ts +28 -13
  69. package/dist/types/lib/answer-account/facts/checked.d.ts.map +1 -1
  70. package/dist/types/lib/answer-account/facts/found.d.ts +4 -2
  71. package/dist/types/lib/answer-account/facts/found.d.ts.map +1 -1
  72. package/dist/types/lib/answer-account/facts/pausedLeg.d.ts +67 -0
  73. package/dist/types/lib/answer-account/facts/pausedLeg.d.ts.map +1 -0
  74. package/dist/types/lib/answer-account/shown.d.ts +9 -2
  75. package/dist/types/lib/answer-account/shown.d.ts.map +1 -1
  76. package/dist/types/lib/answer-account/signals.d.ts +13 -4
  77. package/dist/types/lib/answer-account/signals.d.ts.map +1 -1
  78. package/dist/types/lib/answer-account/templates.d.ts +16 -3
  79. package/dist/types/lib/answer-account/templates.d.ts.map +1 -1
  80. package/dist/types/lib/answer-account/types.d.ts +31 -5
  81. package/dist/types/lib/answer-account/types.d.ts.map +1 -1
  82. package/dist/types/lib/answer-account/view.d.ts +7 -0
  83. package/dist/types/lib/answer-account/view.d.ts.map +1 -1
  84. package/package.json +1 -1
@@ -14,7 +14,7 @@
14
14
  import type { RecordPointer, Sentence } from '../types.js';
15
15
  import { type ReadContext } from './common.js';
16
16
  import { type CallsRead } from './calls.js';
17
- import type { BeforePauseCall } from './checked.js';
17
+ import type { BeforePauseCall, PausedLegRead } from './pausedLeg.js';
18
18
  import type { InViewAll, InViewRead } from './inView.js';
19
19
  /** The vars every in-view line shares. */
20
20
  export declare function inViewVars(read: InViewRead): {
@@ -24,4 +24,6 @@ export declare function inViewVars(read: InViewRead): {
24
24
  };
25
25
  /** Pointers behind an in-view line: the witness, the history row, the derived emptiness. */
26
26
  export declare function inViewPointers(ctx: ReadContext, read: InViewRead): RecordPointer[];
27
- export declare function readFoundRow(ctx: ReadContext, calls: CallsRead, inView: InViewAll, beforePause: readonly BeforePauseCall[]): Sentence[];
27
+ /** Pointers behind a line about what came back from a call before the pause. */
28
+ export declare function beforePausePointers(call: BeforePauseCall): RecordPointer[];
29
+ export declare function readFoundRow(ctx: ReadContext, calls: CallsRead, inView: InViewAll, pausedLeg: PausedLegRead): Sentence[];
@@ -14,8 +14,8 @@
14
14
  import { chip, n, v } from '../render.js';
15
15
  import { at, declarationAt, emptinessSource, historyAt } from './common.js';
16
16
  import { isRecord, str } from '../view.js';
17
- import { endPointer } from './calls.js';
18
- import { anchorPointer, foldMore, MAX_LISTED_CALLS } from './checked.js';
17
+ import { endPointer, FACT_TEXT_CHARS } from './calls.js';
18
+ import { anchorPointer, beforePauseMore, foldMore, heldChip, MAX_LISTED_CALLS, noResultsBeforePause, } from './checked.js';
19
19
  const toolOf = (call) => call.tool;
20
20
  /** The declaration pointer behind an app-counted emptiness. */
21
21
  function rowsAtPointers(ctx, toolName, source) {
@@ -68,7 +68,7 @@ function foundForCall(ctx, call) {
68
68
  ? ctx.say('found.absent', {
69
69
  vars: {
70
70
  tool,
71
- lookedFor: v(lookedFor.text, `tool:${call.fact.toolName}`, at(lookedFor.event, 'lookedFor')),
71
+ lookedFor: v(lookedFor.text, `tool:${call.fact.toolName}`, lookedFor.pointer),
72
72
  },
73
73
  pointers: endPointers,
74
74
  })
@@ -172,13 +172,82 @@ function inViewLine(ctx, read) {
172
172
  return ctx.say('found.inView', { vars, pointers });
173
173
  }
174
174
  }
175
- export function readFoundRow(ctx, calls, inView, beforePause) {
175
+ /** Pointers behind a line about what came back from a call before the pause. */
176
+ export function beforePausePointers(call) {
177
+ return [
178
+ historyAt(call.historyIndex, '/toolName', call.toolCallId),
179
+ ...(call.reading.emptiness === 'unknown'
180
+ ? []
181
+ : [historyAt(call.historyIndex, '#emptiness', call.toolCallId)]),
182
+ ];
183
+ }
184
+ /**
185
+ * What came back from a call answered BEFORE the pause, as the model read it —
186
+ * the tool's own bytes in the committed history, with the door its
187
+ * `coverageDeclared` rows hold (`pausedLeg.ts`). Never "it ran": a rule's
188
+ * verdict on it is in that part's events.
189
+ */
190
+ function foundBeforePause(ctx, call) {
191
+ const tool = call.tool;
192
+ const reading = call.reading;
193
+ const pointers = [
194
+ ...beforePausePointers(call),
195
+ ...rowsAtPointers(ctx, call.toolName, reading.source),
196
+ ];
197
+ const chips = [heldChip()];
198
+ switch (reading.emptiness) {
199
+ case 'declared-absent': {
200
+ const lookedFor = call.coverage?.lookedFor;
201
+ return lookedFor !== undefined
202
+ ? ctx.say('found.beforePause.absent', {
203
+ vars: {
204
+ tool,
205
+ lookedFor: v(lookedFor.text, `tool:${call.toolName.slice(0, FACT_TEXT_CHARS)}`, lookedFor.pointer),
206
+ },
207
+ pointers,
208
+ chips,
209
+ })
210
+ : ctx.say('found.beforePause.bare', { vars: { tool }, pointers, chips });
211
+ }
212
+ case 'undeclared-empty':
213
+ return ctx.say('found.beforePause.undeclaredEmpty', {
214
+ vars: { tool },
215
+ basis: [emptinessSource(reading)],
216
+ pointers,
217
+ chips: [chip('undeclared-empty', 'chip.undeclaredEmpty', 'warn'), ...chips],
218
+ });
219
+ case 'non-empty':
220
+ if (reading.rows !== undefined) {
221
+ return ctx.say('found.beforePause.rows', {
222
+ vars: { tool, n: n(reading.rows, emptinessSource(reading)) },
223
+ pointers,
224
+ chips,
225
+ });
226
+ }
227
+ return ctx.say('found.beforePause.result', { vars: { tool }, pointers, chips });
228
+ case 'clarify':
229
+ return ctx.say('found.beforePause.clarify', { vars: { tool }, pointers, chips });
230
+ case 'unknown':
231
+ return ctx.say('found.beforePause.result', { vars: { tool }, pointers, chips });
232
+ }
233
+ }
234
+ export function readFoundRow(ctx, calls, inView, pausedLeg) {
176
235
  const lines = calls.calls.slice(0, MAX_LISTED_CALLS).flatMap((c) => foundForCall(ctx, c));
177
236
  // The same "…and N more tool calls" the other call rows carry, right after the listed calls.
178
237
  const more = foldMore(ctx, calls);
179
238
  if (more !== undefined)
180
239
  lines.push(more);
181
- if (ctx.resumedLeg && beforePause.length > 0) {
240
+ if (ctx.resumedLeg && pausedLeg.stateHeld) {
241
+ const before = pausedLeg.calls;
242
+ lines.push(...before.slice(0, MAX_LISTED_CALLS).map((c) => foundBeforePause(ctx, c)));
243
+ const moreBefore = beforePauseMore(ctx, before);
244
+ if (moreBefore !== undefined)
245
+ lines.push(moreBefore);
246
+ if (before.length === 0)
247
+ lines.push(noResultsBeforePause(ctx));
248
+ }
249
+ else if (ctx.resumedLeg) {
250
+ // No paused state in this record: nothing of the part before the pause can be read.
182
251
  lines.push(ctx.say('found.beforePause', {
183
252
  status: 'not-recorded',
184
253
  missing: 'before-pause',
@@ -195,14 +264,6 @@ export function readFoundRow(ctx, calls, inView, beforePause) {
195
264
  pointers: inView.all.slice(inView.listed.length).map((r) => at(r.witness, 'sourceId')),
196
265
  }));
197
266
  }
198
- if (lines.length === 0) {
199
- // A resumed leg whose own calls and pre-pause calls are both absent.
200
- lines.push(ctx.say('found.beforePause', {
201
- status: 'not-recorded',
202
- missing: 'before-pause',
203
- chips: [chip('before-pause', 'chip.beforePause')],
204
- }));
205
- }
206
267
  return lines;
207
268
  }
208
269
  //# sourceMappingURL=found.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"found.js","sourceRoot":"","sources":["../../../../../src/lib/answer-account/facts/found.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,eAAe,EAAE,SAAS,EAAoB,MAAM,aAAa,CAAC;AAC9F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAiC,MAAM,YAAY,CAAC;AAEvE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAGzE,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;AAE7C,+DAA+D;AAC/D,SAAS,cAAc,CACrB,GAAgB,EAChB,QAAgB,EAChB,MAA0B;IAE1B,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED,SAAS,YAAY,CAAC,GAAgB,EAAE,IAAc;IACpD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;YAC9B,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE;YACvB,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,YAAY;YACrB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ;SAC7B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC5E,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7E,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9E,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,UAAU;gBACnB,QAAQ,EAAE,WAAW;aACtB,CAAC,CAAC;QACL,KAAK,KAAK;YACR,MAAM;IACV,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACvE,OAAO,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE;YAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,EAAE;YACxF,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;SACxE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,OAAO,CAAC,SAAS,EAAE,CAAC;QAC1B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC3C,OAAO,SAAS,KAAK,SAAS;gBAC5B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE;oBACtB,IAAI,EAAE;wBACJ,IAAI;wBACJ,SAAS,EAAE,CAAC,CACV,SAAS,CAAC,IAAI,EACd,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAC5B,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,WAAW,CAAC,CACjC;qBACF;oBACD,QAAQ,EAAE,WAAW;iBACtB,CAAC;gBACJ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,uBAAuB,EAAE;gBACtC,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,KAAK;gBACL,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC;gBACpC,KAAK,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;aAClE,CAAC,CAAC;QACL,KAAK,WAAW;YACd,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE;gBAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE;gBACjE,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC;aACrC,CAAC,CAAC;QACL,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;aAC5E,CAAC,CAAC;QACL,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG;IACtB,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,wBAAwB;IAChC,KAAK,EAAE,uBAAuB;CACtB,CAAC;AAEX;;;;;GAKG;AACH,SAAS,cAAc,CACrB,GAAgB,EAChB,IAAc,EACd,MAAuD;IAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,SAA+C,CAAC;IACnE,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAU,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;YACzC,QAAQ,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;SACpC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACrD,MAAM,EAAE,GAAkB,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,4BAA4B,EAAE;YACpC,IAAI,EAAE;gBACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;gBACrE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;aACnF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,UAAU,CAAC,IAAgB;IACzC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/B,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,GAAgB,EAAE,IAAgB;IAC/D,OAAO;QACL,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACvE,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,GAAgB,EAAE,IAAgB;IACpD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,QAAQ,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAC/B,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;gBAC7C,IAAI;gBACJ,KAAK,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtC,QAAQ;gBACR,KAAK,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;aAClE,CAAC,CAAC;QACL,KAAK,iBAAiB;YACpB,OAAO,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC5D;YACE,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,GAAgB,EAChB,KAAgB,EAChB,MAAiB,EACjB,WAAuC;IAEvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,6FAA6F;IAC7F,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,GAAG,CAAC,UAAU,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC3B,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;SAClD,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC3B,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC3B,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;SACvF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,qEAAqE;QACrE,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC3B,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;SAClD,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
1
+ {"version":3,"file":"found.js","sourceRoot":"","sources":["../../../../../src/lib/answer-account/facts/found.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,eAAe,EAAE,SAAS,EAAoB,MAAM,aAAa,CAAC;AAC9F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,UAAU,EAAE,eAAe,EAAiC,MAAM,YAAY,CAAC;AAExF,OAAO,EACL,aAAa,EACb,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,cAAc,CAAC;AAGtB,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;AAE7C,+DAA+D;AAC/D,SAAS,cAAc,CACrB,GAAgB,EAChB,QAAgB,EAChB,MAA0B;IAE1B,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,EAAE,SAAS,QAAQ,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC/F,CAAC;AAED,SAAS,YAAY,CAAC,GAAgB,EAAE,IAAc;IACpD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;YAC9B,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE;YACvB,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,YAAY;YACrB,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ;SAC7B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACrB,MAAM,WAAW,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC5E,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7E,KAAK,UAAU;YACb,OAAO,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QAC9E,KAAK,gBAAgB;YACnB,OAAO,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,UAAU;gBACnB,QAAQ,EAAE,WAAW;aACtB,CAAC,CAAC;QACL,KAAK,KAAK;YACR,MAAM;IACV,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACvE,OAAO,GAAG,CAAC,GAAG,CAAC,gBAAgB,EAAE;YAC/B,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,EAAE;YACxF,QAAQ,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;SACxE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/B,MAAM,KAAK,GAAoB,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACjE,QAAQ,OAAO,CAAC,SAAS,EAAE,CAAC;QAC1B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC3C,OAAO,SAAS,KAAK,SAAS;gBAC5B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE;oBACtB,IAAI,EAAE;wBACJ,IAAI;wBACJ,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,SAAS,CAAC,OAAO,CAAC;qBAC9E;oBACD,QAAQ,EAAE,WAAW;iBACtB,CAAC;gBACJ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,uBAAuB,EAAE;gBACtC,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,KAAK;gBACL,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC;gBACpC,KAAK,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;aAClE,CAAC,CAAC;QACL,KAAK,WAAW;YACd,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBACpE,OAAO,cAAc,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,GAAG,CAAC,GAAG,CAAC,YAAY,EAAE;gBAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE;gBACjE,QAAQ,EAAE,CAAC,GAAG,WAAW,EAAE,GAAG,KAAK,CAAC;aACrC,CAAC,CAAC;QACL,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;aAC5E,CAAC,CAAC;QACL,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG;IACtB,KAAK,EAAE,uBAAuB;IAC9B,MAAM,EAAE,wBAAwB;IAChC,KAAK,EAAE,uBAAuB;CACtB,CAAC;AAEX;;;;;GAKG;AACH,SAAS,cAAc,CACrB,GAAgB,EAChB,IAAc,EACd,MAAuD;IAEvD,MAAM,KAAK,GAAG,IAAI,CAAC,SAA+C,CAAC;IACnE,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAU,EAAE,CAAC;QACzD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;YACzC,QAAQ,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;SACpC,CAAC,CACH,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1C,MAAM,UAAU,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClF,IAAI,MAAM,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QACrD,MAAM,EAAE,GAAkB,QAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvD,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,4BAA4B,EAAE;YACpC,IAAI,EAAE;gBACJ,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;gBAClB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,CAAC,CAAC;gBACrE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC;aACnF;SACF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0CAA0C;AAC1C,MAAM,UAAU,UAAU,CAAC,IAAgB;IACzC,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;QAC/B,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAChD,CAAC;AACJ,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,cAAc,CAAC,GAAgB,EAAE,IAAgB;IAC/D,OAAO;QACL,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACvE,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;KAC3D,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,GAAgB,EAAE,IAAgB;IACpD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC3C,QAAQ,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAC/B,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,8BAA8B,EAAE;gBAC7C,IAAI;gBACJ,KAAK,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtC,QAAQ;gBACR,KAAK,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,CAAC,CAAC;aAClE,CAAC,CAAC;QACL,KAAK,iBAAiB;YACpB,OAAO,GAAG,CAAC,GAAG,CAAC,qBAAqB,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC5D;YACE,OAAO,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvD,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,mBAAmB,CAAC,IAAqB;IACvD,OAAO;QACL,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC;QAC1D,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;YACtC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;KACnE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,SAAS,gBAAgB,CAAC,GAAgB,EAAE,IAAqB;IAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,QAAQ,GAAG;QACf,GAAG,mBAAmB,CAAC,IAAI,CAAC;QAC5B,GAAG,cAAc,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC;KACtD,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3B,QAAQ,OAAO,CAAC,SAAS,EAAE,CAAC;QAC1B,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;YAC3C,OAAO,SAAS,KAAK,SAAS;gBAC5B,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE;oBAClC,IAAI,EAAE;wBACJ,IAAI;wBACJ,SAAS,EAAE,CAAC,CACV,SAAS,CAAC,IAAI,EACd,QAAQ,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,EAAE,EACjD,SAAS,CAAC,OAAO,CAClB;qBACF;oBACD,QAAQ;oBACR,KAAK;iBACN,CAAC;gBACJ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,wBAAwB,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,KAAK,kBAAkB;YACrB,OAAO,GAAG,CAAC,GAAG,CAAC,mCAAmC,EAAE;gBAClD,IAAI,EAAE,EAAE,IAAI,EAAE;gBACd,KAAK,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;gBACjC,QAAQ;gBACR,KAAK,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,sBAAsB,EAAE,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC;aAC5E,CAAC,CAAC;QACL,KAAK,WAAW;YACd,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,GAAG,CAAC,GAAG,CAAC,wBAAwB,EAAE;oBACvC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,EAAE;oBAC5D,QAAQ;oBACR,KAAK;iBACN,CAAC,CAAC;YACL,CAAC;YACD,OAAO,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,2BAA2B,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACnF,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,GAAG,CAAC,0BAA0B,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,GAAgB,EAChB,KAAgB,EAChB,MAAiB,EACjB,SAAwB;IAExB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1F,6FAA6F;IAC7F,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,GAAG,CAAC,UAAU,IAAI,SAAS,CAAC,SAAS,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,UAAU,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,UAAU,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC;IACjE,CAAC;SAAM,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;QAC1B,oFAAoF;QACpF,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC3B,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,cAAc;YACvB,KAAK,EAAE,CAAC,IAAI,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAAC;SAClD,CAAC,CACH,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACpB,KAAK,CAAC,IAAI,CACR,GAAG,CAAC,GAAG,CAAC,mBAAmB,EAAE;YAC3B,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAC3B,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;SACvF,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -0,0 +1,66 @@
1
+ /**
2
+ * What THIS record carries of the part of an answer before a pause — read off
3
+ * the record, never assumed absent.
4
+ *
5
+ * A resumed leg's recording holds that leg's EVENTS only (`view.ts` keeps one
6
+ * run's). It also holds the state the run PAUSED with — `snapshot.initialState`
7
+ * (footprintjs: the resumed leg's fold base; a fresh run's is empty) — and the
8
+ * committed state after it, which carries the part before the pause forward:
9
+ * `sharedState.history` keeps each call answered before the pause with what
10
+ * came back, and the tracked `coverageDeclared` rows keep what each of those
11
+ * tools declared (`core/agent/types.ts` · `coverageDeclared` — a
12
+ * limit is a fact about the answer, so it rides every recording).
13
+ *
14
+ * The boundary is the paused state itself: a call before the pause is a tool
15
+ * message in `initialState.history` after its last person entry (the request
16
+ * the run was answering when it paused) that is not a call of this leg. Its
17
+ * bytes and declaration are read where a pointer can land — the committed
18
+ * `sharedState` (matched by call id) — and a call the committed history no
19
+ * longer holds is passed over, never guessed.
20
+ *
21
+ * So, exactly:
22
+ * - RECOVERABLE — each call answered before the pause; what came back, read
23
+ * by the ONE emptiness reader over the tool's own bytes with the door the
24
+ * state holds (its `coverageDeclared` rows: an `absence` row, a `ledger`
25
+ * boundary); what its tool declared it checked, did not check and can
26
+ * never cover.
27
+ * - NOT RECOVERABLE — that part's events: the routing verdict and its
28
+ * scores, what was in front of the model on each earlier iteration, a
29
+ * rule's verdict on a call (failed, refused, withheld), and timings. The
30
+ * rows that need them say so (`understood.resumed`,
31
+ * `wrong.beforePause.held`).
32
+ *
33
+ * A record that does not hold the paused state (`stateHeld: false` — an
34
+ * older or trimmed recording, or a leg the record only LOOKS resumed in) reads
35
+ * nothing of the part before the pause, and the rows say it is not in this
36
+ * record.
37
+ */
38
+ import type { SentenceVar } from '../types.js';
39
+ import { type CallsRead, type CoverageRead } from './calls.js';
40
+ import { type EmptinessReading, type ReadContext } from './common.js';
41
+ /** One call answered before the pause, as the committed state keeps it. */
42
+ export interface BeforePauseCall {
43
+ readonly toolName: string;
44
+ readonly toolCallId: string;
45
+ /** Its tool message in `sharedState.history`. */
46
+ readonly historyIndex: number;
47
+ /** The tool's name as a sentence var — clipped at `FACT_TEXT_CHARS`, pointing at its history message. */
48
+ readonly tool: SentenceVar;
49
+ /** What came back, as the model read it — the tool's own bytes, through the one emptiness reader. */
50
+ readonly reading: EmptinessReading;
51
+ /** What its tool declared, read from its `coverageDeclared` rows; absent when it declared nothing. */
52
+ readonly coverage?: CoverageRead;
53
+ }
54
+ export interface PausedLegRead {
55
+ /** The record holds the state the run paused with (`snapshot.initialState`) — the part before the pause is read from it. */
56
+ readonly stateHeld: boolean;
57
+ /** Every call answered before the pause, in history order — none when the leg was not resumed. */
58
+ readonly calls: readonly BeforePauseCall[];
59
+ }
60
+ /**
61
+ * On a resumed leg: the part before the pause, read from the committed state
62
+ * this record holds — the calls in history after the person's current request
63
+ * that are not calls of this leg, each with what came back and what its tool
64
+ * declared.
65
+ */
66
+ export declare function readPausedLeg(ctx: ReadContext, calls: CallsRead): PausedLegRead;
@@ -0,0 +1,111 @@
1
+ /**
2
+ * What THIS record carries of the part of an answer before a pause — read off
3
+ * the record, never assumed absent.
4
+ *
5
+ * A resumed leg's recording holds that leg's EVENTS only (`view.ts` keeps one
6
+ * run's). It also holds the state the run PAUSED with — `snapshot.initialState`
7
+ * (footprintjs: the resumed leg's fold base; a fresh run's is empty) — and the
8
+ * committed state after it, which carries the part before the pause forward:
9
+ * `sharedState.history` keeps each call answered before the pause with what
10
+ * came back, and the tracked `coverageDeclared` rows keep what each of those
11
+ * tools declared (`core/agent/types.ts` · `coverageDeclared` — a
12
+ * limit is a fact about the answer, so it rides every recording).
13
+ *
14
+ * The boundary is the paused state itself: a call before the pause is a tool
15
+ * message in `initialState.history` after its last person entry (the request
16
+ * the run was answering when it paused) that is not a call of this leg. Its
17
+ * bytes and declaration are read where a pointer can land — the committed
18
+ * `sharedState` (matched by call id) — and a call the committed history no
19
+ * longer holds is passed over, never guessed.
20
+ *
21
+ * So, exactly:
22
+ * - RECOVERABLE — each call answered before the pause; what came back, read
23
+ * by the ONE emptiness reader over the tool's own bytes with the door the
24
+ * state holds (its `coverageDeclared` rows: an `absence` row, a `ledger`
25
+ * boundary); what its tool declared it checked, did not check and can
26
+ * never cover.
27
+ * - NOT RECOVERABLE — that part's events: the routing verdict and its
28
+ * scores, what was in front of the model on each earlier iteration, a
29
+ * rule's verdict on a call (failed, refused, withheld), and timings. The
30
+ * rows that need them say so (`understood.resumed`,
31
+ * `wrong.beforePause.held`).
32
+ *
33
+ * A record that does not hold the paused state (`stateHeld: false` — an
34
+ * older or trimmed recording, or a leg the record only LOOKS resumed in) reads
35
+ * nothing of the part before the pause, and the rows say it is not in this
36
+ * record.
37
+ */
38
+ import { toolBytesOf } from '../../toolBytes.js';
39
+ import { v } from '../render.js';
40
+ import { isRecord, str } from '../view.js';
41
+ import { COVERAGE_STATE_KEY, FACT_TEXT_CHARS, readStateCoverage, } from './calls.js';
42
+ import { historyAt, historyOf, isPersonEntry, readEmptiness, rowsAtOf, } from './common.js';
43
+ const NOT_RESUMED = { stateHeld: false, calls: [] };
44
+ /**
45
+ * On a resumed leg: the part before the pause, read from the committed state
46
+ * this record holds — the calls in history after the person's current request
47
+ * that are not calls of this leg, each with what came back and what its tool
48
+ * declared.
49
+ */
50
+ export function readPausedLeg(ctx, calls) {
51
+ const pausedWith = ctx.view.pausedWith;
52
+ if (!ctx.resumedLeg || pausedWith === undefined)
53
+ return NOT_RESUMED;
54
+ const before = pausedHistory(pausedWith.history);
55
+ const history = historyOf(ctx.view);
56
+ const coverageRows = ctx.view.state?.[COVERAGE_STATE_KEY];
57
+ const rows = Array.isArray(coverageRows) ? coverageRows : [];
58
+ const out = [];
59
+ for (const id of before) {
60
+ if (calls.ids.has(id))
61
+ continue;
62
+ const i = history.findIndex((m) => isRecord(m) && m.role === 'tool' && m.toolCallId === id);
63
+ const m = history[i];
64
+ if (!isRecord(m))
65
+ continue;
66
+ const name = str(m.toolName);
67
+ if (name === undefined)
68
+ continue;
69
+ const coverage = readStateCoverage(rows, id);
70
+ const rowsAt = rowsAtOf(ctx.declarations, name);
71
+ // The door this record holds for the call is its committed declaration — the same rows the
72
+ // standing fold reads (`assessment/assess.ts`), so the two cannot disagree about it.
73
+ const mine = rows.filter((r) => isRecord(r) && r.toolCallId === id);
74
+ const reading = readEmptiness(toolBytesOf({ content: m.content, toolChars: m.toolChars }), {
75
+ ...(rowsAt !== undefined && { rowsAt }),
76
+ ...(mine.length > 0 && {
77
+ door: {
78
+ absent: mine.some((r) => r.kind === 'absence'),
79
+ bounded: mine.some((r) => r.kind === 'ledger'),
80
+ },
81
+ }),
82
+ });
83
+ out.push({
84
+ toolName: name,
85
+ toolCallId: id,
86
+ historyIndex: i,
87
+ tool: v(name, 'library', historyAt(i, '/toolName', id), FACT_TEXT_CHARS),
88
+ reading,
89
+ ...(coverage !== undefined && { coverage }),
90
+ });
91
+ }
92
+ return { stateHeld: true, calls: out };
93
+ }
94
+ /** The call ids of the tool messages after the last person entry of the paused state's history. */
95
+ function pausedHistory(history) {
96
+ let current = -1;
97
+ history.forEach((m, i) => {
98
+ if (isPersonEntry(m))
99
+ current = i;
100
+ });
101
+ const ids = [];
102
+ history.forEach((m, i) => {
103
+ if (i <= current || !isRecord(m) || m.role !== 'tool')
104
+ return;
105
+ const id = str(m.toolCallId);
106
+ if (id !== undefined && !ids.includes(id))
107
+ ids.push(id);
108
+ });
109
+ return ids;
110
+ }
111
+ //# sourceMappingURL=pausedLeg.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"pausedLeg.js","sourceRoot":"","sources":["../../../../../src/lib/answer-account/facts/pausedLeg.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,CAAC,EAAE,MAAM,cAAc,CAAC;AAEjC,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EACL,kBAAkB,EAClB,eAAe,EACf,iBAAiB,GAGlB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,SAAS,EACT,SAAS,EACT,aAAa,EACb,aAAa,EACb,QAAQ,GAGT,MAAM,aAAa,CAAC;AAuBrB,MAAM,WAAW,GAAkB,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAEnE;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,GAAgB,EAAE,KAAgB;IAC9D,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;IACvC,IAAI,CAAC,GAAG,CAAC,UAAU,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IACpE,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,CAAC,OAA6B,CAAC,CAAC;IACvE,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,kBAAkB,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAuB,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,SAAS;QAChC,MAAM,CAAC,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC;QAC5F,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,SAAS;QAC3B,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACjC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAChD,2FAA2F;QAC3F,qFAAqF;QACrF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,KAAK,EAAE,CAE/D,CAAC;QACJ,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,EAAE;YACzF,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;YACvC,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI;gBACrB,IAAI,EAAE;oBACJ,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;oBAC9C,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;iBAC/C;aACF,CAAC;SACH,CAAC,CAAC;QACH,GAAG,CAAC,IAAI,CAAC;YACP,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC;YACf,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,eAAe,CAAC;YACxE,OAAO;YACP,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;SAC5C,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACzC,CAAC;AAED,mGAAmG;AACnG,SAAS,aAAa,CAAC,OAA2B;IAChD,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;IACjB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,IAAI,aAAa,CAAC,CAAC,CAAC;YAAE,OAAO,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvB,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAC9D,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC"}
@@ -8,8 +8,9 @@
8
8
  * a future pointer ever names one: injection bodies (skill bodies, app
9
9
  * prompts), tool arguments, tool results (only a derived `{ rows, at }` count
10
10
  * leaves), a decision's `why` (it can carry a person's note), `resumeInput`,
11
- * every state key but `turnNumber` and `userMessage`, history content, and any
12
- * event of another run.
11
+ * every state key but `turnNumber`, `userMessage` and the tool words of
12
+ * `coverageDeclared` (`SHOWN_STATE_PATHS`), history content, and any event of
13
+ * another run.
13
14
  *
14
15
  * Bounds: a leaf over 2,048 serialized characters is `too-large`; the whole map
15
16
  * stops at 64 KB — no later pointer adds a key; one `#more` entry says the rest
@@ -31,6 +32,12 @@ export declare const SHOWN_MORE_KEY = "#more";
31
32
  export declare const SHOW_ME_ALLOW_LIST: Readonly<Record<string, readonly string[]>>;
32
33
  /** The two state keys the account reads for a sentence (R3-S2 adds `userMessage`). */
33
34
  export declare const SHOWN_STATE_KEYS: readonly string[];
35
+ /**
36
+ * State keys whose LEAVES "show me" may show, by path shape — the committed
37
+ * `coverageDeclared` rows a call before a pause is read from: the same tool
38
+ * words `tools.absent` / `tools.coverage_declared` show for a call of this leg.
39
+ */
40
+ export declare const SHOWN_STATE_PATHS: Readonly<Record<string, readonly string[]>>;
34
41
  /**
35
42
  * Is this pointer's leaf one the allow-list admits (and the deny list does not
36
43
  * refuse)? The DENY list is asked FIRST and wins: a future edit that puts a
@@ -8,8 +8,9 @@
8
8
  * a future pointer ever names one: injection bodies (skill bodies, app
9
9
  * prompts), tool arguments, tool results (only a derived `{ rows, at }` count
10
10
  * leaves), a decision's `why` (it can carry a person's note), `resumeInput`,
11
- * every state key but `turnNumber` and `userMessage`, history content, and any
12
- * event of another run.
11
+ * every state key but `turnNumber`, `userMessage` and the tool words of
12
+ * `coverageDeclared` (`SHOWN_STATE_PATHS`), history content, and any event of
13
+ * another run.
13
14
  *
14
15
  * Bounds: a leaf over 2,048 serialized characters is `too-large`; the whole map
15
16
  * stops at 64 KB — no later pointer adds a key; one `#more` entry says the rest
@@ -73,6 +74,14 @@ export const SHOW_ME_ALLOW_LIST = Object.freeze({
73
74
  const ANY_EVENT = ['#meta/runId'];
74
75
  /** The two state keys the account reads for a sentence (R3-S2 adds `userMessage`). */
75
76
  export const SHOWN_STATE_KEYS = ['turnNumber', 'userMessage'];
77
+ /**
78
+ * State keys whose LEAVES "show me" may show, by path shape — the committed
79
+ * `coverageDeclared` rows a call before a pause is read from: the same tool
80
+ * words `tools.absent` / `tools.coverage_declared` show for a call of this leg.
81
+ */
82
+ export const SHOWN_STATE_PATHS = Object.freeze({
83
+ coverageDeclared: list('/*/{toolName,toolCallId,lookedFor}', '/*/{checked,notChecked,cannotCover}/*/{what,why,short,kind}'),
84
+ });
76
85
  const HISTORY_PATHS = ['/toolName', '/toolCallId', '#emptiness'];
77
86
  /** Leaves that are never shown, whatever list names them — per event type. */
78
87
  const DENIED = {
@@ -109,7 +118,9 @@ export function isShowable(p, allowList = SHOW_ME_ALLOW_LIST) {
109
118
  return (allowList[type] ?? []).includes(shape(p.path));
110
119
  }
111
120
  case 'state':
112
- return SHOWN_STATE_KEYS.includes(p.key) && p.path === '';
121
+ return p.path === ''
122
+ ? SHOWN_STATE_KEYS.includes(p.key)
123
+ : (SHOWN_STATE_PATHS[p.key] ?? []).includes(shape(p.path));
113
124
  case 'history':
114
125
  return HISTORY_PATHS.includes(p.path);
115
126
  case 'declaration':
@@ -185,12 +196,14 @@ export function accountPointers(account) {
185
196
  ].forEach((x) => fromFact(x));
186
197
  f.calls.forEach((c) => out.push(...c.pointers));
187
198
  f.inView.forEach((c) => out.push(...c.pointers));
199
+ f.beforePause.forEach((c) => out.push(...(c.pointers ?? [])));
188
200
  return out;
189
201
  }
190
202
  function emptinessLeaf(account, declarations, toolCallId, where) {
191
203
  const call = where === 'event'
192
204
  ? account.facts.calls.find((c) => c.toolCallId === toolCallId)
193
- : account.facts.inView.find((c) => c.toolCallId === toolCallId);
205
+ : account.facts.inView.find((c) => c.toolCallId === toolCallId) ??
206
+ account.facts.beforePause.find((c) => c.toolCallId === toolCallId);
194
207
  if (call === undefined || call.rows === undefined)
195
208
  return { withheld: 'not-shown-here' };
196
209
  const rowsAt = call.emptinessSource === 'app' ? declarations.tools?.[call.toolName]?.rowsAt : undefined;
@@ -254,7 +267,7 @@ export function showLeaves(account, recording, declarations = {}) {
254
267
  }
255
268
  }
256
269
  else if (p.kind === 'state') {
257
- out = leaf(state[p.key]);
270
+ out = leaf(p.path === '' ? state[p.key] : resolvePointer(state[p.key], p.path));
258
271
  }
259
272
  else if (p.kind === 'history') {
260
273
  const message = history[p.index];
@@ -1 +1 @@
1
- {"version":3,"file":"shown.js","sourceRoot":"","sources":["../../../../src/lib/answer-account/shown.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAElG,MAAM,MAAM,GAAG,iBAAiB,CAAC;AAEjC,mFAAmF;AACnF,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,GAAG,QAAkB,EAAqB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgD,MAAM,CAAC,MAAM,CAAC;IAC3F,sBAAsB,EAAE,IAAI,CAC1B,YAAY,EACZ,yCAAyC,EACzC,eAAe,EACf,SAAS,CACV;IACD,kBAAkB,EAAE,IAAI,CAAC,aAAa,CAAC;IACvC,gBAAgB,EAAE,IAAI,CACpB,eAAe;IACf,+FAA+F;IAC/F,6FAA6F;IAC7F,0EAA0E,EAC1E,+CAA+C,CAChD;IACD,qBAAqB,EAAE,IAAI,CAAC,0DAA0D,CAAC;IACvF,kBAAkB,EAAE,IAAI,CAAC,+BAA+B,CAAC;IACzD,kBAAkB,EAAE,IAAI,CAAC,iCAAiC,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CACvB,+BAA+B,EAC/B,sBAAsB,EACtB,wCAAwC;IACxC,6FAA6F;IAC7F,eAAe,EACf,gBAAgB,CACjB;IACD,sBAAsB,EAAE,IAAI,CAAC,qBAAqB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,cAAc,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,yBAAyB,CAAC;IACnD,uBAAuB,EAAE,IAAI,CAAC,mBAAmB,CAAC;IAClD,cAAc,EAAE,IAAI,CAClB,6CAA6C,EAC7C,2DAA2D,EAC3D,sBAAsB,CACvB;IACD,yBAAyB,EAAE,IAAI,CAC7B,wBAAwB,EACxB,2DAA2D,CAC5D;IACD,6FAA6F;IAC7F,kEAAkE;IAClE,0BAA0B,EAAE,IAAI,CAC9B,wBAAwB,EACxB,4CAA4C,CAC7C;IACD,mBAAmB,EAAE,IAAI,CAAC,wBAAwB,CAAC;IACnD,iBAAiB,EAAE,IAAI,CACrB,wCAAwC,EACxC,iDAAiD,EACjD,YAAY,CACb;IACD,mBAAmB,EAAE,IAAI,CAAC,qCAAqC,CAAC;IAChE,wBAAwB,EAAE,IAAI,CAC5B,uEAAuE,EACvE,sBAAsB,CACvB;CACF,CAAC,CAAC;AAEH,oDAAoD;AACpD,gGAAgG;AAChG,gGAAgG;AAChG,MAAM,SAAS,GAAG,CAAC,aAAa,CAAC,CAAC;AAClC,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAsB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AACjF,MAAM,aAAa,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;AAEjE,8EAA8E;AAC9E,MAAM,MAAM,GAAgD;IAC1D,kBAAkB,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,QAAQ,CAAC;IAC9D,mBAAmB,EAAE,CAAC,MAAM,CAAC;IAC7B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC;IAC5C,qBAAqB,EAAE,CAAC,KAAK,CAAC;IAC9B,cAAc,EAAE,CAAC,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAY,EAAE,CAC1C,IAAI;KACD,KAAK,CAAC,GAAG,CAAC;KACV,KAAK,CAAC,CAAC,CAAC;KACR,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAE3D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;IAClB,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAErB;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,CAAgB,EAChB,YAAyD,kBAAkB;IAE3E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxF,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC;QAC3D,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;aAC1C,IAAI,QAAQ,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;;YAClC,OAAO,SAAS,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC1D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACvF,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,KAAK,KAAK,IAAI,EACd,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,cAAc;QAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACpF,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,YAAuC,EAAE,KAAa;IAC9E,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;QACvC,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC;IACnE,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC;IAChE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,YAAY,GAAG,CAAC,CAAuB,EAAE,EAAE;QAC/C,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7D,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;IACxB;QACE,CAAC,CAAC,OAAO,CAAC,UAAU;QACpB,CAAC,CAAC,OAAO,CAAC,OAAO;QACjB,CAAC,CAAC,OAAO,CAAC,MAAM;QAChB,CAAC,CAAC,OAAO,CAAC,SAAS;QACnB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,UAAU;KACb,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAyB,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CACpB,OAAsB,EACtB,YAAuC,EACvC,UAAmB,EACnB,KAA0B;IAE1B,MAAM,IAAI,GACR,KAAK,KAAK,OAAO;QACf,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC;QAC9D,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IACpE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACzF,MAAM,MAAM,GACV,IAAI,CAAC,eAAe,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,MAAM,IAAI,GACR,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YACrE,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,OAAsB,EACtB,SAAqE,EACrE,eAA0C,EAAE;IAE5C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;IAC9B,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,uFAAuF;IACvF,4DAA4D;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAC5B,CAAC,CAAU,EAAE,EAAE,CACb,QAAQ,CAAC,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,KAAK,GAAG,MAAM,sBAAsB;QAC1C,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,KAAK,CACmB,CAAC;IACnD,MAAM,OAAO,GACX,OAAO,UAAU,EAAE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,KAAK;YAAE,SAAS;QAC3B,IAAI,GAA2B,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,GAAG,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAY,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1E,GAAG,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpD,MAAM,GAAG,GACP,GAAG,KAAK,IAAI;oBACZ,iBAAiB,CACf;wBACE,GAAG,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;wBAC5D,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;qBACzE,EACD;wBACE,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;qBACV,CAC7C,CAAC;gBACJ,IAAI,CAAC,GAAG;oBAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;qBACnC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;oBAC9B,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;qBAC3E,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;;oBACjF,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,OAAO,GAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1C,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE;gBAC3B,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC;oBACrE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACzE,IAAI,KAAK,GAAG,IAAI,GAAG,eAAe,GAAG,cAAc,EAAE,CAAC;YACpD,+EAA+E;YAC/E,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;YAClD,MAAM;QACR,CAAC;QACD,KAAK,IAAI,IAAI,CAAC;QACd,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
1
+ {"version":3,"file":"shown.js","sourceRoot":"","sources":["../../../../src/lib/answer-account/shown.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASzC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC;AACnC,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,GAAG,IAAI,CAAC;AAEzC;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AACtC,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;AAElG,MAAM,MAAM,GAAG,iBAAiB,CAAC;AAEjC,mFAAmF;AACnF,SAAS,MAAM,CAAC,OAAe;IAC7B,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,GAAG,QAAkB,EAAqB,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAgD,MAAM,CAAC,MAAM,CAAC;IAC3F,sBAAsB,EAAE,IAAI,CAC1B,YAAY,EACZ,yCAAyC,EACzC,eAAe,EACf,SAAS,CACV;IACD,kBAAkB,EAAE,IAAI,CAAC,aAAa,CAAC;IACvC,gBAAgB,EAAE,IAAI,CACpB,eAAe;IACf,+FAA+F;IAC/F,6FAA6F;IAC7F,0EAA0E,EAC1E,+CAA+C,CAChD;IACD,qBAAqB,EAAE,IAAI,CAAC,0DAA0D,CAAC;IACvF,kBAAkB,EAAE,IAAI,CAAC,+BAA+B,CAAC;IACzD,kBAAkB,EAAE,IAAI,CAAC,iCAAiC,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CACvB,+BAA+B,EAC/B,sBAAsB,EACtB,wCAAwC;IACxC,6FAA6F;IAC7F,eAAe,EACf,gBAAgB,CACjB;IACD,sBAAsB,EAAE,IAAI,CAAC,qBAAqB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,cAAc,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,yBAAyB,CAAC;IACnD,uBAAuB,EAAE,IAAI,CAAC,mBAAmB,CAAC;IAClD,cAAc,EAAE,IAAI,CAClB,6CAA6C,EAC7C,2DAA2D,EAC3D,sBAAsB,CACvB;IACD,yBAAyB,EAAE,IAAI,CAC7B,wBAAwB,EACxB,2DAA2D,CAC5D;IACD,6FAA6F;IAC7F,kEAAkE;IAClE,0BAA0B,EAAE,IAAI,CAC9B,wBAAwB,EACxB,4CAA4C,CAC7C;IACD,mBAAmB,EAAE,IAAI,CAAC,wBAAwB,CAAC;IACnD,iBAAiB,EAAE,IAAI,CACrB,wCAAwC,EACxC,iDAAiD,EACjD,YAAY,CACb;IACD,mBAAmB,EAAE,IAAI,CAAC,qCAAqC,CAAC;IAChE,wBAAwB,EAAE,IAAI,CAC5B,uEAAuE,EACvE,sBAAsB,CACvB;CACF,CAAC,CAAC;AAEH,oDAAoD;AACpD,gGAAgG;AAChG,gGAAgG;AAChG,MAAM,SAAS,GAAG,CAAC,aAAa,CAAC,CAAC;AAClC,sFAAsF;AACtF,MAAM,CAAC,MAAM,gBAAgB,GAAsB,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AACjF;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAgD,MAAM,CAAC,MAAM,CAAC;IAC1F,gBAAgB,EAAE,IAAI,CACpB,oCAAoC,EACpC,6DAA6D,CAC9D;CACF,CAAC,CAAC;AACH,MAAM,aAAa,GAAG,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC;AAEjE,8EAA8E;AAC9E,MAAM,MAAM,GAAgD;IAC1D,kBAAkB,EAAE,CAAC,YAAY,EAAE,gBAAgB,EAAE,QAAQ,CAAC;IAC9D,mBAAmB,EAAE,CAAC,MAAM,CAAC;IAC7B,iBAAiB,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC;IAC5C,qBAAqB,EAAE,CAAC,KAAK,CAAC;IAC9B,cAAc,EAAE,CAAC,aAAa,CAAC;CAChC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAY,EAAE,CAC1C,IAAI;KACD,KAAK,CAAC,GAAG,CAAC;KACV,KAAK,CAAC,CAAC,CAAC;KACR,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AAE3D,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;IAClB,CAAC,CAAC,IAAI;IACN,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC;SACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AAErB;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,CAAgB,EAChB,YAAyD,kBAAkB;IAE3E,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;YACxF,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE;gBAClB,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC;gBAClC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/D,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,aAAa;YAChB,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,IAAY;IAClD,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;aAC1C,IAAI,QAAQ,CAAC,GAAG,CAAC;YAAE,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;;YAClC,OAAO,SAAS,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,IAAI,CAAC,KAAc;IAC1B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC1D,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACvF,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS;QAC1B,KAAK,KAAK,IAAI,EACd,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACxC,CAAC;IACD,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,cAAc;QAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACpF,OAAO,EAAE,KAAK,EAAE,CAAC;AACnB,CAAC;AAED,SAAS,gBAAgB,CAAC,YAAuC,EAAE,KAAa;IAC9E,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;QACvC,OAAO,YAAY,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC;IACnE,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC;QACtC,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC;IACnE,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC,OAAO,EAAE,UAAU,CAAC;IAChE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,eAAe,CAAC,OAAsB;IACpD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,MAAM,YAAY,GAAG,CAAC,CAAuB,EAAE,EAAE;QAC/C,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO;QAC5B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1B,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAuB,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;IACtE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1B,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAChC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACzD,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC7D,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;IACxB;QACE,CAAC,CAAC,OAAO,CAAC,UAAU;QACpB,CAAC,CAAC,OAAO,CAAC,OAAO;QACjB,CAAC,CAAC,OAAO,CAAC,MAAM;QAChB,CAAC,CAAC,OAAO,CAAC,SAAS;QACnB,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,WAAW;QACb,CAAC,CAAC,UAAU;KACb,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAyB,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CACpB,OAAsB,EACtB,YAAuC,EACvC,UAAmB,EACnB,KAA0B;IAE1B,MAAM,IAAI,GACR,KAAK,KAAK,OAAO;QACf,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC;QAC9D,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC;YAC7D,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;IACzE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;IACzF,MAAM,MAAM,GACV,IAAI,CAAC,eAAe,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,MAAM,IAAI,GACR,KAAK,KAAK,SAAS;QACjB,CAAC,CAAC,UAAU;QACZ,CAAC,CAAC,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YACrE,CAAC,CAAC,cAAc;YAChB,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACpF,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,UAAU,CACxB,OAAsB,EACtB,SAAqE,EACrE,eAA0C,EAAE;IAE5C,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAClE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;IAC9B,MAAM,KAAK,GAA2C,EAAE,CAAC;IACzD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,uFAAuF;IACvF,4DAA4D;IAC5D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAC5B,CAAC,CAAU,EAAE,EAAE,CACb,QAAQ,CAAC,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,KAAK,GAAG,MAAM,sBAAsB;QAC1C,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;QAChB,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG,EAAE,KAAK,CACmB,CAAC;IACnD,MAAM,OAAO,GACX,OAAO,UAAU,EAAE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,KAAK,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,KAAK;YAAE,SAAS;QAC3B,IAAI,GAA2B,CAAC;QAChC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACnB,GAAG,GAAG,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,MAAM,KAAK,GAAY,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC1E,GAAG,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpD,MAAM,GAAG,GACP,GAAG,KAAK,IAAI;oBACZ,iBAAiB,CACf;wBACE,GAAG,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC;wBAC5D,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC;qBACzE,EACD;wBACE,KAAK,EAAE,GAAG,CAAC,KAAK;wBAChB,GAAG,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;qBACV,CAC7C,CAAC;gBACJ,IAAI,CAAC,GAAG;oBAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;qBACnC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;oBAC9B,GAAG,GAAG,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;qBAC3E,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAAE,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;;oBACjF,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,OAAO,GAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1C,GAAG,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC;gBACtB,CAAC,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE;gBAC3B,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY;oBACzB,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC;oBACrE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5C,CAAC;aAAM,CAAC;YACN,GAAG,GAAG,IAAI,CAAC,gBAAgB,CAAC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QACzE,IAAI,KAAK,GAAG,IAAI,GAAG,eAAe,GAAG,cAAc,EAAE,CAAC;YACpD,+EAA+E;YAC/E,KAAK,CAAC,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;YAClD,MAAM;QACR,CAAC;QACD,KAAK,IAAI,IAAI,CAAC;QACd,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
@@ -17,6 +17,7 @@
17
17
  import type { CheckId, RecordPointer, Sentence, Signal, Unreachable } from './types.js';
18
18
  import { type ReadContext } from './facts/common.js';
19
19
  import { type CallsRead } from './facts/calls.js';
20
+ import type { PausedLegRead } from './facts/pausedLeg.js';
20
21
  import type { InViewAll } from './facts/inView.js';
21
22
  import type { UnderstoodRead } from './facts/understood.js';
22
23
  /** Signal lines per check, and unreachable lines per check, before the rest are counted. */
@@ -35,12 +36,20 @@ export interface ChecksRead {
35
36
  /** Pointers behind the checks that ran (for "found nothing"). */
36
37
  readonly checkPointers: readonly RecordPointer[];
37
38
  }
38
- export declare function runChecks(ctx: ReadContext, understood: UnderstoodRead, calls: CallsRead, inView: InViewAll): ChecksRead;
39
+ export declare function runChecks(ctx: ReadContext, understood: UnderstoodRead, calls: CallsRead, inView: InViewAll,
40
+ /** The part before a pause, read from the committed state (`facts/pausedLeg.ts`) — judged like this leg's calls. */
41
+ pausedLeg?: PausedLegRead): ChecksRead;
39
42
  /** The "Anything wrong" row's lines, in order. */
40
- export declare function wrongLines(ctx: ReadContext, checks: ChecksRead, calls: CallsRead): Sentence[];
43
+ export declare function wrongLines(ctx: ReadContext, checks: ChecksRead, calls: CallsRead, pausedLeg?: PausedLegRead): Sentence[];
41
44
  export interface SummaryRead {
42
45
  readonly sentence: Sentence;
43
46
  readonly tone: 'ok' | 'warn' | 'bad' | 'unknown';
44
47
  }
45
- /** The one-liner. */
46
- export declare function summaryOf(ctx: ReadContext, checks: ChecksRead, finished: boolean): SummaryRead;
48
+ /**
49
+ * The one-liner. On a resumed leg whose record holds the committed state, the
50
+ * checks above read the part before the pause from it, so the one-liner is
51
+ * the one any answer gets, followed by what this record does NOT hold of the
52
+ * part before the pause (its events). Only a record with no committed history
53
+ * says the part before the pause is not in it.
54
+ */
55
+ export declare function summaryOf(ctx: ReadContext, checks: ChecksRead, finished: boolean, pausedLeg?: PausedLegRead): SummaryRead;