@telora/daemon 0.22.169 → 0.22.187
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 +9 -3
- package/dist/audit/audit-floor-policy.d.ts +188 -0
- package/dist/audit/audit-floor-policy.d.ts.map +1 -0
- package/dist/audit/audit-floor-policy.js +353 -0
- package/dist/audit/audit-floor-policy.js.map +1 -0
- package/dist/audit/audit-prompt.d.ts +4 -177
- package/dist/audit/audit-prompt.d.ts.map +1 -1
- package/dist/audit/audit-prompt.js +6 -329
- package/dist/audit/audit-prompt.js.map +1 -1
- package/dist/completion/commit-verdict-release.d.ts +37 -1
- package/dist/completion/commit-verdict-release.d.ts.map +1 -1
- package/dist/completion/commit-verdict-release.js +90 -15
- package/dist/completion/commit-verdict-release.js.map +1 -1
- package/dist/completion/escalations.d.ts.map +1 -1
- package/dist/completion/escalations.js +3 -1
- package/dist/completion/escalations.js.map +1 -1
- package/dist/completion/review-exit-verdict-gate.d.ts +11 -5
- package/dist/completion/review-exit-verdict-gate.d.ts.map +1 -1
- package/dist/completion/review-exit-verdict-gate.js +6 -3
- package/dist/completion/review-exit-verdict-gate.js.map +1 -1
- package/dist/delivery/commit-verdict-hold.d.ts.map +1 -1
- package/dist/delivery/commit-verdict-hold.js +2 -1
- package/dist/delivery/commit-verdict-hold.js.map +1 -1
- package/dist/directive/stranded-review-reroute.js +1 -1
- package/dist/directive/stranded-review-reroute.js.map +1 -1
- package/dist/focus/focus-executor.d.ts.map +1 -1
- package/dist/focus/focus-executor.js +2 -0
- package/dist/focus/focus-executor.js.map +1 -1
- package/dist/focus/pending-review-approved-head.d.ts +1 -1
- package/dist/focus/pending-review-approved-head.d.ts.map +1 -1
- package/dist/focus/pending-review-approved-head.js +4 -3
- package/dist/focus/pending-review-approved-head.js.map +1 -1
- package/dist/focus/session-health.d.ts.map +1 -1
- package/dist/focus/session-health.js +2 -1
- package/dist/focus/session-health.js.map +1 -1
- package/dist/focus-stage-lifecycle/planning-release.d.ts +52 -17
- package/dist/focus-stage-lifecycle/planning-release.d.ts.map +1 -1
- package/dist/focus-stage-lifecycle/planning-release.js +58 -70
- package/dist/focus-stage-lifecycle/planning-release.js.map +1 -1
- package/dist/focus-stage-lifecycle/ratify-bar-gate.d.ts +108 -0
- package/dist/focus-stage-lifecycle/ratify-bar-gate.d.ts.map +1 -0
- package/dist/focus-stage-lifecycle/ratify-bar-gate.js +174 -0
- package/dist/focus-stage-lifecycle/ratify-bar-gate.js.map +1 -0
- package/dist/git/merge-to-main.d.ts.map +1 -1
- package/dist/git/merge-to-main.js.map +1 -1
- package/dist/nexus/index.d.ts.map +1 -1
- package/dist/nexus/index.js +2 -1
- package/dist/nexus/index.js.map +1 -1
- package/dist/nexus/intake-prompt-sections.d.ts +70 -0
- package/dist/nexus/intake-prompt-sections.d.ts.map +1 -0
- package/dist/nexus/intake-prompt-sections.js +145 -0
- package/dist/nexus/intake-prompt-sections.js.map +1 -0
- package/dist/nexus/intake-spawn.d.ts +49 -13
- package/dist/nexus/intake-spawn.d.ts.map +1 -1
- package/dist/nexus/intake-spawn.js +45 -122
- package/dist/nexus/intake-spawn.js.map +1 -1
- package/dist/nexus/intake.d.ts +55 -0
- package/dist/nexus/intake.d.ts.map +1 -1
- package/dist/nexus/intake.js +62 -1
- package/dist/nexus/intake.js.map +1 -1
- package/dist/prd/arm-readiness.d.ts +93 -0
- package/dist/prd/arm-readiness.d.ts.map +1 -0
- package/dist/prd/arm-readiness.js +254 -0
- package/dist/prd/arm-readiness.js.map +1 -0
- package/dist/prd/arm-refusal.d.ts +149 -0
- package/dist/prd/arm-refusal.d.ts.map +1 -0
- package/dist/prd/arm-refusal.js +219 -0
- package/dist/prd/arm-refusal.js.map +1 -0
- package/dist/prd/controller-shared.d.ts +111 -0
- package/dist/prd/controller-shared.d.ts.map +1 -1
- package/dist/prd/controller-shared.js +3 -1
- package/dist/prd/controller-shared.js.map +1 -1
- package/dist/prd/controller.d.ts +16 -10
- package/dist/prd/controller.d.ts.map +1 -1
- package/dist/prd/controller.js +28 -35
- package/dist/prd/controller.js.map +1 -1
- package/dist/prd/frontier-arming.d.ts +151 -0
- package/dist/prd/frontier-arming.d.ts.map +1 -0
- package/dist/prd/frontier-arming.js +315 -0
- package/dist/prd/frontier-arming.js.map +1 -0
- package/dist/prd/index.d.ts +10 -1
- package/dist/prd/index.d.ts.map +1 -1
- package/dist/prd/index.js +9 -1
- package/dist/prd/index.js.map +1 -1
- package/dist/prd/scoping-prompt.d.ts +68 -0
- package/dist/prd/scoping-prompt.d.ts.map +1 -0
- package/dist/prd/scoping-prompt.js +86 -0
- package/dist/prd/scoping-prompt.js.map +1 -0
- package/dist/prompt/prompt-contradictions.d.ts +20 -1
- package/dist/prompt/prompt-contradictions.d.ts.map +1 -1
- package/dist/prompt/prompt-contradictions.js +35 -0
- package/dist/prompt/prompt-contradictions.js.map +1 -1
- package/dist/prompt/team-prompt-base.d.ts +18 -0
- package/dist/prompt/team-prompt-base.d.ts.map +1 -1
- package/dist/prompt/team-prompt-base.js +56 -11
- package/dist/prompt/team-prompt-base.js.map +1 -1
- package/dist/prompt-sections/persona-sections.d.ts +36 -13
- package/dist/prompt-sections/persona-sections.d.ts.map +1 -1
- package/dist/prompt-sections/persona-sections.js +93 -16
- package/dist/prompt-sections/persona-sections.js.map +1 -1
- package/dist/prompt-sections/scoping-sections.d.ts +19 -5
- package/dist/prompt-sections/scoping-sections.d.ts.map +1 -1
- package/dist/prompt-sections/scoping-sections.js +45 -38
- package/dist/prompt-sections/scoping-sections.js.map +1 -1
- package/dist/prompt-sections/shared.d.ts +8 -0
- package/dist/prompt-sections/shared.d.ts.map +1 -1
- package/dist/prompt-sections/shared.js.map +1 -1
- package/dist/queries/delivery-gate-state.js +1 -1
- package/dist/queries/focus-criteria-standing.d.ts +170 -7
- package/dist/queries/focus-criteria-standing.d.ts.map +1 -1
- package/dist/queries/focus-criteria-standing.js +143 -8
- package/dist/queries/focus-criteria-standing.js.map +1 -1
- package/dist/queries/focus-ratify-release.d.ts +43 -0
- package/dist/queries/focus-ratify-release.d.ts.map +1 -0
- package/dist/queries/focus-ratify-release.js +45 -0
- package/dist/queries/focus-ratify-release.js.map +1 -0
- package/dist/queries/focuses.d.ts +0 -10
- package/dist/queries/focuses.d.ts.map +1 -1
- package/dist/queries/focuses.js +2 -15
- package/dist/queries/focuses.js.map +1 -1
- package/dist/queries/prd.d.ts +31 -0
- package/dist/queries/prd.d.ts.map +1 -1
- package/dist/queries/prd.js +26 -1
- package/dist/queries/prd.js.map +1 -1
- package/dist/queries/shared.js +1 -1
- package/dist/resolvers/focus-criteria-standing.d.ts.map +1 -1
- package/dist/resolvers/focus-criteria-standing.js +324 -25
- package/dist/resolvers/focus-criteria-standing.js.map +1 -1
- package/dist/resolvers/shared/review-window-commits.d.ts.map +1 -1
- package/dist/resolvers/shared/review-window-commits.js +2 -1
- package/dist/resolvers/shared/review-window-commits.js.map +1 -1
- package/dist/security/security-auto-inject.d.ts +51 -0
- package/dist/security/security-auto-inject.d.ts.map +1 -1
- package/dist/security/security-auto-inject.js +101 -11
- package/dist/security/security-auto-inject.js.map +1 -1
- package/dist/security/security-scan-engine.d.ts +4 -4
- package/dist/security/security-scan-engine.d.ts.map +1 -1
- package/dist/security/security-scan-engine.js +6 -0
- package/dist/security/security-scan-engine.js.map +1 -1
- package/dist/session/session-lineage.d.ts.map +1 -1
- package/dist/session/session-lineage.js +2 -0
- package/dist/session/session-lineage.js.map +1 -1
- package/dist/shell/constants.d.ts +5 -0
- package/dist/shell/constants.d.ts.map +1 -1
- package/dist/shell/constants.js +5 -0
- package/dist/shell/constants.js.map +1 -1
- package/dist/shell/daemon-instance.d.ts +74 -64
- package/dist/shell/daemon-instance.d.ts.map +1 -1
- package/dist/shell/daemon-instance.js +16 -121
- package/dist/shell/daemon-instance.js.map +1 -1
- package/dist/shell/health-events.js +1 -1
- package/dist/shell/health-events.js.map +1 -1
- package/dist/shell/instance-liveness.d.ts +112 -0
- package/dist/shell/instance-liveness.d.ts.map +1 -0
- package/dist/shell/instance-liveness.js +205 -0
- package/dist/shell/instance-liveness.js.map +1 -0
- package/dist/shell/schema-version-gate.d.ts +22 -0
- package/dist/shell/schema-version-gate.d.ts.map +1 -1
- package/dist/shell/schema-version-gate.js +116 -6
- package/dist/shell/schema-version-gate.js.map +1 -1
- package/dist/shell/worker-pidfile.d.ts +21 -8
- package/dist/shell/worker-pidfile.d.ts.map +1 -1
- package/dist/shell/worker-pidfile.js +38 -9
- package/dist/shell/worker-pidfile.js.map +1 -1
- package/dist/spawn/lead-launch.d.ts.map +1 -1
- package/dist/spawn/lead-launch.js +2 -1
- package/dist/spawn/lead-launch.js.map +1 -1
- package/dist/spawn/one-shot-scoping-spawn.d.ts +51 -0
- package/dist/spawn/one-shot-scoping-spawn.d.ts.map +1 -0
- package/dist/spawn/one-shot-scoping-spawn.js +156 -0
- package/dist/spawn/one-shot-scoping-spawn.js.map +1 -0
- package/dist/spawn/process-spawn.d.ts +12 -0
- package/dist/spawn/process-spawn.d.ts.map +1 -1
- package/dist/spawn/process-spawn.js +1 -1
- package/dist/spawn/process-spawn.js.map +1 -1
- package/dist/spawn/prompt-assembly.d.ts +8 -0
- package/dist/spawn/prompt-assembly.d.ts.map +1 -1
- package/dist/spawn/prompt-assembly.js +15 -3
- package/dist/spawn/prompt-assembly.js.map +1 -1
- package/dist/spawn/worktree-session.d.ts +24 -6
- package/dist/spawn/worktree-session.d.ts.map +1 -1
- package/dist/spawn/worktree-session.js +37 -14
- package/dist/spawn/worktree-session.js.map +1 -1
- package/dist/testing/arm-coverage-model.d.ts +75 -0
- package/dist/testing/arm-coverage-model.d.ts.map +1 -0
- package/dist/testing/arm-coverage-model.js +114 -0
- package/dist/testing/arm-coverage-model.js.map +1 -0
- package/dist/testing/fixtures/index.js +1 -1
- package/dist/types/index.js +1 -1
- package/dist/verify/commit-gate-configured.d.ts.map +1 -1
- package/dist/verify/commit-gate-configured.js +1 -1
- package/dist/verify/commit-gate-configured.js.map +1 -1
- package/dist/verify/commit-verdict-pull.d.ts +48 -0
- package/dist/verify/commit-verdict-pull.d.ts.map +1 -0
- package/dist/verify/commit-verdict-pull.js +148 -0
- package/dist/verify/commit-verdict-pull.js.map +1 -0
- package/dist/verify/commit-verdict-record.js +1 -1
- package/dist/verify/credit-rearm.js +1 -1
- package/dist/verify/credit-rearm.js.map +1 -1
- package/dist/verify/default-on-guards.d.ts +74 -0
- package/dist/verify/default-on-guards.d.ts.map +1 -0
- package/dist/verify/default-on-guards.js +305 -0
- package/dist/verify/default-on-guards.js.map +1 -0
- package/dist/verify/explicit-rearm.d.ts.map +1 -1
- package/dist/verify/explicit-rearm.js +1 -0
- package/dist/verify/explicit-rearm.js.map +1 -1
- package/dist/verify/gate-run-registry.d.ts.map +1 -1
- package/dist/verify/gate-run-registry.js +1 -0
- package/dist/verify/gate-run-registry.js.map +1 -1
- package/dist/verify/judged-ancestor.d.ts +41 -0
- package/dist/verify/judged-ancestor.d.ts.map +1 -0
- package/dist/verify/judged-ancestor.js +101 -0
- package/dist/verify/judged-ancestor.js.map +1 -0
- package/dist/verify/no-own-delta-verdict.d.ts +7 -2
- package/dist/verify/no-own-delta-verdict.d.ts.map +1 -1
- package/dist/verify/no-own-delta-verdict.js +14 -17
- package/dist/verify/no-own-delta-verdict.js.map +1 -1
- package/dist/verify/rework-attribution.d.ts +71 -0
- package/dist/verify/rework-attribution.d.ts.map +1 -0
- package/dist/verify/rework-attribution.js +263 -0
- package/dist/verify/rework-attribution.js.map +1 -0
- package/dist/verify/shortfall-rulings.d.ts.map +1 -1
- package/dist/verify/shortfall-rulings.js +3 -2
- package/dist/verify/shortfall-rulings.js.map +1 -1
- package/dist/verify/verification-boundary-env.d.ts +70 -17
- package/dist/verify/verification-boundary-env.d.ts.map +1 -1
- package/dist/verify/verification-boundary-env.js +88 -14
- package/dist/verify/verification-boundary-env.js.map +1 -1
- package/dist/verify/verification-commit-sharing.d.ts.map +1 -1
- package/dist/verify/verification-commit-sharing.js +2 -1
- package/dist/verify/verification-commit-sharing.js.map +1 -1
- package/dist/verify/verification-config.d.ts.map +1 -1
- package/dist/verify/verification-config.js +1 -0
- package/dist/verify/verification-config.js.map +1 -1
- package/dist/verify/verification-default-on.d.ts +0 -32
- package/dist/verify/verification-default-on.d.ts.map +1 -1
- package/dist/verify/verification-default-on.js +10 -234
- package/dist/verify/verification-default-on.js.map +1 -1
- package/dist/verify/verification-deps-default.d.ts.map +1 -1
- package/dist/verify/verification-deps-default.js +9 -0
- package/dist/verify/verification-deps-default.js.map +1 -1
- package/dist/verify/verification-engine.d.ts +2 -1
- package/dist/verify/verification-engine.d.ts.map +1 -1
- package/dist/verify/verification-engine.js +12 -4
- package/dist/verify/verification-engine.js.map +1 -1
- package/dist/verify/verification-feedback.d.ts +1 -1
- package/dist/verify/verification-feedback.d.ts.map +1 -1
- package/dist/verify/verification-feedback.js +5 -0
- package/dist/verify/verification-feedback.js.map +1 -1
- package/dist/verify/verification-rework-issue.d.ts +48 -7
- package/dist/verify/verification-rework-issue.d.ts.map +1 -1
- package/dist/verify/verification-rework-issue.js +111 -9
- package/dist/verify/verification-rework-issue.js.map +1 -1
- package/package.json +2 -2
|
@@ -0,0 +1,74 @@
|
|
|
1
|
+
/** Test-only: reset the default-on re-run guards (status- and HEAD-keyed). */
|
|
2
|
+
export declare function __resetDefaultOnGuardForTests(): void;
|
|
3
|
+
/** Test-only: snapshot of the default-on re-run guard (delivery id -> the commit its dispatch judged). */
|
|
4
|
+
export declare function __getDefaultOnGuardForTests(): ReadonlyMap<string, string | null>;
|
|
5
|
+
/** Mark a delivery as already run this verify-entry (dispatch-time bookkeeping; the judged commit is noted after). */
|
|
6
|
+
export declare function markDefaultOnRan(deliveryId: string): void;
|
|
7
|
+
/** Test-only alias for markDefaultOnRan. */
|
|
8
|
+
export declare function __markDefaultOnRanForTests(deliveryId: string): void;
|
|
9
|
+
/** Drop a delivery's run mark so the next tick selects it again (its dispatch rendered nothing it may keep). */
|
|
10
|
+
export declare function releaseDefaultOnMark(deliveryId: string): void;
|
|
11
|
+
/**
|
|
12
|
+
* Drop a delivery's recorded pass, so the pass guard no longer suppresses it.
|
|
13
|
+
* The demand pull (verify/commit-verdict-pull.ts) calls this for a delivery whose
|
|
14
|
+
* route is held for a verdict on the current HEAD: the recorded pass is about an
|
|
15
|
+
* earlier commit, and the held route needs THIS one judged.
|
|
16
|
+
*/
|
|
17
|
+
export declare function forgetRecordedPass(deliveryId: string): void;
|
|
18
|
+
/** The slice of a verification result {@link noteDefaultOnResult} reads. */
|
|
19
|
+
export interface DefaultOnResultFacts {
|
|
20
|
+
outcome: string;
|
|
21
|
+
exitCode?: number | null;
|
|
22
|
+
timedOut?: boolean;
|
|
23
|
+
verifiedSha?: string;
|
|
24
|
+
checkoutUnavailable?: boolean;
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* Dispatch-result bookkeeping for a default-on run:
|
|
28
|
+
* - no checkout could be made, or the verdict was discarded because dependencies
|
|
29
|
+
* moved mid-run -> un-mark, so the next tick retries (no verdict exists to
|
|
30
|
+
* guard); any recorded pass or failure stands;
|
|
31
|
+
* - the run judged a known commit -> keep it on the run mark, so a later focus
|
|
32
|
+
* HEAD that differs re-arms the delivery;
|
|
33
|
+
* - the gate command FAILED at a known sha (non-zero exit, not a timeout, final
|
|
34
|
+
* outcome failed) -> record the sha so that commit is not re-verified, and
|
|
35
|
+
* forget any recorded pass;
|
|
36
|
+
* - a pass -> forget any recorded failure and, at a known judged sha, remember
|
|
37
|
+
* the pass so that commit is not re-verified either.
|
|
38
|
+
*/
|
|
39
|
+
export declare function noteDefaultOnResult(deliveryId: string, result: DefaultOnResultFacts): void;
|
|
40
|
+
/**
|
|
41
|
+
* True when the delivery's last default-on verify PASSED (skip it). The focus
|
|
42
|
+
* HEAD is NOT read: a delivery earns its verdict once and keeps it until it
|
|
43
|
+
* genuinely re-enters verify (see passedAtSha for the rule and what it replaced).
|
|
44
|
+
*/
|
|
45
|
+
export declare function alreadyPassed(deliveryId: string): boolean;
|
|
46
|
+
/**
|
|
47
|
+
* True when the delivery's last default-on verify failed on the focus's CURRENT
|
|
48
|
+
* HEAD (skip it). The failed sha is the in-memory copy, else the durable
|
|
49
|
+
* gate_state record. Only a readable HEAD that DIFFERS re-arms the delivery; an
|
|
50
|
+
* unreadable HEAD keeps it suppressed.
|
|
51
|
+
*/
|
|
52
|
+
export declare function failedOnCurrentHead(delivery: {
|
|
53
|
+
id: string;
|
|
54
|
+
gateState?: unknown;
|
|
55
|
+
}, readHead: () => string | null): boolean;
|
|
56
|
+
/**
|
|
57
|
+
* True when the delivery's default-on dispatch already stands for the focus's
|
|
58
|
+
* current HEAD (skip it): it is in flight, judged no known commit, or judged the
|
|
59
|
+
* commit HEAD still names -- or HEAD is unreadable. Only a readable HEAD that
|
|
60
|
+
* DIFFERS from the judged commit re-arms it (the mark is dropped).
|
|
61
|
+
*/
|
|
62
|
+
export declare function ranOnCurrentHead(deliveryId: string, readHead: () => string | null): boolean;
|
|
63
|
+
/**
|
|
64
|
+
* Prune the guards of every delivery no longer observed in verify. The run mark
|
|
65
|
+
* and the recorded PASS both go: a genuine verify_failed -> coding -> verify
|
|
66
|
+
* re-entry is the ONLY thing that re-arms a passed delivery, so this sweep IS
|
|
67
|
+
* that rule -- without it a delivery would keep a pass earned on the code before
|
|
68
|
+
* its fix commits, which is the one way the narrowed rule could lower the bar.
|
|
69
|
+
*
|
|
70
|
+
* failedAtSha is deliberately NOT pruned: a recorded failure is durable in
|
|
71
|
+
* gate_state and survives the round trip on purpose, unchanged.
|
|
72
|
+
*/
|
|
73
|
+
export declare function pruneGuardsOutsideVerify(observedInVerify: ReadonlySet<string>): void;
|
|
74
|
+
//# sourceMappingURL=default-on-guards.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"default-on-guards.d.ts","sourceRoot":"","sources":["../../src/verify/default-on-guards.ts"],"names":[],"mappings":"AAuKA,8EAA8E;AAC9E,wBAAgB,6BAA6B,IAAI,IAAI,CAKpD;AAED,0GAA0G;AAC1G,wBAAgB,2BAA2B,IAAI,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAEhF;AAED,sHAAsH;AACtH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAEzD;AAED,4CAA4C;AAC5C,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAEnE;AAED,gHAAgH;AAChH,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAE7D;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAE3D;AAED,4EAA4E;AAC5E,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAc1F;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAYzD;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,OAAO,CAAA;CAAE,EAAE,QAAQ,EAAE,MAAM,MAAM,GAAG,IAAI,GAAG,OAAO,CAoBzH;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,MAAM,GAAG,IAAI,GAAG,OAAO,CAY3F;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,gBAAgB,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAOpF"}
|
|
@@ -0,0 +1,305 @@
|
|
|
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/commit-verdict-pull.test.ts,
|
|
3
|
+
// packages/daemon/src/verify/credit-rearm.test.ts, packages/daemon/src/verify/shortfall-rulings.test.ts,
|
|
4
|
+
// packages/daemon/src/verify/verification-default-on.test.ts,
|
|
5
|
+
// packages/daemon/src/verify/verification-run-config-source.test.ts,
|
|
6
|
+
// packages/daemon/src/verify/verify-unprovisioned-worktree.test.ts,
|
|
7
|
+
// packages/daemon/src/worktree/worktree-package-provisioning.test.ts
|
|
8
|
+
// PINNED-BY-END
|
|
9
|
+
/**
|
|
10
|
+
* The default-on scan's steady-state re-run guards: what a delivery sitting in
|
|
11
|
+
* verify has ALREADY been judged on, and what re-arms it.
|
|
12
|
+
*
|
|
13
|
+
* Three questions, asked in this order by collectDefaultOnVerifications
|
|
14
|
+
* (verify/verification-default-on.ts), each with its own memory:
|
|
15
|
+
*
|
|
16
|
+
* 1. alreadyPassed -- has this DELIVERY's verify passed? A pass is earned once
|
|
17
|
+
* and kept until the delivery genuinely re-enters verify. No commit is read.
|
|
18
|
+
* 2. ranOnCurrentHead -- does this delivery's dispatch already stand for the
|
|
19
|
+
* focus's current HEAD (in flight, or judged the commit HEAD still names)?
|
|
20
|
+
* 3. failedOnCurrentHead -- did its last verify FAIL on the commit HEAD names?
|
|
21
|
+
*
|
|
22
|
+
* The order is load-bearing: (1) answers a question about the DELIVERY, (2) and
|
|
23
|
+
* (3) about the COMMIT. Asked after (2), a sibling's commit would drop the run
|
|
24
|
+
* mark and log a re-arm that (1) then silently suppressed.
|
|
25
|
+
*
|
|
26
|
+
* Extracted from verification-default-on.ts (daemon 800-line limit) when the
|
|
27
|
+
* pass rule stopped being HEAD-keyed and grew the reasoning that goes with it.
|
|
28
|
+
* The guards are the rule; the scan is the loop that asks them. A leaf: it reads
|
|
29
|
+
* gate_state and logs, and imports nothing from the scan.
|
|
30
|
+
*
|
|
31
|
+
* @module verify/default-on-guards
|
|
32
|
+
*/
|
|
33
|
+
import { judgedFailedSha, readVerificationHistory } from '../queries/delivery-gate-state.js';
|
|
34
|
+
import { createLogger } from '../shell/log.js';
|
|
35
|
+
const log = createLogger({ module: 'verification' });
|
|
36
|
+
/**
|
|
37
|
+
* A delivery synthesized by the default-on scan is NOT filtered server-side
|
|
38
|
+
* (the edge `daemon_get_pending_verifications` only returns explicit-method
|
|
39
|
+
* rows), so without a guard a delivery sitting in verify -- e.g. awaiting a
|
|
40
|
+
* review window -- would re-run the whole-repo suite on every verification
|
|
41
|
+
* tick. This map records deliveries whose default-on run has already been
|
|
42
|
+
* dispatched during THIS daemon run, with the commit that dispatch judged (null
|
|
43
|
+
* while in flight or when the run named no commit). A delivery is pruned the
|
|
44
|
+
* moment it is no longer observed in verify (so a genuine re-entry is selected
|
|
45
|
+
* again, unless one of the HEAD-keyed guards below already holds its verdict for
|
|
46
|
+
* the unchanged commit), and re-armed when a readable focus HEAD differs from the
|
|
47
|
+
* commit it was judged on: every delivery is judged on the focus HEAD, so a new
|
|
48
|
+
* commit on the focus branch is a new question for every delivery sitting in
|
|
49
|
+
* verify. Neither re-selection runs the gate twice for one commit -- the dispatch
|
|
50
|
+
* takes a verdict already recorded for that commit
|
|
51
|
+
* (verify/verification-commit-sharing.ts), which is also what makes a restart
|
|
52
|
+
* (this map empty) cost no run.
|
|
53
|
+
*/
|
|
54
|
+
const defaultOnRan = new Map();
|
|
55
|
+
/**
|
|
56
|
+
* HEAD-keyed re-verify guard: delivery id -> the commit its last default-on
|
|
57
|
+
* verify FAILED on (the gate command exited non-zero at that sha).
|
|
58
|
+
*
|
|
59
|
+
* The steady-state guard above is keyed on STATUS re-entry, and a failed verify
|
|
60
|
+
* with every issue Done steps verify -> verify_failed -> coding -> verify within
|
|
61
|
+
* ~60s -- so the same unchanged commit re-ran the whole gate (one delivery
|
|
62
|
+
* re-verified 5x on one sha, f1 2026-09-13), and each run re-took the verify hold.
|
|
63
|
+
* A gate on an unchanged tree renders the same verdict; only a NEW commit on the
|
|
64
|
+
* focus branch can change it. So an entry here suppresses selection while the
|
|
65
|
+
* focus HEAD still equals the failed sha, survives the status round trip, and is
|
|
66
|
+
* dropped (re-armed) the first time a readable HEAD differs; an unreadable HEAD
|
|
67
|
+
* keeps it (fail closed). A pass clears it. A timed-out run records nothing (a
|
|
68
|
+
* kill is not a verdict about the tree; judgedFailedSha).
|
|
69
|
+
* A BLIND run (blind_zero_parse) IS held here, in-process only: its re-work stamps
|
|
70
|
+
* no durable record and no iteration_count, so this bounds a blind re-run loop at
|
|
71
|
+
* one sha. The restart shipping a parser fix clears it: the held delivery is
|
|
72
|
+
* re-judged at the same commit, with no new commit or status edit.
|
|
73
|
+
*
|
|
74
|
+
* This map is only the hot copy. The DURABLE record is gate_state
|
|
75
|
+
* `verificationHistory.failedAtSha`: the failure feedback stamps it on the
|
|
76
|
+
* rejection, every clearing writer carries it (carryVerificationHistory), and a
|
|
77
|
+
* pass resets it -- so a daemon restart does not re-arm the unchanged commit.
|
|
78
|
+
* Selection reads the map first, then that record; the map covers a rejection
|
|
79
|
+
* write that did not land.
|
|
80
|
+
*/
|
|
81
|
+
const failedAtSha = new Map();
|
|
82
|
+
/** `${deliveryId}@${sha}` pairs whose suppression was already logged. */
|
|
83
|
+
const loggedShaSkips = new Set();
|
|
84
|
+
function forgetFailedSha(deliveryId, durableSha) {
|
|
85
|
+
for (const sha of [failedAtSha.get(deliveryId), durableSha]) {
|
|
86
|
+
if (sha !== undefined)
|
|
87
|
+
loggedShaSkips.delete(`${deliveryId}@${sha}`);
|
|
88
|
+
}
|
|
89
|
+
failedAtSha.delete(deliveryId);
|
|
90
|
+
}
|
|
91
|
+
/**
|
|
92
|
+
* Pass memory: delivery id -> the commit its last default-on verify PASSED on
|
|
93
|
+
* (an actual 'passed' outcome at a known judged sha).
|
|
94
|
+
*
|
|
95
|
+
* A DELIVERY EARNS ITS VERDICT ONCE. An entry here suppresses selection until the
|
|
96
|
+
* delivery genuinely re-enters verify -- NOT until the focus HEAD moves.
|
|
97
|
+
*
|
|
98
|
+
* It used to be HEAD-keyed, dropped the first time a readable HEAD differed, and
|
|
99
|
+
* its log line said so ("a new commit on the focus branch re-arms it"). But every
|
|
100
|
+
* delivery of a focus is judged on ONE branch, so a commit made for a SIBLING
|
|
101
|
+
* delivery moved the HEAD of a delivery whose own work had not changed, and
|
|
102
|
+
* re-armed it. Measured on focus 09fc9cc6, delivery 5d02a2d2 (2026-09-19/20): 8
|
|
103
|
+
* gate runs over 8 shas, ALL PASSED, ~3h of wall time, while its code stood still;
|
|
104
|
+
* 2026-09-20 across all foci, 20 runs and ~5.7h of gate wall time in one day.
|
|
105
|
+
*
|
|
106
|
+
* WHAT COUNTS AS "ITS OWN WORK" -- the rule is a genuine verify_failed -> coding
|
|
107
|
+
* -> verify re-entry, and nothing else. The alternative considered was a commit
|
|
108
|
+
* carrying this delivery's own Telora-Delivery trailer (verify/delivery-commit-set.ts
|
|
109
|
+
* already reads that set as stable patch ids, and verify/shortfall-park.ts already
|
|
110
|
+
* fingerprints it, so cost was not why it lost). It lost on SOUNDNESS: a trailer is
|
|
111
|
+
* an attribution claim about who a commit is FOR, not a statement about the code
|
|
112
|
+
* the gate judges. The gate runs a whole-repo command over the worktree, so a
|
|
113
|
+
* sibling's commit can break a passed delivery's verdict carrying no trailer of its
|
|
114
|
+
* own, and a commit trailered to a delivery can touch none of the code its verdict
|
|
115
|
+
* depended on. Trailer-keyed re-arm therefore buys imprecise EARLY feedback, not
|
|
116
|
+
* correctness -- and correctness is owned by the done route, which judges the exact
|
|
117
|
+
* tip it is waiting on whatever this rule says (see below). Adding it later is
|
|
118
|
+
* purely additive on top of this rule; nothing here forecloses it.
|
|
119
|
+
*
|
|
120
|
+
* THE BAR IS NOT LOWERED. completion/review-exit-verdict-gate.ts still refuses to
|
|
121
|
+
* converge a delivery with no PASSING verdict for the commit it is judged on, and
|
|
122
|
+
* verify/commit-verdict-pull.ts makes the held route cause the run that judges that
|
|
123
|
+
* commit. So this removes SPECULATIVE runs only: the commit a route actually needs
|
|
124
|
+
* answered is still answered, on demand, at the tip that turns out to matter.
|
|
125
|
+
*
|
|
126
|
+
* Dropped by a genuine re-entry (the prune sweep in collectDefaultOnVerifications,
|
|
127
|
+
* which sees the delivery leave verify), or when a later run FAILS at a judged sha.
|
|
128
|
+
* It survives a discarded (checkoutUnavailable) run -- not a verdict -- and a
|
|
129
|
+
* 'pending' is never a pass: a pass demoted because injection retirement threw
|
|
130
|
+
* records nothing.
|
|
131
|
+
*
|
|
132
|
+
* The HEAD is no longer read here at all, so the old unreadable-HEAD carve-out is
|
|
133
|
+
* gone with it: the question this guard answers is about the delivery, not about a
|
|
134
|
+
* commit.
|
|
135
|
+
*
|
|
136
|
+
* IN-MEMORY ONLY, deliberately, and re-examined under the narrowed rule. The
|
|
137
|
+
* durable counterpart would be a passed sha in gate_state's verificationHistory,
|
|
138
|
+
* beside failedAtSha. It was rejected: that field is written and cleared by every
|
|
139
|
+
* gate_state writer under the per-row write discipline, and the pass is exactly the
|
|
140
|
+
* moment the history is RESET (verify/verification-history-reset.ts), so the new
|
|
141
|
+
* key would have to be carved out of its own reset -- real perturbation of a
|
|
142
|
+
* load-bearing invariant. What it would buy is bounded and mostly not waste: after
|
|
143
|
+
* a restart this map is empty, so an in-verify delivery is selected once at the
|
|
144
|
+
* current HEAD, and the dispatch takes the recorded per-commit verdict where that
|
|
145
|
+
* commit was judged (verify/commit-verdict-record.ts, no run). Where it was NOT
|
|
146
|
+
* judged, the run that follows is the one the done route will ask for anyway as
|
|
147
|
+
* soon as review exits -- early, not wasted. So: at most one gate run per in-verify
|
|
148
|
+
* delivery per restart, usually needed. Making it durable is additive if that ever
|
|
149
|
+
* proves wrong.
|
|
150
|
+
*/
|
|
151
|
+
const passedAtSha = new Map();
|
|
152
|
+
const passSkipKey = (deliveryId, sha) => `${deliveryId}@${sha}#passed`;
|
|
153
|
+
function forgetPassedSha(deliveryId) {
|
|
154
|
+
const sha = passedAtSha.get(deliveryId);
|
|
155
|
+
if (sha !== undefined)
|
|
156
|
+
loggedShaSkips.delete(passSkipKey(deliveryId, sha));
|
|
157
|
+
passedAtSha.delete(deliveryId);
|
|
158
|
+
}
|
|
159
|
+
/** Test-only: reset the default-on re-run guards (status- and HEAD-keyed). */
|
|
160
|
+
export function __resetDefaultOnGuardForTests() {
|
|
161
|
+
defaultOnRan.clear();
|
|
162
|
+
failedAtSha.clear();
|
|
163
|
+
passedAtSha.clear();
|
|
164
|
+
loggedShaSkips.clear();
|
|
165
|
+
}
|
|
166
|
+
/** Test-only: snapshot of the default-on re-run guard (delivery id -> the commit its dispatch judged). */
|
|
167
|
+
export function __getDefaultOnGuardForTests() {
|
|
168
|
+
return defaultOnRan;
|
|
169
|
+
}
|
|
170
|
+
/** Mark a delivery as already run this verify-entry (dispatch-time bookkeeping; the judged commit is noted after). */
|
|
171
|
+
export function markDefaultOnRan(deliveryId) {
|
|
172
|
+
defaultOnRan.set(deliveryId, null);
|
|
173
|
+
}
|
|
174
|
+
/** Test-only alias for markDefaultOnRan. */
|
|
175
|
+
export function __markDefaultOnRanForTests(deliveryId) {
|
|
176
|
+
markDefaultOnRan(deliveryId);
|
|
177
|
+
}
|
|
178
|
+
/** Drop a delivery's run mark so the next tick selects it again (its dispatch rendered nothing it may keep). */
|
|
179
|
+
export function releaseDefaultOnMark(deliveryId) {
|
|
180
|
+
defaultOnRan.delete(deliveryId);
|
|
181
|
+
}
|
|
182
|
+
/**
|
|
183
|
+
* Drop a delivery's recorded pass, so the pass guard no longer suppresses it.
|
|
184
|
+
* The demand pull (verify/commit-verdict-pull.ts) calls this for a delivery whose
|
|
185
|
+
* route is held for a verdict on the current HEAD: the recorded pass is about an
|
|
186
|
+
* earlier commit, and the held route needs THIS one judged.
|
|
187
|
+
*/
|
|
188
|
+
export function forgetRecordedPass(deliveryId) {
|
|
189
|
+
forgetPassedSha(deliveryId);
|
|
190
|
+
}
|
|
191
|
+
/**
|
|
192
|
+
* Dispatch-result bookkeeping for a default-on run:
|
|
193
|
+
* - no checkout could be made, or the verdict was discarded because dependencies
|
|
194
|
+
* moved mid-run -> un-mark, so the next tick retries (no verdict exists to
|
|
195
|
+
* guard); any recorded pass or failure stands;
|
|
196
|
+
* - the run judged a known commit -> keep it on the run mark, so a later focus
|
|
197
|
+
* HEAD that differs re-arms the delivery;
|
|
198
|
+
* - the gate command FAILED at a known sha (non-zero exit, not a timeout, final
|
|
199
|
+
* outcome failed) -> record the sha so that commit is not re-verified, and
|
|
200
|
+
* forget any recorded pass;
|
|
201
|
+
* - a pass -> forget any recorded failure and, at a known judged sha, remember
|
|
202
|
+
* the pass so that commit is not re-verified either.
|
|
203
|
+
*/
|
|
204
|
+
export function noteDefaultOnResult(deliveryId, result) {
|
|
205
|
+
if (result.checkoutUnavailable) {
|
|
206
|
+
defaultOnRan.delete(deliveryId);
|
|
207
|
+
return;
|
|
208
|
+
}
|
|
209
|
+
if (result.verifiedSha && defaultOnRan.has(deliveryId))
|
|
210
|
+
defaultOnRan.set(deliveryId, result.verifiedSha);
|
|
211
|
+
const failedSha = judgedFailedSha(result);
|
|
212
|
+
if (result.outcome === 'failed' && failedSha) {
|
|
213
|
+
failedAtSha.set(deliveryId, failedSha);
|
|
214
|
+
forgetPassedSha(deliveryId);
|
|
215
|
+
}
|
|
216
|
+
else if (result.outcome === 'passed') {
|
|
217
|
+
forgetFailedSha(deliveryId);
|
|
218
|
+
if (result.verifiedSha)
|
|
219
|
+
passedAtSha.set(deliveryId, result.verifiedSha);
|
|
220
|
+
}
|
|
221
|
+
}
|
|
222
|
+
/**
|
|
223
|
+
* True when the delivery's last default-on verify PASSED (skip it). The focus
|
|
224
|
+
* HEAD is NOT read: a delivery earns its verdict once and keeps it until it
|
|
225
|
+
* genuinely re-enters verify (see passedAtSha for the rule and what it replaced).
|
|
226
|
+
*/
|
|
227
|
+
export function alreadyPassed(deliveryId) {
|
|
228
|
+
const passedSha = passedAtSha.get(deliveryId);
|
|
229
|
+
if (passedSha === undefined)
|
|
230
|
+
return false;
|
|
231
|
+
const key = passSkipKey(deliveryId, passedSha);
|
|
232
|
+
if (!loggedShaSkips.has(key)) {
|
|
233
|
+
loggedShaSkips.add(key);
|
|
234
|
+
log.info(`[verification] default-on: not re-verifying delivery ${deliveryId} -- its verify already passed on `
|
|
235
|
+
+ `${passedSha.slice(0, 8)}; a sibling's commit does not re-arm it, only a re-entry into verify does`);
|
|
236
|
+
}
|
|
237
|
+
return true;
|
|
238
|
+
}
|
|
239
|
+
/**
|
|
240
|
+
* True when the delivery's last default-on verify failed on the focus's CURRENT
|
|
241
|
+
* HEAD (skip it). The failed sha is the in-memory copy, else the durable
|
|
242
|
+
* gate_state record. Only a readable HEAD that DIFFERS re-arms the delivery; an
|
|
243
|
+
* unreadable HEAD keeps it suppressed.
|
|
244
|
+
*/
|
|
245
|
+
export function failedOnCurrentHead(delivery, readHead) {
|
|
246
|
+
const failedSha = failedAtSha.get(delivery.id) ?? readVerificationHistory(delivery.gateState).failedAtSha;
|
|
247
|
+
if (failedSha === undefined)
|
|
248
|
+
return false;
|
|
249
|
+
const head = readHead();
|
|
250
|
+
if (head !== null && head !== failedSha) {
|
|
251
|
+
forgetFailedSha(delivery.id, failedSha);
|
|
252
|
+
return false;
|
|
253
|
+
}
|
|
254
|
+
const key = `${delivery.id}@${failedSha}`;
|
|
255
|
+
if (!loggedShaSkips.has(key)) {
|
|
256
|
+
loggedShaSkips.add(key);
|
|
257
|
+
const why = head === null
|
|
258
|
+
? `its last verify failed on ${failedSha.slice(0, 8)} and the focus HEAD is unreadable`
|
|
259
|
+
: `focus HEAD ${failedSha.slice(0, 8)} is the commit its last verify failed on`;
|
|
260
|
+
log.info(`[verification] default-on: not re-verifying delivery ${delivery.id} -- ${why}; `
|
|
261
|
+
+ `a new commit on the focus branch re-arms it`);
|
|
262
|
+
}
|
|
263
|
+
return true;
|
|
264
|
+
}
|
|
265
|
+
/**
|
|
266
|
+
* True when the delivery's default-on dispatch already stands for the focus's
|
|
267
|
+
* current HEAD (skip it): it is in flight, judged no known commit, or judged the
|
|
268
|
+
* commit HEAD still names -- or HEAD is unreadable. Only a readable HEAD that
|
|
269
|
+
* DIFFERS from the judged commit re-arms it (the mark is dropped).
|
|
270
|
+
*/
|
|
271
|
+
export function ranOnCurrentHead(deliveryId, readHead) {
|
|
272
|
+
if (!defaultOnRan.has(deliveryId))
|
|
273
|
+
return false;
|
|
274
|
+
const judgedSha = defaultOnRan.get(deliveryId) ?? null;
|
|
275
|
+
if (judgedSha === null)
|
|
276
|
+
return true;
|
|
277
|
+
const head = readHead();
|
|
278
|
+
if (head === null || head === judgedSha)
|
|
279
|
+
return true;
|
|
280
|
+
defaultOnRan.delete(deliveryId);
|
|
281
|
+
log.info(`[verification] default-on: re-arming delivery ${deliveryId} -- focus HEAD ${head.slice(0, 8)} is a new commit `
|
|
282
|
+
+ `(its last verify judged ${judgedSha.slice(0, 8)})`);
|
|
283
|
+
return false;
|
|
284
|
+
}
|
|
285
|
+
/**
|
|
286
|
+
* Prune the guards of every delivery no longer observed in verify. The run mark
|
|
287
|
+
* and the recorded PASS both go: a genuine verify_failed -> coding -> verify
|
|
288
|
+
* re-entry is the ONLY thing that re-arms a passed delivery, so this sweep IS
|
|
289
|
+
* that rule -- without it a delivery would keep a pass earned on the code before
|
|
290
|
+
* its fix commits, which is the one way the narrowed rule could lower the bar.
|
|
291
|
+
*
|
|
292
|
+
* failedAtSha is deliberately NOT pruned: a recorded failure is durable in
|
|
293
|
+
* gate_state and survives the round trip on purpose, unchanged.
|
|
294
|
+
*/
|
|
295
|
+
export function pruneGuardsOutsideVerify(observedInVerify) {
|
|
296
|
+
for (const id of [...defaultOnRan.keys()]) {
|
|
297
|
+
if (!observedInVerify.has(id))
|
|
298
|
+
defaultOnRan.delete(id);
|
|
299
|
+
}
|
|
300
|
+
for (const id of [...passedAtSha.keys()]) {
|
|
301
|
+
if (!observedInVerify.has(id))
|
|
302
|
+
forgetPassedSha(id);
|
|
303
|
+
}
|
|
304
|
+
}
|
|
305
|
+
//# sourceMappingURL=default-on-guards.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"default-on-guards.js","sourceRoot":"","sources":["../../src/verify/default-on-guards.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qEAAqE;AACrE,2GAA2G;AAC3G,gEAAgE;AAChE,uEAAuE;AACvE,sEAAsE;AACtE,uEAAuE;AACvE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC7F,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC9C,yEAAyE;AACzE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;AAEzC,SAAS,eAAe,CAAC,UAAkB,EAAE,UAAmB;IAC9D,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5D,IAAI,GAAG,KAAK,SAAS;YAAE,cAAc,CAAC,MAAM,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAE,GAAW,EAAU,EAAE,CAAC,GAAG,UAAU,IAAI,GAAG,SAAS,CAAC;AAE/F,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,6BAA6B;IAC3C,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,cAAc,CAAC,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,2BAA2B;IACzC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,0BAA0B,CAAC,UAAkB;IAC3D,gBAAgB,CAAC,UAAU,CAAC,CAAC;AAC/B,CAAC;AAED,gHAAgH;AAChH,MAAM,UAAU,oBAAoB,CAAC,UAAkB;IACrD,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,eAAe,CAAC,UAAU,CAAC,CAAC;AAC9B,CAAC;AAWD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,MAA4B;IAClF,IAAI,MAAM,CAAC,mBAAmB,EAAE,CAAC;QAC/B,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAChC,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACzG,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC7C,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;QAC5B,IAAI,MAAM,CAAC,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,UAAkB;IAC9C,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,GAAG,CAAC,IAAI,CACN,wDAAwD,UAAU,mCAAmC;cACnG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,2EAA2E,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA6C,EAAE,QAA6B;IAC9G,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC;IAC1G,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACxB,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACxC,eAAe,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;IAC1C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI;YACvB,CAAC,CAAC,6BAA6B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mCAAmC;YACvF,CAAC,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,0CAA0C,CAAC;QAClF,GAAG,CAAC,IAAI,CACN,wDAAwD,QAAQ,CAAC,EAAE,OAAO,GAAG,IAAI;cAC/E,6CAA6C,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAA6B;IAChF,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACxB,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChC,GAAG,CAAC,IAAI,CACN,iDAAiD,UAAU,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB;UAC9G,2BAA2B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CACtD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,gBAAqC;IAC5E,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,eAAe,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"explicit-rearm.d.ts","sourceRoot":"","sources":["../../src/verify/explicit-rearm.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"explicit-rearm.d.ts","sourceRoot":"","sources":["../../src/verify/explicit-rearm.ts"],"names":[],"mappings":"AAwDA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAsB,MAAM,4BAA4B,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAShE,gFAAgF;AAChF,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;CAC1D;AAwBD;;;;;GAKG;AACH,wBAAsB,mCAAmC,CACvD,MAAM,EAAE,YAAY,EACpB,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,EAC/B,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAoDhC;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,mBAAmB,GAAG,IAAI,CAGzE;AAED,wDAAwD;AACxD,wBAAgB,4BAA4B,IAAI,IAAI,CAEnD"}
|
|
@@ -2,6 +2,7 @@
|
|
|
2
2
|
// Pinned by: packages/daemon/src/integration/explicit-verdict-departure-during-removal.test.ts,
|
|
3
3
|
// packages/daemon/src/integration/explicit-verdict-invalidation-restart.test.ts,
|
|
4
4
|
// packages/daemon/src/integration/explicit-verdict-reuse.test.ts,
|
|
5
|
+
// packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
|
|
5
6
|
// packages/daemon/src/integration/shortfall-ruling-disposes-proposals-regression.test.ts,
|
|
6
7
|
// packages/daemon/src/integration/shortfall-ruling-release.test.ts,
|
|
7
8
|
// packages/daemon/src/verify/verification-commit-sharing.test.ts
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"explicit-rearm.js","sourceRoot":"","sources":["../../src/verify/explicit-rearm.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,mFAAmF;AACnF,oEAAoE;AACpE,4FAA4F;AAC5F,sEAAsE;AACtE,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAKtD,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAgC,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AASrD,2EAA2E;AAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC5C,wFAAwF;AACxF,MAAM,cAAc,GAAG,IAAI,OAAO,EAA+B,CAAC;AAElE,6FAA6F;AAC7F,SAAS,cAAc,CAAC,MAAe;IACrC,OAAO,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,eAAe,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1H,CAAC;AAED,2FAA2F;AAC3F,SAAS,gBAAgB,CAAC,QAAwC,EAAE,GAAW,EAAE,OAAe;IAC9F,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,+BAA+B,CAAC;IAC9D,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;QAAE,OAAO,sDAAsD,CAAC;IAChG,IAAI,QAAQ,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,+BAA+B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,MAAoB,EACpB,UAA+B,EAC/B,IAAuB;IAEvB,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,OAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,sEAAsE,MAAM,CAAC,SAAS,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC5H,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,SAAS;QACvC,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,CAAC,wEAAwE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACxI,SAAS;QACX,CAAC;QACD,IAAI,IAAwC,CAAC;QAC7C,MAAM,QAAQ,GAAG,GAAkB,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;QACvI,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,CAAC;YACpC,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxG,IAAI,CAAC,CAAC,mBAAmB,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YACpG,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YAC3B,MAAM,kBAAkB,GAAG,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC;YACjC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;gBAAE,SAAS;YAC3C,MAAM,GAAG,GAAG,gBAAgB,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7F,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YAC3B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,mBAAmB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;YACzH,MAAM,SAAS,GAAwB;gBACrC,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,MAAM;gBAC1B,kBAAkB;gBAClB,mBAAmB,EAAE,IAAI;gBACzB,qBAAqB,EAAE,IAAI;gBAC3B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,cAAc,EAAE,CAAC,CAAC,cAAc;aACjC,CAAC;YACF,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAA8B;IACjE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AACjH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,4BAA4B;IAC1C,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC"}
|
|
1
|
+
{"version":3,"file":"explicit-rearm.js","sourceRoot":"","sources":["../../src/verify/explicit-rearm.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gGAAgG;AAChG,mFAAmF;AACnF,oEAAoE;AACpE,sEAAsE;AACtE,4FAA4F;AAC5F,sEAAsE;AACtE,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2CG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAKtD,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAgC,MAAM,wBAAwB,CAAC;AACzF,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AASrD,2EAA2E;AAC3E,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC5C,wFAAwF;AACxF,MAAM,cAAc,GAAG,IAAI,OAAO,EAA+B,CAAC;AAElE,6FAA6F;AAC7F,SAAS,cAAc,CAAC,MAAe;IACrC,OAAO,MAAM,KAAK,eAAe,IAAI,MAAM,KAAK,eAAe,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAiC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1H,CAAC;AAED,2FAA2F;AAC3F,SAAS,gBAAgB,CAAC,QAAwC,EAAE,GAAW,EAAE,OAAe;IAC9F,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,+BAA+B,CAAC;IAC9D,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;QAAE,OAAO,sDAAsD,CAAC;IAChG,IAAI,QAAQ,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC/D,OAAO,+BAA+B,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACnE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,MAAoB,EACpB,UAA+B,EAC/B,IAAuB;IAEvB,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,IAAI,OAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,sEAAsE,MAAM,CAAC,SAAS,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QAC5H,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI;YAAE,SAAS;QACvC,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,CAAC,wEAAwE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YACxI,SAAS;QACX,CAAC;QACD,IAAI,IAAwC,CAAC;QAC7C,MAAM,QAAQ,GAAG,GAAkB,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,mBAAmB,IAAI,0BAA0B,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;QACvI,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,CAAC;YACpC,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;gBAAE,SAAS;YACxG,IAAI,CAAC,CAAC,mBAAmB,KAAK,QAAQ,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YACpG,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;YACvB,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YAC3B,MAAM,kBAAkB,GAAG,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;YAC9D,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;YAC9D,MAAM,IAAI,GAAG,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC;YACjC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;gBAAE,SAAS;YAC3C,MAAM,GAAG,GAAG,gBAAgB,CAAC,6BAA6B,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;YAC7F,IAAI,GAAG,KAAK,IAAI;gBAAE,SAAS;YAC3B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,mBAAmB,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC;YACzH,MAAM,SAAS,GAAwB;gBACrC,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,MAAM;gBAC1B,kBAAkB;gBAClB,mBAAmB,EAAE,IAAI;gBACzB,qBAAqB,EAAE,IAAI;gBAC3B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,cAAc,EAAE,CAAC,CAAC,cAAc;aACjC,CAAC;YACF,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACpC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAA8B;IACjE,MAAM,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,IAAI;QAAE,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;AACjH,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,4BAA4B;IAC1C,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"gate-run-registry.d.ts","sourceRoot":"","sources":["../../src/verify/gate-run-registry.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"gate-run-registry.d.ts","sourceRoot":"","sources":["../../src/verify/gate-run-registry.ts"],"names":[],"mappings":"AAoBA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,kDAAkD;AAClD,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,mGAAmG;IACnG,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,2DAA2D;AAC3D,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,IAAI,CAAC;CACjB;AAED,wDAAwD;AACxD,MAAM,MAAM,mBAAmB,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAStD,sIAAsI;AACtI,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,mBAAmB,CAAC;IAC7B,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,uHAAuH;IACvH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAQD,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,SAAS,EAAE,gBAAgB,GAAG,mBAAmB,CAShF;AAED,0HAA0H;AAC1H,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAIvE;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAK9E;AAED,6HAA6H;AAC7H,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAK7D;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,uBAAuB,GAAG,IAAI,CAKzI;AAKD,iHAAiH;AACjH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,IAAI,CAExE;AAED,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAErE;AAED,6HAA6H;AAC7H,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,IAAI,CAEvI;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,uBAAuB,GAAG,IAAI,GAAG,SAAS,CAE1G;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,GAAG,mBAAmB,GAAG,IAAI,CAI1G;AAED,iEAAiE;AACjE,wBAAgB,8BAA8B,IAAI,IAAI,CAGrD"}
|
|
@@ -9,6 +9,7 @@
|
|
|
9
9
|
// packages/daemon/src/integration/explicit-verdict-invalidation-restart.test.ts,
|
|
10
10
|
// packages/daemon/src/integration/explicit-verdict-reuse.test.ts,
|
|
11
11
|
// packages/daemon/src/integration/focus-commit-verdict-scenario.test.ts,
|
|
12
|
+
// packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
|
|
12
13
|
// packages/daemon/src/integration/review-rework-resume-verdict.test.ts,
|
|
13
14
|
// packages/daemon/src/integration/shortfall-ruling-disposes-proposals-regression.test.ts,
|
|
14
15
|
// packages/daemon/src/integration/shortfall-ruling-release.test.ts,
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"gate-run-registry.js","sourceRoot":"","sources":["../../src/verify/gate-run-registry.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,6DAA6D;AAC7D,6DAA6D;AAC7D,8EAA8E;AAC9E,+EAA+E;AAC/E,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,0EAA0E;AAC1E,4FAA4F;AAC5F,sEAAsE;AACtE,4DAA4D;AAC5D,0DAA0D;AAC1D,mEAAmE;AACnE,gBAAgB;AAwEhB,MAAM,MAAM,GAAG,mBAAmB,CAAC;AAEnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAe,CAAC;AAC5C,6HAA6H;AAC7H,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA0C,CAAC;AAE3E,8FAA8F;AAC9F,MAAM,UAAU,eAAe,CAAC,SAA2B;IACzD,MAAM,GAAG,GAAgB,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACrG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,CAAC,QAAQ;QAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzE,OAAO;QACL,GAAG,EAAE,GAAG,EAAE;YACR,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,iBAAiB,CAAC,UAAkB,EAAE,GAAW;IAC/D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC;IACnD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,GAAkB;IACnE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6HAA6H;AAC7H,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAiD,EAAE,OAAgB;IACvG,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,GAAG,GAAG,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAClH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,4HAA4H;AAC5H,MAAM,cAAc,GAAG,IAAI,OAAO,EAAkB,CAAC;AAErD,iHAAiH;AACjH,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,KAAa;IAChE,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACvC,CAAC;AAED,6HAA6H;AAC7H,MAAM,UAAU,yBAAyB,CAAC,UAAkB,EAAE,MAAiD,EAAE,OAAgB;IAC/H,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAkB;IAC5D,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,GAAkB;IAC5E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,QAAQ,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,8BAA8B;IAC5C,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,gBAAgB,CAAC,KAAK,EAAE,CAAC;AAC3B,CAAC"}
|
|
1
|
+
{"version":3,"file":"gate-run-registry.js","sourceRoot":"","sources":["../../src/verify/gate-run-registry.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4EAA4E;AAC5E,6DAA6D;AAC7D,6DAA6D;AAC7D,8EAA8E;AAC9E,+EAA+E;AAC/E,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,0EAA0E;AAC1E,4FAA4F;AAC5F,sEAAsE;AACtE,4DAA4D;AAC5D,0DAA0D;AAC1D,mEAAmE;AACnE,gBAAgB;AAwEhB,MAAM,MAAM,GAAG,mBAAmB,CAAC;AAEnC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAe,CAAC;AAC5C,6HAA6H;AAC7H,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA0C,CAAC;AAE3E,8FAA8F;AAC9F,MAAM,UAAU,eAAe,CAAC,SAA2B;IACzD,MAAM,GAAG,GAAgB,EAAE,UAAU,EAAE,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACrG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACtB,IAAI,SAAS,CAAC,QAAQ;QAAE,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzE,OAAO;QACL,GAAG,EAAE,GAAG,EAAE;YACR,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;KACF,CAAC;AACJ,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,iBAAiB,CAAC,UAAkB,EAAE,GAAW;IAC/D,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC;IACnD,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe,EAAE,GAAkB;IACnE,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,OAAO,KAAK,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;IACpG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6HAA6H;AAC7H,MAAM,UAAU,iBAAiB,CAAC,UAAkB;IAClD,KAAK,MAAM,GAAG,IAAI,YAAY,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAiD,EAAE,OAAgB;IACvG,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAC3B,IAAI,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC9D,MAAM,GAAG,GAAG,OAAO,MAAM,CAAC,WAAW,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IAClH,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACzE,CAAC;AAED,4HAA4H;AAC5H,MAAM,cAAc,GAAG,IAAI,OAAO,EAAkB,CAAC;AAErD,iHAAiH;AACjH,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,KAAa;IAChE,cAAc,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,SAAiB;IAC/C,OAAO,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;AACvC,CAAC;AAED,6HAA6H;AAC7H,MAAM,UAAU,yBAAyB,CAAC,UAAkB,EAAE,MAAiD,EAAE,OAAgB;IAC/H,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CAAC,UAAkB;IAC5D,OAAO,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,UAAkB,EAAE,GAAkB;IAC5E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,OAAO,QAAQ,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AACjF,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,8BAA8B;IAC5C,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,gBAAgB,CAAC,KAAK,EAAE,CAAC;AAC3B,CAAC"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
import type { CommitVerdict, CommitVerdictGate, CommitVerdictReader } from './commit-verdict-record.js';
|
|
2
|
+
/** How many ancestors of the tip are searched for the newest judged one. */
|
|
3
|
+
export declare const ANCESTOR_SEARCH_DEPTH = 200;
|
|
4
|
+
/** Ancestors of `tip`, newest first, excluding `tip`; null when unreadable. */
|
|
5
|
+
export type AncestorLister = (worktreePath: string, tip: string, depth: number) => string[] | null;
|
|
6
|
+
export declare const defaultListAncestors: AncestorLister;
|
|
7
|
+
/**
|
|
8
|
+
* The newest ancestor of `tip` whose recorded verdict satisfies `accept`, with
|
|
9
|
+
* that verdict; null when none does, or when the ancestors are unreadable.
|
|
10
|
+
*/
|
|
11
|
+
export declare function findJudgedAncestor(productId: string, focusId: string, tip: string, gate: CommitVerdictGate, deps: {
|
|
12
|
+
worktreePath: string;
|
|
13
|
+
readCommitVerdict: CommitVerdictReader;
|
|
14
|
+
listAncestors?: AncestorLister;
|
|
15
|
+
}, accept?: (verdict: CommitVerdict) => boolean): {
|
|
16
|
+
sha: string;
|
|
17
|
+
verdict: CommitVerdict;
|
|
18
|
+
} | null;
|
|
19
|
+
/**
|
|
20
|
+
* The newest ancestor of `tip` this gate judged PASSING: the commit up to which
|
|
21
|
+
* the gate's stages need not look. Null when none is found, which every caller
|
|
22
|
+
* reads as "keep the base you already had".
|
|
23
|
+
*
|
|
24
|
+
* A FAILED verdict never anchors -- the walk continues past it to an older green
|
|
25
|
+
* one. A failure says the tree was bad there, not that anything was covered.
|
|
26
|
+
*/
|
|
27
|
+
export declare function findGreenAncestor(productId: string, focusId: string, tip: string, gate: CommitVerdictGate, deps: {
|
|
28
|
+
worktreePath: string;
|
|
29
|
+
readCommitVerdict: CommitVerdictReader;
|
|
30
|
+
listAncestors?: AncestorLister;
|
|
31
|
+
}): string | null;
|
|
32
|
+
/**
|
|
33
|
+
* True when `maybeAncestor` is an ancestor of `descendant` (or the same commit).
|
|
34
|
+
* Undetermined (`null`) when git cannot answer.
|
|
35
|
+
*
|
|
36
|
+
* Ancestry, never commit dates: every coding spawn rebases the focus worktree
|
|
37
|
+
* (spawn/worktree-session.ts), so author and commit dates are shuffled relative
|
|
38
|
+
* to branch order and would rank the two bases wrongly.
|
|
39
|
+
*/
|
|
40
|
+
export declare function isAncestorOf(worktreePath: string, maybeAncestor: string, descendant: string): boolean | null;
|
|
41
|
+
//# sourceMappingURL=judged-ancestor.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"judged-ancestor.d.ts","sourceRoot":"","sources":["../../src/verify/judged-ancestor.ts"],"names":[],"mappings":"AA8CA,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAExG,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAEzC,+EAA+E;AAC/E,MAAM,MAAM,cAAc,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;AAEnG,eAAO,MAAM,oBAAoB,EAAE,cAIlC,CAAC;AAEF;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,mBAAmB,CAAC;IAAC,aAAa,CAAC,EAAE,cAAc,CAAA;CAAE,EACtG,MAAM,GAAE,CAAC,OAAO,EAAE,aAAa,KAAK,OAAoB,GACvD;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,aAAa,CAAA;CAAE,GAAG,IAAI,CAWhD;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,iBAAiB,EAAE,mBAAmB,CAAC;IAAC,aAAa,CAAC,EAAE,cAAc,CAAA;CAAE,GACrG,MAAM,GAAG,IAAI,CAEf;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,GAAG,IAAI,CAU5G"}
|
|
@@ -0,0 +1,101 @@
|
|
|
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/judged-ancestor.test.ts
|
|
3
|
+
// PINNED-BY-END
|
|
4
|
+
/**
|
|
5
|
+
* The newest ancestor of a commit that a gate run already judged -- and, for the
|
|
6
|
+
* verify boundary, the newest one it judged GREEN.
|
|
7
|
+
*
|
|
8
|
+
* Two callers ask almost the same question of git and the per-commit verdict
|
|
9
|
+
* record (verify/commit-verdict-record.ts), so the walk lives here once:
|
|
10
|
+
*
|
|
11
|
+
* - verify/no-own-delta-verdict.ts asks for the newest JUDGED ancestor, to
|
|
12
|
+
* carry its verdict to a tip that adds nothing of the focus's own;
|
|
13
|
+
* - verify/verification-boundary-env.ts asks for the newest ancestor judged
|
|
14
|
+
* PASSING under the gate this run applies, to bound what the gate's own
|
|
15
|
+
* stages diff against.
|
|
16
|
+
*
|
|
17
|
+
* WHY A GREEN ANCESTOR IS THE RIGHT BOUNDARY. The gate's two expensive stages --
|
|
18
|
+
* the conditional types-drift check and the targeted-test selection -- scope
|
|
19
|
+
* themselves from a diff base. Taking that base from merge-base(HEAD,
|
|
20
|
+
* integration) makes it the focus branch's CUMULATIVE delta, which only grows:
|
|
21
|
+
* every area eventually crosses the "no precise pin map" line and widens to its
|
|
22
|
+
* whole suite, so a per-delivery run ends up executing the daemon suite, the root
|
|
23
|
+
* vitest suite, the mcp suite, the scripts self-tests and the deno functions
|
|
24
|
+
* suite -- the last for a second time, having already run as the gate's first
|
|
25
|
+
* stage. Measured on mars 2026-09-20: 76 files/22 min, 102/42, 101/28, 115/30 for
|
|
26
|
+
* one delivery, against 5 min for a run with an empty delta.
|
|
27
|
+
*
|
|
28
|
+
* A green ancestor bounds it correctly rather than merely cheaply: everything up
|
|
29
|
+
* to that commit was covered by a gate run that PASSED on a tree containing it,
|
|
30
|
+
* so the delta from there is exactly what no green gate has covered. That is the
|
|
31
|
+
* same rigor the selector already operates at (its pin map plus its widen rules),
|
|
32
|
+
* applied to a smaller and more accurate input -- not a new approximation.
|
|
33
|
+
*
|
|
34
|
+
* Every failure is answered with null, and every caller reads null as "use the
|
|
35
|
+
* base you would have used anyway". A base that is too OLD costs time; one that
|
|
36
|
+
* is too NEW launders a pass. So the walk fails toward the older base, always:
|
|
37
|
+
* an unreadable worktree, an unreadable rev-list, a verdict recorded under
|
|
38
|
+
* another gate, and a FAILED verdict all decline to anchor.
|
|
39
|
+
*
|
|
40
|
+
* A leaf: git and the verdict reader, nothing else.
|
|
41
|
+
*
|
|
42
|
+
* @module verify/judged-ancestor
|
|
43
|
+
*/
|
|
44
|
+
import { runGitSync } from '../git/types.js';
|
|
45
|
+
/** How many ancestors of the tip are searched for the newest judged one. */
|
|
46
|
+
export const ANCESTOR_SEARCH_DEPTH = 200;
|
|
47
|
+
export const defaultListAncestors = (worktreePath, tip, depth) => {
|
|
48
|
+
const r = runGitSync(['rev-list', '--topo-order', `--max-count=${depth}`, '--skip=1', tip], worktreePath);
|
|
49
|
+
if (!r.success)
|
|
50
|
+
return null;
|
|
51
|
+
return r.output.split('\n').map((l) => l.trim()).filter((l) => l !== '');
|
|
52
|
+
};
|
|
53
|
+
/**
|
|
54
|
+
* The newest ancestor of `tip` whose recorded verdict satisfies `accept`, with
|
|
55
|
+
* that verdict; null when none does, or when the ancestors are unreadable.
|
|
56
|
+
*/
|
|
57
|
+
export function findJudgedAncestor(productId, focusId, tip, gate, deps, accept = () => true) {
|
|
58
|
+
const ancestors = (deps.listAncestors ?? defaultListAncestors)(deps.worktreePath, tip, ANCESTOR_SEARCH_DEPTH);
|
|
59
|
+
if (!ancestors)
|
|
60
|
+
return null;
|
|
61
|
+
for (const sha of ancestors) {
|
|
62
|
+
const verdict = deps.readCommitVerdict(productId, focusId, sha, gate);
|
|
63
|
+
// A verdict under another gate reads as null here (the record is gate-keyed),
|
|
64
|
+
// so an unjudged ancestor and a differently-gated one are both simply walked
|
|
65
|
+
// past -- never taken as a boundary the gate did not actually establish.
|
|
66
|
+
if (verdict && accept(verdict))
|
|
67
|
+
return { sha, verdict };
|
|
68
|
+
}
|
|
69
|
+
return null;
|
|
70
|
+
}
|
|
71
|
+
/**
|
|
72
|
+
* The newest ancestor of `tip` this gate judged PASSING: the commit up to which
|
|
73
|
+
* the gate's stages need not look. Null when none is found, which every caller
|
|
74
|
+
* reads as "keep the base you already had".
|
|
75
|
+
*
|
|
76
|
+
* A FAILED verdict never anchors -- the walk continues past it to an older green
|
|
77
|
+
* one. A failure says the tree was bad there, not that anything was covered.
|
|
78
|
+
*/
|
|
79
|
+
export function findGreenAncestor(productId, focusId, tip, gate, deps) {
|
|
80
|
+
return findJudgedAncestor(productId, focusId, tip, gate, deps, (v) => v.outcome === 'passed')?.sha ?? null;
|
|
81
|
+
}
|
|
82
|
+
/**
|
|
83
|
+
* True when `maybeAncestor` is an ancestor of `descendant` (or the same commit).
|
|
84
|
+
* Undetermined (`null`) when git cannot answer.
|
|
85
|
+
*
|
|
86
|
+
* Ancestry, never commit dates: every coding spawn rebases the focus worktree
|
|
87
|
+
* (spawn/worktree-session.ts), so author and commit dates are shuffled relative
|
|
88
|
+
* to branch order and would rank the two bases wrongly.
|
|
89
|
+
*/
|
|
90
|
+
export function isAncestorOf(worktreePath, maybeAncestor, descendant) {
|
|
91
|
+
if (maybeAncestor === descendant)
|
|
92
|
+
return true;
|
|
93
|
+
const r = runGitSync(['merge-base', '--is-ancestor', maybeAncestor, descendant], worktreePath);
|
|
94
|
+
if (r.success)
|
|
95
|
+
return true;
|
|
96
|
+
// git exits 1 for "not an ancestor" and >1 for a real error; the runner
|
|
97
|
+
// collapses both to !success, so confirm the refs are readable before saying no.
|
|
98
|
+
const readable = [maybeAncestor, descendant].every((rev) => runGitSync(['rev-parse', '--verify', '--quiet', `${rev}^{commit}`], worktreePath).success);
|
|
99
|
+
return readable ? false : null;
|
|
100
|
+
}
|
|
101
|
+
//# sourceMappingURL=judged-ancestor.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"judged-ancestor.js","sourceRoot":"","sources":["../../src/verify/judged-ancestor.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,gEAAgE;AAChE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAKzC,MAAM,CAAC,MAAM,oBAAoB,GAAmB,CAAC,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE;IAC/E,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,eAAe,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;IAC1G,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,SAAiB,EACjB,OAAe,EACf,GAAW,EACX,IAAuB,EACvB,IAAsG,EACtG,SAA8C,GAAG,EAAE,CAAC,IAAI;IAExD,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,oBAAoB,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE,qBAAqB,CAAC,CAAC;IAC9G,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACtE,8EAA8E;QAC9E,6EAA6E;QAC7E,yEAAyE;QACzE,IAAI,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAiB,EACjB,OAAe,EACf,GAAW,EACX,IAAuB,EACvB,IAAsG;IAEtG,OAAO,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC;AAC7G,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,YAAoB,EAAE,aAAqB,EAAE,UAAkB;IAC1F,IAAI,aAAa,KAAK,UAAU;QAAE,OAAO,IAAI,CAAC;IAC9C,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,YAAY,EAAE,eAAe,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,YAAY,CAAC,CAAC;IAC/F,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC3B,wEAAwE;IACxE,iFAAiF;IACjF,MAAM,QAAQ,GAAG,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,KAAK,CAChD,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,GAAG,WAAW,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CACnG,CAAC;IACF,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACjC,CAAC"}
|