@besales/ops-framework 0.1.21 → 0.1.22

package/CHANGELOG.md

@@ -1,5 +1,10 @@
 # Changelog
 
+## 0.1.22
+
+- Added a compact `standard_plus` LLM context mode between `standard` and `strict` so near-cap Check/Verify runs avoid full strict context when compact evidence is sufficient.
+- Refreshed `task-manifest.json` after successful Check and cache hits so `lastCheckResult` reflects the final current verdict instead of stale `return_to_plan` results.
+
 ## 0.1.21
 
 - Added `verify-timeline.json` telemetry for Verify runs, including deterministic blocks, LLM input sizing, context-mode escalation, provider duration/failure and final verdict.

package/bin/lib/llm-input-pack-utils.mjs

@@ -8,10 +8,11 @@ import {
   renderRelevantPlaybooks,
 } from './check-context-utils.mjs';
 
-export const LLM_CONTEXT_MODES = ['fast', 'standard', 'strict'];
+export const LLM_CONTEXT_MODES = ['fast', 'standard', 'standard_plus', 'strict'];
 export const LLM_CONTEXT_CAPS = {
   fast: 8000,
   standard: 20000,
+  standard_plus: 26000,
   strict: 45000,
 };
 
@@ -20,6 +21,7 @@ const PACK_CAP_SAFETY_MULTIPLIER = 1.15;
 const MEMORY_MAX_CHARS = {
   fast: 3000,
   standard: 3500,
+  standard_plus: 4500,
   strict: Infinity,
 };
 
@@ -163,6 +165,9 @@ export function nextLlmContextMode(mode) {
     return 'standard';
   }
   if (mode === 'standard') {
+    return 'standard_plus';
+  }
+  if (mode === 'standard_plus') {
     return 'strict';
   }
   return null;
