zelari-code 2.1.0 → 2.1.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (114) hide show
  1. package/README.md +4 -4
  2. package/package.json +8 -5
  3. package/dist/cli/ast/engine.test.js +0 -101
  4. package/dist/cli/ast/engine.test.js.map +0 -1
  5. package/dist/cli/ast/tools.test.js +0 -124
  6. package/dist/cli/ast/tools.test.js.map +0 -1
  7. package/dist/cli/headless.test.js +0 -107
  8. package/dist/cli/headless.test.js.map +0 -1
  9. package/dist/cli/headlessE2eSession.test.js +0 -189
  10. package/dist/cli/headlessE2eSession.test.js.map +0 -1
  11. package/dist/cli/headlessHistorySeed.test.js +0 -158
  12. package/dist/cli/headlessHistorySeed.test.js.map +0 -1
  13. package/dist/cli/headlessSessionEvent.test.js +0 -83
  14. package/dist/cli/headlessSessionEvent.test.js.map +0 -1
  15. package/dist/cli/headlessSpine.test.js +0 -153
  16. package/dist/cli/headlessSpine.test.js.map +0 -1
  17. package/dist/cli/hooks/observationStore.test.js +0 -135
  18. package/dist/cli/hooks/observationStore.test.js.map +0 -1
  19. package/dist/cli/hooks/sessionSurface.test.js +0 -112
  20. package/dist/cli/hooks/sessionSurface.test.js.map +0 -1
  21. package/dist/cli/kraken/candidateRegistry.test.js +0 -211
  22. package/dist/cli/kraken/candidateRegistry.test.js.map +0 -1
  23. package/dist/cli/kraken/completionGate.test.js +0 -172
  24. package/dist/cli/kraken/completionGate.test.js.map +0 -1
  25. package/dist/cli/kraken/evidenceAnchoring.test.js +0 -92
  26. package/dist/cli/kraken/evidenceAnchoring.test.js.map +0 -1
  27. package/dist/cli/kraken/evidenceProvenance.test.js +0 -113
  28. package/dist/cli/kraken/evidenceProvenance.test.js.map +0 -1
  29. package/dist/cli/kraken/executor.workbench.test.js +0 -134
  30. package/dist/cli/kraken/executor.workbench.test.js.map +0 -1
  31. package/dist/cli/kraken/metrics.test.js +0 -145
  32. package/dist/cli/kraken/metrics.test.js.map +0 -1
  33. package/dist/cli/kraken/nativeVerification.test.js +0 -207
  34. package/dist/cli/kraken/nativeVerification.test.js.map +0 -1
  35. package/dist/cli/kraken/planner.test.js +0 -43
  36. package/dist/cli/kraken/planner.test.js.map +0 -1
  37. package/dist/cli/kraken/scriptPlanner.test.js +0 -152
  38. package/dist/cli/kraken/scriptPlanner.test.js.map +0 -1
  39. package/dist/cli/kraken/selectionPlaybook.test.js +0 -55
  40. package/dist/cli/kraken/selectionPlaybook.test.js.map +0 -1
  41. package/dist/cli/kraken/skillSuggest.test.js +0 -157
  42. package/dist/cli/kraken/skillSuggest.test.js.map +0 -1
  43. package/dist/cli/kraken/strictDefaults.test.js +0 -149
  44. package/dist/cli/kraken/strictDefaults.test.js.map +0 -1
  45. package/dist/cli/kraken/strictGatePackIndependence.test.js +0 -112
  46. package/dist/cli/kraken/strictGatePackIndependence.test.js.map +0 -1
  47. package/dist/cli/kraken/turnRuntime.test.js +0 -377
  48. package/dist/cli/kraken/turnRuntime.test.js.map +0 -1
  49. package/dist/cli/kraken/verificationBridge.session.test.js +0 -104
  50. package/dist/cli/kraken/verificationBridge.session.test.js.map +0 -1
  51. package/dist/cli/kraken/verificationBridge.test.js +0 -177
  52. package/dist/cli/kraken/verificationBridge.test.js.map +0 -1
  53. package/dist/cli/kraken/verifier.test.js +0 -232
  54. package/dist/cli/kraken/verifier.test.js.map +0 -1
  55. package/dist/cli/kraken/verifierAdvisoryLock.test.js +0 -154
  56. package/dist/cli/kraken/verifierAdvisoryLock.test.js.map +0 -1
  57. package/dist/cli/kraken/verifierLifecycle.test.js +0 -181
  58. package/dist/cli/kraken/verifierLifecycle.test.js.map +0 -1
  59. package/dist/cli/kraken/verifierRoundTrip.test.js +0 -166
  60. package/dist/cli/kraken/verifierRoundTrip.test.js.map +0 -1
  61. package/dist/cli/kraken/verifierSettings.test.js +0 -237
  62. package/dist/cli/kraken/verifierSettings.test.js.map +0 -1
  63. package/dist/cli/kraken/verifyReport.test.js +0 -111
  64. package/dist/cli/kraken/verifyReport.test.js.map +0 -1
  65. package/dist/cli/kraken/weaknessMeter.test.js +0 -212
  66. package/dist/cli/kraken/weaknessMeter.test.js.map +0 -1
  67. package/dist/cli/kraken/workbench.test.js +0 -253
  68. package/dist/cli/kraken/workbench.test.js.map +0 -1
  69. package/dist/cli/kraken/workbenchView.test.js +0 -130
  70. package/dist/cli/kraken/workbenchView.test.js.map +0 -1
  71. package/dist/cli/legacyContextIsolation.test.js +0 -65
  72. package/dist/cli/legacyContextIsolation.test.js.map +0 -1
  73. package/dist/cli/lsp/tools.test.js +0 -90
  74. package/dist/cli/lsp/tools.test.js.map +0 -1
  75. package/dist/cli/missionContinuation.test.js +0 -117
  76. package/dist/cli/missionContinuation.test.js.map +0 -1
  77. package/dist/cli/profileMatrix.test.js +0 -130
  78. package/dist/cli/profileMatrix.test.js.map +0 -1
  79. package/dist/cli/provider/capabilities.test.js +0 -46
  80. package/dist/cli/provider/capabilities.test.js.map +0 -1
  81. package/dist/cli/provider/openai-compatible.timeout.test.js +0 -72
  82. package/dist/cli/provider/openai-compatible.timeout.test.js.map +0 -1
  83. package/dist/cli/providerConfig.test.js +0 -85
  84. package/dist/cli/providerConfig.test.js.map +0 -1
  85. package/dist/cli/sessionReplayInvariant.test.js +0 -187
  86. package/dist/cli/sessionReplayInvariant.test.js.map +0 -1
  87. package/dist/cli/sessionSpine.test.js +0 -171
  88. package/dist/cli/sessionSpine.test.js.map +0 -1
  89. package/dist/cli/thinking.test.js +0 -214
  90. package/dist/cli/thinking.test.js.map +0 -1
  91. package/dist/cli/tools/inspectCommand.schema.test.js +0 -82
  92. package/dist/cli/tools/inspectCommand.schema.test.js.map +0 -1
  93. package/dist/cli/tools/inspectCommand.test.js +0 -311
  94. package/dist/cli/tools/inspectCommand.test.js.map +0 -1
  95. package/dist/cli/tools/krakenCsvFanout.test.js +0 -200
  96. package/dist/cli/tools/krakenCsvFanout.test.js.map +0 -1
  97. package/dist/cli/tools/krakenSelectTool.test.js +0 -246
  98. package/dist/cli/tools/krakenSelectTool.test.js.map +0 -1
  99. package/dist/cli/tools/observeBatch.test.js +0 -329
  100. package/dist/cli/tools/observeBatch.test.js.map +0 -1
  101. package/dist/cli/tools/taskTool.dynamicChecks.test.js +0 -156
  102. package/dist/cli/tools/taskTool.dynamicChecks.test.js.map +0 -1
  103. package/dist/cli/tools/taskTool.planSafety.test.js +0 -280
  104. package/dist/cli/tools/taskTool.planSafety.test.js.map +0 -1
  105. package/dist/cli/tools/taskTool.verifyReport.test.js +0 -140
  106. package/dist/cli/tools/taskTool.verifyReport.test.js.map +0 -1
  107. package/dist/cli/utils/contextGrowthSummary.test.js +0 -74
  108. package/dist/cli/utils/contextGrowthSummary.test.js.map +0 -1
  109. package/dist/cli/workspace/planDriftCheck.test.js +0 -146
  110. package/dist/cli/workspace/planDriftCheck.test.js.map +0 -1
  111. package/dist/cli/workspace/planStore.test.js +0 -295
  112. package/dist/cli/workspace/planStore.test.js.map +0 -1
  113. package/dist/cli/zelariMission.test.js +0 -44
  114. package/dist/cli/zelariMission.test.js.map +0 -1
