@abelxiaoxing/cadence 1.8.4 → 2.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (202) hide show
  1. package/README.md +324 -117
  2. package/THIRD_PARTY_NOTICES.md +15 -0
  3. package/agents/design-explorer.md +14 -18
  4. package/agents/diagnosis-worker.md +14 -14
  5. package/agents/implementation-worker.md +16 -17
  6. package/config/workflow-task.example.json +7 -0
  7. package/docs/remote-access.md +60 -0
  8. package/docs/reuse-and-distribution.md +44 -0
  9. package/docs/service-management.md +108 -0
  10. package/licenses/bundled-web.txt +6245 -0
  11. package/licenses/pi-web-ui-MIT.txt +21 -0
  12. package/licenses/pi-web-ui-reuse.md +22 -0
  13. package/package.json +92 -20
  14. package/src/index.ts +21 -1802
  15. package/src/native-build.ts +6 -0
  16. package/src/native-client.ts +103 -0
  17. package/src/native-export.ts +58 -0
  18. package/src/native-history.ts +359 -0
  19. package/src/operator-cli.mjs +453 -1937
  20. package/src/plan-proposal.ts +87 -0
  21. package/src/sdk-worker.mjs +549 -0
  22. package/src/service/contracts/active.ts +82 -0
  23. package/src/service/contracts/budget.ts +148 -0
  24. package/src/service/contracts/build.ts +67 -0
  25. package/src/service/contracts/capture.ts +48 -0
  26. package/src/service/contracts/core.ts +33 -0
  27. package/src/service/contracts/current.ts +261 -0
  28. package/src/service/contracts/domain.ts +68 -0
  29. package/src/service/contracts/history.ts +2245 -0
  30. package/src/service/contracts/models.ts +139 -0
  31. package/src/service/coordination.ts +862 -0
  32. package/src/service/private-files.ts +204 -0
  33. package/src/service-cli.mjs +5592 -0
  34. package/src/service-client.ts +747 -0
  35. package/src/service-contract.ts +245 -0
  36. package/src/service-host.mjs +22382 -0
  37. package/src/service-http-client.ts +425 -0
  38. package/src/service-wire.ts +372 -0
  39. package/src/task-shell.ts +1045 -0
  40. package/src/task-store.ts +479 -0
  41. package/src/task-types.ts +184 -0
  42. package/src/verification-diagnostics.ts +29 -72
  43. package/src/worker-capture.mjs +1197 -0
  44. package/src/worker-public.mjs +1753 -0
  45. package/src/worker-redaction.mjs +608 -0
  46. package/src/worker-tools.mjs +202 -0
  47. package/web/dist/assets/KaTeX_AMS-Regular.ttf +0 -0
  48. package/web/dist/assets/KaTeX_AMS-Regular.woff +0 -0
  49. package/web/dist/assets/KaTeX_AMS-Regular.woff2 +0 -0
  50. package/web/dist/assets/KaTeX_Caligraphic-Bold.ttf +0 -0
  51. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff +0 -0
  52. package/web/dist/assets/KaTeX_Caligraphic-Bold.woff2 +0 -0
  53. package/web/dist/assets/KaTeX_Caligraphic-Regular.ttf +0 -0
  54. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff +0 -0
  55. package/web/dist/assets/KaTeX_Caligraphic-Regular.woff2 +0 -0
  56. package/web/dist/assets/KaTeX_Fraktur-Bold.ttf +0 -0
  57. package/web/dist/assets/KaTeX_Fraktur-Bold.woff +0 -0
  58. package/web/dist/assets/KaTeX_Fraktur-Bold.woff2 +0 -0
  59. package/web/dist/assets/KaTeX_Fraktur-Regular.ttf +0 -0
  60. package/web/dist/assets/KaTeX_Fraktur-Regular.woff +0 -0
  61. package/web/dist/assets/KaTeX_Fraktur-Regular.woff2 +0 -0
  62. package/web/dist/assets/KaTeX_Main-Bold.ttf +0 -0
  63. package/web/dist/assets/KaTeX_Main-Bold.woff +0 -0
  64. package/web/dist/assets/KaTeX_Main-Bold.woff2 +0 -0
  65. package/web/dist/assets/KaTeX_Main-BoldItalic.ttf +0 -0
  66. package/web/dist/assets/KaTeX_Main-BoldItalic.woff +0 -0
  67. package/web/dist/assets/KaTeX_Main-BoldItalic.woff2 +0 -0
  68. package/web/dist/assets/KaTeX_Main-Italic.ttf +0 -0
  69. package/web/dist/assets/KaTeX_Main-Italic.woff +0 -0
  70. package/web/dist/assets/KaTeX_Main-Italic.woff2 +0 -0
  71. package/web/dist/assets/KaTeX_Main-Regular.ttf +0 -0
  72. package/web/dist/assets/KaTeX_Main-Regular.woff +0 -0
  73. package/web/dist/assets/KaTeX_Main-Regular.woff2 +0 -0
  74. package/web/dist/assets/KaTeX_Math-BoldItalic.ttf +0 -0
  75. package/web/dist/assets/KaTeX_Math-BoldItalic.woff +0 -0
  76. package/web/dist/assets/KaTeX_Math-BoldItalic.woff2 +0 -0
  77. package/web/dist/assets/KaTeX_Math-Italic.ttf +0 -0
  78. package/web/dist/assets/KaTeX_Math-Italic.woff +0 -0
  79. package/web/dist/assets/KaTeX_Math-Italic.woff2 +0 -0
  80. package/web/dist/assets/KaTeX_SansSerif-Bold.ttf +0 -0
  81. package/web/dist/assets/KaTeX_SansSerif-Bold.woff +0 -0
  82. package/web/dist/assets/KaTeX_SansSerif-Bold.woff2 +0 -0
  83. package/web/dist/assets/KaTeX_SansSerif-Italic.ttf +0 -0
  84. package/web/dist/assets/KaTeX_SansSerif-Italic.woff +0 -0
  85. package/web/dist/assets/KaTeX_SansSerif-Italic.woff2 +0 -0
  86. package/web/dist/assets/KaTeX_SansSerif-Regular.ttf +0 -0
  87. package/web/dist/assets/KaTeX_SansSerif-Regular.woff +0 -0
  88. package/web/dist/assets/KaTeX_SansSerif-Regular.woff2 +0 -0
  89. package/web/dist/assets/KaTeX_Script-Regular.ttf +0 -0
  90. package/web/dist/assets/KaTeX_Script-Regular.woff +0 -0
  91. package/web/dist/assets/KaTeX_Script-Regular.woff2 +0 -0
  92. package/web/dist/assets/KaTeX_Size1-Regular.ttf +0 -0
  93. package/web/dist/assets/KaTeX_Size1-Regular.woff +0 -0
  94. package/web/dist/assets/KaTeX_Size1-Regular.woff2 +0 -0
  95. package/web/dist/assets/KaTeX_Size2-Regular.ttf +0 -0
  96. package/web/dist/assets/KaTeX_Size2-Regular.woff +0 -0
  97. package/web/dist/assets/KaTeX_Size2-Regular.woff2 +0 -0
  98. package/web/dist/assets/KaTeX_Size3-Regular.ttf +0 -0
  99. package/web/dist/assets/KaTeX_Size3-Regular.woff +0 -0
  100. package/web/dist/assets/KaTeX_Size3-Regular.woff2 +0 -0
  101. package/web/dist/assets/KaTeX_Size4-Regular.ttf +0 -0
  102. package/web/dist/assets/KaTeX_Size4-Regular.woff +0 -0
  103. package/web/dist/assets/KaTeX_Size4-Regular.woff2 +0 -0
  104. package/web/dist/assets/KaTeX_Typewriter-Regular.ttf +0 -0
  105. package/web/dist/assets/KaTeX_Typewriter-Regular.woff +0 -0
  106. package/web/dist/assets/KaTeX_Typewriter-Regular.woff2 +0 -0
  107. package/web/dist/assets/cadence.css +2 -0
  108. package/web/dist/assets/cadence.js +7 -0
  109. package/web/dist/assets/markdown.js +296 -0
  110. package/web/dist/assets/react.js +9 -0
  111. package/web/dist/assets/rolldown-runtime.js +1 -0
  112. package/web/dist/assets/timeline-client.js +41 -0
  113. package/web/dist/assets/vis-timeline.css +1274 -0
  114. package/web/dist/assets/vis-timeline.js +32 -0
  115. package/web/dist/index.html +18 -0
  116. package/web/dist/manifest.json +505 -0
  117. package/config/plan-draft.example.json +0 -125
  118. package/config/plan-draft.multiple-tasks.example.json +0 -375
  119. package/config/plan-draft.quick.example.json +0 -78
  120. package/prompts/abel-design.md +0 -382
  121. package/prompts/abel-diagnose.md +0 -71
  122. package/prompts/abel-implement.md +0 -284
  123. package/prompts/abel-init.md +0 -52
  124. package/src/activation.ts +0 -44
  125. package/src/activity-contracts.ts +0 -82
  126. package/src/agent-registry.ts +0 -53
  127. package/src/apply-transaction.ts +0 -1437
  128. package/src/artifact-store.ts +0 -213
  129. package/src/build-windows-job.mjs +0 -95
  130. package/src/candidate-artifact.ts +0 -143
  131. package/src/candidate-context.ts +0 -289
  132. package/src/candidate-patch.ts +0 -271
  133. package/src/candidate-workspace.ts +0 -80
  134. package/src/canonical.ts +0 -16
  135. package/src/change-contract-schema.ts +0 -191
  136. package/src/change-contract.ts +0 -324
  137. package/src/change-verification.ts +0 -1617
  138. package/src/contracts.ts +0 -2466
  139. package/src/control-contracts.ts +0 -382
  140. package/src/delivery-compiler.ts +0 -1805
  141. package/src/delivery-revision.ts +0 -42
  142. package/src/design-control.ts +0 -1299
  143. package/src/design-diagnostics.ts +0 -181
  144. package/src/design-journal.ts +0 -1773
  145. package/src/directory-sync.ts +0 -36
  146. package/src/durable-contracts.ts +0 -227
  147. package/src/durable-workflow.ts +0 -822
  148. package/src/evidence-draft.ts +0 -122
  149. package/src/execution-profile.ts +0 -64
  150. package/src/execution-retention.ts +0 -77
  151. package/src/file-snapshot.ts +0 -163
  152. package/src/implement-continuation.ts +0 -559
  153. package/src/implement-graph.ts +0 -690
  154. package/src/implement-plan.ts +0 -72
  155. package/src/install-config.d.mts +0 -6
  156. package/src/isolation-backend.ts +0 -353
  157. package/src/model-source.ts +0 -22
  158. package/src/openspec-cli.ts +0 -494
  159. package/src/operator-cli-entry.mjs +0 -24
  160. package/src/operator-tools.ts +0 -309
  161. package/src/package-candidate-process.ts +0 -206
  162. package/src/package-candidate.ts +0 -24
  163. package/src/package-delivery.ts +0 -486
  164. package/src/package-state.ts +0 -320
  165. package/src/package-verification.ts +0 -635
  166. package/src/package-workflow.ts +0 -305
  167. package/src/packet-runtime.ts +0 -459
  168. package/src/phase-execution.ts +0 -2163
  169. package/src/pi-adapter.ts +0 -19
  170. package/src/plan-draft-summary.ts +0 -527
  171. package/src/plan-draft.ts +0 -502
  172. package/src/remove-path.ts +0 -32
  173. package/src/run-state.ts +0 -420
  174. package/src/run-store.ts +0 -1179
  175. package/src/safe-path.ts +0 -77
  176. package/src/scoped-grep-worker.mjs +0 -23
  177. package/src/scoped-tools.ts +0 -775
  178. package/src/single-task-draft.ts +0 -142
  179. package/src/sqlite-schema.ts +0 -171
  180. package/src/state-root.ts +0 -215
  181. package/src/storage-schema.ts +0 -360
  182. package/src/subagent-activity.ts +0 -1417
  183. package/src/subagent-process.ts +0 -476
  184. package/src/task-ledger.ts +0 -1338
  185. package/src/transport-budget.ts +0 -50
  186. package/src/verification-capability.ts +0 -1191
  187. package/src/verification-environment-io.ts +0 -389
  188. package/src/verification-environment.ts +0 -162
  189. package/src/verification-identity.ts +0 -77
  190. package/src/verification-scan.ts +0 -64
  191. package/src/windows-job-backend.ts +0 -419
  192. package/src/windows-job.c +0 -149
  193. package/src/workflow-engine.ts +0 -28
  194. package/src/workflow-policy.ts +0 -1670
  195. package/src/workflow-recovery-policy.ts +0 -97
  196. package/src/workflow-scheduling.ts +0 -105
  197. package/src/workflow-state-machine.ts +0 -4341
  198. package/src/workflow-status.ts +0 -576
  199. package/src/workspace-io-entry.mjs +0 -76
  200. package/src/workspace-io-worker.mjs +0 -1312
  201. package/src/workspace-io.ts +0 -89
  202. package/src/workspace-store.ts +0 -634
