@telora/daemon 0.23.48 → 0.23.54

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 (310) hide show
  1. package/build-info.json +2 -2
  2. package/dist/completion/review-exit/review-census-record.d.ts.map +1 -1
  3. package/dist/completion/review-exit/review-census-record.js +2 -0
  4. package/dist/completion/review-exit/review-census-record.js.map +1 -1
  5. package/dist/completion/state-cascade/failed-verdict-stranded-filing.d.ts +35 -0
  6. package/dist/completion/state-cascade/failed-verdict-stranded-filing.d.ts.map +1 -0
  7. package/dist/completion/state-cascade/failed-verdict-stranded-filing.js +93 -0
  8. package/dist/completion/state-cascade/failed-verdict-stranded-filing.js.map +1 -0
  9. package/dist/completion/state-cascade/review-approved-head-gate.d.ts.map +1 -1
  10. package/dist/completion/state-cascade/review-approved-head-gate.js +1 -0
  11. package/dist/completion/state-cascade/review-approved-head-gate.js.map +1 -1
  12. package/dist/completion/state-cascade/review-next-step.d.ts +19 -6
  13. package/dist/completion/state-cascade/review-next-step.d.ts.map +1 -1
  14. package/dist/completion/state-cascade/review-next-step.js +6 -2
  15. package/dist/completion/state-cascade/review-next-step.js.map +1 -1
  16. package/dist/completion/state-cascade/review-request-gate.d.ts +5 -0
  17. package/dist/completion/state-cascade/review-request-gate.d.ts.map +1 -1
  18. package/dist/completion/state-cascade/review-request-gate.js +7 -1
  19. package/dist/completion/state-cascade/review-request-gate.js.map +1 -1
  20. package/dist/completion/state-cascade/review-verify-judgment-gate.d.ts +137 -0
  21. package/dist/completion/state-cascade/review-verify-judgment-gate.d.ts.map +1 -0
  22. package/dist/completion/state-cascade/review-verify-judgment-gate.js +98 -0
  23. package/dist/completion/state-cascade/review-verify-judgment-gate.js.map +1 -0
  24. package/dist/completion/state-cascade/standing-approval-convergence.d.ts +8 -2
  25. package/dist/completion/state-cascade/standing-approval-convergence.d.ts.map +1 -1
  26. package/dist/completion/state-cascade/standing-approval-convergence.js +33 -7
  27. package/dist/completion/state-cascade/standing-approval-convergence.js.map +1 -1
  28. package/dist/completion/state-cascade/standing-approval-failed-verdict.d.ts +107 -0
  29. package/dist/completion/state-cascade/standing-approval-failed-verdict.d.ts.map +1 -0
  30. package/dist/completion/state-cascade/standing-approval-failed-verdict.js +121 -0
  31. package/dist/completion/state-cascade/standing-approval-failed-verdict.js.map +1 -0
  32. package/dist/completion/state-cascade/standing-approval-stranded.d.ts +29 -3
  33. package/dist/completion/state-cascade/standing-approval-stranded.d.ts.map +1 -1
  34. package/dist/completion/state-cascade/standing-approval-stranded.js +120 -7
  35. package/dist/completion/state-cascade/standing-approval-stranded.js.map +1 -1
  36. package/dist/completion/state-cascade/state-cascade.d.ts +14 -0
  37. package/dist/completion/state-cascade/state-cascade.d.ts.map +1 -1
  38. package/dist/completion/state-cascade/state-cascade.js +15 -6
  39. package/dist/completion/state-cascade/state-cascade.js.map +1 -1
  40. package/dist/completion/team-exit/status-advance-phase.d.ts +7 -0
  41. package/dist/completion/team-exit/status-advance-phase.d.ts.map +1 -1
  42. package/dist/completion/team-exit/status-advance-phase.js +26 -17
  43. package/dist/completion/team-exit/status-advance-phase.js.map +1 -1
  44. package/dist/composition/advance-precheck-context.d.ts.map +1 -1
  45. package/dist/composition/advance-precheck-context.js +3 -0
  46. package/dist/composition/advance-precheck-context.js.map +1 -1
  47. package/dist/composition/execution-migrations-context.d.ts.map +1 -1
  48. package/dist/composition/execution-migrations-context.js +1 -20
  49. package/dist/composition/execution-migrations-context.js.map +1 -1
  50. package/dist/composition/runtime-delivery-advance-context.d.ts +12 -3
  51. package/dist/composition/runtime-delivery-advance-context.d.ts.map +1 -1
  52. package/dist/composition/runtime-delivery-advance-context.js +36 -4
  53. package/dist/composition/runtime-delivery-advance-context.js.map +1 -1
  54. package/dist/composition/standing-approval-context.d.ts.map +1 -1
  55. package/dist/composition/standing-approval-context.js +4 -0
  56. package/dist/composition/standing-approval-context.js.map +1 -1
  57. package/dist/composition/state-cascade-context.d.ts +9 -0
  58. package/dist/composition/state-cascade-context.d.ts.map +1 -1
  59. package/dist/composition/state-cascade-context.js +21 -1
  60. package/dist/composition/state-cascade-context.js.map +1 -1
  61. package/dist/composition/verification-context.js +1 -1
  62. package/dist/composition/verify-feedback-context.d.ts +5 -1
  63. package/dist/composition/verify-feedback-context.d.ts.map +1 -1
  64. package/dist/composition/verify-feedback-context.js +8 -3
  65. package/dist/composition/verify-feedback-context.js.map +1 -1
  66. package/dist/delivery/delivery-lifecycle.d.ts.map +1 -1
  67. package/dist/delivery/delivery-lifecycle.js +3 -0
  68. package/dist/delivery/delivery-lifecycle.js.map +1 -1
  69. package/dist/delivery/paused-revival.d.ts.map +1 -1
  70. package/dist/delivery/paused-revival.js +2 -1
  71. package/dist/delivery/paused-revival.js.map +1 -1
  72. package/dist/delivery/recorded-concerns.d.ts +5 -2
  73. package/dist/delivery/recorded-concerns.d.ts.map +1 -1
  74. package/dist/delivery/recorded-concerns.js +8 -4
  75. package/dist/delivery/recorded-concerns.js.map +1 -1
  76. package/dist/focus/focus-poller-auto-advance.d.ts +15 -0
  77. package/dist/focus/focus-poller-auto-advance.d.ts.map +1 -1
  78. package/dist/focus/focus-poller-auto-advance.js +23 -15
  79. package/dist/focus/focus-poller-auto-advance.js.map +1 -1
  80. package/dist/focus/pending-spawn-review-next-step.d.ts.map +1 -1
  81. package/dist/focus/pending-spawn-review-next-step.js +10 -9
  82. package/dist/focus/pending-spawn-review-next-step.js.map +1 -1
  83. package/dist/focus/ready-focus-team-work.d.ts.map +1 -1
  84. package/dist/focus/ready-focus-team-work.js +2 -1
  85. package/dist/focus/ready-focus-team-work.js.map +1 -1
  86. package/dist/prompt-sections/execution-sections.d.ts +5 -0
  87. package/dist/prompt-sections/execution-sections.d.ts.map +1 -1
  88. package/dist/prompt-sections/execution-sections.js +12 -2
  89. package/dist/prompt-sections/execution-sections.js.map +1 -1
  90. package/dist/prompt-sections/gate-verdict-section.d.ts.map +1 -1
  91. package/dist/prompt-sections/gate-verdict-section.js +3 -1
  92. package/dist/prompt-sections/gate-verdict-section.js.map +1 -1
  93. package/dist/prompt-sections/persona-sections.d.ts +10 -0
  94. package/dist/prompt-sections/persona-sections.d.ts.map +1 -1
  95. package/dist/prompt-sections/persona-sections.js +21 -6
  96. package/dist/prompt-sections/persona-sections.js.map +1 -1
  97. package/dist/prompt-sections/prompt-listing.d.ts +33 -0
  98. package/dist/prompt-sections/prompt-listing.d.ts.map +1 -1
  99. package/dist/prompt-sections/prompt-listing.js +67 -13
  100. package/dist/prompt-sections/prompt-listing.js.map +1 -1
  101. package/dist/prompt-sections/routing-decider-sections.d.ts.map +1 -1
  102. package/dist/prompt-sections/routing-decider-sections.js +6 -2
  103. package/dist/prompt-sections/routing-decider-sections.js.map +1 -1
  104. package/dist/prompt-sections/shared.js +1 -1
  105. package/dist/prompt-sections/shortfall-gap-lines.d.ts +32 -0
  106. package/dist/prompt-sections/shortfall-gap-lines.d.ts.map +1 -0
  107. package/dist/prompt-sections/shortfall-gap-lines.js +58 -0
  108. package/dist/prompt-sections/shortfall-gap-lines.js.map +1 -0
  109. package/dist/prompt-sections/shortfall-park-section.d.ts +7 -1
  110. package/dist/prompt-sections/shortfall-park-section.d.ts.map +1 -1
  111. package/dist/prompt-sections/shortfall-park-section.js +27 -0
  112. package/dist/prompt-sections/shortfall-park-section.js.map +1 -1
  113. package/dist/queries/api-client/shared.js +1 -1
  114. package/dist/queries/delivery-gate-state/delivery-gate-state.d.ts +43 -16
  115. package/dist/queries/delivery-gate-state/delivery-gate-state.d.ts.map +1 -1
  116. package/dist/queries/delivery-gate-state/delivery-gate-state.js +43 -11
  117. package/dist/queries/delivery-gate-state/delivery-gate-state.js.map +1 -1
  118. package/dist/queries/delivery-gate-state/shortfall-judgment-record.d.ts +56 -0
  119. package/dist/queries/delivery-gate-state/shortfall-judgment-record.d.ts.map +1 -0
  120. package/dist/queries/delivery-gate-state/shortfall-judgment-record.js +123 -0
  121. package/dist/queries/delivery-gate-state/shortfall-judgment-record.js.map +1 -0
  122. package/dist/queries/delivery-gate-state/verify-own-holds.d.ts.map +1 -1
  123. package/dist/queries/delivery-gate-state/verify-own-holds.js +2 -1
  124. package/dist/queries/delivery-gate-state/verify-own-holds.js.map +1 -1
  125. package/dist/queries/escalations/cause-key.d.ts +9 -1
  126. package/dist/queries/escalations/cause-key.d.ts.map +1 -1
  127. package/dist/queries/escalations/cause-key.js +16 -2
  128. package/dist/queries/escalations/cause-key.js.map +1 -1
  129. package/dist/queries/escalations/filing-observation.d.ts.map +1 -1
  130. package/dist/queries/escalations/filing-observation.js +3 -0
  131. package/dist/queries/escalations/filing-observation.js.map +1 -1
  132. package/dist/queries/focus-review/focus-review-approval.d.ts.map +1 -1
  133. package/dist/queries/focus-review/focus-review-approval.js +1 -0
  134. package/dist/queries/focus-review/focus-review-approval.js.map +1 -1
  135. package/dist/queries/verification/shortfall-rulings.d.ts.map +1 -1
  136. package/dist/queries/verification/shortfall-rulings.js +3 -1
  137. package/dist/queries/verification/shortfall-rulings.js.map +1 -1
  138. package/dist/queries/verification/verification.js +1 -1
  139. package/dist/session/session-lineage.d.ts.map +1 -1
  140. package/dist/session/session-lineage.js +1 -0
  141. package/dist/session/session-lineage.js.map +1 -1
  142. package/dist/spawn/prompt-assembly.d.ts.map +1 -1
  143. package/dist/spawn/prompt-assembly.js +13 -1
  144. package/dist/spawn/prompt-assembly.js.map +1 -1
  145. package/dist/supervision/agent-resolvable-promotion.d.ts +3 -2
  146. package/dist/supervision/agent-resolvable-promotion.d.ts.map +1 -1
  147. package/dist/supervision/agent-resolvable-promotion.js +3 -2
  148. package/dist/supervision/agent-resolvable-promotion.js.map +1 -1
  149. package/dist/supervision/escalation-clearing.d.ts +14 -1
  150. package/dist/supervision/escalation-clearing.d.ts.map +1 -1
  151. package/dist/supervision/escalation-clearing.js +28 -1
  152. package/dist/supervision/escalation-clearing.js.map +1 -1
  153. package/dist/supervision/escalation-suppression.js +1 -1
  154. package/dist/supervision/focus-delivery-aggregate-phase.d.ts.map +1 -1
  155. package/dist/supervision/focus-delivery-aggregate-phase.js +1 -0
  156. package/dist/supervision/focus-delivery-aggregate-phase.js.map +1 -1
  157. package/dist/supervision/holds.d.ts.map +1 -1
  158. package/dist/supervision/holds.js +1 -0
  159. package/dist/supervision/holds.js.map +1 -1
  160. package/dist/supervision/null-role-spawn.d.ts.map +1 -1
  161. package/dist/supervision/null-role-spawn.js +1 -0
  162. package/dist/supervision/null-role-spawn.js.map +1 -1
  163. package/dist/supervision/stop-registry.d.ts +1 -0
  164. package/dist/supervision/stop-registry.d.ts.map +1 -1
  165. package/dist/supervision/stop-rows-delivery.d.ts +8 -0
  166. package/dist/supervision/stop-rows-delivery.d.ts.map +1 -1
  167. package/dist/supervision/stop-rows-delivery.js +28 -2
  168. package/dist/supervision/stop-rows-delivery.js.map +1 -1
  169. package/dist/supervision/team-work.d.ts.map +1 -1
  170. package/dist/supervision/team-work.js +1 -0
  171. package/dist/supervision/team-work.js.map +1 -1
  172. package/dist/supervision/verify-gate-stall.d.ts.map +1 -1
  173. package/dist/supervision/verify-gate-stall.js +1 -0
  174. package/dist/supervision/verify-gate-stall.js.map +1 -1
  175. package/dist/testing/fixtures/api-client.js +1 -1
  176. package/dist/testing/fixtures/escalation-store.d.ts +35 -0
  177. package/dist/testing/fixtures/escalation-store.d.ts.map +1 -0
  178. package/dist/testing/fixtures/escalation-store.js +86 -0
  179. package/dist/testing/fixtures/escalation-store.js.map +1 -0
  180. package/dist/testing/fixtures/index.js +1 -1
  181. package/dist/testing/fixtures/recording-api-client.js +1 -1
  182. package/dist/testing/fixtures/shortfall-rework-hold-deps.d.ts +22 -0
  183. package/dist/testing/fixtures/shortfall-rework-hold-deps.d.ts.map +1 -0
  184. package/dist/testing/fixtures/shortfall-rework-hold-deps.js +44 -0
  185. package/dist/testing/fixtures/shortfall-rework-hold-deps.js.map +1 -0
  186. package/dist/testing/fixtures/verification-feedback-deps.d.ts +7 -2
  187. package/dist/testing/fixtures/verification-feedback-deps.d.ts.map +1 -1
  188. package/dist/testing/fixtures/verification-feedback-deps.js +15 -19
  189. package/dist/testing/fixtures/verification-feedback-deps.js.map +1 -1
  190. package/dist/types/index.js +1 -1
  191. package/dist/types/issue-description-budget.d.ts.map +1 -1
  192. package/dist/types/issue-description-budget.js +1 -0
  193. package/dist/types/issue-description-budget.js.map +1 -1
  194. package/dist/types/issue-status.d.ts +17 -0
  195. package/dist/types/issue-status.d.ts.map +1 -1
  196. package/dist/types/issue-status.js +23 -1
  197. package/dist/types/issue-status.js.map +1 -1
  198. package/dist/verify/effect-reconciliation/pending-injection-stamp.d.ts.map +1 -1
  199. package/dist/verify/effect-reconciliation/pending-injection-stamp.js +1 -0
  200. package/dist/verify/effect-reconciliation/pending-injection-stamp.js.map +1 -1
  201. package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts +18 -3
  202. package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts.map +1 -1
  203. package/dist/verify/effect-reconciliation/verify-reconciliation.js +26 -6
  204. package/dist/verify/effect-reconciliation/verify-reconciliation.js.map +1 -1
  205. package/dist/verify/effect-reconciliation/verify-restatement.d.ts +8 -0
  206. package/dist/verify/effect-reconciliation/verify-restatement.d.ts.map +1 -1
  207. package/dist/verify/effect-reconciliation/verify-restatement.js +5 -2
  208. package/dist/verify/effect-reconciliation/verify-restatement.js.map +1 -1
  209. package/dist/verify/engine/verification-commit-sharing.d.ts +6 -0
  210. package/dist/verify/engine/verification-commit-sharing.d.ts.map +1 -1
  211. package/dist/verify/engine/verification-commit-sharing.js +34 -1
  212. package/dist/verify/engine/verification-commit-sharing.js.map +1 -1
  213. package/dist/verify/engine/verification-deps.js +1 -1
  214. package/dist/verify/engine/verification-engine.d.ts.map +1 -1
  215. package/dist/verify/engine/verification-engine.js +12 -3
  216. package/dist/verify/engine/verification-engine.js.map +1 -1
  217. package/dist/verify/gate-config/verification-config.js +1 -1
  218. package/dist/verify/gate-verdicts/commit-verdict-record.js +1 -1
  219. package/dist/verify/gate-verdicts/explicit-gate-outcome.d.ts.map +1 -1
  220. package/dist/verify/gate-verdicts/explicit-gate-outcome.js +2 -0
  221. package/dist/verify/gate-verdicts/explicit-gate-outcome.js.map +1 -1
  222. package/dist/verify/gate-verdicts/gate-run-registry.js +1 -1
  223. package/dist/verify/gate-verdicts/own-gate-verdict.d.ts +10 -0
  224. package/dist/verify/gate-verdicts/own-gate-verdict.d.ts.map +1 -1
  225. package/dist/verify/gate-verdicts/own-gate-verdict.js +3 -2
  226. package/dist/verify/gate-verdicts/own-gate-verdict.js.map +1 -1
  227. package/dist/verify/outcome-routing/shortfall-rework-issue.d.ts +101 -0
  228. package/dist/verify/outcome-routing/shortfall-rework-issue.d.ts.map +1 -0
  229. package/dist/verify/outcome-routing/shortfall-rework-issue.js +250 -0
  230. package/dist/verify/outcome-routing/shortfall-rework-issue.js.map +1 -0
  231. package/dist/verify/outcome-routing/verification-evidence-unavailable-feedback.d.ts.map +1 -1
  232. package/dist/verify/outcome-routing/verification-evidence-unavailable-feedback.js +4 -1
  233. package/dist/verify/outcome-routing/verification-evidence-unavailable-feedback.js.map +1 -1
  234. package/dist/verify/outcome-routing/verification-feedback.d.ts +38 -7
  235. package/dist/verify/outcome-routing/verification-feedback.d.ts.map +1 -1
  236. package/dist/verify/outcome-routing/verification-feedback.js +45 -46
  237. package/dist/verify/outcome-routing/verification-feedback.js.map +1 -1
  238. package/dist/verify/outcome-routing/verification-history-reset.d.ts +2 -1
  239. package/dist/verify/outcome-routing/verification-history-reset.d.ts.map +1 -1
  240. package/dist/verify/outcome-routing/verification-history-reset.js +5 -2
  241. package/dist/verify/outcome-routing/verification-history-reset.js.map +1 -1
  242. package/dist/verify/outcome-routing/verification-model-unavailable-hold.d.ts +2 -1
  243. package/dist/verify/outcome-routing/verification-model-unavailable-hold.d.ts.map +1 -1
  244. package/dist/verify/outcome-routing/verification-model-unavailable-hold.js +5 -1
  245. package/dist/verify/outcome-routing/verification-model-unavailable-hold.js.map +1 -1
  246. package/dist/verify/outcome-routing/verification-rework-issue.d.ts.map +1 -1
  247. package/dist/verify/outcome-routing/verification-rework-issue.js +4 -1
  248. package/dist/verify/outcome-routing/verification-rework-issue.js.map +1 -1
  249. package/dist/verify/outcome-routing/verification-rework-messages.d.ts +8 -2
  250. package/dist/verify/outcome-routing/verification-rework-messages.d.ts.map +1 -1
  251. package/dist/verify/outcome-routing/verification-rework-messages.js +18 -7
  252. package/dist/verify/outcome-routing/verification-rework-messages.js.map +1 -1
  253. package/dist/verify/run-selection/default-on-guards.d.ts +15 -0
  254. package/dist/verify/run-selection/default-on-guards.d.ts.map +1 -1
  255. package/dist/verify/run-selection/default-on-guards.js +18 -1
  256. package/dist/verify/run-selection/default-on-guards.js.map +1 -1
  257. package/dist/verify/run-selection/explicit-rearm.d.ts.map +1 -1
  258. package/dist/verify/run-selection/explicit-rearm.js +1 -0
  259. package/dist/verify/run-selection/explicit-rearm.js.map +1 -1
  260. package/dist/verify/run-selection/pre-review-gate-dispatch.d.ts.map +1 -1
  261. package/dist/verify/run-selection/pre-review-gate-dispatch.js +15 -6
  262. package/dist/verify/run-selection/pre-review-gate-dispatch.js.map +1 -1
  263. package/dist/verify/run-selection/reselection-log-line.d.ts +1 -1
  264. package/dist/verify/run-selection/reselection-log-line.d.ts.map +1 -1
  265. package/dist/verify/run-selection/reselection-log-line.js +6 -2
  266. package/dist/verify/run-selection/reselection-log-line.js.map +1 -1
  267. package/dist/verify/run-selection/unanswered-dispatch.d.ts +20 -0
  268. package/dist/verify/run-selection/unanswered-dispatch.d.ts.map +1 -0
  269. package/dist/verify/run-selection/unanswered-dispatch.js +85 -0
  270. package/dist/verify/run-selection/unanswered-dispatch.js.map +1 -0
  271. package/dist/verify/run-selection/verification-default-on.d.ts.map +1 -1
  272. package/dist/verify/run-selection/verification-default-on.js +2 -1
  273. package/dist/verify/run-selection/verification-default-on.js.map +1 -1
  274. package/dist/verify/shortfalls/delivery-commit-set.d.ts.map +1 -1
  275. package/dist/verify/shortfalls/delivery-commit-set.js +2 -1
  276. package/dist/verify/shortfalls/delivery-commit-set.js.map +1 -1
  277. package/dist/verify/shortfalls/latest-shortfall-judgment.d.ts +24 -0
  278. package/dist/verify/shortfalls/latest-shortfall-judgment.d.ts.map +1 -0
  279. package/dist/verify/shortfalls/latest-shortfall-judgment.js +94 -0
  280. package/dist/verify/shortfalls/latest-shortfall-judgment.js.map +1 -0
  281. package/dist/verify/shortfalls/parked-shortfall-reuse.d.ts.map +1 -1
  282. package/dist/verify/shortfalls/parked-shortfall-reuse.js +20 -6
  283. package/dist/verify/shortfalls/parked-shortfall-reuse.js.map +1 -1
  284. package/dist/verify/shortfalls/shortfall-judgment-log.d.ts +12 -0
  285. package/dist/verify/shortfalls/shortfall-judgment-log.d.ts.map +1 -0
  286. package/dist/verify/shortfalls/shortfall-judgment-log.js +56 -0
  287. package/dist/verify/shortfalls/shortfall-judgment-log.js.map +1 -0
  288. package/dist/verify/shortfalls/shortfall-park-escalation.d.ts.map +1 -1
  289. package/dist/verify/shortfalls/shortfall-park-escalation.js +6 -2
  290. package/dist/verify/shortfalls/shortfall-park-escalation.js.map +1 -1
  291. package/dist/verify/shortfalls/shortfall-park.d.ts +9 -0
  292. package/dist/verify/shortfalls/shortfall-park.d.ts.map +1 -1
  293. package/dist/verify/shortfalls/shortfall-park.js +23 -19
  294. package/dist/verify/shortfalls/shortfall-park.js.map +1 -1
  295. package/dist/verify/shortfalls/shortfall-repeat.d.ts +14 -0
  296. package/dist/verify/shortfalls/shortfall-repeat.d.ts.map +1 -1
  297. package/dist/verify/shortfalls/shortfall-repeat.js +15 -1
  298. package/dist/verify/shortfalls/shortfall-repeat.js.map +1 -1
  299. package/dist/verify/shortfalls/shortfall-rework-hold.d.ts +66 -0
  300. package/dist/verify/shortfalls/shortfall-rework-hold.d.ts.map +1 -0
  301. package/dist/verify/shortfalls/shortfall-rework-hold.js +230 -0
  302. package/dist/verify/shortfalls/shortfall-rework-hold.js.map +1 -0
  303. package/dist/verify/shortfalls/shortfall-rulings.d.ts +40 -10
  304. package/dist/verify/shortfalls/shortfall-rulings.d.ts.map +1 -1
  305. package/dist/verify/shortfalls/shortfall-rulings.js +59 -15
  306. package/dist/verify/shortfalls/shortfall-rulings.js.map +1 -1
  307. package/dist/worktree/focus-worktree-state.d.ts.map +1 -1
  308. package/dist/worktree/focus-worktree-state.js +1 -0
  309. package/dist/worktree/focus-worktree-state.js.map +1 -1
  310. package/package.json +1 -1