@@ -1,112 +0,0 @@
1
- /**
2
- * sessionSurface — Fase 2 acceptance: deterministic projection, monotone
3
- * stubs, byte-identical replay, no un-pruning.
4
- */
5
- import { afterEach, describe, expect, it } from 'vitest';
6
- import { formatObservationStub, isObservationStub, parseObservationStub, projectSessionSurface, resolveObservationSeq, statusFromToolBody, } from './sessionSurface.js';
7
- function tool(id, content) {
8
- return { role: 'tool', toolCallId: id, content };
9
- }
10
- function assistantCall(id, name) {
11
- return { role: 'assistant', content: '', toolCalls: [{ id, name, args: {} }] };
12
- }
13
- describe('observation stub codec', () => {
14
- it('round-trips fields byte-identically', () => {
15
- const stub = formatObservationStub({
16
- seq: 12,
17
- tool: 'grep_content',
18
- status: 'complete',
19
- bytes: 4096,
20
- });
21
- expect(stub).toBe('OBSERVATION ref=#12 tool=grep_content status=complete bytes=4096\n[retrieve_observation #12]');
22
- expect(isObservationStub(stub)).toBe(true);
23
- expect(parseObservationStub(stub)).toEqual({
24
- seq: 12,
25
- tool: 'grep_content',
26
- status: 'complete',
27
- bytes: 4096,
28
- });
29
- expect(formatObservationStub(parseObservationStub(stub))).toBe(stub);
30
- });
31
- it('rejects non-stubs', () => {
32
- expect(isObservationStub('hello')).toBe(false);
33
- expect(parseObservationStub('hello')).toBeNull();
34
- });
35
- it('reads Fase-0 footer status', () => {
36
- expect(statusFromToolBody('body\n[observation status=partial filesWalked=3]')).toBe('partial');
37
- expect(statusFromToolBody('plain')).toBeUndefined();
38
- });
39
- });
40
- describe('projectSessionSurface', () => {
41
- afterEach(() => {
42
- delete process.env.ZELARI_SURFACE_HOT_TAIL;
43
- delete process.env.ZELARI_SURFACE_MAX_BODY_CHARS;
44
- delete process.env.ZELARI_SESSION_SURFACE;
45
- });
46
- it('returns the same reference when nothing needs projecting', () => {
47
- const msgs = [
48
- { role: 'user', content: 'hi' },
49
- tool('c1', 'tiny'),
50
- ];
51
- const r = projectSessionSurface(msgs, { hotTail: 4, maxBodyChars: 4000 });
52
- expect(r.messages).toBe(msgs);
53
- expect(r.stats.projected).toBe(0);
54
- });
55
- it('keeps the hot tail full-fidelity and stubs older oversized bodies', () => {
56
- const big = 'B'.repeat(500);
57
- const msgs = [];
58
- for (let i = 1; i <= 6; i++) {
59
- msgs.push(assistantCall(`c${i}`, 'read_file'));
60
- msgs.push(tool(`c${i}`, big + `\n[observation status=complete bytes=${big.length}]`));
61
- }
62
- const r = projectSessionSurface(msgs, { hotTail: 2, maxBodyChars: 100 });
63
- expect(r.stats.projected).toBe(4);
64
- const tools = r.messages.filter((m) => m.role === 'tool');
65
- expect(tools.slice(0, 4).every((m) => isObservationStub(m.content))).toBe(true);
66
- expect(tools.slice(4).every((m) => !isObservationStub(m.content))).toBe(true);
67
- expect(tools[0].content).toContain('tool=read_file');
68
- expect(tools[0].content).toContain('status=complete');
69
- expect(tools[0].content).toContain('[retrieve_observation #1]');
70
- });
71
- it('is deterministic: same input → byte-identical surface', () => {
72
- const big = 'X'.repeat(800);
73
- const msgs = [
74
- assistantCall('a', 'grep_content'),
75
- tool('a', big),
76
- assistantCall('b', 'grep_content'),
77
- tool('b', big),
78
- assistantCall('c', 'list_files'),
79
- tool('c', big),
80
- ];
81
- const a = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 50 });
82
- const b = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 50 });
83
- expect(JSON.stringify(a.messages)).toBe(JSON.stringify(b.messages));
84
- expect(a.stats).toEqual(b.stats);
85
- });
86
- it('never un-prunes an existing stub (monotone / cache-safe)', () => {
87
- const stub = formatObservationStub({ seq: 7, tool: 'read_file', bytes: 9999 });
88
- const msgs = [tool('old', stub), tool('hot', 'H'.repeat(50))];
89
- const r = projectSessionSurface(msgs, { hotTail: 4, maxBodyChars: 10 });
90
- expect(r.messages[0].content).toBe(stub);
91
- expect(r.stats.alreadyStubbed).toBe(1);
92
- expect(r.stats.projected).toBe(0);
93
- });
94
- it('uses lookup(toolCallId) for stable seq when provided', () => {
95
- const big = 'Z'.repeat(200);
96
- const msgs = [
97
- assistantCall('call-z', 'bash'),
98
- tool('call-z', big),
99
- assistantCall('keep', 'bash'),
100
- tool('keep', big),
101
- ];
102
- const lookup = (id) => (id === 'call-z' ? 42 : undefined);
103
- const r = projectSessionSurface(msgs, { hotTail: 1, maxBodyChars: 10 }, lookup);
104
- expect(r.messages[1].content).toContain('ref=#42');
105
- expect(r.messages[1].content).toContain('[retrieve_observation #42]');
106
- });
107
- it('falls back to 1-based ordinal when lookup misses', () => {
108
- const seq = resolveObservationSeq(tool('x', 'body'), 3);
109
- expect(seq).toBe(4);
110
- });
111
- });
112
- //# sourceMappingURL=sessionSurface.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"sessionSurface.test.js","sourceRoot":"","sources":["../../../src/cli/hooks/sessionSurface.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAEzD,OAAO,EACL,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAE7B,SAAS,IAAI,CAAC,EAAU,EAAE,OAAe;IACvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC;AACnD,CAAC;AACD,SAAS,aAAa,CAAC,EAAU,EAAE,IAAY;IAC7C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,qBAAqB,CAAC;YACjC,GAAG,EAAE,EAAE;YACP,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CACf,8FAA8F,CAC/F,CAAC;QACF,MAAM,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACzC,GAAG,EAAE,EAAE;YACP,IAAI,EAAE,cAAc;YACpB,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,IAAI;SACZ,CAAC,CAAC;QACH,MAAM,CAAC,qBAAqB,CAAC,oBAAoB,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,kBAAkB,CAAC,kDAAkD,CAAC,CAAC,CAAC,IAAI,CACjF,SAAS,CACV,CAAC;QACF,MAAM,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,SAAS,CAAC,GAAG,EAAE;QACb,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAC3C,OAAO,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC;QACjD,OAAO,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAmB;YAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE;YAC/B,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC;SACnB,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB,EAAE,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,GAAG,wCAAwC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACtD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB;YAC3B,aAAa,CAAC,GAAG,EAAE,cAAc,CAAC;YAClC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YACd,aAAa,CAAC,GAAG,EAAE,cAAc,CAAC;YAClC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;YACd,aAAa,CAAC,GAAG,EAAE,YAAY,CAAC;YAChC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC;SACf,CAAC;QACF,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,IAAI,GAAG,qBAAqB,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;QACxE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAmB;YAC3B,aAAa,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC/B,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC;YACnB,aAAa,CAAC,MAAM,EAAE,MAAM,CAAC;YAC7B,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC;SAClB,CAAC;QACF,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAClE,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAChF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,qBAAqB,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -1,211 +0,0 @@
1
- /**
2
- * candidateRegistry.test — Fase 3 (ADR-0020): candidate contracts.
3
- * - structured parse (ok / malformed / lenient fills)
4
- * - degraded evidence preserved
5
- * - cap 3 per turn + reset
6
- * - instructions rendering
7
- */
8
- import { describe, expect, it, beforeEach } from 'vitest';
9
- import { KRAKEN_CANDIDATE_CAP, candidateInstructions, getKrakenCheckResults, getKrakenSelection, isKrakenSelectionEnabled, krakenCandidates, krakenChecksPassed, krakenRequiredChecks, parseCandidateReport, registerCandidate, resetKrakenCandidates, reserveCandidateSlot, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
10
- const GOOD = [
11
- 'Research summary: the refresh path races with the session bootstrap.',
12
- '<candidate-report>',
13
- '{',
14
- ' "hypothesis": "Session lost because refresh races with bootstrap",',
15
- ' "evidence": [',
16
- ' { "claim": "refresh() reads stale token", "basis": "read_file src/auth.ts:120", "degraded": false },',
17
- ' { "claim": "grep timed out on legacy dir", "basis": "grep_content legacy/", "degraded": true }',
18
- ' ],',
19
- ' "risks": ["bootstrap order may differ in prod"]',
20
- '}',
21
- '</candidate-report>',
22
- ].join('\n');
23
- describe('parseCandidateReport', () => {
24
- it('parses a well-formed report with evidence + risks', () => {
25
- const r = parseCandidateReport(GOOD);
26
- expect(r.ok).toBe(true);
27
- if (r.ok) {
28
- expect(r.report.hypothesis).toContain('refresh races');
29
- expect(r.report.evidence).toHaveLength(2);
30
- expect(r.report.evidence[0].degraded).toBe(false);
31
- expect(r.report.hasDegradedEvidence).toBe(true);
32
- expect(r.report.risks).toHaveLength(1);
33
- }
34
- });
35
- it('missing block → malformed', () => {
36
- const r = parseCandidateReport('just prose, no block');
37
- expect(r.ok).toBe(false);
38
- if (!r.ok)
39
- expect(r.error).toMatch(/missing report block/);
40
- });
41
- it('invalid JSON → malformed with reason', () => {
42
- const r = parseCandidateReport('<candidate-report>{nope</candidate-report>');
43
- expect(r.ok).toBe(false);
44
- if (!r.ok)
45
- expect(r.error).toMatch(/invalid JSON/);
46
- });
47
- it('lenient fills: missing/extra fields never break the parse', () => {
48
- const r = parseCandidateReport('<candidate-report>{ "hypothesis": "h", "evidence": [ { "claim": "c" }, "junk", 5 ], "extra": 1 }</candidate-report>');
49
- expect(r.ok).toBe(true);
50
- if (r.ok) {
51
- expect(r.report.hypothesis).toBe('h');
52
- // "junk"/5 dropped; claim-only item kept with safe defaults
53
- expect(r.report.evidence).toEqual([
54
- { claim: 'c', basis: '', degraded: false },
55
- ]);
56
- expect(r.report.risks).toEqual([]);
57
- expect(r.report.hasDegradedEvidence).toBe(false);
58
- }
59
- });
60
- it('uses the LAST block when the model emits more than one', () => {
61
- const r = parseCandidateReport('<candidate-report>{ "hypothesis": "first" }</candidate-report>\nmore\n<candidate-report>{ "hypothesis": "final" }</candidate-report>');
62
- expect(r.ok).toBe(true);
63
- if (r.ok)
64
- expect(r.report.hypothesis).toBe('final');
65
- });
66
- });
67
- describe('per-turn registry', () => {
68
- beforeEach(() => resetKrakenCandidates());
69
- function reportOf(raw) {
70
- const r = parseCandidateReport(raw);
71
- if (!r.ok)
72
- throw new Error('fixture must parse');
73
- return r.report;
74
- }
75
- it('cap: the 4th slot is refused, the first 3 accepted', () => {
76
- expect(reserveCandidateSlot()).toEqual({ index: 1 });
77
- registerCandidate({ status: 'ok', description: 'a', report: reportOf(GOOD), raw: GOOD });
78
- expect(reserveCandidateSlot()).toEqual({ index: 2 });
79
- registerCandidate({ status: 'ok', description: 'b', report: reportOf(GOOD), raw: GOOD });
80
- expect(reserveCandidateSlot()).toEqual({ index: 3 });
81
- registerCandidate({ status: 'malformed', description: 'c', error: 'missing report block', raw: 'no block' });
82
- const fourth = reserveCandidateSlot();
83
- expect('error' in fourth).toBe(true);
84
- if ('error' in fourth)
85
- expect(fourth.error).toMatch(/cap reached \(3\)/);
86
- expect(krakenCandidates()).toHaveLength(3);
87
- expect(krakenCandidates()[2].status).toBe('malformed');
88
- });
89
- it('malformed candidates are preserved, not dropped (degraded evidence rule)', () => {
90
- registerCandidate({ status: 'malformed', description: 'x', error: 'invalid JSON (x)', raw: 'partial' });
91
- const all = krakenCandidates();
92
- expect(all).toHaveLength(1);
93
- expect(all[0]).toMatchObject({ status: 'malformed', description: 'x' });
94
- });
95
- it('reset clears the registry', () => {
96
- registerCandidate({ status: 'malformed', description: 'x', error: 'e', raw: '' });
97
- resetKrakenCandidates();
98
- expect(krakenCandidates()).toHaveLength(0);
99
- });
100
- });
101
- describe('instructions + flag', () => {
102
- it('renders candidate index and cap', () => {
103
- const text = candidateInstructions(2);
104
- expect(text).toContain('CANDIDATE #2');
105
- expect(text).toContain(`at most ${KRAKEN_CANDIDATE_CAP}`);
106
- expect(text).toContain('<candidate-report>');
107
- expect(text).toContain('degraded');
108
- });
109
- it('feature flag defaults OFF and honours ZELARI_KRAKEN_SELECTION=1', () => {
110
- const prev = process.env.ZELARI_KRAKEN_SELECTION;
111
- delete process.env.ZELARI_KRAKEN_SELECTION;
112
- expect(isKrakenSelectionEnabled()).toBe(false);
113
- process.env.ZELARI_KRAKEN_SELECTION = '1';
114
- expect(isKrakenSelectionEnabled()).toBe(true);
115
- if (prev === undefined)
116
- delete process.env.ZELARI_KRAKEN_SELECTION;
117
- else
118
- process.env.ZELARI_KRAKEN_SELECTION = prev;
119
- });
120
- });
121
- describe('krakenRequiredChecks (ADR-0020 Fase 6)', () => {
122
- it('returns [] when no selection ran this turn', () => {
123
- resetKrakenCandidates();
124
- expect(krakenRequiredChecks()).toEqual([]);
125
- });
126
- it('returns [] for needs_more_evidence — checks stay advisory', () => {
127
- resetKrakenCandidates();
128
- setKrakenSelection({
129
- status: 'needs_more_evidence',
130
- winnerIndex: null,
131
- rationale: 'tie',
132
- requiredChecks: ['check that must NOT be enforced'],
133
- degraded: false,
134
- verifier: null,
135
- judgedBy: 'llm',
136
- });
137
- expect(krakenRequiredChecks()).toEqual([]);
138
- });
139
- it('returns the checks of a selected verdict', () => {
140
- resetKrakenCandidates();
141
- setKrakenSelection({
142
- status: 'selected',
143
- winnerIndex: 2,
144
- rationale: 'grounded',
145
- requiredChecks: ['race regression test', 'session e2e'],
146
- degraded: false,
147
- verifier: { provider: 'p', model: 'm' },
148
- judgedBy: 'llm',
149
- });
150
- expect(krakenRequiredChecks()).toEqual(['race regression test', 'session e2e']);
151
- });
152
- it('reset clears verdict and checks together', () => {
153
- setKrakenSelection({
154
- status: 'selected',
155
- winnerIndex: 1,
156
- rationale: 'r',
157
- requiredChecks: ['x'],
158
- degraded: false,
159
- verifier: null,
160
- judgedBy: 'deterministic',
161
- });
162
- expect(getKrakenSelection()).not.toBeNull();
163
- resetKrakenCandidates();
164
- expect(getKrakenSelection()).toBeNull();
165
- expect(krakenRequiredChecks()).toEqual([]);
166
- });
167
- });
168
- describe('Fase 7 — check results storage', () => {
169
- beforeEach(() => resetKrakenCandidates());
170
- it('stores and returns per-check results (defensive copy)', () => {
171
- setKrakenCheckResults([
172
- { check: 'a', status: 'pass' },
173
- { check: 'b', status: 'unknown', note: 'grep timed out' },
174
- ]);
175
- const first = getKrakenCheckResults();
176
- expect(first).toEqual([
177
- { check: 'a', status: 'pass' },
178
- { check: 'b', status: 'unknown', note: 'grep timed out' },
179
- ]);
180
- first?.push({ check: 'c', status: 'fail' });
181
- expect(getKrakenCheckResults()).toHaveLength(2);
182
- });
183
- it('krakenChecksPassed counts only explicit pass — unknown never counts', () => {
184
- setKrakenCheckResults([
185
- { check: 'a', status: 'pass' },
186
- { check: 'b', status: 'fail' },
187
- { check: 'c', status: 'unknown', note: 'degraded' },
188
- ]);
189
- expect(krakenChecksPassed()).toBe(1);
190
- });
191
- it('undefined before any verify report lands', () => {
192
- expect(getKrakenCheckResults()).toBeNull();
193
- expect(krakenChecksPassed()).toBeUndefined();
194
- });
195
- it('a later verify tentacle replaces earlier results', () => {
196
- setKrakenCheckResults([
197
- { check: 'a', status: 'unknown', note: 'first run degraded' },
198
- ]);
199
- setKrakenCheckResults([
200
- { check: 'a', status: 'pass' },
201
- ]);
202
- expect(krakenChecksPassed()).toBe(1);
203
- });
204
- it('reset clears check results together with verdict and candidates', () => {
205
- setKrakenCheckResults([{ check: 'a', status: 'pass' }]);
206
- resetKrakenCandidates();
207
- expect(getKrakenCheckResults()).toBeNull();
208
- expect(krakenChecksPassed()).toBeUndefined();
209
- });
210
- });
211
- //# sourceMappingURL=candidateRegistry.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"candidateRegistry.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/candidateRegistry.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,EAClB,wBAAwB,EACxB,gBAAgB,EAChB,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAEhC,MAAM,IAAI,GAAG;IACX,sEAAsE;IACtE,oBAAoB;IACpB,GAAG;IACH,sEAAsE;IACtE,iBAAiB;IACjB,0GAA0G;IAC1G,oGAAoG;IACpG,MAAM;IACN,mDAAmD;IACnD,GAAG;IACH,qBAAqB;CACtB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YACT,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,oBAAoB,CAAC,sBAAsB,CAAC,CAAC;QACvD,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,oBAAoB,CAAC,4CAA4C,CAAC,CAAC;QAC7E,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,qHAAqH,CACtH,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC;YACT,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtC,4DAA4D;YAC5D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;gBAChC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE;aAC3C,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,sIAAsI,CACvI,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,UAAU,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAE1C,SAAS,QAAQ,CAAC,GAAW;QAC3B,MAAM,CAAC,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QACjD,OAAO,CAAC,CAAC,MAAM,CAAC;IAClB,CAAC;IAED,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,sBAAsB,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QAC7G,MAAM,MAAM,GAAG,oBAAoB,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,OAAO,IAAI,MAAM;YAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACzE,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,kBAAkB,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QACxG,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,iBAAiB,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,gBAAgB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,oBAAoB,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QACjD,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAC3C,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,GAAG,CAAC;QAC1C,MAAM,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC;;YAC9D,OAAO,CAAC,GAAG,CAAC,uBAAuB,GAAG,IAAI,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,IAAI;YACjB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,CAAC,iCAAiC,CAAC;YACnD,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,SAAS,EAAE,UAAU;YACrB,cAAc,EAAE,CAAC,sBAAsB,EAAE,aAAa,CAAC;YACvD,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;YACvC,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,sBAAsB,EAAE,aAAa,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,kBAAkB,CAAC;YACjB,MAAM,EAAE,UAAU;YAClB,WAAW,EAAE,CAAC;YACd,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,CAAC,GAAG,CAAC;YACrB,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC5C,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,CAAC,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,UAAU,CAAC,GAAG,EAAE,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAE1C,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1D,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,qBAAqB,EAAE,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE;SAC1D,CAAC,CAAC;QACH,KAAK,EAAE,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;YAC9B,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE;SACpD,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3C,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,oBAAoB,EAAE;SAC9D,CAAC,CAAC;QACH,qBAAqB,CAAC;YACpB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACxD,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,qBAAqB,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3C,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -1,172 +0,0 @@
1
- /**
2
- * Fase 8 (ADR-0020) — completion gate unit tests.
3
- *
4
- * classify: pure matching semantics (mirrors verifyReport).
5
- * evaluate: registry-driven gating (build-only, selection-only).
6
- * prompt: repair directive shape.
7
- */
8
- import { describe, expect, it } from 'vitest';
9
- import { buildKrakenRepairPrompt, classifyKrakenChecks, evaluateKrakenCompletionGate, } from './completionGate.js';
10
- import { resetKrakenCandidates, setKrakenCheckResults, setKrakenSelection, } from './candidateRegistry.js';
11
- const CHECKS = [
12
- 'session survives concurrent refresh',
13
- 'rotated cookie rejects the old token',
14
- ];
15
- function result(check, status) {
16
- return { check, status };
17
- }
18
- function selectWithChecks(checks) {
19
- resetKrakenCandidates();
20
- setKrakenSelection({
21
- status: 'selected',
22
- winnerIndex: 1,
23
- rationale: 'stronger evidence',
24
- requiredChecks: checks,
25
- degraded: false,
26
- verifier: null,
27
- judgedBy: 'llm',
28
- });
29
- }
30
- describe('classifyKrakenChecks', () => {
31
- it('null results → every check unknown (no report ≠ pass)', () => {
32
- const out = classifyKrakenChecks(CHECKS, null);
33
- expect(out.unknown).toEqual(CHECKS);
34
- expect(out.passed).toEqual([]);
35
- expect(out.failed).toEqual([]);
36
- });
37
- it('groups pass/fail/unknown by exact normalized match', () => {
38
- const out = classifyKrakenChecks(CHECKS, [
39
- result('Session survives concurrent refresh', 'pass'),
40
- result('rotated cookie rejects the old token', 'fail'),
41
- ]);
42
- expect(out.passed).toEqual([CHECKS[0]]);
43
- expect(out.failed).toEqual([CHECKS[1]]);
44
- expect(out.unknown).toEqual([]);
45
- });
46
- it('matches a lightly reworded criterion by containment', () => {
47
- const out = classifyKrakenChecks(['race condition on concurrent session refresh'], [result('concurrent session refresh', 'pass')]);
48
- expect(out.passed).toEqual(['race condition on concurrent session refresh']);
49
- });
50
- it('later duplicate results win (self-correction)', () => {
51
- const out = classifyKrakenChecks(CHECKS, [
52
- result(CHECKS[0], 'fail'),
53
- result(CHECKS[0], 'pass'),
54
- ]);
55
- expect(out.passed).toEqual([CHECKS[0]]);
56
- expect(out.failed).toEqual([]);
57
- });
58
- it('a check with no matching block is unknown, never pass', () => {
59
- const out = classifyKrakenChecks(CHECKS, [result('totally unrelated check', 'pass')]);
60
- expect(out.unknown).toEqual(CHECKS);
61
- });
62
- });
63
- describe('evaluateKrakenCompletionGate', () => {
64
- it('open when no selection ran this turn', () => {
65
- resetKrakenCandidates();
66
- const gate = evaluateKrakenCompletionGate('build');
67
- expect(gate.blocked).toBe(false);
68
- expect(gate.selectionUsed).toBe(false);
69
- });
70
- it('open for needs_more_evidence — checks stay advisory', () => {
71
- resetKrakenCandidates();
72
- setKrakenSelection({
73
- status: 'needs_more_evidence',
74
- winnerIndex: null,
75
- rationale: 'tie',
76
- requiredChecks: ['advisory check'],
77
- degraded: false,
78
- verifier: null,
79
- judgedBy: 'llm',
80
- });
81
- expect(evaluateKrakenCompletionGate('build').blocked).toBe(false);
82
- });
83
- it('blocked when verification never ran (all unknown)', () => {
84
- selectWithChecks(CHECKS);
85
- const gate = evaluateKrakenCompletionGate('build');
86
- expect(gate.blocked).toBe(true);
87
- expect(gate.selectionUsed).toBe(true);
88
- expect(gate.total).toBe(2);
89
- expect(gate.passed).toBe(0);
90
- expect(gate.unknownChecks).toEqual(CHECKS);
91
- });
92
- it('blocked while any check fails (pass does not offset fail)', () => {
93
- selectWithChecks(CHECKS);
94
- setKrakenCheckResults([
95
- result(CHECKS[0], 'pass'),
96
- result(CHECKS[1], 'fail'),
97
- ]);
98
- const gate = evaluateKrakenCompletionGate('build');
99
- expect(gate.blocked).toBe(true);
100
- expect(gate.failedChecks).toEqual([CHECKS[1]]);
101
- });
102
- it('blocked while any check is unknown (unknown ≠ pass)', () => {
103
- selectWithChecks(CHECKS);
104
- setKrakenCheckResults([
105
- result(CHECKS[0], 'pass'),
106
- result(CHECKS[1], 'unknown'),
107
- ]);
108
- expect(evaluateKrakenCompletionGate('build').blocked).toBe(true);
109
- });
110
- it('open only when every check passes', () => {
111
- selectWithChecks(CHECKS);
112
- setKrakenCheckResults(CHECKS.map((c) => result(c, 'pass')));
113
- const gate = evaluateKrakenCompletionGate('build');
114
- expect(gate.blocked).toBe(false);
115
- expect(gate.passed).toBe(2);
116
- });
117
- it('never blocks a PLAN turn even with unresolved checks', () => {
118
- selectWithChecks(CHECKS);
119
- // no results at all → would block in build
120
- expect(evaluateKrakenCompletionGate('build').blocked).toBe(true);
121
- expect(evaluateKrakenCompletionGate('plan').blocked).toBe(false);
122
- });
123
- it('reset clears the gate state', () => {
124
- selectWithChecks(CHECKS);
125
- resetKrakenCandidates();
126
- expect(evaluateKrakenCompletionGate('build').selectionUsed).toBe(false);
127
- });
128
- });
129
- describe('buildKrakenRepairPrompt', () => {
130
- it('lists failed and unknown checks with the pass counter', () => {
131
- const prompt = buildKrakenRepairPrompt({
132
- blocked: true,
133
- selectionUsed: true,
134
- total: 3,
135
- passed: 1,
136
- failedChecks: ['race on refresh'],
137
- unknownChecks: ['cookie rotation'],
138
- });
139
- expect(prompt).toContain('passed 1/3');
140
- expect(prompt).toContain('FAILED checks');
141
- expect(prompt).toContain('- race on refresh');
142
- expect(prompt).toContain('UNKNOWN checks');
143
- expect(prompt).toContain('- cookie rotation');
144
- });
145
- it('forbids re-running kraken_select and demands a verify tentacle', () => {
146
- const prompt = buildKrakenRepairPrompt({
147
- blocked: true,
148
- selectionUsed: true,
149
- total: 1,
150
- passed: 0,
151
- failedChecks: ['x'],
152
- unknownChecks: [],
153
- });
154
- expect(prompt).toContain('do NOT call kraken_select again');
155
- expect(prompt).toContain('`task verify`');
156
- expect(prompt).toContain('<verify-report>');
157
- expect(prompt).toContain('status: pass');
158
- });
159
- it('omits empty sections', () => {
160
- const prompt = buildKrakenRepairPrompt({
161
- blocked: true,
162
- selectionUsed: true,
163
- total: 2,
164
- passed: 0,
165
- failedChecks: [],
166
- unknownChecks: ['a', 'b'],
167
- });
168
- expect(prompt).not.toContain('FAILED checks');
169
- expect(prompt).toContain('UNKNOWN checks');
170
- });
171
- });
172
- //# sourceMappingURL=completionGate.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"completionGate.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/completionGate.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,4BAA4B,GAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qBAAqB,EACrB,qBAAqB,EACrB,kBAAkB,GACnB,MAAM,wBAAwB,CAAC;AAGhC,MAAM,MAAM,GAAG;IACb,qCAAqC;IACrC,sCAAsC;CACvC,CAAC;AAEF,SAAS,MAAM,CAAC,KAAa,EAAE,MAAmC;IAChE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAgB;IACxC,qBAAqB,EAAE,CAAC;IACxB,kBAAkB,CAAC;QACjB,MAAM,EAAE,UAAU;QAClB,WAAW,EAAE,CAAC;QACd,SAAS,EAAE,mBAAmB;QAC9B,cAAc,EAAE,MAAM;QACtB,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,KAAK;KAChB,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE;YACvC,MAAM,CAAC,sCAAsC,EAAE,MAAM,CAAC;YACtD,MAAM,CAAC,sCAAsC,EAAE,MAAM,CAAC;SACvD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,oBAAoB,CAC9B,CAAC,8CAA8C,CAAC,EAChD,CAAC,MAAM,CAAC,4BAA4B,EAAE,MAAM,CAAC,CAAC,CAC/C,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE;YACvC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,oBAAoB,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,yBAAyB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,qBAAqB,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,qBAAqB,EAAE,CAAC;QACxB,kBAAkB,CAAC;YACjB,MAAM,EAAE,qBAAqB;YAC7B,WAAW,EAAE,IAAI;YACjB,SAAS,EAAE,KAAK;YAChB,cAAc,EAAE,CAAC,gBAAgB,CAAC;YAClC,QAAQ,EAAE,KAAK;YACf,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC;YACpB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC;YACzB,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,IAAI,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,2CAA2C;QAC3C,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,4BAA4B,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACzB,qBAAqB,EAAE,CAAC;QACxB,MAAM,CAAC,4BAA4B,CAAC,OAAO,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,CAAC,iBAAiB,CAAC;YACjC,aAAa,EAAE,CAAC,iBAAiB,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,CAAC,GAAG,CAAC;YACnB,aAAa,EAAE,EAAE;SAClB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACrC,OAAO,EAAE,IAAI;YACb,aAAa,EAAE,IAAI;YACnB,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
@@ -1,92 +0,0 @@
1
- /**
2
- * F3 (ADR-0023 §5) — CLI wiring lock tests: the native criteria pack forwards
3
- * its engine observations onto the session spine (`verification.evidence`),
4
- * the assigned seq anchors the EvidenceRefs, and the spine payload carries
5
- * the anchors. §5 target: "VerificationResult → EvidenceRef → session seq →
6
- * actual tool/result" — the note is never the tool output.
7
- */
8
- import { describe, expect, it } from 'vitest';
9
- import { evaluateNativePack } from './nativeVerification.js';
10
- import { strictGateEventPayload } from './verificationBridge.js';
11
- const okShell = {
12
- async exec() {
13
- return { exitCode: 0, stdout: 'ok', stderr: '', durationMs: 1, timedOut: false };
14
- },
15
- };
16
- const packEnv = {
17
- ZELARI_VERIFY_PACK: '1',
18
- ZELARI_VERIFY_TYPECHECK_CMD: 'echo ok',
19
- ZELARI_VERIFY_TEST_CMD: '',
20
- ZELARI_VERIFY_BUILD_CMD: '',
21
- };
22
- describe('evaluateNativePack evidence anchoring', () => {
23
- it('emits verification.evidence first, anchors evidence[0].seq to it', async () => {
24
- const emitted = [];
25
- let nextSeq = 10;
26
- const evaluation = await evaluateNativePack({
27
- env: packEnv,
28
- shell: okShell,
29
- cwd: process.cwd(),
30
- emit: async (input) => {
31
- emitted.push(input);
32
- return { seq: nextSeq++ };
33
- },
34
- });
35
- expect(evaluation).not.toBeNull();
36
- // 1 command-backed criterion + optional advisories (honest `unknown`, no check).
37
- const cmdResult = evaluation.results.find((r) => r.evidence.length > 0);
38
- expect(cmdResult).toBeDefined();
39
- // Order: observation event, then the verification.run summary.
40
- expect(emitted.map((e) => e.kind)).toEqual(['verification.evidence', 'verification.run']);
41
- const obs = emitted[0].data;
42
- expect(obs.observation).toBe('command');
43
- expect(obs.command).toBe('echo ok');
44
- expect(obs.exitCode).toBe(0);
45
- const run = emitted[1].data;
46
- const runCmd = run.results.find((r) => r.evidence.length > 0);
47
- expect(runCmd.evidence[0].seq).toBe(10);
48
- // And the returned VerificationResult anchors too.
49
- expect(cmdResult.evidence[0].seq).toBe(10);
50
- expect(cmdResult.evidence[0].tier).toBe('command-output');
51
- expect(typeof cmdResult.evidence[0].digest).toBe('string');
52
- });
53
- it('without emit the evidence stays unanchored (legacy behaviour)', async () => {
54
- const evaluation = await evaluateNativePack({
55
- env: packEnv,
56
- shell: okShell,
57
- cwd: process.cwd(),
58
- });
59
- const anchored = evaluation.results.find((r) => r.evidence.length > 0);
60
- expect(anchored.evidence[0].seq).toBeUndefined();
61
- });
62
- });
63
- describe('strictGateEventPayload carries the anchors', () => {
64
- it('native evidence seq survives the spine payload', () => {
65
- const evaluation = {
66
- gate: { total: 0, passed: 0, failedChecks: [], unknownChecks: [], blocked: false, selectionUsed: false },
67
- strict: true,
68
- evaluation: null,
69
- native: {
70
- packId: 'test-pack',
71
- criteria: [],
72
- results: [
73
- {
74
- criterionId: 'typecheck',
75
- status: 'pass',
76
- source: 'deterministic-engine',
77
- evidence: [{ tier: 'command-output', ref: 'npm run typecheck → exit 0', capturedAt: 1, digest: 'd0', seq: 42 }],
78
- evaluatedAt: 1,
79
- durationMs: 5,
80
- },
81
- ],
82
- },
83
- blocked: false,
84
- summary: 'open',
85
- };
86
- const payload = strictGateEventPayload(evaluation);
87
- const native = payload.native;
88
- expect(native.results[0].evidence[0].seq).toBe(42);
89
- expect(native.results[0].evidence[0].digest).toBe('d0');
90
- });
91
- });
92
- //# sourceMappingURL=evidenceAnchoring.test.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"evidenceAnchoring.test.js","sourceRoot":"","sources":["../../../src/cli/kraken/evidenceAnchoring.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAkC,MAAM,yBAAyB,CAAC;AAIjG,MAAM,OAAO,GAAkB;IAC7B,KAAK,CAAC,IAAI;QACR,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnF,CAAC;CACF,CAAC;AAEF,MAAM,OAAO,GAAG;IACd,kBAAkB,EAAE,GAAG;IACvB,2BAA2B,EAAE,SAAS;IACtC,sBAAsB,EAAE,EAAE;IAC1B,uBAAuB,EAAE,EAAE;CAC5B,CAAC;AAEF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,OAAO,GAAwB,EAAE,CAAC;QACxC,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC;YAC1C,GAAG,EAAE,OAAO;YACZ,KAAK,EAAE,OAAO;YACd,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;YAClB,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;gBACpB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACpB,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;YAC5B,CAAC;SACF,CAAC,CAAC;QACH,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,iFAAiF;QACjF,MAAM,SAAS,GAAG,UAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,+DAA+D;QAC/D,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,uBAAuB,EAAE,kBAAkB,CAAC,CAAC,CAAC;QAC1F,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAA+B,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,IAAiE,CAAC;QACzF,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,mDAAmD;QACnD,MAAM,CAAC,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5C,MAAM,CAAC,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3D,MAAM,CAAC,OAAO,SAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,UAAU,GAAG,MAAM,kBAAkB,CAAC;YAC1C,GAAG,EAAE,OAAO;YACZ,KAAK,EAAE,OAAO;YACd,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE;SACnB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,UAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,UAAU,GAA8B;YAC5C,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE;YACxG,MAAM,EAAE,IAAI;YACZ,UAAU,EAAE,IAAI;YAChB,MAAM,EAAE;gBACN,MAAM,EAAE,WAAW;gBACnB,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE;oBACP;wBACE,WAAW,EAAE,WAAW;wBACxB,MAAM,EAAE,MAAM;wBACd,MAAM,EAAE,sBAAsB;wBAC9B,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,4BAA4B,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;wBAC/G,WAAW,EAAE,CAAC;wBACd,UAAU,EAAE,CAAC;qBACd;iBACF;aACF;YACD,OAAO,EAAE,KAAK;YACd,OAAO,EAAE,MAAM;SAChB,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,MAEtB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}