@telora/daemon 0.22.187 → 0.22.189

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 (95) hide show
  1. package/build-info.json +2 -2
  2. package/dist/completion/escalations.d.ts.map +1 -1
  3. package/dist/completion/escalations.js +2 -1
  4. package/dist/completion/escalations.js.map +1 -1
  5. package/dist/completion/review-exit-phase.d.ts.map +1 -1
  6. package/dist/completion/review-exit-phase.js +11 -4
  7. package/dist/completion/review-exit-phase.js.map +1 -1
  8. package/dist/completion/standing-approval-convergence.d.ts.map +1 -1
  9. package/dist/completion/standing-approval-convergence.js +2 -1
  10. package/dist/completion/standing-approval-convergence.js.map +1 -1
  11. package/dist/focus/focus-loop-registry.js +2 -2
  12. package/dist/focus/focus-loop-registry.js.map +1 -1
  13. package/dist/loops/llm-client.d.ts +1 -1
  14. package/dist/loops/llm-client.d.ts.map +1 -1
  15. package/dist/loops/llm-client.js +18 -105
  16. package/dist/loops/llm-client.js.map +1 -1
  17. package/dist/queries/agent-resolvable-promotion.d.ts +12 -0
  18. package/dist/queries/agent-resolvable-promotion.d.ts.map +1 -1
  19. package/dist/queries/agent-resolvable-promotion.js +17 -6
  20. package/dist/queries/agent-resolvable-promotion.js.map +1 -1
  21. package/dist/queries/delivery-gate-state.d.ts +3 -0
  22. package/dist/queries/delivery-gate-state.d.ts.map +1 -1
  23. package/dist/queries/delivery-gate-state.js +1 -1
  24. package/dist/queries/delivery-gate-state.js.map +1 -1
  25. package/dist/queries/verify-own-holds.d.ts +89 -0
  26. package/dist/queries/verify-own-holds.d.ts.map +1 -0
  27. package/dist/queries/verify-own-holds.js +93 -0
  28. package/dist/queries/verify-own-holds.js.map +1 -0
  29. package/dist/spawn/one-shot-model.d.ts +145 -0
  30. package/dist/spawn/one-shot-model.d.ts.map +1 -0
  31. package/dist/spawn/one-shot-model.js +329 -0
  32. package/dist/spawn/one-shot-model.js.map +1 -0
  33. package/dist/spawn/review-hold-park.d.ts.map +1 -1
  34. package/dist/spawn/review-hold-park.js +7 -3
  35. package/dist/spawn/review-hold-park.js.map +1 -1
  36. package/dist/spawn/routing-decider-spawn.d.ts +30 -0
  37. package/dist/spawn/routing-decider-spawn.d.ts.map +1 -1
  38. package/dist/spawn/routing-decider-spawn.js +84 -2
  39. package/dist/spawn/routing-decider-spawn.js.map +1 -1
  40. package/dist/spawn/routing-decider.d.ts.map +1 -1
  41. package/dist/spawn/routing-decider.js +22 -0
  42. package/dist/spawn/routing-decider.js.map +1 -1
  43. package/dist/spawn/spawn-cooldown.d.ts +15 -1
  44. package/dist/spawn/spawn-cooldown.d.ts.map +1 -1
  45. package/dist/spawn/spawn-cooldown.js +67 -19
  46. package/dist/spawn/spawn-cooldown.js.map +1 -1
  47. package/dist/verify/ai-inspection-runner.d.ts.map +1 -1
  48. package/dist/verify/ai-inspection-runner.js +26 -7
  49. package/dist/verify/ai-inspection-runner.js.map +1 -1
  50. package/dist/verify/de-restatement.d.ts +9 -2
  51. package/dist/verify/de-restatement.d.ts.map +1 -1
  52. package/dist/verify/de-restatement.js +14 -76
  53. package/dist/verify/de-restatement.js.map +1 -1
  54. package/dist/verify/default-on-guards.d.ts +5 -2
  55. package/dist/verify/default-on-guards.d.ts.map +1 -1
  56. package/dist/verify/default-on-guards.js +5 -3
  57. package/dist/verify/default-on-guards.js.map +1 -1
  58. package/dist/verify/verification-deps-default.d.ts.map +1 -1
  59. package/dist/verify/verification-deps-default.js +6 -0
  60. package/dist/verify/verification-deps-default.js.map +1 -1
  61. package/dist/verify/verification-deps.d.ts +10 -0
  62. package/dist/verify/verification-deps.d.ts.map +1 -1
  63. package/dist/verify/verification-deterministic.d.ts +7 -0
  64. package/dist/verify/verification-deterministic.d.ts.map +1 -1
  65. package/dist/verify/verification-deterministic.js.map +1 -1
  66. package/dist/verify/verification-engine.d.ts +1 -20
  67. package/dist/verify/verification-engine.d.ts.map +1 -1
  68. package/dist/verify/verification-engine.js +24 -55
  69. package/dist/verify/verification-engine.js.map +1 -1
  70. package/dist/verify/verification-evidence-unavailable-feedback.d.ts +3 -1
  71. package/dist/verify/verification-evidence-unavailable-feedback.d.ts.map +1 -1
  72. package/dist/verify/verification-evidence-unavailable-feedback.js +3 -1
  73. package/dist/verify/verification-evidence-unavailable-feedback.js.map +1 -1
  74. package/dist/verify/verification-feedback.d.ts +4 -12
  75. package/dist/verify/verification-feedback.d.ts.map +1 -1
  76. package/dist/verify/verification-feedback.js +7 -12
  77. package/dist/verify/verification-feedback.js.map +1 -1
  78. package/dist/verify/verification-history-reset.d.ts.map +1 -1
  79. package/dist/verify/verification-history-reset.js +11 -3
  80. package/dist/verify/verification-history-reset.js.map +1 -1
  81. package/dist/verify/verification-model-unavailable-hold.d.ts +92 -0
  82. package/dist/verify/verification-model-unavailable-hold.d.ts.map +1 -0
  83. package/dist/verify/verification-model-unavailable-hold.js +207 -0
  84. package/dist/verify/verification-model-unavailable-hold.js.map +1 -0
  85. package/dist/verify/verification-strategies.d.ts +32 -0
  86. package/dist/verify/verification-strategies.d.ts.map +1 -0
  87. package/dist/verify/verification-strategies.js +47 -0
  88. package/dist/verify/verification-strategies.js.map +1 -0
  89. package/dist/verify/verify-reconciliation.d.ts.map +1 -1
  90. package/dist/verify/verify-reconciliation.js +2 -1
  91. package/dist/verify/verify-reconciliation.js.map +1 -1
  92. package/dist/verify/verify-restatement.d.ts.map +1 -1
  93. package/dist/verify/verify-restatement.js +21 -8
  94. package/dist/verify/verify-restatement.js.map +1 -1
  95. package/package.json +1 -1
@@ -48,6 +48,7 @@
48
48
  import { DELIVERY_STATUS, sendMessage, } from '@telora/daemon-core';
49
49
  import { getDeliveryGateState, updateDeliveryStatus, } from '../queries/deliveries.js';
50
50
  import { carryVerificationHistory, judgedFailedSha, } from '../queries/delivery-gate-state.js';
51
+ import { DETERMINISTIC_VERIFICATION_GUARD, SHORTFALL_RECONCILIATION_GUARD, UNCLEARABLE_SHORTFALL_GUARD, } from '../queries/verify-own-holds.js';
51
52
  import { resolveReconciledWrite } from '../delivery/delivery-reconciler-apply.js';
52
53
  import { getActiveTeams } from '../focus/focus-team-state.js';
53
54
  import { fileEscalationIdempotent as defaultFileEscalationIdempotent, } from '../queries/escalation-suppression.js';
@@ -65,16 +66,10 @@ function misattributedField(note) {
65
66
  return note && note.commits.length > 0 ? { misattributed: note } : {};
66
67
  }
67
68
  const log = createLogger({ module: 'verification' });
