open-multi-agent-kit 1.0.0 → 1.2.0

package/docs/runtime-algorithms.md

@@ -44,6 +44,38 @@ a release, or evidence of latency/quality improvement. Resource normalization,
 slot-aware ranking, fairness, and equal-budget runtime comparisons remain separate
 work.
 
+## Final claim resolution is abort-bound (2026-09-19 audit F02)
+
+The dag-v2 frontier re-resolves each prepared call's resource claims from its
+exact post-hook arguments before admission. That wait was a bare `await`; the
+initial scheduling pass in `tool-dag-memo` was already raced against the run's
+abort signal, so an extension `resourceClaims()` that never settled on the
+second call pinned a cancelled run until the callback returned on its own.
+`resolveFinalResolution` now uses the same `awaitWithAbort` boundary. The
+callback itself is not killed — a plain Promise cannot be — but the aborted
+outcome settles the call, the frontier loop exits on the same signal, and a late
+fulfilment or rejection lands in a finished batch and admits nothing. In-flight
+peers keep the existing abort contract (`aborted`, `executionStarted: true`),
+and the authorization hook still runs once. Coverage:
+`packages/agent/test/tool-dag-final-claims-abort.test.ts`. This is the wait
+boundary only; isolating a non-cooperative extension needs a killable execution
+boundary, which this change does not add.
+
+## Reasoning router resolver contract (2026-09-19 audit F05/F06)
+
+The low-confidence escalation in `resolveThinkingLevelV4WithUncertainty` is
+monotone at a fixed bias and hint only; it is not a floor at the class base
+level, because a negative learning bias is applied before the +1 step (`debug`
+with `bias=-2` still resolves to `medium`). The docstring previously claimed the
+stronger floor. A policy that must never drop below the base level needs an
+explicit safety floor, which is a cost decision not taken here. The shared
+resolver also normalizes `bias` and `escalationSteps` to finite integers
+(non-finite → 0, fractions truncated toward zero) so a corrupted value keeps the
+class's own level instead of walking the ladder lookup off its rungs to the
+lowest available level; the session's bias-snapshot validator already rejects
+such values before they reach the resolver. Coverage:
+`packages/coding-agent/test/reasoning-router-resolver-contract.test.ts`.
+
 ## Working-tree shared run budgets
 
 The SDK `prompt(..., { runBudget })` path now shares a monotonic deadline and
@@ -174,21 +206,93 @@ The planner:
 4. scores optional items for relevance, recency, evidence, redundancy,
    priority, and full-text token cost;
 5. sorts optional items by
-   `density -> effectiveScore -> priorityRank -> fullTokens -> id`; and
+   `density -> effectiveScore -> priorityRank -> fullTokens -> id`;
 6. selects a full, summary, headroom-compressed, pointer, or omitted
-   representation that fits.
+   representation that fits (floor pass per tier, then the global pass);
+7. lets each still-omitted item buy its cheapest admissible form by stepping
+   selected items down to theirs, applied all-or-nothing; and
+8. re-offers each remaining item its costlier representations against the
+   leftover budget and promotes only when the selection policy prefers the
+   costlier form and it fits both the tier ceiling and the global remainder
+   (`context-budget-v2-global-pass.ts`; never touches hard items).
+
+Breadth is settled before quality: step 7 runs before step 8, so an exchange
+that admits another item cannot be undone by a promotion.
 
 Density divides effective score by the cheapest non-omit representation
 (`admissibleTokens`), not by full-text size. This avoids penalizing an item that
 can be represented by a small evidence pointer. Stable item IDs and explicit
-selection policy `sel-2` make tie-breaking and plan-cache invalidation
+selection policy `sel-3` make tie-breaking and plan-cache invalidation
 deterministic.
 
