@deepstrike/wasm-kernel 0.2.68 → 0.2.70
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/deepstrike_wasm.d.ts +21 -1
- package/deepstrike_wasm.js +1 -1
- package/deepstrike_wasm_bg.js +155 -27
- package/deepstrike_wasm_bg.wasm +0 -0
- package/package.json +1 -1
package/deepstrike_wasm.d.ts
CHANGED
|
@@ -259,7 +259,6 @@ export class CanonicalKernel {
|
|
|
259
259
|
* Commit only after the journal appended the prepared record.
|
|
260
260
|
*/
|
|
261
261
|
commit(prepare_token: string, appended_head: string): CanonicalCommit;
|
|
262
|
-
currentProjectionJson(): string;
|
|
263
262
|
lifecycle(): CanonicalLifecycle;
|
|
264
263
|
constructor();
|
|
265
264
|
pendingEffectsJson(): string;
|
|
@@ -268,6 +267,7 @@ export class CanonicalKernel {
|
|
|
268
267
|
*/
|
|
269
268
|
prepare(input_json: string): CanonicalPreparation;
|
|
270
269
|
projectPlannedStepJson(planned_step_json: string): string;
|
|
270
|
+
projectionJson(): string;
|
|
271
271
|
publishedEffectsManifestJson(planned_step_json: string): string;
|
|
272
272
|
/**
|
|
273
273
|
* Replace this handle in place from checkpoint bytes plus post-checkpoint record bytes.
|
|
@@ -298,6 +298,21 @@ export class SignalRouter {
|
|
|
298
298
|
*/
|
|
299
299
|
export function buildEvalMessages(goal: string, criteria: Criterion[], result: string, attempt: number, extract_skill_on_pass: boolean): Message[];
|
|
300
300
|
|
|
301
|
+
/**
|
|
302
|
+
* Freeze host route and measurement against the kernel's committed Context candidate.
|
|
303
|
+
*/
|
|
304
|
+
export function contextPrepareJson(request: string): string;
|
|
305
|
+
|
|
306
|
+
/**
|
|
307
|
+
* Verify recorded execution evidence against a replayed Context candidate.
|
|
308
|
+
*/
|
|
309
|
+
export function contextVerifyJson(request: string): string;
|
|
310
|
+
|
|
311
|
+
/**
|
|
312
|
+
* Framework Evolution Runtime bridge. Rust core remains the single E1–E8 validation authority.
|
|
313
|
+
*/
|
|
314
|
+
export function evolutionValidateJson(request: string): string;
|
|
315
|
+
|
|
301
316
|
/**
|
|
302
317
|
* Parse the evaluator LLM's JSON response into a structured `Verdict`.
|
|
303
318
|
*/
|
|
@@ -308,3 +323,8 @@ export function parseVerdict(content: string): Verdict;
|
|
|
308
323
|
* `outputSchema` of the eval node in the `gen_eval` workflow template.
|
|
309
324
|
*/
|
|
310
325
|
export function verdictOutputSchema(extract_skill_on_pass: boolean): string;
|
|
326
|
+
|
|
327
|
+
/**
|
|
328
|
+
* Framework Verifiable Runtime bridge. Rust core remains the single semantic implementation.
|
|
329
|
+
*/
|
|
330
|
+
export function verifiableOperationJson(request: string): string;
|
package/deepstrike_wasm.js
CHANGED
|
@@ -5,5 +5,5 @@ import { __wbg_set_wasm } from "./deepstrike_wasm_bg.js";
|
|
|
5
5
|
__wbg_set_wasm(wasm);
|
|
6
6
|
|
|
7
7
|
export {
|
|
8
|
-
CanonicalKernel, SignalRouter, buildEvalMessages, parseVerdict, verdictOutputSchema
|
|
8
|
+
CanonicalKernel, SignalRouter, buildEvalMessages, contextPrepareJson, contextVerifyJson, evolutionValidateJson, parseVerdict, verdictOutputSchema, verifiableOperationJson
|
|
9
9
|
} from "./deepstrike_wasm_bg.js";
|
package/deepstrike_wasm_bg.js
CHANGED
|
@@ -114,33 +114,6 @@ export class CanonicalKernel {
|
|
|
114
114
|
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
115
115
|
}
|
|
116
116
|
}
|
|
117
|
-
/**
|
|
118
|
-
* @returns {string}
|
|
119
|
-
*/
|
|
120
|
-
currentProjectionJson() {
|
|
121
|
-
let deferred2_0;
|
|
122
|
-
let deferred2_1;
|
|
123
|
-
try {
|
|
124
|
-
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
125
|
-
wasm.canonicalkernel_currentProjectionJson(retptr, this.__wbg_ptr);
|
|
126
|
-
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
127
|
-
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
128
|
-
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
129
|
-
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
130
|
-
var ptr1 = r0;
|
|
131
|
-
var len1 = r1;
|
|
132
|
-
if (r3) {
|
|
133
|
-
ptr1 = 0; len1 = 0;
|
|
134
|
-
throw takeObject(r2);
|
|
135
|
-
}
|
|
136
|
-
deferred2_0 = ptr1;
|
|
137
|
-
deferred2_1 = len1;
|
|
138
|
-
return getStringFromWasm0(ptr1, len1);
|
|
139
|
-
} finally {
|
|
140
|
-
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
141
|
-
wasm.__wbindgen_export4(deferred2_0, deferred2_1, 1);
|
|
142
|
-
}
|
|
143
|
-
}
|
|
144
117
|
/**
|
|
145
118
|
* @returns {CanonicalLifecycle}
|
|
146
119
|
*/
|
|
@@ -233,6 +206,33 @@ export class CanonicalKernel {
|
|
|
233
206
|
wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
|
|
234
207
|
}
|
|
235
208
|
}
|
|
209
|
+
/**
|
|
210
|
+
* @returns {string}
|
|
211
|
+
*/
|
|
212
|
+
projectionJson() {
|
|
213
|
+
let deferred2_0;
|
|
214
|
+
let deferred2_1;
|
|
215
|
+
try {
|
|
216
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
217
|
+
wasm.canonicalkernel_projectionJson(retptr, this.__wbg_ptr);
|
|
218
|
+
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
219
|
+
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
220
|
+
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
221
|
+
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
222
|
+
var ptr1 = r0;
|
|
223
|
+
var len1 = r1;
|
|
224
|
+
if (r3) {
|
|
225
|
+
ptr1 = 0; len1 = 0;
|
|
226
|
+
throw takeObject(r2);
|
|
227
|
+
}
|
|
228
|
+
deferred2_0 = ptr1;
|
|
229
|
+
deferred2_1 = len1;
|
|
230
|
+
return getStringFromWasm0(ptr1, len1);
|
|
231
|
+
} finally {
|
|
232
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
233
|
+
wasm.__wbindgen_export4(deferred2_0, deferred2_1, 1);
|
|
234
|
+
}
|
|
235
|
+
}
|
|
236
236
|
/**
|
|
237
237
|
* @param {string} planned_step_json
|
|
238
238
|
* @returns {string}
|
|
@@ -414,6 +414,102 @@ export function buildEvalMessages(goal, criteria, result, attempt, extract_skill
|
|
|
414
414
|
}
|
|
415
415
|
}
|
|
416
416
|
|
|
417
|
+
/**
|
|
418
|
+
* Freeze host route and measurement against the kernel's committed Context candidate.
|
|
419
|
+
* @param {string} request
|
|
420
|
+
* @returns {string}
|
|
421
|
+
*/
|
|
422
|
+
export function contextPrepareJson(request) {
|
|
423
|
+
let deferred3_0;
|
|
424
|
+
let deferred3_1;
|
|
425
|
+
try {
|
|
426
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
427
|
+
const ptr0 = passStringToWasm0(request, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
428
|
+
const len0 = WASM_VECTOR_LEN;
|
|
429
|
+
wasm.contextPrepareJson(retptr, ptr0, len0);
|
|
430
|
+
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
431
|
+
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
432
|
+
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
433
|
+
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
434
|
+
var ptr2 = r0;
|
|
435
|
+
var len2 = r1;
|
|
436
|
+
if (r3) {
|
|
437
|
+
ptr2 = 0; len2 = 0;
|
|
438
|
+
throw takeObject(r2);
|
|
439
|
+
}
|
|
440
|
+
deferred3_0 = ptr2;
|
|
441
|
+
deferred3_1 = len2;
|
|
442
|
+
return getStringFromWasm0(ptr2, len2);
|
|
443
|
+
} finally {
|
|
444
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
445
|
+
wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
|
|
446
|
+
}
|
|
447
|
+
}
|
|
448
|
+
|
|
449
|
+
/**
|
|
450
|
+
* Verify recorded execution evidence against a replayed Context candidate.
|
|
451
|
+
* @param {string} request
|
|
452
|
+
* @returns {string}
|
|
453
|
+
*/
|
|
454
|
+
export function contextVerifyJson(request) {
|
|
455
|
+
let deferred3_0;
|
|
456
|
+
let deferred3_1;
|
|
457
|
+
try {
|
|
458
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
459
|
+
const ptr0 = passStringToWasm0(request, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
460
|
+
const len0 = WASM_VECTOR_LEN;
|
|
461
|
+
wasm.contextVerifyJson(retptr, ptr0, len0);
|
|
462
|
+
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
463
|
+
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
464
|
+
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
465
|
+
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
466
|
+
var ptr2 = r0;
|
|
467
|
+
var len2 = r1;
|
|
468
|
+
if (r3) {
|
|
469
|
+
ptr2 = 0; len2 = 0;
|
|
470
|
+
throw takeObject(r2);
|
|
471
|
+
}
|
|
472
|
+
deferred3_0 = ptr2;
|
|
473
|
+
deferred3_1 = len2;
|
|
474
|
+
return getStringFromWasm0(ptr2, len2);
|
|
475
|
+
} finally {
|
|
476
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
477
|
+
wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
|
|
478
|
+
}
|
|
479
|
+
}
|
|
480
|
+
|
|
481
|
+
/**
|
|
482
|
+
* Framework Evolution Runtime bridge. Rust core remains the single E1–E8 validation authority.
|
|
483
|
+
* @param {string} request
|
|
484
|
+
* @returns {string}
|
|
485
|
+
*/
|
|
486
|
+
export function evolutionValidateJson(request) {
|
|
487
|
+
let deferred3_0;
|
|
488
|
+
let deferred3_1;
|
|
489
|
+
try {
|
|
490
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
491
|
+
const ptr0 = passStringToWasm0(request, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
492
|
+
const len0 = WASM_VECTOR_LEN;
|
|
493
|
+
wasm.evolutionValidateJson(retptr, ptr0, len0);
|
|
494
|
+
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
495
|
+
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
496
|
+
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
497
|
+
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
498
|
+
var ptr2 = r0;
|
|
499
|
+
var len2 = r1;
|
|
500
|
+
if (r3) {
|
|
501
|
+
ptr2 = 0; len2 = 0;
|
|
502
|
+
throw takeObject(r2);
|
|
503
|
+
}
|
|
504
|
+
deferred3_0 = ptr2;
|
|
505
|
+
deferred3_1 = len2;
|
|
506
|
+
return getStringFromWasm0(ptr2, len2);
|
|
507
|
+
} finally {
|
|
508
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
509
|
+
wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
|
|
510
|
+
}
|
|
511
|
+
}
|
|
512
|
+
|
|
417
513
|
/**
|
|
418
514
|
* Parse the evaluator LLM's JSON response into a structured `Verdict`.
|
|
419
515
|
* @param {string} content
|
|
@@ -448,6 +544,38 @@ export function verdictOutputSchema(extract_skill_on_pass) {
|
|
|
448
544
|
wasm.__wbindgen_export4(deferred1_0, deferred1_1, 1);
|
|
449
545
|
}
|
|
450
546
|
}
|
|
547
|
+
|
|
548
|
+
/**
|
|
549
|
+
* Framework Verifiable Runtime bridge. Rust core remains the single semantic implementation.
|
|
550
|
+
* @param {string} request
|
|
551
|
+
* @returns {string}
|
|
552
|
+
*/
|
|
553
|
+
export function verifiableOperationJson(request) {
|
|
554
|
+
let deferred3_0;
|
|
555
|
+
let deferred3_1;
|
|
556
|
+
try {
|
|
557
|
+
const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
|
|
558
|
+
const ptr0 = passStringToWasm0(request, wasm.__wbindgen_export, wasm.__wbindgen_export2);
|
|
559
|
+
const len0 = WASM_VECTOR_LEN;
|
|
560
|
+
wasm.verifiableOperationJson(retptr, ptr0, len0);
|
|
561
|
+
var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
|
|
562
|
+
var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
|
|
563
|
+
var r2 = getDataViewMemory0().getInt32(retptr + 4 * 2, true);
|
|
564
|
+
var r3 = getDataViewMemory0().getInt32(retptr + 4 * 3, true);
|
|
565
|
+
var ptr2 = r0;
|
|
566
|
+
var len2 = r1;
|
|
567
|
+
if (r3) {
|
|
568
|
+
ptr2 = 0; len2 = 0;
|
|
569
|
+
throw takeObject(r2);
|
|
570
|
+
}
|
|
571
|
+
deferred3_0 = ptr2;
|
|
572
|
+
deferred3_1 = len2;
|
|
573
|
+
return getStringFromWasm0(ptr2, len2);
|
|
574
|
+
} finally {
|
|
575
|
+
wasm.__wbindgen_add_to_stack_pointer(16);
|
|
576
|
+
wasm.__wbindgen_export4(deferred3_0, deferred3_1, 1);
|
|
577
|
+
}
|
|
578
|
+
}
|
|
451
579
|
export function __wbg_Error_bce6d499ff0a4aff(arg0, arg1) {
|
|
452
580
|
const ret = Error(getStringFromWasm0(arg0, arg1));
|
|
453
581
|
return addHeapObject(ret);
|
package/deepstrike_wasm_bg.wasm
CHANGED
|
Binary file
|
package/package.json
CHANGED