@@ -16,7 +16,11 @@
16
16
  * a passing verdict for HEAD; every verify delivery shares the one run at that
17
17
  * HEAD (verify/engine/verification-commit-sharing.ts). A delivery entering
18
18
  * verify while a sibling still codes selects nothing: its run is the focus's
19
- * pre-review run at whatever HEAD the focus reaches.
19
+ * pre-review run at whatever HEAD the focus reaches. The focus STAYS in this
20
+ * state until verify has finished judging HEAD: the review request also waits
21
+ * on each verify delivery's recorded outcome, effect reconciliation included
22
+ * (completion/state-cascade/review-verify-judgment-gate.ts), so a delivery
23
+ * whose dispatch left none is still selectable here.
20
24
  * - **A held route pulls it.** A review exit that found no passing verdict for
21
25
  * the commit it judged recorded a commit-verdict hold
22
26
  * (delivery/commit-verdict-hold.ts); the pull
@@ -27,17 +31,22 @@
27
31
  * - **An awaited model holds it.** Its verify reconciliation could not run
28
32
  * (gate_state.modelUnavailable, verify/outcome-routing/verification-model-unavailable-hold.ts),
29
33
  * so it was judged on nothing, and the hold promises a re-judge on a later
30
- * tick. The review window can open in the second BEFORE the reconciliation
31
- * throws (a passing gate verdict opens it), and the review then parks on
32
- * that same hold (spawn/review-hold-park.ts) -- so if selection waited for
33
- * the window to close, neither side could move. The hold is admitted whatever the
34
+ * tick. A hold the pre-review run itself forms needs no admission of its own:
35
+ * a passing gate verdict no longer opens the review window while the
36
+ * reconciliation is unanswered, so the focus still awaits its pre-review run
37
+ * and the first rule selects the delivery again. This rule is for a hold
38
+ * standing under a window that is ALREADY open -- a re-judgement a held
39
+ * route pulled while its review window stood -- where the review parks on
40
+ * that same hold (spawn/review-hold-park.ts): if selection waited for the
41
+ * window to close, neither side could move. The hold is admitted whatever the
34
42
  * window while the focus HEAD is readable (a run judges HEAD). Admission