+### Representation cost accounting (2026-09-19 audit F01/F03)
+
+Every derived representation is priced by counting the string it materializes
+with the planner's own token counter, the same counter that priced the full
+text. The former `ceil(0.15 * full) + 8` summary price was a compression target,
+not a cost: a 100-character "summary" identical to its source was recorded at
+12 tokens against the source's 25 and admitted into a 12-token budget. A
+representation whose text equals the source, or whose counted cost is not below
+the full text, is no longer offered. `createPlannedItems` stores the priced
+candidates on each planned item so ranking and selection read one cost; the
+selection policy token moved from `sel-2` to `sel-3` so plans and
+representation entries cached under the old prices are not served.
+
+### Representation exchange (2026-09-19 audit F04)
+
+Items are ranked by their cheapest admissible representation but admitted at
+whatever the selector prefers, so a high-priority item priced at 10 for ordering
+could consume 100 and displace two 45-token items. On the audit's counterexample
+that scored 121 against 169.5 for `A-pointer + B-full + C-full` at the same 100
+tokens, measured with the selector's own preference score.
+
+The repair is bounded. After the global pass, each still-omitted item in rank
+order may pay for its admission by stepping already-selected items down to their
+cheapest admissible representation. Donors yield in order of the preference the
+policy loses per token freed, the whole exchange is applied or none of it is,
+and a donor is skipped when stepping it down would drop its tier below the floor
+it is currently honouring. An item admitted this way leaves the omitted list, so
+it is never reported as both included and omitted.
+
+This is not joint `(item, representation)` optimization: donor choice is greedy
+and admission order is unchanged, so the planner can still trail a brute-force
+oracle on instances the bounded repair cannot reach. It does reach the oracle on
+the audit counterexample, and a 200-instance randomized property check holds
+feasibility (global and tier caps), disjoint included/omitted sets, and
+maximality: no omitted item still fits at its cheapest admissible form.
+
+The quality-policy field `preferFullForHighPriority` is deprecated: nothing
+reads it, and flipping it changes no candidate or choice
+(`context-budget-quality-policy-semantics.test.ts`). The priority weight already
+prefers full text for high-priority items.
+
+Evidence:
+
+- `packages/coding-agent/test/context-budget-representation-accounting.test.ts`
+- `packages/coding-agent/test/context-budget-representation-exchange.test.ts`
+- `packages/coding-agent/test/context-budget-representation-promotion.test.ts`
+- `packages/coding-agent/test/context-budget-quality-policy-semantics.test.ts`
+
 When enabled, representation and negative-result entries persist under
 `.omk/cache/context-budget-v2`; plan entries remain session-memory-only.
 `OMK_CONTEXT_GOVERNOR_CACHE=memory` keeps every cache entry in session memory,
 and `OMK_CONTEXT_GOVERNOR_CACHE_DIR` relocates the representation snapshot.
 
+Cache keys are bound to the counter that produced the prices. Two of the three
+layers bind it implicitly — a plan key hashes each planned item's token counts,
+and an exact representation key hashes a fingerprint containing
+`estimatedTokens` — but the materialized (semantic) key is bucketed at 100
+tokens and carries the tokenizer as a field, and no caller passed one, so every
+counter shared the static `heuristic-v1` key space and the entry's
+`tokenizer_mismatch` check compared that constant against itself. Since F01 made
+every representation price counter-dependent, that let one estimator's price be
+admitted in another estimator's run. The planner now resolves the key's
+tokenizer from the counter's own `adapterId`
+(`resolveEffectiveTokenizerIdV2`, probing a non-empty string because
+`countText("")` short-circuits to the fallback estimator); an explicit
+`tokenizerId` input still wins. Coverage:
+`packages/coding-agent/test/context-budget-cache-tokenizer-binding.test.ts`.
+
 Evidence:
 
 - `packages/coding-agent/src/core/context-budget-v2-planner.ts`

package/examples/extensions/custom-provider-anthropic/package-lock.json