@@ -0,0 +1,245 @@
1
+ /** Single portable public facade. Internal modules share ONE executable codec.
2
+ * No Node/Pi/React imports. Worker and service reuse worker-public.mjs; never
3
+ * add a second worker-local validator. */
4
+
5
+ export {
6
+ type ActiveRunRef,
7
+ type ActiveRuns,
8
+ decodeActiveRuns,
9
+ } from "./service/contracts/active.ts";
10
+ export { CaptureBudgetPool } from "./service/contracts/budget.ts";
11
+ export * from "./service/contracts/build.ts";
12
+ export {
13
+ advanceCapture,
14
+ type CallDeclarationLink,
15
+ type CaptureBudget,
16
+ type CaptureEvent,
17
+ type CaptureFrame,
18
+ type CapturePosition,
19
+ type CheckNativeSettlement,
20
+ type CommittedBatch,
21
+ type ContentOwner,
22
+ childSatisfied,
23
+ type DetailCommit,
24
+ type DetailDescriptor,
25
+ decodeCaptureBudget,
26
+ decodeCaptureEvent,
27
+ decodeCaptureFrame,
28
+ decodeCheckNativeSettlement,
29
+ decodeCommittedBatch,
30
+ decodeContentOwner,
31
+ decodeDetailCommit,
32
+ decodeDetailDescriptor,
33
+ decodeFinalRecording,
34
+ decodeFinalSelection,
35
+ decodeOmittedBlock,
36
+ decodeRecordingEvent,
37
+ decodeRecordingInput,
38
+ decodeRecordingLink,
39
+ decodeRunSettlement,
40
+ decodeSourceIdentity,
41
+ decodeSourceRange,
42
+ decodeWorkerCompletion,
43
+ type FinalRecording,
44
+ type FinalSelection,
45
+ type OmittedBlock,
46
+ type OwnerDetailCommit,
47
+ type PublicRecordingInput,
48
+ type RecordingEvent,
49
+ type RecordingLink,
50
+ type RequiredChildSettlement,
51
+ type RunSettlement,
52
+ type SanitizedCaptureEvent,
53
+ type SourceIdentity,
54
+ type SourceRange,
55
+ settlementOutcome,
56
+ type WorkerCompletion,
57
+ } from "./service/contracts/capture.ts";
58
+ export {
59
+ ContractError,
60
+ canonicalJson,
61
+ compareSequence,
62
+ decodeHash,
63
+ decodeId,
64
+ decodePublicError,
65
+ decodeSequence,
66
+ ERROR_CODES,
67
+ type ErrorCode,
68
+ EXPORT_SCHEMA,
69
+ errorStatus,
70
+ GRAPH_SCHEMA,
71
+ HISTORY_SCHEMA,
72
+ LIMITS,
73
+ type PublicError,
74
+ parseWireJson,
75
+ publicError,
76
+ SERVICE_PROTOCOL,
77
+ utf8Bytes,
78
+ WORKER_PROTOCOL,
79
+ } from "./service/contracts/core.ts";
80
+ export {
81
+ type CurrentChanges,
82
+ type CurrentRequest,
83
+ type CurrentTask,
84
+ type CurrentView,
85
+ decodeCurrentChanges,
86
+ decodeCurrentChangesRequest,
87
+ decodeCurrentRequest,
88
+ decodeCurrentRoles,
89
+ decodeCurrentView,
90
+ type SavedGraphSelection,
91
+ } from "./service/contracts/current.ts";
92
+ export {
93
+ type Action,
94
+ type ActionPreview,
95
+ type Assignment,
96
+ assertWorkerEnvelopeSize,
97
+ type ByteRange,
98
+ type CancelCommand,
99
+ type CaptureCoverage,
100
+ type CheckSelection,
101
+ type Closure,
102
+ type Command,
103
+ type CommandIdentity,
104
+ type ContentRef,
105
+ type ContextVersion,
106
+ type Dependency,
107
+ type DependencyHandoff,
108
+ type DependencySource,
109
+ decodeAction,
110
+ decodeCancel,
111
+ decodeCommand,
112
+ decodeCommandIdentity,
113
+ decodeContentRef,
114
+ decodeContext,
115
+ decodeCoverage,
116
+ decodeCursor,
117
+ decodeGraph,
118
+ decodeHandoff,
119
+ decodeModelSelection,
120
+ decodeModelSelector,
121
+ decodeNativeSettlement,
122
+ decodeNavigation,
123
+ decodePreflight,
124
+ decodePreflightRequest,
125
+ decodePreview,
126
+ decodeScope,
127
+ decodeWorkerPublicRequest,
128
+ dependency,
129
+ type ExecutionOutcome,
130
+ type Field,
131
+ type Graph,
132
+ type HandoffInput,
133
+ type Issue,
134
+ type ModelSelection,
135
+ type ModelSelector,
136
+ modelApis,
137
+ type NativeSettlement,
138
+ type Preflight,
139
+ type PreflightRequest,
140
+ type Publication,
141
+ type Purpose,
142
+ type ReadCursor,
143
+ type RoleSelection,
144
+ roleForPurpose,
145
+ type Scope,
146
+ type TaskKind,
147
+ type TaskVersion,
148
+ thinkingLevels,
149
+ type WorkerPublicRequest,
150
+ } from "./service/contracts/domain.ts";
151
+ export {
152
+ type AdmissionClosedFact,
153
+ type AssignmentStateFact,
154
+ type CheckObligations,
155
+ type ControlContext,
156
+ controlTask,
157
+ controlWorkspace,
158
+ type DetailPage,
159
+ type DetailProgress,
160
+ type DetailReadResult,
161
+ decodeCheckObligations,
162
+ decodeControlContext,
163
+ decodeDetailPage,
164
+ decodeDetailReadResult,
165
+ decodeEntityPage,
166
+ decodeEntityReadRequest,
167
+ decodeEntityReadResult,
168
+ decodeExportFrame,
169
+ decodeExportRequest,
170
+ decodeGraphPage,
171
+ decodeGraphReadRequest,
172
+ decodeGraphReadResult,
173
+ decodeHistoryPage,
174
+ decodeHistoryReadResult,
175
+ decodeHistoryRecord,
176
+ decodeListRequest,
177
+ decodeLiveEvent,
178
+ decodeOwnerFact,
179
+ decodeOwnerLink,
180
+ decodeOwnerRecordingInput,
181
+ decodeReceipt,
182
+ decodeReceiptLookup,
183
+ decodeRecordOwner,
184
+ decodeReply,
185
+ decodeRunIdentity,
186
+ decodeRunProjection,
187
+ decodeSearchPage,
188
+ decodeSessionBootstrap,
189
+ decodeSnapshot,
190
+ decodeStoredCommand,
191
+ decodeWorkspaceBootstrap,
192
+ type EntityPage,
193
+ type EntityReadRequest,
194
+ type EntityReadResult,
195
+ type ExportEvent,
196
+ type ExportFrame,
197
+ type ExportRequest,
198
+ ExportTracker,
199
+ encodeExportFrame,
200
+ type GraphPage,
201
+ type GraphReadRequest,
202
+ type GraphReadResult,
203
+ type HistoryPage,
204
+ type HistoryReadResult,
205
+ type HistoryRecord,
206
+ type HistorySnapshotTransition,
207
+ historyReplyMatches,
208
+ type ListRequest,
209
+ type ListScope,
210
+ type LiveEvent,
211
+ type ObservationFact,
212
+ type OwnerFact,
213
+ type OwnerLink,
214
+ type OwnerRecordingEvent,
215
+ type OwnerRecordingInput,
216
+ ownerInScope,
217
+ READERS,
218
+ type ReaderKind,
219
+ type Receipt,
220
+ type ReceiptLookup,
221
+ type RecordOwner,
222
+ type Reply,
223
+ type RequestProgress,
224
+ type RunIdentity,
225
+ type RunProjection,
226
+ readIdentity,
227
+ type SearchHit,
228
+ type SearchPage,
229
+ type SessionBootstrap,
230
+ type Snapshot,
231
+ type StoredCommand,
232
+ type WorkspaceBootstrap,
233
+ } from "./service/contracts/history.ts";
234
+ export {
235
+ type ChoiceVersion,
236
+ type ChooseModelRequest,
237
+ decodeChoiceVersion,
238
+ decodeChooseModelRequest,
239
+ decodeModelCandidate,
240
+ decodeModelCatalog,
241
+ decodeModelChoiceState,
242
+ type ModelCandidate,
243
+ type ModelCatalog,
244
+ type ModelChoiceState,
245
+ } from "./service/contracts/models.ts";