@resolveio/server-lib 22.3.189 → 22.3.190

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@resolveio/server-lib",
-  "version": "22.3.189",
+  "version": "22.3.190",
   "description": "",
   "scripts": {
     "package": "./build_package.sh",

package/util/ai-run-evidence-adapters.js

@@ -2308,22 +2308,30 @@ function aicoderNextActionContractGate(contract, now) {
     var requiresHumanApproval = booleanFlag((_b = contract.requiresHumanApproval) !== null && _b !== void 0 ? _b : contract.requires_human_approval) === true;
     var canRunWithoutCodexMonitor = booleanFlag((_c = contract.canRunWithoutCodexMonitor) !== null && _c !== void 0 ? _c : contract.can_run_without_codex_monitor) === true;
     var codexFallbackRequired = booleanFlag((_d = contract.codexFallbackRequired) !== null && _d !== void 0 ? _d : contract.codex_fallback_required) === true;
-    var blockers = cleanStringList(contract.blockers, 40, 500);
+    var sourceBlockers = cleanStringList(contract.blockers, 40, 500);
     var primaryCommand = cleanText(contract.primaryCommand || contract.primary_command, 200);
-    var gateStatus = canRunWithoutCodexMonitor
-        ? 'pass'
-        : requiresHumanApproval
-            ? 'blocked'
-            : codexFallbackRequired
-                ? 'warn'
-                : safeToAutoRun ? 'warn' : 'blocked';
+    var liveHotfixBlockedUntilCommit = booleanFlag((_g = (_f = (_e = contract.liveHotfixBlockedUntilCommit) !== null && _e !== void 0 ? _e : contract.live_hotfix_blocked_until_commit) !== null && _f !== void 0 ? _f : plainObject(contract.decisionBasis || contract.decision_basis).liveHotfixBlockedUntilCommit) !== null && _g !== void 0 ? _g : plainObject(contract.decisionBasis || contract.decision_basis).live_hotfix_blocked_until_commit) === true;
+    var safetyBlockers = Array.from(new Set(__spreadArray(__spreadArray(__spreadArray(__spreadArray(__spreadArray([], __read((safeToAutoRun ? [] : ['AICoder next action is not marked safe to auto-run.'])), false), __read((canRunWithoutCodexMonitor ? [] : ['AICoder next action requires Codex fallback/monitoring instead of manager-only execution.'])), false), __read((codexFallbackRequired ? [cleanText(contract.codexFallbackReason || contract.codex_fallback_reason, 1000) || 'AICoder next action contract requires Codex fallback.'] : [])), false), __read((requiresHumanApproval ? ['AICoder next action requires human approval.'] : [])), false), __read((liveHotfixBlockedUntilCommit ? ['Live AICoder hotfix is blocked until GitHub commit and push proof is recorded.'] : [])), false))).filter(Boolean).slice(0, 40);
+    var contractBlockers = safetyBlockers.length
+        ? Array.from(new Set(__spreadArray(__spreadArray([], __read(sourceBlockers), false), __read(safetyBlockers), false))).slice(0, 40)
+        : [];
+    var missingSafetyFlags = [
+        contract.safeToAutoRun === undefined && contract.safe_to_auto_run === undefined ? 'safeToAutoRun' : '',
+        contract.canRunWithoutCodexMonitor === undefined && contract.can_run_without_codex_monitor === undefined ? 'canRunWithoutCodexMonitor' : '',
+        contract.codexFallbackRequired === undefined && contract.codex_fallback_required === undefined ? 'codexFallbackRequired' : ''
+    ].filter(Boolean);
+    var gateStatus = contractBlockers.length
+        ? 'blocked'
+        : missingSafetyFlags.length
+            ? 'warn'
+            : 'pass';
     return {
         key: 'aicoder_next_action_contract',
         label: 'AICoder next action contract',
         status: gateStatus,
         reason: gateStatus === 'pass'
             ? "AICoder can run ".concat(primaryCommand || 'the next action', " without a Codex monitor.")
-            : (blockers.join(' ') || cleanText(contract.codexFallbackReason || contract.codex_fallback_reason || contract.expectedStateTransition || contract.expected_state_transition, 1200) || 'AICoder next action is not safe to run unattended.'),
+            : (contractBlockers.join(' ') || cleanText(contract.codexFallbackReason || contract.codex_fallback_reason || contract.expectedStateTransition || contract.expected_state_transition, 1200) || 'AICoder next action is not safe to run unattended.'),
         evidenceRefs: cleanStringList(__spreadArray(__spreadArray(__spreadArray([], __read(asArray(contract.preconditions)), false), __read(asArray(contract.successEvidence || contract.success_evidence)), false), __read(asArray(contract.stopConditions || contract.stop_conditions)), false), 40, 500),
         recordedAt: isoNow(now || contract.createdAt || contract.created_at || contract.recordedAt || contract.recorded_at),
         metadata: {
@@ -2339,9 +2347,9 @@ function aicoderNextActionContractGate(contract, now) {
             codexFallbackRequired: codexFallbackRequired,
             codexFallbackReason: cleanText(contract.codexFallbackReason || contract.codex_fallback_reason, 1000),
             costRisk: cleanText(contract.costRisk || contract.cost_risk, 120),
-            workflowFirstSatisfied: booleanFlag((_e = contract.workflowFirstSatisfied) !== null && _e !== void 0 ? _e : contract.workflow_first_satisfied) === true,
-            hotfixCommitRequired: booleanFlag((_h = (_g = (_f = contract.hotfixCommitRequired) !== null && _f !== void 0 ? _f : contract.hotfix_commit_required) !== null && _g !== void 0 ? _g : plainObject(contract.decisionBasis || contract.decision_basis).hotfixCommitRequired) !== null && _h !== void 0 ? _h : plainObject(contract.decisionBasis || contract.decision_basis).hotfix_commit_required) === true,
-            liveHotfixBlockedUntilCommit: booleanFlag((_l = (_k = (_j = contract.liveHotfixBlockedUntilCommit) !== null && _j !== void 0 ? _j : contract.live_hotfix_blocked_until_commit) !== null && _k !== void 0 ? _k : plainObject(contract.decisionBasis || contract.decision_basis).liveHotfixBlockedUntilCommit) !== null && _l !== void 0 ? _l : plainObject(contract.decisionBasis || contract.decision_basis).live_hotfix_blocked_until_commit) === true,
+            workflowFirstSatisfied: booleanFlag((_h = contract.workflowFirstSatisfied) !== null && _h !== void 0 ? _h : contract.workflow_first_satisfied) === true,
+            hotfixCommitRequired: booleanFlag((_l = (_k = (_j = contract.hotfixCommitRequired) !== null && _j !== void 0 ? _j : contract.hotfix_commit_required) !== null && _k !== void 0 ? _k : plainObject(contract.decisionBasis || contract.decision_basis).hotfixCommitRequired) !== null && _l !== void 0 ? _l : plainObject(contract.decisionBasis || contract.decision_basis).hotfix_commit_required) === true,
+            liveHotfixBlockedUntilCommit: liveHotfixBlockedUntilCommit,
             decisionBasis: plainObject(contract.decisionBasis || contract.decision_basis),
             preconditions: cleanStringList(contract.preconditions, 40, 500),
             expectedStateTransition: cleanText(contract.expectedStateTransition || contract.expected_state_transition, 1000),
@@ -2350,7 +2358,10 @@ function aicoderNextActionContractGate(contract, now) {
             stopConditions: cleanStringList(contract.stopConditions || contract.stop_conditions, 40, 500),
             forbiddenActions: cleanStringList(contract.forbiddenActions || contract.forbidden_actions, 40, 500),
             nextCommands: cleanStringList(contract.nextCommands || contract.next_commands, 40, 240),
-            blockers: blockers,
+            blockers: contractBlockers,
+            contextBlockers: sourceBlockers,
+            safetyBlockers: safetyBlockers,
+            missingSafetyFlags: missingSafetyFlags,
             ownerFiles: cleanStringList(contract.ownerFiles || contract.owner_files, 40, 500)
         }
     };