@@ -1,12 +1,12 @@
 {
   "name": "omk-extension-custom-provider-anthropic",
-  "version": "1.0.0",
+  "version": "1.2.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "omk-extension-custom-provider-anthropic",
-      "version": "1.0.0",
+      "version": "1.2.0",
       "dependencies": {
         "@anthropic-ai/sdk": "0.52.0"
       }

package/examples/extensions/custom-provider-anthropic/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-custom-provider-anthropic",
 	"private": true,
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/custom-provider-gitlab-duo/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-custom-provider-gitlab-duo",
 	"private": true,
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/gondolin/package-lock.json

@@ -1,12 +1,12 @@
 {
 	"name": "omk-extension-gondolin",
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "omk-extension-gondolin",
-			"version": "1.0.0",
+			"version": "1.2.0",
 			"dependencies": {
 				"@earendil-works/gondolin": "0.12.0"
 			}

package/examples/extensions/gondolin/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-gondolin",
 	"private": true,
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/sandbox/package-lock.json

@@ -1,12 +1,12 @@
 {
 	"name": "omk-extension-sandbox",
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "omk-extension-sandbox",
-			"version": "1.0.0",
+			"version": "1.2.0",
 			"dependencies": {
 				"@anthropic-ai/sandbox-runtime": "0.0.26"
 			}

package/examples/extensions/sandbox/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-sandbox",
 	"private": true,
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/examples/extensions/with-deps/package-lock.json

@@ -1,12 +1,12 @@
 {
   "name": "omk-extension-with-deps",
-  "version": "1.0.0",
+  "version": "1.2.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "omk-extension-with-deps",
-      "version": "1.0.0",
+      "version": "1.2.0",
       "dependencies": {
         "ms": "2.1.3"
       },

package/examples/extensions/with-deps/package.json

@@ -1,7 +1,7 @@
 {
 	"name": "omk-extension-with-deps",
 	"private": true,
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"type": "module",
 	"scripts": {
 		"clean": "echo 'nothing to clean'",

package/npm-shrinkwrap.json

@@ -1,17 +1,17 @@
 {
 	"name": "open-multi-agent-kit",
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"lockfileVersion": 3,
 	"requires": true,
 	"packages": {
 		"": {
 			"name": "open-multi-agent-kit",
-			"version": "1.0.0",
+			"version": "1.2.0",
 			"license": "MIT",
 			"dependencies": {
-				"omk-agent-core": "^1.0.0",
-				"omk-ai": "^1.0.0",
-				"omk-tui": "^1.0.0",
+				"omk-agent-core": "^1.2.0",
+				"omk-ai": "^1.2.0",
+				"omk-tui": "^1.2.0",
 				"@silvia-odwyer/photon-node": "0.3.4",
 				"canonicalize": "4.0.0",
 				"chalk": "5.6.2",
@@ -27,8 +27,8 @@
 				"typebox": "1.3.11",
 				"undici": "8.10.0",
 				"yaml": "2.9.0",
-				"omk-adaptorch-wpl": "^1.0.0",
-				"omk-protocol": "^1.0.0"
+				"omk-adaptorch-wpl": "^1.2.0",
+				"omk-protocol": "^1.2.0"
 			},
 			"optionalDependencies": {
 				"@mariozechner/clipboard": "0.3.9"
@@ -1285,19 +1285,19 @@
 			}
 		},
 		"node_modules/omk-adaptorch-wpl": {
-			"version": "1.0.0",
-			"resolved": "https://registry.npmjs.org/omk-adaptorch-wpl/-/omk-adaptorch-wpl-1.0.0.tgz",
+			"version": "1.2.0",
+			"resolved": "https://registry.npmjs.org/omk-adaptorch-wpl/-/omk-adaptorch-wpl-1.2.0.tgz",
 			"license": "MIT",
 			"engines": {
 				"node": ">=22.19.0"
 			}
 		},
 		"node_modules/omk-agent-core": {
-			"version": "1.0.0",
-			"resolved": "https://registry.npmjs.org/omk-agent-core/-/omk-agent-core-1.0.0.tgz",
+			"version": "1.2.0",
+			"resolved": "https://registry.npmjs.org/omk-agent-core/-/omk-agent-core-1.2.0.tgz",
 			"license": "MIT",
 			"dependencies": {
-				"omk-ai": "^1.0.0",
+				"omk-ai": "^1.2.0",
 				"ignore": "7.0.6",
 				"typebox": "1.3.11",
 				"yaml": "2.9.0"
@@ -1307,8 +1307,8 @@
 			}
 		},
 		"node_modules/omk-ai": {
-			"version": "1.0.0",
-			"resolved": "https://registry.npmjs.org/omk-ai/-/omk-ai-1.0.0.tgz",
+			"version": "1.2.0",
+			"resolved": "https://registry.npmjs.org/omk-ai/-/omk-ai-1.2.0.tgz",
 			"license": "MIT",
 			"dependencies": {
 				"@anthropic-ai/sdk": "0.91.1",
@@ -1330,16 +1330,16 @@
 			}
 		},
 		"node_modules/omk-protocol": {
-			"version": "1.0.0",
-			"resolved": "https://registry.npmjs.org/omk-protocol/-/omk-protocol-1.0.0.tgz",
+			"version": "1.2.0",
+			"resolved": "https://registry.npmjs.org/omk-protocol/-/omk-protocol-1.2.0.tgz",
 			"license": "MIT",
 			"engines": {
 				"node": ">=22.19.0"
 			}
 		},
 		"node_modules/omk-tui": {
-			"version": "1.0.0",
-			"resolved": "https://registry.npmjs.org/omk-tui/-/omk-tui-1.0.0.tgz",
+			"version": "1.2.0",
+			"resolved": "https://registry.npmjs.org/omk-tui/-/omk-tui-1.2.0.tgz",
 			"license": "MIT",
 			"dependencies": {
 				"get-east-asian-width": "1.6.0",

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "open-multi-agent-kit",
-	"version": "1.0.0",
+	"version": "1.2.0",
 	"description": "OMK (Open Multi-Agent Kit) coding agent CLI with read, bash, edit, write tools and session management",
 	"type": "module",
 	"omkConfig": {
@@ -43,9 +43,9 @@
 		"link-workspace-deps": "node ./scripts/link-workspace-deps.mjs"
 	},
 	"dependencies": {
-		"omk-agent-core": "^1.0.0",
-		"omk-ai": "^1.0.0",
-		"omk-tui": "^1.0.0",
+		"omk-agent-core": "^1.2.0",
+		"omk-ai": "^1.2.0",
+		"omk-tui": "^1.2.0",
 		"@silvia-odwyer/photon-node": "0.3.4",
 		"canonicalize": "4.0.0",
 		"chalk": "5.6.2",
@@ -61,8 +61,8 @@
 		"typebox": "1.3.11",
 		"undici": "8.10.0",
 		"yaml": "2.9.0",
-		"omk-adaptorch-wpl": "^1.0.0",
-		"omk-protocol": "^1.0.0"
+		"omk-adaptorch-wpl": "^1.2.0",
+		"omk-protocol": "^1.2.0"
 	},
 	"overrides": {
 		"rimraf": "6.1.2",