@quolu/lattice 0.52.0 → 0.52.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 (182) hide show
  1. package/LICENSE +147 -147
  2. package/README.ja.md +355 -355
  3. package/README.md +258 -258
  4. package/bin/lattice-mcp.mjs +0 -0
  5. package/bin/lattice-scripted-adapter.mjs +0 -0
  6. package/bin/lattice-scripted-worker.mjs +0 -0
  7. package/bin/lattice-work-order-adapter.mjs +0 -0
  8. package/bin/lattice.mjs +0 -0
  9. package/docs/bridge-setup.md +132 -132
  10. package/docs/schemas/lattice.executor_packet.v1.schema.json +57 -57
  11. package/docs/schemas/lattice.executor_receipt.v1.schema.json +66 -66
  12. package/docs/schemas/lattice.phase_todo_revision.v3.schema.json +360 -360
  13. package/docs/schemas/lattice.plan_create_input.v1.schema.json +56 -56
  14. package/docs/schemas/lattice.plan_create_input.v2.schema.json +72 -72
  15. package/docs/schemas/lattice.plan_create_input.v3.schema.json +81 -81
  16. package/docs/schemas/lattice.plan_create_input.v4.schema.json +85 -85
  17. package/docs/schemas/lattice.run_request.v1.schema.json +238 -238
  18. package/docs/schemas/lattice.runtime_adapter_capabilities.v2.schema.json +55 -55
  19. package/docs/schemas/lattice.runtime_adapter_registration_input.v1.schema.json +78 -78
  20. package/docs/schemas/lattice.runtime_adapter_registration_input.v2.schema.json +86 -86
  21. package/docs/schemas/lattice.todo_extraction.v2.schema.json +298 -298
  22. package/docs/schemas/lattice.todo_extraction.v3.schema.json +146 -146
  23. package/docs/schemas/lattice.todo_revision.v2.schema.json +260 -260
  24. package/docs/schemas/lattice.todo_revision_set.v3.schema.json +363 -363
  25. package/package.json +103 -103
  26. package/sensor/LICENSE +21 -21
  27. package/sensor/NOTICE +19 -19
  28. package/sensor/dist/bin/lattice-sensor.js +9 -9
  29. package/sensor/dist/db/index.js +24 -24
  30. package/sensor/dist/db/migrations.js +41 -41
  31. package/sensor/dist/db/queries.js +164 -164
  32. package/sensor/dist/db/schema.sql +205 -205
  33. package/sensor/dist/directory.js +5 -5
  34. package/sensor/dist/extraction/wasm/tree-sitter-c_sharp.wasm +0 -0
  35. package/sensor/dist/extraction/wasm/tree-sitter-cfml.wasm +0 -0
  36. package/sensor/dist/extraction/wasm/tree-sitter-cfquery.wasm +0 -0
  37. package/sensor/dist/extraction/wasm/tree-sitter-cfscript.wasm +0 -0
  38. package/sensor/dist/extraction/wasm/tree-sitter-cobol.wasm +0 -0
  39. package/sensor/dist/extraction/wasm/tree-sitter-erlang.wasm +0 -0
  40. package/sensor/dist/extraction/wasm/tree-sitter-go.wasm +0 -0
  41. package/sensor/dist/extraction/wasm/tree-sitter-java.wasm +0 -0
  42. package/sensor/dist/extraction/wasm/tree-sitter-javascript.wasm +0 -0
  43. package/sensor/dist/extraction/wasm/tree-sitter-nix.wasm +0 -0
  44. package/sensor/dist/extraction/wasm/tree-sitter-pascal.wasm +0 -0
  45. package/sensor/dist/extraction/wasm/tree-sitter-python.wasm +0 -0
  46. package/sensor/dist/extraction/wasm/tree-sitter-tsx.wasm +0 -0
  47. package/sensor/dist/extraction/wasm/tree-sitter-typescript.wasm +0 -0
  48. package/sensor/dist/extraction/wasm/tree-sitter-vbnet.wasm +0 -0
  49. package/sensor/dist/mcp/liveness-watchdog.js +53 -53
  50. package/sensor/dist/mcp/server-instructions.js +95 -95
  51. package/sensor/package.json +56 -56
  52. package/src/artifact-contracts-v2.mjs +325 -325
  53. package/src/artifact-contracts.mjs +895 -895
  54. package/src/boundary-compiler.mjs +712 -712
  55. package/src/boundary-observation-compiler-v2.mjs +344 -344
  56. package/src/bounded-seam.mjs +230 -230
  57. package/src/bridge-address.mjs +107 -107
  58. package/src/bridge-cli.mjs +297 -297
  59. package/src/bridge-config.mjs +346 -346
  60. package/src/bridge-daemon.mjs +378 -378
  61. package/src/bridge-launch-agent.mjs +323 -323
  62. package/src/bridge-registrar.mjs +102 -102
  63. package/src/bridge-server.mjs +376 -376
  64. package/src/cli-help.mjs +308 -308
  65. package/src/cli-stdio.mjs +40 -40
  66. package/src/control-compiler.mjs +532 -532
  67. package/src/dag-chain.mjs +261 -261
  68. package/src/factory-diagnostics.mjs +188 -188
  69. package/src/hash-chain.mjs +76 -76
  70. package/src/hooks-cli.mjs +1057 -1053
  71. package/src/isolation-runner.mjs +409 -409
  72. package/src/node-version-guard.mjs +44 -44
  73. package/src/project-cli.mjs +697 -697
  74. package/src/project-identity.mjs +130 -130
  75. package/src/rc1-black-box-oracle.mjs +906 -906
  76. package/src/rc1-comparison.mjs +154 -154
  77. package/src/rc1-evidence-bundle.mjs +456 -456
  78. package/src/rc1-v4-campaign.mjs +708 -708
  79. package/src/rc1-v4-transform.mjs +467 -467
  80. package/src/rc1-v5-artifact-set.mjs +855 -855
  81. package/src/rc1-v5-behavior-evidence.mjs +594 -594
  82. package/src/rc1-v5-campaign.mjs +797 -797
  83. package/src/rc1-v5-transform.mjs +421 -421
  84. package/src/rc1-v6-artifact-set.mjs +807 -807
  85. package/src/rc1-v6-behavior-evidence.mjs +273 -273
  86. package/src/rc1-v6-campaign.mjs +623 -623
  87. package/src/rc1-v6-causal-binding.mjs +473 -473
  88. package/src/rc1-v6-measurement.mjs +313 -313
  89. package/src/rc2-artifact-set.mjs +1584 -1584
  90. package/src/rc2-campaign.mjs +1506 -1502
  91. package/src/rc2-delivery-policy-front-end.mjs +1079 -1079
  92. package/src/rc2-delivery-policy-oracle.mjs +134 -134
  93. package/src/rc2-delivery-policy-transform.mjs +1127 -1127
  94. package/src/rc2-rc1-transfer-front-end.mjs +511 -511
  95. package/src/rc3-actual-dogfood.mjs +652 -652
  96. package/src/rc3-dogfood-scaffold.mjs +315 -315
  97. package/src/rc3-scripted-campaign.mjs +1383 -1383
  98. package/src/rc4-stage1-dogfood.mjs +673 -673
  99. package/src/runtime-adapter-registry.mjs +524 -520
  100. package/src/runtime-cli.mjs +4588 -4584
  101. package/src/runtime-contracts.mjs +824 -824
  102. package/src/runtime-control-store.mjs +604 -600
  103. package/src/runtime-controller-protocol.mjs +587 -587
  104. package/src/runtime-decision-verifier.mjs +701 -701
  105. package/src/runtime-diff-observer.mjs +361 -361
  106. package/src/runtime-direct-os-observer.mjs +301 -301
  107. package/src/runtime-driver-state.mjs +166 -162
  108. package/src/runtime-engine.mjs +779 -779
  109. package/src/runtime-errors.mjs +356 -356
  110. package/src/runtime-event-store.mjs +189 -189
  111. package/src/runtime-front-end.mjs +925 -925
  112. package/src/runtime-gate-store.mjs +481 -477
  113. package/src/runtime-hold-recompile.mjs +916 -916
  114. package/src/runtime-io-sentinel.mjs +391 -391
  115. package/src/runtime-lifecycle-lock.mjs +294 -290
  116. package/src/runtime-managed-supervisor.mjs +1490 -1490
  117. package/src/runtime-multi-epoch-store.mjs +838 -834
  118. package/src/runtime-projection.mjs +269 -269
  119. package/src/runtime-pull-intake.mjs +1192 -1188
  120. package/src/runtime-scripted-adapter-controller.mjs +1160 -1156
  121. package/src/runtime-scripted-executor.mjs +163 -163
  122. package/src/runtime-scripted-worktree.mjs +104 -104
  123. package/src/runtime-seam-resolve.mjs +428 -428
  124. package/src/runtime-seam-treatment.mjs +173 -173
  125. package/src/runtime-socket-owner.mjs +125 -125
  126. package/src/runtime-work-order-contracts.mjs +91 -91
  127. package/src/runtime-work-order-controller.mjs +1171 -1167
  128. package/src/runtime-worktree-executor.mjs +199 -199
  129. package/src/schedulability-compiler-v2.mjs +303 -303
  130. package/src/schedulability-verifier-v2.mjs +317 -317
  131. package/src/seam-apply.mjs +549 -549
  132. package/src/seam-commit-shared.mjs +22 -22
  133. package/src/seam-commit-transform.mjs +81 -81
  134. package/src/seam-commit.mjs +18 -18
  135. package/src/seam-cost.mjs +322 -322
  136. package/src/seam-derivation.mjs +188 -188
  137. package/src/seam-gate.mjs +146 -146
  138. package/src/seam-proposal-contracts.mjs +446 -446
  139. package/src/seam-proposal-queries.mjs +521 -521
  140. package/src/seam-proposal.mjs +2011 -2011
  141. package/src/seam-ref.mjs +33 -33
  142. package/src/seam-rewrite.mjs +286 -286
  143. package/src/seam-transform.mjs +554 -554
  144. package/src/seam-verification.mjs +260 -260
  145. package/src/sensor-adapter.mjs +432 -432
  146. package/src/sensor-cli.mjs +139 -139
  147. package/src/sensor-diff.mjs +661 -661
  148. package/src/sensor-node-runtime.mjs +53 -53
  149. package/src/sensor-runtime.mjs +52 -52
  150. package/src/timestamp-contract.mjs +8 -8
  151. package/src/todo-audit-pending.mjs +91 -91
  152. package/src/todo-chain.mjs +178 -178
  153. package/src/todo-cli.mjs +3141 -3126
  154. package/src/todo-contracts.mjs +728 -728
  155. package/src/todo-dashboard-registry.mjs +573 -573
  156. package/src/todo-dispatch-shape.mjs +190 -190
  157. package/src/todo-gantt-html-independence.mjs +239 -239
  158. package/src/todo-gantt-html-shared.mjs +226 -226
  159. package/src/todo-gantt-html-style.mjs +131 -131
  160. package/src/todo-gantt-html.mjs +248 -248
  161. package/src/todo-gantt-layout.mjs +974 -974
  162. package/src/todo-gantt-live.mjs +361 -361
  163. package/src/todo-gantt-nested.mjs +263 -263
  164. package/src/todo-gantt-presentation.mjs +217 -217
  165. package/src/todo-gantt-scope.mjs +123 -123
  166. package/src/todo-gantt-svg.mjs +353 -353
  167. package/src/todo-independence-contracts.mjs +595 -595
  168. package/src/todo-independence-guidance.mjs +322 -322
  169. package/src/todo-independence.mjs +640 -640
  170. package/src/todo-markdown-renderer.mjs +260 -260
  171. package/src/todo-migration.mjs +448 -448
  172. package/src/todo-narrative-anchor.mjs +130 -130
  173. package/src/todo-note-store.mjs +629 -625
  174. package/src/todo-parallel-candidates.mjs +114 -114
  175. package/src/todo-revision.mjs +995 -995
  176. package/src/todo-split.mjs +472 -472
  177. package/src/todo-status.mjs +690 -690
  178. package/src/todo-store-git-transaction.mjs +418 -418
  179. package/src/todo-store.mjs +4322 -4314
  180. package/src/treatment-compiler.mjs +728 -728
  181. package/src/treatment-runner.mjs +656 -656
  182. package/src/witness-scaffold.mjs +180 -180
