@devflow-tools/task-runtime 0.18.0
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/LICENSE +21 -0
- package/README.md +28 -0
- package/dist/__tests__/activation-snapshot.test.d.ts +2 -0
- package/dist/__tests__/activation-snapshot.test.d.ts.map +1 -0
- package/dist/__tests__/activation-snapshot.test.js +47 -0
- package/dist/__tests__/activation-snapshot.test.js.map +1 -0
- package/dist/__tests__/task-kernel.test.d.ts +2 -0
- package/dist/__tests__/task-kernel.test.d.ts.map +1 -0
- package/dist/__tests__/task-kernel.test.js +82 -0
- package/dist/__tests__/task-kernel.test.js.map +1 -0
- package/dist/__tests__/terminal-reducer.test.d.ts +2 -0
- package/dist/__tests__/terminal-reducer.test.d.ts.map +1 -0
- package/dist/__tests__/terminal-reducer.test.js +24 -0
- package/dist/__tests__/terminal-reducer.test.js.map +1 -0
- package/dist/action-lease-service.d.ts +25 -0
- package/dist/action-lease-service.d.ts.map +1 -0
- package/dist/action-lease-service.js +12 -0
- package/dist/action-lease-service.js.map +1 -0
- package/dist/activation-snapshot-store.d.ts +16 -0
- package/dist/activation-snapshot-store.d.ts.map +1 -0
- package/dist/activation-snapshot-store.js +21 -0
- package/dist/activation-snapshot-store.js.map +1 -0
- package/dist/embedding-capability-registry.d.ts +9 -0
- package/dist/embedding-capability-registry.d.ts.map +1 -0
- package/dist/embedding-capability-registry.js +30 -0
- package/dist/embedding-capability-registry.js.map +1 -0
- package/dist/event-projector.d.ts +10 -0
- package/dist/event-projector.d.ts.map +1 -0
- package/dist/event-projector.js +2 -0
- package/dist/event-projector.js.map +1 -0
- package/dist/index.d.ts +10 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +10 -0
- package/dist/index.js.map +1 -0
- package/dist/task-event-store.d.ts +25 -0
- package/dist/task-event-store.d.ts.map +1 -0
- package/dist/task-event-store.js +41 -0
- package/dist/task-event-store.js.map +1 -0
- package/dist/task-kernel.d.ts +25 -0
- package/dist/task-kernel.d.ts.map +1 -0
- package/dist/task-kernel.js +14 -0
- package/dist/task-kernel.js.map +1 -0
- package/dist/task-outbox.d.ts +8 -0
- package/dist/task-outbox.d.ts.map +1 -0
- package/dist/task-outbox.js +11 -0
- package/dist/task-outbox.js.map +1 -0
- package/dist/task-reducer.d.ts +3 -0
- package/dist/task-reducer.d.ts.map +1 -0
- package/dist/task-reducer.js +143 -0
- package/dist/task-reducer.js.map +1 -0
- package/dist/terminal-reducer.d.ts +3 -0
- package/dist/terminal-reducer.d.ts.map +1 -0
- package/dist/terminal-reducer.js +14 -0
- package/dist/terminal-reducer.js.map +1 -0
- package/package.json +37 -0
package/LICENSE
ADDED
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
MIT License
|
|
2
|
+
|
|
3
|
+
Copyright (c) 2026 shilongfeicool
|
|
4
|
+
|
|
5
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
|
6
|
+
of this software and associated documentation files (the "Software"), to deal
|
|
7
|
+
in the Software without restriction, including without limitation the rights
|
|
8
|
+
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
|
|
9
|
+
copies of the Software, and to permit persons to whom the Software is
|
|
10
|
+
furnished to do so, subject to the following conditions:
|
|
11
|
+
|
|
12
|
+
The above copyright notice and this permission notice shall be included in all
|
|
13
|
+
copies or substantial portions of the Software.
|
|
14
|
+
|
|
15
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
|
16
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
|
17
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
|
|
18
|
+
AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
|
|
19
|
+
LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
|
|
20
|
+
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
|
|
21
|
+
SOFTWARE.
|
package/README.md
ADDED
|
@@ -0,0 +1,28 @@
|
|
|
1
|
+
# @devflow-tools/task-runtime
|
|
2
|
+
|
|
3
|
+
Durable task events, obligations, receipts, attribution, and terminal proof for DevFlow.
|
|
4
|
+
|
|
5
|
+
## Install
|
|
6
|
+
|
|
7
|
+
```bash
|
|
8
|
+
npm install @devflow-tools/task-runtime
|
|
9
|
+
```
|
|
10
|
+
|
|
11
|
+
## Usage
|
|
12
|
+
|
|
13
|
+
```ts
|
|
14
|
+
import { reduceTerminalOutcome } from '@devflow-tools/task-runtime';
|
|
15
|
+
|
|
16
|
+
const outcome = reduceTerminalOutcome({
|
|
17
|
+
obligations: {},
|
|
18
|
+
durableWork: {},
|
|
19
|
+
runtimeHealth: 'healthy',
|
|
20
|
+
});
|
|
21
|
+
console.log(outcome); // completed
|
|
22
|
+
```
|
|
23
|
+
|
|
24
|
+
The runtime derives terminal state from persisted obligations and work rather than accepting caller-reported success.
|
|
25
|
+
|
|
26
|
+
## License
|
|
27
|
+
|
|
28
|
+
MIT
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activation-snapshot.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/activation-snapshot.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
import { mkdtempSync, rmSync } from 'node:fs';
|
|
2
|
+
import { tmpdir } from 'node:os';
|
|
3
|
+
import { join } from 'node:path';
|
|
4
|
+
import { afterEach, describe, expect, it } from 'vitest';
|
|
5
|
+
import { DevFlowDatabase } from '@devflow-tools/database';
|
|
6
|
+
import { createRuntimeActivationSnapshotV1 } from '@devflow-tools/sdk';
|
|
7
|
+
import { ActivationSnapshotStore } from '../activation-snapshot-store.js';
|
|
8
|
+
const identity = {
|
|
9
|
+
projectRoot: '/project', projectId: 'project:1', hostId: 'host:1',
|
|
10
|
+
sessionId: 'session:1', turnId: 'turn:1', requestId: 'request:1', executionId: 'execution:1',
|
|
11
|
+
};
|
|
12
|
+
function snapshot(createdAt = 100) {
|
|
13
|
+
return createRuntimeActivationSnapshotV1({
|
|
14
|
+
semantic: 'degraded_structural', retrieval: 'degraded',
|
|
15
|
+
memoryExtraction: 'deferred', knowledgeCompilation: 'deferred',
|
|
16
|
+
embeddingProfiles: {}, rolloutPolicyVersion: 'rollout:v1', createdAt,
|
|
17
|
+
});
|
|
18
|
+
}
|
|
19
|
+
describe('ActivationSnapshotStore', () => {
|
|
20
|
+
const directories = [];
|
|
21
|
+
afterEach(() => directories.splice(0).forEach(path => rmSync(path, { recursive: true, force: true })));
|
|
22
|
+
it('replays one immutable activation and rejects a changed retry', () => {
|
|
23
|
+
const path = mkdtempSync(join(tmpdir(), 'activation-store-'));
|
|
24
|
+
directories.push(path);
|
|
25
|
+
const database = new DevFlowDatabase(path);
|
|
26
|
+
const store = new ActivationSnapshotStore(database);
|
|
27
|
+
expect(store.bind({ identity, revision: 1, snapshot: snapshot() }).replayed).toBe(false);
|
|
28
|
+
expect(store.bind({ identity, revision: 1, snapshot: snapshot() }).replayed).toBe(true);
|
|
29
|
+
expect(() => store.bind({ identity, revision: 1, snapshot: snapshot(101) }))
|
|
30
|
+
.toThrow('RUNTIME_ACTIVATION_CONFLICT');
|
|
31
|
+
expect(store.get(identity, 1)?.snapshotHash).toBe(snapshot().snapshotHash);
|
|
32
|
+
database.close();
|
|
33
|
+
});
|
|
34
|
+
it('allows different task revisions to reference the same snapshot hash', () => {
|
|
35
|
+
const path = mkdtempSync(join(tmpdir(), 'activation-identity-'));
|
|
36
|
+
directories.push(path);
|
|
37
|
+
const database = new DevFlowDatabase(path);
|
|
38
|
+
const store = new ActivationSnapshotStore(database);
|
|
39
|
+
const shared = snapshot();
|
|
40
|
+
store.bind({ identity, revision: 1, snapshot: shared });
|
|
41
|
+
const other = { ...identity, sessionId: 'session:2', turnId: 'turn:2', requestId: 'request:2' };
|
|
42
|
+
expect(store.bind({ identity: other, revision: 1, snapshot: shared }).replayed).toBe(false);
|
|
43
|
+
expect(store.get(other, 1)?.snapshotHash).toBe(shared.snapshotHash);
|
|
44
|
+
database.close();
|
|
45
|
+
});
|
|
46
|
+
});
|
|
47
|
+
//# sourceMappingURL=activation-snapshot.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activation-snapshot.test.js","sourceRoot":"","sources":["../../src/__tests__/activation-snapshot.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,iCAAiC,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,MAAM,QAAQ,GAAG;IACf,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ;IACjE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa;CAC7F,CAAC;AAEF,SAAS,QAAQ,CAAC,SAAS,GAAG,GAAG;IAC/B,OAAO,iCAAiC,CAAC;QACvC,QAAQ,EAAE,qBAAqB,EAAE,SAAS,EAAE,UAAU;QACtD,gBAAgB,EAAE,UAAU,EAAE,oBAAoB,EAAE,UAAU;QAC9D,iBAAiB,EAAE,EAAE,EAAE,oBAAoB,EAAE,YAAY,EAAE,SAAS;KACrE,CAAC,CAAC;AACL,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,SAAS,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEvG,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QAC9D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzF,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;aACzE,OAAO,CAAC,6BAA6B,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,YAAY,CAAC,CAAC;QAC3E,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,sBAAsB,CAAC,CAAC,CAAC;QACjE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,QAAQ,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;QAChG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5F,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACpE,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-kernel.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/task-kernel.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,82 @@
|
|
|
1
|
+
import { mkdtempSync, rmSync } from 'node:fs';
|
|
2
|
+
import { tmpdir } from 'node:os';
|
|
3
|
+
import { join } from 'node:path';
|
|
4
|
+
import { afterEach, describe, expect, it } from 'vitest';
|
|
5
|
+
import { DevFlowDatabase } from '@devflow-tools/database';
|
|
6
|
+
import { stableRuntimeHash } from '@devflow-tools/sdk';
|
|
7
|
+
import { TaskEventStore } from '../task-event-store.js';
|
|
8
|
+
import { TaskKernel } from '../task-kernel.js';
|
|
9
|
+
import { TaskOutbox } from '../task-outbox.js';
|
|
10
|
+
function definition() {
|
|
11
|
+
const body = {
|
|
12
|
+
schemaVersion: 'task-definition.v1',
|
|
13
|
+
identity: { projectRoot: '/project', projectId: 'p:1', hostId: 'host:1', sessionId: 's:1', turnId: 't:1', requestId: 'r:1', executionId: 'e:1' },
|
|
14
|
+
revision: 1, semanticContextHash: 'ctx:1', policyHash: 'policy:1',
|
|
15
|
+
requirements: { code: 'required', memory: 'optional', knowledge: 'prohibited', action: 'not_required', verification: 'not_required' },
|
|
16
|
+
artifactIdentityIds: [], budgets: { hookDeadlineMs: 100, contextTokens: 8000, responseReserveTokens: 2000, perChannelMs: { code: 500 } },
|
|
17
|
+
sourceEvidenceIds: ['e:1'],
|
|
18
|
+
};
|
|
19
|
+
return { ...body, definitionHash: stableRuntimeHash(body) };
|
|
20
|
+
}
|
|
21
|
+
describe('TaskKernel', () => {
|
|
22
|
+
const directories = [];
|
|
23
|
+
afterEach(() => directories.splice(0).forEach(directory => rmSync(directory, { recursive: true, force: true })));
|
|
24
|
+
it('atomically appends, replays identical commands, and rejects conflicting idempotency payloads', () => {
|
|
25
|
+
const directory = mkdtempSync(join(tmpdir(), 'task-kernel-'));
|
|
26
|
+
directories.push(directory);
|
|
27
|
+
const database = new DevFlowDatabase(directory);
|
|
28
|
+
const kernel = new TaskKernel(new TaskEventStore(database));
|
|
29
|
+
const def = definition();
|
|
30
|
+
const activation = { activationSnapshotHash: 'activation:1' };
|
|
31
|
+
const first = kernel.dispatch({ definition: def, kind: 'activation_bound', payload: activation, idempotencyKey: 'activation:1', producer: 'test' });
|
|
32
|
+
expect(first.replayed).toBe(false);
|
|
33
|
+
expect(kernel.dispatch({ definition: def, kind: 'activation_bound', payload: activation, idempotencyKey: 'activation:1', producer: 'test' }).replayed).toBe(true);
|
|
34
|
+
expect(() => kernel.dispatch({ definition: def, kind: 'activation_bound', payload: { activationSnapshotHash: 'other' }, idempotencyKey: 'activation:1', producer: 'test' }))
|
|
35
|
+
.toThrow('TASK_EVENT_IDEMPOTENCY_CONFLICT');
|
|
36
|
+
expect(database.listTaskAggregateEvents('/project', 's:1', 't:1', 1)).toHaveLength(1);
|
|
37
|
+
database.close();
|
|
38
|
+
});
|
|
39
|
+
it('uses fencing tokens so an expired worker cannot complete newer work', () => {
|
|
40
|
+
const directory = mkdtempSync(join(tmpdir(), 'task-outbox-'));
|
|
41
|
+
directories.push(directory);
|
|
42
|
+
const database = new DevFlowDatabase(directory);
|
|
43
|
+
const kernel = new TaskKernel(new TaskEventStore(database));
|
|
44
|
+
const outbox = new TaskOutbox(database);
|
|
45
|
+
kernel.dispatch({
|
|
46
|
+
definition: definition(), kind: 'activation_bound', payload: { activationSnapshotHash: 'activation:1' },
|
|
47
|
+
idempotencyKey: 'activation:outbox', producer: 'test',
|
|
48
|
+
outbox: { operationId: 'op:1', kind: 'context.prefetch', payload: { task: 1 } },
|
|
49
|
+
});
|
|
50
|
+
const first = outbox.lease({ projectRoot: '/project', owner: 'worker:a', limit: 1, leaseMs: 10, now: 100 })[0];
|
|
51
|
+
const second = outbox.lease({ projectRoot: '/project', owner: 'worker:b', limit: 1, leaseMs: 10, now: 111 })[0];
|
|
52
|
+
expect(second.fencingToken).toBe(first.fencingToken + 1);
|
|
53
|
+
expect(outbox.complete('op:1', 'worker:a', first.fencingToken, 112)).toBe(false);
|
|
54
|
+
expect(outbox.complete('op:1', 'worker:b', second.fencingToken, 112)).toBe(true);
|
|
55
|
+
database.close();
|
|
56
|
+
});
|
|
57
|
+
it('persists satisfied retrieval obligations without undefined optional receipt fields', () => {
|
|
58
|
+
const directory = mkdtempSync(join(tmpdir(), 'task-retrieval-receipt-'));
|
|
59
|
+
directories.push(directory);
|
|
60
|
+
const database = new DevFlowDatabase(directory);
|
|
61
|
+
const kernel = new TaskKernel(new TaskEventStore(database));
|
|
62
|
+
const def = definition();
|
|
63
|
+
kernel.dispatch({
|
|
64
|
+
definition: def, kind: 'activation_bound', payload: { activationSnapshotHash: 'activation:1' },
|
|
65
|
+
idempotencyKey: 'activation:retrieval', producer: 'test',
|
|
66
|
+
});
|
|
67
|
+
const result = kernel.dispatch({
|
|
68
|
+
definition: def, kind: 'retrieval_sufficiency_decided',
|
|
69
|
+
payload: { channels: {
|
|
70
|
+
code: { status: 'satisfied', receiptId: 'receipt:1' },
|
|
71
|
+
memory: { status: 'empty_valid', receiptId: 'receipt:1', reasonCode: 'channel_empty_valid' },
|
|
72
|
+
knowledge: { status: 'empty_valid', receiptId: 'receipt:1', reasonCode: 'channel_empty_valid' },
|
|
73
|
+
} },
|
|
74
|
+
idempotencyKey: 'retrieval:sufficient', producer: 'test',
|
|
75
|
+
});
|
|
76
|
+
expect(result.snapshot.obligations.code).toEqual({
|
|
77
|
+
requirement: 'required', state: 'satisfied', receiptId: 'receipt:1',
|
|
78
|
+
});
|
|
79
|
+
database.close();
|
|
80
|
+
});
|
|
81
|
+
});
|
|
82
|
+
//# sourceMappingURL=task-kernel.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-kernel.test.js","sourceRoot":"","sources":["../../src/__tests__/task-kernel.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAyB,MAAM,oBAAoB,CAAC;AAC9E,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C,SAAS,UAAU;IACjB,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,oBAA6B;QAC5C,QAAQ,EAAE,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE;QAChJ,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU;QACjE,YAAY,EAAE,EAAE,IAAI,EAAE,UAAmB,EAAE,MAAM,EAAE,UAAmB,EAAE,SAAS,EAAE,YAAqB,EAAE,MAAM,EAAE,cAAuB,EAAE,YAAY,EAAE,cAAuB,EAAE;QAClL,mBAAmB,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,qBAAqB,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QACxI,iBAAiB,EAAE,CAAC,KAAK,CAAC;KAC3B,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,cAAc,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,SAAS,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEjH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3F,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;QACzB,MAAM,UAAU,GAAG,EAAE,sBAAsB,EAAE,cAAc,EAAE,CAAC;QAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACpJ,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClK,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,sBAAsB,EAAE,OAAO,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;aACzK,OAAO,CAAC,iCAAiC,CAAC,CAAC;QAC9C,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtF,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3F,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;QACxC,MAAM,CAAC,QAAQ,CAAC;YACd,UAAU,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,sBAAsB,EAAE,cAAc,EAAE;YACvG,cAAc,EAAE,mBAAmB,EAAE,QAAQ,EAAE,MAAM;YACrD,MAAM,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE;SAChF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QAChH,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC;QACjH,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAAC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtG,MAAM,QAAQ,GAAG,IAAI,eAAe,CAAC,SAAS,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;QACzB,MAAM,CAAC,QAAQ,CAAC;YACd,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,sBAAsB,EAAE,cAAc,EAAE;YAC9F,cAAc,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM;SACzD,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC7B,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,+BAA+B;YACtD,OAAO,EAAE,EAAE,QAAQ,EAAE;oBACnB,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,EAAE;oBACrD,MAAM,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,qBAAqB,EAAE;oBAC5F,SAAS,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,EAAE,qBAAqB,EAAE;iBAChG,EAAE;YACH,cAAc,EAAE,sBAAsB,EAAE,QAAQ,EAAE,MAAM;SACzD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC;YAC/C,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW;SACpE,CAAC,CAAC;QACH,QAAQ,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"terminal-reducer.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/terminal-reducer.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,24 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import { reduceTerminalOutcome } from '../terminal-reducer.js';
|
|
3
|
+
const obligation = (state) => ({ requirement: 'required', state });
|
|
4
|
+
function state(overrides = {}) {
|
|
5
|
+
return {
|
|
6
|
+
obligations: {
|
|
7
|
+
code: obligation('satisfied'), memory: { requirement: 'optional', state: 'pending' },
|
|
8
|
+
knowledge: { requirement: 'not_required', state: 'satisfied' },
|
|
9
|
+
action: { requirement: 'not_required', state: 'satisfied' },
|
|
10
|
+
verification: { requirement: 'not_required', state: 'satisfied' },
|
|
11
|
+
}, durableWork: {}, runtimeHealth: 'healthy', ...overrides,
|
|
12
|
+
};
|
|
13
|
+
}
|
|
14
|
+
describe('terminal reducer', () => {
|
|
15
|
+
it('never reports success with a required failed obligation', () => {
|
|
16
|
+
expect(reduceTerminalOutcome(state({ obligations: { ...state().obligations, code: obligation('failed') } }))).toBe('failed');
|
|
17
|
+
});
|
|
18
|
+
it('keeps unowned pending work running and reports retry only with a durable owner', () => {
|
|
19
|
+
const pending = { ...state().obligations, code: obligation('pending') };
|
|
20
|
+
expect(reduceTerminalOutcome(state({ obligations: pending }))).toBe('running');
|
|
21
|
+
expect(reduceTerminalOutcome(state({ obligations: pending, durableWork: { w1: { obligation: 'code', state: 'leased', fencingToken: 1 } } }))).toBe('retry_pending');
|
|
22
|
+
});
|
|
23
|
+
});
|
|
24
|
+
//# sourceMappingURL=terminal-reducer.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"terminal-reducer.test.js","sourceRoot":"","sources":["../../src/__tests__/terminal-reducer.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,MAAM,UAAU,GAAG,CAAC,KAAsD,EAAE,EAAE,CAAC,CAAC,EAAE,WAAW,EAAE,UAAmB,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7H,SAAS,KAAK,CAAC,YAAmG,EAAE;IAClH,OAAO;QACL,WAAW,EAAE;YACX,IAAI,EAAE,UAAU,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,UAAmB,EAAE,KAAK,EAAE,SAAkB,EAAE;YACtG,SAAS,EAAE,EAAE,WAAW,EAAE,cAAuB,EAAE,KAAK,EAAE,WAAoB,EAAE;YAChF,MAAM,EAAE,EAAE,WAAW,EAAE,cAAuB,EAAE,KAAK,EAAE,WAAoB,EAAE;YAC7E,YAAY,EAAE,EAAE,WAAW,EAAE,cAAuB,EAAE,KAAK,EAAE,WAAoB,EAAE;SACpF,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,SAAkB,EAAE,GAAG,SAAS;KACpE,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/H,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,OAAO,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACxE,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/E,MAAM,CAAC,qBAAqB,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACtK,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import { validateActionLease, type ActionLeaseV1, type CanonicalAction, type ToolFieldManifestV1 } from '@devflow-tools/sdk';
|
|
2
|
+
export declare class ActionLeaseService {
|
|
3
|
+
issue(input: {
|
|
4
|
+
taskSpecHash: string;
|
|
5
|
+
taskDefinitionHash: string;
|
|
6
|
+
actionAuthorityHash: string;
|
|
7
|
+
channelPlanHash: string;
|
|
8
|
+
domainActionPlanHash: string;
|
|
9
|
+
strongEvidenceRefs: string[];
|
|
10
|
+
fencingToken: number;
|
|
11
|
+
action: CanonicalAction;
|
|
12
|
+
manifest: ToolFieldManifestV1;
|
|
13
|
+
projectRoot: string;
|
|
14
|
+
targets: ActionLeaseV1['targets'];
|
|
15
|
+
issuedAt?: number;
|
|
16
|
+
ttlMs?: number;
|
|
17
|
+
}): ActionLeaseV1;
|
|
18
|
+
validate(input: Parameters<typeof validateActionLease>[0]): {
|
|
19
|
+
valid: true;
|
|
20
|
+
} | {
|
|
21
|
+
valid: false;
|
|
22
|
+
reason: string;
|
|
23
|
+
};
|
|
24
|
+
}
|
|
25
|
+
//# sourceMappingURL=action-lease-service.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"action-lease-service.d.ts","sourceRoot":"","sources":["../src/action-lease-service.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,mBAAmB,EACnB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,mBAAmB,EACzB,MAAM,oBAAoB,CAAC;AAE5B,qBAAa,kBAAkB;IAC7B,KAAK,CAAC,KAAK,EAAE;QACX,YAAY,EAAE,MAAM,CAAC;QACrB,kBAAkB,EAAE,MAAM,CAAC;QAC3B,mBAAmB,EAAE,MAAM,CAAC;QAC5B,eAAe,EAAE,MAAM,CAAC;QACxB,oBAAoB,EAAE,MAAM,CAAC;QAC7B,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAC7B,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,EAAE,eAAe,CAAC;QACxB,QAAQ,EAAE,mBAAmB,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC;QACpB,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;QAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,KAAK,CAAC,EAAE,MAAM,CAAC;KAChB,GAAG,aAAa;IAKjB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC;;;;;;CAG1D"}
|
|
@@ -0,0 +1,12 @@
|
|
|
1
|
+
import { issueActionLease, validateActionLease, } from '@devflow-tools/sdk';
|
|
2
|
+
export class ActionLeaseService {
|
|
3
|
+
issue(input) {
|
|
4
|
+
if (input.strongEvidenceRefs.length === 0)
|
|
5
|
+
throw new Error('ACTION_LEASE_STRONG_EVIDENCE_REQUIRED');
|
|
6
|
+
return issueActionLease(input);
|
|
7
|
+
}
|
|
8
|
+
validate(input) {
|
|
9
|
+
return validateActionLease(input);
|
|
10
|
+
}
|
|
11
|
+
}
|
|
12
|
+
//# sourceMappingURL=action-lease-service.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"action-lease-service.js","sourceRoot":"","sources":["../src/action-lease-service.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAChB,mBAAmB,GAIpB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,OAAO,kBAAkB;IAC7B,KAAK,CAAC,KAcL;QACC,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;QACpG,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED,QAAQ,CAAC,KAAgD;QACvD,OAAO,mBAAmB,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC;CACF"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
import type { DevFlowDatabase } from '@devflow-tools/database';
|
|
2
|
+
import { type CanonicalTaskIdentity, type RuntimeActivationSnapshotV1 } from '@devflow-tools/sdk';
|
|
3
|
+
export declare class ActivationSnapshotStore {
|
|
4
|
+
private readonly database;
|
|
5
|
+
constructor(database: DevFlowDatabase);
|
|
6
|
+
bind(input: {
|
|
7
|
+
identity: CanonicalTaskIdentity;
|
|
8
|
+
revision: number;
|
|
9
|
+
snapshot: RuntimeActivationSnapshotV1;
|
|
10
|
+
}): {
|
|
11
|
+
snapshot: RuntimeActivationSnapshotV1;
|
|
12
|
+
replayed: boolean;
|
|
13
|
+
};
|
|
14
|
+
get(identity: Pick<CanonicalTaskIdentity, 'projectRoot' | 'sessionId' | 'turnId'>, revision: number): RuntimeActivationSnapshotV1 | null;
|
|
15
|
+
}
|
|
16
|
+
//# sourceMappingURL=activation-snapshot-store.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activation-snapshot-store.d.ts","sourceRoot":"","sources":["../src/activation-snapshot-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAEL,KAAK,qBAAqB,EAC1B,KAAK,2BAA2B,EACjC,MAAM,oBAAoB,CAAC;AAE5B,qBAAa,uBAAuB;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,eAAe;IAEtD,IAAI,CAAC,KAAK,EAAE;QACV,QAAQ,EAAE,qBAAqB,CAAC;QAChC,QAAQ,EAAE,MAAM,CAAC;QACjB,QAAQ,EAAE,2BAA2B,CAAC;KACvC,GAAG;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE;IAQhE,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,qBAAqB,EAAE,aAAa,GAAG,WAAW,GAAG,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM;CAOpG"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
import { assertRuntimeActivationSnapshotV1, } from '@devflow-tools/sdk';
|
|
2
|
+
export class ActivationSnapshotStore {
|
|
3
|
+
database;
|
|
4
|
+
constructor(database) {
|
|
5
|
+
this.database = database;
|
|
6
|
+
}
|
|
7
|
+
bind(input) {
|
|
8
|
+
assertRuntimeActivationSnapshotV1(input.snapshot);
|
|
9
|
+
if (!Number.isSafeInteger(input.revision) || input.revision < 1) {
|
|
10
|
+
throw new Error('RUNTIME_ACTIVATION_REVISION_INVALID');
|
|
11
|
+
}
|
|
12
|
+
return this.database.bindRuntimeActivation(input);
|
|
13
|
+
}
|
|
14
|
+
get(identity, revision) {
|
|
15
|
+
const snapshot = this.database.getRuntimeActivation(identity.projectRoot, identity.sessionId, identity.turnId, revision);
|
|
16
|
+
if (snapshot)
|
|
17
|
+
assertRuntimeActivationSnapshotV1(snapshot);
|
|
18
|
+
return snapshot;
|
|
19
|
+
}
|
|
20
|
+
}
|
|
21
|
+
//# sourceMappingURL=activation-snapshot-store.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"activation-snapshot-store.js","sourceRoot":"","sources":["../src/activation-snapshot-store.ts"],"names":[],"mappings":"AACA,OAAO,EACL,iCAAiC,GAGlC,MAAM,oBAAoB,CAAC;AAE5B,MAAM,OAAO,uBAAuB;IACL;IAA7B,YAA6B,QAAyB;QAAzB,aAAQ,GAAR,QAAQ,CAAiB;IAAG,CAAC;IAE1D,IAAI,CAAC,KAIJ;QACC,iCAAiC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;IAED,GAAG,CAAC,QAA6E,EAAE,QAAgB;QACjG,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CACjD,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CACpE,CAAC;QACF,IAAI,QAAQ;YAAE,iCAAiC,CAAC,QAAQ,CAAC,CAAC;QAC1D,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
import type { EmbeddingCapabilityV1, EmbeddingProfileV1, EmbeddingPurpose } from '@devflow-tools/sdk';
|
|
2
|
+
export declare class EmbeddingCapabilityRegistry {
|
|
3
|
+
private readonly capabilities;
|
|
4
|
+
register(capability: EmbeddingCapabilityV1): void;
|
|
5
|
+
get(purpose: EmbeddingPurpose): EmbeddingCapabilityV1 | undefined;
|
|
6
|
+
requireReady(purpose: EmbeddingPurpose, expectedProfileHash?: string): EmbeddingProfileV1;
|
|
7
|
+
list(): EmbeddingCapabilityV1[];
|
|
8
|
+
}
|
|
9
|
+
//# sourceMappingURL=embedding-capability-registry.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"embedding-capability-registry.d.ts","sourceRoot":"","sources":["../src/embedding-capability-registry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,qBAAqB,EACrB,kBAAkB,EAClB,gBAAgB,EACjB,MAAM,oBAAoB,CAAC;AAE5B,qBAAa,2BAA2B;IACtC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsD;IAEnF,QAAQ,CAAC,UAAU,EAAE,qBAAqB,GAAG,IAAI;IASjD,GAAG,CAAC,OAAO,EAAE,gBAAgB,GAAG,qBAAqB,GAAG,SAAS;IAIjE,YAAY,CAAC,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,EAAE,MAAM,GAAG,kBAAkB;IAYzF,IAAI,IAAI,qBAAqB,EAAE;CAIhC"}
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
export class EmbeddingCapabilityRegistry {
|
|
2
|
+
capabilities = new Map();
|
|
3
|
+
register(capability) {
|
|
4
|
+
const existing = this.capabilities.get(capability.profile.purpose);
|
|
5
|
+
if (existing && existing.profile.profileHash !== capability.profile.profileHash
|
|
6
|
+
&& existing.status === 'ready') {
|
|
7
|
+
throw new Error(`EMBEDDING_PROFILE_REPLACEMENT_REQUIRES_BACKFILL:${capability.profile.purpose}`);
|
|
8
|
+
}
|
|
9
|
+
this.capabilities.set(capability.profile.purpose, Object.freeze({ ...capability }));
|
|
10
|
+
}
|
|
11
|
+
get(purpose) {
|
|
12
|
+
return this.capabilities.get(purpose);
|
|
13
|
+
}
|
|
14
|
+
requireReady(purpose, expectedProfileHash) {
|
|
15
|
+
const capability = this.capabilities.get(purpose);
|
|
16
|
+
if (!capability)
|
|
17
|
+
throw new Error(`EMBEDDING_CAPABILITY_UNAVAILABLE:${purpose}`);
|
|
18
|
+
if (expectedProfileHash && capability.profile.profileHash !== expectedProfileHash) {
|
|
19
|
+
throw new Error(`EMBEDDING_PROFILE_MISMATCH:${purpose}`);
|
|
20
|
+
}
|
|
21
|
+
if (capability.status !== 'ready') {
|
|
22
|
+
throw new Error(`EMBEDDING_CAPABILITY_${capability.status.toUpperCase()}:${purpose}`);
|
|
23
|
+
}
|
|
24
|
+
return capability.profile;
|
|
25
|
+
}
|
|
26
|
+
list() {
|
|
27
|
+
return [...this.capabilities.values()].sort((left, right) => left.profile.purpose.localeCompare(right.profile.purpose));
|
|
28
|
+
}
|
|
29
|
+
}
|
|
30
|
+
//# sourceMappingURL=embedding-capability-registry.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"embedding-capability-registry.js","sourceRoot":"","sources":["../src/embedding-capability-registry.ts"],"names":[],"mappings":"AAMA,MAAM,OAAO,2BAA2B;IACrB,YAAY,GAAG,IAAI,GAAG,EAA2C,CAAC;IAEnF,QAAQ,CAAC,UAAiC;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACnE,IAAI,QAAQ,IAAI,QAAQ,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU,CAAC,OAAO,CAAC,WAAW;eAC1E,QAAQ,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CAAC,mDAAmD,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC,CAAC;IACtF,CAAC;IAED,GAAG,CAAC,OAAyB;QAC3B,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IAED,YAAY,CAAC,OAAyB,EAAE,mBAA4B;QAClE,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,OAAO,EAAE,CAAC,CAAC;QAChF,IAAI,mBAAmB,IAAI,UAAU,CAAC,OAAO,CAAC,WAAW,KAAK,mBAAmB,EAAE,CAAC;YAClF,MAAM,IAAI,KAAK,CAAC,8BAA8B,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;QACD,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,wBAAwB,UAAU,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,OAAO,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,OAAO,UAAU,CAAC,OAAO,CAAC;IAC5B,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1D,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,CAAC;CACF"}
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
import type { TaskAggregateEventV1, TaskRuntimeSnapshotV2 } from '@devflow-tools/sdk';
|
|
2
|
+
export interface CommittedTaskEventProjectionV1 {
|
|
3
|
+
event: TaskAggregateEventV1;
|
|
4
|
+
snapshot: TaskRuntimeSnapshotV2;
|
|
5
|
+
replayed: boolean;
|
|
6
|
+
}
|
|
7
|
+
export interface TaskRuntimeEventProjectorPort {
|
|
8
|
+
project(input: CommittedTaskEventProjectionV1): void;
|
|
9
|
+
}
|
|
10
|
+
//# sourceMappingURL=event-projector.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"event-projector.d.ts","sourceRoot":"","sources":["../src/event-projector.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEtF,MAAM,WAAW,8BAA8B;IAC7C,KAAK,EAAE,oBAAoB,CAAC;IAC5B,QAAQ,EAAE,qBAAqB,CAAC;IAChC,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,6BAA6B;IAC5C,OAAO,CAAC,KAAK,EAAE,8BAA8B,GAAG,IAAI,CAAC;CACtD"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"event-projector.js","sourceRoot":"","sources":["../src/event-projector.ts"],"names":[],"mappings":""}
|
package/dist/index.d.ts
ADDED
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export * from './task-kernel.js';
|
|
2
|
+
export * from './task-event-store.js';
|
|
3
|
+
export * from './task-reducer.js';
|
|
4
|
+
export * from './task-outbox.js';
|
|
5
|
+
export * from './terminal-reducer.js';
|
|
6
|
+
export * from './event-projector.js';
|
|
7
|
+
export * from './action-lease-service.js';
|
|
8
|
+
export * from './activation-snapshot-store.js';
|
|
9
|
+
export * from './embedding-capability-registry.js';
|
|
10
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC"}
|
package/dist/index.js
ADDED
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
export * from './task-kernel.js';
|
|
2
|
+
export * from './task-event-store.js';
|
|
3
|
+
export * from './task-reducer.js';
|
|
4
|
+
export * from './task-outbox.js';
|
|
5
|
+
export * from './terminal-reducer.js';
|
|
6
|
+
export * from './event-projector.js';
|
|
7
|
+
export * from './action-lease-service.js';
|
|
8
|
+
export * from './activation-snapshot-store.js';
|
|
9
|
+
export * from './embedding-capability-registry.js';
|
|
10
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,mBAAmB,CAAC;AAClC,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC;AACrC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,gCAAgC,CAAC;AAC/C,cAAc,oCAAoC,CAAC"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import type { DevFlowDatabase } from '@devflow-tools/database';
|
|
2
|
+
import { type TaskAggregateEventV1, type TaskDefinitionV1 } from '@devflow-tools/sdk';
|
|
3
|
+
export declare class TaskEventStore {
|
|
4
|
+
private readonly database;
|
|
5
|
+
constructor(database: DevFlowDatabase);
|
|
6
|
+
append(input: {
|
|
7
|
+
definition: TaskDefinitionV1;
|
|
8
|
+
kind: TaskAggregateEventV1['kind'];
|
|
9
|
+
payload?: Record<string, unknown>;
|
|
10
|
+
idempotencyKey: string;
|
|
11
|
+
producer: string;
|
|
12
|
+
producerVersion?: string;
|
|
13
|
+
createdAt?: number;
|
|
14
|
+
outbox?: {
|
|
15
|
+
operationId: string;
|
|
16
|
+
kind: string;
|
|
17
|
+
payload: Record<string, unknown>;
|
|
18
|
+
};
|
|
19
|
+
}): {
|
|
20
|
+
event: TaskAggregateEventV1;
|
|
21
|
+
snapshot: import("@devflow-tools/sdk").TaskRuntimeSnapshotV2;
|
|
22
|
+
replayed: boolean;
|
|
23
|
+
};
|
|
24
|
+
}
|
|
25
|
+
//# sourceMappingURL=task-event-store.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-event-store.d.ts","sourceRoot":"","sources":["../src/task-event-store.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAqB,KAAK,oBAAoB,EAAE,KAAK,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAGzG,qBAAa,cAAc;IACb,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,eAAe;IAEtD,MAAM,CAAC,KAAK,EAAE;QACZ,UAAU,EAAE,gBAAgB,CAAC;QAC7B,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACnC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC;QACjB,eAAe,CAAC,EAAE,MAAM,CAAC;QACzB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,MAAM,CAAC,EAAE;YAAE,WAAW,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;SAAE,CAAC;KAClF;;;;;CAoCF"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
import { stableRuntimeHash } from '@devflow-tools/sdk';
|
|
2
|
+
import { reduceTaskAggregate } from './task-reducer.js';
|
|
3
|
+
export class TaskEventStore {
|
|
4
|
+
database;
|
|
5
|
+
constructor(database) {
|
|
6
|
+
this.database = database;
|
|
7
|
+
}
|
|
8
|
+
append(input) {
|
|
9
|
+
const existing = this.database.getTaskAggregateEventByIdempotencyKey(input.idempotencyKey);
|
|
10
|
+
if (existing) {
|
|
11
|
+
const sameCommand = existing.kind === input.kind
|
|
12
|
+
&& existing.producer === input.producer
|
|
13
|
+
&& stableRuntimeHash(existing.identity) === stableRuntimeHash(input.definition.identity)
|
|
14
|
+
&& existing.revision === input.definition.revision
|
|
15
|
+
&& stableRuntimeHash(existing.payload) === stableRuntimeHash(input.payload ?? {});
|
|
16
|
+
if (!sameCommand)
|
|
17
|
+
throw new Error('TASK_EVENT_IDEMPOTENCY_CONFLICT');
|
|
18
|
+
const snapshot = this.database.getTaskAggregateSnapshot(input.definition.identity.projectRoot, input.definition.identity.sessionId, input.definition.identity.turnId, input.definition.revision);
|
|
19
|
+
if (!snapshot)
|
|
20
|
+
throw new Error('TASK_AGGREGATE_SNAPSHOT_MISSING');
|
|
21
|
+
return { event: existing, snapshot, replayed: true };
|
|
22
|
+
}
|
|
23
|
+
const previous = this.database.listTaskAggregateEvents(input.definition.identity.projectRoot, input.definition.identity.sessionId, input.definition.identity.turnId, input.definition.revision);
|
|
24
|
+
const event = {
|
|
25
|
+
schemaVersion: 'task-aggregate-event.v1',
|
|
26
|
+
eventId: `task-event:${stableRuntimeHash({ identity: input.definition.identity, revision: input.definition.revision, idempotencyKey: input.idempotencyKey }).slice(0, 32)}`,
|
|
27
|
+
idempotencyKey: input.idempotencyKey,
|
|
28
|
+
identity: input.definition.identity,
|
|
29
|
+
revision: input.definition.revision,
|
|
30
|
+
sequence: previous.length + 1,
|
|
31
|
+
kind: input.kind,
|
|
32
|
+
payload: input.payload ?? {},
|
|
33
|
+
producer: input.producer,
|
|
34
|
+
producerVersion: input.producerVersion ?? '1.0.0',
|
|
35
|
+
createdAt: input.createdAt ?? Date.now(),
|
|
36
|
+
};
|
|
37
|
+
const snapshot = reduceTaskAggregate(input.definition, [...previous, event]);
|
|
38
|
+
return this.database.appendTaskAggregate({ definition: input.definition, event, snapshot, outbox: input.outbox });
|
|
39
|
+
}
|
|
40
|
+
}
|
|
41
|
+
//# sourceMappingURL=task-event-store.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-event-store.js","sourceRoot":"","sources":["../src/task-event-store.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAoD,MAAM,oBAAoB,CAAC;AACzG,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,OAAO,cAAc;IACI;IAA7B,YAA6B,QAAyB;QAAzB,aAAQ,GAAR,QAAQ,CAAiB;IAAG,CAAC;IAE1D,MAAM,CAAC,KASN;QACC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;QAC3F,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;mBAC3C,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;mBACpC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;mBACrF,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,UAAU,CAAC,QAAQ;mBAC/C,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,iBAAiB,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YACpF,IAAI,CAAC,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CACrD,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,EAC1E,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAC5D,CAAC;YACF,IAAI,CAAC,QAAQ;gBAAE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;YAClE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QACvD,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CACpD,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,EAC1E,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,CAC5D,CAAC;QACF,MAAM,KAAK,GAAyB;YAClC,aAAa,EAAE,yBAAyB;YACxC,OAAO,EAAE,cAAc,iBAAiB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;YAC3K,cAAc,EAAE,KAAK,CAAC,cAAc;YACpC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ;YACnC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,QAAQ;YACnC,QAAQ,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC;YAC7B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,EAAE;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,eAAe,EAAE,KAAK,CAAC,eAAe,IAAI,OAAO;YACjD,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,GAAG,EAAE;SACzC,CAAC;QACF,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,GAAG,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACpH,CAAC;CACF"}
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
import type { TaskAggregateEventV1, TaskDefinitionV1 } from '@devflow-tools/sdk';
|
|
2
|
+
import { TaskEventStore } from './task-event-store.js';
|
|
3
|
+
import type { TaskRuntimeEventProjectorPort } from './event-projector.js';
|
|
4
|
+
export declare class TaskKernel {
|
|
5
|
+
private readonly events;
|
|
6
|
+
private readonly projector?;
|
|
7
|
+
constructor(events: TaskEventStore, projector?: TaskRuntimeEventProjectorPort | undefined);
|
|
8
|
+
dispatch(input: {
|
|
9
|
+
definition: TaskDefinitionV1;
|
|
10
|
+
kind: TaskAggregateEventV1['kind'];
|
|
11
|
+
payload?: Record<string, unknown>;
|
|
12
|
+
idempotencyKey: string;
|
|
13
|
+
producer: string;
|
|
14
|
+
outbox?: {
|
|
15
|
+
operationId: string;
|
|
16
|
+
kind: string;
|
|
17
|
+
payload: Record<string, unknown>;
|
|
18
|
+
};
|
|
19
|
+
}): {
|
|
20
|
+
event: TaskAggregateEventV1;
|
|
21
|
+
snapshot: import("@devflow-tools/sdk").TaskRuntimeSnapshotV2;
|
|
22
|
+
replayed: boolean;
|
|
23
|
+
};
|
|
24
|
+
}
|
|
25
|
+
//# sourceMappingURL=task-kernel.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-kernel.d.ts","sourceRoot":"","sources":["../src/task-kernel.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAE1E,qBAAa,UAAU;IAEnB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC;gBADV,MAAM,EAAE,cAAc,EACtB,SAAS,CAAC,EAAE,6BAA6B,YAAA;IAG5D,QAAQ,CAAC,KAAK,EAAE;QACd,UAAU,EAAE,gBAAgB,CAAC;QAC7B,IAAI,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACnC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAClC,cAAc,EAAE,MAAM,CAAC;QACvB,QAAQ,EAAE,MAAM,CAAC;QACjB,MAAM,CAAC,EAAE;YAAE,WAAW,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAC;YAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;SAAE,CAAC;KAClF;;;;;CAKF"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
export class TaskKernel {
|
|
2
|
+
events;
|
|
3
|
+
projector;
|
|
4
|
+
constructor(events, projector) {
|
|
5
|
+
this.events = events;
|
|
6
|
+
this.projector = projector;
|
|
7
|
+
}
|
|
8
|
+
dispatch(input) {
|
|
9
|
+
const result = this.events.append(input);
|
|
10
|
+
this.projector?.project(result);
|
|
11
|
+
return result;
|
|
12
|
+
}
|
|
13
|
+
}
|
|
14
|
+
//# sourceMappingURL=task-kernel.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-kernel.js","sourceRoot":"","sources":["../src/task-kernel.ts"],"names":[],"mappings":"AAIA,MAAM,OAAO,UAAU;IAEF;IACA;IAFnB,YACmB,MAAsB,EACtB,SAAyC;QADzC,WAAM,GAAN,MAAM,CAAgB;QACtB,cAAS,GAAT,SAAS,CAAgC;IACzD,CAAC;IAEJ,QAAQ,CAAC,KAOR;QACC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAChC,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
import type { DevFlowDatabase, LeaseTaskOutboxInput } from '@devflow-tools/database';
|
|
2
|
+
export declare class TaskOutbox {
|
|
3
|
+
private readonly database;
|
|
4
|
+
constructor(database: DevFlowDatabase);
|
|
5
|
+
lease(input: LeaseTaskOutboxInput): import("@devflow-tools/database").TaskOutboxRecord[];
|
|
6
|
+
complete(operationId: string, owner: string, fencingToken: number, now?: number): boolean;
|
|
7
|
+
}
|
|
8
|
+
//# sourceMappingURL=task-outbox.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-outbox.d.ts","sourceRoot":"","sources":["../src/task-outbox.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAErF,qBAAa,UAAU;IACT,OAAO,CAAC,QAAQ,CAAC,QAAQ;gBAAR,QAAQ,EAAE,eAAe;IACtD,KAAK,CAAC,KAAK,EAAE,oBAAoB;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM;CAGhF"}
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
export class TaskOutbox {
|
|
2
|
+
database;
|
|
3
|
+
constructor(database) {
|
|
4
|
+
this.database = database;
|
|
5
|
+
}
|
|
6
|
+
lease(input) { return this.database.leaseTaskOutbox(input); }
|
|
7
|
+
complete(operationId, owner, fencingToken, now) {
|
|
8
|
+
return this.database.completeTaskOutbox(operationId, owner, fencingToken, now);
|
|
9
|
+
}
|
|
10
|
+
}
|
|
11
|
+
//# sourceMappingURL=task-outbox.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-outbox.js","sourceRoot":"","sources":["../src/task-outbox.ts"],"names":[],"mappings":"AAEA,MAAM,OAAO,UAAU;IACQ;IAA7B,YAA6B,QAAyB;QAAzB,aAAQ,GAAR,QAAQ,CAAiB;IAAG,CAAC;IAC1D,KAAK,CAAC,KAA2B,IAAI,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnF,QAAQ,CAAC,WAAmB,EAAE,KAAa,EAAE,YAAoB,EAAE,GAAY;QAC7E,OAAO,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,WAAW,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;IACjF,CAAC;CACF"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
import { type TaskAggregateEventV1, type TaskDefinitionV1, type TaskRuntimeSnapshotV2 } from '@devflow-tools/sdk';
|
|
2
|
+
export declare function reduceTaskAggregate(definition: TaskDefinitionV1, events: TaskAggregateEventV1[]): TaskRuntimeSnapshotV2;
|
|
3
|
+
//# sourceMappingURL=task-reducer.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-reducer.d.ts","sourceRoot":"","sources":["../src/task-reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,gBAAgB,EAErB,KAAK,qBAAqB,EAC3B,MAAM,oBAAoB,CAAC;AAG5B,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,gBAAgB,EAC5B,MAAM,EAAE,oBAAoB,EAAE,GAC7B,qBAAqB,CAuBvB"}
|
|
@@ -0,0 +1,143 @@
|
|
|
1
|
+
import { stableRuntimeHash, } from '@devflow-tools/sdk';
|
|
2
|
+
import { reduceTerminalOutcome } from './terminal-reducer.js';
|
|
3
|
+
export function reduceTaskAggregate(definition, events) {
|
|
4
|
+
if (events.length === 0)
|
|
5
|
+
throw new Error('TASK_AGGREGATE_EVENT_STREAM_EMPTY');
|
|
6
|
+
const obligations = Object.fromEntries(Object.entries(definition.requirements).map(([name, requirement]) => [
|
|
7
|
+
name,
|
|
8
|
+
{ requirement, state: requirement === 'not_required' || requirement === 'prohibited' ? 'satisfied' : 'pending' },
|
|
9
|
+
]));
|
|
10
|
+
const state = {
|
|
11
|
+
schemaVersion: 'task-runtime-snapshot.v2', identity: definition.identity, revision: definition.revision,
|
|
12
|
+
taskDefinitionHash: definition.definitionHash, activationSnapshotHash: '', lastEventSequence: 0,
|
|
13
|
+
obligations, durableWork: {}, runtimeHealth: 'healthy', updatedAt: events[0].createdAt,
|
|
14
|
+
};
|
|
15
|
+
for (const [index, event] of events.entries()) {
|
|
16
|
+
if (stableRuntimeHash(event.identity) !== stableRuntimeHash(definition.identity))
|
|
17
|
+
throw new Error('TASK_AGGREGATE_IDENTITY_MISMATCH');
|
|
18
|
+
if (event.revision !== definition.revision)
|
|
19
|
+
throw new Error('TASK_AGGREGATE_REVISION_MISMATCH');
|
|
20
|
+
if (event.sequence !== index + 1)
|
|
21
|
+
throw new Error(`TASK_AGGREGATE_SEQUENCE_GAP:${index + 1}`);
|
|
22
|
+
applyEvent(state, event);
|
|
23
|
+
state.lastEventSequence = event.sequence;
|
|
24
|
+
state.updatedAt = event.createdAt;
|
|
25
|
+
}
|
|
26
|
+
if (!state.activationSnapshotHash)
|
|
27
|
+
throw new Error('TASK_AGGREGATE_ACTIVATION_MISSING');
|
|
28
|
+
const terminal = reduceTerminalOutcome(state);
|
|
29
|
+
const body = { ...state, terminal };
|
|
30
|
+
return { ...body, snapshotHash: stableRuntimeHash(body) };
|
|
31
|
+
}
|
|
32
|
+
function applyEvent(state, event) {
|
|
33
|
+
const payload = event.payload;
|
|
34
|
+
switch (event.kind) {
|
|
35
|
+
case 'task_revision_bound': return;
|
|
36
|
+
case 'activation_bound':
|
|
37
|
+
state.activationSnapshotHash = required(payload.activationSnapshotHash, 'activationSnapshotHash');
|
|
38
|
+
return;
|
|
39
|
+
case 'semantic_resolved': {
|
|
40
|
+
const factsHash = optional(payload.semanticFactsHash);
|
|
41
|
+
const contextHash = optional(payload.semanticContextHash);
|
|
42
|
+
if (factsHash)
|
|
43
|
+
state.semanticFactsHash = factsHash;
|
|
44
|
+
else
|
|
45
|
+
throw new Error('TASK_AGGREGATE_PAYLOAD_INVALID:semanticFactsHash');
|
|
46
|
+
if (contextHash)
|
|
47
|
+
state.semanticContextHash = contextHash;
|
|
48
|
+
else
|
|
49
|
+
delete state.semanticContextHash;
|
|
50
|
+
return;
|
|
51
|
+
}
|
|
52
|
+
case 'plan_compiled':
|
|
53
|
+
state.channelPlanHash = required(payload.channelPlanHash, 'channelPlanHash');
|
|
54
|
+
return;
|
|
55
|
+
case 'retrieval_sufficiency_decided':
|
|
56
|
+
applyChannelReceipts(state, payload);
|
|
57
|
+
return;
|
|
58
|
+
case 'action_completed':
|
|
59
|
+
satisfy(state, 'action', payload);
|
|
60
|
+
return;
|
|
61
|
+
case 'action_failed':
|
|
62
|
+
fail(state, 'action', payload);
|
|
63
|
+
return;
|
|
64
|
+
case 'verification_completed':
|
|
65
|
+
satisfy(state, 'verification', payload);
|
|
66
|
+
return;
|
|
67
|
+
case 'verification_failed':
|
|
68
|
+
fail(state, 'verification', payload);
|
|
69
|
+
return;
|
|
70
|
+
case 'memory_episode_persisted':
|
|
71
|
+
satisfy(state, 'memory', payload);
|
|
72
|
+
return;
|
|
73
|
+
case 'memory_decision_completed':
|
|
74
|
+
satisfy(state, 'memory', payload);
|
|
75
|
+
return;
|
|
76
|
+
case 'knowledge_work_completed':
|
|
77
|
+
satisfy(state, 'knowledge', payload);
|
|
78
|
+
return;
|
|
79
|
+
case 'memory_extraction_failed':
|
|
80
|
+
state.runtimeHealth = 'degraded';
|
|
81
|
+
return;
|
|
82
|
+
case 'knowledge_work_failed':
|
|
83
|
+
fail(state, 'knowledge', payload);
|
|
84
|
+
return;
|
|
85
|
+
case 'durable_work_leased': {
|
|
86
|
+
const workId = required(payload.workId, 'workId');
|
|
87
|
+
state.durableWork[workId] = { obligation: required(payload.obligation, 'obligation'), state: 'leased', fencingToken: number(payload.fencingToken) };
|
|
88
|
+
return;
|
|
89
|
+
}
|
|
90
|
+
case 'durable_work_completed':
|
|
91
|
+
delete state.durableWork[required(payload.workId, 'workId')];
|
|
92
|
+
return;
|
|
93
|
+
case 'durable_work_dead_lettered': {
|
|
94
|
+
const work = state.durableWork[required(payload.workId, 'workId')];
|
|
95
|
+
if (work && work.obligation in state.obligations)
|
|
96
|
+
fail(state, work.obligation, payload);
|
|
97
|
+
delete state.durableWork[required(payload.workId, 'workId')];
|
|
98
|
+
return;
|
|
99
|
+
}
|
|
100
|
+
default: return;
|
|
101
|
+
}
|
|
102
|
+
}
|
|
103
|
+
function applyChannelReceipts(state, payload) {
|
|
104
|
+
const channels = payload.channels;
|
|
105
|
+
if (!channels || typeof channels !== 'object' || Array.isArray(channels))
|
|
106
|
+
throw new Error('TASK_AGGREGATE_PAYLOAD_INVALID:channels');
|
|
107
|
+
for (const channel of ['code', 'memory', 'knowledge']) {
|
|
108
|
+
const value = channels[channel];
|
|
109
|
+
if (!value || typeof value !== 'object' || Array.isArray(value))
|
|
110
|
+
continue;
|
|
111
|
+
const item = value;
|
|
112
|
+
const status = required(item.status, `${channel}.status`);
|
|
113
|
+
if (status === 'satisfied' || status === 'empty_valid' || status === 'intentional_abstention')
|
|
114
|
+
satisfy(state, channel, item);
|
|
115
|
+
else if (status === 'degraded')
|
|
116
|
+
state.obligations[channel] = { ...state.obligations[channel], state: 'degraded', reasonCode: optional(item.reasonCode) };
|
|
117
|
+
else if (status === 'failed')
|
|
118
|
+
fail(state, channel, item);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
function satisfy(state, name, payload) {
|
|
122
|
+
const receiptId = optional(payload.receiptId);
|
|
123
|
+
const reasonCode = optional(payload.reasonCode);
|
|
124
|
+
state.obligations[name] = {
|
|
125
|
+
...state.obligations[name], state: 'satisfied',
|
|
126
|
+
...(receiptId ? { receiptId } : {}),
|
|
127
|
+
...(reasonCode ? { reasonCode } : {}),
|
|
128
|
+
};
|
|
129
|
+
}
|
|
130
|
+
function fail(state, name, payload) {
|
|
131
|
+
const receiptId = optional(payload.receiptId);
|
|
132
|
+
const reasonCode = optional(payload.reasonCode);
|
|
133
|
+
state.obligations[name] = {
|
|
134
|
+
...state.obligations[name], state: 'failed',
|
|
135
|
+
...(receiptId ? { receiptId } : {}),
|
|
136
|
+
...(reasonCode ? { reasonCode } : {}),
|
|
137
|
+
};
|
|
138
|
+
}
|
|
139
|
+
function required(value, name) { if (typeof value !== 'string' || !value)
|
|
140
|
+
throw new Error(`TASK_AGGREGATE_PAYLOAD_INVALID:${name}`); return value; }
|
|
141
|
+
function optional(value) { return typeof value === 'string' && value ? value : undefined; }
|
|
142
|
+
function number(value) { return Number.isSafeInteger(value) ? value : undefined; }
|
|
143
|
+
//# sourceMappingURL=task-reducer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"task-reducer.js","sourceRoot":"","sources":["../src/task-reducer.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,iBAAiB,GAKlB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,MAAM,UAAU,mBAAmB,CACjC,UAA4B,EAC5B,MAA8B;IAE9B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;QAC1G,IAAI;QACJ,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,KAAK,cAAc,IAAI,WAAW,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAkC;KACjJ,CAAC,CAAyC,CAAC;IAC5C,MAAM,KAAK,GAA6D;QACtE,aAAa,EAAE,0BAA0B,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ;QACvG,kBAAkB,EAAE,UAAU,CAAC,cAAc,EAAE,sBAAsB,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC;QAC/F,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAE,CAAC,SAAS;KACxF,CAAC;IACF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,IAAI,iBAAiB,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,iBAAiB,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtI,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAChG,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,GAAG,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9F,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzB,KAAK,CAAC,iBAAiB,GAAG,KAAK,CAAC,QAAQ,CAAC;QACzC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACpC,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,sBAAsB;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC;IACpC,OAAO,EAAE,GAAG,IAAI,EAAE,YAAY,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,KAA+D,EAAE,KAA2B;IAC9G,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,qBAAqB,CAAC,CAAC,OAAO;QACnC,KAAK,kBAAkB;YAAE,KAAK,CAAC,sBAAsB,GAAG,QAAQ,CAAC,OAAO,CAAC,sBAAsB,EAAE,wBAAwB,CAAC,CAAC;YAAC,OAAO;QACnI,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACzB,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;YACtD,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC1D,IAAI,SAAS;gBAAE,KAAK,CAAC,iBAAiB,GAAG,SAAS,CAAC;;gBAC9C,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;YACzE,IAAI,WAAW;gBAAE,KAAK,CAAC,mBAAmB,GAAG,WAAW,CAAC;;gBACpD,OAAO,KAAK,CAAC,mBAAmB,CAAC;YACtC,OAAO;QACT,CAAC;QACD,KAAK,eAAe;YAAE,KAAK,CAAC,eAAe,GAAG,QAAQ,CAAC,OAAO,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;YAAC,OAAO;QAC3G,KAAK,+BAA+B;YAAE,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QACnF,KAAK,kBAAkB;YAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QACnE,KAAK,eAAe;YAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QAC7D,KAAK,wBAAwB;YAAE,OAAO,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QAC/E,KAAK,qBAAqB;YAAE,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QACzE,KAAK,0BAA0B;YAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QAC3E,KAAK,2BAA2B;YAAE,OAAO,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QAC5E,KAAK,0BAA0B;YAAE,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QAC9E,KAAK,0BAA0B;YAAE,KAAK,CAAC,aAAa,GAAG,UAAU,CAAC;YAAC,OAAO;QAC1E,KAAK,uBAAuB;YAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAAC,OAAO;QACxE,KAAK,qBAAqB,CAAC,CAAC,CAAC;YAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YAClD,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;YACpJ,OAAO;QACT,CAAC;QACD,KAAK,wBAAwB;YAAE,OAAO,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YAAC,OAAO;QACpG,KAAK,4BAA4B,CAAC,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YACnE,IAAI,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,WAAW;gBAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,UAA4C,EAAE,OAAO,CAAC,CAAC;YAC1H,OAAO,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC7D,OAAO;QACT,CAAC;QACD,OAAO,CAAC,CAAC,OAAO;IAClB,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAA+D,EAAE,OAAgC;IAC7H,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACrI,KAAK,MAAM,OAAO,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAU,EAAE,CAAC;QAC/D,MAAM,KAAK,GAAI,QAAoC,CAAC,OAAO,CAAC,CAAC;QAC7D,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAC1E,MAAM,IAAI,GAAG,KAAgC,CAAC;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,OAAO,SAAS,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,WAAW,IAAI,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,wBAAwB;YAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;aACxH,IAAI,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;aACpJ,IAAI,MAAM,KAAK,QAAQ;YAAE,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,KAA+D,EAAE,IAAgD,EAAE,OAAgC;IAClK,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG;QACxB,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW;QAC9C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,IAAI,CAAC,KAA+D,EAAE,IAAgD,EAAE,OAAgC;IAC/J,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChD,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG;QACxB,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ;QAC3C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtC,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc,EAAE,IAAY,IAAY,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK;IAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC;AAC7K,SAAS,QAAQ,CAAC,KAAc,IAAwB,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACxH,SAAS,MAAM,CAAC,KAAc,IAAwB,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,3 @@
|
|
|
1
|
+
import type { TaskRuntimeSnapshotV2, TaskTerminalOutcomeV2 } from '@devflow-tools/sdk';
|
|
2
|
+
export declare function reduceTerminalOutcome(snapshot: Pick<TaskRuntimeSnapshotV2, 'obligations' | 'durableWork' | 'runtimeHealth'>): TaskTerminalOutcomeV2;
|
|
3
|
+
//# sourceMappingURL=terminal-reducer.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"terminal-reducer.d.ts","sourceRoot":"","sources":["../src/terminal-reducer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAEvF,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,IAAI,CAAC,qBAAqB,EAAE,aAAa,GAAG,aAAa,GAAG,eAAe,CAAC,GAAG,qBAAqB,CAUnJ"}
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
export function reduceTerminalOutcome(snapshot) {
|
|
2
|
+
const required = Object.entries(snapshot.obligations)
|
|
3
|
+
.filter(([, value]) => value.requirement === 'required');
|
|
4
|
+
if (required.some(([, value]) => value.state === 'failed'))
|
|
5
|
+
return 'failed';
|
|
6
|
+
const pending = required.filter(([, value]) => value.state === 'pending').map(([name]) => name);
|
|
7
|
+
const owned = new Set(Object.values(snapshot.durableWork).map(work => work.obligation));
|
|
8
|
+
if (pending.length > 0)
|
|
9
|
+
return pending.every(name => owned.has(name)) ? 'retry_pending' : 'running';
|
|
10
|
+
const degraded = snapshot.runtimeHealth !== 'healthy'
|
|
11
|
+
|| required.some(([, value]) => value.state === 'degraded');
|
|
12
|
+
return degraded ? 'completed_with_degradation' : 'completed';
|
|
13
|
+
}
|
|
14
|
+
//# sourceMappingURL=terminal-reducer.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"terminal-reducer.js","sourceRoot":"","sources":["../src/terminal-reducer.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,qBAAqB,CAAC,QAAsF;IAC1H,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC;SAClD,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;IAC3D,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5E,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAChG,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IACxF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC;IACpG,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,KAAK,SAAS;WAChD,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC;IAC9D,OAAO,QAAQ,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,CAAC;AAC/D,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,37 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@devflow-tools/task-runtime",
|
|
3
|
+
"version": "0.18.0",
|
|
4
|
+
"type": "module",
|
|
5
|
+
"main": "./dist/index.js",
|
|
6
|
+
"types": "./dist/index.d.ts",
|
|
7
|
+
"exports": {
|
|
8
|
+
".": {
|
|
9
|
+
"import": "./dist/index.js",
|
|
10
|
+
"types": "./dist/index.d.ts"
|
|
11
|
+
}
|
|
12
|
+
},
|
|
13
|
+
"scripts": {
|
|
14
|
+
"build": "tsc -b",
|
|
15
|
+
"test": "node ../../node_modules/.bin/vitest run",
|
|
16
|
+
"typecheck": "tsc --noEmit",
|
|
17
|
+
"clean": "rm -rf dist"
|
|
18
|
+
},
|
|
19
|
+
"dependencies": {
|
|
20
|
+
"@devflow-tools/database": "0.18.0",
|
|
21
|
+
"@devflow-tools/sdk": "0.18.0"
|
|
22
|
+
},
|
|
23
|
+
"devDependencies": {
|
|
24
|
+
"typescript": "^5.5.0",
|
|
25
|
+
"vitest": "^2.0.0"
|
|
26
|
+
},
|
|
27
|
+
"files": [
|
|
28
|
+
"dist"
|
|
29
|
+
],
|
|
30
|
+
"description": "Durable task, receipt, attribution, and terminal proof runtime for DevFlow.",
|
|
31
|
+
"license": "MIT",
|
|
32
|
+
"repository": {
|
|
33
|
+
"type": "git",
|
|
34
|
+
"url": "git+https://github.com/shilongfeicool/dev-flow.git"
|
|
35
|
+
},
|
|
36
|
+
"homepage": "https://github.com/shilongfeicool/dev-flow#readme"
|
|
37
|
+
}
|