35
43
  * does not bypass the incurable re-hold: a kind retrying cannot cure, on an
36
44
  * unchanged judged input, is re-held at dispatch with no model call
37
45
  * (verify/outcome-routing/incurable-model-hold.ts).
38
46
  *
39
47
  * While a review window is open and no route or awaited model holds, nothing is
40
- * selected: the review judges the HEAD whose passing verdict opened the window.
48
+ * selected: the review judges the HEAD verify finished judging before the window
49
+ * opened.
41
50
  *
42
51
  * Rationale and the decision this reverses: docs/DECISIONS.md ("The full gate
43
52
  * runs once per focus HEAD, before review"). History:
@@ -1 +1 @@
1
- {"version":3,"file":"pre-review-gate-dispatch.js","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,8EAA8E;AAC9E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AAEH,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AACxG,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,uDAAuD,CAAC;AAahG;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAqB,EAAE,UAAwC;IACrG,OAAO,iCAAiC,CAAC;QACvC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3E,iBAAiB,EAAE,KAAK,CAAC,mBAAmB;KAC7C,CAAC,KAAK,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,cAAuB,EAAE,QAA2B,EAAE,QAA6B;IACpH,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,EAAE,KAAK,IAAI,CAAC;IAC5E,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;AACvE,CAAC"}
1
+ {"version":3,"file":"pre-review-gate-dispatch.js","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,8EAA8E;AAC9E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AACxG,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,uDAAuD,CAAC;AAahG;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAqB,EAAE,UAAwC;IACrG,OAAO,iCAAiC,CAAC;QACvC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3E,iBAAiB,EAAE,KAAK,CAAC,mBAAmB;KAC7C,CAAC,KAAK,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,cAAuB,EAAE,QAA2B,EAAE,QAA6B;IACpH,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,EAAE,KAAK,IAAI,CAAC;IAC5E,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;AACvE,CAAC"}
@@ -3,7 +3,7 @@
3
3
  * belongs here AND at a `logReselection` call site; the enumeration test fails
4
4
  * on a member with no driver.
5
5
  */
6
- export declare const RESELECTION_PATHS: readonly ["run-mark-prune", "run-mark-release", "commit-verdict-pull", "credit-rearm", "ruling-rearm", "pending-relisting", "model-unavailable-unmark", "checkout-unavailable-unmark"];
6
+ export declare const RESELECTION_PATHS: readonly ["run-mark-prune", "run-mark-release", "commit-verdict-pull", "credit-rearm", "ruling-rearm", "pending-relisting", "model-unavailable-unmark", "checkout-unavailable-unmark", "unanswered-dispatch"];
7
7
  /** One of {@link RESELECTION_PATHS}. */
8
8
  export type ReselectionPath = (typeof RESELECTION_PATHS)[number];
9
9
  /** Test-only: forget every de-duplicated line written so far. */
@@ -1 +1 @@
1
- {"version":3,"file":"reselection-log-line.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AAwCA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,wLAiBpB,CAAC;AAEX,wCAAwC;AACxC,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKjE,iEAAiE;AACjE,wBAAgB,6BAA6B,IAAI,IAAI,CAEpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,eAAe,EACrB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAON"}
1
+ {"version":3,"file":"reselection-log-line.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,+MAmBpB,CAAC;AAEX,wCAAwC;AACxC,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKjE,iEAAiE;AACjE,wBAAgB,6BAA6B,IAAI,IAAI,CAEpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,eAAe,EACrB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAON"}
@@ -1,6 +1,8 @@
1
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/run-selection/explicit-row-selection.test.ts,
2
+ // Pinned by: packages/daemon/src/integration/review-opens-after-verify-judgment-regression.test.ts,
3
+ // packages/daemon/src/verify/run-selection/explicit-row-selection.test.ts,
3
4
  // packages/daemon/src/verify/run-selection/reselection-log-line.test.ts,
5
+ // packages/daemon/src/verify/run-selection/unanswered-dispatch.test.ts,
4
6
  // packages/daemon/src/verify/run-selection/verification-default-on.test.ts
5
7
  // PINNED-BY-END
6
8
  /**
@@ -48,7 +50,7 @@ export const RESELECTION_PATHS = [
48
50
  'commit-verdict-pull',
49
51
  /** The focus's commit-credit set changed, so the same commit is judged again (credit-rearm.ts). */
50
52
  'credit-rearm',
51
- /** An operator ruling released a shortfall park (shortfall-rulings.ts rearmRuledShortfallParks). */
53
+ /** A ruling released a shortfall park, or an unparked shortfall judgment (shortfall-rulings.ts rearmRuledShortfallParks). */
52
54
  'ruling-rearm',
53
55
  /** The edge re-listed an explicit-method row in the pending queue (verification-engine.ts). */
54
56
  'pending-relisting',
@@ -56,6 +58,8 @@ export const RESELECTION_PATHS = [
56
58
  'model-unavailable-unmark',
57
59
  /** No checkout could be made, or the verdict was discarded mid-run (default-on-guards.ts noteDefaultOnResult). */
58
60
  'checkout-unavailable-unmark',
61
+ /** A dispatch did not pass at a commit the gate passed and left no park behind it (unanswered-dispatch.ts). */
62
+ 'unanswered-dispatch',
59
63
  ];
60
64
  /** `${path}@${deliveryId}@${dedupeKey}` triples already written. */
61
65
  const written = new Set();
@@ -1 +1 @@
1
- {"version":3,"file":"reselection-log-line.js","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sFAAsF;AACtF,2EAA2E;AAC3E,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,qHAAqH;IACrH,gBAAgB;IAChB,sHAAsH;IACtH,kBAAkB;IAClB,8FAA8F;IAC9F,qBAAqB;IACrB,mGAAmG;IACnG,cAAc;IACd,oGAAoG;IACpG,cAAc;IACd,+FAA+F;IAC/F,mBAAmB;IACnB,uHAAuH;IACvH,0BAA0B;IAC1B,kHAAkH;IAClH,6BAA6B;CACrB,CAAC;AAKX,oEAAoE;AACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;AAElC,iEAAiE;AACjE,MAAM,UAAU,6BAA6B;IAC3C,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAqB,EACrB,UAAkB,EAClB,MAAc,EACd,SAAkB;IAElB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,gCAAgC,IAAI,eAAe,UAAU,OAAO,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC"}
1
+ {"version":3,"file":"reselection-log-line.js","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,qHAAqH;IACrH,gBAAgB;IAChB,sHAAsH;IACtH,kBAAkB;IAClB,8FAA8F;IAC9F,qBAAqB;IACrB,mGAAmG;IACnG,cAAc;IACd,6HAA6H;IAC7H,cAAc;IACd,+FAA+F;IAC/F,mBAAmB;IACnB,uHAAuH;IACvH,0BAA0B;IAC1B,kHAAkH;IAClH,6BAA6B;IAC7B,+GAA+G;IAC/G,qBAAqB;CACb,CAAC;AAKX,oEAAoE;AACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;AAElC,iEAAiE;AACjE,MAAM,UAAU,6BAA6B;IAC3C,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAqB,EACrB,UAAkB,EAClB,MAAc,EACd,SAAkB;IAElB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,gCAAgC,IAAI,eAAe,UAAU,OAAO,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC"}
@@ -0,0 +1,20 @@
1
+ /** The delivery as re-read once its dispatch ended. */
2
+ export interface UnansweredDispatchRow {
3
+ inVerify: boolean;
4
+ gateState?: unknown;
5
+ }
6
+ /** The two reads the release takes; a read that throws answers as "no verdict" / "unreadable". */
7
+ export interface UnansweredDispatchReads {
8
+ /** Whether a PASSING gate verdict is recorded for the commit the delivery's next dispatch would judge. */
9
+ passingVerdictRecorded: () => Promise<boolean>;
10
+ /** The delivery as it stands now, or null when it cannot be read. */
11
+ rereadDelivery: () => Promise<UnansweredDispatchRow | null>;
12
+ }
13
+ /**
14
+ * Drop the run mark of a dispatch that did not pass and left no park behind it
15
+ * (module header), so the scan selects the delivery again. `ending` says how the
16
+ * dispatch ended, for the log line. Returns whether the mark was dropped. Never
17
+ * throws.
18
+ */
19
+ export declare function releaseUnansweredDispatch(deliveryId: string, ending: string, reads: UnansweredDispatchReads): Promise<boolean>;
20
+ //# sourceMappingURL=unanswered-dispatch.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"unanswered-dispatch.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/unanswered-dispatch.ts"],"names":[],"mappings":"AA4DA,uDAAuD;AACvD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,OAAO,CAAC;IAClB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,kGAAkG;AAClG,MAAM,WAAW,uBAAuB;IACtC,0GAA0G;IAC1G,sBAAsB,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/C,qEAAqE;IACrE,cAAc,EAAE,MAAM,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;CAC7D;AAUD;;;;;GAKG;AACH,wBAAsB,yBAAyB,CAC7C,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAYlB"}
@@ -0,0 +1,85 @@
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/run-selection/reselection-log-line.test.ts,
3
+ // packages/daemon/src/verify/run-selection/unanswered-dispatch.test.ts
4
+ // PINNED-BY-END
5
+ /**
6
+ * A default-on dispatch that did not pass leaves its run mark standing only
7
+ * behind a PARK: every other ending is selected again.
8
+ *
9
+ * The run mark (verify/run-selection/default-on-guards.ts) is set before a
10
+ * dispatch starts and keeps the delivery from being selected again while the
11
+ * focus HEAD is the commit that dispatch judged, so a dispatch that fails
12
+ * mid-run does not run a whole gate again on the next tick. Suppressing a
13
+ * delivery is safe only while something answers for it at that commit. A pass
14
+ * and a gate failure answer through their own HEAD-keyed records, and an un-mark
15
+ * (a model or a checkout that was not there) re-selects by itself. For a pass
16
+ * the effect reconciliation DEMOTED, the gate verdict still reads passed, and
17
+ * the mark is the only guard -- which is right for exactly one state, a standing
18
+ * shortfall park (verify/shortfalls/shortfall-park.ts), and wrong for the rest:
19
+ *
20
+ * - ROUTED TO RE-WORK: the delivery left verify. Its return is a re-entry to
21
+ * judge again, at the same HEAD too -- that is what counts a repeating
22
+ * shortfall up to its park. The prune sweep drops the mark only when a scan
23
+ * happens to observe the delivery outside verify, and a round trip between
24
+ * two scans leaves it standing;
25
+ * - THE ROUTE DID NOT LAND: the re-work transition or the park's gate_state
26
+ * write failed (both are logged and swallowed), so the delivery still sits in
27
+ * verify, unparked, with a mark naming HEAD;
28
+ * - THE DISPATCH THREW once the gate's verdict was recorded -- the delivery's
29
+ * outcome write failed, or a step of the pass path threw. Its mark names no
30
+ * commit, which suppresses selection at every HEAD.
31
+ *
32
+ * The review request waits on a recorded verify outcome for HEAD
33
+ * (completion/state-cascade/review-verify-judgment-gate.ts) and fails closed, so
34
+ * a delivery left in any of the three would wait on a judgement nothing selects.
35
+ * Here its mark is dropped, and the scan selects it again while it is in verify.
36
+ *
37
+ * WHAT BOUNDS IT is what a re-selection costs, not a count. The mark is dropped
38
+ * ONLY where a PASSING gate verdict is recorded for the commit the next dispatch
39
+ * would judge, so that dispatch takes the recorded verdict
40
+ * (verify/engine/verification-commit-sharing.ts) and never runs the gate command
41
+ * again on an unchanged commit: it costs the reconciliation and the writes that
42
+ * did not land, and the reconciliation's own bounds -- a repeating shortfall
43
+ * parks -- end the repetition. With no such verdict the mark is left exactly as
44
+ * it was: a re-selection there would run the whole gate, and the review request
45
+ * already waits on the gate's own verdict for that commit.
46
+ *
47
+ * A PARKED delivery keeps its mark: the park is its recorded answer, and only a
48
+ * new ruling or a new commit re-selects it (verify/shortfalls/shortfall-rulings.ts).
49
+ * A delivery that cannot be re-read is released: the next dispatch re-reads its
50
+ * status before it starts or routes anything, and one that turns out parked
51
+ * re-holds from its park with no model call.
52
+ *
53
+ * @module verify/run-selection/unanswered-dispatch
54
+ */
55
+ import { readShortfallPark } from '../../queries/delivery-gate-state/delivery-gate-state.js';
56
+ import { hasDefaultOnRunMark, releaseDefaultOnMark } from './default-on-guards.js';
57
+ import { logReselection } from './reselection-log-line.js';
58
+ /** Where the dispatch left the delivery, for the log line. */
59
+ function describeLeftAs(row) {
60
+ if (row === null)
61
+ return 'its status could not be re-read';
62
+ return row.inVerify
63
+ ? 'it still sits in verify, unparked, with no verify outcome for the commit the gate passed'
64
+ : 'it left verify, so its return is a re-entry to judge';
65
+ }
66
+ /**
67
+ * Drop the run mark of a dispatch that did not pass and left no park behind it
68
+ * (module header), so the scan selects the delivery again. `ending` says how the
69
+ * dispatch ended, for the log line. Returns whether the mark was dropped. Never
70
+ * throws.
71
+ */
72
+ export async function releaseUnansweredDispatch(deliveryId, ending, reads) {
73
+ if (!hasDefaultOnRunMark(deliveryId))
74
+ return false;
75
+ if (!(await reads.passingVerdictRecorded().catch(() => false)))
76
+ return false;
77
+ const row = await reads.rereadDelivery().catch(() => null);
78
+ if (row !== null && row.inVerify && readShortfallPark(row.gateState) !== null)
79
+ return false;
80
+ releaseDefaultOnMark(deliveryId, 'unanswered-dispatch');
81
+ logReselection('unanswered-dispatch', deliveryId, `its dispatch ${ending} and ${describeLeftAs(row)}; while it is in verify the next tick judges it again, `
82
+ + 'taking the recorded gate verdict (no gate run)');
83
+ return true;
84
+ }
85
+ //# sourceMappingURL=unanswered-dispatch.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"unanswered-dispatch.js","sourceRoot":"","sources":["../../../src/verify/run-selection/unanswered-dispatch.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0DAA0D,CAAC;AAC7F,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnF,OAAO,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAgB3D,8DAA8D;AAC9D,SAAS,cAAc,CAAC,GAAiC;IACvD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,iCAAiC,CAAC;IAC3D,OAAO,GAAG,CAAC,QAAQ;QACjB,CAAC,CAAC,0FAA0F;QAC5F,CAAC,CAAC,sDAAsD,CAAC;AAC7D,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,UAAkB,EAClB,MAAc,EACd,KAA8B;IAE9B,IAAI,CAAC,mBAAmB,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,sBAAsB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7E,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,cAAc,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC3D,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,IAAI,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC5F,oBAAoB,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IACxD,cAAc,CACZ,qBAAqB,EAAE,UAAU,EACjC,gBAAgB,MAAM,QAAQ,cAAc,CAAC,GAAG,CAAC,yDAAyD;UACxG,gDAAgD,CACnD,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"verification-default-on.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAcA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EACjC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAIL,KAAK,cAAc,EAEpB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAS3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AAMvF,0FAA0F;AAC1F,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGzE;AAGD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE,gIAAgI;IAChI,oBAAoB,EAAE,eAAe,CAAC;CACvC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;gBAErC,KAAK,EAAE,MAAM;IAKzB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAavB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B,OAAO,IAAI,IAAI;IASf,2DAA2D;IAC3D,gBAAgB,IAAI,MAAM;CAG3B;AAED,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,uBAA+B,CAAC;AAElE,oDAAoD;AACpD,wBAAgB,kCAAkC,IAAI;IAAE,gBAAgB,IAAI,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAE9G;AAMD;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,YAAY,CAAC;IACtB,2FAA2F;IAC3F,aAAa,EAAE,YAAY,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAClD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,2BAA2B,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,2BAA2B,GACnC,wBAAwB,EAAE,CAe5B;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,MAAM,CAMR;AAgBD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,qFAAqF;IACrF,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAE7E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,mGAAmG;AACnG,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CA6BxG;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAC7C,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,EACvD,MAAM,EAAE,MAAM,GACb,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAgB9C;AAmCD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASzI;AA8BD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,2BAA2B,EACrC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,EACxC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAyFhC"}
1
+ {"version":3,"file":"verification-default-on.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAeA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EACjC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAIL,KAAK,cAAc,EAEpB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAS3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AAMvF,0FAA0F;AAC1F,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGzE;AAGD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE,gIAAgI;IAChI,oBAAoB,EAAE,eAAe,CAAC;CACvC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;gBAErC,KAAK,EAAE,MAAM;IAKzB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAavB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B,OAAO,IAAI,IAAI;IASf,2DAA2D;IAC3D,gBAAgB,IAAI,MAAM;CAG3B;AAED,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,uBAA+B,CAAC;AAElE,oDAAoD;AACpD,wBAAgB,kCAAkC,IAAI;IAAE,gBAAgB,IAAI,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAE9G;AAMD;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,YAAY,CAAC;IACtB,2FAA2F;IAC3F,aAAa,EAAE,YAAY,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAClD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,2BAA2B,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,2BAA2B,GACnC,wBAAwB,EAAE,CAe5B;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,MAAM,CAMR;AAgBD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,qFAAqF;IACrF,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAE7E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,mGAAmG;AACnG,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CA6BxG;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAC7C,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,EACvD,MAAM,EAAE,MAAM,GACb,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAgB9C;AAmCD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASzI;AA8BD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,2BAA2B,EACrC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,EACxC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAyFhC"}
@@ -9,7 +9,8 @@
9
9
  // packages/daemon/src/verify/gate-config/judged-commit-gate.test.ts,
10
10
  // packages/daemon/src/verify/gate-config/verification-run-config-source.test.ts,
11
11
  // packages/daemon/src/verify/run-selection/verification-default-on.test.ts,
12
- // packages/daemon/src/verify/run-selection/verification-tick-product-scoping.test.ts
12
+ // packages/daemon/src/verify/run-selection/verification-tick-product-scoping.test.ts,
13
+ // packages/daemon/src/verify/shortfalls/shortfall-rulings.test.ts
13
14
  // PINNED-BY-END
14
15
  /**
15
16
  * Default-on deterministic verification: selection + concurrency cap.
@@ -1 +1 @@
1
- {"version":3,"file":"verification-default-on.js","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,uFAAuF;AACvF,mFAAmF;AACnF,2EAA2E;AAC3E,4EAA4E;AAC5E,yFAAyF;AACzF,2EAA2E;AAC3E,uEAAuE;AACvE,mFAAmF;AACnF,8EAA8E;AAC9E,uFAAuF;AACvF,gBAAgB;AAEhB;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,eAAe,EAAqB,MAAM,qBAAqB,CAAC;AAGzE,OAAO,EACL,6BAA6B,EAC7B,wBAAwB,GAGzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,wBAAwB,GAGzB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,0FAA0F;AAC1F,MAAM,UAAU,0BAA0B,CAAC,OAAe;IACxD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjE,CAAC;AA6BD,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,OAAO,qBAAqB;IACxB,OAAO,CAAS;IAChB,KAAK,CAAS;IACL,OAAO,GAAsB,EAAE,CAAC;IAEjD,YAAY,KAAa;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5B,CAAC;IAED,mFAAmF;IACnF,QAAQ,CAAC,KAAa;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK;YAAE,OAAO;QAChC,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;QACtB,OAAO,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,CAAC,EAAE,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO;QACX,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACL,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,EAAE,CAAC;YACN,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,gBAAgB;QACd,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;CACF;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAElE,oDAAoD;AACpD,MAAM,UAAU,kCAAkC;IAChD,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AA6BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAAoB,EACpB,OAAoC;IAEpC,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACrC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACtE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,KAAK,CACP,6DAA6D,OAAO,CAAC,EAAE,GAAG;kBACxE,cAAc,yBAAyB,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK;kBACpE,GAAI,GAAa,CAAC,OAAO,4EAA4E;kBACrG,mHAAmH,CACtH,CAAC;YACF,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,uBAAuB,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4HAA4H;AAC5H,SAAS,uBAAuB,CAC9B,aAA2B,EAC3B,OAAoC;IAEpC,IAAI,CAAC;QACH,MAAM,mBAAmB,GAAG,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QACzD,OAAO;YACL,gBAAgB,EAAE;gBAChB,GAAG,mBAAmB;gBACtB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,GAAG,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;aAC3E;SACF,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAA2C;IAE3C,MAAM,QAAQ,GAAG,MAAM;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC;SACrC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC;IAChE,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;AAC/B,CAAC;AAGD,sHAAsH;AACtH,SAAS,YAAY,CAAC,OAAe,EAAE,IAAuB;IAC5D,IAAI,IAAyC,CAAC;IAC9C,OAAO,GAAG,EAAE;QACV,IAAI,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC,CAAC;AACJ,CAAC;AAiCD,mGAAmG;AACnG,MAAM,UAAU,oBAAoB,CAAC,YAAoB,EAAE,GAAW,EAAE,MAAc;IACpF,MAAM,YAAY,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;IAC7D,4EAA4E;IAC5E,0DAA0D;IAC1D,IAAI,UAA8B,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAS,EAAE;QAChE,UAAU,GAAG,OAAO,IAAI,cAAc,YAAY,KAAK,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACpF,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,SAAS,GAAqB;QAClC,iGAAiG;QACjG,MAAM,EAAE,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,wBAAwB,CAAC,EAAE,YAAY,CAAC,CAAC;YACrG,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,MAAM,MAAM,CAAC,WAAW,GAAG,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAClE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,MAAM,EAAE,GAAG,GAAG,IAAI,wBAAwB,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;YACnF,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,MAAM,MAAM,CAAC,QAAQ,GAAG,IAAI,wBAAwB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACzF,OAAO,KAAK,CAAC,MAAM,CAAC;QACtB,CAAC;KACF,CAAC;IACF,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,sBAAsB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACjE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;QAChE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAClE,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,+BAA+B,CAC7C,mBAAuD,EACvD,MAAc;IAEd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC;IACzD,OAAO,CAAC,OAAO,EAAE,EAAE;QACjB,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;YAChC,OAAO,EAAE,UAAU,EAAE,gCAAgC,YAAY,KAAK,IAAI,CAAC,KAAK,IAAI,iBAAiB,EAAE,EAAE,CAAC;QAC5G,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,MAAM,EAAE,GAAG,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC;QACvC,MAAM,IAAI,GAAG,oBAAoB,CAAC,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAC1B,UAAkB,EAClB,OAAe,EACf,QAAqC,EACrC,IAAuB;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,IAAI,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,KAAK,CACP,uCAAuC,UAAU,+DAA+D;cAC9G,mCAAmC,IAAI,CAAC,UAAU,+BAA+B,CACpF,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,GAAG,CAAC,IAAI,CACN,uCAAuC,UAAU,kDAAkD;UACjG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,6CAA6C,CACvE,CAAC;IACF,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,IAA0B,EAAE,QAAqC;IAC9G,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9G,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACrC,SAAS,EAAE,eAAe,IAAI,QAAQ,CAAC,SAAS;QAChD,aAAa,EAAE,wBAAwB,CACrC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAC5G;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CAAC,SAAiB,EAAE,gBAAqC,EAAE,QAAiB;IACrG,IAAI,QAAQ,EAAE,CAAC;QACb,wBAAwB,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IACD,GAAG,CAAC,IAAI,CACN,uEAAuE,SAAS,gBAAgB;UAC9F,sFAAsF,CACzF,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,gBAAgB,GAAG,GAAS,EAAE,CAAC,IAAI,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,MAAoB,EACpB,QAAqC,EACrC,mBAAwC,EACxC,IAAuB;IAEvB,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC,mBAAmB,EAAE,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAElF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACrF,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,iFAAiF;IACjF,8EAA8E;IAC9E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,mBAAmB,GAAG,IAAI,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,2EAA2E;QAC3E,8CAA8C;QAC9C,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,SAAS;QAEvC,IAAI,UAA0D,CAAC;QAC/D,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,mEAAmE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAC/F,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,mBAAmB,GAAG,KAAK,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpD,4GAA4G;QAC5G,qIAAqI;QACrI,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM;gBAAE,SAAS;YAC3D,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvG,sEAAsE;YACtE,8EAA8E;YAC9E,IAAI,CAAC,CAAC,CAAC,WAAW;gBAAE,SAAS;YAC7B,iFAAiF;YACjF,gFAAgF;YAChF,uEAAuE;YACvE,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAAC;gBAAE,SAAS;YAEzH,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,8DAA8D;YAClI,+GAA+G;YAC/G,0GAA0G;YAC1G,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC;gBAAE,SAAS;YACpF,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,kDAAkD;YAClG,IAAI,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,kCAAkC;YAElF,6EAA6E;YAC7E,0EAA0E;YAC1E,0CAA0C;YAC1C,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO;gBACzC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,wBAAwB,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;gBACnI,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,kBAAkB;gBAAE,SAAS,CAAC,+EAA+E;YAElH,UAAU,CAAC,IAAI,CAAC;gBACd,UAAU,EAAE,CAAC,CAAC,EAAE;gBAChB,YAAY,EAAE,CAAC,CAAC,IAAI;gBACpB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,OAAO,EAAE,KAAK,CAAC,QAAQ;gBACvB,eAAe,EAAE,CAAC,CAAC,WAAW;gBAC9B,kBAAkB,EAAE,eAAe;gBACnC,kBAAkB;gBAClB,mBAAmB,EAAE,IAAI;gBACzB,qBAAqB,EAAE,IAAI;gBAC3B,mEAAmE;gBACnE,wEAAwE;gBACxE,0CAA0C;gBAC1C,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,wEAAwE;gBACxE,0EAA0E;gBAC1E,uEAAuE;gBACvE,eAAe,EAAE;oBACf,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;IAE5E,OAAO,UAAU,CAAC;AACpB,CAAC"}
1
+ {"version":3,"file":"verification-default-on.js","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,uFAAuF;AACvF,mFAAmF;AACnF,2EAA2E;AAC3E,4EAA4E;AAC5E,yFAAyF;AACzF,2EAA2E;AAC3E,uEAAuE;AACvE,mFAAmF;AACnF,8EAA8E;AAC9E,wFAAwF;AACxF,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,eAAe,EAAqB,MAAM,qBAAqB,CAAC;AAGzE,OAAO,EACL,6BAA6B,EAC7B,wBAAwB,GAGzB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,wBAAwB,GAGzB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG1D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,yCAAyC,CAAC;AACzE,OAAO,EACL,aAAa,EACb,mBAAmB,EACnB,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,0FAA0F;AAC1F,MAAM,UAAU,0BAA0B,CAAC,OAAe;IACxD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACjE,CAAC;AA6BD,8EAA8E;AAC9E,kBAAkB;AAClB,8EAA8E;AAE9E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,OAAO,qBAAqB;IACxB,OAAO,CAAS;IAChB,KAAK,CAAS;IACL,OAAO,GAAsB,EAAE,CAAC;IAEjD,YAAY,KAAa;QACvB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5B,CAAC;IAED,mFAAmF;IACnF,QAAQ,CAAC,KAAa;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,IAAI,CAAC,KAAK;YAAE,OAAO;QAChC,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;QAChC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC;QACtB,OAAO,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,CAAC,EAAE,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO;QACX,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO;QACT,CAAC;QACD,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,OAAO;QACL,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,EAAE,CAAC;YACN,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;YACrC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAED,2DAA2D;IAC3D,gBAAgB;QACd,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;CACF;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAElE,oDAAoD;AACpD,MAAM,UAAU,kCAAkC;IAChD,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AA6BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,gCAAgC,CAC9C,MAAoB,EACpB,OAAoC;IAEpC,OAAO,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACrC,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,IAAI,CAAC;YACH,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACtE,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,KAAK,CACP,6DAA6D,OAAO,CAAC,EAAE,GAAG;kBACxE,cAAc,yBAAyB,CAAC,aAAa,CAAC,QAAQ,CAAC,KAAK;kBACpE,GAAI,GAAa,CAAC,OAAO,4EAA4E;kBACrG,mHAAmH,CACtH,CAAC;YACF,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,uBAAuB,CAAC,aAAa,EAAE,OAAO,CAAC,EAAE,CAAC;QAC7G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,4HAA4H;AAC5H,SAAS,uBAAuB,CAC9B,aAA2B,EAC3B,OAAoC;IAEpC,IAAI,CAAC;QACH,MAAM,mBAAmB,GAAG,OAAO,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;QACzD,OAAO;YACL,gBAAgB,EAAE;gBAChB,GAAG,mBAAmB;gBACtB,OAAO,EAAE,EAAE;gBACX,OAAO,EAAE,KAAK;gBACd,OAAO,EAAE,EAAE,GAAG,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE;aAC3E;SACF,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,UAAU,0BAA0B,CACxC,MAA2C;IAE3C,MAAM,QAAQ,GAAG,MAAM;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC;SACrC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,6BAA6B,CAAC;IAChE,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC;AAC/B,CAAC;AAGD,sHAAsH;AACtH,SAAS,YAAY,CAAC,OAAe,EAAE,IAAuB;IAC5D,IAAI,IAAyC,CAAC;IAC9C,OAAO,GAAG,EAAE;QACV,IAAI,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,IAAI,CAAC,IAAI,CAAC;IACnB,CAAC,CAAC;AACJ,CAAC;AAiCD,mGAAmG;AACnG,MAAM,UAAU,oBAAoB,CAAC,YAAoB,EAAE,GAAW,EAAE,MAAc;IACpF,MAAM,YAAY,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC;IAC7D,4EAA4E;IAC5E,0DAA0D;IAC1D,IAAI,UAA8B,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,KAAyB,EAAS,EAAE;QAChE,UAAU,GAAG,OAAO,IAAI,cAAc,YAAY,KAAK,KAAK,IAAI,iBAAiB,EAAE,CAAC;QACpF,OAAO,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,SAAS,GAAqB;QAClC,iGAAiG;QACjG,MAAM,EAAE,GAAG,EAAE;YACX,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,wBAAwB,CAAC,EAAE,YAAY,CAAC,CAAC;YACrG,IAAI,CAAC,MAAM,CAAC,OAAO;gBAAE,MAAM,MAAM,CAAC,WAAW,GAAG,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;YAClE,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QACrC,CAAC;QACD,QAAQ,EAAE,GAAG,EAAE;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,MAAM,EAAE,GAAG,GAAG,IAAI,wBAAwB,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;YACnF,IAAI,CAAC,KAAK,CAAC,OAAO;gBAAE,MAAM,MAAM,CAAC,QAAQ,GAAG,IAAI,wBAAwB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YACzF,OAAO,KAAK,CAAC,MAAM,CAAC;QACtB,CAAC;KACF,CAAC;IACF,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,sBAAsB,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QACjE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IAClE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;QAChE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,SAAS,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAClE,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,+BAA+B,CAC7C,mBAAuD,EACvD,MAAc;IAEd,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAgC,CAAC;IACzD,OAAO,CAAC,OAAO,EAAE,EAAE;QACjB,MAAM,YAAY,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,YAAY;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,YAAY,CAAC,CAAC;QACzD,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;YAChC,OAAO,EAAE,UAAU,EAAE,gCAAgC,YAAY,KAAK,IAAI,CAAC,KAAK,IAAI,iBAAiB,EAAE,EAAE,CAAC;QAC5G,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,MAAM,EAAE,GAAG,KAAK,GAAG;YAAE,OAAO,MAAM,CAAC;QACvC,MAAM,IAAI,GAAG,oBAAoB,CAAC,YAAY,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7D,IAAI,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,mBAAmB,CAC1B,UAAkB,EAClB,OAAe,EACf,QAAqC,EACrC,IAAuB;IAEvB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,IAAI,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;QACjC,GAAG,CAAC,KAAK,CACP,uCAAuC,UAAU,+DAA+D;cAC9G,mCAAmC,IAAI,CAAC,UAAU,+BAA+B,CACpF,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IACxF,GAAG,CAAC,IAAI,CACN,uCAAuC,UAAU,kDAAkD;UACjG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,6CAA6C,CACvE,CAAC;IACF,OAAO,8BAA8B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACxD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,IAA0B,EAAE,QAAqC;IAC9G,MAAM,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9G,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACrC,SAAS,EAAE,eAAe,IAAI,QAAQ,CAAC,SAAS;QAChD,aAAa,EAAE,wBAAwB,CACrC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAC5G;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,SAAS,kBAAkB,CAAC,SAAiB,EAAE,gBAAqC,EAAE,QAAiB;IACrG,IAAI,QAAQ,EAAE,CAAC;QACb,wBAAwB,CAAC,gBAAgB,EAAE,SAAS,CAAC,CAAC;QACtD,OAAO;IACT,CAAC;IACD,GAAG,CAAC,IAAI,CACN,uEAAuE,SAAS,gBAAgB;UAC9F,sFAAsF,CACzF,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,MAAM,gBAAgB,GAAG,GAAS,EAAE,CAAC,IAAI,CAAC;AAE1C;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,MAAoB,EACpB,QAAqC,EACrC,mBAAwC,EACxC,IAAuB;IAEvB,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC,mBAAmB,EAAE,QAAQ,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAElF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACrF,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,iFAAiF;IACjF,8EAA8E;IAC9E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,mBAAmB,GAAG,IAAI,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,2EAA2E;QAC3E,8CAA8C;QAC9C,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,SAAS;QAEvC,IAAI,UAA0D,CAAC;QAC/D,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,mEAAmE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAC/F,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,mBAAmB,GAAG,KAAK,CAAC;YAC5B,SAAS;QACX,CAAC;QAED,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QACpD,4GAA4G;QAC5G,qIAAqI;QACrI,MAAM,kBAAkB,GAAG,uBAAuB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM;gBAAE,SAAS;YAC3D,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YACvG,sEAAsE;YACtE,8EAA8E;YAC9E,IAAI,CAAC,CAAC,CAAC,WAAW;gBAAE,SAAS;YAC7B,iFAAiF;YACjF,gFAAgF;YAChF,uEAAuE;YACvE,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAAC;gBAAE,SAAS;YAEzH,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,CAAC,kBAAkB,CAAC,kBAAkB,EAAE,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,8DAA8D;YAClI,+GAA+G;YAC/G,0GAA0G;YAC1G,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC;gBAAE,SAAS;YACpF,IAAI,gBAAgB,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,kDAAkD;YAClG,IAAI,mBAAmB,CAAC,CAAC,EAAE,QAAQ,CAAC;gBAAE,SAAS,CAAC,kCAAkC;YAElF,6EAA6E;YAC7E,0EAA0E;YAC1E,0CAA0C;YAC1C,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO;gBACzC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,EAAE,wBAAwB,CAAC,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;gBACnI,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC9D,IAAI,CAAC,kBAAkB;gBAAE,SAAS,CAAC,+EAA+E;YAElH,UAAU,CAAC,IAAI,CAAC;gBACd,UAAU,EAAE,CAAC,CAAC,EAAE;gBAChB,YAAY,EAAE,CAAC,CAAC,IAAI;gBACpB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,OAAO,EAAE,KAAK,CAAC,QAAQ;gBACvB,eAAe,EAAE,CAAC,CAAC,WAAW;gBAC9B,kBAAkB,EAAE,eAAe;gBACnC,kBAAkB;gBAClB,mBAAmB,EAAE,IAAI;gBACzB,qBAAqB,EAAE,IAAI;gBAC3B,mEAAmE;gBACnE,wEAAwE;gBACxE,0CAA0C;gBAC1C,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,cAAc,EAAE,CAAC,CAAC,cAAc;gBAChC,wEAAwE;gBACxE,0EAA0E;gBAC1E,uEAAuE;gBACvE,eAAe,EAAE;oBACf,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;oBAC/C,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kBAAkB,CAAC,MAAM,CAAC,SAAS,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,CAAC;IAE5E,OAAO,UAAU,CAAC;AACpB,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"delivery-commit-set.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/delivery-commit-set.ts"],"names":[],"mappings":"AAmCA,8HAA8H;AAC9H,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;AAmBzF;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,SAAS,GACb,MAAM,EAAE,GAAG,IAAI,CAYjB"}
1
+ {"version":3,"file":"delivery-commit-set.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/delivery-commit-set.ts"],"names":[],"mappings":"AAoCA,8HAA8H;AAC9H,MAAM,MAAM,SAAS,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC;AAmBzF;;;;GAIG;AACH,wBAAgB,+BAA+B,CAC7C,YAAY,EAAE,MAAM,EACpB,GAAG,EAAE,MAAM,EACX,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,SAAS,GACb,MAAM,EAAE,GAAG,IAAI,CAYjB"}
@@ -1,5 +1,6 @@
1
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/shortfalls/delivery-commit-set.test.ts
2
+ // Pinned by: packages/daemon/src/composition/runtime-delivery-advance-context.test.ts,
3
+ // packages/daemon/src/verify/shortfalls/delivery-commit-set.test.ts
3
4
  // PINNED-BY-END
4
5
  /**
5
6
  * Read a delivery's OWN commit set, as the identities the shortfall park compares
@@ -1 +1 @@
1
- {"version":3,"file":"delivery-commit-set.js","sourceRoot":"","sources":["../../../src/verify/shortfalls/delivery-commit-set.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+EAA+E;AAC/E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAMrE,mHAAmH;AACnH,SAAS,oBAAoB,CAAC,GAAc,EAAE,GAAW,EAAE,GAAW,EAAE,UAAkB;IACxF,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE;QACnB,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,oBAAoB,KAAK,UAAU,EAAE,EAAE,IAAI;QAC9F,+BAA+B,oBAAoB,aAAa,EAAE,GAAG,EAAE,IAAI;KAC5E,CAAC,CAAC;IACH,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,qGAAqG;QACrG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,+BAA+B,CAC7C,YAAoB,EACpB,GAAW,EACX,UAAkB,EAClB,GAAc;IAEd,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtH,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"delivery-commit-set.js","sourceRoot":"","sources":["../../../src/verify/shortfalls/delivery-commit-set.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uFAAuF;AACvF,sEAAsE;AACtE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AAMrE,mHAAmH;AACnH,SAAS,oBAAoB,CAAC,GAAc,EAAE,GAAW,EAAE,GAAW,EAAE,UAAkB;IACxF,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,EAAE;QACnB,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,oBAAoB,KAAK,UAAU,EAAE,EAAE,IAAI;QAC9F,+BAA+B,oBAAoB,aAAa,EAAE,GAAG,EAAE,IAAI;KAC5E,CAAC,CAAC;IACH,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,MAAM,CAAC,GAAG,EAAE,GAAG,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACjE,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,qGAAqG;QACrG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,UAAU;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,+BAA+B,CAC7C,YAAoB,EACpB,GAAW,EACX,UAAkB,EAClB,GAAc;IAEd,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;IAC7B,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IACvE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,oBAAoB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACrE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,eAAe,EAAE,oBAAoB,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtH,MAAM,GAAG,GAAG,GAAG,CAAC,YAAY,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;QACjE,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5F,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC"}
@@ -0,0 +1,24 @@
1
+ import type { LastShortfallJudgment } from '../../queries/delivery-gate-state/shortfall-judgment-record.js';
2
+ /** The delivery fields the reader takes. */
3
+ export interface ShortfallJudgmentSubject {
4
+ executionStatus?: string | null;
5
+ verificationOutcome?: string | null;
6
+ gateState?: unknown;
7
+ }
8
+ /** A delivery's latest verify judgment, a shortfall failure (module header). */
9
+ export interface FailedShortfallJudgment {
10
+ /** The judgment: when it held, the commit it judged when known, and every node it held. */
11
+ judgment: LastShortfallJudgment;
12
+ /** Where it was read: the live gate detail, or the kept history record. */
13
+ source: 'live' | 'kept';
14
+ /** The rulings fingerprint the judgment applied; undefined when it read none. */
15
+ appliedRulings: string | undefined;
16
+ /** The row's verification_outcome: 'failed', or null when unrecorded. */
17
+ outcome: 'failed' | null;
18
+ }
19
+ /**
20
+ * The delivery's latest verify judgment when it is a shortfall failure on an
21
+ * unparked delivery in verify (module header), or null. Never throws. Pure.
22
+ */
23
+ export declare function readFailedShortfallJudgment(d: ShortfallJudgmentSubject): FailedShortfallJudgment | null;
24
+ //# sourceMappingURL=latest-shortfall-judgment.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"latest-shortfall-judgment.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/latest-shortfall-judgment.ts"],"names":[],"mappings":"AA4DA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gEAAgE,CAAC;AAQ5G,4CAA4C;AAC5C,MAAM,WAAW,wBAAwB;IACvC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,mBAAmB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,gFAAgF;AAChF,MAAM,WAAW,uBAAuB;IACtC,2FAA2F;IAC3F,QAAQ,EAAE,qBAAqB,CAAC;IAChC,2EAA2E;IAC3E,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,iFAAiF;IACjF,cAAc,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,yEAAyE;IACzE,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;CAC1B;AAcD;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,CAAC,EAAE,wBAAwB,GAAG,uBAAuB,GAAG,IAAI,CAevG"}
@@ -0,0 +1,94 @@
1
+ // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
2
+ // Pinned by: packages/daemon/src/completion/state-cascade/standing-approval-failed-verdict.test.ts,
3
+ // packages/daemon/src/verify/shortfalls/latest-shortfall-judgment.test.ts
4
+ // PINNED-BY-END
5
+ /**
6
+ * A delivery's LATEST VERIFY JUDGMENT read as a shortfall FAILURE: the nodes it
7
+ * held, the commit it judged, and the rulings fingerprint it applied -- the
8
+ * judgment a shortfall ruling is weighed against.
9
+ *
10
+ * Two readers ask the same question of a delivery in verify that is NOT parked:
11
+ * "verify's latest word on it is a shortfall failure -- has a ruling been recorded
12
+ * since that the judgment did not apply?" The ruling re-arm
13
+ * (verify/shortfalls/shortfall-rulings.ts rearmRuledShortfallParks) re-selects
14
+ * verify for it when one has; the standing-approval backstop
15
+ * (completion/state-cascade/standing-approval-failed-verdict.ts) files it as
16
+ * stranded when nothing will move it. One reader, so the two can never disagree
17
+ * about which judgment a ruling answers. A PARK is not read here: it carries its
18
+ * own record and fingerprint (queries/delivery-gate-state/shortfall-park-record.ts),
19
+ * the re-arm releases it exactly as before, and the backstop leaves it to the one
20
+ * escalation the park already filed.
21
+ *
22
+ * THE RULE, every clause required:
23
+ * 1. the delivery sits in verify, and no standing park is recorded on it;
24
+ * 2. its row's verification_outcome is 'failed' or unrecorded (null). A 'passed'
25
+ * row was judged since (the pass reset drops the judgment with the rest of the
26
+ * history); 'pending' means its last dispatch rendered no verdict at all;
27
+ * 3. no rejection of another kind stands LIVE on gate_state: a deterministic
28
+ * failure (`verification`), blind evidence (`evidenceUnavailable`) or an
29
+ * unreachable model (`modelUnavailable`) is a later word of verify's own,
30
+ * each with its own owner, and a shortfall ruling answers none of them;
31
+ * 4. the judgment is the LIVE gate_state.shortfallReconciliation, judged on the
32
+ * commit its re-work writer stamped at the same instant (else the sha of the
33
+ * gate verdict it carries) -- else the KEPT
34
+ * verificationHistory.lastShortfallJudgment (the order
35
+ * queries/delivery-gate-state/delivery-gate-state.ts readLastShortfallJudgment
36
+ * reads them in) -- and it names at least one node.
37
+ * The row's verification_outcome alone is never the source: it names no commit,
38
+ * and the edge resets a failure to null on verify -> verify_failed, so a delivery
39
+ * that walked verify_failed -> coding -> verify back to the same head carries null
40
+ * beside the kept failure.
41
+ *
42
+ * The rulings fingerprint the judgment APPLIED is the one recorded beside it by
43
+ * the same judgment: the live detail's own repeat record for a live judgment, the
44
+ * carried repeat for a kept one (ShortfallRepeatRecord.rulingsFingerprint: '' for
45
+ * an empty set it read, absent when it read none). verify/shortfalls/shortfall-park.ts
46
+ * rulingRecordedSince is the comparison.
47
+ *
48
+ * Pure, defensive over the loosely typed JSONB, and a leaf over the gate-state
49
+ * vocabulary.
50
+ *
51
+ * @module verify/shortfalls/latest-shortfall-judgment
52
+ */
53
+ import { parseShortfallRepeat, readLastShortfallJudgment, readShortfallPark, readVerificationHistory, } from '../../queries/delivery-gate-state/delivery-gate-state.js';
54
+ /** The delivery status the judgment is read in. Daemon-local literal (mock-safe: no daemon-core value import). */
55
+ const VERIFY_STATUS = 'verify';
56
+ /** Live gate_state keys that are a later word of verify's own, of a kind a shortfall ruling does not answer. */
57
+ const OTHER_LIVE_REJECTIONS = ['verification', 'evidenceUnavailable', 'modelUnavailable'];
58
+ function asObject(value) {
59
+ return value != null && typeof value === 'object' && !Array.isArray(value)
60
+ ? value
61
+ : null;
62
+ }
63
+ /** The row's outcome as the rule reads it: 'failed', null (unrecorded), or undefined (any other value -- not a failure). */
64
+ function failedOrUnrecorded(outcome) {
65
+ if (outcome === 'failed')
66
+ return 'failed';
67
+ return outcome === null || outcome === undefined ? null : undefined;
68
+ }
69
+ /**
70
+ * The delivery's latest verify judgment when it is a shortfall failure on an
71
+ * unparked delivery in verify (module header), or null. Never throws. Pure.
72
+ */
73
+ export function readFailedShortfallJudgment(d) {
74
+ if (d.executionStatus !== VERIFY_STATUS || readShortfallPark(d.gateState) !== null)
75
+ return null;
76
+ const outcome = failedOrUnrecorded(d.verificationOutcome);
77
+ if (outcome === undefined)
78
+ return null;
79
+ const gate = asObject(d.gateState);
80
+ if (gate !== null && OTHER_LIVE_REJECTIONS.some((k) => gate[k] != null))
81
+ return null;
82
+ const judgment = readLastShortfallJudgment(d.gateState);
83
+ if (judgment === null)
84
+ return null;
85
+ const live = asObject(gate?.shortfallReconciliation);
86
+ // A live detail naming no parseable node is still verify's latest word: an older kept record does not stand in for it.
87
+ if (live !== null && live.heldAt !== judgment.heldAt)
88
+ return null;
89
+ const appliedRulings = live !== null
90
+ ? parseShortfallRepeat(live.repeat)?.rulingsFingerprint
91
+ : readVerificationHistory(d.gateState).shortfallRepeat?.rulingsFingerprint;
92
+ return { judgment, source: live !== null ? 'live' : 'kept', appliedRulings, outcome };
93
+ }
94
+ //# sourceMappingURL=latest-shortfall-judgment.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"latest-shortfall-judgment.js","sourceRoot":"","sources":["../../../src/verify/shortfalls/latest-shortfall-judgment.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,4EAA4E;AAC5E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+CG;AAEH,OAAO,EACL,oBAAoB,EACpB,yBAAyB,EACzB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,0DAA0D,CAAC;AAGlE,kHAAkH;AAClH,MAAM,aAAa,GAAG,QAAQ,CAAC;AAE/B,gHAAgH;AAChH,MAAM,qBAAqB,GAAG,CAAC,cAAc,EAAE,qBAAqB,EAAE,kBAAkB,CAAU,CAAC;AAqBnG,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,IAAI,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACxE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,4HAA4H;AAC5H,SAAS,kBAAkB,CAAC,OAAkC;IAC5D,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC1C,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACtE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,2BAA2B,CAAC,CAA2B;IACrE,IAAI,CAAC,CAAC,eAAe,KAAK,aAAa,IAAI,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChG,MAAM,OAAO,GAAG,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,IAAI,IAAI,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrF,MAAM,QAAQ,GAAG,yBAAyB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACxD,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC,CAAC;IACrD,uHAAuH;IACvH,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAClE,MAAM,cAAc,GAAG,IAAI,KAAK,IAAI;QAClC,CAAC,CAAC,oBAAoB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,kBAAkB;QACvD,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,EAAE,kBAAkB,CAAC;IAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC;AACxF,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"parked-shortfall-reuse.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/parked-shortfall-reuse.ts"],"names":[],"mappings":"AAoGA,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,4DAA4D,CAAC;AAGhG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,0DAA0D,CAAC;AAC9G,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAetF,mGAAmG;AACnG,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,yBAAyB,GACzB,oBAAoB,GACpB,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,iBAAiB,GACjB,0BAA0B,GAC1B,iBAAiB,CAAC;AAEtB,sFAAsF;AACtF,MAAM,WAAW,oBAAoB;IACnC,qFAAqF;IACrF,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;IAC3B,yFAAyF;IACzF,MAAM,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAC7C,oEAAoE;IACpE,aAAa,EAAE,OAAO,CAAC;IACvB,qFAAqF;IACrF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,kFAAkF;IAClF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,uFAAuF;IACvF,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,6DAA6D;AAC7D,MAAM,MAAM,uBAAuB,GAC/B;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAA;CAAE,GAC/F;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAMhD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,6BAA6B,GAAG,IAAI,GAC3C,eAAe,EAAE,GAAG,IAAI,CAoC1B;AAQD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,oBAAoB,GAAG,uBAAuB,CAkB/F;AAED,oGAAoG;AACpG,MAAM,WAAW,wBAAwB;IACvC;;;;;OAKG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;OAMG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H,6GAA6G;IAC7G,oBAAoB,EAAE,sBAAsB,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,IAAI,EAAE,aAAa,CAAC;CACrB;AAkED;;;;;;;;;GASG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAGlB;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CA4BtC"}
1
+ {"version":3,"file":"parked-shortfall-reuse.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/parked-shortfall-reuse.ts"],"names":[],"mappings":"AAuGA,OAAO,EAAE,KAAK,aAAa,EAAE,MAAM,4DAA4D,CAAC;AAIhG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,0DAA0D,CAAC;AAC9G,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAetF,mGAAmG;AACnG,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,yBAAyB,GACzB,oBAAoB,GACpB,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,iBAAiB,GACjB,0BAA0B,GAC1B,iBAAiB,CAAC;AAEtB,sFAAsF;AACtF,MAAM,WAAW,oBAAoB;IACnC,qFAAqF;IACrF,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;IAC3B,yFAAyF;IACzF,MAAM,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAC7C,oEAAoE;IACpE,aAAa,EAAE,OAAO,CAAC;IACvB,qFAAqF;IACrF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,kFAAkF;IAClF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,uFAAuF;IACvF,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,6DAA6D;AAC7D,MAAM,MAAM,uBAAuB,GAC/B;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAA;CAAE,GAC/F;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAMhD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,6BAA6B,GAAG,IAAI,GAC3C,eAAe,EAAE,GAAG,IAAI,CAsC1B;AAeD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,oBAAoB,GAAG,uBAAuB,CAkB/F;AAED,oGAAoG;AACpG,MAAM,WAAW,wBAAwB;IACvC;;;;;OAKG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;OAMG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H,6GAA6G;IAC7G,oBAAoB,EAAE,sBAAsB,CAAC;CAC9C;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,IAAI,EAAE,aAAa,CAAC;CACrB;AAkED;;;;;;;;;GASG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAGlB;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CA4BtC"}
@@ -64,11 +64,14 @@
64
64
  * - the gaps cannot be rebuilt from the standing detail, or the rebuild does