@@ -1,432 +1,432 @@
1
- import { lstat, realpath } from 'node:fs/promises';
2
- import path from 'node:path';
3
-
4
- import { spawnSensorCli } from './sensor-runtime.mjs';
5
-
6
- const OPERATIONS = new Set(['status', 'query', 'callers', 'callees', 'impact', 'affected']);
7
- const ANSI_ESCAPE = /\u001B\[[0-?]*[ -/]*[@-~]/g;
8
-
9
- function stripAnsi(value) {
10
- return value.replace(ANSI_ESCAPE, '');
11
- }
12
-
13
- function portableCopy(value, insideNode = false) {
14
- if (Array.isArray(value)) {
15
- return value.map((entry) => portableCopy(entry));
16
- }
17
- if (!isPlainObject(value)) return value;
18
- return Object.fromEntries(Object.entries(value)
19
- .filter(([key]) => !(insideNode && key === 'updatedAt'))
20
- .map(([key, entry]) => [
21
- key,
22
- portableCopy(entry, key === 'node' && isPlainObject(entry)),
23
- ]));
24
- }
25
-
26
- /**
27
- * LatticeSensor raw outcomeから環境依存telemetryだけを除くdigest projectionを返す。
28
- * @param {unknown} outcome
29
- * @returns {unknown}
30
- */
31
- export function portableSensorOutcome(outcome) {
32
- const portable = portableCopy(outcome);
33
- if (!isPlainObject(portable)
34
- || portable.operation !== 'status'
35
- || !isPlainObject(portable.data)) {
36
- return portable;
37
- }
38
- const {
39
- projectPath,
40
- indexPath,
41
- lastIndexed,
42
- dbSizeBytes,
43
- ...portableStatus
44
- } = portable.data;
45
- return { ...portable, data: portableStatus };
46
- }
47
-
48
- function hasExactKeys(value, keys) {
49
- const actual = Object.keys(value).sort();
50
- const expected = [...keys].sort();
51
- return actual.length === expected.length
52
- && actual.every((key, index) => key === expected[index]);
53
- }
54
-
55
- function isNonNegativeInteger(value) {
56
- return Number.isInteger(value) && value >= 0;
57
- }
58
-
59
- function isPlainObject(value) {
60
- return value !== null && typeof value === 'object' && !Array.isArray(value);
61
- }
62
-
63
- function outcomeFromStatus(status) {
64
- if (status.initialized === false) {
65
- return 'absent';
66
- }
67
-
68
- const version = status.version;
69
- if (typeof version !== 'string' || version.length === 0) {
70
- return 'unsupported';
71
- }
72
-
73
- if (status.initialized !== true
74
- || !isPlainObject(status.pendingChanges)
75
- || !hasExactKeys(status.pendingChanges, ['added', 'modified', 'removed'])
76
- || !Object.values(status.pendingChanges).every(isNonNegativeInteger)
77
- || !isPlainObject(status.index)
78
- || !hasExactKeys(status.index, [
79
- 'builtWithVersion',
80
- 'builtWithExtractionVersion',
81
- 'currentExtractionVersion',
82
- 'reindexRecommended',
83
- // 非ゼロは「この索引を書いたengineより、今のengineが古い」。reindexRecommendedの逆向きで、
84
- // こちら側は放っておくと索引が収束しない理由が誰にも見えない。
85
- 'engineBehindIndexFiles',
86
- 'state',
87
- 'pendingRefs',
88
- ])
89
- || typeof status.index.builtWithVersion !== 'string'
90
- || status.index.builtWithVersion.length === 0
91
- || !isNonNegativeInteger(status.index.builtWithExtractionVersion)
92
- || !isNonNegativeInteger(status.index.currentExtractionVersion)
93
- || typeof status.index.state !== 'string'
94
- || typeof status.index.reindexRecommended !== 'boolean'
95
- || !isNonNegativeInteger(status.index.engineBehindIndexFiles)
96
- || !isNonNegativeInteger(status.index.pendingRefs)
97
- || (status.worktreeMismatch !== null && !isPlainObject(status.worktreeMismatch))) {
98
- return 'unresolved';
99
- }
100
-
101
- if (status.index.state === 'unsupported') {
102
- return 'unsupported';
103
- }
104
-
105
- const pendingTotal = status.pendingChanges.added
106
- + status.pendingChanges.modified
107
- + status.pendingChanges.removed;
108
- if (pendingTotal > 0 || status.worktreeMismatch !== null || status.index.reindexRecommended) {
109
- return 'stale';
110
- }
111
-
112
- if (status.index.pendingRefs !== 0 || status.index.state !== 'complete') {
113
- return 'unresolved';
114
- }
115
-
116
- return 'ready';
117
- }
118
-
119
- function parseJson(stdout) {
120
- try {
121
- return { value: JSON.parse(stdout) };
122
- } catch {
123
- return { value: undefined };
124
- }
125
- }
126
-
127
- function isExactSymbolAbsent(stdout, target) {
128
- return stripAnsi(stdout).trim() === `ℹ Symbol "${target}" not found`;
129
- }
130
-
131
- function exactSymbolCandidates(value, target) {
132
- if (!Array.isArray(value)) {
133
- return { outcome: 'invalid_json', candidates: [] };
134
- }
135
- const candidates = value.filter((entry) => {
136
- const node = entry?.node;
137
- return isPlainObject(node)
138
- && (node.name === target || node.qualifiedName === target);
139
- });
140
- return {
141
- outcome: candidates.length > 0 ? 'ready' : 'symbol_absent',
142
- candidates,
143
- };
144
- }
145
-
146
- function summarizeAffected(targets) {
147
- if (targets.every(({ outcome }) => outcome === 'ready')) {
148
- return 'ready';
149
- }
150
- if (targets.every(({ outcome }) => outcome === 'empty')) {
151
- return 'empty';
152
- }
153
- return 'unresolved';
154
- }
155
-
156
- function pathIsInside(root, candidate) {
157
- const relativePath = path.relative(root, candidate);
158
- return relativePath !== ''
159
- && relativePath !== '..'
160
- && !relativePath.startsWith(`..${path.sep}`)
161
- && !path.isAbsolute(relativePath);
162
- }
163
-
164
- function pathIsInsideOrEqual(root, candidate) {
165
- return path.relative(root, candidate) === '' || pathIsInside(root, candidate);
166
- }
167
-
168
- async function inspectAffectedPathState({ cwd, target }) {
169
- if (path.isAbsolute(target)) return 'unresolved';
170
- const root = path.resolve(cwd);
171
- const candidate = path.resolve(root, target);
172
- if (!pathIsInside(root, candidate)) return 'unresolved';
173
-
174
- let rootRealpath;
175
- try {
176
- rootRealpath = await realpath(root);
177
- } catch {
178
- return 'unresolved';
179
- }
180
-
181
- try {
182
- const stat = await lstat(candidate);
183
- if (stat.isSymbolicLink() || !stat.isFile()) return 'unresolved';
184
- const candidateRealpath = await realpath(candidate);
185
- return pathIsInside(rootRealpath, candidateRealpath) ? 'file' : 'unresolved';
186
- } catch (error) {
187
- if (error?.code !== 'ENOENT') return 'unresolved';
188
- try {
189
- const parentRealpath = await realpath(path.dirname(candidate));
190
- return pathIsInsideOrEqual(rootRealpath, parentRealpath) ? 'absent' : 'unresolved';
191
- } catch {
192
- return 'unresolved';
193
- }
194
- }
195
- }
196
-
197
- async function affectedPathState(inspectAffectedPath, cwd, target) {
198
- try {
199
- const state = await inspectAffectedPath({ cwd, target });
200
- return new Set(['file', 'absent', 'unresolved']).has(state) ? state : 'unresolved';
201
- } catch {
202
- return 'unresolved';
203
- }
204
- }
205
-
206
- function emptyAffectedData(target) {
207
- return {
208
- changedFiles: [target],
209
- affectedTests: [],
210
- totalDependentsTraversed: 0,
211
- };
212
- }
213
-
214
- function defaultExecutor({ args, cwd }) {
215
- return new Promise((resolve) => {
216
- const child = spawnSensorCli(args, {
217
- cwd,
218
- stdio: ['ignore', 'pipe', 'pipe'],
219
- });
220
- let stdout = '';
221
- let stderr = '';
222
-
223
- child.stdout.on('data', (chunk) => {
224
- stdout += chunk;
225
- });
226
- child.stderr.on('data', (chunk) => {
227
- stderr += chunk;
228
- });
229
- child.on('error', (error) => {
230
- resolve({ code: null, stdout, stderr, error: error.message });
231
- });
232
- child.on('close', (code) => {
233
- resolve({ code, stdout, stderr });
234
- });
235
- });
236
- }
237
-
238
- async function executeCommand(execute, command) {
239
- try {
240
- const result = await execute(command);
241
- if (!result || typeof result !== 'object') {
242
- return { code: null, stdout: '', stderr: '', error: 'invalid executor result' };
243
- }
244
- return {
245
- code: result.code,
246
- stdout: typeof result.stdout === 'string' ? result.stdout : '',
247
- stderr: typeof result.stderr === 'string' ? result.stderr : '',
248
- error: result.error,
249
- };
250
- } catch (error) {
251
- return {
252
- code: null,
253
- stdout: '',
254
- stderr: '',
255
- error: error instanceof Error ? error.message : String(error),
256
- };
257
- }
258
- }
259
-
260
- async function resolveExactSymbol({ cwd, target, execute }) {
261
- const result = await executeCommand(execute, {
262
- operation: 'query',
263
- target,
264
- cwd,
265
- args: ['query', target, '--path', '.', '--json'],
266
- });
267
- if (result.code !== 0) {
268
- return { outcome: 'command_failure', exitCode: result.code };
269
- }
270
- const parsed = parseJson(result.stdout);
271
- if (parsed.value === undefined) {
272
- return {
273
- outcome: isExactSymbolAbsent(result.stdout, target) ? 'symbol_absent' : 'invalid_json',
274
- };
275
- }
276
- return exactSymbolCandidates(parsed.value, target);
277
- }
278
-
279
- async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
280
- const { id, operation, target } = query;
281
- if (!OPERATIONS.has(operation)) {
282
- return { id, operation, outcome: 'unsupported' };
283
- }
284
-
285
- if (operation === 'affected') {
286
- const targets = Array.isArray(query.targets) ? query.targets : [target];
287
- if (targets.length === 0 || targets.some((value) => typeof value !== 'string' || value.length === 0)) {
288
- return { id, operation, outcome: 'unresolved' };
289
- }
290
-
291
- const results = [];
292
- for (const targetPath of targets) {
293
- const pathState = await affectedPathState(inspectAffectedPath, cwd, targetPath);
294
- if (pathState === 'absent') {
295
- results.push({
296
- target: targetPath,
297
- outcome: 'empty',
298
- path_state: 'absent',
299
- data: emptyAffectedData(targetPath),
300
- });
301
- continue;
302
- }
303
- if (pathState !== 'file') {
304
- results.push({ target: targetPath, outcome: 'unresolved' });
305
- continue;
306
- }
307
- const command = {
308
- operation,
309
- target: targetPath,
310
- cwd,
311
- args: ['affected', targetPath, '--path', '.', '--json'],
312
- };
313
- const result = await executeCommand(execute, command);
314
- if (result.code !== 0) {
315
- results.push({ target: targetPath, outcome: 'command_failure', exitCode: result.code });
316
- continue;
317
- }
318
- const parsed = parseJson(result.stdout);
319
- if (parsed.value === undefined || !parsed.value || !Array.isArray(parsed.value.affectedTests)) {
320
- results.push({ target: targetPath, outcome: 'invalid_json' });
321
- continue;
322
- }
323
- results.push({
324
- target: targetPath,
325
- outcome: parsed.value.affectedTests.length === 0 ? 'empty' : 'ready',
326
- data: parsed.value,
327
- });
328
- }
329
- return { id, operation, outcome: summarizeAffected(results), targets: results };
330
- }
331
-
332
- if (operation !== 'status' && (typeof target !== 'string' || target.length === 0)) {
333
- return { id, operation, outcome: 'unresolved' };
334
- }
335
-
336
- const command = {
337
- operation,
338
- target,
339
- cwd,
340
- // callers/calleesはCLI既定の20件で黙って切られる。fanoutの大きい関数では
341
- // module値への参照(valueRef)が窓の外へ落ち、閉包が「完結した」と誤認する
342
- // ——観測の打ち切りを「無い」へ丸めない。明示limitで引く。
343
- args: operation === 'status'
344
- ? ['status', '.', '--json']
345
- : ['callers', 'callees'].includes(operation)
346
- ? [operation, target, '--path', '.', '--limit', '200', '--json']
347
- : [operation, target, '--path', '.', '--json'],
348
- };
349
- const result = await executeCommand(execute, command);
350
- if (result.code !== 0) {
351
- return { id, operation, outcome: 'command_failure', exitCode: result.code };
352
- }
353
-
354
- const parsed = parseJson(result.stdout);
355
- if (parsed.value === undefined) {
356
- if (operation !== 'status' && isExactSymbolAbsent(result.stdout, target)) {
357
- return { id, operation, target, outcome: 'symbol_absent' };
358
- }
359
- return { id, operation, target, outcome: 'invalid_json' };
360
- }
361
-
362
- if (operation === 'status') {
363
- if (!parsed.value || Array.isArray(parsed.value) || typeof parsed.value !== 'object') {
364
- return { id, operation, outcome: 'invalid_json' };
365
- }
366
- return { id, operation, outcome: outcomeFromStatus(parsed.value), data: parsed.value };
367
- }
368
-
369
- if (operation === 'query') {
370
- const resolution = exactSymbolCandidates(parsed.value, target);
371
- return {
372
- id,
373
- operation,
374
- target,
375
- outcome: resolution.outcome,
376
- data: resolution.candidates,
377
- };
378
- }
379
-
380
- const resolution = await resolveExactSymbol({ cwd, target, execute });
381
- if (resolution.outcome !== 'ready') {
382
- return {
383
- id,
384
- operation,
385
- target,
386
- outcome: resolution.outcome,
387
- ...(resolution.exitCode === undefined ? {} : { exitCode: resolution.exitCode }),
388
- };
389
- }
390
-
391
- return {
392
- id,
393
- operation,
394
- target,
395
- outcome: 'ready',
396
- data: parsed.value,
397
- resolution: resolution.candidates,
398
- };
399
- }
400
-
401
- /**
402
- * Collects LatticeSensor CLI evidence without turning command failures or empty results into independence.
403
- * @param {{ cwd: string, querySet: { queries?: object[] }, execute?: Function }} options
404
- * @returns {Promise<{ cwd: string, outcomes: object[] }>}
405
- */
406
- export async function collectSensorEvidence({
407
- cwd,
408
- querySet,
409
- execute = defaultExecutor,
410
- inspectAffectedPath = inspectAffectedPathState,
411
- } = {}) {
412
- const queries = Array.isArray(querySet?.queries) ? querySet.queries : [];
413
- if (typeof cwd !== 'string' || cwd.length === 0) {
414
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_cwd' }] };
415
- }
416
- if (!Array.isArray(querySet?.queries)) {
417
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_query_set' }] };
418
- }
419
- if (typeof inspectAffectedPath !== 'function') {
420
- return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_path_inspector' }] };
421
- }
422
-
423
- const outcomes = [];
424
- for (const query of queries) {
425
- if (!query || typeof query !== 'object') {
426
- outcomes.push({ outcome: 'unresolved', reason: 'invalid_query' });
427
- continue;
428
- }
429
- outcomes.push(await collectOne({ cwd, query, execute, inspectAffectedPath }));
430
- }
431
- return { cwd, outcomes };
432
- }
1
+ import { lstat, realpath } from 'node:fs/promises';
2
+ import path from 'node:path';
3
+
4
+ import { spawnSensorCli } from './sensor-runtime.mjs';
5
+
6
+ const OPERATIONS = new Set(['status', 'query', 'callers', 'callees', 'impact', 'affected']);
7
+ const ANSI_ESCAPE = /\u001B\[[0-?]*[ -/]*[@-~]/g;
8
+
9
+ function stripAnsi(value) {
10
+ return value.replace(ANSI_ESCAPE, '');
11
+ }
12
+
13
+ function portableCopy(value, insideNode = false) {
14
+ if (Array.isArray(value)) {
15
+ return value.map((entry) => portableCopy(entry));
16
+ }
17
+ if (!isPlainObject(value)) return value;
18
+ return Object.fromEntries(Object.entries(value)
19
+ .filter(([key]) => !(insideNode && key === 'updatedAt'))
20
+ .map(([key, entry]) => [
21
+ key,
22
+ portableCopy(entry, key === 'node' && isPlainObject(entry)),
23
+ ]));
24
+ }
25
+
26
+ /**
27
+ * LatticeSensor raw outcomeから環境依存telemetryだけを除くdigest projectionを返す。
28
+ * @param {unknown} outcome
29
+ * @returns {unknown}
30
+ */
31
+ export function portableSensorOutcome(outcome) {
32
+ const portable = portableCopy(outcome);
33
+ if (!isPlainObject(portable)
34
+ || portable.operation !== 'status'
35
+ || !isPlainObject(portable.data)) {
36
+ return portable;
37
+ }
38
+ const {
39
+ projectPath,
40
+ indexPath,
41
+ lastIndexed,
42
+ dbSizeBytes,
43
+ ...portableStatus
44
+ } = portable.data;
45
+ return { ...portable, data: portableStatus };
46
+ }
47
+
48
+ function hasExactKeys(value, keys) {
49
+ const actual = Object.keys(value).sort();
50
+ const expected = [...keys].sort();
51
+ return actual.length === expected.length
52
+ && actual.every((key, index) => key === expected[index]);
53
+ }
54
+
55
+ function isNonNegativeInteger(value) {
56
+ return Number.isInteger(value) && value >= 0;
57
+ }
58
+
59
+ function isPlainObject(value) {
60
+ return value !== null && typeof value === 'object' && !Array.isArray(value);
61
+ }
62
+
63
+ function outcomeFromStatus(status) {
64
+ if (status.initialized === false) {
65
+ return 'absent';
66
+ }
67
+
68
+ const version = status.version;
69
+ if (typeof version !== 'string' || version.length === 0) {
70
+ return 'unsupported';
71
+ }
72
+
73
+ if (status.initialized !== true
74
+ || !isPlainObject(status.pendingChanges)
75
+ || !hasExactKeys(status.pendingChanges, ['added', 'modified', 'removed'])
76
+ || !Object.values(status.pendingChanges).every(isNonNegativeInteger)
77
+ || !isPlainObject(status.index)
78
+ || !hasExactKeys(status.index, [
79
+ 'builtWithVersion',
80
+ 'builtWithExtractionVersion',
81
+ 'currentExtractionVersion',
82
+ 'reindexRecommended',
83
+ // 非ゼロは「この索引を書いたengineより、今のengineが古い」。reindexRecommendedの逆向きで、
84
+ // こちら側は放っておくと索引が収束しない理由が誰にも見えない。
85
+ 'engineBehindIndexFiles',
86
+ 'state',
87
+ 'pendingRefs',
88
+ ])
89
+ || typeof status.index.builtWithVersion !== 'string'
90
+ || status.index.builtWithVersion.length === 0
91
+ || !isNonNegativeInteger(status.index.builtWithExtractionVersion)
92
+ || !isNonNegativeInteger(status.index.currentExtractionVersion)
93
+ || typeof status.index.state !== 'string'
94
+ || typeof status.index.reindexRecommended !== 'boolean'
95
+ || !isNonNegativeInteger(status.index.engineBehindIndexFiles)
96
+ || !isNonNegativeInteger(status.index.pendingRefs)
97
+ || (status.worktreeMismatch !== null && !isPlainObject(status.worktreeMismatch))) {
98
+ return 'unresolved';
99
+ }
100
+
101
+ if (status.index.state === 'unsupported') {
102
+ return 'unsupported';
103
+ }
104
+
105
+ const pendingTotal = status.pendingChanges.added
106
+ + status.pendingChanges.modified
107
+ + status.pendingChanges.removed;
108
+ if (pendingTotal > 0 || status.worktreeMismatch !== null || status.index.reindexRecommended) {
109
+ return 'stale';
110
+ }
111
+
112
+ if (status.index.pendingRefs !== 0 || status.index.state !== 'complete') {
113
+ return 'unresolved';
114
+ }
115
+
116
+ return 'ready';
117
+ }
118
+
119
+ function parseJson(stdout) {
120
+ try {
121
+ return { value: JSON.parse(stdout) };
122
+ } catch {
123
+ return { value: undefined };
124
+ }
125
+ }
126
+
127
+ function isExactSymbolAbsent(stdout, target) {
128
+ return stripAnsi(stdout).trim() === `ℹ Symbol "${target}" not found`;
129
+ }
130
+
131
+ function exactSymbolCandidates(value, target) {
132
+ if (!Array.isArray(value)) {
133
+ return { outcome: 'invalid_json', candidates: [] };
134
+ }
135
+ const candidates = value.filter((entry) => {
136
+ const node = entry?.node;
137
+ return isPlainObject(node)
138
+ && (node.name === target || node.qualifiedName === target);
139
+ });
140
+ return {
141
+ outcome: candidates.length > 0 ? 'ready' : 'symbol_absent',
142
+ candidates,
143
+ };
144
+ }
145
+
146
+ function summarizeAffected(targets) {
147
+ if (targets.every(({ outcome }) => outcome === 'ready')) {
148
+ return 'ready';
149
+ }
150
+ if (targets.every(({ outcome }) => outcome === 'empty')) {
151
+ return 'empty';
152
+ }
153
+ return 'unresolved';
154
+ }
155
+
156
+ function pathIsInside(root, candidate) {
157
+ const relativePath = path.relative(root, candidate);
158
+ return relativePath !== ''
159
+ && relativePath !== '..'
160
+ && !relativePath.startsWith(`..${path.sep}`)
161
+ && !path.isAbsolute(relativePath);
162
+ }
163
+
164
+ function pathIsInsideOrEqual(root, candidate) {
165
+ return path.relative(root, candidate) === '' || pathIsInside(root, candidate);
166
+ }
167
+
168
+ async function inspectAffectedPathState({ cwd, target }) {
169
+ if (path.isAbsolute(target)) return 'unresolved';
170
+ const root = path.resolve(cwd);
171
+ const candidate = path.resolve(root, target);
172
+ if (!pathIsInside(root, candidate)) return 'unresolved';
173
+
174
+ let rootRealpath;
175
+ try {
176
+ rootRealpath = await realpath(root);
177
+ } catch {
178
+ return 'unresolved';
179
+ }
180
+
181
+ try {
182
+ const stat = await lstat(candidate);
183
+ if (stat.isSymbolicLink() || !stat.isFile()) return 'unresolved';
184
+ const candidateRealpath = await realpath(candidate);
185
+ return pathIsInside(rootRealpath, candidateRealpath) ? 'file' : 'unresolved';
186
+ } catch (error) {
187
+ if (error?.code !== 'ENOENT') return 'unresolved';
188
+ try {
189
+ const parentRealpath = await realpath(path.dirname(candidate));
190
+ return pathIsInsideOrEqual(rootRealpath, parentRealpath) ? 'absent' : 'unresolved';
191
+ } catch {
192
+ return 'unresolved';
193
+ }
194
+ }
195
+ }
196
+
197
+ async function affectedPathState(inspectAffectedPath, cwd, target) {
198
+ try {
199
+ const state = await inspectAffectedPath({ cwd, target });
200
+ return new Set(['file', 'absent', 'unresolved']).has(state) ? state : 'unresolved';
201
+ } catch {
202
+ return 'unresolved';
203
+ }
204
+ }
205
+
206
+ function emptyAffectedData(target) {
207
+ return {
208
+ changedFiles: [target],
209
+ affectedTests: [],
210
+ totalDependentsTraversed: 0,
211
+ };
212
+ }
213
+
214
+ function defaultExecutor({ args, cwd }) {
215
+ return new Promise((resolve) => {
216
+ const child = spawnSensorCli(args, {
217
+ cwd,
218
+ stdio: ['ignore', 'pipe', 'pipe'],
219
+ });
220
+ let stdout = '';
221
+ let stderr = '';
222
+
223
+ child.stdout.on('data', (chunk) => {
224
+ stdout += chunk;
225
+ });
226
+ child.stderr.on('data', (chunk) => {
227
+ stderr += chunk;
228
+ });
229
+ child.on('error', (error) => {
230
+ resolve({ code: null, stdout, stderr, error: error.message });
231
+ });
232
+ child.on('close', (code) => {
233
+ resolve({ code, stdout, stderr });
234
+ });
235
+ });
236
+ }
237
+
238
+ async function executeCommand(execute, command) {
239
+ try {
240
+ const result = await execute(command);
241
+ if (!result || typeof result !== 'object') {
242
+ return { code: null, stdout: '', stderr: '', error: 'invalid executor result' };
243
+ }
244
+ return {
245
+ code: result.code,
246
+ stdout: typeof result.stdout === 'string' ? result.stdout : '',
247
+ stderr: typeof result.stderr === 'string' ? result.stderr : '',
248
+ error: result.error,
249
+ };
250
+ } catch (error) {
251
+ return {
252
+ code: null,
253
+ stdout: '',
254
+ stderr: '',
255
+ error: error instanceof Error ? error.message : String(error),
256
+ };
257
+ }
258
+ }
259
+
260
+ async function resolveExactSymbol({ cwd, target, execute }) {
261
+ const result = await executeCommand(execute, {
262
+ operation: 'query',
263
+ target,
264
+ cwd,
265
+ args: ['query', target, '--path', '.', '--json'],
266
+ });
267
+ if (result.code !== 0) {
268
+ return { outcome: 'command_failure', exitCode: result.code };
269
+ }
270
+ const parsed = parseJson(result.stdout);
271
+ if (parsed.value === undefined) {
272
+ return {
273
+ outcome: isExactSymbolAbsent(result.stdout, target) ? 'symbol_absent' : 'invalid_json',
274
+ };
275
+ }
276
+ return exactSymbolCandidates(parsed.value, target);
277
+ }
278
+
279
+ async function collectOne({ cwd, query, execute, inspectAffectedPath }) {
280
+ const { id, operation, target } = query;
281
+ if (!OPERATIONS.has(operation)) {
282
+ return { id, operation, outcome: 'unsupported' };
283
+ }
284
+
285
+ if (operation === 'affected') {
286
+ const targets = Array.isArray(query.targets) ? query.targets : [target];
287
+ if (targets.length === 0 || targets.some((value) => typeof value !== 'string' || value.length === 0)) {
288
+ return { id, operation, outcome: 'unresolved' };
289
+ }
290
+
291
+ const results = [];
292
+ for (const targetPath of targets) {
293
+ const pathState = await affectedPathState(inspectAffectedPath, cwd, targetPath);
294
+ if (pathState === 'absent') {
295
+ results.push({
296
+ target: targetPath,
297
+ outcome: 'empty',
298
+ path_state: 'absent',
299
+ data: emptyAffectedData(targetPath),
300
+ });
301
+ continue;
302
+ }
303
+ if (pathState !== 'file') {
304
+ results.push({ target: targetPath, outcome: 'unresolved' });
305
+ continue;
306
+ }
307
+ const command = {
308
+ operation,
309
+ target: targetPath,
310
+ cwd,
311
+ args: ['affected', targetPath, '--path', '.', '--json'],
312
+ };
313
+ const result = await executeCommand(execute, command);
314
+ if (result.code !== 0) {
315
+ results.push({ target: targetPath, outcome: 'command_failure', exitCode: result.code });
316
+ continue;
317
+ }
318
+ const parsed = parseJson(result.stdout);
319
+ if (parsed.value === undefined || !parsed.value || !Array.isArray(parsed.value.affectedTests)) {
320
+ results.push({ target: targetPath, outcome: 'invalid_json' });
321
+ continue;
322
+ }
323
+ results.push({
324
+ target: targetPath,
325
+ outcome: parsed.value.affectedTests.length === 0 ? 'empty' : 'ready',
326
+ data: parsed.value,
327
+ });
328
+ }
329
+ return { id, operation, outcome: summarizeAffected(results), targets: results };
330
+ }
331
+
332
+ if (operation !== 'status' && (typeof target !== 'string' || target.length === 0)) {
333
+ return { id, operation, outcome: 'unresolved' };
334
+ }
335
+
336
+ const command = {
337
+ operation,
338
+ target,
339
+ cwd,
340
+ // callers/calleesはCLI既定の20件で黙って切られる。fanoutの大きい関数では
341
+ // module値への参照(valueRef)が窓の外へ落ち、閉包が「完結した」と誤認する
342
+ // ——観測の打ち切りを「無い」へ丸めない。明示limitで引く。
343
+ args: operation === 'status'
344
+ ? ['status', '.', '--json']
345
+ : ['callers', 'callees'].includes(operation)
346
+ ? [operation, target, '--path', '.', '--limit', '200', '--json']
347
+ : [operation, target, '--path', '.', '--json'],
348
+ };
349
+ const result = await executeCommand(execute, command);
350
+ if (result.code !== 0) {
351
+ return { id, operation, outcome: 'command_failure', exitCode: result.code };
352
+ }
353
+
354
+ const parsed = parseJson(result.stdout);
355
+ if (parsed.value === undefined) {
356
+ if (operation !== 'status' && isExactSymbolAbsent(result.stdout, target)) {
357
+ return { id, operation, target, outcome: 'symbol_absent' };
358
+ }
359
+ return { id, operation, target, outcome: 'invalid_json' };
360
+ }
361
+
362
+ if (operation === 'status') {
363
+ if (!parsed.value || Array.isArray(parsed.value) || typeof parsed.value !== 'object') {
364
+ return { id, operation, outcome: 'invalid_json' };
365
+ }
366
+ return { id, operation, outcome: outcomeFromStatus(parsed.value), data: parsed.value };
367
+ }
368
+
369
+ if (operation === 'query') {
370
+ const resolution = exactSymbolCandidates(parsed.value, target);
371
+ return {
372
+ id,
373
+ operation,
374
+ target,
375
+ outcome: resolution.outcome,
376
+ data: resolution.candidates,
377
+ };
378
+ }
379
+
380
+ const resolution = await resolveExactSymbol({ cwd, target, execute });
381
+ if (resolution.outcome !== 'ready') {
382
+ return {
383
+ id,
384
+ operation,
385
+ target,
386
+ outcome: resolution.outcome,
387
+ ...(resolution.exitCode === undefined ? {} : { exitCode: resolution.exitCode }),
388
+ };
389
+ }
390
+
391
+ return {
392
+ id,
393
+ operation,
394
+ target,
395
+ outcome: 'ready',
396
+ data: parsed.value,
397
+ resolution: resolution.candidates,
398
+ };
399
+ }
400
+
401
+ /**
402
+ * Collects LatticeSensor CLI evidence without turning command failures or empty results into independence.
403
+ * @param {{ cwd: string, querySet: { queries?: object[] }, execute?: Function }} options
404
+ * @returns {Promise<{ cwd: string, outcomes: object[] }>}
405
+ */
406
+ export async function collectSensorEvidence({
407
+ cwd,
408
+ querySet,
409
+ execute = defaultExecutor,
410
+ inspectAffectedPath = inspectAffectedPathState,
411
+ } = {}) {
412
+ const queries = Array.isArray(querySet?.queries) ? querySet.queries : [];
413
+ if (typeof cwd !== 'string' || cwd.length === 0) {
414
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_cwd' }] };
415
+ }
416
+ if (!Array.isArray(querySet?.queries)) {
417
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_query_set' }] };
418
+ }
419
+ if (typeof inspectAffectedPath !== 'function') {
420
+ return { cwd, outcomes: [{ outcome: 'unresolved', reason: 'invalid_path_inspector' }] };
421
+ }
422
+
423
+ const outcomes = [];
424
+ for (const query of queries) {
425
+ if (!query || typeof query !== 'object') {
426
+ outcomes.push({ outcome: 'unresolved', reason: 'invalid_query' });
427
+ continue;
428
+ }
429
+ outcomes.push(await collectOne({ cwd, query, execute, inspectAffectedPath }));
430
+ }
431
+ return { cwd, outcomes };
432
+ }