68
- /** gate_state guard name a deterministic verification failure reports under. */
69
- export const DETERMINISTIC_VERIFICATION_GUARD = 'deterministic_verification';
70
- /**
71
- * gate_state guard name a verify-SHORTFALL reconciliation hold reports under.
72
- * Distinct from the deterministic guard: a shortfall hold means the declared
73
- * desired effect was not realized by the diff, NOT that a shell command failed.
74
- * A reader must never see this conflated with a passed:false
75
- * deterministic_verification whose exitCode is 0.
76
- */
77
- export const SHORTFALL_RECONCILIATION_GUARD = 'verify_shortfall_reconciliation';
69
+ // The guard names verify writes are ONE vocabulary in queries/verify-own-holds.ts
70
+ // (VERIFY_OWN_HOLD_GUARDS -- what a verify pass supersedes); re-exported here for
71
+ // the importers that read them beside the feedback path.
72
+ export { DETERMINISTIC_VERIFICATION_GUARD, SHORTFALL_RECONCILIATION_GUARD };
78
73
  /** Build the gate_state for a failed deterministic run. Pure -- exported for testing. */
79
74
  export function buildVerificationFailureGateState(detail) {
80
75
  return {
@@ -390,8 +385,8 @@ export async function requeueShortfallAsRework(v, shortfalls, organizationId, de
390
385
  // ---------------------------------------------------------------------------
391
386
  // Unclearable shortfall: a DEFECT IN THE CLAIM, not team re-work
392
387
  // ---------------------------------------------------------------------------
393
- /** gate_state guard name for an unclearable-CLAIM shortfall hold (a modelling defect). */
394
- export const UNCLEARABLE_SHORTFALL_GUARD = 'verify_shortfall_unclearable_claim';
388
+ /** gate_state guard name for an unclearable-CLAIM shortfall hold (a modelling defect); defined in queries/verify-own-holds.ts. */
389
+ export { UNCLEARABLE_SHORTFALL_GUARD };
395
390
  const defaultUnclearableDeps = () => ({
396
391
  ...defaultDeps(),
397
392
  fileEscalation: defaultFileEscalationIdempotent,
@@ -1 +1 @@
1
- {"version":3,"file":"verification-feedback.js","sourceRoot":"","sources":["../../src/verify/verification-feedback.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,gFAAgF;AAChF,4FAA4F;AAC5F,sEAAsE;AACtE,6EAA6E;AAC7E,gFAAgF;AAChF,yEAAyE;AACzE,2DAA2D;AAC3D,kEAAkE;AAClE,8GAA8G;AAC9G,oEAAoE;AACpE,gEAAgE;AAChE,8DAA8D;AAC9D,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EACL,eAAe,EACf,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,oBAAoB,EACpB,oBAAoB,GAIrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,eAAe,GAChB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EACL,wBAAwB,IAAI,+BAA+B,GAG5D,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAwB,MAAM,gCAAgC,CAAC;AAC3H,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,GAE5B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,+BAA+B,EAC/B,2BAA2B,EAC3B,eAAe,GAChB,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,2BAA2B,GAG5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAA0B,MAAM,sBAAsB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAK3G,yGAAyG;AACzG,SAAS,kBAAkB,CAAC,IAA4C;IACtE,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD,gFAAgF;AAChF,MAAM,CAAC,MAAM,gCAAgC,GAAG,4BAA4B,CAAC;AAE7E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAG,iCAAiC,CAAC;AA8BhF,yFAAyF;AACzF,MAAM,UAAU,iCAAiC,CAAC,MAAiC;IACjF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,gCAAgC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC1E,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,QAAQ;QAC5B,YAAY,EAAE,MAAM;KACrB,CAAC;AACJ,CAAC;AAaD,MAAM,WAAW,GAAG,GAA6B,EAAE,CAAC,CAAC;IACnD,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,EAAE;QAC9D,4EAA4E;QAC5E,wDAAwD;QACxD,MAAM,oBAAoB,CAAC,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACtH,CAAC;IACD,cAAc;IACd,WAAW;IACX,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;CACpC,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,CAAyH,EACzH,MAAiC,EACjC,cAAsB,EACtB,OAA+E,EAAE;IAEjF,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,2BAA2B,EAAE,EAAE,GAAG,sBAAsB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC9G,yEAAyE;IACzE,8EAA8E;IAC9E,wEAAwE;IACxE,+EAA+E;IAC/E,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,oBAAoB,CAAC;QAC/D,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,gBAAgB,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC;QACzE,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,6BAA6B,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACpI,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,0CAA0C;IACvF,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,0CAA0C;IAC1F,MAAM,MAAM,GAA8B;QACxC,YAAY;QACZ,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QACjC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE;QACjB,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;IACF,kFAAkF;IAClF,mFAAmF;IACnF,MAAM,SAAS,GAAG,mBAAmB,CACnC,wBAAwB,CAAC,cAAc,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC,EACnF,EAAE,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,EAC9D,MAAM,CAAC,QAAQ,CAChB,CAAC;IAEF,gFAAgF;IAChF,wEAAwE;IACxE,qFAAqF;IACrF,mFAAmF;IACnF,mFAAmF;IACnF,2DAA2D;IAC3D,MAAM,2BAA2B,CAAC,CAAC,CAAC,UAAU,EAAE;QAC9C,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW;QACxF,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO;QAClD,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5F,EAAE,CAAC,CAAC,CAAC;IAEN,qEAAqE;IACrE,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,UAAU,oBAAoB,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACxG,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACjF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAE9E,qGAAqG;AACrG,MAAM,UAAU,uBAAuB,CAAC,MAAqC;IAC3E,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,8BAA8B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACxE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,uBAAuB,EAAE,MAAM;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,CAAuE,EACvE,UAAsC,EACtC,cAAsB,EACtB,OAA0C,EAAE;IAE5C,MAAM,CAAC,GAAG,EAAE,GAAG,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IACxC,MAAM,MAAM,GAAkC;QAC5C,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAElD,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QAChE,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACnF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AAgCD,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAyB,EAAE,CAAC,CAAC;IAC7D,GAAG,WAAW,EAAE;IAChB,kBAAkB,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE;QACtE,MAAM,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9F,CAAC;IACD,sBAAsB;IACtB,kBAAkB,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;IACpE,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC;CACjE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAmD,EACnD,UAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,gDAAgD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,CAAyH,EACzH,UAAsC,EACtC,cAAsB,EACtB,OAAsC,EAAE,EACxC,OAAuH,EAAE;IAEzH,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC/C,+EAA+E;IAC/E,6EAA6E;IAC7E,oFAAoF;IACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAkC;QAC5C,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,4EAA4E;QAC5E,qEAAqE;QACrE,+BAA+B;QAC/B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;KAC1C,CAAC;IACF,+EAA+E;IAC/E,kFAAkF;IAClF,gFAAgF;IAChF,MAAM,SAAS,GAAG,iBAAiB,CAAC,mBAAmB,CACrD,wBAAwB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,EACtF,IAAI,EACJ,MAAM,CAAC,MAAM,CACd,EAAE,IAAI,CAAC,CAAC;IAET,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACnF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,0FAA0F;AAC1F,MAAM,CAAC,MAAM,2BAA2B,GAAG,oCAAoC,CAAC;AAQhF,MAAM,sBAAsB,GAAG,GAA6B,EAAE,CAAC,CAAC;IAC9D,GAAG,WAAW,EAAE;IAChB,cAAc,EAAE,+BAA+B;CAChD,CAAC,CAAC;AAEH,2GAA2G;AAC3G,MAAM,UAAU,kCAAkC,CAAC,MAAqC;IACtF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACrE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,uBAAuB,EAAE,MAAM;KAChC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,iFAAiF;AACjF,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,2BAA2B,EAC3B,qBAAqB,EACrB,8BAA8B,EAC9B,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AAExC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAqF,EACrF,UAAsC,EACtC,MAAuB,EACvB,cAAsB,EACtB,OAA0C,EAAE,EAC5C,OAAmI,EAAE;IAErI,MAAM,CAAC,GAAG,EAAE,GAAG,sBAAsB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IACnD,MAAM,MAAM,GAAkC;QAC5C,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,MAAM;QACN,gBAAgB,EAAE,IAAI;QACtB,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;KAC1C,CAAC;IACF,MAAM,IAAI,GAAG,mBAAmB,CAC9B,wBAAwB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,kCAAkC,CAAC,MAAM,CAAC,CAAC,EACjG,IAAI,EACJ,MAAM,CAAC,MAAM,CACd,CAAC;IACF,mGAAmG;IACnG,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAExE,6EAA6E;IAC7E,6EAA6E;IAC7E,+EAA+E;IAC/E,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QAChE,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACrH,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,MAAM,2BAA2B,CACjD,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CACxF,CAAC;IACF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC;IAC7F,MAAM,QAAQ,GAAG,SAAS,IAAI,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,sHAAsH;AACtH,SAAS,mBAAmB,CAC1B,CAAmE,EACnE,CAAwD,EACxD,IAAmB,EACnB,MAAqC;IAErC,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,CAAC;QACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC1F,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAmBD,MAAM,gBAAgB,GAAG,GAAuB,EAAE,CAAC,CAAC;IAClD,GAAG,kBAAkB,EAAE;IACvB,GAAG,sBAAsB,EAAE;IAC3B,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,KAAK,UAAU,wBAAwB,CAAC,CAA+C,EAAE,UAAkB,EAAE,SAAwB;IACnI,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAChD,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6CAA6C,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,CAAqF,EACrF,UAAsC,EACtC,cAAsB,EACtB,OAAoC,EAAE,EACtC,OAAsF,EAAE;IAExF,MAAM,CAAC,GAAG,EAAE,GAAG,gBAAgB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC7C,gFAAgF;IAChF,8EAA8E;IAC9E,gFAAgF;IAChF,4BAA4B;IAC5B,MAAM,cAAc,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;IAE1F,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;IAErJ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,4BAA4B,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,EAAE;YAC3E,GAAG,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IAED,MAAM,wBAAwB,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACtG,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,0EAA0E;AAC1E,0EAA0E;AAC1E,OAAO,EACL,8BAA8B,GAE/B,MAAM,iCAAiC,CAAC;AAEzC,6DAA6D;AAC7D,oEAAoE;AACpE,8EAA8E;AAC9E,4EAA4E;AAC5E,kFAAkF;AAClF,+DAA+D"}
1
+ {"version":3,"file":"verification-feedback.js","sourceRoot":"","sources":["../../src/verify/verification-feedback.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,gFAAgF;AAChF,4FAA4F;AAC5F,sEAAsE;AACtE,6EAA6E;AAC7E,gFAAgF;AAChF,yEAAyE;AACzE,2DAA2D;AAC3D,kEAAkE;AAClE,8GAA8G;AAC9G,oEAAoE;AACpE,gEAAgE;AAChE,8DAA8D;AAC9D,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EACL,eAAe,EACf,WAAW,GACZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,oBAAoB,EACpB,oBAAoB,GAIrB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,eAAe,GAChB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EACL,gCAAgC,EAChC,8BAA8B,EAC9B,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EACL,wBAAwB,IAAI,+BAA+B,GAG5D,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC3F,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAwB,MAAM,gCAAgC,CAAC;AAC3H,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,GAE5B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,GAElB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,+BAA+B,EAC/B,2BAA2B,EAC3B,eAAe,GAChB,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,2BAA2B,GAG5B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAA0B,MAAM,sBAAsB,CAAC;AACxG,OAAO,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,mCAAmC,CAAC;AAK3G,yGAAyG;AACzG,SAAS,kBAAkB,CAAC,IAA4C;IACtE,OAAO,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD,kFAAkF;AAClF,kFAAkF;AAClF,yDAAyD;AACzD,OAAO,EAAE,gCAAgC,EAAE,8BAA8B,EAAE,CAAC;AA6B5E,yFAAyF;AACzF,MAAM,UAAU,iCAAiC,CAAC,MAAiC;IACjF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,gCAAgC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QAC1E,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,QAAQ;QAC5B,YAAY,EAAE,MAAM;KACrB,CAAC;AACJ,CAAC;AAaD,MAAM,WAAW,GAAG,GAA6B,EAAE,CAAC,CAAC;IACnD,cAAc,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,EAAE;QAC9D,4EAA4E;QAC5E,wDAAwD;QACxD,MAAM,oBAAoB,CAAC,UAAU,EAAE,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,cAAc,EAAE,CAAC,CAAC;IACtH,CAAC;IACD,cAAc;IACd,WAAW;IACX,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;CACpC,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,CAAyH,EACzH,MAAiC,EACjC,cAAsB,EACtB,OAA+E,EAAE;IAEjF,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,2BAA2B,EAAE,EAAE,GAAG,sBAAsB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC9G,yEAAyE;IACzE,8EAA8E;IAC9E,wEAAwE;IACxE,+EAA+E;IAC/E,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3E,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,oBAAoB,CAAC;QAC/D,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,gBAAgB,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC;QACzE,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,6BAA6B,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IACpI,MAAM,WAAW,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,0CAA0C;IACvF,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,0CAA0C;IAC1F,MAAM,MAAM,GAA8B;QACxC,YAAY;QACZ,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,OAAO,EAAE,MAAM,CAAC,OAAO,IAAI,IAAI;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QACjC,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE;QACjB,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;IACF,kFAAkF;IAClF,mFAAmF;IACnF,MAAM,SAAS,GAAG,mBAAmB,CACnC,wBAAwB,CAAC,cAAc,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC,EACnF,EAAE,SAAS,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,WAAW,EAAE,EAC9D,MAAM,CAAC,QAAQ,CAChB,CAAC;IAEF,gFAAgF;IAChF,wEAAwE;IACxE,qFAAqF;IACrF,mFAAmF;IACnF,mFAAmF;IACnF,2DAA2D;IAC3D,MAAM,2BAA2B,CAAC,CAAC,CAAC,UAAU,EAAE;QAC9C,GAAG,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW;QACxF,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO;QAClD,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5F,EAAE,CAAC,CAAC,CAAC;IAEN,qEAAqE;IACrE,sEAAsE;IACtE,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC,UAAU,oBAAoB,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACxG,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACjF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACrF,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,gFAAgF;AAChF,8EAA8E;AAE9E,qGAAqG;AACrG,MAAM,UAAU,uBAAuB,CAAC,MAAqC;IAC3E,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,8BAA8B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACxE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,uBAAuB,EAAE,MAAM;KAChC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,CAAuE,EACvE,UAAsC,EACtC,cAAsB,EACtB,OAA0C,EAAE;IAE5C,MAAM,CAAC,GAAG,EAAE,GAAG,WAAW,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IACxC,MAAM,MAAM,GAAkC;QAC5C,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAElD,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QAChE,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACzG,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACnF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC3C,CAAC;AAgCD,MAAM,CAAC,MAAM,kBAAkB,GAAG,GAAyB,EAAE,CAAC,CAAC;IAC7D,GAAG,WAAW,EAAE;IAChB,kBAAkB,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE;QACtE,MAAM,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IAC9F,CAAC;IACD,sBAAsB;IACtB,kBAAkB,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;IACpE,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,CAAC,MAAM,CAAC;CACjE,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAmD,EACnD,UAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,CAAC,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAChD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,gDAAgD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,CAAyH,EACzH,UAAsC,EACtC,cAAsB,EACtB,OAAsC,EAAE,EACxC,OAAuH,EAAE;IAEzH,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC/C,+EAA+E;IAC/E,6EAA6E;IAC7E,oFAAoF;IACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAAkC;QAC5C,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,4EAA4E;QAC5E,qEAAqE;QACrE,+BAA+B;QAC/B,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;KAC1C,CAAC;IACF,+EAA+E;IAC/E,kFAAkF;IAClF,gFAAgF;IAChF,MAAM,SAAS,GAAG,iBAAiB,CAAC,mBAAmB,CACrD,wBAAwB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,uBAAuB,CAAC,MAAM,CAAC,CAAC,EACtF,IAAI,EACJ,MAAM,CAAC,MAAM,CACd,EAAE,IAAI,CAAC,CAAC;IAET,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBACnF,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC/F,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,kIAAkI;AAClI,OAAO,EAAE,2BAA2B,EAAE,CAAC;AAQvC,MAAM,sBAAsB,GAAG,GAA6B,EAAE,CAAC,CAAC;IAC9D,GAAG,WAAW,EAAE;IAChB,cAAc,EAAE,+BAA+B;CAChD,CAAC,CAAC;AAEH,2GAA2G;AAC3G,MAAM,UAAU,kCAAkC,CAAC,MAAqC;IACtF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,2BAA2B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACrE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,uBAAuB,EAAE,MAAM;KAChC,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,iFAAiF;AACjF,OAAO,EACL,4BAA4B,EAC5B,+BAA+B,EAC/B,2BAA2B,EAC3B,qBAAqB,EACrB,8BAA8B,EAC9B,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,gCAAgC,CAAC;AAExC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,CAAqF,EACrF,UAAsC,EACtC,MAAuB,EACvB,cAAsB,EACtB,OAA0C,EAAE,EAC5C,OAAmI,EAAE;IAErI,MAAM,CAAC,GAAG,EAAE,GAAG,sBAAsB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IACnD,MAAM,MAAM,GAAkC;QAC5C,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;QACf,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACjC,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,QAAQ,EAAE,CAAC,CAAC,iBAAiB;YAC7B,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,MAAM;QACN,gBAAgB,EAAE,IAAI;QACtB,GAAG,kBAAkB,CAAC,IAAI,CAAC,aAAa,CAAC;KAC1C,CAAC;IACF,MAAM,IAAI,GAAG,mBAAmB,CAC9B,wBAAwB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,EAAE,kCAAkC,CAAC,MAAM,CAAC,CAAC,EACjG,IAAI,EACJ,MAAM,CAAC,MAAM,CACd,CAAC;IACF,mGAAmG;IACnG,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAExE,6EAA6E;IAC7E,6EAA6E;IAC7E,+EAA+E;IAC/E,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;QAChE,WAAW,GAAG,IAAI,CAAC;IACrB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACrH,CAAC;IAED,MAAM,IAAI,GAAG,eAAe,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,MAAM,2BAA2B,CACjD,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,aAAa,CACxF,CAAC;IACF,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC,QAAQ,CAAC;IAC7F,MAAM,QAAQ,GAAG,SAAS,IAAI,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACtE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACtD,CAAC;AAED,sHAAsH;AACtH,SAAS,mBAAmB,CAC1B,CAAmE,EACnE,CAAwD,EACxD,IAAmB,EACnB,MAAqC;IAErC,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5E,IAAI,CAAC;QACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC1F,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAmBD,MAAM,gBAAgB,GAAG,GAAuB,EAAE,CAAC,CAAC;IAClD,GAAG,kBAAkB,EAAE;IACvB,GAAG,sBAAsB,EAAE;IAC3B,gBAAgB,EAAE,GAAG,EAAE,CAAC,IAAI;CAC7B,CAAC,CAAC;AAEH,iFAAiF;AACjF,KAAK,UAAU,wBAAwB,CAAC,CAA+C,EAAE,UAAkB,EAAE,SAAwB;IACnI,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAChD,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6CAA6C,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC7F,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,CAAqF,EACrF,UAAsC,EACtC,cAAsB,EACtB,OAAoC,EAAE,EACtC,OAAsF,EAAE;IAExF,MAAM,CAAC,GAAG,EAAE,GAAG,gBAAgB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC7C,gFAAgF;IAChF,8EAA8E;IAC9E,gFAAgF;IAChF,4BAA4B;IAC5B,MAAM,cAAc,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,MAAM,wBAAwB,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;IAE1F,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB,CAAC,cAAc,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,IAAI,CAAC,kBAAkB,IAAI,IAAI,CAAC,CAAC;IAErJ,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,4BAA4B,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,EAAE;YAC3E,GAAG,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;QACH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC;IAED,MAAM,wBAAwB,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACtG,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAClD,CAAC;AAED,0EAA0E;AAC1E,0EAA0E;AAC1E,OAAO,EACL,8BAA8B,GAE/B,MAAM,iCAAiC,CAAC;AAEzC,6DAA6D;AAC7D,oEAAoE;AACpE,8EAA8E;AAC9E,4EAA4E;AAC5E,kFAAkF;AAClF,+DAA+D"}
@@ -1 +1 @@
1
- {"version":3,"file":"verification-history-reset.d.ts","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,0BAA0B,CAAC;AAOlC,OAAO,EAAE,iCAAiC,EAAE,KAAK,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKzG,4FAA4F;AAC5F,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAS7D;;;;;;;;;;;;GAYG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,EAClB,IAAI,GAAE,OAAO,CAAC,4BAA4B,CAAM,EAChD,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,OAAO,CAAC,OAAO,CAAC,CAgBlB;AAED,sEAAsE;AACtE,MAAM,WAAW,6BAA8B,SAAQ,4BAA4B;IACjF,aAAa,EAAE,OAAO,iCAAiC,CAAC;CACzD;AAED;;;;;GAKG;AACH,wBAAsB,yCAAyC,CAC7D,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,GAAE,MAAM,GAAG,IAAW,EAC/B,IAAI,GAAE,OAAO,CAAC,6BAA6B,CAAM,GAChD,OAAO,CAAC,IAAI,CAAC,CAGf"}
1
+ {"version":3,"file":"verification-history-reset.d.ts","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EAEL,KAAK,iBAAiB,EAEvB,MAAM,0BAA0B,CAAC;AAQlC,OAAO,EAAE,iCAAiC,EAAE,KAAK,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAKzG,4FAA4F;AAC5F,MAAM,MAAM,4BAA4B,GAAG,iBAAiB,CAAC;AAS7D;;;;;;;;;;;;GAYG;AACH,wBAAsB,8BAA8B,CAClD,UAAU,EAAE,MAAM,EAClB,IAAI,GAAE,OAAO,CAAC,4BAA4B,CAAM,EAChD,SAAS,GAAE,MAAM,GAAG,IAAW,GAC9B,OAAO,CAAC,OAAO,CAAC,CAsBlB;AAED,sEAAsE;AACtE,MAAM,WAAW,6BAA8B,SAAQ,4BAA4B;IACjF,aAAa,EAAE,OAAO,iCAAiC,CAAC;CACzD;AAED;;;;;GAKG;AACH,wBAAsB,yCAAyC,CAC7D,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,mBAAmB,EAC5B,SAAS,GAAE,MAAM,GAAG,IAAW,EAC/B,IAAI,GAAE,OAAO,CAAC,6BAA6B,CAAM,GAChD,OAAO,CAAC,IAAI,CAAC,CAGf"}
@@ -1,7 +1,8 @@
1
1
  // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
2
2
  // Pinned by: packages/daemon/src/integration/delivery-gate-write-interleaving.test.ts,
3
3
  // packages/daemon/src/integration/review-rework-resume-verdict.test.ts,
4
- // packages/daemon/src/verify/verification-feedback.test.ts
4
+ // packages/daemon/src/verify/verification-feedback.test.ts,
5
+ // packages/daemon/src/verify/verification-model-unavailable-hold.test.ts
5
6
  // PINNED-BY-END
6
7
  /**
7
8
  * Verify PASS: record the outcome and reset the delivery's verification history.
@@ -37,6 +38,7 @@
37
38
  */
38
39
  import { rewriteDeliveryGateStateAtOwnStatus, } from '../queries/deliveries.js';
39
40
  import { clearVerificationHistory, readVerificationHistory, stampJudgedCommit, } from '../queries/delivery-gate-state.js';
41
+ import { clearVerifyOwnHolds, hasVerifyOwnHold } from '../queries/verify-own-holds.js';
40
42
  import { recordDeliveryVerificationOutcome } from '../queries/verification.js';
41
43
  import { createLogger } from '../shell/log.js';
42
44
  const log = createLogger({ module: 'verification' });
@@ -66,10 +68,16 @@ export async function resetVerificationHistoryOnPass(deliveryId, deps = {}, pass
66
68
  const history = readVerificationHistory(row.gateState);
67
69
  const kept = passedSha !== null && history.judgedCommit?.sha === passedSha ? history.judgedCommit : null;
68
70
  const judgedCommitDropped = history.judgedCommit !== undefined && kept === null;
69
- if (!history.signatureRun && !history.shortfallRepeat && !history.failedAtSha && !history.shortfallPark && !judgedCommitDropped) {
71
+ // A pass supersedes verify's OWN holds too (queries/verify-own-holds.ts
72
+ // VERIFY_OWN_HOLD_GUARDS): a delivery that never left verify -- a released
73
+ // park, an awaited model -- would otherwise keep the stale guard that no done
74
+ // route accepts. Operator, external and commit-verdict holds are untouched.
75
+ const ownHold = hasVerifyOwnHold(row.gateState);
76
+ if (!history.signatureRun && !history.shortfallRepeat && !history.failedAtSha && !history.shortfallPark
77
+ && !judgedCommitDropped && !ownHold) {
70
78
  return undefined;
71
79
  }
72
- return withJudgedCommit(clearVerificationHistory(row.gateState), kept);
80
+ return withJudgedCommit(clearVerificationHistory(clearVerifyOwnHolds(row.gateState)), kept);
73
81
  }, { io: deps });
74
82
  return written === 'written';
75
83
  }
@@ -1 +1 @@
1
- {"version":3,"file":"verification-history-reset.js","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,0EAA0E;AAC1E,6DAA6D;AAC7D,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EACL,mCAAmC,GAGpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,GAElB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,iCAAiC,EAA4B,MAAM,4BAA4B,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,0GAA0G;AAC1G,SAAS,gBAAgB,CAAC,OAAiC,EAAE,IAAyB;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,MAAM,IAAI,GAAsB,OAAO,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtG,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB,EAClB,OAA8C,EAAE,EAChD,YAA2B,IAAI;IAE/B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,MAAM,mBAAmB,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC;YAChF,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,CAAC,mBAAmB,EAAE,CAAC;gBAChI,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,CAAC;QACzE,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACjB,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAOD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,UAAkB,EAClB,OAA4B,EAC5B,YAA2B,IAAI,EAC/B,OAA+C,EAAE;IAEjD,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,iCAAiC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9F,CAAC"}
1
+ {"version":3,"file":"verification-history-reset.js","sourceRoot":"","sources":["../../src/verify/verification-history-reset.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,0EAA0E;AAC1E,8DAA8D;AAC9D,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AAEH,OAAO,EACL,mCAAmC,GAGpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,GAElB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AACvF,OAAO,EAAE,iCAAiC,EAA4B,MAAM,4BAA4B,CAAC;AACzG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,0GAA0G;AAC1G,SAAS,gBAAgB,CAAC,OAAiC,EAAE,IAAyB;IACpF,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAC1B,MAAM,IAAI,GAAsB,OAAO,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;IACtG,OAAO,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;AAC5E,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,UAAkB,EAClB,OAA8C,EAAE,EAChD,YAA2B,IAAI;IAE/B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE;YAC5E,MAAM,OAAO,GAAG,uBAAuB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvD,MAAM,IAAI,GAAG,SAAS,KAAK,IAAI,IAAI,OAAO,CAAC,YAAY,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,MAAM,mBAAmB,GAAG,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI,CAAC;YAChF,wEAAwE;YACxE,2EAA2E;YAC3E,8EAA8E;YAC9E,4EAA4E;YAC5E,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,OAAO,CAAC,eAAe,IAAI,CAAC,OAAO,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,aAAa;mBAClG,CAAC,mBAAmB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACtC,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,gBAAgB,CAAC,wBAAwB,CAAC,mBAAmB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC9F,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACjB,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qDAAqD,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACrG,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAOD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yCAAyC,CAC7D,UAAkB,EAClB,OAA4B,EAC5B,YAA2B,IAAI,EAC/B,OAA+C,EAAE;IAEjD,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,iCAAiC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,QAAQ;QAAE,MAAM,8BAA8B,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;AAC9F,CAAC"}
@@ -0,0 +1,92 @@
1
+ /**
2
+ * Verify hold for a reconciliation that could not RUN.
3
+ *
4
+ * The reconciliation is a model call. When the model is not reached (a rate
5
+ * limit, an auth failure, a timeout, a spawn error -- spawn/one-shot-model.ts
6
+ * ModelUnavailable) the gate has judged NOTHING: not the work (a shortfall),
7
+ * not the evidence (an instrument fault). Before this module the engine wrote
8
+ * that failure into the shortfall slot, and on 2026-09-23 a ten-hour provider
9
+ * rate limit was routed exactly like a judged shortfall -- outcome failed,
10
+ * verify_failed, a coding team spawned into the same limit, an iteration charged,
11
+ * and after three identical rounds a park that only a human ruling releases.
12
+ *
13
+ * Here the failure is a HOLD: `verify_model_unavailable` in `blocking`, the
14
+ * typed detail under `modelUnavailable`, written at the delivery's OWN status
15
+ * (never a transition, so no iteration, no re-work, no repeat signature). The
16
+ * next verification tick re-judges the same commit, and the first judgement
17
+ * that renders replaces the hold: a shortfall route rebuilds gate_state under
18
+ * its own guard, a pass drops every verify-own hold
19
+ * (verify/verification-history-reset.ts). The spawn cooldown's provider window keeps a rate-limited daemon
20
+ * from spawning the retry until the reset, so the hold costs no subprocess.
21
+ *
22
+ * @module verify/verification-model-unavailable-hold
23
+ */
24
+ import { type DeliveryGateRowIo, type DeliveryGateState } from '../queries/deliveries.js';
25
+ import { MODEL_UNAVAILABLE_GUARD, type ModelUnavailableDetail } from '../queries/verify-own-holds.js';
26
+ import { type ModelUnavailable } from '../spawn/one-shot-model.js';
27
+ import type { PendingVerification } from '../queries/verification.js';
28
+ import type { StrategyResult } from './verification-deterministic.js';
29
+ import type { TargetShortfall } from './verify-restatement.js';
30
+ import type { VerificationDeps } from './verification-deps.js';
31
+ export { MODEL_UNAVAILABLE_GUARD };
32
+ /**
33
+ * What a reconciliation THROW means to the engine. An absent judge (ModelUnavailable)
34
+ * is a hold -- nothing was judged, so nothing is signed; 2026-09-23: this exact
35
+ * failure, signed as a shortfall three times on an unchanged commit set, parked four
36
+ * deliveries for a human ruling. Any other throw is a reconciliation that ran but
37
+ * could not be completed: asymmetric-unsafe to flip, so the whole injection is a
38
+ * shortfall and the gate holds.
39
+ */
40
+ export declare function classifyReconciliationThrow(err: unknown, injectionNodeId: string): {
41
+ hold: ModelUnavailableDetail;
42
+ shortfalls?: undefined;
43
+ } | {
44
+ hold?: undefined;
45
+ shortfalls: TargetShortfall[];
46
+ };
47
+ /**
48
+ * Demote a run's result to the awaited-judge outcome: 'pending' is the engine's
49
+ * no-verdict outcome (the ai_inspection inconclusive path), so the reconciler moves
50
+ * nothing and the next tick re-selects the row (StrategyResult.modelUnavailable
51
+ * releases the default-on run mark). Mutates `result`.
52
+ */
53
+ export declare function markAwaitingModel(result: StrategyResult, hold: ModelUnavailableDetail, injectionNodeId: string): void;
54
+ /**
55
+ * Write the awaited hold through the engine's dep. A missing dep (a test seam)
56
+ * holds in memory only: the 'pending' outcome already keeps the reconciler from
57
+ * moving the delivery. Best-effort: a failure is logged, never thrown.
58
+ */
59
+ export declare function holdAwaitedDelivery(hold: ((v: PendingVerification, detail: ModelUnavailableDetail) => Promise<void>) | undefined, v: PendingVerification, detail: ModelUnavailableDetail): Promise<void>;
60
+ /** The hold detail for a typed unavailability. Pure. */
61
+ export declare function modelUnavailableDetailOf(err: ModelUnavailable, heldAt?: string): ModelUnavailableDetail;
62
+ /**
63
+ * `prior` with the model-unavailable hold set. Everything else the row carries
64
+ * stays: a standing shortfall park is still authoritative, an operator hold is
65
+ * still an operator hold, the judged commit is still the judged commit. A hold
66
+ * already present is replaced (its detail is refreshed). Pure.
67
+ */
68
+ export declare function buildModelUnavailableGateState(prior: DeliveryGateState | null, detail: ModelUnavailableDetail): DeliveryGateState;
69
+ /**
70
+ * Whether a delivery's done route is held because its verify reconciliation
71
+ * could not RUN (gate_state.modelUnavailable). Read by the review exit: the
72
+ * per-commit gate verdict it reads was recorded BEFORE the reconciliation threw
73
+ * and says nothing about the injection; a done written over it would stamp the
74
+ * injection with no restatements. Verify releases the hold on its next
75
+ * judgement. Logs the hold.
76
+ */
77
+ export declare function heldOnAwaitedModel(d: {
78
+ name: string;
79
+ gateState?: unknown;
80
+ }): boolean;
81
+ /** Injected row IO (the real row read and physical write by default) plus the observation seam. */
82
+ export type ModelUnavailableHoldDeps = DeliveryGateRowIo & Pick<VerificationDeps, 'fileEscalation' | 'organizationId'>;
83
+ /** Test seam: forget surfaced conditions. */
84
+ export declare function __resetModelUnavailableSurfacingForTests(): void;
85
+ /**
86
+ * Record the hold on the delivery, at its own status, and surface a
87
+ * non-rate-limit unavailability once. Best-effort: a write failure is logged
88
+ * and the next tick's re-judgement records it again. Returns whether the hold
89
+ * was written.
90
+ */
91
+ export declare function holdForModelUnavailable(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName'> & Partial<Pick<PendingVerification, 'focusId' | 'productId'>>, detail: ModelUnavailableDetail, deps?: Partial<ModelUnavailableHoldDeps>): Promise<boolean>;
92
+ //# sourceMappingURL=verification-model-unavailable-hold.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verification-model-unavailable-hold.d.ts","sourceRoot":"","sources":["../../src/verify/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAEL,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EACvB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAA2B,uBAAuB,EAAE,KAAK,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAC/H,OAAO,EAAsB,KAAK,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D,OAAO,EAAE,uBAAuB,EAAE,CAAC;AAEnC;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,OAAO,EACZ,eAAe,EAAE,MAAM,GACtB;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,UAAU,CAAC,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAA;CAAE,CAchH;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,MAAM,GAAG,IAAI,CAMrH;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,sBAAsB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,SAAS,EAC7F,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,GAC7B,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wDAAwD;AACxD,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,EAAE,MAAM,GAAE,MAAiC,GAAG,sBAAsB,CAQjI;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GAAG,IAAI,EAC/B,MAAM,EAAE,sBAAsB,GAC7B,iBAAiB,CAYnB;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAOpF;AAED,mGAAmG;AACnG,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,gBAAgB,CAAC,CAAC;AAKvH,6CAA6C;AAC7C,wBAAgB,wCAAwC,IAAI,IAAI,CAE/D;AAuDD;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,SAAS,GAAG,WAAW,CAAC,CAAC,EACzH,MAAM,EAAE,sBAAsB,EAC9B,IAAI,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAC3C,OAAO,CAAC,OAAO,CAAC,CAwBlB"}
@@ -0,0 +1,207 @@
1
+ // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
2
+ // Pinned by: packages/daemon/src/verify/verification-model-unavailable-hold.test.ts
3
+ // PINNED-BY-END
4
+ /**
5
+ * Verify hold for a reconciliation that could not RUN.
6
+ *
7
+ * The reconciliation is a model call. When the model is not reached (a rate
8
+ * limit, an auth failure, a timeout, a spawn error -- spawn/one-shot-model.ts
9
+ * ModelUnavailable) the gate has judged NOTHING: not the work (a shortfall),
10
+ * not the evidence (an instrument fault). Before this module the engine wrote
11
+ * that failure into the shortfall slot, and on 2026-09-23 a ten-hour provider
12
+ * rate limit was routed exactly like a judged shortfall -- outcome failed,
13
+ * verify_failed, a coding team spawned into the same limit, an iteration charged,
14
+ * and after three identical rounds a park that only a human ruling releases.
15
+ *
16
+ * Here the failure is a HOLD: `verify_model_unavailable` in `blocking`, the
17
+ * typed detail under `modelUnavailable`, written at the delivery's OWN status
18
+ * (never a transition, so no iteration, no re-work, no repeat signature). The
19
+ * next verification tick re-judges the same commit, and the first judgement
20
+ * that renders replaces the hold: a shortfall route rebuilds gate_state under
21
+ * its own guard, a pass drops every verify-own hold
22
+ * (verify/verification-history-reset.ts). The spawn cooldown's provider window keeps a rate-limited daemon
23
+ * from spawning the retry until the reset, so the hold costs no subprocess.
24
+ *
25
+ * @module verify/verification-model-unavailable-hold
26
+ */
27
+ import { rewriteDeliveryGateStateAtOwnStatus, } from '../queries/deliveries.js';
28
+ import { hasModelUnavailableHold, MODEL_UNAVAILABLE_GUARD } from '../queries/verify-own-holds.js';
29
+ import { isModelUnavailable } from '../spawn/one-shot-model.js';
30
+ import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
31
+ import { createLogger } from '../shell/log.js';
32
+ const log = createLogger({ module: 'verification' });
33
+ export { MODEL_UNAVAILABLE_GUARD };
34
+ /**
35
+ * What a reconciliation THROW means to the engine. An absent judge (ModelUnavailable)
36
+ * is a hold -- nothing was judged, so nothing is signed; 2026-09-23: this exact
37
+ * failure, signed as a shortfall three times on an unchanged commit set, parked four
38
+ * deliveries for a human ruling. Any other throw is a reconciliation that ran but
39
+ * could not be completed: asymmetric-unsafe to flip, so the whole injection is a
40
+ * shortfall and the gate holds.
41
+ */
42
+ export function classifyReconciliationThrow(err, injectionNodeId) {
43
+ if (isModelUnavailable(err)) {
44
+ log.warn(`[verification] reconciliation could not run for ${injectionNodeId} (awaited, not judged):`, err.message);
45
+ return { hold: modelUnavailableDetailOf(err) };
46
+ }
47
+ log.warn(`[verification] verify-time reconciliation failed for ${injectionNodeId}:`, err.message);
48
+ return {
49
+ shortfalls: [{
50
+ nodeId: injectionNodeId,
51
+ declaredStatement: '(unknown -- reconciliation failed)',
52
+ achievedStatement: '(reconciliation failed)',
53
+ reason: `Reconciliation failed: ${err.message}`,
54
+ }],
55
+ };
56
+ }
57
+ /**
58
+ * Demote a run's result to the awaited-judge outcome: 'pending' is the engine's
59
+ * no-verdict outcome (the ai_inspection inconclusive path), so the reconciler moves
60
+ * nothing and the next tick re-selects the row (StrategyResult.modelUnavailable
61
+ * releases the default-on run mark). Mutates `result`.
62
+ */
63
+ export function markAwaitingModel(result, hold, injectionNodeId) {
64
+ result.outcome = 'pending';
65
+ result.modelUnavailable = true;
66
+ result.rationale =
67
+ `verify reconciliation could not run (${hold.kind}${hold.resetAt ? `, resets ${hold.resetAt}` : ''}); ` +
68
+ `injection ${injectionNodeId} awaits the model -- not flipped, not a shortfall, re-judged on a later tick`;
69
+ }
70
+ /**
71
+ * Write the awaited hold through the engine's dep. A missing dep (a test seam)
72
+ * holds in memory only: the 'pending' outcome already keeps the reconciler from
73
+ * moving the delivery. Best-effort: a failure is logged, never thrown.
74
+ */
75
+ export async function holdAwaitedDelivery(hold, v, detail) {
76
+ if (!hold)
77
+ return;
78
+ try {
79
+ await hold(v, detail);
80
+ }
81
+ catch (err) {
82
+ log.warn(`[verification] model-unavailable hold failed for delivery ${v.deliveryId}:`, err.message);
83
+ }
84
+ }
85
+ /** The hold detail for a typed unavailability. Pure. */
86
+ export function modelUnavailableDetailOf(err, heldAt = new Date().toISOString()) {
87
+ return {
88
+ heldAt,
89
+ kind: err.kind,
90
+ resetAt: err.resetAtMs !== null ? new Date(err.resetAtMs).toISOString() : null,
91
+ label: err.label,
92
+ message: err.message,
93
+ };
94
+ }
95
+ /**
96
+ * `prior` with the model-unavailable hold set. Everything else the row carries
97
+ * stays: a standing shortfall park is still authoritative, an operator hold is
98
+ * still an operator hold, the judged commit is still the judged commit. A hold
99
+ * already present is replaced (its detail is refreshed). Pure.
100
+ */
101
+ export function buildModelUnavailableGateState(prior, detail) {
102
+ const base = prior ?? { blocking: [], warnings: [], evaluatedAt: detail.heldAt };
103
+ return {
104
+ ...base,
105
+ blocking: [
106
+ ...(base.blocking ?? []).filter((b) => b.guardName !== MODEL_UNAVAILABLE_GUARD),
107
+ { guardName: MODEL_UNAVAILABLE_GUARD, passed: false },
108
+ ],
109
+ warnings: base.warnings ?? [],
110
+ evaluatedAt: detail.heldAt,
111
+ modelUnavailable: detail,
112
+ };
113
+ }
114
+ /**
115
+ * Whether a delivery's done route is held because its verify reconciliation
116
+ * could not RUN (gate_state.modelUnavailable). Read by the review exit: the
117
+ * per-commit gate verdict it reads was recorded BEFORE the reconciliation threw
118
+ * and says nothing about the injection; a done written over it would stamp the
119
+ * injection with no restatements. Verify releases the hold on its next
120
+ * judgement. Logs the hold.
121
+ */
122
+ export function heldOnAwaitedModel(d) {
123
+ if (!hasModelUnavailableHold(d.gateState))
124
+ return false;
125
+ log.info(`[focus-executor] Delivery "${d.name}" NOT moved to done -- its verify reconciliation could not run ` +
126
+ `(model unavailable). Left in verify; verify re-judges it on a later tick.`);
127
+ return true;
128
+ }
129
+ /** (deliveryId, kind) pairs already surfaced this process: one observation per condition, not one per tick. */
130
+ const surfaced = new Set();
131
+ /** Test seam: forget surfaced conditions. */
132
+ export function __resetModelUnavailableSurfacingForTests() {
133
+ surfaced.clear();
134
+ }
135
+ /**
136
+ * The human act a non-rate-limit unavailability names, when one exists. A rate
137
+ * limit names none (the window clears itself); auth and a missing CLI are host
138
+ * conditions only an operator reaches; a timeout or an unclassified exit is an
139
+ * observation an agent can read the log for.
140
+ */
141
+ function humanActFor(kind) {
142
+ switch (kind) {
143
+ case 'auth':
144
+ return { kind: 'unreachable_capability', act: 'On the daemon host, re-authenticate the claude CLI (claude login) and confirm a one-shot `claude --print` answers.' };
145
+ case 'spawn':
146
+ return { kind: 'unreachable_capability', act: 'On the daemon host, install or repair the claude CLI the daemon spawns (config claudeCodePath / PATH) and confirm a one-shot `claude --print` answers.' };
147
+ default:
148
+ return null;
149
+ }
150
+ }
151
+ /**
152
+ * Surface a NON-rate-limit unavailability once per (delivery, kind) in the
153
+ * machine lane. A rate limit is bounded by the provider window and clears
154
+ * itself; an expired credential or a missing CLI would otherwise be an
155
+ * indefinite, silent retry every tick. Best-effort; never throws.
156
+ */
157
+ async function surfaceModelUnavailable(v, detail, deps) {
158
+ if (detail.kind === 'rate_limit' || !deps.fileEscalation || !deps.organizationId)
159
+ return;
160
+ const key = `${v.deliveryId}:${detail.kind}`;
161
+ if (surfaced.has(key))
162
+ return;
163
+ surfaced.add(key);
164
+ const act = humanActFor(detail.kind);
165
+ try {
166
+ await deps.fileEscalation({
167
+ organizationId: deps.organizationId,
168
+ ...(v.focusId ? { focusId: v.focusId } : {}),
169
+ ...(v.productId ? { productId: v.productId } : {}),
170
+ reason: `Verify cannot judge delivery "${v.deliveryName}": its reconciliation model call (${detail.label}) ` +
171
+ `could not run (${detail.kind}): ${detail.message}. The delivery is held in verify as awaited -- no verdict, ` +
172
+ `no re-work, no iteration -- and re-tried on every verification tick until the model answers.`,
173
+ reasonType: ESCALATION_REASONS.ERROR_ENCOUNTERED,
174
+ disposition: act ? ESCALATION_DISPOSITIONS.NEEDS_OPERATOR : ESCALATION_DISPOSITIONS.AGENT_RESOLVABLE,
175
+ humanAct: act,
176
+ kind: 'verify_model_unavailable',
177
+ details: { delivery_id: v.deliveryId, model_unavailable_kind: detail.kind, label: detail.label, error: detail.message },
178
+ });
179
+ }
180
+ catch (err) {
181
+ log.warn(`[verification] could not surface the model-unavailable hold for delivery ${v.deliveryId}:`, err.message);
182
+ }
183
+ }
184
+ /**
185
+ * Record the hold on the delivery, at its own status, and surface a
186
+ * non-rate-limit unavailability once. Best-effort: a write failure is logged
187
+ * and the next tick's re-judgement records it again. Returns whether the hold
188
+ * was written.
189
+ */
190
+ export async function holdForModelUnavailable(v, detail, deps = {}) {
191
+ await surfaceModelUnavailable(v, detail, deps);
192
+ try {
193
+ const written = await rewriteDeliveryGateStateAtOwnStatus(v.deliveryId, (row) => buildModelUnavailableGateState(row.gateState, detail), { io: deps });
194
+ if (written === 'written') {
195
+ log.info(`[verification] delivery "${v.deliveryName}" (${v.deliveryId}) awaits the model: ` +
196
+ `${detail.label} could not run (${detail.kind}` +
197
+ `${detail.resetAt ? `, resets ${detail.resetAt}` : ''}) -- no verdict, no re-work, ` +
198
+ `re-judged on a later tick`);
199
+ }
200
+ return written === 'written';
201
+ }
202
+ catch (err) {
203
+ log.warn(`[verification] failed to record the model-unavailable hold for delivery ${v.deliveryId}:`, err.message);
204
+ return false;
205
+ }
206
+ }
207
+ //# sourceMappingURL=verification-model-unavailable-hold.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verification-model-unavailable-hold.js","sourceRoot":"","sources":["../../src/verify/verification-model-unavailable-hold.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EACL,mCAAmC,GAGpC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,uBAAuB,EAAE,uBAAuB,EAA+B,MAAM,gCAAgC,CAAC;AAC/H,OAAO,EAAE,kBAAkB,EAAyB,MAAM,4BAA4B,CAAC;AAMvF,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,OAAO,EAAE,uBAAuB,EAAE,CAAC;AAEnC;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAY,EACZ,eAAuB;IAEvB,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,mDAAmD,eAAe,yBAAyB,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;QACnH,OAAO,EAAE,IAAI,EAAE,wBAAwB,CAAC,GAAG,CAAC,EAAE,CAAC;IACjD,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,wDAAwD,eAAe,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAC7G,OAAO;QACL,UAAU,EAAE,CAAC;gBACX,MAAM,EAAE,eAAe;gBACvB,iBAAiB,EAAE,oCAAoC;gBACvD,iBAAiB,EAAE,yBAAyB;gBAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;aAC3D,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAAE,IAA4B,EAAE,eAAuB;IAC7G,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;IAC3B,MAAM,CAAC,gBAAgB,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,SAAS;QACd,wCAAwC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK;YACvG,aAAa,eAAe,8EAA8E,CAAC;AAC/G,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAA6F,EAC7F,CAAsB,EACtB,MAA8B;IAE9B,IAAI,CAAC,IAAI;QAAE,OAAO;IAClB,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IACxB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACjH,CAAC;AACH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,wBAAwB,CAAC,GAAqB,EAAE,SAAiB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IACvG,OAAO;QACL,MAAM;QACN,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI;QAC9E,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,8BAA8B,CAC5C,KAA+B,EAC/B,MAA8B;IAE9B,MAAM,IAAI,GAAsB,KAAK,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACpG,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,uBAAuB,CAAC;YAC/E,EAAE,SAAS,EAAE,uBAAuB,EAAE,MAAM,EAAE,KAAK,EAAE;SACtD;QACD,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB,EAAE,MAAM;KACzB,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAAwC;IACzE,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAC;IACxD,GAAG,CAAC,IAAI,CACN,8BAA8B,CAAC,CAAC,IAAI,iEAAiE;QACrG,2EAA2E,CAC5E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAKD,+GAA+G;AAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;AAEnC,6CAA6C;AAC7C,MAAM,UAAU,wCAAwC;IACtD,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,SAAS,WAAW,CAAC,IAAoC;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,oHAAoH,EAAE,CAAC;QACvK,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,wJAAwJ,EAAE,CAAC;QAC3M;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,uBAAuB,CACpC,CAAyH,EACzH,MAA8B,EAC9B,IAAuC;IAEvC,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,cAAc;QAAE,OAAO;IACzF,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;IAC7C,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;QAAE,OAAO;IAC9B,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAClB,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC;YACxB,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,EACJ,iCAAiC,CAAC,CAAC,YAAY,qCAAqC,MAAM,CAAC,KAAK,IAAI;gBACpG,kBAAkB,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,OAAO,6DAA6D;gBAC9G,8FAA8F;YAChG,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;YAChD,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,uBAAuB,CAAC,cAAc,CAAC,CAAC,CAAC,uBAAuB,CAAC,gBAAgB;YACpG,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,0BAA0B;YAChC,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,UAAU,EAAE,sBAAsB,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE;SACxH,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IAChI,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,CAAyH,EACzH,MAA8B,EAC9B,OAA0C,EAAE;IAE5C,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,mCAAmC,CACvD,CAAC,CAAC,UAAU,EACZ,CAAC,GAAG,EAAE,EAAE,CAAC,8BAA8B,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,EAC9D,EAAE,EAAE,EAAE,IAAI,EAAE,CACb,CAAC;QACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,sBAAsB;gBAClF,GAAG,MAAM,CAAC,KAAK,mBAAmB,MAAM,CAAC,IAAI,EAAE;gBAC/C,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,+BAA+B;gBACpF,2BAA2B,CAC5B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,KAAK,SAAS,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,2EAA2E,CAAC,CAAC,UAAU,GAAG,EACzF,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC"}
@@ -0,0 +1,32 @@
1
+ /**
2
+ * The per-method verification strategy bodies the engine dispatches
3
+ * (verify/verification-engine.ts STRATEGIES): the behavioral scaffold and the
4
+ * tool-augmented ai_inspection runner mapping. Split out of the engine at the
5
+ * daemon 800-line ceiling; the engine re-exports both for existing importers.
6
+ *
7
+ * @module verify/verification-strategies
8
+ */
9
+ import type { StrategyResult } from './verification-deterministic.js';
10
+ import type { VerificationDeps } from './verification-deps.js';
11
+ import type { PendingVerification } from '../queries/verification.js';
12
+ import type { InspectionResult } from './ai-inspection-runner.js';
13
+ export declare function runBehavioralStrategy(): Promise<StrategyResult>;
14
+ /**
15
+ * Spawn a tool-augmented Claude runner against the focus worktree to judge
16
+ * whether the injection's FRT statement holds in the code state. Maps the
17
+ * runner verdict to a verification outcome:
18
+ * - passed → outcome 'passed' (caller will retire injection)
19
+ * - failed → outcome 'failed' (caller will revert delivery to coding)
20
+ * - inconclusive → outcome 'pending' (caller leaves the row in queue)
21
+ *
22
+ * The strategy itself does NOT call verifyInjection or emit drift proposals;
23
+ * those side effects are wired by runVerificationForDelivery (next task)
24
+ * so the dispatch layer stays the single owner of the pass-path side effect.
25
+ *
26
+ * Drift observations from the runner are returned via the rationale field
27
+ * (compact JSON) so the caller can persist them as crt_drift_proposals.
28
+ */
29
+ export declare function runAiInspectionStrategy(deps: VerificationDeps, v: PendingVerification): Promise<StrategyResult & {
30
+ inspection?: InspectionResult;
31
+ }>;
32
+ //# sourceMappingURL=verification-strategies.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verification-strategies.d.ts","sourceRoot":"","sources":["../../src/verify/verification-strategies.ts"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAuB,MAAM,4BAA4B,CAAC;AAC3F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAMlE,wBAAsB,qBAAqB,IAAI,OAAO,CAAC,cAAc,CAAC,CAKrE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,CAAC,CAmB7D"}
@@ -0,0 +1,47 @@
1
+ // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
2
+ // Pinned by: packages/daemon/src/verify/verification-engine.test.ts
3
+ // PINNED-BY-END
4
+ // ---------------------------------------------------------------------------
5
+ // Strategies
6
+ // ---------------------------------------------------------------------------
7
+ export async function runBehavioralStrategy() {
8
+ return {
9
+ outcome: 'pending',
10
+ rationale: 'behavioral strategy scaffold -- runtime telemetry source not yet wired (see drift detection 82bdf164)',
11
+ };
12
+ }
13
+ /**
14
+ * Spawn a tool-augmented Claude runner against the focus worktree to judge
15
+ * whether the injection's FRT statement holds in the code state. Maps the
16
+ * runner verdict to a verification outcome:
17
+ * - passed → outcome 'passed' (caller will retire injection)
18
+ * - failed → outcome 'failed' (caller will revert delivery to coding)
19
+ * - inconclusive → outcome 'pending' (caller leaves the row in queue)
20
+ *
21
+ * The strategy itself does NOT call verifyInjection or emit drift proposals;
22
+ * those side effects are wired by runVerificationForDelivery (next task)
23
+ * so the dispatch layer stays the single owner of the pass-path side effect.
24
+ *
25
+ * Drift observations from the runner are returned via the rationale field
26
+ * (compact JSON) so the caller can persist them as crt_drift_proposals.
27
+ */
28
+ export async function runAiInspectionStrategy(deps, v) {
29
+ const inputs = await deps.resolveAiInspectionInputs(v);
30
+ if (!inputs) {
31
+ return {
32
+ outcome: 'pending',
33
+ rationale: 'ai_inspection skipped: injection node not found',
34
+ };
35
+ }
36
+ const inspection = await deps.runAiInspection(inputs);
37
+ const outcome = inspection.verdict === 'passed' ? 'passed'
38
+ : inspection.verdict === 'failed' ? 'failed'
39
+ : 'pending';
40
+ return {
41
+ outcome,
42
+ rationale: inspection.rationale,
43
+ deliveryDiff: inputs.deliveryDiff,
44
+ inspection,
45
+ };
46
+ }
47
+ //# sourceMappingURL=verification-strategies.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"verification-strategies.js","sourceRoot":"","sources":["../../src/verify/verification-strategies.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oEAAoE;AACpE,gBAAgB;AAehB,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,OAAO;QACP,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU;KACX,CAAC;AACJ,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../src/verify/verify-reconciliation.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAE7B,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAElD,eAAO,MAAM,uBAAuB,4wFAgBoX,CAAC;AAEzZ,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAED,wGAAwG;AACxG,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CA4CzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAsDxE;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,gBAAqB,GAC1B,OAAO,CAAC,iBAAiB,CAAC,CA+B5B"}
1
+ {"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../src/verify/verify-reconciliation.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,qBAAqB,CAAC;AAE7B,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAElD,eAAO,MAAM,uBAAuB,4wFAgBoX,CAAC;AAEzZ,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAED,wGAAwG;AACxG,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CA4CzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAsDxE;AAED;;;;;;GAMG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,gBAAqB,GAC1B,OAAO,CAAC,iBAAiB,CAAC,CAgC5B"}
@@ -217,7 +217,8 @@ export function parseReconcileJson(raw) {
217
217
  export async function reconcileAchievedEffect(inputs, opts = {}) {
218
218
  const systemPrompt = buildReconcileSystemPrompt();
219
219
  const userMessage = buildReconcileUserMessage(inputs);
220
- const invoke = opts.invokeModel ?? ((sys, msg) => invokeClaudeCli(sys, msg, opts));
220
+ const invoke = opts.invokeModel
221
+ ?? ((sys, msg) => invokeClaudeCli(sys, msg, { label: 'verify-reconciliation', ...opts }));
221
222
  const raw = await invoke(systemPrompt, userMessage);
222
223
  const judgment = parseReconcileJson(raw);
223
224
  if (!judgment) {