@shapeshift-labs/frontier-swarm-codex 0.5.40 → 0.5.42
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/dist/apply.d.ts +3 -0
- package/dist/apply.d.ts.map +1 -0
- package/dist/apply.js +127 -0
- package/dist/apply.js.map +1 -0
- package/dist/cli.js +7 -1
- package/dist/cli.js.map +1 -1
- package/dist/codex-events.d.ts +15 -0
- package/dist/codex-events.d.ts.map +1 -0
- package/dist/codex-events.js +108 -0
- package/dist/codex-events.js.map +1 -0
- package/dist/codex-evidence.d.ts +33 -0
- package/dist/codex-evidence.d.ts.map +1 -0
- package/dist/codex-evidence.js +143 -0
- package/dist/codex-evidence.js.map +1 -0
- package/dist/codex-executor.d.ts +5 -0
- package/dist/codex-executor.d.ts.map +1 -0
- package/dist/codex-executor.js +160 -0
- package/dist/codex-executor.js.map +1 -0
- package/dist/codex-prompt.d.ts +20 -0
- package/dist/codex-prompt.d.ts.map +1 -0
- package/dist/codex-prompt.js +238 -0
- package/dist/codex-prompt.js.map +1 -0
- package/dist/codex-run-scheduler.d.ts +9 -0
- package/dist/codex-run-scheduler.d.ts.map +1 -0
- package/dist/codex-run-scheduler.js +145 -0
- package/dist/codex-run-scheduler.js.map +1 -0
- package/dist/codex-run.d.ts +5 -0
- package/dist/codex-run.d.ts.map +1 -0
- package/dist/codex-run.js +278 -0
- package/dist/codex-run.js.map +1 -0
- package/dist/codex-workspace-changes.d.ts +28 -0
- package/dist/codex-workspace-changes.d.ts.map +1 -0
- package/dist/codex-workspace-changes.js +147 -0
- package/dist/codex-workspace-changes.js.map +1 -0
- package/dist/codex-workspace.d.ts +10 -0
- package/dist/codex-workspace.d.ts.map +1 -0
- package/dist/codex-workspace.js +210 -0
- package/dist/codex-workspace.js.map +1 -0
- package/dist/collect-bundles.d.ts +14 -0
- package/dist/collect-bundles.d.ts.map +1 -0
- package/dist/collect-bundles.js +173 -0
- package/dist/collect-bundles.js.map +1 -0
- package/dist/collect-evidence.d.ts +13 -0
- package/dist/collect-evidence.d.ts.map +1 -0
- package/dist/collect-evidence.js +131 -0
- package/dist/collect-evidence.js.map +1 -0
- package/dist/collect.d.ts +5 -0
- package/dist/collect.d.ts.map +1 -0
- package/dist/collect.js +189 -0
- package/dist/collect.js.map +1 -0
- package/dist/common.d.ts +37 -0
- package/dist/common.d.ts.map +1 -0
- package/dist/common.js +191 -0
- package/dist/common.js.map +1 -0
- package/dist/constants.d.ts +25 -0
- package/dist/constants.d.ts.map +1 -0
- package/dist/constants.js +26 -0
- package/dist/constants.js.map +1 -0
- package/dist/dashboard.d.ts +9 -0
- package/dist/dashboard.d.ts.map +1 -0
- package/dist/dashboard.js +80 -0
- package/dist/dashboard.js.map +1 -0
- package/dist/handoff-artifacts.d.ts +4 -0
- package/dist/handoff-artifacts.d.ts.map +1 -0
- package/dist/handoff-artifacts.js +67 -0
- package/dist/handoff-artifacts.js.map +1 -0
- package/dist/index.d.ts +14 -820
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +14 -3612
- package/dist/index.js.map +1 -1
- package/dist/patch-score-semantic.d.ts +4 -0
- package/dist/patch-score-semantic.d.ts.map +1 -0
- package/dist/patch-score-semantic.js +154 -0
- package/dist/patch-score-semantic.js.map +1 -0
- package/dist/score.d.ts +3 -0
- package/dist/score.d.ts.map +1 -0
- package/dist/score.js +219 -0
- package/dist/score.js.map +1 -0
- package/dist/semantic-import-layers.d.ts +9 -0
- package/dist/semantic-import-layers.d.ts.map +1 -0
- package/dist/semantic-import-layers.js +143 -0
- package/dist/semantic-import-layers.js.map +1 -0
- package/dist/semantic-import-paradigm.d.ts +6 -0
- package/dist/semantic-import-paradigm.d.ts.map +1 -0
- package/dist/semantic-import-paradigm.js +159 -0
- package/dist/semantic-import-paradigm.js.map +1 -0
- package/dist/semantic-import-proof.d.ts +7 -0
- package/dist/semantic-import-proof.d.ts.map +1 -0
- package/dist/semantic-import-proof.js +142 -0
- package/dist/semantic-import-proof.js.map +1 -0
- package/dist/semantic-import-quality.d.ts +6 -0
- package/dist/semantic-import-quality.d.ts.map +1 -0
- package/dist/semantic-import-quality.js +108 -0
- package/dist/semantic-import-quality.js.map +1 -0
- package/dist/semantic-import-select.d.ts +36 -0
- package/dist/semantic-import-select.d.ts.map +1 -0
- package/dist/semantic-import-select.js +132 -0
- package/dist/semantic-import-select.js.map +1 -0
- package/dist/semantic-import-sidecar.d.ts +7 -0
- package/dist/semantic-import-sidecar.d.ts.map +1 -0
- package/dist/semantic-import-sidecar.js +169 -0
- package/dist/semantic-import-sidecar.js.map +1 -0
- package/dist/semantic-import.d.ts +13 -0
- package/dist/semantic-import.d.ts.map +1 -0
- package/dist/semantic-import.js +122 -0
- package/dist/semantic-import.js.map +1 -0
- package/dist/trace-summary.d.ts +6 -0
- package/dist/trace-summary.d.ts.map +1 -0
- package/dist/trace-summary.js +61 -0
- package/dist/trace-summary.js.map +1 -0
- package/dist/types-collection.d.ts +166 -0
- package/dist/types-collection.d.ts.map +1 -0
- package/dist/types-collection.js +2 -0
- package/dist/types-collection.js.map +1 -0
- package/dist/types-evidence.d.ts +158 -0
- package/dist/types-evidence.d.ts.map +1 -0
- package/dist/types-evidence.js +2 -0
- package/dist/types-evidence.js.map +1 -0
- package/dist/types-run.d.ts +161 -0
- package/dist/types-run.d.ts.map +1 -0
- package/dist/types-run.js +2 -0
- package/dist/types-run.js.map +1 -0
- package/dist/types-semantic.d.ts +192 -0
- package/dist/types-semantic.d.ts.map +1 -0
- package/dist/types-semantic.js +2 -0
- package/dist/types-semantic.js.map +1 -0
- package/dist/types-workspace.d.ts +122 -0
- package/dist/types-workspace.d.ts.map +1 -0
- package/dist/types-workspace.js +2 -0
- package/dist/types-workspace.js.map +1 -0
- package/dist/types.d.ts +6 -0
- package/dist/types.d.ts.map +1 -0
- package/dist/types.js +2 -0
- package/dist/types.js.map +1 -0
- package/dist/workspace-link-repair.d.ts +3 -0
- package/dist/workspace-link-repair.d.ts.map +1 -0
- package/dist/workspace-link-repair.js +164 -0
- package/dist/workspace-link-repair.js.map +1 -0
- package/package.json +5 -4
|
@@ -0,0 +1,169 @@
|
|
|
1
|
+
import { FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND, FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION } from './constants.js';
|
|
2
|
+
import { summarizeSemanticImportUniversalAstLayers } from './semantic-import-layers.js';
|
|
3
|
+
import { summarizeSemanticImportParadigmSemantics, summarizeParadigmSemantics } from './semantic-import-paradigm.js';
|
|
4
|
+
import { summarizeSemanticImportProofSpec, summarizeProofSpec } from './semantic-import-proof.js';
|
|
5
|
+
export function createSemanticImportSidecar(job, records, selection) {
|
|
6
|
+
const semanticIndex = records.reduce((totals, record) => {
|
|
7
|
+
totals.documents += record.semanticIndex?.documents ?? 0;
|
|
8
|
+
totals.symbols += record.semanticIndex?.symbols ?? 0;
|
|
9
|
+
totals.occurrences += record.semanticIndex?.occurrences ?? 0;
|
|
10
|
+
totals.relations += record.semanticIndex?.relations ?? 0;
|
|
11
|
+
totals.facts += record.semanticIndex?.facts ?? 0;
|
|
12
|
+
return totals;
|
|
13
|
+
}, { documents: 0, symbols: 0, occurrences: 0, relations: 0, facts: 0 });
|
|
14
|
+
const semanticSidecars = records.reduce((totals, record) => {
|
|
15
|
+
const summary = record.semanticSidecar;
|
|
16
|
+
if (!summary)
|
|
17
|
+
return totals;
|
|
18
|
+
totals.total += 1;
|
|
19
|
+
totals.symbols += summary.symbols ?? 0;
|
|
20
|
+
totals.ownershipRegions += summary.ownershipRegions ?? 0;
|
|
21
|
+
totals.patchHints += summary.patchHints ?? 0;
|
|
22
|
+
if (summary.emptySemanticIndex)
|
|
23
|
+
totals.empty += 1;
|
|
24
|
+
return totals;
|
|
25
|
+
}, { total: 0, symbols: 0, ownershipRegions: 0, patchHints: 0, empty: 0 });
|
|
26
|
+
const universalAstLayers = summarizeSemanticImportUniversalAstLayers(records);
|
|
27
|
+
const paradigmSemantics = summarizeSemanticImportParadigmSemantics(records);
|
|
28
|
+
const sourceProjections = records.reduce((totals, record) => {
|
|
29
|
+
const summary = record.sourceProjection;
|
|
30
|
+
if (!summary)
|
|
31
|
+
return totals;
|
|
32
|
+
totals.total += 1;
|
|
33
|
+
if (summary.mode === 'preserved-source')
|
|
34
|
+
totals.preserved += 1;
|
|
35
|
+
if (summary.mode === 'native-source-stubs')
|
|
36
|
+
totals.stubs += 1;
|
|
37
|
+
if (summary.readiness === 'ready' || summary.readiness === 'ready-with-losses')
|
|
38
|
+
totals.ready += 1;
|
|
39
|
+
else if (summary.readiness === 'blocked')
|
|
40
|
+
totals.blocked += 1;
|
|
41
|
+
else
|
|
42
|
+
totals.needsReview += 1;
|
|
43
|
+
return totals;
|
|
44
|
+
}, { total: 0, preserved: 0, stubs: 0, ready: 0, needsReview: 0, blocked: 0 });
|
|
45
|
+
const nativeCompiles = records.reduce((totals, record) => {
|
|
46
|
+
const summary = record.nativeCompile;
|
|
47
|
+
if (!summary)
|
|
48
|
+
return totals;
|
|
49
|
+
totals.total += 1;
|
|
50
|
+
if (summary.ok)
|
|
51
|
+
totals.emitted += 1;
|
|
52
|
+
if (summary.outputMode === 'preserved-source')
|
|
53
|
+
totals.preserved += 1;
|
|
54
|
+
if (summary.outputMode === 'target-stubs')
|
|
55
|
+
totals.targetStubs += 1;
|
|
56
|
+
if (summary.readiness === 'ready' || summary.readiness === 'ready-with-losses')
|
|
57
|
+
totals.ready += 1;
|
|
58
|
+
else if (summary.readiness === 'blocked')
|
|
59
|
+
totals.blocked += 1;
|
|
60
|
+
else
|
|
61
|
+
totals.needsReview += 1;
|
|
62
|
+
return totals;
|
|
63
|
+
}, { total: 0, emitted: 0, preserved: 0, targetStubs: 0, ready: 0, needsReview: 0, blocked: 0 });
|
|
64
|
+
const proofSpec = summarizeSemanticImportProofSpec(records);
|
|
65
|
+
const lossesBySeverity = {};
|
|
66
|
+
const readiness = {};
|
|
67
|
+
for (const record of records) {
|
|
68
|
+
for (const loss of Array.isArray(record.losses) ? record.losses : []) {
|
|
69
|
+
const severity = String(loss?.severity ?? 'unknown');
|
|
70
|
+
lossesBySeverity[severity] = (lossesBySeverity[severity] ?? 0) + 1;
|
|
71
|
+
}
|
|
72
|
+
const candidate = record.mergeCandidate;
|
|
73
|
+
if (candidate?.readiness !== undefined) {
|
|
74
|
+
const key = String(candidate.readiness);
|
|
75
|
+
readiness[key] = (readiness[key] ?? 0) + 1;
|
|
76
|
+
}
|
|
77
|
+
}
|
|
78
|
+
return {
|
|
79
|
+
kind: FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND,
|
|
80
|
+
version: FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION,
|
|
81
|
+
generatedAt: Date.now(),
|
|
82
|
+
jobId: job.id,
|
|
83
|
+
taskId: job.taskId,
|
|
84
|
+
records,
|
|
85
|
+
summary: {
|
|
86
|
+
total: records.length,
|
|
87
|
+
selected: selection?.selected.length ?? records.length,
|
|
88
|
+
selection: selection
|
|
89
|
+
? {
|
|
90
|
+
candidates: selection.candidateCount,
|
|
91
|
+
ignored: selection.ignoredCount,
|
|
92
|
+
includeFiltered: selection.includeFilteredCount,
|
|
93
|
+
excludeFiltered: selection.excludeFilteredCount,
|
|
94
|
+
unsupportedLanguage: selection.unsupportedLanguageCount
|
|
95
|
+
}
|
|
96
|
+
: {
|
|
97
|
+
candidates: records.length,
|
|
98
|
+
ignored: 0,
|
|
99
|
+
includeFiltered: 0,
|
|
100
|
+
excludeFiltered: 0,
|
|
101
|
+
unsupportedLanguage: 0
|
|
102
|
+
},
|
|
103
|
+
eligible: selection?.eligibleCount ?? records.length,
|
|
104
|
+
omitted: selection?.omittedCount ?? 0,
|
|
105
|
+
maxFiles: selection?.maxFiles ?? records.length,
|
|
106
|
+
imported: records.filter((record) => record.status === 'imported').length,
|
|
107
|
+
skipped: records.filter((record) => record.status === 'skipped').length,
|
|
108
|
+
errors: records.filter((record) => record.status === 'error').length,
|
|
109
|
+
sourceMapCount: records.reduce((sum, record) => sum + (record.sourceMapCount ?? 0), 0),
|
|
110
|
+
sourceMapMappingCount: records.reduce((sum, record) => sum + (record.sourceMapMappingCount ?? 0), 0),
|
|
111
|
+
lossCount: records.reduce((sum, record) => sum + (record.lossCount ?? 0), 0),
|
|
112
|
+
lossesBySeverity,
|
|
113
|
+
semanticIndex,
|
|
114
|
+
semanticSidecars,
|
|
115
|
+
universalAstLayers,
|
|
116
|
+
proofSpec,
|
|
117
|
+
paradigmSemantics,
|
|
118
|
+
sourceProjections,
|
|
119
|
+
nativeCompiles,
|
|
120
|
+
readiness
|
|
121
|
+
}
|
|
122
|
+
};
|
|
123
|
+
}
|
|
124
|
+
export function summarizeSemanticIndex(value) {
|
|
125
|
+
if (!value || typeof value !== 'object')
|
|
126
|
+
return undefined;
|
|
127
|
+
return {
|
|
128
|
+
documents: Array.isArray(value.documents) ? value.documents.length : 0,
|
|
129
|
+
symbols: Array.isArray(value.symbols) ? value.symbols.length : 0,
|
|
130
|
+
occurrences: Array.isArray(value.occurrences) ? value.occurrences.length : 0,
|
|
131
|
+
relations: Array.isArray(value.relations) ? value.relations.length : 0,
|
|
132
|
+
facts: Array.isArray(value.facts) ? value.facts.length : 0
|
|
133
|
+
};
|
|
134
|
+
}
|
|
135
|
+
export function summarizeLangSemanticImportSidecar(value) {
|
|
136
|
+
if (!value || typeof value !== 'object')
|
|
137
|
+
return undefined;
|
|
138
|
+
return {
|
|
139
|
+
kind: value.kind,
|
|
140
|
+
id: value.id,
|
|
141
|
+
imports: value.summary?.imports,
|
|
142
|
+
symbols: value.summary?.symbols,
|
|
143
|
+
ownershipRegions: value.summary?.ownershipRegions,
|
|
144
|
+
sourceMapMappings: value.summary?.sourceMapMappings,
|
|
145
|
+
universalAstLayers: value.summary?.universalAstLayers ?? value.universalAstLayers?.total,
|
|
146
|
+
universalAstLayerNames: Array.isArray(value.summary?.universalAstLayerNames)
|
|
147
|
+
? value.summary.universalAstLayerNames
|
|
148
|
+
: Array.isArray(value.universalAstLayers?.names)
|
|
149
|
+
? value.universalAstLayers.names
|
|
150
|
+
: [],
|
|
151
|
+
proofSpec: summarizeProofSpec(undefined, value),
|
|
152
|
+
paradigmSemantics: summarizeParadigmSemantics(undefined, value),
|
|
153
|
+
readiness: value.summary?.readiness,
|
|
154
|
+
emptySemanticIndex: value.summary?.emptySemanticIndex,
|
|
155
|
+
patchHints: Array.isArray(value.patchHints) ? value.patchHints.length : 0,
|
|
156
|
+
sampleOwnershipRegions: Array.isArray(value.ownershipRegions)
|
|
157
|
+
? value.ownershipRegions.slice(0, 12).map((region) => ({
|
|
158
|
+
id: region?.id,
|
|
159
|
+
key: region?.key,
|
|
160
|
+
sourcePath: region?.sourcePath,
|
|
161
|
+
symbolName: region?.symbolName,
|
|
162
|
+
symbolKind: region?.symbolKind,
|
|
163
|
+
sourceSpan: region?.sourceSpan,
|
|
164
|
+
precision: region?.precision
|
|
165
|
+
}))
|
|
166
|
+
: []
|
|
167
|
+
};
|
|
168
|
+
}
|
|
169
|
+
//# sourceMappingURL=semantic-import-sidecar.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-import-sidecar.js","sourceRoot":"","sources":["../src/semantic-import-sidecar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,yCAAyC,EAAE,4CAA4C,EAAE,MAAM,gBAAgB,CAAC;AAGzH,OAAO,EAAE,yCAAyC,EAAE,MAAM,6BAA6B,CAAC;AACxF,OAAO,EAAE,wCAAwC,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AACrH,OAAO,EAAE,gCAAgC,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAIlG,MAAM,UAAU,2BAA2B,CACzC,GAAqB,EACrB,OAA4C,EAC5C,SAAmC;IAEnC,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACtD,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,aAAa,EAAE,SAAS,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC;QACrD,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,aAAa,EAAE,WAAW,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,aAAa,EAAE,SAAS,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,KAAK,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,IAAI,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACzD,MAAM,OAAO,GAAG,MAAM,CAAC,eAAiI,CAAC;QACzJ,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC;QAC5B,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,MAAM,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,gBAAgB,IAAI,OAAO,CAAC,gBAAgB,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,UAAU,IAAI,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,kBAAkB;YAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAClD,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC3E,MAAM,kBAAkB,GAAG,yCAAyC,CAAC,OAAO,CAAC,CAAC;IAC9E,MAAM,iBAAiB,GAAG,wCAAwC,CAAC,OAAO,CAAC,CAAC;IAC5E,MAAM,iBAAiB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAqE,CAAC;QAC7F,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC;QAC5B,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB;YAAE,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;QAC/D,IAAI,OAAO,CAAC,IAAI,KAAK,qBAAqB;YAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAC9D,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,mBAAmB;YAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;aAC7F,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;;YACzD,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IAC/E,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,aAAsF,CAAC;QAC9G,IAAI,CAAC,OAAO;YAAE,OAAO,MAAM,CAAC;QAC5B,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;QAClB,IAAI,OAAO,CAAC,EAAE;YAAE,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,UAAU,KAAK,kBAAkB;YAAE,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;QACrE,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc;YAAE,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;QACnE,IAAI,OAAO,CAAC,SAAS,KAAK,OAAO,IAAI,OAAO,CAAC,SAAS,KAAK,mBAAmB;YAAE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;aAC7F,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;;YACzD,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,gCAAgC,CAAC,OAAO,CAAC,CAAC;IAC5D,MAAM,gBAAgB,GAA2B,EAAE,CAAC;IACpD,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAe,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,EAAE,QAAQ,IAAI,SAAS,CAAC,CAAC;YACrD,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAqD,CAAC;QAC/E,IAAI,SAAS,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACxC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,yCAAyC;QAC/C,OAAO,EAAE,4CAA4C;QACrD,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE;QACvB,KAAK,EAAE,GAAG,CAAC,EAAE;QACb,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO;QACP,OAAO,EAAE;YACP,KAAK,EAAE,OAAO,CAAC,MAAM;YACrB,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;YACtD,SAAS,EAAE,SAAS;gBAClB,CAAC,CAAC;oBACA,UAAU,EAAE,SAAS,CAAC,cAAc;oBACpC,OAAO,EAAE,SAAS,CAAC,YAAY;oBAC/B,eAAe,EAAE,SAAS,CAAC,oBAAoB;oBAC/C,eAAe,EAAE,SAAS,CAAC,oBAAoB;oBAC/C,mBAAmB,EAAE,SAAS,CAAC,wBAAwB;iBACxD;gBACD,CAAC,CAAC;oBACA,UAAU,EAAE,OAAO,CAAC,MAAM;oBAC1B,OAAO,EAAE,CAAC;oBACV,eAAe,EAAE,CAAC;oBAClB,eAAe,EAAE,CAAC;oBAClB,mBAAmB,EAAE,CAAC;iBACvB;YACH,QAAQ,EAAE,SAAS,EAAE,aAAa,IAAI,OAAO,CAAC,MAAM;YACpD,OAAO,EAAE,SAAS,EAAE,YAAY,IAAI,CAAC;YACrC,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,OAAO,CAAC,MAAM;YAC/C,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;YACzE,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;YACvE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,MAAM;YACpE,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YACtF,qBAAqB,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YACpG,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,gBAAgB;YAChB,aAAa;YACb,gBAAgB;YAChB,kBAAkB;YAClB,SAAS;YACT,iBAAiB;YACjB,iBAAiB;YACjB,cAAc;YACd,SAAS;SACV;KACF,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,sBAAsB,CAAC,KAAU;IAC/C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChE,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5E,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACtE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;KAC3D,CAAC;AACJ,CAAC;AAID,MAAM,UAAU,kCAAkC,CAAC,KAAU;IAC3D,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC1D,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO;QAC/B,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO;QAC/B,gBAAgB,EAAE,KAAK,CAAC,OAAO,EAAE,gBAAgB;QACjD,iBAAiB,EAAE,KAAK,CAAC,OAAO,EAAE,iBAAiB;QACnD,kBAAkB,EAAE,KAAK,CAAC,OAAO,EAAE,kBAAkB,IAAI,KAAK,CAAC,kBAAkB,EAAE,KAAK;QACxF,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC;YAC1E,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,sBAAsB;YACtC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC;gBAC9C,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,KAAK;gBAChC,CAAC,CAAC,EAAE;QACR,SAAS,EAAE,kBAAkB,CAAC,SAAS,EAAE,KAAK,CAAC;QAC/C,iBAAiB,EAAE,0BAA0B,CAAC,SAAS,EAAE,KAAK,CAAC;QAC/D,SAAS,EAAE,KAAK,CAAC,OAAO,EAAE,SAAS;QACnC,kBAAkB,EAAE,KAAK,CAAC,OAAO,EAAE,kBAAkB;QACrD,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzE,sBAAsB,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC;YAC3D,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAW,EAAE,EAAE,CAAC,CAAC;gBAC1D,EAAE,EAAE,MAAM,EAAE,EAAE;gBACd,GAAG,EAAE,MAAM,EAAE,GAAG;gBAChB,UAAU,EAAE,MAAM,EAAE,UAAU;gBAC9B,UAAU,EAAE,MAAM,EAAE,UAAU;gBAC9B,UAAU,EAAE,MAAM,EAAE,UAAU;gBAC9B,UAAU,EAAE,MAAM,EAAE,UAAU;gBAC9B,SAAS,EAAE,MAAM,EAAE,SAAS;aAC7B,CAAC,CAAC;YACH,CAAC,CAAC,EAAE;KACP,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
import { type FrontierSwarmJob } from '@shapeshift-labs/frontier-swarm';
|
|
2
|
+
import type { FrontierCodexSemanticImportOptions, FrontierCodexSemanticImportSidecar } from './index.js';
|
|
3
|
+
export declare function createCodexSemanticImportSidecar(input: {
|
|
4
|
+
job: FrontierSwarmJob;
|
|
5
|
+
workspace: string;
|
|
6
|
+
changedPaths: readonly string[];
|
|
7
|
+
evidenceDir: string;
|
|
8
|
+
options?: boolean | FrontierCodexSemanticImportOptions;
|
|
9
|
+
}): Promise<{
|
|
10
|
+
path: string;
|
|
11
|
+
sidecar: FrontierCodexSemanticImportSidecar;
|
|
12
|
+
} | undefined>;
|
|
13
|
+
//# sourceMappingURL=semantic-import.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-import.d.ts","sourceRoot":"","sources":["../src/semantic-import.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,kCAAkC,EAAqC,kCAAkC,EAAE,MAAM,YAAY,CAAC;AAO5I,wBAAsB,gCAAgC,CAAC,KAAK,EAAE;IAC5D,GAAG,EAAE,gBAAgB,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,OAAO,GAAG,kCAAkC,CAAC;CACxD,GAAG,OAAO,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,kCAAkC,CAAA;CAAE,GAAG,SAAS,CAAC,CA+GrF"}
|
|
@@ -0,0 +1,122 @@
|
|
|
1
|
+
import fs from 'node:fs/promises';
|
|
2
|
+
import path from 'node:path';
|
|
3
|
+
import { summarizeUniversalAstLayers, summarizeNativeSourceProjection, summarizeNativeSourceCompile, summarizeSemanticLosses, summarizeSemanticMergeCandidate } from './semantic-import-layers.js';
|
|
4
|
+
import { summarizeParadigmSemantics } from './semantic-import-paradigm.js';
|
|
5
|
+
import { summarizeProofSpec } from './semantic-import-proof.js';
|
|
6
|
+
import { createSemanticImportSidecar, summarizeLangSemanticImportSidecar, summarizeSemanticIndex } from './semantic-import-sidecar.js';
|
|
7
|
+
import { loadFrontierLangForSemanticImport, normalizeSemanticImportOptions, selectSemanticImportPaths, semanticImportCandidatePaths } from './semantic-import-select.js';
|
|
8
|
+
export async function createCodexSemanticImportSidecar(input) {
|
|
9
|
+
const options = normalizeSemanticImportOptions(input.options);
|
|
10
|
+
if (!options)
|
|
11
|
+
return undefined;
|
|
12
|
+
const selection = selectSemanticImportPaths(semanticImportCandidatePaths(input.job, input.changedPaths), options);
|
|
13
|
+
const selected = selection.selected;
|
|
14
|
+
const records = [];
|
|
15
|
+
const importPath = path.join(input.evidenceDir, 'semantic-imports.json');
|
|
16
|
+
if (!selected.length) {
|
|
17
|
+
const sidecar = createSemanticImportSidecar(input.job, records, selection);
|
|
18
|
+
await fs.writeFile(importPath, JSON.stringify(sidecar, null, 2) + '\n');
|
|
19
|
+
return { path: importPath, sidecar };
|
|
20
|
+
}
|
|
21
|
+
const api = await loadFrontierLangForSemanticImport();
|
|
22
|
+
if (!api.ok) {
|
|
23
|
+
for (const file of selected) {
|
|
24
|
+
records.push({
|
|
25
|
+
path: file.path,
|
|
26
|
+
language: file.language,
|
|
27
|
+
status: 'error',
|
|
28
|
+
reason: 'frontier-lang-unavailable',
|
|
29
|
+
error: api.error
|
|
30
|
+
});
|
|
31
|
+
}
|
|
32
|
+
const sidecar = createSemanticImportSidecar(input.job, records, selection);
|
|
33
|
+
await fs.writeFile(importPath, JSON.stringify(sidecar, null, 2) + '\n');
|
|
34
|
+
return { path: importPath, sidecar };
|
|
35
|
+
}
|
|
36
|
+
for (const file of selected) {
|
|
37
|
+
const absolute = path.join(input.workspace, file.path);
|
|
38
|
+
const stat = await fs.stat(absolute).catch(() => undefined);
|
|
39
|
+
if (!stat?.isFile()) {
|
|
40
|
+
records.push({ path: file.path, language: file.language, status: 'skipped', reason: 'not-a-file' });
|
|
41
|
+
continue;
|
|
42
|
+
}
|
|
43
|
+
if (stat.size > options.maxBytes) {
|
|
44
|
+
records.push({ path: file.path, language: file.language, status: 'skipped', reason: 'too-large', bytes: stat.size });
|
|
45
|
+
continue;
|
|
46
|
+
}
|
|
47
|
+
try {
|
|
48
|
+
const sourceText = await fs.readFile(absolute, 'utf8');
|
|
49
|
+
const importResult = api.importNativeSource({
|
|
50
|
+
language: file.language,
|
|
51
|
+
sourcePath: file.path,
|
|
52
|
+
sourceText,
|
|
53
|
+
parser: 'source-text',
|
|
54
|
+
metadata: {
|
|
55
|
+
swarmJobId: input.job.id,
|
|
56
|
+
swarmTaskId: input.job.taskId,
|
|
57
|
+
swarmLane: input.job.lane
|
|
58
|
+
}
|
|
59
|
+
});
|
|
60
|
+
const mergeCandidate = api.createSemanticMergeCandidateFromImport({ importResult });
|
|
61
|
+
const semanticSidecar = api.createSemanticImportSidecar
|
|
62
|
+
? api.createSemanticImportSidecar(importResult, {
|
|
63
|
+
targetPath: file.path,
|
|
64
|
+
metadata: {
|
|
65
|
+
swarmJobId: input.job.id,
|
|
66
|
+
swarmTaskId: input.job.taskId,
|
|
67
|
+
swarmLane: input.job.lane
|
|
68
|
+
}
|
|
69
|
+
})
|
|
70
|
+
: undefined;
|
|
71
|
+
const sourceProjection = api.projectNativeImportToSource
|
|
72
|
+
? api.projectNativeImportToSource(importResult, { sourceText, sourcePath: file.path })
|
|
73
|
+
: undefined;
|
|
74
|
+
const nativeCompile = api.compileNativeSource
|
|
75
|
+
? api.compileNativeSource(importResult, { target: file.language, sourceText, sourcePath: file.path, emitOnBlocked: true })
|
|
76
|
+
: undefined;
|
|
77
|
+
const sourceMaps = Array.isArray(importResult?.sourceMaps)
|
|
78
|
+
? importResult.sourceMaps
|
|
79
|
+
: Array.isArray(importResult?.universalAst?.sourceMaps)
|
|
80
|
+
? importResult.universalAst.sourceMaps
|
|
81
|
+
: [];
|
|
82
|
+
records.push({
|
|
83
|
+
path: file.path,
|
|
84
|
+
language: file.language,
|
|
85
|
+
status: 'imported',
|
|
86
|
+
bytes: stat.size,
|
|
87
|
+
importId: importResult?.id,
|
|
88
|
+
universalAstHash: api.hashUniversalAstEnvelope && importResult?.universalAst
|
|
89
|
+
? api.hashUniversalAstEnvelope(importResult.universalAst)
|
|
90
|
+
: undefined,
|
|
91
|
+
nativeAstId: importResult?.nativeAst?.id,
|
|
92
|
+
nativeSourceId: importResult?.nativeSource?.id,
|
|
93
|
+
sourceMapCount: sourceMaps.length,
|
|
94
|
+
sourceMapMappingCount: sourceMaps.reduce((sum, sourceMap) => sum + (Array.isArray(sourceMap?.mappings) ? sourceMap.mappings.length : 0), 0),
|
|
95
|
+
evidenceCount: Array.isArray(importResult?.evidence) ? importResult.evidence.length : 0,
|
|
96
|
+
lossCount: Array.isArray(importResult?.losses) ? importResult.losses.length : 0,
|
|
97
|
+
losses: summarizeSemanticLosses(importResult?.losses),
|
|
98
|
+
semanticIndex: summarizeSemanticIndex(importResult?.semanticIndex),
|
|
99
|
+
semanticSidecar: summarizeLangSemanticImportSidecar(semanticSidecar),
|
|
100
|
+
universalAstLayers: summarizeUniversalAstLayers(importResult?.universalAst, semanticSidecar),
|
|
101
|
+
proofSpec: summarizeProofSpec(importResult?.universalAst?.proof, semanticSidecar),
|
|
102
|
+
paradigmSemantics: summarizeParadigmSemantics(importResult?.universalAst?.paradigmSemantics, semanticSidecar),
|
|
103
|
+
sourceProjection: summarizeNativeSourceProjection(sourceProjection),
|
|
104
|
+
nativeCompile: summarizeNativeSourceCompile(nativeCompile),
|
|
105
|
+
mergeCandidate: summarizeSemanticMergeCandidate(mergeCandidate)
|
|
106
|
+
});
|
|
107
|
+
}
|
|
108
|
+
catch (error) {
|
|
109
|
+
records.push({
|
|
110
|
+
path: file.path,
|
|
111
|
+
language: file.language,
|
|
112
|
+
status: 'error',
|
|
113
|
+
bytes: stat.size,
|
|
114
|
+
error: error instanceof Error ? error.message : String(error)
|
|
115
|
+
});
|
|
116
|
+
}
|
|
117
|
+
}
|
|
118
|
+
const sidecar = createSemanticImportSidecar(input.job, records, selection);
|
|
119
|
+
await fs.writeFile(importPath, JSON.stringify(sidecar, null, 2) + '\n');
|
|
120
|
+
return { path: importPath, sidecar };
|
|
121
|
+
}
|
|
122
|
+
//# sourceMappingURL=semantic-import.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"semantic-import.js","sourceRoot":"","sources":["../src/semantic-import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,2BAA2B,EAAE,+BAA+B,EAAE,4BAA4B,EAAE,uBAAuB,EAAE,+BAA+B,EAAE,MAAM,6BAA6B,CAAC;AACnM,OAAO,EAAE,0BAA0B,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,2BAA2B,EAAE,kCAAkC,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACvI,OAAO,EAAE,iCAAiC,EAAE,8BAA8B,EAAE,yBAAyB,EAAE,4BAA4B,EAAE,MAAM,6BAA6B,CAAC;AAEzK,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,KAMtD;IACC,MAAM,OAAO,GAAG,8BAA8B,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,CAAC,OAAO;QAAE,OAAO,SAAS,CAAC;IAC/B,MAAM,SAAS,GAAG,yBAAyB,CAAC,4BAA4B,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC,CAAC;IAClH,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;IACpC,MAAM,OAAO,GAAwC,EAAE,CAAC;IACxD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,uBAAuB,CAAC,CAAC;IACzE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC3E,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,iCAAiC,EAAE,CAAC;IACtD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;QACZ,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,OAAO;gBACf,MAAM,EAAE,2BAA2B;gBACnC,KAAK,EAAE,GAAG,CAAC,KAAK;aACjB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC3E,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC5D,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC;YACpG,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACrH,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvD,MAAM,YAAY,GAAG,GAAG,CAAC,kBAAkB,CAAC;gBAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,UAAU,EAAE,IAAI,CAAC,IAAI;gBACrB,UAAU;gBACV,MAAM,EAAE,aAAa;gBACrB,QAAQ,EAAE;oBACR,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;oBACxB,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;oBAC7B,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI;iBAC1B;aACF,CAAC,CAAC;YACH,MAAM,cAAc,GAAG,GAAG,CAAC,sCAAsC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC;YACpF,MAAM,eAAe,GAAG,GAAG,CAAC,2BAA2B;gBACrD,CAAC,CAAC,GAAG,CAAC,2BAA2B,CAAC,YAAY,EAAE;oBAC9C,UAAU,EAAE,IAAI,CAAC,IAAI;oBACrB,QAAQ,EAAE;wBACR,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE;wBACxB,WAAW,EAAE,KAAK,CAAC,GAAG,CAAC,MAAM;wBAC7B,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI;qBAC1B;iBACF,CAAC;gBACF,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,gBAAgB,GAAG,GAAG,CAAC,2BAA2B;gBACtD,CAAC,CAAC,GAAG,CAAC,2BAA2B,CAAC,YAAY,EAAE,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;gBACtF,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,aAAa,GAAG,GAAG,CAAC,mBAAmB;gBAC3C,CAAC,CAAC,GAAG,CAAC,mBAAmB,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;gBAC1H,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,CAAC;gBACxD,CAAC,CAAC,YAAY,CAAC,UAAU;gBACzB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,YAAY,EAAE,UAAU,CAAC;oBACrD,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,UAAU;oBACtC,CAAC,CAAC,EAAE,CAAC;YACT,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,UAAU;gBAClB,KAAK,EAAE,IAAI,CAAC,IAAI;gBAChB,QAAQ,EAAE,YAAY,EAAE,EAAE;gBAC1B,gBAAgB,EAAE,GAAG,CAAC,wBAAwB,IAAI,YAAY,EAAE,YAAY;oBAC1E,CAAC,CAAC,GAAG,CAAC,wBAAwB,CAAC,YAAY,CAAC,YAAY,CAAC;oBACzD,CAAC,CAAC,SAAS;gBACb,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE;gBACxC,cAAc,EAAE,YAAY,EAAE,YAAY,EAAE,EAAE;gBAC9C,cAAc,EAAE,UAAU,CAAC,MAAM;gBACjC,qBAAqB,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,SAAc,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACxJ,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBACvF,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC/E,MAAM,EAAE,uBAAuB,CAAC,YAAY,EAAE,MAAM,CAAC;gBACrD,aAAa,EAAE,sBAAsB,CAAC,YAAY,EAAE,aAAa,CAAC;gBAClE,eAAe,EAAE,kCAAkC,CAAC,eAAe,CAAC;gBACpE,kBAAkB,EAAE,2BAA2B,CAAC,YAAY,EAAE,YAAY,EAAE,eAAe,CAAC;gBAC5F,SAAS,EAAE,kBAAkB,CAAC,YAAY,EAAE,YAAY,EAAE,KAAK,EAAE,eAAe,CAAC;gBACjF,iBAAiB,EAAE,0BAA0B,CAAC,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,eAAe,CAAC;gBAC7G,gBAAgB,EAAE,+BAA+B,CAAC,gBAAgB,CAAC;gBACnE,aAAa,EAAE,4BAA4B,CAAC,aAAa,CAAC;gBAC1D,cAAc,EAAE,+BAA+B,CAAC,cAAc,CAAC;aAChE,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,IAAI,CAAC,IAAI;gBAChB,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC9D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,2BAA2B,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACxE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACvC,CAAC"}
|
|
@@ -0,0 +1,6 @@
|
|
|
1
|
+
import type { FrontierSwarmMergeBundle } from '@shapeshift-labs/frontier-swarm';
|
|
2
|
+
import type { FrontierCodexTraceSummary } from './index.js';
|
|
3
|
+
export declare function codexJobTraceSummary(job: unknown): FrontierCodexTraceSummary | undefined;
|
|
4
|
+
export declare function codexBundleTraceSummary(bundle: FrontierSwarmMergeBundle): FrontierCodexTraceSummary;
|
|
5
|
+
export declare function summarizeCodexTraceSummaries(summaries: readonly FrontierCodexTraceSummary[]): FrontierCodexTraceSummary;
|
|
6
|
+
//# sourceMappingURL=trace-summary.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"trace-summary.d.ts","sourceRoot":"","sources":["../src/trace-summary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,YAAY,CAAC;AAI5D,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,GAAG,yBAAyB,GAAG,SAAS,CAGxF;AAGD,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,wBAAwB,GAAG,yBAAyB,CAKnG;AAGD,wBAAgB,4BAA4B,CAAC,SAAS,EAAE,SAAS,yBAAyB,EAAE,GAAG,yBAAyB,CAWvH"}
|
|
@@ -0,0 +1,61 @@
|
|
|
1
|
+
import { isObject, nonNegativeNumber } from './common.js';
|
|
2
|
+
export function codexJobTraceSummary(job) {
|
|
3
|
+
if (!isObject(job) || !isObject(job.traceSummary))
|
|
4
|
+
return undefined;
|
|
5
|
+
return normalizeCodexTraceSummary(job.traceSummary);
|
|
6
|
+
}
|
|
7
|
+
export function codexBundleTraceSummary(bundle) {
|
|
8
|
+
const traceShards = isObject(bundle) && Array.isArray(bundle.traceShards)
|
|
9
|
+
? bundle.traceShards
|
|
10
|
+
: [];
|
|
11
|
+
return summarizeCodexTraceShards(traceShards);
|
|
12
|
+
}
|
|
13
|
+
export function summarizeCodexTraceSummaries(summaries) {
|
|
14
|
+
return {
|
|
15
|
+
shardCount: summaries.reduce((sum, entry) => sum + entry.shardCount, 0),
|
|
16
|
+
rowWindowCount: summaries.reduce((sum, entry) => sum + entry.rowWindowCount, 0),
|
|
17
|
+
hypothesisCount: summaries.reduce((sum, entry) => sum + entry.hypothesisCount, 0),
|
|
18
|
+
executableOwnershipRegionCount: summaries.reduce((sum, entry) => sum + entry.executableOwnershipRegionCount, 0),
|
|
19
|
+
focusedTestCount: summaries.reduce((sum, entry) => sum + entry.focusedTestCount, 0),
|
|
20
|
+
referenceEvidenceCount: summaries.reduce((sum, entry) => sum + entry.referenceEvidenceCount, 0),
|
|
21
|
+
divergenceCount: summaries.reduce((sum, entry) => sum + entry.divergenceCount, 0),
|
|
22
|
+
openDivergenceCount: summaries.reduce((sum, entry) => sum + entry.openDivergenceCount, 0)
|
|
23
|
+
};
|
|
24
|
+
}
|
|
25
|
+
function normalizeCodexTraceSummary(input) {
|
|
26
|
+
return {
|
|
27
|
+
shardCount: nonNegativeNumber(input.shardCount),
|
|
28
|
+
rowWindowCount: nonNegativeNumber(input.rowWindowCount),
|
|
29
|
+
hypothesisCount: nonNegativeNumber(input.hypothesisCount),
|
|
30
|
+
executableOwnershipRegionCount: nonNegativeNumber(input.executableOwnershipRegionCount),
|
|
31
|
+
focusedTestCount: nonNegativeNumber(input.focusedTestCount),
|
|
32
|
+
referenceEvidenceCount: nonNegativeNumber(input.referenceEvidenceCount),
|
|
33
|
+
divergenceCount: nonNegativeNumber(input.divergenceCount),
|
|
34
|
+
openDivergenceCount: nonNegativeNumber(input.openDivergenceCount)
|
|
35
|
+
};
|
|
36
|
+
}
|
|
37
|
+
function summarizeCodexTraceShards(shards) {
|
|
38
|
+
return {
|
|
39
|
+
shardCount: shards.length,
|
|
40
|
+
rowWindowCount: shards.reduce((sum, shard) => sum + traceArrayLength(shard, 'rowWindows'), 0),
|
|
41
|
+
hypothesisCount: shards.reduce((sum, shard) => sum + traceArrayLength(shard, 'hypotheses'), 0),
|
|
42
|
+
executableOwnershipRegionCount: shards.reduce((sum, shard) => sum + traceArrayLength(shard, 'executableOwnershipRegions'), 0),
|
|
43
|
+
focusedTestCount: shards.reduce((sum, shard) => sum + traceArrayLength(shard, 'focusedTests'), 0),
|
|
44
|
+
referenceEvidenceCount: shards.reduce((sum, shard) => sum + traceArrayLength(shard, 'referenceEvidence'), 0),
|
|
45
|
+
divergenceCount: shards.filter((shard) => isObject(shard) && Boolean(shard.divergence)).length,
|
|
46
|
+
openDivergenceCount: shards.filter(traceShardHasOpenDivergence).length
|
|
47
|
+
};
|
|
48
|
+
}
|
|
49
|
+
function traceArrayLength(shard, key) {
|
|
50
|
+
return isObject(shard) && Array.isArray(shard[key]) ? shard[key].length : 0;
|
|
51
|
+
}
|
|
52
|
+
function traceShardHasOpenDivergence(shard) {
|
|
53
|
+
if (!isObject(shard))
|
|
54
|
+
return false;
|
|
55
|
+
const divergence = isObject(shard.divergence) ? shard.divergence : undefined;
|
|
56
|
+
return shard.status === 'failed'
|
|
57
|
+
|| divergence?.status === 'failed'
|
|
58
|
+
|| divergence?.severity === 'error'
|
|
59
|
+
|| divergence?.severity === 'critical';
|
|
60
|
+
}
|
|
61
|
+
//# sourceMappingURL=trace-summary.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"trace-summary.js","sourceRoot":"","sources":["../src/trace-summary.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAG1D,MAAM,UAAU,oBAAoB,CAAC,GAAY;IAC/C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC;QAAE,OAAO,SAAS,CAAC;IACpE,OAAO,0BAA0B,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AACtD,CAAC;AAGD,MAAM,UAAU,uBAAuB,CAAC,MAAgC;IACtE,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAE,MAAkC,CAAC,WAAW,CAAC;QACpG,CAAC,CAAE,MAAkC,CAAC,WAAwB;QAC9D,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,yBAAyB,CAAC,WAAW,CAAC,CAAC;AAChD,CAAC;AAGD,MAAM,UAAU,4BAA4B,CAAC,SAA+C;IAC1F,OAAO;QACL,UAAU,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;QACvE,cAAc,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC;QAC/E,eAAe,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC;QACjF,8BAA8B,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,8BAA8B,EAAE,CAAC,CAAC;QAC/G,gBAAgB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC;QACnF,sBAAsB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,sBAAsB,EAAE,CAAC,CAAC;QAC/F,eAAe,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC;QACjF,mBAAmB,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC;KAC1F,CAAC;AACJ,CAAC;AAGD,SAAS,0BAA0B,CAAC,KAA8B;IAChE,OAAO;QACL,UAAU,EAAE,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,cAAc,EAAE,iBAAiB,CAAC,KAAK,CAAC,cAAc,CAAC;QACvD,eAAe,EAAE,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC;QACzD,8BAA8B,EAAE,iBAAiB,CAAC,KAAK,CAAC,8BAA8B,CAAC;QACvF,gBAAgB,EAAE,iBAAiB,CAAC,KAAK,CAAC,gBAAgB,CAAC;QAC3D,sBAAsB,EAAE,iBAAiB,CAAC,KAAK,CAAC,sBAAsB,CAAC;QACvE,eAAe,EAAE,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAC;QACzD,mBAAmB,EAAE,iBAAiB,CAAC,KAAK,CAAC,mBAAmB,CAAC;KAClE,CAAC;AACJ,CAAC;AAGD,SAAS,yBAAyB,CAAC,MAA0B;IAC3D,OAAO;QACL,UAAU,EAAE,MAAM,CAAC,MAAM;QACzB,cAAc,EAAE,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;QACrG,eAAe,EAAE,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;QACtG,8BAA8B,EAAE,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,4BAA4B,CAAC,EAAE,CAAC,CAAC;QACrI,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC;QACzG,sBAAsB,EAAE,MAAM,CAAC,MAAM,CAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,mBAAmB,CAAC,EAAE,CAAC,CAAC;QACpH,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM;QAC9F,mBAAmB,EAAE,MAAM,CAAC,MAAM,CAAC,2BAA2B,CAAC,CAAC,MAAM;KACvE,CAAC;AACJ,CAAC;AAGD,SAAS,gBAAgB,CAAC,KAAc,EAAE,GAAW;IACnD,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,KAAK,CAAC,GAAG,CAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7F,CAAC;AAGD,SAAS,2BAA2B,CAAC,KAAc;IACjD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ;WAC3B,UAAU,EAAE,MAAM,KAAK,QAAQ;WAC/B,UAAU,EAAE,QAAQ,KAAK,OAAO;WAChC,UAAU,EAAE,QAAQ,KAAK,UAAU,CAAC;AAC3C,CAAC"}
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
import type { FrontierSwarmCommand, FrontierSwarmCoordinatorDashboard, FrontierSwarmEvidenceIndex, FrontierSwarmMergeAdmission, FrontierSwarmMergeBundle, FrontierSwarmMergeIndex, FrontierSwarmQueueOverlay } from '@shapeshift-labs/frontier-swarm';
|
|
2
|
+
import type { FRONTIER_SWARM_CODEX_APPLY_LEDGER_KIND, FRONTIER_SWARM_CODEX_APPLY_LEDGER_VERSION, FRONTIER_SWARM_CODEX_COLLECTION_KIND, FRONTIER_SWARM_CODEX_COLLECTION_VERSION, FRONTIER_SWARM_CODEX_PATCH_SCORE_KIND, FRONTIER_SWARM_CODEX_PATCH_SCORE_VERSION } from './constants.js';
|
|
3
|
+
import type { FrontierCodexCompactDashboard } from './types-evidence.js';
|
|
4
|
+
export type FrontierCodexCollectBucket = 'ready-to-apply' | 'needs-human-port' | 'failed-evidence' | 'stale-against-head';
|
|
5
|
+
export interface FrontierCodexCollectInput {
|
|
6
|
+
run: string;
|
|
7
|
+
outDir?: string;
|
|
8
|
+
cwd?: string;
|
|
9
|
+
checkStale?: boolean;
|
|
10
|
+
semanticImportExpected?: boolean;
|
|
11
|
+
branchPrefix?: string;
|
|
12
|
+
}
|
|
13
|
+
export interface FrontierCodexCollectedBundle {
|
|
14
|
+
bucket: FrontierCodexCollectBucket;
|
|
15
|
+
jobId: string;
|
|
16
|
+
mergePath: string;
|
|
17
|
+
outputDir: string;
|
|
18
|
+
bundle: FrontierSwarmMergeBundle;
|
|
19
|
+
}
|
|
20
|
+
export interface FrontierCodexCollectResult {
|
|
21
|
+
kind: typeof FRONTIER_SWARM_CODEX_COLLECTION_KIND;
|
|
22
|
+
version: typeof FRONTIER_SWARM_CODEX_COLLECTION_VERSION;
|
|
23
|
+
ok: boolean;
|
|
24
|
+
runDir: string;
|
|
25
|
+
outDir: string;
|
|
26
|
+
generatedAt: number;
|
|
27
|
+
buckets: Record<FrontierCodexCollectBucket, FrontierCodexCollectedBundle[]>;
|
|
28
|
+
mergeIndex: FrontierSwarmMergeIndex;
|
|
29
|
+
queueOverlay: FrontierSwarmQueueOverlay;
|
|
30
|
+
evidenceIndex: FrontierSwarmEvidenceIndex;
|
|
31
|
+
admission: FrontierSwarmMergeAdmission;
|
|
32
|
+
dashboard: FrontierSwarmCoordinatorDashboard;
|
|
33
|
+
compactDashboard: FrontierCodexCompactDashboard;
|
|
34
|
+
summary: Record<FrontierCodexCollectBucket, number> & {
|
|
35
|
+
total: number;
|
|
36
|
+
};
|
|
37
|
+
}
|
|
38
|
+
export type FrontierCodexApplyStatus = 'checked' | 'applied' | 'committed' | 'skipped' | 'failed';
|
|
39
|
+
export interface FrontierCodexApplyInput {
|
|
40
|
+
collection?: string;
|
|
41
|
+
run?: string;
|
|
42
|
+
outDir?: string;
|
|
43
|
+
cwd?: string;
|
|
44
|
+
bucket?: FrontierCodexCollectBucket | 'all';
|
|
45
|
+
jobIds?: readonly string[];
|
|
46
|
+
dryRun?: boolean;
|
|
47
|
+
allowDirty?: boolean;
|
|
48
|
+
commit?: boolean;
|
|
49
|
+
branchPrefix?: string;
|
|
50
|
+
limit?: number;
|
|
51
|
+
}
|
|
52
|
+
export interface FrontierCodexApplyEntry {
|
|
53
|
+
jobId: string;
|
|
54
|
+
status: FrontierCodexApplyStatus;
|
|
55
|
+
bundlePath: string;
|
|
56
|
+
patchPath?: string;
|
|
57
|
+
branchName?: string;
|
|
58
|
+
commit?: string;
|
|
59
|
+
dryRun: boolean;
|
|
60
|
+
commands: Array<{
|
|
61
|
+
command: string[];
|
|
62
|
+
status: number;
|
|
63
|
+
stdoutTail: string[];
|
|
64
|
+
stderrTail: string[];
|
|
65
|
+
}>;
|
|
66
|
+
error?: string;
|
|
67
|
+
}
|
|
68
|
+
export interface FrontierCodexApplyResult {
|
|
69
|
+
kind: typeof FRONTIER_SWARM_CODEX_APPLY_LEDGER_KIND;
|
|
70
|
+
version: typeof FRONTIER_SWARM_CODEX_APPLY_LEDGER_VERSION;
|
|
71
|
+
ok: boolean;
|
|
72
|
+
cwd: string;
|
|
73
|
+
collectionDir: string;
|
|
74
|
+
outDir: string;
|
|
75
|
+
generatedAt: number;
|
|
76
|
+
dryRun: boolean;
|
|
77
|
+
entries: FrontierCodexApplyEntry[];
|
|
78
|
+
summary: {
|
|
79
|
+
total: number;
|
|
80
|
+
checked: number;
|
|
81
|
+
applied: number;
|
|
82
|
+
committed: number;
|
|
83
|
+
skipped: number;
|
|
84
|
+
failed: number;
|
|
85
|
+
};
|
|
86
|
+
}
|
|
87
|
+
export type FrontierCodexPatchScoreStatus = 'accepted-clean' | 'accepted-needs-port' | 'conflict' | 'test-fail' | 'stale' | 'evidence-only';
|
|
88
|
+
export interface FrontierCodexPatchScoreInput {
|
|
89
|
+
collection?: string;
|
|
90
|
+
run?: string;
|
|
91
|
+
outDir?: string;
|
|
92
|
+
cwd?: string;
|
|
93
|
+
bucket?: FrontierCodexCollectBucket | 'all';
|
|
94
|
+
jobIds?: readonly string[];
|
|
95
|
+
workspaceIncludes?: readonly string[];
|
|
96
|
+
workspaceExcludes?: readonly string[];
|
|
97
|
+
focusedCommands?: readonly (string | FrontierSwarmCommand)[];
|
|
98
|
+
globalCommands?: readonly (string | FrontierSwarmCommand)[];
|
|
99
|
+
globalGlobs?: readonly string[];
|
|
100
|
+
limit?: number;
|
|
101
|
+
keepWorkspaces?: boolean;
|
|
102
|
+
}
|
|
103
|
+
export interface FrontierCodexPatchScoreSemanticEvidence {
|
|
104
|
+
present: boolean;
|
|
105
|
+
total: number;
|
|
106
|
+
imported: number;
|
|
107
|
+
errors: number;
|
|
108
|
+
sourceMapMappings: number;
|
|
109
|
+
semanticSymbols: number;
|
|
110
|
+
ownershipRegions: number;
|
|
111
|
+
patchHints: number;
|
|
112
|
+
universalAstLayers: number;
|
|
113
|
+
universalAstLayerNames: string[];
|
|
114
|
+
proofSpecObligations: number;
|
|
115
|
+
proofSpecFailedObligations: number;
|
|
116
|
+
paradigmSemanticsRecords: number;
|
|
117
|
+
paradigmSemanticsGroups: number;
|
|
118
|
+
paradigmSemanticsLoweringRecords: number;
|
|
119
|
+
readiness: Record<string, number>;
|
|
120
|
+
lossesBySeverity: Record<string, number>;
|
|
121
|
+
scoreAdjustment: number;
|
|
122
|
+
cleanEligible: boolean;
|
|
123
|
+
reasons: string[];
|
|
124
|
+
}
|
|
125
|
+
export interface FrontierCodexPatchScoreEntry {
|
|
126
|
+
jobId: string;
|
|
127
|
+
status: FrontierCodexPatchScoreStatus;
|
|
128
|
+
score: number;
|
|
129
|
+
bundlePath: string;
|
|
130
|
+
patchPath?: string;
|
|
131
|
+
workspacePath?: string;
|
|
132
|
+
changedPaths: string[];
|
|
133
|
+
reasons: string[];
|
|
134
|
+
semanticEvidence: FrontierCodexPatchScoreSemanticEvidence;
|
|
135
|
+
commands: Array<{
|
|
136
|
+
command: string[];
|
|
137
|
+
status: number;
|
|
138
|
+
stdoutTail: string[];
|
|
139
|
+
stderrTail: string[];
|
|
140
|
+
}>;
|
|
141
|
+
}
|
|
142
|
+
export interface FrontierCodexPatchScoreResult {
|
|
143
|
+
kind: typeof FRONTIER_SWARM_CODEX_PATCH_SCORE_KIND;
|
|
144
|
+
version: typeof FRONTIER_SWARM_CODEX_PATCH_SCORE_VERSION;
|
|
145
|
+
ok: boolean;
|
|
146
|
+
cwd: string;
|
|
147
|
+
collectionDir: string;
|
|
148
|
+
outDir: string;
|
|
149
|
+
generatedAt: number;
|
|
150
|
+
entries: FrontierCodexPatchScoreEntry[];
|
|
151
|
+
summary: Record<FrontierCodexPatchScoreStatus, number> & {
|
|
152
|
+
total: number;
|
|
153
|
+
};
|
|
154
|
+
}
|
|
155
|
+
export type FrontierCodexHandoffArtifactKind = 'debug-handoff' | 'replay' | 'watchpoint' | 'trace' | 'diagnostic' | 'log' | 'last-message' | 'evidence' | string;
|
|
156
|
+
export interface FrontierCodexHandoffArtifact {
|
|
157
|
+
path: string;
|
|
158
|
+
kind: FrontierCodexHandoffArtifactKind;
|
|
159
|
+
bytes?: number;
|
|
160
|
+
}
|
|
161
|
+
export interface FrontierCodexHandoffDiscoveryInput {
|
|
162
|
+
root: string;
|
|
163
|
+
maxDepth?: number;
|
|
164
|
+
maxArtifacts?: number;
|
|
165
|
+
}
|
|
166
|
+
//# sourceMappingURL=types-collection.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-collection.d.ts","sourceRoot":"","sources":["../src/types-collection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,oBAAoB,EACpB,iCAAiC,EACjC,0BAA0B,EAC1B,2BAA2B,EAC3B,wBAAwB,EACxB,uBAAuB,EACvB,yBAAyB,EAC1B,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,sCAAsC,EACtC,yCAAyC,EACzC,oCAAoC,EACpC,uCAAuC,EACvC,qCAAqC,EACrC,wCAAwC,EACzC,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,qBAAqB,CAAC;AAEzE,MAAM,MAAM,0BAA0B,GAClC,gBAAgB,GAChB,kBAAkB,GAClB,iBAAiB,GACjB,oBAAoB,CAAC;AAEzB,MAAM,WAAW,yBAAyB;IACxC,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,0BAA0B,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,wBAAwB,CAAC;CAClC;AAED,MAAM,WAAW,0BAA0B;IACzC,IAAI,EAAE,OAAO,oCAAoC,CAAC;IAClD,OAAO,EAAE,OAAO,uCAAuC,CAAC;IACxD,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC,0BAA0B,EAAE,4BAA4B,EAAE,CAAC,CAAC;IAC5E,UAAU,EAAE,uBAAuB,CAAC;IACpC,YAAY,EAAE,yBAAyB,CAAC;IACxC,aAAa,EAAE,0BAA0B,CAAC;IAC1C,SAAS,EAAE,2BAA2B,CAAC;IACvC,SAAS,EAAE,iCAAiC,CAAC;IAC7C,gBAAgB,EAAE,6BAA6B,CAAC;IAChD,OAAO,EAAE,MAAM,CAAC,0BAA0B,EAAE,MAAM,CAAC,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACzE;AAED,MAAM,MAAM,wBAAwB,GAAG,SAAS,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,CAAC;AAElG,MAAM,WAAW,uBAAuB;IACtC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,0BAA0B,GAAG,KAAK,CAAC;IAC5C,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,wBAAwB,CAAC;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IACnG,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,OAAO,sCAAsC,CAAC;IACpD,OAAO,EAAE,OAAO,yCAAyC,CAAC;IAC1D,EAAE,EAAE,OAAO,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;IAChB,OAAO,EAAE,uBAAuB,EAAE,CAAC;IACnC,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,OAAO,EAAE,MAAM,CAAC;QAChB,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED,MAAM,MAAM,6BAA6B,GACrC,gBAAgB,GAChB,qBAAqB,GACrB,UAAU,GACV,WAAW,GACX,OAAO,GACP,eAAe,CAAC;AAEpB,MAAM,WAAW,4BAA4B;IAC3C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,0BAA0B,GAAG,KAAK,CAAC;IAC5C,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,eAAe,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;IAC7D,cAAc,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,oBAAoB,CAAC,EAAE,CAAC;IAC5D,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,uCAAuC;IACtD,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,sBAAsB,EAAE,MAAM,EAAE,CAAC;IACjC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,0BAA0B,EAAE,MAAM,CAAC;IACnC,wBAAwB,EAAE,MAAM,CAAC;IACjC,uBAAuB,EAAE,MAAM,CAAC;IAChC,gCAAgC,EAAE,MAAM,CAAC;IACzC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,MAAM,WAAW,4BAA4B;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,6BAA6B,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,gBAAgB,EAAE,uCAAuC,CAAC;IAC1D,QAAQ,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACpG;AAED,MAAM,WAAW,6BAA6B;IAC5C,IAAI,EAAE,OAAO,qCAAqC,CAAC;IACnD,OAAO,EAAE,OAAO,wCAAwC,CAAC;IACzD,EAAE,EAAE,OAAO,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,4BAA4B,EAAE,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,6BAA6B,EAAE,MAAM,CAAC,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5E;AAED,MAAM,MAAM,gCAAgC,GACxC,eAAe,GACf,QAAQ,GACR,YAAY,GACZ,OAAO,GACP,YAAY,GACZ,KAAK,GACL,cAAc,GACd,UAAU,GACV,MAAM,CAAC;AAEX,MAAM,WAAW,4BAA4B;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gCAAgC,CAAC;IACvC,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,kCAAkC;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-collection.js","sourceRoot":"","sources":["../src/types-collection.ts"],"names":[],"mappings":""}
|