@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,158 @@
|
|
|
1
|
+
import type { FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_KIND, FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_VERSION, FRONTIER_SWARM_CODEX_JOB_EVIDENCE_KIND, FRONTIER_SWARM_CODEX_JOB_EVIDENCE_VERSION, FRONTIER_SWARM_CODEX_PATCH_INTENT_KIND, FRONTIER_SWARM_CODEX_PATCH_INTENT_VERSION } from './constants.js';
|
|
2
|
+
import type { FrontierCodexHandoffArtifact } from './types-collection.js';
|
|
3
|
+
import type { FrontierCodexSemanticImportQuality, FrontierCodexSemanticImportSidecar } from './types-semantic.js';
|
|
4
|
+
export interface FrontierCodexPatchHunkSummary {
|
|
5
|
+
file?: string;
|
|
6
|
+
header: string;
|
|
7
|
+
oldStart?: number;
|
|
8
|
+
oldLines?: number;
|
|
9
|
+
newStart?: number;
|
|
10
|
+
newLines?: number;
|
|
11
|
+
}
|
|
12
|
+
export interface FrontierCodexTraceSummary {
|
|
13
|
+
shardCount: number;
|
|
14
|
+
rowWindowCount: number;
|
|
15
|
+
hypothesisCount: number;
|
|
16
|
+
executableOwnershipRegionCount: number;
|
|
17
|
+
focusedTestCount: number;
|
|
18
|
+
referenceEvidenceCount: number;
|
|
19
|
+
divergenceCount: number;
|
|
20
|
+
openDivergenceCount: number;
|
|
21
|
+
}
|
|
22
|
+
export interface FrontierCodexJobEvidenceSummary {
|
|
23
|
+
kind: typeof FRONTIER_SWARM_CODEX_JOB_EVIDENCE_KIND;
|
|
24
|
+
version: typeof FRONTIER_SWARM_CODEX_JOB_EVIDENCE_VERSION;
|
|
25
|
+
generatedAt: number;
|
|
26
|
+
jobId: string;
|
|
27
|
+
taskId: string;
|
|
28
|
+
lane: string;
|
|
29
|
+
status: string;
|
|
30
|
+
mergeReadiness: string;
|
|
31
|
+
disposition: string;
|
|
32
|
+
riskLevel: string;
|
|
33
|
+
changedPaths: string[];
|
|
34
|
+
changedRegions: string[];
|
|
35
|
+
ownershipViolations: string[];
|
|
36
|
+
patchPath?: string;
|
|
37
|
+
mergeBundlePath: string;
|
|
38
|
+
patchIntentPath?: string;
|
|
39
|
+
semanticImportPath?: string;
|
|
40
|
+
evidencePaths: string[];
|
|
41
|
+
handoffArtifacts: FrontierCodexHandoffArtifact[];
|
|
42
|
+
commands: {
|
|
43
|
+
passed: Array<{
|
|
44
|
+
name: string;
|
|
45
|
+
command: string[];
|
|
46
|
+
status?: number;
|
|
47
|
+
}>;
|
|
48
|
+
failed: Array<{
|
|
49
|
+
name: string;
|
|
50
|
+
command: string[];
|
|
51
|
+
status?: number;
|
|
52
|
+
}>;
|
|
53
|
+
};
|
|
54
|
+
patchHunks: FrontierCodexPatchHunkSummary[];
|
|
55
|
+
readyToPortHunkCount: number;
|
|
56
|
+
semanticImport?: FrontierCodexSemanticImportSidecar['summary'];
|
|
57
|
+
traceSummary?: FrontierCodexTraceSummary;
|
|
58
|
+
sourceCitations: Array<{
|
|
59
|
+
path: string;
|
|
60
|
+
kind: string;
|
|
61
|
+
language?: string;
|
|
62
|
+
hash?: string;
|
|
63
|
+
}>;
|
|
64
|
+
metadata?: Record<string, unknown>;
|
|
65
|
+
}
|
|
66
|
+
export interface FrontierCodexPatchIntent {
|
|
67
|
+
kind: typeof FRONTIER_SWARM_CODEX_PATCH_INTENT_KIND;
|
|
68
|
+
version: typeof FRONTIER_SWARM_CODEX_PATCH_INTENT_VERSION;
|
|
69
|
+
generatedAt: number;
|
|
70
|
+
jobId: string;
|
|
71
|
+
taskId: string;
|
|
72
|
+
lane: string;
|
|
73
|
+
changedPaths: string[];
|
|
74
|
+
changedRegions: string[];
|
|
75
|
+
intent: string;
|
|
76
|
+
why: string;
|
|
77
|
+
riskLevel: string;
|
|
78
|
+
mergeReadiness: string;
|
|
79
|
+
disposition: string;
|
|
80
|
+
safeToPortManually: boolean;
|
|
81
|
+
verification: Array<{
|
|
82
|
+
name: string;
|
|
83
|
+
command: string[];
|
|
84
|
+
status?: number;
|
|
85
|
+
required: boolean;
|
|
86
|
+
}>;
|
|
87
|
+
evidencePaths: string[];
|
|
88
|
+
semanticImportQuality: FrontierCodexSemanticImportQuality;
|
|
89
|
+
patchHunks: FrontierCodexPatchHunkSummary[];
|
|
90
|
+
warnings: string[];
|
|
91
|
+
}
|
|
92
|
+
export interface FrontierCodexLogSummary {
|
|
93
|
+
eventsPath: string;
|
|
94
|
+
stderrPath: string;
|
|
95
|
+
eventBytes: number;
|
|
96
|
+
stderrBytes: number;
|
|
97
|
+
eventBytesWritten: number;
|
|
98
|
+
stderrBytesWritten: number;
|
|
99
|
+
eventBytesTruncated: number;
|
|
100
|
+
stderrBytesTruncated: number;
|
|
101
|
+
}
|
|
102
|
+
export interface FrontierCodexCompactDashboard {
|
|
103
|
+
kind: typeof FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_KIND;
|
|
104
|
+
version: typeof FRONTIER_SWARM_CODEX_COMPACT_DASHBOARD_VERSION;
|
|
105
|
+
generatedAt: number;
|
|
106
|
+
runDir: string;
|
|
107
|
+
total: number;
|
|
108
|
+
activeJobs: number;
|
|
109
|
+
usefulPatchCount: number;
|
|
110
|
+
stalePatchCount: number;
|
|
111
|
+
duplicateDiscoveryCount: number;
|
|
112
|
+
semanticImport: {
|
|
113
|
+
expected: boolean;
|
|
114
|
+
presentCount: number;
|
|
115
|
+
emptyCount: number;
|
|
116
|
+
weakCount: number;
|
|
117
|
+
symbolCount: number;
|
|
118
|
+
ownershipRegionCount: number;
|
|
119
|
+
patchHintCount: number;
|
|
120
|
+
universalAstLayerCount: number;
|
|
121
|
+
universalAstLayerNames: string[];
|
|
122
|
+
proofSpecObligations: number;
|
|
123
|
+
proofSpecFailedObligations: number;
|
|
124
|
+
paradigmSemanticsRecords: number;
|
|
125
|
+
paradigmSemanticsGroups: number;
|
|
126
|
+
paradigmSemanticsLoweringRecords: number;
|
|
127
|
+
};
|
|
128
|
+
trace: {
|
|
129
|
+
shardCount: number;
|
|
130
|
+
jobsWithTraceShards: number;
|
|
131
|
+
rowWindowCount: number;
|
|
132
|
+
hypothesisCount: number;
|
|
133
|
+
executableOwnershipRegionCount: number;
|
|
134
|
+
focusedTestCount: number;
|
|
135
|
+
referenceEvidenceCount: number;
|
|
136
|
+
divergenceCount: number;
|
|
137
|
+
openDivergenceCount: number;
|
|
138
|
+
};
|
|
139
|
+
evidence: {
|
|
140
|
+
readyToApply: number;
|
|
141
|
+
needsHumanPort: number;
|
|
142
|
+
failedEvidence: number;
|
|
143
|
+
averageMergeScore: number;
|
|
144
|
+
};
|
|
145
|
+
topJobs: Array<{
|
|
146
|
+
jobId: string;
|
|
147
|
+
lane?: string;
|
|
148
|
+
disposition: string;
|
|
149
|
+
mergeScore: number;
|
|
150
|
+
changedPaths: string[];
|
|
151
|
+
semanticImportQuality?: FrontierCodexSemanticImportQuality;
|
|
152
|
+
traceSummary?: FrontierCodexTraceSummary;
|
|
153
|
+
staleAgainstHead: boolean;
|
|
154
|
+
duplicateGroupId?: string;
|
|
155
|
+
evidencePaths: string[];
|
|
156
|
+
}>;
|
|
157
|
+
}
|
|
158
|
+
//# sourceMappingURL=types-evidence.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-evidence.d.ts","sourceRoot":"","sources":["../src/types-evidence.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,2CAA2C,EAC3C,8CAA8C,EAC9C,sCAAsC,EACtC,yCAAyC,EACzC,sCAAsC,EACtC,yCAAyC,EAC1C,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,KAAK,EAAE,kCAAkC,EAAE,kCAAkC,EAAE,MAAM,qBAAqB,CAAC;AAElH,MAAM,WAAW,6BAA6B;IAC5C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,yBAAyB;IACxC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,8BAA8B,EAAE,MAAM,CAAC;IACvC,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,+BAA+B;IAC9C,IAAI,EAAE,OAAO,sCAAsC,CAAC;IACpD,OAAO,EAAE,OAAO,yCAAyC,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,gBAAgB,EAAE,4BAA4B,EAAE,CAAC;IACjD,QAAQ,EAAE;QACR,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;QACpE,MAAM,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,EAAE,CAAC;YAAC,MAAM,CAAC,EAAE,MAAM,CAAA;SAAE,CAAC,CAAC;KACrE,CAAC;IACF,UAAU,EAAE,6BAA6B,EAAE,CAAC;IAC5C,oBAAoB,EAAE,MAAM,CAAC;IAC7B,cAAc,CAAC,EAAE,kCAAkC,CAAC,SAAS,CAAC,CAAC;IAC/D,YAAY,CAAC,EAAE,yBAAyB,CAAC;IACzC,eAAe,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACzF,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,OAAO,sCAAsC,CAAC;IACpD,OAAO,EAAE,OAAO,yCAAyC,CAAC;IAC1D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,YAAY,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAC;QAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC7F,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qBAAqB,EAAE,kCAAkC,CAAC;IAC1D,UAAU,EAAE,6BAA6B,EAAE,CAAC;IAC5C,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,6BAA6B;IAC5C,IAAI,EAAE,OAAO,2CAA2C,CAAC;IACzD,OAAO,EAAE,OAAO,8CAA8C,CAAC;IAC/D,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,uBAAuB,EAAE,MAAM,CAAC;IAChC,cAAc,EAAE;QACd,QAAQ,EAAE,OAAO,CAAC;QAClB,YAAY,EAAE,MAAM,CAAC;QACrB,UAAU,EAAE,MAAM,CAAC;QACnB,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,oBAAoB,EAAE,MAAM,CAAC;QAC7B,cAAc,EAAE,MAAM,CAAC;QACvB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,sBAAsB,EAAE,MAAM,EAAE,CAAC;QACjC,oBAAoB,EAAE,MAAM,CAAC;QAC7B,0BAA0B,EAAE,MAAM,CAAC;QACnC,wBAAwB,EAAE,MAAM,CAAC;QACjC,uBAAuB,EAAE,MAAM,CAAC;QAChC,gCAAgC,EAAE,MAAM,CAAC;KAC1C,CAAC;IACF,KAAK,EAAE;QACL,UAAU,EAAE,MAAM,CAAC;QACnB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,cAAc,EAAE,MAAM,CAAC;QACvB,eAAe,EAAE,MAAM,CAAC;QACxB,8BAA8B,EAAE,MAAM,CAAC;QACvC,gBAAgB,EAAE,MAAM,CAAC;QACzB,sBAAsB,EAAE,MAAM,CAAC;QAC/B,eAAe,EAAE,MAAM,CAAC;QACxB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;IACF,QAAQ,EAAE;QACR,YAAY,EAAE,MAAM,CAAC;QACrB,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,MAAM,CAAC;QACvB,iBAAiB,EAAE,MAAM,CAAC;KAC3B,CAAC;IACF,OAAO,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,CAAC,EAAE,MAAM,CAAC;QACd,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,EAAE,CAAC;QACvB,qBAAqB,CAAC,EAAE,kCAAkC,CAAC;QAC3D,YAAY,CAAC,EAAE,yBAAyB,CAAC;QACzC,gBAAgB,EAAE,OAAO,CAAC;QAC1B,gBAAgB,CAAC,EAAE,MAAM,CAAC;QAC1B,aAAa,EAAE,MAAM,EAAE,CAAC;KACzB,CAAC,CAAC;CACJ"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-evidence.js","sourceRoot":"","sources":["../src/types-evidence.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,161 @@
|
|
|
1
|
+
import type { createSwarmProof, FrontierSwarmEventStream, FrontierSwarmJob, FrontierSwarmJobResultInput, FrontierSwarmPlan, FrontierSwarmPlanInput, FrontierSwarmRun } from '@shapeshift-labs/frontier-swarm';
|
|
2
|
+
import type { FrontierCodexSemanticImportOptions } from './types-semantic.js';
|
|
3
|
+
import type { FrontierCodexLogSummary } from './types-evidence.js';
|
|
4
|
+
import type { FrontierCodexWorkspacePlan } from './types-workspace.js';
|
|
5
|
+
export type FrontierCodexModelPolicy = 'config-default' | 'plan' | 'explicit';
|
|
6
|
+
export type FrontierCodexSwarmWorkspaceMode = 'current' | 'git-worktree' | 'snapshot' | 'copy';
|
|
7
|
+
export interface FrontierCodexSwarmWorkspaceInput {
|
|
8
|
+
mode?: FrontierCodexSwarmWorkspaceMode;
|
|
9
|
+
root?: string;
|
|
10
|
+
create?: boolean;
|
|
11
|
+
replace?: boolean;
|
|
12
|
+
includes?: readonly string[];
|
|
13
|
+
excludes?: readonly string[];
|
|
14
|
+
artifactIncludes?: readonly string[];
|
|
15
|
+
linkPaths?: readonly string[];
|
|
16
|
+
requiredIncludes?: readonly string[];
|
|
17
|
+
optionalIncludes?: readonly string[];
|
|
18
|
+
strategy?: 'fs-cp' | 'rsync' | 'git-archive' | string;
|
|
19
|
+
guardRoot?: string;
|
|
20
|
+
linkNodeModules?: boolean;
|
|
21
|
+
skipGitRepoCheck?: boolean;
|
|
22
|
+
}
|
|
23
|
+
export interface FrontierCodexAdaptiveConcurrencyOptions {
|
|
24
|
+
enabled?: boolean;
|
|
25
|
+
mode?: 'observe' | 'conservative' | 'balanced' | 'aggressive' | string;
|
|
26
|
+
minConcurrency?: number;
|
|
27
|
+
maxConcurrency?: number;
|
|
28
|
+
writePlan?: boolean;
|
|
29
|
+
}
|
|
30
|
+
export interface FrontierCodexCompactLogOptions {
|
|
31
|
+
enabled?: boolean;
|
|
32
|
+
maxEventBytes?: number;
|
|
33
|
+
maxStderrBytes?: number;
|
|
34
|
+
}
|
|
35
|
+
export interface FrontierCodexBrowserAllocation {
|
|
36
|
+
required: boolean;
|
|
37
|
+
portPool: string[];
|
|
38
|
+
port?: string;
|
|
39
|
+
profileDir?: string;
|
|
40
|
+
headless?: boolean;
|
|
41
|
+
}
|
|
42
|
+
export interface FrontierCodexResourceAllocation {
|
|
43
|
+
capabilities: string[];
|
|
44
|
+
resources: Record<string, number>;
|
|
45
|
+
env: Record<string, string>;
|
|
46
|
+
browser?: FrontierCodexBrowserAllocation;
|
|
47
|
+
}
|
|
48
|
+
export interface FrontierCodexJobPaths {
|
|
49
|
+
jobDir: string;
|
|
50
|
+
promptPath: string;
|
|
51
|
+
eventsPath: string;
|
|
52
|
+
stderrPath: string;
|
|
53
|
+
lastMessagePath: string;
|
|
54
|
+
evidenceDir: string;
|
|
55
|
+
resourceAllocationPath: string;
|
|
56
|
+
workspaceProofPath: string;
|
|
57
|
+
patchPath: string;
|
|
58
|
+
mergeBundlePath: string;
|
|
59
|
+
patchIntentPath: string;
|
|
60
|
+
logSummaryPath: string;
|
|
61
|
+
pidManifestPath: string;
|
|
62
|
+
}
|
|
63
|
+
export interface FrontierCodexExecutorInput {
|
|
64
|
+
job: FrontierSwarmJob;
|
|
65
|
+
prompt: string;
|
|
66
|
+
args: string[];
|
|
67
|
+
cwd: string;
|
|
68
|
+
workspacePath: string;
|
|
69
|
+
codexPath: string;
|
|
70
|
+
paths: FrontierCodexJobPaths;
|
|
71
|
+
resourceAllocation: FrontierCodexResourceAllocation;
|
|
72
|
+
env: Record<string, string>;
|
|
73
|
+
timeoutMs: number;
|
|
74
|
+
compactLogs?: FrontierCodexCompactLogOptions;
|
|
75
|
+
}
|
|
76
|
+
export interface FrontierCodexExecutorResult {
|
|
77
|
+
exitCode: number;
|
|
78
|
+
signal?: string;
|
|
79
|
+
changedPaths?: readonly string[];
|
|
80
|
+
lastMessage?: string;
|
|
81
|
+
logSummary?: FrontierCodexLogSummary;
|
|
82
|
+
error?: unknown;
|
|
83
|
+
}
|
|
84
|
+
export type FrontierCodexExecutor = (input: FrontierCodexExecutorInput) => Promise<FrontierCodexExecutorResult>;
|
|
85
|
+
export interface FrontierCodexJobHookInput {
|
|
86
|
+
job: FrontierSwarmJob;
|
|
87
|
+
cwd: string;
|
|
88
|
+
outDir: string;
|
|
89
|
+
workspacePath: string;
|
|
90
|
+
workspacePlan: FrontierCodexWorkspacePlan;
|
|
91
|
+
paths: FrontierCodexJobPaths;
|
|
92
|
+
resourceAllocation: FrontierCodexResourceAllocation;
|
|
93
|
+
}
|
|
94
|
+
export interface FrontierCodexJobPromptHookInput extends FrontierCodexJobHookInput {
|
|
95
|
+
prompt: string;
|
|
96
|
+
}
|
|
97
|
+
export interface FrontierCodexJobStartedHookInput extends FrontierCodexJobHookInput {
|
|
98
|
+
prompt: string;
|
|
99
|
+
args: string[];
|
|
100
|
+
}
|
|
101
|
+
export interface FrontierCodexJobFinishedHookInput {
|
|
102
|
+
job: FrontierSwarmJob;
|
|
103
|
+
result: FrontierSwarmJobResultInput;
|
|
104
|
+
}
|
|
105
|
+
export interface FrontierCodexSwarmFinishedHookInput {
|
|
106
|
+
result: FrontierCodexSwarmRunResult;
|
|
107
|
+
}
|
|
108
|
+
export type FrontierCodexJobWorkspaceHook = (input: FrontierCodexJobHookInput) => Promise<void> | void;
|
|
109
|
+
export type FrontierCodexJobPromptHook = (input: FrontierCodexJobPromptHookInput) => Promise<string> | string;
|
|
110
|
+
export type FrontierCodexChangedPathFilter = (paths: readonly string[], input: FrontierCodexJobHookInput) => readonly string[];
|
|
111
|
+
export type FrontierCodexJobStartedHook = (input: FrontierCodexJobStartedHookInput) => Promise<void> | void;
|
|
112
|
+
export type FrontierCodexJobFinishedHook = (input: FrontierCodexJobFinishedHookInput) => Promise<void> | void;
|
|
113
|
+
export type FrontierCodexSwarmFinishedHook = (input: FrontierCodexSwarmFinishedHookInput) => Promise<void> | void;
|
|
114
|
+
export interface FrontierCodexSwarmRunOptions {
|
|
115
|
+
outDir: string;
|
|
116
|
+
cwd?: string;
|
|
117
|
+
codexPath?: string;
|
|
118
|
+
maxConcurrency?: number;
|
|
119
|
+
adaptiveConcurrency?: boolean | FrontierCodexAdaptiveConcurrencyOptions;
|
|
120
|
+
compactLogs?: boolean | FrontierCodexCompactLogOptions;
|
|
121
|
+
semanticImportExpected?: boolean;
|
|
122
|
+
workspace?: FrontierCodexSwarmWorkspaceInput;
|
|
123
|
+
sandbox?: string;
|
|
124
|
+
approval?: string | false;
|
|
125
|
+
model?: string | false;
|
|
126
|
+
modelPolicy?: FrontierCodexModelPolicy;
|
|
127
|
+
forwardPlanModel?: boolean;
|
|
128
|
+
forwardPlanReasoningEffort?: boolean;
|
|
129
|
+
reasoningEffort?: string | false;
|
|
130
|
+
profile?: string;
|
|
131
|
+
ephemeral?: boolean;
|
|
132
|
+
dryRun?: boolean;
|
|
133
|
+
runVerification?: boolean;
|
|
134
|
+
collectGitStatus?: boolean;
|
|
135
|
+
jobTimeoutMs?: number;
|
|
136
|
+
addDirs?: readonly string[];
|
|
137
|
+
executor?: FrontierCodexExecutor;
|
|
138
|
+
eventStream?: FrontierSwarmEventStream;
|
|
139
|
+
coordinatorSnapshotPath?: string;
|
|
140
|
+
pidManifestPath?: string;
|
|
141
|
+
prepareJobWorkspace?: FrontierCodexJobWorkspaceHook;
|
|
142
|
+
renderJobPrompt?: FrontierCodexJobPromptHook;
|
|
143
|
+
changedPathFilter?: FrontierCodexChangedPathFilter;
|
|
144
|
+
semanticImport?: boolean | FrontierCodexSemanticImportOptions;
|
|
145
|
+
onJobStarted?: FrontierCodexJobStartedHook;
|
|
146
|
+
onJobFinished?: FrontierCodexJobFinishedHook;
|
|
147
|
+
onSwarmFinished?: FrontierCodexSwarmFinishedHook;
|
|
148
|
+
}
|
|
149
|
+
export interface FrontierCodexSwarmRunResult {
|
|
150
|
+
ok: boolean;
|
|
151
|
+
outDir: string;
|
|
152
|
+
plan: FrontierSwarmPlan;
|
|
153
|
+
run: FrontierSwarmRun;
|
|
154
|
+
proof: ReturnType<typeof createSwarmProof>;
|
|
155
|
+
}
|
|
156
|
+
export interface FrontierCodexSwarmCliInput {
|
|
157
|
+
manifest: unknown;
|
|
158
|
+
tasks: unknown;
|
|
159
|
+
plan?: FrontierSwarmPlanInput;
|
|
160
|
+
}
|
|
161
|
+
//# sourceMappingURL=types-run.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-run.d.ts","sourceRoot":"","sources":["../src/types-run.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,2BAA2B,EAG3B,iBAAiB,EACjB,sBAAsB,EACtB,gBAAgB,EAEjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAAE,kCAAkC,EAAE,MAAM,qBAAqB,CAAC;AAC9E,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAEvE,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG,MAAM,GAAG,UAAU,CAAC;AAE9E,MAAM,MAAM,+BAA+B,GAAG,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,MAAM,CAAC;AAE/F,MAAM,WAAW,gCAAgC;IAC/C,IAAI,CAAC,EAAE,+BAA+B,CAAC;IACvC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,EAAE,OAAO,GAAG,OAAO,GAAG,aAAa,GAAG,MAAM,CAAC;IACtD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,WAAW,uCAAuC;IACtD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,SAAS,GAAG,cAAc,GAAG,UAAU,GAAG,YAAY,GAAG,MAAM,CAAC;IACvE,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,MAAM,WAAW,8BAA8B;IAC7C,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,EAAE,OAAO,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,+BAA+B;IAC9C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B,OAAO,CAAC,EAAE,8BAA8B,CAAC;CAC1C;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB,EAAE,MAAM,CAAC;IAC/B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,0BAA0B;IACzC,GAAG,EAAE,gBAAgB,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,qBAAqB,CAAC;IAC7B,kBAAkB,EAAE,+BAA+B,CAAC;IACpD,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,CAAC,EAAE,8BAA8B,CAAC;CAC9C;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,uBAAuB,CAAC;IACrC,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,qBAAqB,GAAG,CAAC,KAAK,EAAE,0BAA0B,KAAK,OAAO,CAAC,2BAA2B,CAAC,CAAC;AAEhH,MAAM,WAAW,yBAAyB;IACxC,GAAG,EAAE,gBAAgB,CAAC;IACtB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,0BAA0B,CAAC;IAC1C,KAAK,EAAE,qBAAqB,CAAC;IAC7B,kBAAkB,EAAE,+BAA+B,CAAC;CACrD;AAED,MAAM,WAAW,+BAAgC,SAAQ,yBAAyB;IAChF,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,gCAAiC,SAAQ,yBAAyB;IACjF,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,EAAE,CAAC;CAChB;AAED,MAAM,WAAW,iCAAiC;IAChD,GAAG,EAAE,gBAAgB,CAAC;IACtB,MAAM,EAAE,2BAA2B,CAAC;CACrC;AAED,MAAM,WAAW,mCAAmC;IAClD,MAAM,EAAE,2BAA2B,CAAC;CACrC;AAED,MAAM,MAAM,6BAA6B,GAAG,CAAC,KAAK,EAAE,yBAAyB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAEvG,MAAM,MAAM,0BAA0B,GAAG,CAAC,KAAK,EAAE,+BAA+B,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;AAE9G,MAAM,MAAM,8BAA8B,GAAG,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,yBAAyB,KAAK,SAAS,MAAM,EAAE,CAAC;AAE/H,MAAM,MAAM,2BAA2B,GAAG,CAAC,KAAK,EAAE,gCAAgC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE5G,MAAM,MAAM,4BAA4B,GAAG,CAAC,KAAK,EAAE,iCAAiC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAE9G,MAAM,MAAM,8BAA8B,GAAG,CAAC,KAAK,EAAE,mCAAmC,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAElH,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,mBAAmB,CAAC,EAAE,OAAO,GAAG,uCAAuC,CAAC;IACxE,WAAW,CAAC,EAAE,OAAO,GAAG,8BAA8B,CAAC;IACvD,sBAAsB,CAAC,EAAE,OAAO,CAAC;IACjC,SAAS,CAAC,EAAE,gCAAgC,CAAC;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IAC1B,KAAK,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACvB,WAAW,CAAC,EAAE,wBAAwB,CAAC;IACvC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,0BAA0B,CAAC,EAAE,OAAO,CAAC;IACrC,eAAe,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,QAAQ,CAAC,EAAE,qBAAqB,CAAC;IACjC,WAAW,CAAC,EAAE,wBAAwB,CAAC;IACvC,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,mBAAmB,CAAC,EAAE,6BAA6B,CAAC;IACpD,eAAe,CAAC,EAAE,0BAA0B,CAAC;IAC7C,iBAAiB,CAAC,EAAE,8BAA8B,CAAC;IACnD,cAAc,CAAC,EAAE,OAAO,GAAG,kCAAkC,CAAC;IAC9D,YAAY,CAAC,EAAE,2BAA2B,CAAC;IAC3C,aAAa,CAAC,EAAE,4BAA4B,CAAC;IAC7C,eAAe,CAAC,EAAE,8BAA8B,CAAC;CAClD;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,iBAAiB,CAAC;IACxB,GAAG,EAAE,gBAAgB,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC,OAAO,gBAAgB,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB,KAAK,EAAE,OAAO,CAAC;IACf,IAAI,CAAC,EAAE,sBAAsB,CAAC;CAC/B"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-run.js","sourceRoot":"","sources":["../src/types-run.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,192 @@
|
|
|
1
|
+
import type { FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND, FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION } from './constants.js';
|
|
2
|
+
export interface FrontierCodexSemanticImportOptions {
|
|
3
|
+
enabled?: boolean;
|
|
4
|
+
maxFiles?: number;
|
|
5
|
+
maxBytes?: number;
|
|
6
|
+
include?: readonly string[];
|
|
7
|
+
exclude?: readonly string[];
|
|
8
|
+
languages?: Readonly<Record<string, string>>;
|
|
9
|
+
}
|
|
10
|
+
export interface FrontierCodexSemanticImportRecord {
|
|
11
|
+
path: string;
|
|
12
|
+
language?: string;
|
|
13
|
+
status: 'imported' | 'skipped' | 'error';
|
|
14
|
+
reason?: string;
|
|
15
|
+
bytes?: number;
|
|
16
|
+
importId?: string;
|
|
17
|
+
universalAstHash?: string;
|
|
18
|
+
nativeAstId?: string;
|
|
19
|
+
nativeSourceId?: string;
|
|
20
|
+
sourceMapCount?: number;
|
|
21
|
+
sourceMapMappingCount?: number;
|
|
22
|
+
evidenceCount?: number;
|
|
23
|
+
lossCount?: number;
|
|
24
|
+
losses?: unknown;
|
|
25
|
+
semanticIndex?: {
|
|
26
|
+
documents: number;
|
|
27
|
+
symbols: number;
|
|
28
|
+
occurrences: number;
|
|
29
|
+
relations: number;
|
|
30
|
+
facts: number;
|
|
31
|
+
};
|
|
32
|
+
semanticSidecar?: unknown;
|
|
33
|
+
universalAstLayers?: FrontierCodexUniversalAstLayerSummary;
|
|
34
|
+
proofSpec?: FrontierCodexProofSpecSummary;
|
|
35
|
+
paradigmSemantics?: FrontierCodexParadigmSemanticsSummary;
|
|
36
|
+
sourceProjection?: unknown;
|
|
37
|
+
nativeCompile?: unknown;
|
|
38
|
+
mergeCandidate?: unknown;
|
|
39
|
+
error?: string;
|
|
40
|
+
}
|
|
41
|
+
export interface FrontierCodexUniversalAstLayerSummary {
|
|
42
|
+
total: number;
|
|
43
|
+
names: string[];
|
|
44
|
+
ids: string[];
|
|
45
|
+
byName: Record<string, number>;
|
|
46
|
+
empty: boolean;
|
|
47
|
+
}
|
|
48
|
+
export interface FrontierCodexProofSpecSummary {
|
|
49
|
+
total: number;
|
|
50
|
+
ids: string[];
|
|
51
|
+
contracts: number;
|
|
52
|
+
refinements: number;
|
|
53
|
+
invariants: number;
|
|
54
|
+
termination: number;
|
|
55
|
+
temporal: number;
|
|
56
|
+
obligations: number;
|
|
57
|
+
artifacts: number;
|
|
58
|
+
assumptions: number;
|
|
59
|
+
evidence: number;
|
|
60
|
+
discharged: number;
|
|
61
|
+
failed: number;
|
|
62
|
+
open: number;
|
|
63
|
+
unknown: number;
|
|
64
|
+
stale: number;
|
|
65
|
+
assumed: number;
|
|
66
|
+
contractKinds: string[];
|
|
67
|
+
artifactKinds: string[];
|
|
68
|
+
byStatus: Record<string, number>;
|
|
69
|
+
byContractKind: Record<string, number>;
|
|
70
|
+
byArtifactKind: Record<string, number>;
|
|
71
|
+
empty: boolean;
|
|
72
|
+
}
|
|
73
|
+
export interface FrontierCodexParadigmSemanticsSummary {
|
|
74
|
+
total: number;
|
|
75
|
+
ids: string[];
|
|
76
|
+
groups: string[];
|
|
77
|
+
kinds: string[];
|
|
78
|
+
evidence: number;
|
|
79
|
+
bindingScopes: number;
|
|
80
|
+
bindings: number;
|
|
81
|
+
patterns: number;
|
|
82
|
+
typeConstraints: number;
|
|
83
|
+
evaluationModels: number;
|
|
84
|
+
memoryLocations: number;
|
|
85
|
+
effectRegions: number;
|
|
86
|
+
controlRegions: number;
|
|
87
|
+
logicPrograms: number;
|
|
88
|
+
actorSystems: number;
|
|
89
|
+
stackEffects: number;
|
|
90
|
+
arrayShapes: number;
|
|
91
|
+
numericKernels: number;
|
|
92
|
+
dataflowNetworks: number;
|
|
93
|
+
clockModels: number;
|
|
94
|
+
objectModels: number;
|
|
95
|
+
macroExpansions: number;
|
|
96
|
+
reflectionBoundaries: number;
|
|
97
|
+
loweringRecords: number;
|
|
98
|
+
byGroup: Record<string, number>;
|
|
99
|
+
byKind: Record<string, number>;
|
|
100
|
+
hasRuntimeSemantics: boolean;
|
|
101
|
+
hasLogicSemantics: boolean;
|
|
102
|
+
hasStackSemantics: boolean;
|
|
103
|
+
hasArraySemantics: boolean;
|
|
104
|
+
hasMacroOrReflection: boolean;
|
|
105
|
+
hasLowering: boolean;
|
|
106
|
+
empty: boolean;
|
|
107
|
+
}
|
|
108
|
+
export interface FrontierCodexSemanticImportSidecar {
|
|
109
|
+
kind: typeof FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_KIND;
|
|
110
|
+
version: typeof FRONTIER_SWARM_CODEX_SEMANTIC_IMPORT_VERSION;
|
|
111
|
+
generatedAt: number;
|
|
112
|
+
jobId: string;
|
|
113
|
+
taskId?: string;
|
|
114
|
+
records: FrontierCodexSemanticImportRecord[];
|
|
115
|
+
summary: {
|
|
116
|
+
total: number;
|
|
117
|
+
selected: number;
|
|
118
|
+
selection: {
|
|
119
|
+
candidates: number;
|
|
120
|
+
ignored: number;
|
|
121
|
+
includeFiltered: number;
|
|
122
|
+
excludeFiltered: number;
|
|
123
|
+
unsupportedLanguage: number;
|
|
124
|
+
};
|
|
125
|
+
eligible: number;
|
|
126
|
+
omitted: number;
|
|
127
|
+
maxFiles: number;
|
|
128
|
+
imported: number;
|
|
129
|
+
skipped: number;
|
|
130
|
+
errors: number;
|
|
131
|
+
sourceMapCount: number;
|
|
132
|
+
sourceMapMappingCount: number;
|
|
133
|
+
lossCount: number;
|
|
134
|
+
lossesBySeverity: Record<string, number>;
|
|
135
|
+
semanticIndex: {
|
|
136
|
+
documents: number;
|
|
137
|
+
symbols: number;
|
|
138
|
+
occurrences: number;
|
|
139
|
+
relations: number;
|
|
140
|
+
facts: number;
|
|
141
|
+
};
|
|
142
|
+
semanticSidecars: {
|
|
143
|
+
total: number;
|
|
144
|
+
symbols: number;
|
|
145
|
+
ownershipRegions: number;
|
|
146
|
+
patchHints: number;
|
|
147
|
+
empty: number;
|
|
148
|
+
};
|
|
149
|
+
universalAstLayers: FrontierCodexUniversalAstLayerSummary;
|
|
150
|
+
proofSpec: FrontierCodexProofSpecSummary;
|
|
151
|
+
paradigmSemantics: FrontierCodexParadigmSemanticsSummary;
|
|
152
|
+
sourceProjections: {
|
|
153
|
+
total: number;
|
|
154
|
+
preserved: number;
|
|
155
|
+
stubs: number;
|
|
156
|
+
ready: number;
|
|
157
|
+
needsReview: number;
|
|
158
|
+
blocked: number;
|
|
159
|
+
};
|
|
160
|
+
nativeCompiles: {
|
|
161
|
+
total: number;
|
|
162
|
+
emitted: number;
|
|
163
|
+
preserved: number;
|
|
164
|
+
targetStubs: number;
|
|
165
|
+
ready: number;
|
|
166
|
+
needsReview: number;
|
|
167
|
+
blocked: number;
|
|
168
|
+
};
|
|
169
|
+
readiness: Record<string, number>;
|
|
170
|
+
};
|
|
171
|
+
}
|
|
172
|
+
export interface FrontierCodexSemanticImportQuality {
|
|
173
|
+
expected: boolean;
|
|
174
|
+
present: boolean;
|
|
175
|
+
empty: boolean;
|
|
176
|
+
selected: number;
|
|
177
|
+
eligible: number;
|
|
178
|
+
imported: number;
|
|
179
|
+
symbols: number;
|
|
180
|
+
ownershipRegions: number;
|
|
181
|
+
patchHints: number;
|
|
182
|
+
sourceMapMappings: number;
|
|
183
|
+
universalAstLayers: number;
|
|
184
|
+
universalAstLayerNames: string[];
|
|
185
|
+
proofSpecObligations: number;
|
|
186
|
+
proofSpecFailedObligations: number;
|
|
187
|
+
paradigmSemanticsRecords: number;
|
|
188
|
+
paradigmSemanticsGroups: number;
|
|
189
|
+
paradigmSemanticsLoweringRecords: number;
|
|
190
|
+
warnings: string[];
|
|
191
|
+
}
|
|
192
|
+
//# sourceMappingURL=types-semantic.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-semantic.d.ts","sourceRoot":"","sources":["../src/types-semantic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,yCAAyC,EACzC,4CAA4C,EAC7C,MAAM,gBAAgB,CAAC;AAExB,MAAM,WAAW,kCAAkC;IACjD,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C;AAED,MAAM,WAAW,iCAAiC;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAAC;IACzC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,aAAa,CAAC,EAAE;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,OAAO,EAAE,MAAM,CAAC;QAChB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;IACF,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,kBAAkB,CAAC,EAAE,qCAAqC,CAAC;IAC3D,SAAS,CAAC,EAAE,6BAA6B,CAAC;IAC1C,iBAAiB,CAAC,EAAE,qCAAqC,CAAC;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,cAAc,CAAC,EAAE,OAAO,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,qCAAqC;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,6BAA6B;IAC5C,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACvC,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,qCAAqC;IACpD,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,EAAE,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC/B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,iBAAiB,EAAE,OAAO,CAAC;IAC3B,oBAAoB,EAAE,OAAO,CAAC;IAC9B,WAAW,EAAE,OAAO,CAAC;IACrB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,WAAW,kCAAkC;IACjD,IAAI,EAAE,OAAO,yCAAyC,CAAC;IACvD,OAAO,EAAE,OAAO,4CAA4C,CAAC;IAC7D,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,iCAAiC,EAAE,CAAC;IAC7C,OAAO,EAAE;QACP,KAAK,EAAE,MAAM,CAAC;QACd,QAAQ,EAAE,MAAM,CAAC;QACjB,SAAS,EAAE;YACT,UAAU,EAAE,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC;YAChB,eAAe,EAAE,MAAM,CAAC;YACxB,eAAe,EAAE,MAAM,CAAC;YACxB,mBAAmB,EAAE,MAAM,CAAC;SAC7B,CAAC;QACF,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,cAAc,EAAE,MAAM,CAAC;QACvB,qBAAqB,EAAE,MAAM,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC;QAClB,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACzC,aAAa,EAAE;YACb,SAAS,EAAE,MAAM,CAAC;YAClB,OAAO,EAAE,MAAM,CAAC;YAChB,WAAW,EAAE,MAAM,CAAC;YACpB,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;QACF,gBAAgB,EAAE;YAChB,KAAK,EAAE,MAAM,CAAC;YACd,OAAO,EAAE,MAAM,CAAC;YAChB,gBAAgB,EAAE,MAAM,CAAC;YACzB,UAAU,EAAE,MAAM,CAAC;YACnB,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;QACF,kBAAkB,EAAE,qCAAqC,CAAC;QAC1D,SAAS,EAAE,6BAA6B,CAAC;QACzC,iBAAiB,EAAE,qCAAqC,CAAC;QACzD,iBAAiB,EAAE;YACjB,KAAK,EAAE,MAAM,CAAC;YACd,SAAS,EAAE,MAAM,CAAC;YAClB,KAAK,EAAE,MAAM,CAAC;YACd,KAAK,EAAE,MAAM,CAAC;YACd,WAAW,EAAE,MAAM,CAAC;YACpB,OAAO,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,cAAc,EAAE;YACd,KAAK,EAAE,MAAM,CAAC;YACd,OAAO,EAAE,MAAM,CAAC;YAChB,SAAS,EAAE,MAAM,CAAC;YAClB,WAAW,EAAE,MAAM,CAAC;YACpB,KAAK,EAAE,MAAM,CAAC;YACd,WAAW,EAAE,MAAM,CAAC;YACpB,OAAO,EAAE,MAAM,CAAC;SACjB,CAAC;QACF,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KACnC,CAAC;CACH;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,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,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"types-semantic.js","sourceRoot":"","sources":["../src/types-semantic.ts"],"names":[],"mappings":""}
|