65
65
  * not reproduce the park's signature (a legacy park, or a writer that
66
66
  * replaced the live detail). One judgement re-establishes the detail;
67
- * - the rebuilt gaps look like a FAILED reconciliation rather than a judgement:
68
- * a non-ModelUnavailable throw is signed as a whole-injection shortfall
69
- * (classifyReconciliationThrow), which names the INJECTION node and carries
70
- * the '(unknown -- reconciliation failed)' declared statement. That is an
71
- * error, not a verdict, so it is re-attempted rather than reused.
67
+ * - a rebuilt gap is a FAILED reconciliation rather than a judgement: its
68
+ * signer marked it `unjudged` (a judge answer that did not parse, or a
69
+ * non-ModelUnavailable throw -- per target in
70
+ * verify/effect-reconciliation/verify-restatement.ts, or for the whole
71
+ * injection in classifyReconciliationThrow). A gap written before that
72
+ * discriminator is recognised as before: it names the INJECTION node or
73
+ * carries the '(unknown -- reconciliation failed)' declared statement. That
74
+ * is an error, not a verdict, so it is re-attempted rather than reused.
72
75
  *
73
76
  * WHAT STAYS REACHABLE, AND WHAT DOES NOT. The engine resolves the delivery's
74
77
  * evidence before asking this: those are git and record reads every dispatch pays
