@cotal-ai/runtime 0.68.0 → 0.69.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/dist/fork.d.ts.map +1 -1
- package/dist/fork.js +4 -6
- package/dist/fork.js.map +1 -1
- package/dist/mesh-handler.d.ts +22 -55
- package/dist/mesh-handler.d.ts.map +1 -1
- package/dist/mesh-handler.js +63 -151
- package/dist/mesh-handler.js.map +1 -1
- package/dist/pause-tokens.d.ts +13 -0
- package/dist/pause-tokens.d.ts.map +1 -0
- package/dist/pause-tokens.js +54 -0
- package/dist/pause-tokens.js.map +1 -0
- package/dist/run-command.d.ts.map +1 -1
- package/dist/run-command.js +5 -4
- package/dist/run-command.js.map +1 -1
- package/dist/run-scope-authority.d.ts.map +1 -1
- package/dist/run-scope-authority.js +1 -28
- package/dist/run-scope-authority.js.map +1 -1
- package/package.json +4 -4
package/dist/fork.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../src/fork.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAEtC,OAAO,EAEL,OAAO,
|
|
1
|
+
{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../src/fork.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAEtC,OAAO,EAEL,OAAO,EAWP,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,OAAO,EACb,MAAM,gBAAgB,CAAC;AAGxB;2BAC2B;AAC3B,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,kGAAkG;IAClG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,qGAAqG;IACrG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,GAAG,EAAE,SAAS,YAAY,EAAE,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;CAC3C;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,sGAAsG;IACtG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,oGAAoG;IACpG,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,0CAA0C;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,gFAAgF;IAChF,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC;sBACkB;IAClB,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;CACrC;AAED,oGAAoG;AACpG,qBAAa,UAAW,SAAQ,KAAK;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM;gBAAZ,IAAI,EAAE,MAAM;CAIlC;AAED;;;;;;;;;GASG;AACH,qBAAa,UAAW,SAAQ,OAAO;IAGnC,OAAO,CAAC,QAAQ,CAAC,KAAK;gBADtB,IAAI,EAAE,WAAW,EACA,KAAK,EAAE,MAAM;IAKvB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,GAAG,aAAa;CAIhE;AAuBD;;;;;GAKG;AACH,wBAAsB,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,CAuMlE;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC;CAChC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,UAAU,CAC9B,EAAE,EAAE,EAAE,EACN,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,QAAQ,EACd,KAAK,EAAE,YAAY,GAClB,OAAO,CAAC,gBAAgB,CAAC,CAoC3B;AAED,gGAAgG;AAChG,qBAAa,iBAAkB,SAAQ,KAAK;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ;gBAAd,IAAI,EAAE,QAAQ;CAQpC"}
|
package/dist/fork.js
CHANGED
|
@@ -1,8 +1,6 @@
|
|
|
1
1
|
import { createRunSpec, readRunRecord, recordRunProgram } from "@cotal-ai/core";
|
|
2
|
-
import { ENGINE_LANGUAGE_VERSION, Journal, JournalReadOnlyError, journalEntryKeyString, run as runProgram, RunDivergence, UnwalkableScope, ScopeBranchMissing, stepKeyString, } from "@cotal-ai/lang";
|
|
2
|
+
import { ENGINE_LANGUAGE_VERSION, Journal, JournalReadOnlyError, journalEntryKeyString, run as runProgram, RunDivergence, UnwalkableScope, ScopeBranchMissing, scopeTraits, stepKeyString, } from "@cotal-ai/lang";
|
|
3
3
|
import { assertPlanningVersion, inspectCompiled } from "./inspect-compiled.js";
|
|
4
|
-
/** The journal kinds that open a scope, i.e. whose entry can ENCLOSE a cut point. */
|
|
5
|
-
const SCOPE_KINDS = new Set(["parallel", "race", "fanOut", "conclave", "once"]);
|
|
6
4
|
/** The walk reached the step the caller wants to cut at. Not an error: it is where the cut ENDS. */
|
|
7
5
|
export class CutReached extends Error {
|
|
8
6
|
step;
|
|
@@ -174,15 +172,15 @@ export async function planFork(req) {
|
|
|
174
172
|
// live from it. That is what a fork means here.
|
|
175
173
|
const enclosing = entries.filter((e) => {
|
|
176
174
|
const k = journalEntryKeyString(e);
|
|
177
|
-
return
|
|
175
|
+
return scopeTraits(e.kind) !== undefined && req.fromStepKey.startsWith(`${k}/b:`);
|
|
178
176
|
});
|
|
179
|
-
// Re-entering is only sound for a scope
|
|
177
|
+
// Re-entering is only sound for a scope that decides nothing of its own (its `reenters` trait). A
|
|
180
178
|
// `race` decided a winner, and a child that re-enters would race again — re-deciding, on a fresh
|
|
181
179
|
// handler, something the parent recorded. That is not a fork of the run, it is a different run.
|
|
182
180
|
// Refused rather than re-raced, and refused rather than copied-as-settled, because both of those
|
|
183
181
|
// are silent.
|
|
184
182
|
for (const e of enclosing) {
|
|
185
|
-
if (e.kind
|
|
183
|
+
if (scopeTraits(e.kind)?.reenters)
|
|
186
184
|
continue;
|
|
187
185
|
refusals.push({
|
|
188
186
|
code: "L5020",
|
package/dist/fork.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"fork.js","sourceRoot":"","sources":["../src/fork.ts"],"names":[],"mappings":"AAsCA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EACL,uBAAuB,EACvB,OAAO,EACP,oBAAoB,EACpB,qBAAqB,EACrB,GAAG,IAAI,UAAU,EACjB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,aAAa,GASd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;
|
|
1
|
+
{"version":3,"file":"fork.js","sourceRoot":"","sources":["../src/fork.ts"],"names":[],"mappings":"AAsCA,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAChF,OAAO,EACL,uBAAuB,EACvB,OAAO,EACP,oBAAoB,EACpB,qBAAqB,EACrB,GAAG,IAAI,UAAU,EACjB,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,WAAW,EACX,aAAa,GASd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAoD/E,oGAAoG;AACpG,MAAM,OAAO,UAAW,SAAQ,KAAK;IACd;IAArB,YAAqB,IAAY;QAC/B,KAAK,CAAC,mCAAmC,IAAI,EAAE,CAAC,CAAC;QAD9B,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAED;;;;;;;;;GASG;AACH,MAAM,OAAO,UAAW,SAAQ,OAAO;IAGlB;IAFnB,YACE,IAAiB,EACA,KAAa;QAE9B,KAAK,CAAC,IAAI,CAAC,CAAC;QAFK,UAAK,GAAL,KAAK,CAAQ;IAGhC,CAAC;IAEQ,MAAM,CAAC,GAAY,EAAE,SAAiB;QAC7C,IAAI,aAAa,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACtC,CAAC;CACF;AAED,kGAAkG;AAClG,SAAS,UAAU,CAAC,GAAiB;IACnC,MAAM,IAAI,GAAG,CAAC,IAAa,EAAE,GAAkB,EAAS,EAAE;QACxD,MAAM,IAAI,YAAY,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,OAAO;QACL,GAAG;QACH,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;QACjE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI;KACrD,CAAC;AAChC,CAAC;AAED;0EAC0E;AAC1E,MAAM,YAAa,SAAQ,KAAK;IACT;IAArB,YAAqB,IAAY;QAC/B,KAAK,CAAC,wCAAwC,IAAI,EAAE,CAAC,CAAC;QADnC,SAAI,GAAJ,IAAI,CAAQ;QAE/B,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;IAC7B,CAAC;CACF;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,GAAgB;IAC7C,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,IAAI,GAAG,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACrC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,wMAAwM;SAC9M,CAAC,CAAC;IACL,CAAC;IACD,IAAI,GAAG,CAAC,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAClC,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,qLAAqL;SAC3L,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,UAAU,CAC5B,EAAE,GAAG,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EACzD,GAAG,CAAC,WAAW,CAChB,CAAC;IAEF,mFAAmF;IACnF,EAAE;IACF,kGAAkG;IAClG,mGAAmG;IACnG,kGAAkG;IAClG,mGAAmG;IACnG,iGAAiG;IACjG,iGAAiG;IACjG,iFAAiF;IACjF,EAAE;IACF,kGAAkG;IAClG,2DAA2D;IAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC;IAElC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,WAAW,CAAC,CAAC;IACnF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,GAAG,CAAC,WAAW;YACrB,GAAG,EAAE,oKAAoK;SAC1K,CAAC,CAAC;IACL,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,gBAAqD,CAAC;IAC1D,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,uBAAuB,EAAE,CAAC;YACzD,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC;gBACtC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO;gBAC3E,KAAK,EAAE,GAAG,CAAC,WAAW,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9E,CAAC,CAAC;YACH,gBAAgB,GAAG,SAAS,CAAC,OAAO,CAAC;YACrC,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC;YAC/B,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS;gBAAE,MAAM,SAAS,CAAC,KAAK,CAAC;QAC3D,CAAC;;YAAM,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE;gBAClC,KAAK,EAAE,GAAG,CAAC,MAAM;gBACjB,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;gBAC5B,OAAO;gBACP,+FAA+F;gBAC/F,6FAA6F;gBAC7F,SAAS,EAAE,IAAI;gBACf,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACtD,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,GAAG,YAAY,UAAU,EAAE,CAAC;YAC9B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,GAAG,YAAY,aAAa,EAAE,CAAC;YACxC,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,GAAG,CAAC,OAAO;gBACjB,GAAG,EAAE,yKAAyK;aAC/K,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,YAAY,eAAe,EAAE,CAAC;YAC1C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,GAAG,CAAC,QAAQ;gBAClB,GAAG,EAAE,2DAA2D,GAAG,CAAC,OAAO,EAAE;aAC9E,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,GAAG,YAAY,kBAAkB,EAAE,CAAC;YAC7C,+FAA+F;YAC/F,8FAA8F;YAC9F,sFAAsF;YACtF,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,GAAG,CAAC,QAAQ;gBAClB,GAAG,EAAE,oBAAoB,GAAG,CAAC,QAAQ,2DAA2D;sBAC5F,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,uBAAuB;sBAC1H,yDAAyD;aAC9D,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,CAAC,CAAC,GAAG,YAAY,YAAY,CAAC,IAAI,CAAC,CAAC,GAAG,YAAY,oBAAoB,CAAC,EAAE,CAAC;YACpF,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,gBAAgB,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEvG,8FAA8F;IAC9F,EAAE;IACF,wFAAwF;IACxF,+FAA+F;IAC/F,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,iGAAiG;IACjG,6FAA6F;IAC7F,EAAE;IACF,gGAAgG;IAChG,gGAAgG;IAChG,gDAAgD;IAChD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;QACnC,OAAO,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,kGAAkG;IAClG,iGAAiG;IACjG,gGAAgG;IAChG,iGAAiG;IACjG,cAAc;IACd,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ;YAAE,SAAS;QAC5C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;YAC9B,GAAG,EAAE,yBAAyB,CAAC,CAAC,IAAI,sNAAsN,CAAC,CAAC,IAAI,eAAe,CAAC,CAAC,IAAI,UAAU;SAChS,CAAC,CAAC;IACL,CAAC;IAED,+FAA+F;IAC/F,kGAAkG;IAClG,iGAAiG;IACjG,gGAAgG;IAChG,iGAAiG;IACjG,iGAAiG;IACjG,wEAAwE;IACxE,EAAE;IACF,mGAAmG;IACnG,+FAA+F;IAC/F,gGAAgG;IAChG,kEAAkE;IAClE,EAAE;IACF,iGAAiG;IACjG,wEAAwE;IACxE,MAAM,uBAAuB,GAAG,QAAQ,CAAC,IAAI,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CACtE,CAAC;IACF,IAAI,CAAC,OAAO,IAAI,QAAQ,IAAI,CAAC,uBAAuB,EAAE,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,GAAG,CAAC,WAAW;YACrB,GAAG,EAAE,wMAAwM;SAC9M,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,kGAAkG;IAClG,gGAAgG;IAChG,6FAA6F;IAC7F,+FAA+F;IAC/F,MAAM,GAAG,GACP,OAAO,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YACnB,MAAM,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,CAAC;YACnC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IAET,gGAAgG;IAChG,kGAAkG;IAClG,4FAA4F;IAC5F,yFAAyF;IACzF,8FAA8F;IAC9F,wDAAwD;IACxD,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACjC,IAAK,CAAC,CAAC,QAA6C,EAAE,MAAM,KAAK,OAAO;YAAE,SAAS;QACnF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;YAC9B,GAAG,EAAE,yRAAyR;SAC/R,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,EAAE,EAAE,GAAG,CAAC,GAAG,EAAE;QACb,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,QAAQ,EAAE,GAAG,CAAC,WAAW;QACzB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,GAAG;QACH,UAAU,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC;QACjC,QAAQ;KACT,CAAC;AACJ,CAAC;AAaD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,EAAM,EACN,QAAgB,EAChB,IAAc,EACd,KAAmB;IAEnB,IAAI,CAAC,IAAI,CAAC,UAAU;QAAE,MAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAExD,kGAAkG;IAClG,mGAAmG;IACnG,8FAA8F;IAC9F,mGAAmG;IACnG,iGAAiG;IACjG,kGAAkG;IAClG,4CAA4C;IAC5C,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,iBAAiB,CAAC;YAC1B,GAAG,IAAI;YACP,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,OAAO;oBACb,GAAG,EAAE,OAAO,IAAI,CAAC,KAAK,mIAAmI;iBAC1J;aACF;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,MAAM,aAAa,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,EAAE;QAC5C,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,SAAS,EAAE,IAAI,CAAC,EAAE;QAClB,UAAU,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE;KACtD,CAAC,CAAC;IACH,MAAM,gBAAgB,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAElG,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;AAC/E,CAAC;AAED,gGAAgG;AAChG,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IACrB;IAArB,YAAqB,IAAc;QACjC,KAAK,CACH,OAAO,IAAI,CAAC,MAAM,mBAAmB,IAAI,CAAC,QAAQ,IAAI;YACpD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC9F,8DAA8D,CACjE,CAAC;QALiB,SAAI,GAAJ,IAAI,CAAU;QAMjC,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,CAAU;IAC3B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAI,GAA4B,EAAE,MAAM,CAAC;QACpD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,GAAG;YAAE,OAAO,GAAG,CAAC;QACrD,GAAG,GAAG,KAAK,CAAC;IACd,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}
|
package/dist/mesh-handler.d.ts
CHANGED
|
@@ -137,33 +137,17 @@ export declare class MeshHandler {
|
|
|
137
137
|
private managerService;
|
|
138
138
|
private manager;
|
|
139
139
|
/**
|
|
140
|
-
* One manager call, with a SPEC 13.2 bind refusal REPAIRED rather than raised
|
|
141
|
-
*
|
|
142
|
-
*
|
|
143
|
-
*
|
|
144
|
-
*
|
|
145
|
-
* before dispatching.
|
|
146
|
-
*
|
|
147
|
-
*
|
|
148
|
-
*
|
|
149
|
-
*
|
|
150
|
-
*
|
|
151
|
-
* statement that no effect of the command exists, which is what {@link replyRefusedBeforeEffect}
|
|
152
|
-
* checks, and it is the same licence core's `Endpoint.invokeService` re-issues on. The stale
|
|
153
|
-
* class handle is dropped first, so the re-issue re-describes rather than rebinding the
|
|
154
|
-
* incarnation that was just refused.
|
|
155
|
-
*
|
|
156
|
-
* BOUNDED, because a re-issue draws the same queue again. The describe and the invoke stay two
|
|
157
|
-
* independent trips, so a space of m managers still splits (m-1)/m of the time and the repair
|
|
158
|
-
* converges geometrically rather than deterministically; after {@link BIND_SPLIT_REISSUES} of
|
|
159
|
-
* them the refusal surfaces unchanged, still stating that the command did not run. What removes
|
|
160
|
-
* the residual is addressing one instance, and the run's caller holds no instance-rail grant for
|
|
161
|
-
* a command its program did not place (SPEC 13.9, `run-driver-grants.ts`), so that is a wider
|
|
162
|
-
* change than this one.
|
|
163
|
-
*
|
|
164
|
-
* A PINNED handle is never repaired. It addresses one instance by name, so a refusal from it is
|
|
165
|
-
* that incarnation answering about itself, and re-resolving onto the class rail would reinstate
|
|
166
|
-
* the anycast fallback #1616 removed.
|
|
140
|
+
* One manager call, with a SPEC 13.2 bind refusal REPAIRED rather than raised
|
|
141
|
+
* ({@link invokeRepairingSplit}).
|
|
142
|
+
*
|
|
143
|
+
* A run resolves the manager on the class rail, so in a space with more than one manager its
|
|
144
|
+
* invoke routinely reaches a member other than the one that answered the describe, and that
|
|
145
|
+
* member refuses before dispatching. Raised as the effect's own failure, that refusal ends the
|
|
146
|
+
* run and consumes the run id and its journal (#1638), although it says the command did not run.
|
|
147
|
+
* The class memo is dropped before each re-describe, so later calls do not start from the bind
|
|
148
|
+
* that was just refused. After the shared bound the refusal surfaces unchanged; what removes that
|
|
149
|
+
* residual is addressing one instance, and the run's caller holds no instance-rail grant for a
|
|
150
|
+
* command its program did not place (SPEC 13.9, `run-driver-grants.ts`).
|
|
167
151
|
*/
|
|
168
152
|
private invokeManager;
|
|
169
153
|
/**
|
|
@@ -289,10 +273,10 @@ export declare class MeshHandler {
|
|
|
289
273
|
*/
|
|
290
274
|
discharge(entries: readonly JournalEntry[]): Promise<void>;
|
|
291
275
|
/**
|
|
292
|
-
* End the
|
|
293
|
-
* consumer. A cancelled loser's discharge calls it, and so does a hold before
|
|
294
|
-
* (spec/cotal-lang.md §7.8), which claims
|
|
295
|
-
* as the discharge leaves it.
|
|
276
|
+
* End the pauses a step armed: claim every token {@link pauseTokens} says it owns and, for a
|
|
277
|
+
* `wait`, close its consumer. A cancelled loser's discharge calls it, and so does a hold before
|
|
278
|
+
* its first bind (spec/cotal-lang.md §7.8), which claims the held step's open attempt. An `ask`'s
|
|
279
|
+
* relay goal is left as the discharge leaves it.
|
|
296
280
|
*/
|
|
297
281
|
endPause(e: JournalEntry): Promise<void>;
|
|
298
282
|
/**
|
|
@@ -678,10 +662,10 @@ export declare class MeshHandler {
|
|
|
678
662
|
* tolerant of exactly one foreign move — a NEWER generation on a row (the member left and
|
|
679
663
|
* rejoined on its own), which the stale-write guard reports and this leave must not evict. */
|
|
680
664
|
private releaseConclave;
|
|
681
|
-
/** Every live presence row that decodes
|
|
682
|
-
* malformed self-publish must not break another agent's name
|
|
683
|
-
* row means belongs to the caller: `resolveMemberPrincipal`
|
|
684
|
-
* `waitDown` reads it as the death it is waiting for. */
|
|
665
|
+
/** Every live presence row that decodes to a card with a string id and name. Foreign bytes in
|
|
666
|
+
* the bucket are skipped — a peer's malformed self-publish must not break another agent's name
|
|
667
|
+
* resolution — and what an ABSENT row means belongs to the caller: `resolveMemberPrincipal`
|
|
668
|
+
* refuses the join loudly, and `waitDown` reads it as the death it is waiting for. */
|
|
685
669
|
private presenceRows;
|
|
686
670
|
/**
|
|
687
671
|
* Arm this pause, or ATTACH to the one already recorded under the same token.
|
|
@@ -826,26 +810,9 @@ export declare function rearmOutstandingPauses(deps: {
|
|
|
826
810
|
*
|
|
827
811
|
* An entry is open when its LAST record is `pending`, so the map is built in append order and the
|
|
828
812
|
* later record wins — a step that settled has a settled entry after its pending one, and reading
|
|
829
|
-
* only the first would re-arm timers for pauses that are already over.
|
|
830
|
-
*
|
|
831
|
-
*
|
|
832
|
-
* the three mints a pause that looks like its own, but a wait's idle window and timeout, an ask
|
|
833
|
-
* attempt's deadline, and a turn's deadline authority are mediated deadlines exactly as `sleep`'s
|
|
834
|
-
* is, and one adopted at a new epoch would otherwise wait on a deadline no live epoch fires.
|
|
835
|
-
*
|
|
836
|
-
* An idle wait with a timeout arms TWO, and the second is DERIVED rather than recorded, so it is
|
|
837
|
-
* re-derived here for the same reason the live path derives it: a resume that had to remember it
|
|
838
|
-
* would be carrying state the key already determines. Emitting it for a wait that never minted one
|
|
839
|
-
* is harmless by construction — the reconciler reads the checkpoint's status first and re-emits
|
|
840
|
-
* nothing when there is none — and the alternative, reading the request shape back out of the
|
|
841
|
-
* entry to decide, would make the repair depend on a field a replay is not guaranteed to carry.
|
|
842
|
-
* An ask's armed pause is its CURRENT attempt's, whose token is bound as `askToken`; before the
|
|
843
|
-
* first bind it is attempt 1, which is the request id itself. A `turn`'s is under its goal id,
|
|
844
|
-
* which is the request id: that pause is the client-side L4003 authority the run keeps for a
|
|
845
|
-
* manager that dies, so leaving it armed at the predecessor's coordinates would go dark in exactly
|
|
846
|
-
* the window recovery opens. A held step's hold is armed under its hold id once the hold binds; the
|
|
847
|
-
* attempt token the hold claimed is still listed and re-arms nothing, because the reconciler
|
|
848
|
-
* re-emits a schedule only for a waiting pause.
|
|
813
|
+
* only the first would re-arm timers for pauses that are already over. What each open step owns is
|
|
814
|
+
* {@link pauseTokens}: a held step's attempt token is still listed after its hold binds and
|
|
815
|
+
* re-arms nothing, because the reconciler re-emits a schedule only for a waiting pause.
|
|
849
816
|
*/
|
|
850
817
|
export declare function outstandingPauseTokens(entries: readonly JournalEntry[]): string[];
|
|
851
818
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mesh-handler.d.ts","sourceRoot":"","sources":["../src/mesh-handler.ts"],"names":[],"mappings":"AAqBA,OAAO,
|
|
1
|
+
{"version":3,"file":"mesh-handler.d.ts","sourceRoot":"","sources":["../src/mesh-handler.ts"],"names":[],"mappings":"AAqBA,OAAO,EA8CL,KAAK,aAAa,EAClB,KAAK,oBAAoB,EAGzB,KAAK,QAAQ,EAMb,KAAK,gBAAgB,EAItB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAO,KAAK,EAAE,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAGL,WAAW,EAMX,KAAK,UAAU,EACf,KAAK,gBAAgB,EAErB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,iBAAiB,EACtB,KAAK,aAAa,EAClB,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,eAAe,EAGrB,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAoC,KAAK,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC9F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAGlE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC;;;;;OAKG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,CAAC;CACrD;AAED,kGAAkG;AAClG,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAC;IACxE;;;;;;;;OAQG;IACH,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;CAC3C;AAED;;;;;;;;GAQG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS;gBAApD,KAAK,EAAE,MAAM,EAAW,QAAQ,EAAE,MAAM,GAAG,SAAS;CAS1E;AAED,kGAAkG;AAClG,MAAM,WAAW,aAAa;IAC5B;;;;OAIG;IACH,WAAW,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;CAChE;AAED;;;;GAIG;AAEH,qBAAa,WAAW;IAEpB,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,OAAO,CAAC,QAAQ,CAAC,EAAE;IACnB,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAC1B;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS;gBApBT,EAAE,EAAE,cAAc,EAClB,EAAE,EAAE,EAAE,EACN,EAAE,EAAE,eAAe,EACnB,GAAG,EAAE,gBAAgB,EACrB,OAAO,EAAE,kBAAkB,EAC3B,OAAO,EAAE,aAAa,EACtB,KAAK,GAAE,MAAM,MAAyB,EACtC,QAAQ,CAAC,EAAE,eAAe,YAAA;IAC3C;;;;OAIG;IACc,GAAG,GAAE,eAA2B;IACjD;;;;;OAKG;IACc,SAAS,GAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAoC;IAGpF;;;;OAIG;IACH,OAAO,CAAC,cAAc,CAAuC;IAC7D,OAAO,CAAC,OAAO;IAmBf;;;;;;;;;;;;OAYG;YACW,aAAa;IAY3B;;;;;;;;;;;OAWG;YACW,UAAU;IAiCxB,+FAA+F;IAC/F,OAAO,CAAC,OAAO,CAAqC;IACpD,OAAO,CAAC,SAAS;IAYjB,OAAO,CAAC,cAAc,CAA0B;IAChD,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,aAAa,CAA0B;IAC/C,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,cAAc,CAA0B;IAChD,OAAO,CAAC,eAAe;IAQvB,iGAAiG;YACnF,YAAY;IAI1B;;;uEAGmE;IACnE,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAmC;IAE7D;;;gGAG4F;IAC5F,OAAO,CAAC,QAAQ,CAAC,MAAM,CAA4I;IACnK,oHAAoH;IACpH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA6B;IACxD,uGAAuG;IACvG,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C;;;mGAG+F;IAC/F,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAuE;IAEpG;+FAC2F;IAC3F,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAkC;IAE5D;8EAC0E;IAC1E,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAqC;IAErE;;uFAEmF;IACnF,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqC;IAE/D,GAAG,IAAI,MAAM;IAIb;;;;;;;;;OASG;IACG,OAAO,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAWlE;;;;;;OAMG;IACG,oBAAoB,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAW3E,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,GAAG,IAAI;IAK7E;;;;;;;;OAQG;IACH,OAAO,CAAC,YAAY;IA4CpB;;;;;;;;;;;;OAYG;YACW,aAAa;IAqC3B,2FAA2F;IAC3F,OAAO,CAAC,cAAc;IAMtB;uGACmG;IACnG,OAAO,CAAC,iBAAiB;IAKzB;;;OAGG;IACG,OAAO,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAM9D;;;;;;;;;;;;OAYG;IACG,SAAS,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IA0BhE;;;;;OAKG;IACG,QAAQ,CAAC,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAa9C;;;;;;;;;;;;;;;;;;;OAmBG;YACW,eAAe;IAmB7B;;;;;;;;;;;;;;OAcG;YACW,cAAc;IAuD5B;;;;;;;;OAQG;YACW,iBAAiB;IAS/B;;;;;;;;OAQG;IACG,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAkBjE;;;;;;;;;;;;;;;;OAgBG;IACG,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAyBxE;;;;;;;;;;;;;;;;;;;OAmBG;IACG,UAAU,CAAC,GAAG,EAAE,iBAAiB,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAiDpF;;;;;;;;;;;;;;OAcG;IACG,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC;IA4IzE;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;YACW,QAAQ;IAmDtB;;;;;;;;;;;;;;;;;;OAkBG;YACW,WAAW;IAmDzB;;;;;;;;;;;;;;;;;OAiBG;IACG,MAAM,CAAC,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAwBnE;;;;;;;;;;;;;;;;;;OAkBG;IACG,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAwK7E;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IAUvB;;sGAEkG;YACpF,YAAY;IAU1B;;;;;;;;;;;;;;;;;;;;OAoBG;IACG,IAAI,CAAC,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,eAAe,CAAC;IA0J1E;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IAQtB;;;;mFAI+E;YACjE,WAAW;IA2DzB;;;;;;;;;;;;;;;;;;;;;;;OAuBG;IACG,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC;IAmEhE;;;;;;;OAOG;IACH,OAAO,CAAC,OAAO;IAYf;;;;;OAKG;IACH,OAAO,CAAC,WAAW;YAOL,QAAQ;IAetB;;;;;;;;;;;;OAYG;YACW,eAAe;IA4B7B;;;;;;;OAOG;YACW,WAAW;IAiCzB;;;;;;;;;;;;;;;OAeG;IACG,OAAO,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IASrE;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACG,YAAY,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAezF;;;;;;;;;;OAUG;IACG,aAAa,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAU7E;;;sEAGkE;YACpD,YAAY;IA6B1B;;;;sFAIkF;YACpE,mBAAmB;IAiDjC;;;mGAG+F;YACjF,eAAe;IAwB7B;;;2FAGuF;YACzE,YAAY;IAc1B;;;;;;;;;;;;;;;;;;;;;OAqBG;YACW,GAAG;YAMH,OAAO;IAsDrB;uGACmG;YACrF,IAAI;IAWlB;;;;;;;;;;;;;;OAcG;YACW,QAAQ;IA2BtB;;;;oGAIgG;YAClF,OAAO;IAcrB;;4EAEwE;YAC1D,WAAW;IA+BzB,kFAAkF;YACpE,SAAS;IAevB;;;;;;;OAOG;YACW,MAAM;YAQN,UAAU;IAuCxB;;8FAE0F;IAC1F,OAAO,CAAC,eAAe;IAiBvB,0EAA0E;YAC5D,SAAS;CAcxB;AAED,OAAO,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAgCtE,4EAA4E;AAC5E,KAAK,cAAc,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,CAqB3E;AA8ED;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;qGACqG;AACrG,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED;;;;iFAIiF;AACjF,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAGjH;AAYD;;;2FAG2F;AAC3F,wBAAgB,SAAS,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAepE;AAiPD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,sBAAsB,CAC1C,IAAI,EAAE;IAAE,EAAE,EAAE,EAAE,CAAC;IAAC,EAAE,EAAE,eAAe,CAAC;IAAC,GAAG,EAAE,gBAAgB,CAAA;CAAE,EAC5D,OAAO,EAAE,IAAI,CAAC,kBAAkB,EAAE,OAAO,GAAG,UAAU,GAAG,YAAY,GAAG,OAAO,CAAC,EAChF,OAAO,EAAE,SAAS,YAAY,EAAE,GAC/B,OAAO,CAAC,MAAM,EAAE,CAAC,CAWnB;AAED;;;;;;;;GAQG;AACH,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,MAAM,EAAE,CAIjF;AAED;;;;;;;;;;;;;GAaG;AACH,qBAAa,gBAAiB,YAAW,aAAa;IAElD,OAAO,CAAC,QAAQ,CAAC,GAAG;IACpB,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM;gBAFN,GAAG,EAAE,gBAAgB,EACrB,KAAK,EAAE,MAAM,EACb,MAAM,SAAe;IAGlC,WAAW,CAAC,GAAG,EAAE,aAAa,GAAG,OAAO,CAAC,oBAAoB,CAAC;CASrE"}
|
package/dist/mesh-handler.js
CHANGED
|
@@ -19,12 +19,13 @@
|
|
|
19
19
|
import { createHash } from "node:crypto";
|
|
20
20
|
import { isAbsolute } from "node:path";
|
|
21
21
|
import { realpathSync } from "node:fs";
|
|
22
|
-
import { mintCheckpoint, heartbeatCheckpoint, resumeCheckpoint, readCheckpointSettle, readCheckpointAnswer, readCheckpointStatus, readCheckpointSpec, reconcileCheckpointSchedule, handleCheckpointFire, eptStreamName, eptSubject, chatStream, waitConsumerName, waitConsumerConfig, isConcreteChannel, assertSafePattern, assertValidChannel, presenceBucket, principalKey, liveKvEntries, IncompleteKvScan, openMembersRegistry, openChannelRegistry, writeChannelConfig, readMember, commitMember, tombstoneMember, StaleMembershipWrite, runNoticeId, writeRunNotice, actionContext, invokeCommand, replyRefusedBeforeEffect, readGoalResult, readGoalStatus, resolveService, listRunNotices, listRunMigrations, markRunNoticeConsumed, listRunNoticesForRun, readRunRecord, writeRunStatus, EpEnvelopeError, assertAdmittedPublish, assertAdmittedSubscribe, assertNotRevoked, } from "@cotal-ai/core";
|
|
22
|
+
import { mintCheckpoint, heartbeatCheckpoint, resumeCheckpoint, readCheckpointSettle, readCheckpointAnswer, readCheckpointStatus, readCheckpointSpec, reconcileCheckpointSchedule, handleCheckpointFire, eptStreamName, eptSubject, chatStream, waitConsumerName, waitConsumerConfig, isConcreteChannel, assertSafePattern, assertValidChannel, presenceBucket, principalKey, liveKvEntries, IncompleteKvScan, openMembersRegistry, openChannelRegistry, writeChannelConfig, readMember, commitMember, tombstoneMember, StaleMembershipWrite, runNoticeId, writeRunNotice, actionContext, invokeCommand, invokeRepairingSplit, replyRefusedBeforeEffect, readGoalResult, readGoalStatus, resolveService, listRunNotices, listRunMigrations, markRunNoticeConsumed, listRunNoticesForRun, readRunRecord, writeRunStatus, EpEnvelopeError, assertAdmittedPublish, assertAdmittedSubscribe, assertNotRevoked, } from "@cotal-ai/core";
|
|
23
23
|
import { renderRunContext } from "./run-context.js";
|
|
24
24
|
import { migrationSeats } from "./migrate.js";
|
|
25
25
|
import { Kvm } from "@nats-io/kv";
|
|
26
|
-
import { parseDuration, Cancelled, EffectError, Journal, EffectRefused, askSchemaShape, conformsToAskSchema,
|
|
26
|
+
import { parseDuration, Cancelled, EffectError, Journal, EffectRefused, askSchemaShape, conformsToAskSchema, journalEntryKeyString, stepKeyString, } from "@cotal-ai/lang";
|
|
27
27
|
import { loopLag, servedDespiteStarvation } from "./host-starvation.js";
|
|
28
|
+
import { askAttemptToken, derivedToken, pauseTokens } from "./pause-tokens.js";
|
|
28
29
|
/**
|
|
29
30
|
* A checkpoint resumed with no answer to read.
|
|
30
31
|
*
|
|
@@ -113,54 +114,23 @@ export class MeshHandler {
|
|
|
113
114
|
return this.managerService;
|
|
114
115
|
}
|
|
115
116
|
/**
|
|
116
|
-
* One manager call, with a SPEC 13.2 bind refusal REPAIRED rather than raised
|
|
117
|
+
* One manager call, with a SPEC 13.2 bind refusal REPAIRED rather than raised
|
|
118
|
+
* ({@link invokeRepairingSplit}).
|
|
117
119
|
*
|
|
118
|
-
* A run resolves the manager on the class rail
|
|
119
|
-
*
|
|
120
|
-
*
|
|
121
|
-
*
|
|
122
|
-
*
|
|
123
|
-
*
|
|
124
|
-
*
|
|
125
|
-
*
|
|
126
|
-
* attempt and not a second: the marker together with `not-executed` is the responder's own
|
|
127
|
-
* statement that no effect of the command exists, which is what {@link replyRefusedBeforeEffect}
|
|
128
|
-
* checks, and it is the same licence core's `Endpoint.invokeService` re-issues on. The stale
|
|
129
|
-
* class handle is dropped first, so the re-issue re-describes rather than rebinding the
|
|
130
|
-
* incarnation that was just refused.
|
|
131
|
-
*
|
|
132
|
-
* BOUNDED, because a re-issue draws the same queue again. The describe and the invoke stay two
|
|
133
|
-
* independent trips, so a space of m managers still splits (m-1)/m of the time and the repair
|
|
134
|
-
* converges geometrically rather than deterministically; after {@link BIND_SPLIT_REISSUES} of
|
|
135
|
-
* them the refusal surfaces unchanged, still stating that the command did not run. What removes
|
|
136
|
-
* the residual is addressing one instance, and the run's caller holds no instance-rail grant for
|
|
137
|
-
* a command its program did not place (SPEC 13.9, `run-driver-grants.ts`), so that is a wider
|
|
138
|
-
* change than this one.
|
|
139
|
-
*
|
|
140
|
-
* A PINNED handle is never repaired. It addresses one instance by name, so a refusal from it is
|
|
141
|
-
* that incarnation answering about itself, and re-resolving onto the class rail would reinstate
|
|
142
|
-
* the anycast fallback #1616 removed.
|
|
120
|
+
* A run resolves the manager on the class rail, so in a space with more than one manager its
|
|
121
|
+
* invoke routinely reaches a member other than the one that answered the describe, and that
|
|
122
|
+
* member refuses before dispatching. Raised as the effect's own failure, that refusal ends the
|
|
123
|
+
* run and consumes the run id and its journal (#1638), although it says the command did not run.
|
|
124
|
+
* The class memo is dropped before each re-describe, so later calls do not start from the bind
|
|
125
|
+
* that was just refused. After the shared bound the refusal surfaces unchanged; what removes that
|
|
126
|
+
* residual is addressing one instance, and the run's caller holds no instance-rail grant for a
|
|
127
|
+
* command its program did not place (SPEC 13.9, `run-driver-grants.ts`).
|
|
143
128
|
*/
|
|
144
129
|
async invokeManager(service, command, args, opts) {
|
|
145
|
-
|
|
146
|
-
for (let reissues = 0;; reissues += 1) {
|
|
147
|
-
const reply = await invokeCommand(this.nc, this.binding.space, handle, command, args, opts);
|
|
148
|
-
if (reply.reply.ok !== false || !replyRefusedBeforeEffect(reply.reply.error))
|
|
149
|
-
return reply;
|
|
150
|
-
if (handle.pinnedInstanceId !== undefined || reissues === BIND_SPLIT_REISSUES)
|
|
151
|
-
return reply;
|
|
130
|
+
return invokeRepairingSplit(this.nc, this.binding.space, service, command, args, opts, () => {
|
|
152
131
|
this.managerService = undefined;
|
|
153
|
-
|
|
154
|
-
|
|
155
|
-
}
|
|
156
|
-
catch {
|
|
157
|
-
// The repair could not be attempted. The REFUSAL is what surfaces, not the resolve failure:
|
|
158
|
-
// every caller of this method already reads a refused reply as "the manager declined", and
|
|
159
|
-
// this one states that nothing ran, which is the fact a describe timeout raised in its
|
|
160
|
-
// place would lose.
|
|
161
|
-
return reply;
|
|
162
|
-
}
|
|
163
|
-
}
|
|
132
|
+
return this.manager();
|
|
133
|
+
});
|
|
164
134
|
}
|
|
165
135
|
/**
|
|
166
136
|
* #1616 item 5 — PHASE A, RESOLVE ON THE HOST THAT WILL LAUNCH. A directory is a fact about one
|
|
@@ -411,7 +381,7 @@ export class MeshHandler {
|
|
|
411
381
|
await new Promise((r) => setTimeout(r, WAIT_POLL_MS).unref());
|
|
412
382
|
}
|
|
413
383
|
}
|
|
414
|
-
if (rows.some((p) => p.card
|
|
384
|
+
if (rows.some((p) => p.card.name === holder.name && p.lifecycleUid === holder.uid))
|
|
415
385
|
throw new EffectError("L4008", "worktree", `spawn(${persona}) would put a second agent into the worktree "${worktree}" while ${holder.name}#${holder.uid} is live in it; two agents MUST NOT share a worktree concurrently (L3022/L4008)`);
|
|
416
386
|
const now = this.worktreeHolders.get(worktree);
|
|
417
387
|
if (now !== undefined && now !== holder)
|
|
@@ -460,8 +430,7 @@ export class MeshHandler {
|
|
|
460
430
|
for (const e of owed) {
|
|
461
431
|
if (e.requestId === undefined)
|
|
462
432
|
continue;
|
|
463
|
-
|
|
464
|
-
await this.cancelTimer({ endpoint: this.binding.endpoint, token: holdRequestId(e.requestId) });
|
|
433
|
+
await this.endPause(e);
|
|
465
434
|
if (e.kind === "spawn") {
|
|
466
435
|
await this.dischargeSpawn(e);
|
|
467
436
|
continue;
|
|
@@ -480,52 +449,29 @@ export class MeshHandler {
|
|
|
480
449
|
if (typeof x?.name === "string" && typeof x?.uid === "string" && typeof x?.goalId === "string")
|
|
481
450
|
this.turnGoals.get(`${x.name}#${x.uid}`)?.delete(x.goalId);
|
|
482
451
|
}
|
|
483
|
-
if (e.kind === "waitUntil") {
|
|
484
|
-
// A `waitUntil` arms ONE cadence pause per observation, each under a derived token, so the
|
|
485
|
-
// sweep releases the one that is actually open: the observation the entry is on. The
|
|
486
|
-
// earlier ones already settled (that is how the wait got here) and `cancelTimer` tolerates
|
|
487
|
-
// a claim that loses its own race, so releasing the current index is both necessary and
|
|
488
|
-
// sufficient. Attempt 0 never arms anything, which is why the index is the observation
|
|
489
|
-
// COUNT rather than the count minus one.
|
|
490
|
-
const attempt = (e.observations ?? []).length;
|
|
491
|
-
if (attempt > 0)
|
|
492
|
-
await this.cancelTimer({
|
|
493
|
-
endpoint: this.binding.endpoint,
|
|
494
|
-
token: derivedToken(e.requestId, `observe-${attempt}`),
|
|
495
|
-
});
|
|
496
|
-
continue;
|
|
497
|
-
}
|
|
498
|
-
await this.endPause(e);
|
|
499
452
|
}
|
|
500
453
|
}
|
|
501
454
|
/**
|
|
502
|
-
* End the
|
|
503
|
-
* consumer. A cancelled loser's discharge calls it, and so does a hold before
|
|
504
|
-
* (spec/cotal-lang.md §7.8), which claims
|
|
505
|
-
* as the discharge leaves it.
|
|
455
|
+
* End the pauses a step armed: claim every token {@link pauseTokens} says it owns and, for a
|
|
456
|
+
* `wait`, close its consumer. A cancelled loser's discharge calls it, and so does a hold before
|
|
457
|
+
* its first bind (spec/cotal-lang.md §7.8), which claims the held step's open attempt. An `ask`'s
|
|
458
|
+
* relay goal is left as the discharge leaves it.
|
|
506
459
|
*/
|
|
507
460
|
async endPause(e) {
|
|
508
461
|
if (e.requestId === undefined)
|
|
509
462
|
return;
|
|
510
|
-
|
|
463
|
+
for (const token of pauseTokens(e))
|
|
464
|
+
await this.cancelTimer({ endpoint: this.binding.endpoint, token });
|
|
465
|
+
if (e.kind !== "wait")
|
|
466
|
+
return;
|
|
467
|
+
if (this.services) {
|
|
468
|
+
await this.services.waits.close(e.requestId);
|
|
511
469
|
return;
|
|
512
|
-
// An ask's armed timer is its CURRENT attempt's, whose token is bound as `askToken`; a
|
|
513
|
-
// crash before the first bind leaves attempt 1, which is the request id itself.
|
|
514
|
-
const current = e.kind === "ask" && typeof e.external?.askToken === "string"
|
|
515
|
-
? e.external.askToken
|
|
516
|
-
: e.requestId;
|
|
517
|
-
await this.cancelTimer({ endpoint: this.binding.endpoint, token: current });
|
|
518
|
-
if (e.kind === "wait") {
|
|
519
|
-
await this.cancelTimer({ endpoint: this.binding.endpoint, token: derivedToken(e.requestId, "wait-timeout") });
|
|
520
|
-
if (this.services) {
|
|
521
|
-
await this.services.waits.close(e.requestId);
|
|
522
|
-
return;
|
|
523
|
-
}
|
|
524
|
-
try {
|
|
525
|
-
await this.jsm.consumers.delete(chatStream(this.binding.space), waitConsumerName(e.requestId));
|
|
526
|
-
}
|
|
527
|
-
catch { /* never created, or already deleted — nothing is held either way */ }
|
|
528
470
|
}
|
|
471
|
+
try {
|
|
472
|
+
await this.jsm.consumers.delete(chatStream(this.binding.space), waitConsumerName(e.requestId));
|
|
473
|
+
}
|
|
474
|
+
catch { /* never created, or already deleted — nothing is held either way */ }
|
|
529
475
|
}
|
|
530
476
|
/**
|
|
531
477
|
* Withdraw a cancelled `notify`'s undelivered notices.
|
|
@@ -1028,8 +974,8 @@ export class MeshHandler {
|
|
|
1028
974
|
}
|
|
1029
975
|
throw e;
|
|
1030
976
|
}
|
|
1031
|
-
if (!rows.some((p) => p.card
|
|
1032
|
-
const reason = rows.some((p) => p.card
|
|
977
|
+
if (!rows.some((p) => p.card.name === name && p.lifecycleUid === uid)) {
|
|
978
|
+
const reason = rows.some((p) => p.card.name === name) ? "superseded" : "lapsed";
|
|
1033
979
|
lapsedSince = lapseWindow(lapsedSince, lastReadAt, this.now());
|
|
1034
980
|
if (reason === "superseded" || readAt - lapsedSince >= LAPSE_CONFIRM_MS) {
|
|
1035
981
|
if (primary !== undefined)
|
|
@@ -1527,8 +1473,8 @@ export class MeshHandler {
|
|
|
1527
1473
|
}
|
|
1528
1474
|
throw e;
|
|
1529
1475
|
}
|
|
1530
|
-
if (!rows.some((pr) => pr.card
|
|
1531
|
-
const reason = rows.some((pr) => pr.card
|
|
1476
|
+
if (!rows.some((pr) => pr.card.name === name && pr.lifecycleUid === uid)) {
|
|
1477
|
+
const reason = rows.some((pr) => pr.card.name === name) ? "superseded" : "lapsed";
|
|
1532
1478
|
lapsedSince = lapseWindow(lapsedSince, lastReadAt, this.now());
|
|
1533
1479
|
if (reason === "superseded" || readAt - lapsedSince >= LAPSE_CONFIRM_MS) {
|
|
1534
1480
|
await this.cancelTimer(primary);
|
|
@@ -2032,19 +1978,22 @@ export class MeshHandler {
|
|
|
2032
1978
|
await (await this.channelRegistry()).delete(plan.channel);
|
|
2033
1979
|
}
|
|
2034
1980
|
}
|
|
2035
|
-
/** Every live presence row that decodes
|
|
2036
|
-
* malformed self-publish must not break another agent's name
|
|
2037
|
-
* row means belongs to the caller: `resolveMemberPrincipal`
|
|
2038
|
-
* `waitDown` reads it as the death it is waiting for. */
|
|
1981
|
+
/** Every live presence row that decodes to a card with a string id and name. Foreign bytes in
|
|
1982
|
+
* the bucket are skipped — a peer's malformed self-publish must not break another agent's name
|
|
1983
|
+
* resolution — and what an ABSENT row means belongs to the caller: `resolveMemberPrincipal`
|
|
1984
|
+
* refuses the join loudly, and `waitDown` reads it as the death it is waiting for. */
|
|
2039
1985
|
async presenceRows() {
|
|
2040
1986
|
const rows = [];
|
|
2041
1987
|
for (const e of await liveKvEntries(await this.presenceRegistry())) {
|
|
1988
|
+
let row;
|
|
2042
1989
|
try {
|
|
2043
|
-
|
|
1990
|
+
row = e.json();
|
|
2044
1991
|
}
|
|
2045
1992
|
catch {
|
|
2046
|
-
|
|
1993
|
+
continue;
|
|
2047
1994
|
}
|
|
1995
|
+
if (isPresenceRow(row))
|
|
1996
|
+
rows.push(row);
|
|
2048
1997
|
}
|
|
2049
1998
|
return rows;
|
|
2050
1999
|
}
|
|
@@ -2462,19 +2411,11 @@ const GOAL_POLL_MS = 2_000;
|
|
|
2462
2411
|
const SPAWN_ACCEPT_DEADLINE_MS = 30_000;
|
|
2463
2412
|
/** Bound on the manager's synchronous `turn` ACCEPT reply (the relay registration, not the yield). */
|
|
2464
2413
|
const TURN_ACCEPT_DEADLINE_MS = 30_000;
|
|
2465
|
-
/** How many times {@link MeshHandler.invokeManager} re-issues one manager call after a
|
|
2466
|
-
* `not-executed` bind refusal. Every re-issue is a first attempt, so the bound is a loop guard and
|
|
2467
|
-
* not a duplication guard: it stops a class whose describe and invoke never agree from re-issuing
|
|
2468
|
-
* forever. Nine attempts leave a two-manager space a 1-in-512 residual where the unrepaired refusal
|
|
2469
|
-
* was 1-in-2 (#1638). The loop turns only on a refusal that has already been ANSWERED, so an
|
|
2470
|
-
* attempt costs a describe and an invoke round trip and never an elapsed deadline: a call nobody
|
|
2471
|
-
* answers raises its own `deadline-exceeded`, which is not a bind refusal and is not re-issued. */
|
|
2472
|
-
const BIND_SPLIT_REISSUES = 8;
|
|
2473
2414
|
/** How many class-rail despawns a discharge sends before it stops waiting for the allocating
|
|
2474
2415
|
* manager to answer. Each is one {@link MeshHandler.invokeManager} call, whose describe and invoke
|
|
2475
2416
|
* both land on the allocator with probability 1/m^2 per trip in a space of m managers, so one call
|
|
2476
|
-
* reaches it with probability (1 - ((m-1)/m)^
|
|
2477
|
-
* 65 then miss with probability about 2^-65 and
|
|
2417
|
+
* reaches it with probability (1 - ((m-1)/m)^17) / m: about 1/2 for m = 2 and 0.25 for m = 4. All
|
|
2418
|
+
* 65 then miss with probability about 2^-65 and 9e-9. */
|
|
2478
2419
|
const DESPAWN_ROUTE_ATTEMPTS = 64;
|
|
2479
2420
|
/** A step key's enclosing scope: the journal's own rendering (`entry.scope`), re-derived so the
|
|
2480
2421
|
* live path and the adoption rebuild key the handoff memos identically. */
|
|
@@ -2635,6 +2576,17 @@ function isConclavePlan(v) {
|
|
|
2635
2576
|
&& typeof r.generation === "number" && typeof r.joined === "boolean";
|
|
2636
2577
|
});
|
|
2637
2578
|
}
|
|
2579
|
+
/** Whether a decoded presence value carries the string `card.id` and `card.name` that every
|
|
2580
|
+
* presence reader here matches on or returns. */
|
|
2581
|
+
function isPresenceRow(v) {
|
|
2582
|
+
if (typeof v !== "object" || v === null)
|
|
2583
|
+
return false;
|
|
2584
|
+
const card = v.card;
|
|
2585
|
+
if (typeof card !== "object" || card === null)
|
|
2586
|
+
return false;
|
|
2587
|
+
const c = card;
|
|
2588
|
+
return typeof c.id === "string" && typeof c.name === "string";
|
|
2589
|
+
}
|
|
2638
2590
|
/** Split an agent handle `<name>#<lifecycleUid>` on its LAST `#` — the uid alphabet
|
|
2639
2591
|
* (`[a-z0-9]{26,32}`) cannot carry one, a name could. */
|
|
2640
2592
|
function parseAgentHandle(agent) {
|
|
@@ -2647,7 +2599,7 @@ function parseAgentHandle(agent) {
|
|
|
2647
2599
|
* the effect's own catchable failure — the agent is down or gone (L4002) — and more than one is
|
|
2648
2600
|
* an ambiguity no membership row may be written under. */
|
|
2649
2601
|
function resolveMemberPrincipal(rows, agent, name, uid) {
|
|
2650
|
-
const matches = rows.filter((p) => p.card
|
|
2602
|
+
const matches = rows.filter((p) => p.card.name === name && p.lifecycleUid === uid);
|
|
2651
2603
|
if (matches.length === 1)
|
|
2652
2604
|
return matches[0].card.id;
|
|
2653
2605
|
if (matches.length === 0)
|
|
@@ -2665,15 +2617,6 @@ function assertConclaveChannel(channel) {
|
|
|
2665
2617
|
/** How often a pause that nobody will answer looks for the broker's fire. Same argument as
|
|
2666
2618
|
* `WAIT_POLL_MS`: the deadline is durable and this is only how late its observation can be. */
|
|
2667
2619
|
const FIRE_POLL_MS = 2_000;
|
|
2668
|
-
/** A second deadline for one step, derived so a resume re-derives it instead of remembering it.
|
|
2669
|
-
* Same shape and alphabet as a request id, so it is a valid `<token>` by construction. */
|
|
2670
|
-
function derivedToken(requestId, purpose) {
|
|
2671
|
-
return createHash("sha256").update(`${requestId}:${purpose}`, "utf8").digest("base64url").slice(0, 43);
|
|
2672
|
-
}
|
|
2673
|
-
/** An ask attempt's pause token: attempt 1 IS the step's request id; a re-ask derives its own. */
|
|
2674
|
-
function askAttemptToken(requestId, attempt) {
|
|
2675
|
-
return attempt === 1 ? requestId : derivedToken(requestId, `ask-attempt-${attempt}`);
|
|
2676
|
-
}
|
|
2677
2620
|
/** The recorded ask progress a resume re-enters at, or undefined for a fresh first attempt. The
|
|
2678
2621
|
* external is bytes from an earlier process, so the shape is checked rather than trusted. */
|
|
2679
2622
|
function askResume(v) {
|
|
@@ -2782,46 +2725,15 @@ export async function rearmOutstandingPauses(deps, binding, entries) {
|
|
|
2782
2725
|
*
|
|
2783
2726
|
* An entry is open when its LAST record is `pending`, so the map is built in append order and the
|
|
2784
2727
|
* later record wins — a step that settled has a settled entry after its pending one, and reading
|
|
2785
|
-
* only the first would re-arm timers for pauses that are already over.
|
|
2786
|
-
*
|
|
2787
|
-
*
|
|
2788
|
-
* the three mints a pause that looks like its own, but a wait's idle window and timeout, an ask
|
|
2789
|
-
* attempt's deadline, and a turn's deadline authority are mediated deadlines exactly as `sleep`'s
|
|
2790
|
-
* is, and one adopted at a new epoch would otherwise wait on a deadline no live epoch fires.
|
|
2791
|
-
*
|
|
2792
|
-
* An idle wait with a timeout arms TWO, and the second is DERIVED rather than recorded, so it is
|
|
2793
|
-
* re-derived here for the same reason the live path derives it: a resume that had to remember it
|
|
2794
|
-
* would be carrying state the key already determines. Emitting it for a wait that never minted one
|
|
2795
|
-
* is harmless by construction — the reconciler reads the checkpoint's status first and re-emits
|
|
2796
|
-
* nothing when there is none — and the alternative, reading the request shape back out of the
|
|
2797
|
-
* entry to decide, would make the repair depend on a field a replay is not guaranteed to carry.
|
|
2798
|
-
* An ask's armed pause is its CURRENT attempt's, whose token is bound as `askToken`; before the
|
|
2799
|
-
* first bind it is attempt 1, which is the request id itself. A `turn`'s is under its goal id,
|
|
2800
|
-
* which is the request id: that pause is the client-side L4003 authority the run keeps for a
|
|
2801
|
-
* manager that dies, so leaving it armed at the predecessor's coordinates would go dark in exactly
|
|
2802
|
-
* the window recovery opens. A held step's hold is armed under its hold id once the hold binds; the
|
|
2803
|
-
* attempt token the hold claimed is still listed and re-arms nothing, because the reconciler
|
|
2804
|
-
* re-emits a schedule only for a waiting pause.
|
|
2728
|
+
* only the first would re-arm timers for pauses that are already over. What each open step owns is
|
|
2729
|
+
* {@link pauseTokens}: a held step's attempt token is still listed after its hold binds and
|
|
2730
|
+
* re-arms nothing, because the reconciler re-emits a schedule only for a waiting pause.
|
|
2805
2731
|
*/
|
|
2806
2732
|
export function outstandingPauseTokens(entries) {
|
|
2807
2733
|
const last = new Map();
|
|
2808
2734
|
for (const e of entries)
|
|
2809
2735
|
last.set(journalEntryKeyString(e), e);
|
|
2810
|
-
|
|
2811
|
-
for (const e of last.values()) {
|
|
2812
|
-
if (e.state !== "pending" || e.requestId === undefined)
|
|
2813
|
-
continue;
|
|
2814
|
-
// `turn` arms its client-side deadline authority under the step's request id (the goal id).
|
|
2815
|
-
if (e.kind === "sleep" || e.kind === "checkpoint" || e.kind === "turn")
|
|
2816
|
-
tokens.push(e.requestId);
|
|
2817
|
-
else if (e.kind === "ask")
|
|
2818
|
-
tokens.push(typeof e.external?.askToken === "string" ? e.external.askToken : e.requestId);
|
|
2819
|
-
else if (e.kind === "wait")
|
|
2820
|
-
tokens.push(e.requestId, derivedToken(e.requestId, "wait-timeout"));
|
|
2821
|
-
if (e.hold !== undefined)
|
|
2822
|
-
tokens.push(holdRequestId(e.requestId));
|
|
2823
|
-
}
|
|
2824
|
-
return tokens;
|
|
2736
|
+
return [...last.values()].filter((e) => e.state === "pending").flatMap(pauseTokens);
|
|
2825
2737
|
}
|
|
2826
2738
|
/**
|
|
2827
2739
|
* The settle watcher over EPF, which is where the one-use settle fact lives.
|