@telora/daemon 0.22.62 → 0.22.78
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.
- package/build-info.json +6 -3
- package/dist/completion/completion-phase-registry.d.ts.map +1 -1
- package/dist/completion/completion-phase-registry.js +1 -0
- package/dist/completion/completion-phase-registry.js.map +1 -1
- package/dist/completion/event-entry-phases.js +3 -3
- package/dist/completion/event-entry-phases.js.map +1 -1
- package/dist/completion/event-escalations.d.ts.map +1 -1
- package/dist/completion/event-escalations.js +4 -0
- package/dist/completion/event-escalations.js.map +1 -1
- package/dist/completion/event.d.ts +1 -0
- package/dist/completion/event.d.ts.map +1 -1
- package/dist/completion/event.js.map +1 -1
- package/dist/completion/index.js +1 -1
- package/dist/completion/review-cycle-delta.d.ts.map +1 -1
- package/dist/completion/review-cycle-delta.js +2 -1
- package/dist/completion/review-cycle-delta.js.map +1 -1
- package/dist/completion/review-exit-deps.d.ts +4 -1
- package/dist/completion/review-exit-deps.d.ts.map +1 -1
- package/dist/completion/review-exit-deps.js +5 -2
- package/dist/completion/review-exit-deps.js.map +1 -1
- package/dist/completion/review-exit-escalations.d.ts +12 -0
- package/dist/completion/review-exit-escalations.d.ts.map +1 -1
- package/dist/completion/review-exit-escalations.js +22 -7
- package/dist/completion/review-exit-escalations.js.map +1 -1
- package/dist/completion/review-exit-evidence.d.ts +26 -0
- package/dist/completion/review-exit-evidence.d.ts.map +1 -0
- package/dist/completion/review-exit-evidence.js +115 -0
- package/dist/completion/review-exit-evidence.js.map +1 -0
- package/dist/completion/review-exit-phase.d.ts +14 -0
- package/dist/completion/review-exit-phase.d.ts.map +1 -1
- package/dist/completion/review-exit-phase.js +58 -81
- package/dist/completion/review-exit-phase.js.map +1 -1
- package/dist/completion/review-exit-progress.d.ts.map +1 -1
- package/dist/completion/review-exit-progress.js +14 -1
- package/dist/completion/review-exit-progress.js.map +1 -1
- package/dist/completion/review-exit-rehoming.d.ts +53 -0
- package/dist/completion/review-exit-rehoming.d.ts.map +1 -0
- package/dist/completion/review-exit-rehoming.js +57 -0
- package/dist/completion/review-exit-rehoming.js.map +1 -0
- package/dist/completion/settle-injection-sweep.d.ts +7 -2
- package/dist/completion/settle-injection-sweep.d.ts.map +1 -1
- package/dist/completion/settle-injection-sweep.js +32 -2
- package/dist/completion/settle-injection-sweep.js.map +1 -1
- package/dist/completion/state-cascade.d.ts +13 -12
- package/dist/completion/state-cascade.d.ts.map +1 -1
- package/dist/completion/state-cascade.js +35 -1
- package/dist/completion/state-cascade.js.map +1 -1
- package/dist/focus/focus-executor.d.ts.map +1 -1
- package/dist/focus/focus-executor.js +56 -23
- package/dist/focus/focus-executor.js.map +1 -1
- package/dist/focus/focus-loop-registry.js +2 -2
- package/dist/focus/focus-loop-registry.js.map +1 -1
- package/dist/nexus/return.d.ts +7 -5
- package/dist/nexus/return.d.ts.map +1 -1
- package/dist/nexus/return.js +7 -6
- package/dist/nexus/return.js.map +1 -1
- package/dist/prompt-sections/persona-sections.d.ts +0 -18
- package/dist/prompt-sections/persona-sections.d.ts.map +1 -1
- package/dist/prompt-sections/persona-sections.js +40 -20
- package/dist/prompt-sections/persona-sections.js.map +1 -1
- package/dist/queries/agent-resolvable-promotion.d.ts +53 -0
- package/dist/queries/agent-resolvable-promotion.d.ts.map +1 -1
- package/dist/queries/agent-resolvable-promotion.js +114 -7
- package/dist/queries/agent-resolvable-promotion.js.map +1 -1
- package/dist/queries/escalation-consumption.d.ts.map +1 -1
- package/dist/queries/escalation-consumption.js +1 -0
- package/dist/queries/escalation-consumption.js.map +1 -1
- package/dist/queries/escalations.d.ts +34 -2
- package/dist/queries/escalations.d.ts.map +1 -1
- package/dist/queries/escalations.js +72 -4
- package/dist/queries/escalations.js.map +1 -1
- package/dist/queries/focuses.d.ts +13 -0
- package/dist/queries/focuses.d.ts.map +1 -1
- package/dist/queries/focuses.js +18 -0
- package/dist/queries/focuses.js.map +1 -1
- package/dist/queries/issues.d.ts +9 -0
- package/dist/queries/issues.d.ts.map +1 -1
- package/dist/queries/issues.js +11 -0
- package/dist/queries/issues.js.map +1 -1
- package/dist/queries/shared.js +1 -1
- package/dist/queries/verification.d.ts +14 -2
- package/dist/queries/verification.d.ts.map +1 -1
- package/dist/queries/verification.js +43 -6
- package/dist/queries/verification.js.map +1 -1
- package/dist/reality/reality-writeback.d.ts +28 -0
- package/dist/reality/reality-writeback.d.ts.map +1 -1
- package/dist/reality/reality-writeback.js +30 -0
- package/dist/reality/reality-writeback.js.map +1 -1
- package/dist/spawn/worktree-session.d.ts +16 -10
- package/dist/spawn/worktree-session.d.ts.map +1 -1
- package/dist/spawn/worktree-session.js +52 -35
- package/dist/spawn/worktree-session.js.map +1 -1
- package/dist/testing/fixtures/index.js +1 -1
- package/dist/types/focus.d.ts +12 -0
- package/dist/types/focus.d.ts.map +1 -1
- package/dist/types/index.js +1 -1
- package/dist/verify/stall-detectors.d.ts.map +1 -1
- package/dist/verify/stall-detectors.js +1 -0
- package/dist/verify/stall-detectors.js.map +1 -1
- package/dist/verify/unreviewed-settle-detector.d.ts +36 -1
- package/dist/verify/unreviewed-settle-detector.d.ts.map +1 -1
- package/dist/verify/unreviewed-settle-detector.js +98 -32
- package/dist/verify/unreviewed-settle-detector.js.map +1 -1
- package/dist/verify/verification-boundary-env.d.ts +51 -0
- package/dist/verify/verification-boundary-env.d.ts.map +1 -0
- package/dist/verify/verification-boundary-env.js +63 -0
- package/dist/verify/verification-boundary-env.js.map +1 -0
- package/dist/verify/verification-deps-default.js +2 -1
- package/dist/verify/verification-deps-default.js.map +1 -1
- package/dist/verify/verification-deps.js +1 -1
- package/dist/verify/verification-deps.js.map +1 -1
- package/dist/verify/verification-deterministic.d.ts +11 -1
- package/dist/verify/verification-deterministic.d.ts.map +1 -1
- package/dist/verify/verification-deterministic.js +26 -5
- package/dist/verify/verification-deterministic.js.map +1 -1
- package/dist/verify/verification-engine.d.ts +1 -0
- package/dist/verify/verification-engine.d.ts.map +1 -1
- package/dist/verify/verification-engine.js +28 -4
- package/dist/verify/verification-engine.js.map +1 -1
- package/dist/verify/verification-evidence-unavailable-feedback.d.ts +52 -0
- package/dist/verify/verification-evidence-unavailable-feedback.d.ts.map +1 -0
- package/dist/verify/verification-evidence-unavailable-feedback.js +178 -0
- package/dist/verify/verification-evidence-unavailable-feedback.js.map +1 -0
- package/dist/verify/verification-feedback.d.ts +34 -59
- package/dist/verify/verification-feedback.d.ts.map +1 -1
- package/dist/verify/verification-feedback.js +64 -172
- package/dist/verify/verification-feedback.js.map +1 -1
- package/dist/verify/verify-restatement.d.ts.map +1 -1
- package/dist/verify/verify-restatement.js +2 -1
- package/dist/verify/verify-restatement.js.map +1 -1
- package/package.json +2 -2
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
|
|
2
2
|
// Pinned by: packages/daemon/src/resolvers/verify-evidence-merged-back.test.ts,
|
|
3
|
+
// packages/daemon/src/verify/shortfall-inward-proposal.test.ts,
|
|
3
4
|
// packages/daemon/src/verify/verification-default-on.test.ts,
|
|
4
5
|
// packages/daemon/src/verify/verification-engine-real-paths.test.ts,
|
|
5
6
|
// packages/daemon/src/verify/verification-engine.test.ts,
|
|
@@ -7,6 +8,7 @@
|
|
|
7
8
|
// packages/daemon/src/verify/verify-injection-evidence.test.ts
|
|
8
9
|
// PINNED-BY-END
|
|
9
10
|
export { runDeterministicStrategy } from './verification-deterministic.js';
|
|
11
|
+
import { emitObservedShortfallDrift, } from '../queries/verification.js';
|
|
10
12
|
import { diagnoseEmptyDiffSource } from '../resolvers/index.js';
|
|
11
13
|
import { collectDefaultOnVerifications, markDefaultOnRan, resolveDaemonWideVerifyCap, resolveProductVerificationScopes, verificationSemaphore, } from './verification-default-on.js';
|
|
12
14
|
import { applyAttribution } from './verification-baseline.js';
|
|
@@ -61,8 +63,18 @@ export async function runAiInspectionStrategy(deps, v) {
|
|
|
61
63
|
};
|
|
62
64
|
}
|
|
63
65
|
import { defaultDeps } from './verification-deps-default.js';
|
|
66
|
+
// The verify boundary env (resolved before a deterministic run and handed to the
|
|
67
|
+
// command) lives in verification-boundary-env.ts to keep this file under the
|
|
68
|
+
// daemon 800-line limit. Re-exported so existing importers/tests reach it here.
|
|
69
|
+
export { VERIFY_BASE_REF_ENV, VERIFY_RECORDED_COMMIT_COUNT_ENV, resolveVerifyBoundaryEnv, } from './verification-boundary-env.js';
|
|
70
|
+
import { resolveVerifyBoundaryEnv } from './verification-boundary-env.js';
|
|
64
71
|
const STRATEGIES = {
|
|
65
|
-
deterministic: (deps, v) =>
|
|
72
|
+
deterministic: async (deps, v) => {
|
|
73
|
+
// Hoist the boundary resolution BEFORE the run so the command's targeted-test
|
|
74
|
+
// selector diffs against the delivery's recorded pre-merge boundary.
|
|
75
|
+
const extraEnv = await resolveVerifyBoundaryEnv(deps, v);
|
|
76
|
+
return deps.runDeterministic(v.verificationConfig, (deps.resolveVerificationCwd ?? ((pv) => deps.resolveCwd(pv.productId)))(v), { deliveryId: v.deliveryId, startedAtMs: Date.now() }, extraEnv);
|
|
77
|
+
},
|
|
66
78
|
behavioral: () => runBehavioralStrategy(),
|
|
67
79
|
ai_inspection: (deps, v) => runAiInspectionStrategy(deps, v),
|
|
68
80
|
};
|
|
@@ -75,6 +87,18 @@ const STRATEGIES = {
|
|
|
75
87
|
*/
|
|
76
88
|
export { MERGED_BACK_GIT_STATES, recordedMergeShaForVerify, } from './verification-evidence.js';
|
|
77
89
|
import { buildVerifyEvidence, summarizeEvidenceForInjection, describeMissingJudgeEvidence, assessRecordedCoverage, resolveDiffCwd, recordedMergeShaForVerify as recordedMergeShaForVerifyImpl, } from './verification-evidence.js';
|
|
90
|
+
/**
|
|
91
|
+
* Record a verification outcome (a VERDICT only -- the reconciler owns the
|
|
92
|
+
* verify -> done edge) and log it by delivery NAME, so a pass is visible in the
|
|
93
|
+
* daemon log directly (not merely as a tick count) and the closing that follows
|
|
94
|
+
* on review evidence reads as a distinct, later event. Extracted to keep
|
|
95
|
+
* runVerificationForDelivery under the daemon per-function line limit.
|
|
96
|
+
*/
|
|
97
|
+
async function recordAndLogOutcome(deps, v, outcome) {
|
|
98
|
+
await deps.recordOutcome(v.deliveryId, outcome);
|
|
99
|
+
log.info(`[verification] recorded outcome '${outcome}' for delivery ` +
|
|
100
|
+
`"${v.deliveryName}" (${v.deliveryId}) -- verdict only; reconciler owns any status edge`);
|
|
101
|
+
}
|
|
78
102
|
/**
|
|
79
103
|
* Run verification for a single delivery.
|
|
80
104
|
*
|
|
@@ -392,8 +416,8 @@ export async function runVerificationForDelivery(v, deps) {
|
|
|
392
416
|
shortfallHold = shortfalls;
|
|
393
417
|
result.outcome = 'failed';
|
|
394
418
|
result.rationale =
|
|
395
|
-
`verify reconciliation found ${shortfalls.length} shortfall(s) vs declared intent;
|
|
396
|
-
|
|
419
|
+
`verify reconciliation found ${shortfalls.length} shortfall(s) vs declared intent; injection ${v.injectionNodeId} not flipped (re-entering bounded re-work)`;
|
|
420
|
+
await emitObservedShortfallDrift(deps.emitInwardDrift, v.injectionNodeId, shortfalls, realityTreeId);
|
|
397
421
|
}
|
|
398
422
|
else {
|
|
399
423
|
let flipped = false;
|
|
@@ -434,7 +458,7 @@ export async function runVerificationForDelivery(v, deps) {
|
|
|
434
458
|
}
|
|
435
459
|
}
|
|
436
460
|
}
|
|
437
|
-
await deps
|
|
461
|
+
await recordAndLogOutcome(deps, v, result.outcome);
|
|
438
462
|
// Feedback dispatch by FAILURE ORIGIN. The three origins are mutually
|
|
439
463
|
// exclusive: a shortfall / instrument-fault hold only demotes a PASSED
|
|
440
464
|
// outcome, so a deterministic-failed run carries neither.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verification-engine.js","sourceRoot":"","sources":["../../src/verify/verification-engine.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gFAAgF;AAChF,gEAAgE;AAChE,uEAAuE;AACvE,4DAA4D;AAC5D,0EAA0E;AAC1E,iEAAiE;AACjE,gBAAgB;AA4BhB,OAAO,EAAE,wBAAwB,EAAgC,MAAM,iCAAiC,CAAC;AAWzG,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGhE,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,uEAAuE;AACvE,kEAAkE;AAClE,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,EACrB,qBAAqB,EACrB,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,GACnB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,OAAO;QACP,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU;KACX,CAAC;AACJ,CAAC;AAaD,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAG7D,MAAM,UAAU,GAA4G;IAC1H,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAC/C,CAAC,CAAC,kBAAkB,EACpB,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3E,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CACtD;IACD,UAAU,EAAE,GAAG,EAAE,CAAC,qBAAqB,EAAE;IACzC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,CAAC,CAAC;CAC7D,CAAC;AAEF;;;;;;GAMG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,GAE1B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,4BAA4B,EAC5B,sBAAsB,EACtB,cAAc,EACd,yBAAyB,IAAI,6BAA6B,GAE3D,MAAM,4BAA4B,CAAC;AAEpC;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB;IAEtB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,GAAG,cAAc,EAAwD,CAAC;IAE3F,8EAA8E;IAC9E,qEAAqE;IACrE,2EAA2E;IAC3E,8EAA8E;IAC9E,mBAAmB;IACnB,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,wEAAwE;IACxE,6EAA6E;IAC7E,kCAAkC;IAClC,IAAI,uBAAuB,GAAqD,IAAI,CAAC;IAErF,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,iFAAiF;IACjF,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5E,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,4EAA4E;YAC5E,4EAA4E;YAC5E,2EAA2E;YAC3E,uBAAuB,GAAG;gBACxB,OAAO,EAAE,CAAC,yEAAyE,CAAC;gBACpF,YAAY,EAAE,CAAC;gBACf,kBAAkB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE;aAC3E,CAAC;YACF,GAAG,CAAC,IAAI,CACN,2DAA2D,CAAC,CAAC,UAAU,MAAM;gBAC7E,0DAA0D,CAC3D,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC/D,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;oBAClE,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;oBAC5C,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;oBAC5C,MAAM,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC;oBACxC,IAAI,UAAU,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;wBACnC,kEAAkE;wBAClE,mEAAmE;wBACnE,mEAAmE;wBACnE,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;wBAC1B,uBAAuB,GAAG;4BACxB,OAAO,EAAE,CAAC,gFAAgF,CAAC;4BAC3F,YAAY,EAAE,CAAC;4BACf,kBAAkB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE;yBACpF,CAAC;wBACF,GAAG,CAAC,IAAI,CACN,kBAAkB,UAAU,CAAC,SAAS,cAAc,CAAC,CAAC,UAAU,OAAO;4BACvE,6CAA6C,CAC9C,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;wBACpC,IAAI,UAAU,CAAC,GAAG;4BAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,2DAA2D,CAAC,CAAC,UAAU,GAAG,EACzE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,2BAA2B;IAC3B,IAAI,aAAa,GAAsB,EAAE,CAAC;IAE1C,wEAAwE;IACxE,qDAAqD;IACrD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACrD,oEAAoE;QACpE,6DAA6D;QAC7D,qEAAqE;QACrE,wEAAwE;QACxE,IAAI,kBAAkB,GAAG,IAAI,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,8BAA8B,CAC/C,CAAC,CAAC,eAAe,EACjB,IAAI,CAAC,mBAAmB,CACzB,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,kBAAkB,GAAG,KAAK,CAAC;gBAC3B,MAAM,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,oBAAoB,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;gBACzF,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS;oBACd,uCAAuC,IAAI,CAAC,MAAM,GAAG;wBACrD,YAAY,IAAI,CAAC,SAAS,aAAa,CAAC;YAC5C,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,8DAA8D,CAAC,CAAC,eAAe,GAAG,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,+DAA+D;YAC/D,gEAAgE;YAChE,oEAAoE;QACtE,CAAC;QAED,IAAI,kBAAkB,EAAE,CAAC;YACvB,yEAAyE;YACzE,2EAA2E;YAC3E,6EAA6E;YAC7E,wDAAwD;YACxD,EAAE;YACF,4EAA4E;YAC5E,sEAAsE;YACtE,wEAAwE;YACxE,0CAA0C;YAC1C,0EAA0E;YAC1E,sEAAsE;YACtE,yDAAyD;YACzD,IAAI,kBAAkB,GAAa,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,yBAAyB,EAAE,CAAC;gBACnC,IAAI,CAAC;oBACH,kBAAkB,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,wDAAwD,CAAC,CAAC,UAAU,GAAG,EACtE,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,2EAA2E;YAC3E,4EAA4E;YAC5E,mEAAmE;YACnE,IAAI,mBAAmB,GAAkB,IAAI,CAAC;YAC9C,IAAI,IAAI,CAAC,0BAA0B,EAAE,CAAC;gBACpC,IAAI,CAAC;oBACH,mBAAmB,GAAG,MAAM,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC;gBACjE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,gEAAgE,CAAC,CAAC,UAAU,GAAG,EAC9E,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;YAE/F,sEAAsE;YACtE,2EAA2E;YAC3E,2EAA2E;YAC3E,wEAAwE;YACxE,uEAAuE;YACvE,kDAAkD;YAClD,MAAM,QAAQ,GAAqB,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YAEvF,yEAAyE;YACzE,uEAAuE;YACvE,2EAA2E;YAC3E,2EAA2E;YAC3E,yEAAyE;YACzE,6EAA6E;YAC7E,IAAI,kBAAkB,GAAiD,IAAI,CAAC;YAC5E,IAAI,IAAI,CAAC,yBAAyB,EAAE,CAAC;gBACnC,IAAI,CAAC;oBACH,kBAAkB,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,IAAI,YAAY,GAAwB,EAAE,CAAC;YAC3C,IAAI,UAAU,GAAsB,EAAE,CAAC;YACvC,IAAI,aAAiC,CAAC;YACtC,4EAA4E;YAC5E,0EAA0E;YAC1E,4EAA4E;YAC5E,qEAAqE;YACrE,2EAA2E;YAC3E,8BAA8B;YAC9B,IAAI,mBAAmB,GAAG,KAAK,CAAC;YAChC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;gBAClC,IAAI,CAAC;oBACH,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,wBAAwB,CACpD,CAAC,CAAC,eAAe,EACjB,CAAC,CAAC,OAAO,EACT,QAAQ,EACR,CAAC,QAAQ,CAAC,QAAQ,IAAI,kBAAkB,KAAK,IAAI,CAClD,CAAC;oBACF,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC;oBACvC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;oBACnC,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC;oBACzC,mBAAmB,GAAG,UAAU,CAAC,mBAAmB,KAAK,IAAI,CAAC;gBAChE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,wEAAwE;oBACxE,qEAAqE;oBACrE,oDAAoD;oBACpD,GAAG,CAAC,IAAI,CACN,wDAAwD,CAAC,CAAC,eAAe,GAAG,EAC3E,GAAa,CAAC,OAAO,CACvB,CAAC;oBACF,UAAU,GAAG,CAAC;4BACZ,MAAM,EAAE,CAAC,CAAC,eAAe;4BACzB,iBAAiB,EAAE,oCAAoC;4BACvD,iBAAiB,EAAE,yBAAyB;4BAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;yBAC3D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,IAAI,mBAAmB,EAAE,CAAC;gBACxB,sEAAsE;gBACtE,kEAAkE;gBAClE,uEAAuE;gBACvE,qEAAqE;gBACrE,uEAAuE;gBACvE,0EAA0E;gBAC1E,uEAAuE;gBACvE,sEAAsE;gBACtE,sEAAsE;gBACtE,qEAAqE;gBACrE,2EAA2E;gBAC3E,sEAAsE;gBACtE,mDAAmD;gBACnD,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChF,0EAA0E;gBAC1E,0EAA0E;gBAC1E,iEAAiE;gBACjE,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;gBACjE,2EAA2E;gBAC3E,4EAA4E;gBAC5E,6EAA6E;gBAC7E,yEAAyE;gBACzE,yEAAyE;gBACzE,qDAAqD;gBACrD,MAAM,YAAY,GAAG,CAAC,kBAAkB,IAAI,CAAC,YAAY,CAAC;gBAC1D,IAAI,iBAAwE,CAAC;gBAC7E,kEAAkE;gBAClE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,sEAAsE;gBACtE,IAAI,sBAAsB,GAA4C,IAAI,CAAC;gBAC3E,IAAI,YAAY,EAAE,CAAC;oBACjB,IAAI,CAAC;wBACH,iBAAiB,GAAG,uBAAuB,CACzC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,EACvB,IAAI,CAAC,iBAAiB,EACtB,6BAA6B,CAAC,CAAC,CAAC,EAChC,kBAAkB,EAClB,mBAAmB,EACnB,CAAC,CAAC,UAAU,CACb,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;oBACzD,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,GAAG,CAAC,KAAK,CACP,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,8BAA8B,EAAE,CAAC;wBACxC,IAAI,CAAC;4BACH,sBAAsB,GAAG,MAAM,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC;wBACxE,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,GAAG,CAAC,KAAK,CACP,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAC3E,GAAa,CAAC,OAAO,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,0EAA0E;oBAC1E,wEAAwE;oBACxE,mDAAmD;oBACnD,IAAI,sBAAsB,EAAE,CAAC;wBAC3B,iBAAiB,GAAG;4BAClB,EAAE,MAAM,EAAE,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,wCAAwC,sBAAsB,CAAC,MAAM,GAAG,EAAE;4BACzH,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC;yBAC7B,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,uBAAuB,GAAG;oBACxB,OAAO,EAAE,4BAA4B,CAAC,QAAQ,CAAC;oBAC/C,YAAY;oBACZ,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,GAAG,CAAC,kBAAkB;wBACpB,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,UAAU,EAAE,EAAE;wBAC5G,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnF,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9D,CAAC;gBACF,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS,GAAG,kBAAkB;oBACnC,CAAC,CAAC,kEAAkE,kBAAkB,CAAC,KAAK,GAAG;wBAC7F,wEAAwE;wBACxE,GAAG,kBAAkB,CAAC,UAAU,+DAA+D;wBAC/F,6FAA6F;wBAC7F,0CAA0C,CAAC,CAAC,eAAe,eAAe;oBAC5E,CAAC,CAAC,YAAY;wBACd,CAAC,CAAC,mEAAmE,QAAQ,CAAC,OAAO,GAAG;4BACtF,GAAG,QAAQ,CAAC,QAAQ,qEAAqE;4BACzF,yEAAyE;4BACzE,cAAc,CAAC,CAAC,eAAe,eAAe;wBAChD,CAAC,CAAC,sBAAsB;4BACxB,CAAC,CAAC,0EAA0E;gCAC1E,IAAI,sBAAsB,CAAC,IAAI,KAAK,sBAAsB,CAAC,MAAM,8BAA8B;gCAC/F,6DAA6D,CAAC,CAAC,eAAe,eAAe;4BAC/F,CAAC,CAAC,YAAY,GAAG,CAAC;gCAClB,CAAC,CAAC,uDAAuD,YAAY,sBAAsB;oCACzF,GAAG,IAAI,CAAC,iBAAiB,8DAA8D;oCACvF,2DAA2D,CAAC,CAAC,eAAe,eAAe;gCAC7F,CAAC,CAAC,0FAA0F;oCAC1F,6EAA6E;oCAC7E,cAAc,CAAC,CAAC,eAAe,eAAe,CAAC;gBACnD,GAAG,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,SAAS,cAAc,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;gBAC1E,yEAAyE;gBACzE,oEAAoE;gBACpE,wEAAwE;gBACxE,mBAAmB;gBACnB,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjF,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC,UAAU,MAAM,IAAI,EAAE,CAAC,CAAC;gBACxF,CAAC;YACH,CAAC;iBAAM,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,0EAA0E;gBAC1E,uEAAuE;gBACvE,0EAA0E;gBAC1E,oEAAoE;gBACpE,0EAA0E;gBAC1E,yEAAyE;gBACzE,uEAAuE;gBACvE,uEAAuE;gBACvE,uEAAuE;gBACvE,yEAAyE;gBACzE,yEAAyE;gBACzE,aAAa,GAAG,UAAU,CAAC;gBAC3B,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS;oBACd,+BAA+B,UAAU,CAAC,MAAM,oCAAoC;wBACpF,aAAa,CAAC,CAAC,eAAe,4CAA4C,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,EAAE,YAAY,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACrG,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;oBAC3B,MAAM,CAAC,SAAS,GAAG,8BAA8B,CAAC,CAAC,eAAe,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;gBAClG,CAAC;gBAED,oEAAoE;gBACpE,wEAAwE;gBACxE,oEAAoE;gBACpE,kEAAkE;gBAClE,mEAAmE;gBACnE,qEAAqE;gBACrE,oEAAoE;gBACpE,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,kBAAkB,GAAoB,YAAY;yBACrD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,uBAAuB,CAAC;yBAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACX,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,cAAc,EAAE,uBAAuB;wBACvC,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,aAAa,EAAE,CAAC,CAAC,aAAa;wBAC9B,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC9E,CAAC,CAAC,CAAC;oBACN,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAClC,IAAI,CAAC;4BACH,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAC;wBACnF,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,GAAG,CAAC,IAAI,CACN,+CAA+C,CAAC,CAAC,eAAe,GAAG,EAClE,GAAa,CAAC,OAAO,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAEvD,sEAAsE;IACtE,uEAAuE;IACvE,0DAA0D;IAC1D,EAAE;IACF,+EAA+E;IAC/E,wEAAwE;IACxE,+EAA+E;IAC/E,4EAA4E;IAC5E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,uBAAuB,IAAI,IAAI,CAAC,kCAAkC,EAAE,CAAC;QACvE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,kCAAkC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC5E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,mEAAmE,CAAC,CAAC,UAAU,GAAG,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,yDAAyD,CAAC,CAAC,UAAU,GAAG,EACvE,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAClH,2EAA2E;QAC3E,qEAAqE;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,wDAAwD;IACxD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,IAAI,UAAU,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAC/C,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,iBAAiB,CAAC;oBAC3B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,eAAe,EAAE,CAAC,CAAC,eAAe;oBAClC,WAAW,EAAE,GAAG;iBACjB,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,0DAA0D,CAAC,CAAC,UAAU,GAAG,EACxE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAAoB,EACpB,IAAgC;IAEhC,MAAM,MAAM,GAAqB,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAE9E,4EAA4E;IAC5E,4EAA4E;IAC5E,uEAAuE;IACvE,sEAAsE;IACtE,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,gCAAgC,CAAC,MAAM,EAAE,MAAM,CAAC,0BAA0B,CAAC,CAAC;IAC3F,sEAAsE;IACtE,2EAA2E;IAC3E,6EAA6E;IAC7E,+EAA+E;IAC/E,0CAA0C;IAC1C,qBAAqB,CAAC,QAAQ,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAEnE,KAAK,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,MAAM,EAAE,CAAC;QAC1D,IAAI,OAA8B,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,2CAA2C,OAAO,CAAC,EAAE,GAAG,EACvD,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,yEAAyE;QACzE,0EAA0E;QAC1E,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,SAAS,GAA0B,EAAE,CAAC;QAC1C,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,SAAS,GAAG,MAAM,6BAA6B,CAAC,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAChG,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,qDAAqD,OAAO,CAAC,EAAE,GAAG,EACjE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;YACpB,yEAAyE;YACzE,8DAA8D;YAC9D,IAAI,CAAC,CAAC,mBAAmB,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACjC,CAAC;YACD,2DAA2D;YAC3D,MAAM,qBAAqB,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,MAAM,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACtD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,2CAA2C,CAAC,CAAC,UAAU,GAAG,EACzD,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,qBAAqB,CAAC,OAAO,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,+EAA+E;IAC/E,qDAAqD;IACrD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CACN,wCAAwC,KAAK,CAAC,cAAc,cAAc,KAAK,CAAC,SAAS,GAAG;gBAC5F,WAAW,KAAK,CAAC,iBAAiB,iBAAiB,KAAK,CAAC,sBAAsB,EAAE,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,8BAA8B,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
1
|
+
{"version":3,"file":"verification-engine.js","sourceRoot":"","sources":["../../src/verify/verification-engine.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gFAAgF;AAChF,kEAAkE;AAClE,gEAAgE;AAChE,uEAAuE;AACvE,4DAA4D;AAC5D,0EAA0E;AAC1E,iEAAiE;AACjE,gBAAgB;AA4BhB,OAAO,EAAE,wBAAwB,EAAgC,MAAM,iCAAiC,CAAC;AACzG,OAAO,EACL,0BAA0B,GAI3B,MAAM,4BAA4B,CAAC;AAMpC,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAGhE,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAChB,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAE9D,uEAAuE;AACvE,kEAAkE;AAClE,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,EAC1B,gCAAgC,EAChC,qBAAqB,EACrB,qBAAqB,EACrB,kCAAkC,EAClC,6BAA6B,EAC7B,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,8BAA8B,CAAC;AAItC,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,GACnB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E,MAAM,CAAC,KAAK,UAAU,qBAAqB;IACzC,OAAO;QACL,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,uGAAuG;KACnH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAsB,EACtB,CAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,iDAAiD;SAC7D,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,OAAO,GACX,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;QAC1C,CAAC,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ;YAC5C,CAAC,CAAC,SAAS,CAAC;IACd,OAAO;QACL,OAAO;QACP,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,UAAU;KACX,CAAC;AACJ,CAAC;AAaD,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAG7D,iFAAiF;AACjF,6EAA6E;AAC7E,gFAAgF;AAChF,OAAO,EACL,mBAAmB,EACnB,gCAAgC,EAChC,wBAAwB,GACzB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,UAAU,GAA4G;IAC1H,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;QAC/B,8EAA8E;QAC9E,qEAAqE;QACrE,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,gBAAgB,CAC1B,CAAC,CAAC,kBAAkB,EACpB,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAC3E,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,EACrD,QAAQ,CACT,CAAC;IACJ,CAAC;IACD,UAAU,EAAE,GAAG,EAAE,CAAC,qBAAqB,EAAE;IACzC,aAAa,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,uBAAuB,CAAC,IAAI,EAAE,CAAC,CAAC;CAC7D,CAAC;AAEF;;;;;;GAMG;AACH,OAAO,EACL,sBAAsB,EACtB,yBAAyB,GAE1B,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,mBAAmB,EACnB,6BAA6B,EAC7B,4BAA4B,EAC5B,sBAAsB,EACtB,cAAc,EACd,yBAAyB,IAAI,6BAA6B,GAE3D,MAAM,4BAA4B,CAAC;AAEpC;;;;;;GAMG;AACH,KAAK,UAAU,mBAAmB,CAChC,IAAsB,EACtB,CAAsB,EACtB,OAAkC;IAElC,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAChD,GAAG,CAAC,IAAI,CACN,oCAAoC,OAAO,iBAAiB;QAC5D,IAAI,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,oDAAoD,CACzF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB;IAEtB,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;IAClD,MAAM,cAAc,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,GAAG,cAAc,EAAwD,CAAC;IAE3F,8EAA8E;IAC9E,qEAAqE;IACrE,2EAA2E;IAC3E,8EAA8E;IAC9E,mBAAmB;IACnB,6EAA6E;IAC7E,4EAA4E;IAC5E,4EAA4E;IAC5E,wEAAwE;IACxE,6EAA6E;IAC7E,kCAAkC;IAClC,IAAI,uBAAuB,GAAqD,IAAI,CAAC;IAErF,0EAA0E;IAC1E,8EAA8E;IAC9E,4EAA4E;IAC5E,wEAAwE;IACxE,iFAAiF;IACjF,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5E,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,4EAA4E;YAC5E,4EAA4E;YAC5E,2EAA2E;YAC3E,uBAAuB,GAAG;gBACxB,OAAO,EAAE,CAAC,yEAAyE,CAAC;gBACpF,YAAY,EAAE,CAAC;gBACf,kBAAkB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE;aAC3E,CAAC;YACF,GAAG,CAAC,IAAI,CACN,2DAA2D,CAAC,CAAC,UAAU,MAAM;gBAC7E,0DAA0D,CAC3D,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBAC/D,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC;oBAClE,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;oBAC5C,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;oBAC5C,MAAM,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC;oBACxC,IAAI,UAAU,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;wBACnC,kEAAkE;wBAClE,mEAAmE;wBACnE,mEAAmE;wBACnE,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;wBAC1B,uBAAuB,GAAG;4BACxB,OAAO,EAAE,CAAC,gFAAgF,CAAC;4BAC3F,YAAY,EAAE,CAAC;4BACf,kBAAkB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE;yBACpF,CAAC;wBACF,GAAG,CAAC,IAAI,CACN,kBAAkB,UAAU,CAAC,SAAS,cAAc,CAAC,CAAC,UAAU,OAAO;4BACvE,6CAA6C,CAC9C,CAAC;oBACJ,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC;wBACpC,IAAI,UAAU,CAAC,GAAG;4BAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;oBAC/C,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,2DAA2D,CAAC,CAAC,UAAU,GAAG,EACzE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,2BAA2B;IAC3B,IAAI,aAAa,GAAsB,EAAE,CAAC;IAE1C,wEAAwE;IACxE,qDAAqD;IACrD,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACrD,oEAAoE;QACpE,6DAA6D;QAC7D,qEAAqE;QACrE,wEAAwE;QACxE,IAAI,kBAAkB,GAAG,IAAI,CAAC;QAC9B,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,8BAA8B,CAC/C,CAAC,CAAC,eAAe,EACjB,IAAI,CAAC,mBAAmB,CACzB,CAAC;YACF,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,kBAAkB,GAAG,KAAK,CAAC;gBAC3B,MAAM,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,oBAAoB,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC;gBACzF,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS;oBACd,uCAAuC,IAAI,CAAC,MAAM,GAAG;wBACrD,YAAY,IAAI,CAAC,SAAS,aAAa,CAAC;YAC5C,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,8DAA8D,CAAC,CAAC,eAAe,GAAG,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,+DAA+D;YAC/D,gEAAgE;YAChE,oEAAoE;QACtE,CAAC;QAED,IAAI,kBAAkB,EAAE,CAAC;YACvB,yEAAyE;YACzE,2EAA2E;YAC3E,6EAA6E;YAC7E,wDAAwD;YACxD,EAAE;YACF,4EAA4E;YAC5E,sEAAsE;YACtE,wEAAwE;YACxE,0CAA0C;YAC1C,0EAA0E;YAC1E,sEAAsE;YACtE,yDAAyD;YACzD,IAAI,kBAAkB,GAAa,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,yBAAyB,EAAE,CAAC;gBACnC,IAAI,CAAC;oBACH,kBAAkB,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,wDAAwD,CAAC,CAAC,UAAU,GAAG,EACtE,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,2EAA2E;YAC3E,4EAA4E;YAC5E,mEAAmE;YACnE,IAAI,mBAAmB,GAAkB,IAAI,CAAC;YAC9C,IAAI,IAAI,CAAC,0BAA0B,EAAE,CAAC;gBACpC,IAAI,CAAC;oBACH,mBAAmB,GAAG,MAAM,IAAI,CAAC,0BAA0B,CAAC,CAAC,CAAC,CAAC;gBACjE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,gEAAgE,CAAC,CAAC,UAAU,GAAG,EAC9E,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAC;YAE/F,sEAAsE;YACtE,2EAA2E;YAC3E,2EAA2E;YAC3E,wEAAwE;YACxE,uEAAuE;YACvE,kDAAkD;YAClD,MAAM,QAAQ,GAAqB,sBAAsB,CAAC,CAAC,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC;YAEvF,yEAAyE;YACzE,uEAAuE;YACvE,2EAA2E;YAC3E,2EAA2E;YAC3E,yEAAyE;YACzE,6EAA6E;YAC7E,IAAI,kBAAkB,GAAiD,IAAI,CAAC;YAC5E,IAAI,IAAI,CAAC,yBAAyB,EAAE,CAAC;gBACnC,IAAI,CAAC;oBACH,kBAAkB,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC;gBAC/D,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,GAAG,CAAC,KAAK,CACP,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,IAAI,YAAY,GAAwB,EAAE,CAAC;YAC3C,IAAI,UAAU,GAAsB,EAAE,CAAC;YACvC,IAAI,aAAiC,CAAC;YACtC,4EAA4E;YAC5E,0EAA0E;YAC1E,4EAA4E;YAC5E,qEAAqE;YACrE,2EAA2E;YAC3E,8BAA8B;YAC9B,IAAI,mBAAmB,GAAG,KAAK,CAAC;YAChC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;gBAClC,IAAI,CAAC;oBACH,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,wBAAwB,CACpD,CAAC,CAAC,eAAe,EACjB,CAAC,CAAC,OAAO,EACT,QAAQ,EACR,CAAC,QAAQ,CAAC,QAAQ,IAAI,kBAAkB,KAAK,IAAI,CAClD,CAAC;oBACF,YAAY,GAAG,UAAU,CAAC,YAAY,CAAC;oBACvC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;oBACnC,aAAa,GAAG,UAAU,CAAC,aAAa,CAAC;oBACzC,mBAAmB,GAAG,UAAU,CAAC,mBAAmB,KAAK,IAAI,CAAC;gBAChE,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,wEAAwE;oBACxE,qEAAqE;oBACrE,oDAAoD;oBACpD,GAAG,CAAC,IAAI,CACN,wDAAwD,CAAC,CAAC,eAAe,GAAG,EAC3E,GAAa,CAAC,OAAO,CACvB,CAAC;oBACF,UAAU,GAAG,CAAC;4BACZ,MAAM,EAAE,CAAC,CAAC,eAAe;4BACzB,iBAAiB,EAAE,oCAAoC;4BACvD,iBAAiB,EAAE,yBAAyB;4BAC5C,MAAM,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE;yBAC3D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,IAAI,mBAAmB,EAAE,CAAC;gBACxB,sEAAsE;gBACtE,kEAAkE;gBAClE,uEAAuE;gBACvE,qEAAqE;gBACrE,uEAAuE;gBACvE,0EAA0E;gBAC1E,uEAAuE;gBACvE,sEAAsE;gBACtE,sEAAsE;gBACtE,qEAAqE;gBACrE,2EAA2E;gBAC3E,sEAAsE;gBACtE,mDAAmD;gBACnD,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChF,0EAA0E;gBAC1E,0EAA0E;gBAC1E,iEAAiE;gBACjE,MAAM,YAAY,GAAG,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC;gBACjE,2EAA2E;gBAC3E,4EAA4E;gBAC5E,6EAA6E;gBAC7E,yEAAyE;gBACzE,yEAAyE;gBACzE,qDAAqD;gBACrD,MAAM,YAAY,GAAG,CAAC,kBAAkB,IAAI,CAAC,YAAY,CAAC;gBAC1D,IAAI,iBAAwE,CAAC;gBAC7E,kEAAkE;gBAClE,0EAA0E;gBAC1E,0EAA0E;gBAC1E,sEAAsE;gBACtE,IAAI,sBAAsB,GAA4C,IAAI,CAAC;gBAC3E,IAAI,YAAY,EAAE,CAAC;oBACjB,IAAI,CAAC;wBACH,iBAAiB,GAAG,uBAAuB,CACzC,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,EACvB,IAAI,CAAC,iBAAiB,EACtB,6BAA6B,CAAC,CAAC,CAAC,EAChC,kBAAkB,EAClB,mBAAmB,EACnB,CAAC,CAAC,UAAU,CACb,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;oBACzD,CAAC;oBAAC,OAAO,GAAG,EAAE,CAAC;wBACb,GAAG,CAAC,KAAK,CACP,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;oBACJ,CAAC;oBACD,IAAI,IAAI,CAAC,8BAA8B,EAAE,CAAC;wBACxC,IAAI,CAAC;4BACH,sBAAsB,GAAG,MAAM,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC;wBACxE,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,GAAG,CAAC,KAAK,CACP,6DAA6D,CAAC,CAAC,UAAU,GAAG,EAC3E,GAAa,CAAC,OAAO,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;oBACD,0EAA0E;oBAC1E,wEAAwE;oBACxE,mDAAmD;oBACnD,IAAI,sBAAsB,EAAE,CAAC;wBAC3B,iBAAiB,GAAG;4BAClB,EAAE,MAAM,EAAE,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,wCAAwC,sBAAsB,CAAC,MAAM,GAAG,EAAE;4BACzH,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC;yBAC7B,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,uBAAuB,GAAG;oBACxB,OAAO,EAAE,4BAA4B,CAAC,QAAQ,CAAC;oBAC/C,YAAY;oBACZ,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACjG,GAAG,CAAC,kBAAkB;wBACpB,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,kBAAkB,CAAC,UAAU,EAAE,EAAE;wBAC5G,CAAC,CAAC,EAAE,CAAC;oBACP,GAAG,CAAC,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACnF,GAAG,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9D,CAAC;gBACF,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS,GAAG,kBAAkB;oBACnC,CAAC,CAAC,kEAAkE,kBAAkB,CAAC,KAAK,GAAG;wBAC7F,wEAAwE;wBACxE,GAAG,kBAAkB,CAAC,UAAU,+DAA+D;wBAC/F,6FAA6F;wBAC7F,0CAA0C,CAAC,CAAC,eAAe,eAAe;oBAC5E,CAAC,CAAC,YAAY;wBACd,CAAC,CAAC,mEAAmE,QAAQ,CAAC,OAAO,GAAG;4BACtF,GAAG,QAAQ,CAAC,QAAQ,qEAAqE;4BACzF,yEAAyE;4BACzE,cAAc,CAAC,CAAC,eAAe,eAAe;wBAChD,CAAC,CAAC,sBAAsB;4BACxB,CAAC,CAAC,0EAA0E;gCAC1E,IAAI,sBAAsB,CAAC,IAAI,KAAK,sBAAsB,CAAC,MAAM,8BAA8B;gCAC/F,6DAA6D,CAAC,CAAC,eAAe,eAAe;4BAC/F,CAAC,CAAC,YAAY,GAAG,CAAC;gCAClB,CAAC,CAAC,uDAAuD,YAAY,sBAAsB;oCACzF,GAAG,IAAI,CAAC,iBAAiB,8DAA8D;oCACvF,2DAA2D,CAAC,CAAC,eAAe,eAAe;gCAC7F,CAAC,CAAC,0FAA0F;oCAC1F,6EAA6E;oCAC7E,cAAc,CAAC,CAAC,eAAe,eAAe,CAAC;gBACnD,GAAG,CAAC,IAAI,CAAC,kBAAkB,MAAM,CAAC,SAAS,cAAc,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC;gBAC1E,yEAAyE;gBACzE,oEAAoE;gBACpE,wEAAwE;gBACxE,mBAAmB;gBACnB,IAAI,iBAAiB,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACtD,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACjF,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC,UAAU,MAAM,IAAI,EAAE,CAAC,CAAC;gBACxF,CAAC;YACH,CAAC;iBAAM,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,0EAA0E;gBAC1E,uEAAuE;gBACvE,0EAA0E;gBAC1E,oEAAoE;gBACpE,0EAA0E;gBAC1E,yEAAyE;gBACzE,uEAAuE;gBACvE,uEAAuE;gBACvE,uEAAuE;gBACvE,yEAAyE;gBACzE,yEAAyE;gBACzE,aAAa,GAAG,UAAU,CAAC;gBAC3B,MAAM,CAAC,OAAO,GAAG,QAAQ,CAAC;gBAC1B,MAAM,CAAC,SAAS;oBACd,+BAA+B,UAAU,CAAC,MAAM,+CAA+C,CAAC,CAAC,eAAe,4CAA4C,CAAC;gBAC/J,MAAM,0BAA0B,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;YACvG,CAAC;iBAAM,CAAC;gBACN,IAAI,OAAO,GAAG,KAAK,CAAC;gBACpB,IAAI,CAAC;oBACH,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,EAAE,YAAY,EAAE,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;oBACrG,OAAO,GAAG,IAAI,CAAC;gBACjB,CAAC;gBAAC,OAAO,GAAG,EAAE,CAAC;oBACb,MAAM,CAAC,OAAO,GAAG,SAAS,CAAC;oBAC3B,MAAM,CAAC,SAAS,GAAG,8BAA8B,CAAC,CAAC,eAAe,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC;gBAClG,CAAC;gBAED,oEAAoE;gBACpE,wEAAwE;gBACxE,oEAAoE;gBACpE,kEAAkE;gBAClE,mEAAmE;gBACnE,qEAAqE;gBACrE,oEAAoE;gBACpE,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,kBAAkB,GAAoB,YAAY;yBACrD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,KAAK,uBAAuB,CAAC;yBAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;wBACX,MAAM,EAAE,CAAC,CAAC,MAAM;wBAChB,cAAc,EAAE,uBAAuB;wBACvC,SAAS,EAAE,CAAC,CAAC,SAAS;wBACtB,aAAa,EAAE,CAAC,CAAC,aAAa;wBAC9B,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,sBAAsB,EAAE,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAC9E,CAAC,CAAC,CAAC;oBACN,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAClC,IAAI,CAAC;4BACH,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,EAAE,kBAAkB,EAAE,aAAa,CAAC,CAAC;wBACnF,CAAC;wBAAC,OAAO,GAAG,EAAE,CAAC;4BACb,GAAG,CAAC,IAAI,CACN,+CAA+C,CAAC,CAAC,eAAe,GAAG,EAClE,GAAa,CAAC,OAAO,CACvB,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAEnD,sEAAsE;IACtE,uEAAuE;IACvE,0DAA0D;IAC1D,EAAE;IACF,+EAA+E;IAC/E,wEAAwE;IACxE,+EAA+E;IAC/E,4EAA4E;IAC5E,+EAA+E;IAC/E,0EAA0E;IAC1E,IAAI,uBAAuB,IAAI,IAAI,CAAC,kCAAkC,EAAE,CAAC;QACvE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,kCAAkC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC5E,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,mEAAmE,CAAC,CAAC,UAAU,GAAG,EACjF,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,wBAAwB,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,yDAAyD,CAAC,CAAC,UAAU,GAAG,EACvE,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAClH,2EAA2E;QAC3E,qEAAqE;QACrE,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,uDAAuD,CAAC,CAAC,UAAU,GAAG,EACrE,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,wDAAwD;IACxD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,IAAI,UAAU,IAAI,UAAU,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAC/C,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,iBAAiB,CAAC;oBAC3B,OAAO,EAAE,CAAC,CAAC,OAAO;oBAClB,SAAS,EAAE,CAAC,CAAC,SAAS;oBACtB,eAAe,EAAE,CAAC,CAAC,eAAe;oBAClC,WAAW,EAAE,GAAG;iBACjB,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,0DAA0D,CAAC,CAAC,UAAU,GAAG,EACxE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,MAAoB,EACpB,IAAgC;IAEhC,MAAM,MAAM,GAAqB,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;IACrE,MAAM,MAAM,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAE9E,4EAA4E;IAC5E,4EAA4E;IAC5E,uEAAuE;IACvE,sEAAsE;IACtE,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,gCAAgC,CAAC,MAAM,EAAE,MAAM,CAAC,0BAA0B,CAAC,CAAC;IAC3F,sEAAsE;IACtE,2EAA2E;IAC3E,6EAA6E;IAC7E,+EAA+E;IAC/E,0CAA0C;IAC1C,qBAAqB,CAAC,QAAQ,CAAC,0BAA0B,CAAC,MAAM,CAAC,CAAC,CAAC;IAEnE,KAAK,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,MAAM,EAAE,CAAC;QAC1D,IAAI,OAA8B,CAAC;QACnC,IAAI,CAAC;YACH,OAAO,GAAG,MAAM,MAAM,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,2CAA2C,OAAO,CAAC,EAAE,GAAG,EACvD,GAAa,CAAC,OAAO,CACvB,CAAC;YACF,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,yEAAyE;QACzE,0EAA0E;QAC1E,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,SAAS,GAA0B,EAAE,CAAC;QAC1C,IAAI,QAAQ,EAAE,CAAC;YACb,IAAI,CAAC;gBACH,SAAS,GAAG,MAAM,6BAA6B,CAAC,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;YAChG,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,qDAAqD,OAAO,CAAC,EAAE,GAAG,EACjE,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,EAAE,GAAG,SAAS,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;YACpB,yEAAyE;YACzE,8DAA8D;YAC9D,IAAI,CAAC,CAAC,mBAAmB,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrE,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACjC,CAAC;YACD,2DAA2D;YAC3D,MAAM,qBAAqB,CAAC,OAAO,EAAE,CAAC;YACtC,IAAI,CAAC;gBACH,MAAM,CAAC,GAAG,MAAM,0BAA0B,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;gBACtD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CACN,2CAA2C,CAAC,CAAC,UAAU,GAAG,EACzD,GAAa,CAAC,OAAO,CACvB,CAAC;YACJ,CAAC;oBAAS,CAAC;gBACT,qBAAqB,CAAC,OAAO,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,+EAA+E;IAC/E,qDAAqD;IACrD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CACN,wCAAwC,KAAK,CAAC,cAAc,cAAc,KAAK,CAAC,SAAS,GAAG;gBAC5F,WAAW,KAAK,CAAC,iBAAiB,iBAAiB,KAAK,CAAC,sBAAsB,EAAE,CAClF,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,8BAA8B,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
import { type DeliveryGateState, type EvidenceUnavailableDetail } from '../queries/deliveries.js';
|
|
2
|
+
import type { PendingVerification } from '../queries/verification.js';
|
|
3
|
+
import { type ShortfallRequeueDeps } from './verification-feedback.js';
|
|
4
|
+
/**
|
|
5
|
+
* gate_state guard name for a verify EVIDENCE-UNAVAILABLE (instrument-fault)
|
|
6
|
+
* hold. The verify path was handed nothing it could judge the work against, so
|
|
7
|
+
* it is BLIND -- distinct from both the deterministic guard (a shell command
|
|
8
|
+
* failed) and the shortfall guard (the work fell short of intent). A reader
|
|
9
|
+
* must never see the gate's own blindness rendered as a verdict about the work.
|
|
10
|
+
*/
|
|
11
|
+
export declare const EVIDENCE_UNAVAILABLE_GUARD = "verify_evidence_unavailable";
|
|
12
|
+
/** Build the gate_state for an evidence-unavailable instrument-fault hold. Pure -- exported for testing. */
|
|
13
|
+
export declare function buildEvidenceUnavailableGateState(detail: EvidenceUnavailableDetail): DeliveryGateState;
|
|
14
|
+
/** Build the informational message injected into a live coding team. Pure -- exported for testing. */
|
|
15
|
+
export declare function buildEvidenceUnavailableInjectMessage(deliveryName: string, detail: EvidenceUnavailableDetail): string;
|
|
16
|
+
/**
|
|
17
|
+
* Re-enter a verify EVIDENCE-UNAVAILABLE instrument fault as BOUNDED RE-WORK,
|
|
18
|
+
* never a human inbox item.
|
|
19
|
+
*
|
|
20
|
+
* "A hold must name a human act" (2026-07-28): verify_evidence_unavailable named
|
|
21
|
+
* no act only a human can perform -- its helpNeeded ("fix the diff range /
|
|
22
|
+
* confirm the merge / clear the delivery manually") is the gate reporting its own
|
|
23
|
+
* blindness to an operator queue, the same topology defect this focus exists to
|
|
24
|
+
* remove. So it no longer FILES an escalation.
|
|
25
|
+
*
|
|
26
|
+
* Two flavours reach here: EMPTY (nothing judgeable at all) and INCOMPLETE
|
|
27
|
+
* (half-blind -- the resolved range covered only part of the delivery's recorded
|
|
28
|
+
* commit set, so a verdict would judge part of the work). Both are the gate
|
|
29
|
+
* failing to vouch for its own evidence, so both take this path.
|
|
30
|
+
*
|
|
31
|
+
* Where the delivery's diff is recoverable (the recorded commit set, or a real
|
|
32
|
+
* merge commit -- see resolveRecordedCommitRange / resolveRecordedMergeRange,
|
|
33
|
+
* the latter refusing a non-merge sha), the reconciliation renders a verdict and
|
|
34
|
+
* this path is never reached. Where the evidence cannot be vouched for, the
|
|
35
|
+
* delivery re-enters the SAME bounded
|
|
36
|
+
* verify -> verify_failed re-work the shortfall case uses (requeueShortfallAsRework):
|
|
37
|
+
* routed through the single-writer reconciler with `gaps_found` + `fromStatus:'verify'`
|
|
38
|
+
* so the server-side iteration_count increment fires and the EXISTING
|
|
39
|
+
* TELORA_VERIFY_FAILED_ITERATION_CAP (-> verify_gate_unclearable, needs_operator)
|
|
40
|
+
* bounds it. verify_gate_unclearable is the SOLE surviving human residue.
|
|
41
|
+
*
|
|
42
|
+
* Writes the evidence-unavailable gate_state (never a shortfall verdict) so the
|
|
43
|
+
* re-queued team's resume prompt carries the instrument-fault context, and best-
|
|
44
|
+
* effort injects it into a live coding team. Files NO escalation. Best-effort
|
|
45
|
+
* throughout -- a feedback failure must never crash the verification tick.
|
|
46
|
+
*/
|
|
47
|
+
export declare function requeueEvidenceUnavailableAsRework(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName' | 'focusId'>, fault: Omit<EvidenceUnavailableDetail, 'heldAt'>, organizationId: string, deps?: Partial<ShortfallRequeueDeps>): Promise<{
|
|
48
|
+
transitioned: boolean;
|
|
49
|
+
injected: boolean;
|
|
50
|
+
detail: EvidenceUnavailableDetail;
|
|
51
|
+
}>;
|
|
52
|
+
//# sourceMappingURL=verification-evidence-unavailable-feedback.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification-evidence-unavailable-feedback.d.ts","sourceRoot":"","sources":["../../src/verify/verification-evidence-unavailable-feedback.ts"],"names":[],"mappings":"AAyBA,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAEtE,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,4BAA4B,CAAC;AAIpC;;;;;;GAMG;AACH,eAAO,MAAM,0BAA0B,gCAAgC,CAAC;AAExE,4GAA4G;AAC5G,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,yBAAyB,GAAG,iBAAiB,CAOtG;AAED,sGAAsG;AACtG,wBAAgB,qCAAqC,CACnD,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,yBAAyB,GAChC,MAAM,CAuDR;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAsB,kCAAkC,CACtD,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC,EACvE,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,oBAAoB,CAAM,GACvC,OAAO,CAAC;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAA;CAAE,CAAC,CA+C1F"}
|
|
@@ -0,0 +1,178 @@
|
|
|
1
|
+
// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
|
|
2
|
+
// Pinned by: packages/daemon/src/git/merge-sha-observation-fault.test.ts,
|
|
3
|
+
// packages/daemon/src/verify/verify-evidence-unavailable.test.ts
|
|
4
|
+
// PINNED-BY-END
|
|
5
|
+
/**
|
|
6
|
+
* Evidence-unavailable instrument-fault feedback: bounded re-work re-entry.
|
|
7
|
+
*
|
|
8
|
+
* A gate must not report its own blindness -- AND must not hand that blindness to
|
|
9
|
+
* a human. When the verify path was handed nothing it could judge the work
|
|
10
|
+
* against (empty, half-blind, or unattributable evidence), the delivery re-enters
|
|
11
|
+
* the SAME bounded verify -> verify_failed re-work the shortfall and
|
|
12
|
+
* deterministic-failure paths use, through the single-writer reconciler, filing
|
|
13
|
+
* NO escalation.
|
|
14
|
+
*
|
|
15
|
+
* Sliced out of verification-feedback.ts to keep that file under the daemon
|
|
16
|
+
* 800-line limit. Shares the requeue machinery (ShortfallRequeueDeps /
|
|
17
|
+
* defaultRequeueDeps) and the EVIDENCE_UNAVAILABLE_GUARD guard-name with
|
|
18
|
+
* verification-feedback.ts; the dependency is one-way (this module imports from
|
|
19
|
+
* verification-feedback, never the reverse).
|
|
20
|
+
*
|
|
21
|
+
* @module verification-evidence-unavailable-feedback
|
|
22
|
+
*/
|
|
23
|
+
import { DELIVERY_STATUS } from '@telora/daemon-core';
|
|
24
|
+
import { createLogger } from '../shell/log.js';
|
|
25
|
+
import { defaultRequeueDeps, } from './verification-feedback.js';
|
|
26
|
+
const log = createLogger({ module: 'verification' });
|
|
27
|
+
/**
|
|
28
|
+
* gate_state guard name for a verify EVIDENCE-UNAVAILABLE (instrument-fault)
|
|
29
|
+
* hold. The verify path was handed nothing it could judge the work against, so
|
|
30
|
+
* it is BLIND -- distinct from both the deterministic guard (a shell command
|
|
31
|
+
* failed) and the shortfall guard (the work fell short of intent). A reader
|
|
32
|
+
* must never see the gate's own blindness rendered as a verdict about the work.
|
|
33
|
+
*/
|
|
34
|
+
export const EVIDENCE_UNAVAILABLE_GUARD = 'verify_evidence_unavailable';
|
|
35
|
+
/** Build the gate_state for an evidence-unavailable instrument-fault hold. Pure -- exported for testing. */
|
|
36
|
+
export function buildEvidenceUnavailableGateState(detail) {
|
|
37
|
+
return {
|
|
38
|
+
blocking: [{ guardName: EVIDENCE_UNAVAILABLE_GUARD, passed: false }],
|
|
39
|
+
warnings: [],
|
|
40
|
+
evaluatedAt: detail.heldAt,
|
|
41
|
+
evidenceUnavailable: detail,
|
|
42
|
+
};
|
|
43
|
+
}
|
|
44
|
+
/** Build the informational message injected into a live coding team. Pure -- exported for testing. */
|
|
45
|
+
export function buildEvidenceUnavailableInjectMessage(deliveryName, detail) {
|
|
46
|
+
// A DETERMINISTIC instrument fault (detail.deterministicFault: the verify RUN
|
|
47
|
+
// timed out or crashed before any test ran) reuses this generic body -- its
|
|
48
|
+
// specific cause rides in `missing` (printed below) and durably in
|
|
49
|
+
// gate_state.deterministicFault, so no separate message branch is needed.
|
|
50
|
+
const attributionLine = detail.attribution
|
|
51
|
+
? `The merged batch of ${detail.attribution.batch} commit(s) carried ${detail.attribution.parsed} ` +
|
|
52
|
+
`parseable Telora-Delivery trailer(s) on a ${detail.attribution.deliveries}-delivery focus ` +
|
|
53
|
+
`(TOTAL ATTRIBUTION FAILURE) -- the batch cannot be partitioned, so a verdict would judge this ` +
|
|
54
|
+
`delivery against the combined diff of all its siblings. Stamp every commit with ` +
|
|
55
|
+
`\`git commit --trailer "Telora-Delivery: <deliveryId>"\` so the next batch is attributable.`
|
|
56
|
+
: null;
|
|
57
|
+
const coverageLine = detail.coverage
|
|
58
|
+
? `The resolved diff covered only ${detail.coverage.covered}/${detail.coverage.recorded} of the ` +
|
|
59
|
+
`delivery's recorded commits (HALF-BLIND) -- a verdict would judge only part of the work.`
|
|
60
|
+
: null;
|
|
61
|
+
// Fully-blind (empty-source) diagnosis: name each consulted source and why it
|
|
62
|
+
// was empty, so the re-queued team can see WHERE the evidence chain broke
|
|
63
|
+
// (e.g. a fast-forward merge-back left no merge commit) rather than only that
|
|
64
|
+
// it did.
|
|
65
|
+
const diagnosticsBlock = detail.sourceDiagnostics && detail.sourceDiagnostics.length > 0
|
|
66
|
+
? ['', 'Consulted diff sources (each yielded nothing):',
|
|
67
|
+
...detail.sourceDiagnostics.map((s) => `- ${s.source}: ${s.reason}`)]
|
|
68
|
+
: [];
|
|
69
|
+
return [
|
|
70
|
+
`VERIFY COULD NOT MEASURE delivery "${deliveryName}": the gate could not vouch for the evidence ` +
|
|
71
|
+
`it was handed (none at all, not covering the whole delivery, or not attributable to it).`,
|
|
72
|
+
'',
|
|
73
|
+
'This is an INSTRUMENT FAULT, not a statement about your work and NOT a failing check. ' +
|
|
74
|
+
'The verify reconciliation could not see the whole delivery (empty, incomplete, or unattributable ' +
|
|
75
|
+
'evidence), so it declined to render any verdict (it must never report its own blindness -- or ' +
|
|
76
|
+
'half-blindness -- as a shortfall).',
|
|
77
|
+
'',
|
|
78
|
+
...(attributionLine ? [attributionLine, ''] : []),
|
|
79
|
+
...(coverageLine ? [coverageLine, ''] : []),
|
|
80
|
+
`Missing evidence: ${detail.missing.join(', ') || '(all judgeable slots empty)'}`,
|
|
81
|
+
...diagnosticsBlock,
|
|
82
|
+
// The commits-ahead / empty-diff framing only applies to an EMPTY or half-blind
|
|
83
|
+
// bundle. In a total attribution failure the diff is non-empty (the whole batch)
|
|
84
|
+
// -- it is just unattributable -- so the attribution line above carries the fault.
|
|
85
|
+
...(detail.attribution
|
|
86
|
+
? []
|
|
87
|
+
: [
|
|
88
|
+
detail.commitsAhead > 0
|
|
89
|
+
? `The branch is ${detail.commitsAhead} commit(s) ahead of the base but the diff resolved empty -- a broken measurement.`
|
|
90
|
+
: 'The branch is level with / behind the base (already merged, or no work attributable) -- no diff to read.',
|
|
91
|
+
]),
|
|
92
|
+
'',
|
|
93
|
+
'The delivery is re-entering the BOUNDED coding cycle so the next verify has something to ' +
|
|
94
|
+
'measure. Make sure the delivery work is committed to THIS focus branch (not merged away, not ' +
|
|
95
|
+
'left on another branch) and each commit carries its Telora-Delivery trailer. NO operator ' +
|
|
96
|
+
'escalation is filed -- naming "fix the diff range / confirm the merge" asks for no act only a ' +
|
|
97
|
+
'human can perform, so this never reaches a human inbox. The existing verify_failed iteration ' +
|
|
98
|
+
'cap bounds the re-entry; verify_gate_unclearable is the sole residue if it cannot clear.',
|
|
99
|
+
].join('\n');
|
|
100
|
+
}
|
|
101
|
+
/**
|
|
102
|
+
* Re-enter a verify EVIDENCE-UNAVAILABLE instrument fault as BOUNDED RE-WORK,
|
|
103
|
+
* never a human inbox item.
|
|
104
|
+
*
|
|
105
|
+
* "A hold must name a human act" (2026-07-28): verify_evidence_unavailable named
|
|
106
|
+
* no act only a human can perform -- its helpNeeded ("fix the diff range /
|
|
107
|
+
* confirm the merge / clear the delivery manually") is the gate reporting its own
|
|
108
|
+
* blindness to an operator queue, the same topology defect this focus exists to
|
|
109
|
+
* remove. So it no longer FILES an escalation.
|
|
110
|
+
*
|
|
111
|
+
* Two flavours reach here: EMPTY (nothing judgeable at all) and INCOMPLETE
|
|
112
|
+
* (half-blind -- the resolved range covered only part of the delivery's recorded
|
|
113
|
+
* commit set, so a verdict would judge part of the work). Both are the gate
|
|
114
|
+
* failing to vouch for its own evidence, so both take this path.
|
|
115
|
+
*
|
|
116
|
+
* Where the delivery's diff is recoverable (the recorded commit set, or a real
|
|
117
|
+
* merge commit -- see resolveRecordedCommitRange / resolveRecordedMergeRange,
|
|
118
|
+
* the latter refusing a non-merge sha), the reconciliation renders a verdict and
|
|
119
|
+
* this path is never reached. Where the evidence cannot be vouched for, the
|
|
120
|
+
* delivery re-enters the SAME bounded
|
|
121
|
+
* verify -> verify_failed re-work the shortfall case uses (requeueShortfallAsRework):
|
|
122
|
+
* routed through the single-writer reconciler with `gaps_found` + `fromStatus:'verify'`
|
|
123
|
+
* so the server-side iteration_count increment fires and the EXISTING
|
|
124
|
+
* TELORA_VERIFY_FAILED_ITERATION_CAP (-> verify_gate_unclearable, needs_operator)
|
|
125
|
+
* bounds it. verify_gate_unclearable is the SOLE surviving human residue.
|
|
126
|
+
*
|
|
127
|
+
* Writes the evidence-unavailable gate_state (never a shortfall verdict) so the
|
|
128
|
+
* re-queued team's resume prompt carries the instrument-fault context, and best-
|
|
129
|
+
* effort injects it into a live coding team. Files NO escalation. Best-effort
|
|
130
|
+
* throughout -- a feedback failure must never crash the verification tick.
|
|
131
|
+
*/
|
|
132
|
+
export async function requeueEvidenceUnavailableAsRework(v, fault, organizationId, deps = {}) {
|
|
133
|
+
const d = { ...defaultRequeueDeps(), ...deps };
|
|
134
|
+
const detail = { heldAt: d.now(), ...fault };
|
|
135
|
+
const gateState = buildEvidenceUnavailableGateState(detail);
|
|
136
|
+
const decision = d.resolveReconciledWrite({
|
|
137
|
+
input: {
|
|
138
|
+
currentStatus: DELIVERY_STATUS.VERIFY,
|
|
139
|
+
issues: [],
|
|
140
|
+
gitState: { worktreeCommitted: true },
|
|
141
|
+
guardVerdict: null,
|
|
142
|
+
reviewState: {
|
|
143
|
+
outcome: 'gaps_found',
|
|
144
|
+
reviewRequested: true,
|
|
145
|
+
reportExists: false,
|
|
146
|
+
sessionType: 'coding',
|
|
147
|
+
succeeded: false,
|
|
148
|
+
},
|
|
149
|
+
},
|
|
150
|
+
});
|
|
151
|
+
let transitioned = false;
|
|
152
|
+
try {
|
|
153
|
+
await d.transitionDelivery(v.deliveryId, decision.target, gateState, {
|
|
154
|
+
organizationId,
|
|
155
|
+
fromStatus: DELIVERY_STATUS.VERIFY,
|
|
156
|
+
});
|
|
157
|
+
transitioned = true;
|
|
158
|
+
}
|
|
159
|
+
catch (err) {
|
|
160
|
+
log.warn(`failed to requeue evidence-unavailable as re-work for delivery ${v.deliveryId}:`, err.message);
|
|
161
|
+
}
|
|
162
|
+
let injected = false;
|
|
163
|
+
if (v.focusId) {
|
|
164
|
+
const team = d.getActiveTeams().get(v.focusId);
|
|
165
|
+
// Do not retask a live review team (parity with directive inject guard).
|
|
166
|
+
if (team && team.leadStdin && team.sessionType !== 'review') {
|
|
167
|
+
try {
|
|
168
|
+
d.sendMessage(team.leadStdin, buildEvidenceUnavailableInjectMessage(v.deliveryName, detail));
|
|
169
|
+
injected = true;
|
|
170
|
+
}
|
|
171
|
+
catch (err) {
|
|
172
|
+
log.warn(`failed to inject evidence-unavailable re-work to team ${v.focusId}:`, err.message);
|
|
173
|
+
}
|
|
174
|
+
}
|
|
175
|
+
}
|
|
176
|
+
return { transitioned, injected, detail };
|
|
177
|
+
}
|
|
178
|
+
//# sourceMappingURL=verification-evidence-unavailable-feedback.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"verification-evidence-unavailable-feedback.js","sourceRoot":"","sources":["../../src/verify/verification-evidence-unavailable-feedback.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAMtD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EACL,kBAAkB,GAEnB,MAAM,4BAA4B,CAAC;AAEpC,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,6BAA6B,CAAC;AAExE,4GAA4G;AAC5G,MAAM,UAAU,iCAAiC,CAAC,MAAiC;IACjF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACpE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,mBAAmB,EAAE,MAAM;KAC5B,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,qCAAqC,CACnD,YAAoB,EACpB,MAAiC;IAEjC,8EAA8E;IAC9E,4EAA4E;IAC5E,mEAAmE;IACnE,0EAA0E;IAC1E,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW;QACxC,CAAC,CAAC,uBAAuB,MAAM,CAAC,WAAW,CAAC,KAAK,sBAAsB,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG;YACjG,6CAA6C,MAAM,CAAC,WAAW,CAAC,UAAU,kBAAkB;YAC5F,gGAAgG;YAChG,kFAAkF;YAClF,6FAA6F;QAC/F,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ;QAClC,CAAC,CAAC,kCAAkC,MAAM,CAAC,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,UAAU;YAC/F,0FAA0F;QAC5F,CAAC,CAAC,IAAI,CAAC;IACT,8EAA8E;IAC9E,0EAA0E;IAC1E,8EAA8E;IAC9E,UAAU;IACV,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACtF,CAAC,CAAC,CAAC,EAAE,EAAE,gDAAgD;YACpD,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,sCAAsC,YAAY,+CAA+C;YACjG,0FAA0F;QAC1F,EAAE;QACF,wFAAwF;YACxF,mGAAmG;YACnG,gGAAgG;YAChG,oCAAoC;QACpC,EAAE;QACF,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,qBAAqB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,6BAA6B,EAAE;QACjF,GAAG,gBAAgB;QACnB,gFAAgF;QAChF,iFAAiF;QACjF,mFAAmF;QACnF,GAAG,CAAC,MAAM,CAAC,WAAW;YACpB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,MAAM,CAAC,YAAY,GAAG,CAAC;oBACrB,CAAC,CAAC,iBAAiB,MAAM,CAAC,YAAY,mFAAmF;oBACzH,CAAC,CAAC,0GAA0G;aAC/G,CAAC;QACN,EAAE;QACF,2FAA2F;YAC3F,+FAA+F;YAC/F,2FAA2F;YAC3F,gGAAgG;YAChG,+FAA+F;YAC/F,0FAA0F;KAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,CAAuE,EACvE,KAAgD,EAChD,cAAsB,EACtB,OAAsC,EAAE;IAExC,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC/C,MAAM,MAAM,GAA8B,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC;IACxE,MAAM,SAAS,GAAG,iCAAiC,CAAC,MAAM,CAAC,CAAC;IAE5D,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,qCAAqC,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC7F,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC"}
|
|
@@ -3,20 +3,27 @@
|
|
|
3
3
|
*
|
|
4
4
|
* When a daemon-side deterministic verification run FAILS, a failure discovered
|
|
5
5
|
* after the team context-switched must not cost a cold respawn. This module:
|
|
6
|
-
* 1.
|
|
7
|
-
*
|
|
6
|
+
* 1. routes the delivery verify -> verify_failed through the SINGLE-WRITER
|
|
7
|
+
* reconciler (deliverVerificationFailureFeedback), carrying the failing
|
|
8
|
+
* tests in gate_state, so the iteration_count trigger fires on entry to
|
|
9
|
+
* verify_failed and the verify_failed iteration cap bounds a repeatedly-
|
|
10
|
+
* failing gate (verify_gate_unclearable is the sole human residue),
|
|
8
11
|
* 2. injects the failure context into the live team session when one is
|
|
9
12
|
* running (reusing the same leadStdin channel the directive inject uses),
|
|
10
13
|
* 3. leaves the failure in gate_state so the requeue/respawn prompt can carry
|
|
11
14
|
* it when no team is live (rendered by the wake/resume prompt builders).
|
|
12
15
|
*
|
|
13
|
-
* The
|
|
14
|
-
*
|
|
16
|
+
* The deterministic-failure, shortfall, and instrument-fault re-queues all cross
|
|
17
|
+
* verify -> verify_failed through the same resolveReconciledWrite choke point
|
|
18
|
+
* (a differential-side gaps_found + fromStatus 'verify'); the reconciler is the
|
|
19
|
+
* sole writer of the status edge. The edge record handler resets
|
|
20
|
+
* verification_outcome to null so the delivery re-enters the pending queue after
|
|
21
|
+
* the reconciler steps it back through coding for re-work.
|
|
15
22
|
*
|
|
16
23
|
* @module verification-feedback
|
|
17
24
|
*/
|
|
18
25
|
import { sendMessage } from '@telora/daemon-core';
|
|
19
|
-
import { type DeliveryGateState, type
|
|
26
|
+
import { type DeliveryGateState, type ShortfallReconciliationDetail, type VerificationFailureDetail } from '../queries/deliveries.js';
|
|
20
27
|
import { resolveReconciledWrite } from '../delivery/delivery-reconciler-apply.js';
|
|
21
28
|
import { getActiveTeams } from '../focus/focus-team-state.js';
|
|
22
29
|
import { type FileEscalationIdempotentParams, type FileEscalationIdempotentResult } from '../queries/escalation-suppression.js';
|
|
@@ -33,14 +40,6 @@ export declare const DETERMINISTIC_VERIFICATION_GUARD = "deterministic_verificat
|
|
|
33
40
|
* deterministic_verification whose exitCode is 0.
|
|
34
41
|
*/
|
|
35
42
|
export declare const SHORTFALL_RECONCILIATION_GUARD = "verify_shortfall_reconciliation";
|
|
36
|
-
/**
|
|
37
|
-
* gate_state guard name for a verify EVIDENCE-UNAVAILABLE (instrument-fault)
|
|
38
|
-
* hold. The verify path was handed nothing it could judge the work against, so
|
|
39
|
-
* it is BLIND -- distinct from both the deterministic guard (a shell command
|
|
40
|
-
* failed) and the shortfall guard (the work fell short of intent). A reader
|
|
41
|
-
* must never see the gate's own blindness rendered as a verdict about the work.
|
|
42
|
-
*/
|
|
43
|
-
export declare const EVIDENCE_UNAVAILABLE_GUARD = "verify_evidence_unavailable";
|
|
44
43
|
/** The slice of a StrategyResult the feedback loop needs. */
|
|
45
44
|
export interface VerificationFailureResult {
|
|
46
45
|
logPath?: string;
|
|
@@ -65,13 +64,28 @@ export interface VerificationFeedbackDeps {
|
|
|
65
64
|
now: () => string;
|
|
66
65
|
}
|
|
67
66
|
/**
|
|
68
|
-
* Deliver failure feedback for a failed deterministic verification:
|
|
69
|
-
*
|
|
70
|
-
*
|
|
71
|
-
*
|
|
67
|
+
* Deliver failure feedback for a failed deterministic verification: route the
|
|
68
|
+
* delivery verify -> verify_failed through the SINGLE-WRITER RECONCILER (the same
|
|
69
|
+
* path the shortfall and instrument-fault re-queues use), carrying the failing
|
|
70
|
+
* tests in gate_state, and inject the failure into the live coding team when one
|
|
71
|
+
* is running. Best-effort throughout -- a feedback failure must never crash the
|
|
72
|
+
* verification tick.
|
|
73
|
+
*
|
|
74
|
+
* WHY verify_failed AND NOT a same-status gate_state write (the fix for the
|
|
75
|
+
* unbounded-re-work defect): a deterministic failure produces no blocking open
|
|
76
|
+
* work and no gaps_found REVIEW verdict, so the reconciler's VERIFY case would
|
|
77
|
+
* otherwise leave the delivery in verify indefinitely -- it re-runs the gate every
|
|
78
|
+
* tick but NEVER crosses verify_failed, so the iteration_count trigger (which
|
|
79
|
+
* fires only on entry to verify_failed) never increments and the verify_failed
|
|
80
|
+
* iteration cap never bounds a repeatedly-failing gate. Feeding the reconciler the
|
|
81
|
+
* gaps_found signal it already routes to verify_failed (with fromStatus 'verify')
|
|
82
|
+
* restores the bounded re-work loop: iteration_count increments and
|
|
83
|
+
* verify_gate_unclearable is the sole human residue. `issues: []` is accurate --
|
|
84
|
+
* a deterministic-failed delivery has no blocking open work of its own (that is
|
|
85
|
+
* why it reached verify).
|
|
72
86
|
*/
|
|
73
|
-
export declare function deliverVerificationFailureFeedback(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName' | 'focusId'>, result: VerificationFailureResult, organizationId: string, deps?: Partial<
|
|
74
|
-
|
|
87
|
+
export declare function deliverVerificationFailureFeedback(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName' | 'focusId'>, result: VerificationFailureResult, organizationId: string, deps?: Partial<ShortfallRequeueDeps>): Promise<{
|
|
88
|
+
transitioned: boolean;
|
|
75
89
|
injected: boolean;
|
|
76
90
|
detail: VerificationFailureDetail;
|
|
77
91
|
}>;
|
|
@@ -101,6 +115,7 @@ export interface ShortfallRequeueDeps extends VerificationFeedbackDeps {
|
|
|
101
115
|
/** Reconciler decision resolver (single-writer self-check). */
|
|
102
116
|
resolveReconciledWrite: typeof resolveReconciledWrite;
|
|
103
117
|
}
|
|
118
|
+
export declare const defaultRequeueDeps: () => ShortfallRequeueDeps;
|
|
104
119
|
/**
|
|
105
120
|
* Re-enter a verify SHORTFALL as bounded re-work instead of a human inbox item.
|
|
106
121
|
*
|
|
@@ -198,44 +213,4 @@ export declare function routeShortfallOutcome(v: Pick<PendingVerification, 'deli
|
|
|
198
213
|
routed: 'rework' | 'unclearable';
|
|
199
214
|
repeat: ShortfallRepeat;
|
|
200
215
|
}>;
|
|
201
|
-
/** Build the gate_state for an evidence-unavailable instrument-fault hold. Pure -- exported for testing. */
|
|
202
|
-
export declare function buildEvidenceUnavailableGateState(detail: EvidenceUnavailableDetail): DeliveryGateState;
|
|
203
|
-
/** Build the informational message injected into a live coding team. Pure -- exported for testing. */
|
|
204
|
-
export declare function buildEvidenceUnavailableInjectMessage(deliveryName: string, detail: EvidenceUnavailableDetail): string;
|
|
205
|
-
/**
|
|
206
|
-
* Re-enter a verify EVIDENCE-UNAVAILABLE instrument fault as BOUNDED RE-WORK,
|
|
207
|
-
* never a human inbox item.
|
|
208
|
-
*
|
|
209
|
-
* "A hold must name a human act" (2026-07-28): verify_evidence_unavailable named
|
|
210
|
-
* no act only a human can perform -- its helpNeeded ("fix the diff range /
|
|
211
|
-
* confirm the merge / clear the delivery manually") is the gate reporting its own
|
|
212
|
-
* blindness to an operator queue, the same topology defect this focus exists to
|
|
213
|
-
* remove. So it no longer FILES an escalation.
|
|
214
|
-
*
|
|
215
|
-
* Two flavours reach here: EMPTY (nothing judgeable at all) and INCOMPLETE
|
|
216
|
-
* (half-blind -- the resolved range covered only part of the delivery's recorded
|
|
217
|
-
* commit set, so a verdict would judge part of the work). Both are the gate
|
|
218
|
-
* failing to vouch for its own evidence, so both take this path.
|
|
219
|
-
*
|
|
220
|
-
* Where the delivery's diff is recoverable (the recorded commit set, or a real
|
|
221
|
-
* merge commit -- see resolveRecordedCommitRange / resolveRecordedMergeRange,
|
|
222
|
-
* the latter refusing a non-merge sha), the reconciliation renders a verdict and
|
|
223
|
-
* this path is never reached. Where the evidence cannot be vouched for, the
|
|
224
|
-
* delivery re-enters the SAME bounded
|
|
225
|
-
* verify -> verify_failed re-work the shortfall case uses (requeueShortfallAsRework):
|
|
226
|
-
* routed through the single-writer reconciler with `gaps_found` + `fromStatus:'verify'`
|
|
227
|
-
* so the server-side iteration_count increment fires and the EXISTING
|
|
228
|
-
* TELORA_VERIFY_FAILED_ITERATION_CAP (-> verify_gate_unclearable, needs_operator)
|
|
229
|
-
* bounds it. verify_gate_unclearable is the SOLE surviving human residue.
|
|
230
|
-
*
|
|
231
|
-
* Writes the evidence-unavailable gate_state (never a shortfall verdict) so the
|
|
232
|
-
* re-queued team's resume prompt carries the instrument-fault context, and best-
|
|
233
|
-
* effort injects it into a live coding team. Files NO escalation. Best-effort
|
|
234
|
-
* throughout -- a feedback failure must never crash the verification tick.
|
|
235
|
-
*/
|
|
236
|
-
export declare function requeueEvidenceUnavailableAsRework(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName' | 'focusId'>, fault: Omit<EvidenceUnavailableDetail, 'heldAt'>, organizationId: string, deps?: Partial<ShortfallRequeueDeps>): Promise<{
|
|
237
|
-
transitioned: boolean;
|
|
238
|
-
injected: boolean;
|
|
239
|
-
detail: EvidenceUnavailableDetail;
|
|
240
|
-
}>;
|
|
241
216
|
//# sourceMappingURL=verification-feedback.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"verification-feedback.d.ts","sourceRoot":"","sources":["../../src/verify/verification-feedback.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"verification-feedback.d.ts","sourceRoot":"","sources":["../../src/verify/verification-feedback.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAIL,WAAW,EAEZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAGL,KAAK,iBAAiB,EACtB,KAAK,6BAA6B,EAClC,KAAK,yBAAyB,EAC/B,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAEL,KAAK,8BAA8B,EACnC,KAAK,8BAA8B,EACpC,MAAM,sCAAsC,CAAC;AAG9C,OAAO,EAEL,KAAK,eAAe,EACrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAgB/D,gFAAgF;AAChF,eAAO,MAAM,gCAAgC,+BAA+B,CAAC;AAE7E;;;;;;GAMG;AACH,eAAO,MAAM,8BAA8B,oCAAoC,CAAC;AAYhF,6DAA6D;AAC7D,MAAM,WAAW,yBAAyB;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,qFAAqF;IACrF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,sFAAsF;IACtF,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,yFAAyF;AACzF,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,yBAAyB,GAAG,iBAAiB,CAOtG;AAED,iGAAiG;AACjG,wBAAgB,yBAAyB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,yBAAyB,GAAG,MAAM,CAsBzG;AAED,kFAAkF;AAClF,MAAM,WAAW,wBAAwB;IACvC,cAAc,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5G,cAAc,EAAE,OAAO,cAAc,CAAC;IACtC,WAAW,EAAE,OAAO,WAAW,CAAC;IAChC,GAAG,EAAE,MAAM,MAAM,CAAC;CACnB;AAaD;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAsB,kCAAkC,CACtD,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC,EACvE,MAAM,EAAE,yBAAyB,EACjC,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,oBAAoB,CAAM,GACvC,OAAO,CAAC;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAA;CAAE,CAAC,CA2D1F;AAMD,qGAAqG;AACrG,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,6BAA6B,GAAG,iBAAiB,CAOhG;AAED,sGAAsG;AACtG,wBAAgB,2BAA2B,CACzC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,6BAA6B,GACpC,MAAM,CAoBR;AAED;;;;;;GAMG;AACH,wBAAsB,+BAA+B,CACnD,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC,EACvE,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAC3C,OAAO,CAAC;IAAE,WAAW,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,6BAA6B,CAAA;CAAE,CAAC,CAqC7F;AAMD,sDAAsD;AACtD,MAAM,WAAW,oBAAqB,SAAQ,wBAAwB;IACpE,2FAA2F;IAC3F,kBAAkB,EAAE,CAClB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,iBAAiB,EAC5B,UAAU,EAAE;QAAE,cAAc,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,KACvD,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,+DAA+D;IAC/D,sBAAsB,EAAE,OAAO,sBAAsB,CAAC;CACvD;AAED,eAAO,MAAM,kBAAkB,QAAO,oBAMpC,CAAC;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,wBAAwB,CAC5C,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC,EACvE,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,oBAAoB,CAAM,EACxC,IAAI,GAAE;IAAE,MAAM,CAAC,EAAE,eAAe,CAAA;CAAO,GACtC,OAAO,CAAC;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,6BAA6B,CAAA;CAAE,CAAC,CA4D9F;AAMD,0FAA0F;AAC1F,eAAO,MAAM,2BAA2B,uCAAuC,CAAC;AAEhF,iEAAiE;AACjE,MAAM,WAAW,wBAAyB,SAAQ,wBAAwB;IACxE,+EAA+E;IAC/E,cAAc,EAAE,CAAC,MAAM,EAAE,8BAA8B,KAAK,OAAO,CAAC,8BAA8B,CAAC,CAAC;CACrG;AAOD,2GAA2G;AAC3G,wBAAgB,kCAAkC,CAAC,MAAM,EAAE,6BAA6B,GAAG,iBAAiB,CAO3G;AAED,+GAA+G;AAC/G,wBAAgB,mCAAmC,CACjD,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,KAAK,EAAE,MAAM,GACZ;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CA2BnE;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAsB,4BAA4B,CAChD,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,CAAC,EACrF,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,MAAM,EAAE,eAAe,EACvB,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,wBAAwB,CAAM,GAC3C,OAAO,CAAC;IAAE,WAAW,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,6BAA6B,CAAA;CAAE,CAAC,CAoE9F;AAMD,6GAA6G;AAC7G,MAAM,WAAW,kBAAmB,SAAQ,oBAAoB,EAAE,wBAAwB;IACxF,6EAA6E;IAC7E,kBAAkB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC,CAAC;IAC9E,qFAAqF;IACrF,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAQD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,qBAAqB,CACzC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,GAAG,WAAW,CAAC,EACrF,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,kBAAkB,CAAM,GACrC,OAAO,CAAC;IAAE,MAAM,EAAE,QAAQ,GAAG,aAAa,CAAC;IAAC,MAAM,EAAE,eAAe,CAAA;CAAE,CAAC,CAsBxE"}
|