@@ -96,6 +99,7 @@
96
99
  * @module verify/shortfalls/parked-shortfall-reuse
97
100
  */
98
101
  import { commitSetFingerprint, shortfallParkRefusingRework } from './shortfall-park.js';
102
+ import { parseUnjudgedKind } from '../../queries/delivery-gate-state/shortfall-judgment-record.js';
99
103
  import { sameShortfallSignature, shortfallSignature } from './shortfall-repeat.js';
100
104
  import { hasModelUnavailableHold } from '../../queries/delivery-gate-state/verify-own-holds.js';
101
105
  import { createLogger } from '../../log/daemon-log.js';
@@ -148,12 +152,14 @@ export function reconstructParkedShortfalls(park, detail) {
148
152
  continue;
149
153
  identities.add(identity);
150
154
  nodesSeen.add(id);
155
+ const unjudged = parseUnjudgedKind(s.unjudged);
151
156
  gaps.push({
152
157
  nodeId: s.nodeId,
153
158
  declaredStatement: s.declared,
154
159
  achievedStatement: typeof s.achieved === 'string' ? s.achieved : '',
155
160
  reason: typeof s.reason === 'string' ? s.reason : '',
156
161
  ...(s.diffCitation ? { diffCitation: s.diffCitation } : {}),
162
+ ...(unjudged ? { unjudged } : {}),
157
163
  });
158
164
  }