@@ -215,8 +220,8 @@ export function buildCheckerLlmInputPack({
       fullContextAvailableViaStrict: selectedMode !== 'strict',
       contextInsufficientFallback: selectedMode === 'strict' ? 'stop_and_report' : `rerun_${nextLlmContextMode(selectedMode)}`,
     },
-    checkEvidence: compactGeneratedMarkdown('check-evidence.md', checkEvidence, selectedMode, { fast: 2800, standard: 4000 }),
-    checkerContextPack: compactGeneratedMarkdown('checker-context-pack.md', checkerContextPack, selectedMode, { fast: 3300, standard: 4600 }),
+    checkEvidence: compactGeneratedMarkdown('check-evidence.md', checkEvidence, selectedMode, { fast: 2800, standard: 4000, standard_plus: 5600 }),
+    checkerContextPack: compactGeneratedMarkdown('checker-context-pack.md', checkerContextPack, selectedMode, { fast: 3300, standard: 4600, standard_plus: 6200 }),
     relevantPlaybooks: selectedMode === 'strict'
       ? renderRelevantPlaybooks(readRelevantPlaybooks(checkContext.riskTriggers || []), { mode: 'strict' })
       : renderRelevantPlaybooks(readRelevantPlaybooks(checkContext.riskTriggers || []), { mode: 'compact' }),
@@ -521,7 +526,7 @@ function compactExecutionLedger(ledger, mode) {
   }
   const changedFiles = Array.isArray(ledger.git?.changedFiles) ? ledger.git.changedFiles : [];
   const unrelatedDirtyFiles = Array.isArray(ledger.git?.unrelatedDirtyFiles) ? ledger.git.unrelatedDirtyFiles : [];
-  const limit = mode === 'fast' ? 40 : mode === 'standard' ? 90 : 160;
+  const limit = mode === 'fast' ? 40 : mode === 'standard' ? 90 : mode === 'standard_plus' ? 120 : 160;
   const compact = {
     schemaVersion: ledger.schemaVersion,
     taskId: ledger.taskId,
@@ -580,7 +585,11 @@ function compactGeneratedMarkdown(fileName, content, mode, limits) {
   if (mode === 'strict' || !content) {
     return content;
   }
-  const limit = mode === 'fast' ? limits.fast : limits.standard;
+  const limit = mode === 'fast'
+    ? limits.fast
+    : mode === 'standard_plus'
+      ? limits.standard_plus || Math.ceil(limits.standard * 1.35)
+      : limits.standard;
   return markCompacted(fileName, content, truncateMiddle(content, limit));
 }
 
@@ -707,7 +716,13 @@ function isProtectedSection(value) {
 }
 
 function charLimitForMode(mode, fastChars, standardChars) {
-  return mode === 'fast' ? fastChars : standardChars;
+  if (mode === 'fast') {
+    return fastChars;
+  }
+  if (mode === 'standard_plus') {
+    return Math.ceil(standardChars * 1.25);
+  }
+  return standardChars;
 }
 
 function readOptionalJson(taskDir, fileName) {

package/bin/lib/llm-input-pack-utils.test.mjs

@@ -84,12 +84,40 @@ describe('llm input pack utilities', () => {
   });
 
   it('builds bounded fallback mode sequence for context insufficient results', () => {
-    expect(buildContextModeSequence('fast')).toEqual(['fast', 'standard', 'strict']);
-    expect(buildContextModeSequence('standard')).toEqual(['standard', 'strict']);
+    expect(buildContextModeSequence('fast')).toEqual(['fast', 'standard', 'standard_plus', 'strict']);
+    expect(buildContextModeSequence('standard')).toEqual(['standard', 'standard_plus', 'strict']);
+    expect(buildContextModeSequence('standard_plus')).toEqual(['standard_plus', 'strict']);
     expect(buildContextModeSequence('strict')).toEqual(['strict']);
     expect(isContextInsufficientResult({ verdict: 'context_insufficient' })).toBe(true);
   });
 
+  it('provides a compact standard_plus check mode before strict', () => {
+    const taskDir = createTask();
+    const pack = buildCheckerLlmInputPack({
+      taskDir,
+      taskId: 'TASK-999-token-pack',
+      checkerPromptSha: 'sha256:test',
+      cacheKey: { test: true },
+      checkContext: {
+        planSha: 'sha256:plan',
+        memorySha: 'sha256:memory',
+        riskProfile: 'high',
+        riskTriggers: ['source-sync-provider', 'prisma-schema'],
+      },
+      checkEvidence: '# Evidence\n\nok\n'.repeat(900),
+      checkerContextPack: '# Checker Context Pack\n\nok\n'.repeat(900),
+      taskManifest: '{}',
+      projectMemory: [],
+      mode: 'standard_plus',
+    });
+
+    expect(pack.meta.mode).toBe('standard_plus');
+    expect(pack.meta.capTokens).toBe(26000);
+    expect(pack.input.llmInputPolicy.contextInsufficientFallback).toBe('rerun_strict');
+    expect(pack.input.taskArtifacts['plan.md']).toContain('<!-- compacted:plan.md');
+    expect(pack.meta.compactedArtifacts).toContain('plan.md');
+  });
+
   it('preserves protected verification sections when compacting long plans', () => {
     const taskDir = createTask();
     const longPlan = [

package/bin/run-check.mjs

@@ -226,6 +226,7 @@ async function runMain() {
         rerunCount,
         timing: buildTiming(runStartedAt),
       });
+      refreshTaskManifestAfterCheck(taskDir);
       console.log(`Checker cache hit for ${taskId}: ${cacheKeySha}`);
       return;
     }
@@ -329,12 +330,22 @@ async function runMain() {
     rerunCount,
     timing: buildTiming(runStartedAt),
   });
+  refreshTaskManifestAfterCheck(taskDir);
   runValidator(taskArg);
   console.log(`Checker run completed for ${taskId}: ${providerOutput.checkResultJson?.verdict}`);
   console.log(`- finalLlmInputMode: ${promptPayload.pack.meta.mode}`);
   console.log(`- finalEstimatedInputTokens: ${promptPayload.pack.meta.estimatedTokens}`);
 }
 
+function refreshTaskManifestAfterCheck(taskDir) {
+  const manifest = buildTaskManifest({ taskDir });
+  writeTaskManifest(taskDir, manifest);
+  appendCheckTimeline(taskDir, {
+    event: 'task_manifest_refreshed_after_check',
+    lastCheckResult: manifest.lastCheckResult,
+  });
+}
+
 function appendCheckTimeline(taskDir, event) {
   const timelinePath = path.join(taskDir, 'check-timeline.json');
   let existing = [];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@besales/ops-framework",
-  "version": "0.1.21",
+  "version": "0.1.22",
   "type": "module",
   "bin": {
     "ops-agent": "bin/ops-agent.mjs"