159
165
  // A BIJECTION, both directions: the loop above refused every node the park does
@@ -162,8 +168,16 @@ export function reconstructParkedShortfalls(park, detail) {
162
168
  return null;
163
169
  return sameShortfallSignature(shortfallSignature(gaps), park.signature) ? gaps : null;
164
170
  }
165
- /** Whether one rebuilt gap is a signed reconciliation FAILURE rather than a judgement. Pure. */
171
+ /**
172
+ * Whether one rebuilt gap is a signed reconciliation FAILURE rather than a
173
+ * judgement: it carries the `unjudged` discriminator its signer set (an
174
+ * unparseable answer or a failed reconciliation, on a target or the whole
175
+ * injection), or -- for a gap written before the discriminator -- it names the
176
+ * injection node or the failed-reconciliation declared statement. Pure.
177
+ */
166
178
  function isFailedReconciliation(gap, injectionNodeId) {
179
+ if (gap.unjudged !== undefined)
180
+ return true;
167
181
  return lower(gap.nodeId) === lower(injectionNodeId)
168
182
  || gap.declaredStatement === RECONCILIATION_FAILED_DECLARED;
169
183
  }
@@ -1 +1 @@
1
- {"version":3,"file":"parked-shortfall-reuse.js","sourceRoot":"","sources":["../../../src/verify/shortfalls/parked-shortfall-reuse.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mFAAmF;AACnF,6EAA6E;AAC7E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2FG;AAEH,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAExF,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uDAAuD,CAAC;AAMhG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,8BAA8B,GAAG,oCAAoC,CAAC;AAoC5E,SAAS,KAAK,CAAC,EAAU;IACvB,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAmB,EACnB,MAA4C;IAE5C,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,EAAE,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACjF,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,4EAA4E;QAC5E,sEAAsE;QACtE,qDAAqD;QACrD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,2DAA2D;QAC3D,wFAAwF;QACxF,6EAA6E;QAC7E,gEAAgE;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,iBAAiB,EAAE,CAAC,CAAC,QAAQ;YAC7B,iBAAiB,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YACnE,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACpD,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,gFAAgF;IAChF,oEAAoE;IACpE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,sBAAsB,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAED,gGAAgG;AAChG,SAAS,sBAAsB,CAAC,GAAoB,EAAE,eAAuB;IAC3E,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,eAAe,CAAC;WAC9C,GAAG,CAAC,iBAAiB,KAAK,8BAA8B,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA2B;IACpE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAC/D,IAAI,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5E,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACzF,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAC/F,wEAAwE;IACxE,8EAA8E;IAC9E,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;IACpG,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC3F,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI,CAAC,kBAAkB;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC9G,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;IACtF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;AACzF,CAAC;AAkCD,gGAAgG;AAChG,KAAK,UAAU,aAAa,CAC1B,IAA8B,EAC9B,CAAsB,EACtB,SAAwB;IAExB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,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,kCAAkC,CAAC,CAAC,UAAU,sCAAsC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACvH,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,sBAAsB,CAAC,IAA8B,EAAE,UAAkB;IACtF,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACnE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,kCAAkC,UAAU,mCAAmC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAClH,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,cAAc,CAC3B,IAA8B,EAC9B,UAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,UAAU,sCAAsC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC9G,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,iBAAiB,CAC9B,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,0BAA0B,CAAC;QAC1C,IAAI;QACJ,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,uBAAuB,IAAI,IAAI;QAC1D,aAAa,EAAE,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC;QACzD,SAAS,EAAE,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC;QAClD,kBAAkB,EAAE,MAAM,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC;QACpE,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;AACpD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,GAAG,CAAC,KAAK,CACP,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,0CAA0C;YACtG,IAAI,QAAQ,CAAC,OAAO,4BAA4B,CACjD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4CAA4C;QACxG,GAAG,IAAI,CAAC,QAAQ,kBAAkB,IAAI,CAAC,SAAS,+CAA+C;QAC/F,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,gEAAgE;QAC7F,mCAAmC,CACpC,CAAC;IACF,OAAO;QACL,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;QAC/C,eAAe,EAAE,EAAE;QACnB,OAAO,EAAE,EAAE;QACX,2EAA2E;QAC3E,gEAAgE;QAChE,uBAAuB,EAAE,EAAE;QAC3B,IAAI;KACL,CAAC;AACJ,CAAC"}
1
+ {"version":3,"file":"parked-shortfall-reuse.js","sourceRoot":"","sources":["../../../src/verify/shortfalls/parked-shortfall-reuse.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mFAAmF;AACnF,6EAA6E;AAC7E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8FG;AAEH,OAAO,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAExF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gEAAgE,CAAC;AACnG,OAAO,EAAE,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AACnF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uDAAuD,CAAC;AAMhG,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;;GAOG;AACH,MAAM,8BAA8B,GAAG,oCAAoC,CAAC;AAoC5E,SAAS,KAAK,CAAC,EAAU;IACvB,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,2BAA2B,CACzC,IAAmB,EACnB,MAA4C;IAE5C,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,IAAI,GAAsB,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;QAClC,IAAI,OAAO,CAAC,EAAE,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACjF,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,8EAA8E;QAC9E,8EAA8E;QAC9E,6EAA6E;QAC7E,4EAA4E;QAC5E,sEAAsE;QACtE,qDAAqD;QACrD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC;QACjC,2DAA2D;QAC3D,wFAAwF;QACxF,6EAA6E;QAC7E,gEAAgE;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QACvC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,iBAAiB,EAAE,CAAC,CAAC,QAAQ;YAC7B,iBAAiB,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE;YACnE,MAAM,EAAE,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACpD,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3D,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClC,CAAC,CAAC;IACL,CAAC;IACD,gFAAgF;IAChF,oEAAoE;IACpE,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,sBAAsB,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACxF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,sBAAsB,CAAC,GAAoB,EAAE,eAAuB;IAC3E,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5C,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,eAAe,CAAC;WAC9C,GAAG,CAAC,iBAAiB,KAAK,8BAA8B,CAAC;AAChE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAA2B;IACpE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAC/D,IAAI,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC;IAC5E,IAAI,IAAI,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACzF,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IACrF,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAC/F,wEAAwE;IACxE,8EAA8E;IAC9E,IAAI,IAAI,CAAC,kBAAkB,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;IACpG,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC3F,IAAI,KAAK,CAAC,kBAAkB,KAAK,IAAI,CAAC,kBAAkB;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC9G,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACnE,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC;IACtF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC;QACjF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;IACtD,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,EAAE,KAAK,CAAC,kBAAkB,EAAE,CAAC;AACzF,CAAC;AAkCD,gGAAgG;AAChG,KAAK,UAAU,aAAa,CAC1B,IAA8B,EAC9B,CAAsB,EACtB,SAAwB;IAExB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QAC9D,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,kCAAkC,CAAC,CAAC,UAAU,sCAAsC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACvH,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,sBAAsB,CAAC,IAA8B,EAAE,UAAkB;IACtF,IAAI,CAAC;QACH,OAAO,CAAC,MAAM,IAAI,CAAC,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IACnE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,kCAAkC,UAAU,mCAAmC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAClH,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,KAAK,UAAU,cAAc,CAC3B,IAA8B,EAC9B,UAAkB;IAElB,IAAI,CAAC;QACH,OAAO,MAAM,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACvD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,2BAA2B,UAAU,sCAAsC,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC9G,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,iBAAiB,CAC9B,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,0BAA0B,CAAC;QAC1C,IAAI;QACJ,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,uBAAuB,IAAI,IAAI;QAC1D,aAAa,EAAE,uBAAuB,CAAC,MAAM,EAAE,SAAS,CAAC;QACzD,SAAS,EAAE,MAAM,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,SAAS,CAAC;QAClD,kBAAkB,EAAE,MAAM,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC;QACpE,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5D,OAAO,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;AACpD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,2BAA2B,CAC/C,CAAsB,EACtB,SAAwB,EACxB,IAA8B;IAE9B,MAAM,OAAO,GAAG,MAAM,iBAAiB,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAC5D,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACnC,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACpB,GAAG,CAAC,KAAK,CACP,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,0CAA0C;YACtG,IAAI,QAAQ,CAAC,OAAO,4BAA4B,CACjD,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4CAA4C;QACxG,GAAG,IAAI,CAAC,QAAQ,kBAAkB,IAAI,CAAC,SAAS,+CAA+C;QAC/F,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,gEAAgE;QAC7F,mCAAmC,CACpC,CAAC;IACF,OAAO;QACL,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,QAAQ,CAAC,UAAU;QAC/B,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;QAC/C,eAAe,EAAE,EAAE;QACnB,OAAO,EAAE,EAAE;QACX,2EAA2E;QAC3E,gEAAgE;QAChE,uBAAuB,EAAE,EAAE;QAC3B,IAAI;KACL,CAAC;AACJ,CAAC"}
@@ -0,0 +1,12 @@
1
+ import type { TargetShortfall } from '../effect-reconciliation/verify-restatement.js';
2
+ /** The most one field of a node's log line may take, after its whitespace is collapsed. */
3
+ export declare const SHORTFALL_LOG_FIELD_CAP = 300;
4
+ /**
5
+ * The log lines for a shortfall judgment that failed a delivery's verify: the
6
+ * header, then one line per held node. [] when the judgment held no node. Pure.
7
+ */
8
+ export declare function shortfallJudgmentLogLines(delivery: {
9
+ deliveryId: string;
10
+ deliveryName: string;
11
+ }, judgedSha: string | null, shortfalls: readonly TargetShortfall[]): string[];
12
+ //# sourceMappingURL=shortfall-judgment-log.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"shortfall-judgment-log.d.ts","sourceRoot":"","sources":["../../../src/verify/shortfalls/shortfall-judgment-log.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAEtF,2FAA2F;AAC3F,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAkB3C;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE;IAAE,UAAU,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,EACtD,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,UAAU,EAAE,SAAS,eAAe,EAAE,GACrC,MAAM,EAAE,CAQV"}