[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_200":201,"_202":203},"routes/_app.x.$handle.$name",{"_98":97,"_33":45,"_107":86,"_28":108,"_13":14,"_109":-5,"_11":110,"_111":112,"_113":114,"_115":116,"_117":118,"_20":-5,"_119":-5,"_120":121,"_122":27,"_123":124,"_125":25,"_126":-5,"_127":-5,"_128":129},"routes/_app.x.$handle.$name.branch.$branch.version.$version.diff",{"_11":12,"_13":14,"_15":16,"_17":-5,"_18":-5},"project",{"_43":44,"_33":45,"_38":46,"_47":-5,"_48":27,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":57,"_58":27,"_59":-5,"_60":-5,"_61":62,"_63":64,"_65":-5,"_66":-5,"_67":-5,"_68":-5,"_69":70,"_71":70,"_72":73,"_74":73,"_75":73,"_76":70,"_77":70,"_78":79,"_80":81,"_82":83,"_84":27},"version",7,"changes",[19],"aiChatInfo","userId",{"_20":21,"_22":23,"_24":25,"_26":27,"_28":29,"_30":29},"file",{"_31":32,"_33":29,"_34":20,"_35":37,"_38":39,"_40":14,"_41":42,"_24":27},"previous",{"_31":32,"_33":29,"_34":20,"_35":36},"deleted",true,"deletedHere",false,"path","rumbo-semantic-core-v1.3.12.mjs","latestPath","fileId","9054811a-aa1e-11f1-a5d3-1607ee4eb77e","name","fileType","content","/**\n * RUMBO Agent Reliability semantic hardening core v1.3.12\n * Dependency-free, deterministic, fail-closed.\n * Designed to sit behind the existing MCP tool names without changing their input schemas.\n */\n\nconst IDS = Object.freeze({\n csr: 'RUMBO-CSR-V1.3.12',\n drr: 'RUMBO-DRR-V1.3.12',\n glc: 'RUMBO-GLC-V1.3.12',\n evc: 'RUMBO-EVC-V1.3.12',\n afs: 'RUMBO-AFS-V1.3.12',\n});\n\nfunction asText(v) { return typeof v === 'string' ? v.trim() : ''; }\n\nfunction strictJsonParse(text) {\n const s = String(text ?? '').trim();\n let i = 0;\n const fail = (code) => { throw new Error(code); };\n const ws = () => { while (i < s.length && /\\s/.test(s[i])) i += 1; };\n\n const parseStringToken = () => {\n if (s[i] !== '\"') fail('INVALID_JSON_STRING');\n const start = i;\n i += 1;\n while (i < s.length) {\n const ch = s[i];\n if (ch === '\"') {\n i += 1;\n try { return JSON.parse(s.slice(start, i)); } catch { fail('INVALID_JSON_STRING'); }\n }\n if (ch === '\\\\') {\n if (i + 1 >= s.length) fail('INVALID_JSON_ESCAPE');\n if (s[i + 1] === 'u') {\n if (!/^[0-9A-Fa-f]{4}$/.test(s.slice(i + 2, i + 6))) fail('INVALID_JSON_UNICODE_ESCAPE');\n i += 6;\n } else {\n if (!/[\"\\\\/bfnrt]/.test(s[i + 1])) fail('INVALID_JSON_ESCAPE');\n i += 2;\n }\n continue;\n }\n if (ch.charCodeAt(0) < 0x20) fail('INVALID_JSON_CONTROL_CHAR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_STRING');\n };\n\n const parseValue = () => {\n ws();\n if (i >= s.length) fail('UNEXPECTED_JSON_EOF');\n if (s[i] === '{') return parseObject();\n if (s[i] === '[') return parseArray();\n if (s[i] === '\"') { parseStringToken(); return; }\n const start = i;\n while (i < s.length && !/[\\s,\\]}]/.test(s[i])) i += 1;\n const token = s.slice(start, i);\n if (!token) fail('INVALID_JSON_VALUE');\n try { JSON.parse(token); } catch { fail('INVALID_JSON_VALUE'); }\n };\n\n const parseObject = () => {\n i += 1;\n ws();\n const seen = new Set();\n if (s[i] === '}') { i += 1; return; }\n while (i < s.length) {\n ws();\n const key = parseStringToken();\n if (seen.has(key)) fail(`DUPLICATE_JSON_KEY:${key}`);\n seen.add(key);\n ws();\n if (s[i] !== ':') fail('INVALID_JSON_OBJECT_COLON');\n i += 1;\n parseValue();\n ws();\n if (s[i] === '}') { i += 1; return; }\n if (s[i] !== ',') fail('INVALID_JSON_OBJECT_SEPARATOR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_OBJECT');\n };\n\n const parseArray = () => {\n i += 1;\n ws();\n if (s[i] === ']') { i += 1; return; }\n while (i < s.length) {\n parseValue();\n ws();\n if (s[i] === ']') { i += 1; return; }\n if (s[i] !== ',') fail('INVALID_JSON_ARRAY_SEPARATOR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_ARRAY');\n };\n\n parseValue();\n ws();\n if (i !== s.length) fail('TRAILING_JSON_DATA');\n return JSON.parse(s);\n}\n\nfunction jsonInputState(v) {\n if (v && typeof v === 'object') return { kind: 'VALID', value: v, error: null };\n if (typeof v !== 'string') return { kind: 'NOT_JSON', value: null, error: null };\n const s = v.trim();\n if (!s || !['{', '['].includes(s[0])) return { kind: 'NOT_JSON', value: null, error: null };\n try { return { kind: 'VALID', value: strictJsonParse(s), error: null }; }\n catch (err) { return { kind: 'INVALID', value: null, error: String(err?.message || 'INVALID_JSON') }; }\n}\n\nfunction tryJson(v) {\n const state = jsonInputState(v);\n return state.kind === 'VALID' ? state.value : null;\n}\n\nfunction cleanToken(v) {\n return String(v ?? '').trim().replace(/[.;,!?:]+$/g, '').trim();\n}\n\nfunction extractAssignments(text) {\n const out = [];\n const re = /\\b([A-Za-zÁÉÍÓÚÜÑáéíóúüñ_][\\wÁÉÍÓÚÜÑáéíóúüñ-]*)\\s*=\\s*([^\\s,;]+)/g;\n for (const m of asText(text).matchAll(re)) out.push({ key: m[1], value: cleanToken(m[2]), raw: m[0] });\n return out;\n}\n\nfunction flattenJsonScalarAssignments(value, prefix = '') {\n const out = [];\n if (value === null || typeof value !== 'object') {\n if (prefix) out.push({ key: prefix, value: cleanToken(value), raw: `${prefix}=${String(value)}` });\n return out;\n }\n if (Array.isArray(value)) {\n value.forEach((item, index) => out.push(...flattenJsonScalarAssignments(item, prefix ? `${prefix}[${index}]` : `[${index}]`)));\n return out;\n }\n for (const [key, item] of Object.entries(value)) {\n const path = prefix ? `${prefix}.${key}` : key;\n out.push(...flattenJsonScalarAssignments(item, path));\n }\n return out;\n}\n\nfunction semanticAssignments(text) {\n const state = jsonInputState(text);\n if (state.kind === 'VALID') return flattenJsonScalarAssignments(state.value);\n return extractAssignments(text);\n}\n\nfunction lastAssignment(text, preferredKey) {\n const a = extractAssignments(text).filter(x => !preferredKey || x.key === preferredKey);\n return a.length ? a[a.length - 1] : null;\n}\n\nconst NEGATIVE_SCOPE_RE = /\\b(?:SUPERSEDED|HISTORICAL|ARCHIVED|REJECTED|NO_AUTHORITY|SUPERSEDIDO|HIST[OÓ]RICO|ARCHIVADO|RECHAZADO)\\b/i;\nconst SELECTED_SCOPE_RE = /\\b(?:SELECTED|CANONICAL_SELECTED|SELECCIONADO|CANDIDATO_SELECCIONADO)\\b/i;\n\nfunction scopedAssignments(text) {\n const input = asText(text);\n const out = [];\n const re = /\\b([A-Za-zÁÉÍÓÚÜÑáéíóúüñ_][\\wÁÉÍÓÚÜÑáéíóúüñ-]*)\\s*=\\s*([^\\s,;]+)/g;\n for (const m of input.matchAll(re)) {\n const left = input.slice(Math.max(0, m.index - 120), m.index);\n const segment = left.split(/[;\\n.]/).at(-1) ?? left;\n out.push({\n key: m[1],\n value: cleanToken(m[2]),\n raw: m[0],\n selected: SELECTED_SCOPE_RE.test(segment),\n excluded: NEGATIVE_SCOPE_RE.test(segment),\n });\n }\n return out;\n}\n\nconst POSITIVE_EVIDENCE_STATUS = /^(?:PASS|TRUE|OK|VERIFIED)$/i;\nconst NEGATIVE_EVIDENCE_STATUS = /^(?:FAIL|FAILED|FALSE|UNVERIFIED|NO_GO|NOT_PROVEN|UNPROVEN)$/i;\n\nfunction evidenceCategoryState(text, key) {\n const input = asText(text);\n const re = new RegExp(`\\\\b${key}\\\\s*=\\\\s*([^\\\\s,;]+)`, 'ig');\n const rawValues = [...input.matchAll(re)].map(m => cleanToken(m[1]));\n if (!rawValues.length) return { present: false, positive: false, conflict: false, invalid: false, values: [] };\n\n const semantic = rawValues.map(v => {\n if (POSITIVE_EVIDENCE_STATUS.test(v)) return 'POSITIVE';\n if (NEGATIVE_EVIDENCE_STATUS.test(v)) return 'NEGATIVE';\n return 'INVALID';\n });\n const distinct = [...new Set(semantic)];\n const invalid = distinct.includes('INVALID');\n const conflict = distinct.includes('POSITIVE') && distinct.includes('NEGATIVE');\n const positive = !invalid && !conflict && distinct.length === 1 && distinct[0] === 'POSITIVE';\n return { present: true, positive, conflict, invalid, values: rawValues };\n}\n\nfunction externalGateCategory(text) {\n const input = asText(text);\n const re = /\\bexternal_gate_status\\s*=\\s*([^;\\n]+)/ig;\n const values = [...input.matchAll(re)].map(m => cleanToken(m[1])).filter(Boolean);\n if (!values.length) return { present: false, clear: false, conflict: false, values: [], value: null };\n\n const states = values.map(value => /^(?:NONE|CLEAR|PASS|NO_EXTERNAL_GATES?|NO_EXTERNAL_GATES_PENDING)$/i.test(value) ? 'CLEAR' : 'OPEN');\n const distinct = [...new Set(states)];\n const conflict = distinct.length > 1;\n const clear = !conflict && distinct.length === 1 && distinct[0] === 'CLEAR';\n return { present: true, clear, conflict, values, value: values.at(-1) ?? null };\n}\n\nfunction extractTarget(goal) {\n const json = tryJson(goal);\n if (json && typeof json === 'object') {\n if (json.target != null) return json.target;\n if (json.TARGET != null) return json.TARGET;\n }\n const t = asText(goal);\n const marker = t.match(/\\bTARGET(?:\\s+expl[ií]cito)?\\s*:\\s*([^\\n]+)/i);\n const fromMarker = marker ? lastAssignment(marker[1]) : null;\n if (fromMarker) return { [fromMarker.key]: fromMarker.value };\n const any = lastAssignment(t);\n return any ? { [any.key]: any.value } : null;\n}\n\nfunction currentFromEvidence(evidence, priorState, preferredKey = '') {\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const selected = ej.selected ?? ej.SELECTED ?? ej.canonicalSelected ?? ej.canonical_selected ?? null;\n if (selected != null) {\n if (preferredKey && selected && typeof selected === 'object' && !Array.isArray(selected) && Object.hasOwn(selected, preferredKey)) {\n return { [preferredKey]: cleanToken(selected[preferredKey]) };\n }\n if (selected && typeof selected === 'object' && !Array.isArray(selected)) return selected;\n }\n const direct = ej.current ?? ej.CURRENT ?? ej.state ?? null;\n if (direct != null) {\n if (preferredKey && direct && typeof direct === 'object' && !Array.isArray(direct) && Object.hasOwn(direct, preferredKey)) {\n return { [preferredKey]: cleanToken(direct[preferredKey]) };\n }\n return direct;\n }\n }\n\n const text = asText(evidence);\n const scoped = scopedAssignments(text);\n const selectedScoped = scoped.filter(x => x.selected && !x.excluded && (!preferredKey || x.key === preferredKey));\n if (selectedScoped.length) {\n const selected = selectedScoped.at(-1);\n return { [selected.key]: selected.value };\n }\n\n const primary = text.match(/(?:EVIDENCIA\\s+PRIMARIA\\s+ACTUAL|CURRENT|ESTADO\\s+ACTUAL)\\s*:\\s*([^\\n.]+)/i);\n if (primary) {\n const primaryAssignments = scopedAssignments(primary[1]).filter(x => !x.excluded);\n const selected = preferredKey\n ? primaryAssignments.filter(x => x.key === preferredKey).at(-1)\n : primaryAssignments.at(-1);\n if (selected) return { [selected.key]: selected.value };\n }\n\n const evidenceAssignments = scoped.filter(x => !x.excluded);\n if (preferredKey) {\n const preferred = evidenceAssignments.filter(x => x.key === preferredKey).at(-1);\n if (preferred) return { [preferred.key]: preferred.value };\n }\n\n const priorAssignment = lastAssignment(priorState);\n if (priorAssignment) {\n const sameKeyCurrent = evidenceAssignments.filter(x => x.key === priorAssignment.key).at(-1);\n if (sameKeyCurrent) return { [sameKeyCurrent.key]: sameKeyCurrent.value };\n }\n\n // Unscoped current evidence outranks priorState. Explicitly historical/superseded\n // assignments are excluded before freshness selection.\n const freshestEvidence = evidenceAssignments.at(-1);\n if (freshestEvidence) return { [freshestEvidence.key]: freshestEvidence.value };\n\n if (priorAssignment) return { [priorAssignment.key]: priorAssignment.value };\n return null;\n}\n\nfunction equals(a, b) { return JSON.stringify(a) === JSON.stringify(b); }\n\nfunction resultEnvelope(capability, id, result, classification, confidence, evidenceGrounding) {\n // Keep the structured `result` while mirroring result fields at top level for\n // backward compatibility with the live V1.2 response shape.\n return { capability, id, ...result, result, classification, confidence, evidenceGrounding };\n}\n\nexport function canonicalStateRecovery({ goal, evidence, priorState = '' }) {\n const goalJsonState = jsonInputState(goal);\n const evidenceJsonState = jsonInputState(evidence);\n const invalidJson = [\n ...(goalJsonState.kind === 'INVALID' ? [{ field: 'goal', error: goalJsonState.error }] : []),\n ...(evidenceJsonState.kind === 'INVALID' ? [{ field: 'evidence', error: evidenceJsonState.error }] : []),\n ];\n if (invalidJson.length) {\n return resultEnvelope('RUMBO Canonical State Recovery', IDS.csr,\n { current: null, target: null, currentRecovered: false, targetSpecified: false, targetReached: false, nextGate: 'INVALID_JSON_INPUT', jsonErrors: invalidJson },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown',\n { usedPriorState: Boolean(asText(priorState)), evidencePresent: Boolean(asText(evidence)), precedence: 'STRICT_JSON_BEFORE_SEMANTIC_RECOVERY', terminalPunctuationNormalized: true, selectedMarkerUsed: false, suppressedHistoricalAssignments: 0, strictJsonValid: false });\n }\n const target = extractTarget(goal);\n const targetKey = target && typeof target === 'object' && !Array.isArray(target) ? Object.keys(target)[0] : '';\n const current = currentFromEvidence(evidence, priorState, targetKey);\n const ej = tryJson(evidence);\n let nextGate = null;\n if (ej && typeof ej === 'object' && ej.nextGate) nextGate = ej.nextGate;\n if (!nextGate) {\n const text = asText(evidence);\n const explicit = text.match(/(?:[uú]nica|unica)\\s+transici[oó]n\\s+v[aá]lida(?:\\s+disponible)?\\s+(?:es|:)\\s*([A-Z][A-Z0-9_-]*)/)\n || text.match(/next(?:Gate|\\s+gate|\\s+transition)\\s*[:=]\\s*([A-Za-z0-9_-]+)/i);\n if (explicit) nextGate = explicit[1];\n }\n if (!nextGate && current && target && !equals(current, target)) {\n const ck = Object.keys(current)[0];\n const tk = Object.keys(target)[0];\n nextGate = ck && tk && ck === tk\n ? `TRANSITION ${ck}=${current[ck]} -> ${tk}=${target[tk]}`\n : 'APPLY_SINGLE_VALID_TRANSITION';\n }\n if (current && target && equals(current, target)) nextGate = 'NONE';\n const currentRecovered = Boolean(current);\n const targetSpecified = Boolean(target);\n const targetReached = Boolean(current && target && equals(current, target));\n const confidence = currentRecovered ? 'proven' : 'unknown';\n const classification = !currentRecovered\n ? 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE'\n : targetSpecified\n ? 'RESOLVED'\n : 'CURRENT_RECOVERED_TARGET_UNSPECIFIED';\n const scoped = scopedAssignments(asText(evidence));\n const jsonEvidence = tryJson(evidence);\n const selectedMarkerUsed = scoped.some(x => x.selected && !x.excluded)\n || Boolean(jsonEvidence && typeof jsonEvidence === 'object' && (jsonEvidence.selected ?? jsonEvidence.SELECTED ?? jsonEvidence.canonicalSelected ?? jsonEvidence.canonical_selected));\n const suppressedHistoricalAssignments = scoped.filter(x => x.excluded).length;\n return resultEnvelope(\n 'RUMBO Canonical State Recovery', IDS.csr,\n { current, target, currentRecovered, targetSpecified, targetReached, nextGate: nextGate ?? 'EVIDENCE_REQUIRED' },\n classification, confidence,\n { usedPriorState: Boolean(asText(priorState)), evidencePresent: Boolean(asText(evidence)), precedence: 'SELECTED_THEN_CURRENT_EVIDENCE_THEN_PRIOR_STATE', terminalPunctuationNormalized: true, selectedMarkerUsed, suppressedHistoricalAssignments }\n );\n}\n\nexport function deepResearchReconcile({ question, evidence, constraints = '' }) {\n const evidenceJsonState = jsonInputState(evidence);\n if (evidenceJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts: [], conclusion: null, reconciledConclusion: null, conflicts: [{ key: 'JSON', values: [evidenceJsonState.error], basis: 'STRICT_JSON_REQUIRED' }], superseded: [], unresolved: ['INVALID_JSON_EVIDENCE'] },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown', { question: asText(question), constraints: asText(constraints), strictJsonValid: false });\n }\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const facts = Array.isArray(ej.facts) ? ej.facts : [];\n const conclusion = ej.reconciledConclusion ?? ej.conclusion ?? ej.current ?? ej.resolution ?? null;\n const unresolved = Array.isArray(ej.unresolved) ? ej.unresolved : (conclusion ? [] : ['No explicit resolution in evidence JSON']);\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: ej.conflicts ?? [], superseded: ej.superseded ?? [], unresolved },\n conclusion ? 'RECONCILED' : 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', conclusion ? 'proven' : 'unknown',\n { question: asText(question), constraints: asText(constraints) });\n }\n\n const text = asText(evidence);\n const primary = text.match(/Fuente\\s+primaria\\s+actual\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n const secondary = text.match(/Fuente\\s+secundaria\\s+antigua\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n if (primary) {\n const conclusion = cleanToken(primary[1]);\n const superseded = secondary ? [cleanToken(secondary[1])] : [];\n const facts = [{ raw: conclusion, authority: 'primary/current' }];\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: secondary ? [{ preferred: conclusion, superseded: cleanToken(secondary[1]), basis: 'primary/current authority' }] : [], superseded, unresolved: [] },\n 'RECONCILED', 'proven', { authorityRule: 'primary/current over secondary/older' });\n }\n\n const assignments = extractAssignments(text);\n if (assignments.length) {\n const byKey = new Map();\n for (const item of assignments) {\n if (!byKey.has(item.key)) byKey.set(item.key, []);\n byKey.get(item.key).push(item);\n }\n const facts = [];\n const conflicts = [];\n const superseded = [];\n for (const [key, items] of byKey) {\n const latest = items.at(-1);\n facts.push({ key, value: latest.value, raw: latest.raw });\n const unique = [...new Set(items.map(x => x.value))];\n if (unique.length > 1) {\n conflicts.push({ key, values: unique, preferred: latest.value, basis: 'freshest supplied evidence order' });\n superseded.push(...items.slice(0, -1).map(x => `${x.key}=${x.value}`));\n }\n }\n const reconciledConclusion = facts.map(x => `${x.key}=${x.value}`).join('; ');\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion: reconciledConclusion, reconciledConclusion, conflicts, superseded, unresolved: [] },\n conflicts.length ? 'RECONCILED_WITH_CONFLICTS' : 'RECONCILED', conflicts.length ? 'supported' : 'proven',\n { question: asText(question), constraints: asText(constraints), authorityRule: 'freshest same-key assignment within supplied evidence' });\n }\n\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts: [], conclusion: null, reconciledConclusion: null, conflicts: [], superseded: [], unresolved: ['Evidence does not encode an authority-resolvable conclusion'] },\n 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', 'unknown', { question: asText(question), constraints: asText(constraints) });\n}\n\nexport function goalLoopController({ goal, currentState, blockers = '' }) {\n const currentJsonState = jsonInputState(currentState);\n if (currentJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: null, why: 'Invalid or ambiguous JSON current state', stopCondition: 'Provide strict duplicate-free JSON or unambiguous text state', openGates: ['INVALID_JSON_CURRENT_STATE'], jsonError: currentJsonState.error },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown', { blockers: asText(blockers) || 'NONE', strictJsonValid: false });\n }\n const cj = tryJson(currentState);\n if (cj && typeof cj === 'object' && cj.nextAction) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: cj.nextAction, why: cj.why ?? 'Provided by current canonical state', stopCondition: cj.stopCondition ?? 'Observable goal state reached', openGates: cj.openGates ?? [] },\n 'NEXT_ACTION_SELECTED', 'proven', { blockers: asText(blockers) || 'NONE' });\n }\n const s = asText(currentState);\n const pending = s.match(/Acci[oó]n\\s+([A-Za-z0-9_-]+)\\s+es\\s+la\\s+[uú]nica\\s+acci[oó]n\\s+pendiente/i);\n const stop = s.match(/estado\\s+observable\\s+ser[aá]\\s+([A-Za-z0-9_-]+)/i) || s.match(/estado\\s+(?:final\\s+)?(?:ser[aá]|=)\\s*([A-Za-z0-9_-]+)/i);\n const blockerText = asText(blockers);\n const blockerLead = blockerText.split(/[.\\n;]/, 1)[0].trim();\n const hasBlocker = Boolean(blockerText) && !/^(ninguno|none|no blockers?|sin bloqueos?)$/i.test(blockerLead);\n if (hasBlocker) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'CLOSE_BLOCKER', why: asText(blockers), stopCondition: 'Blocker cleared with evidence', openGates: [blockerLead] },\n 'BLOCKED', 'supported', { duplicateAvoidance: true });\n }\n if (pending) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: pending[1], why: `${pending[1]} is the only evidenced pending action; completed actions must not be repeated`, stopCondition: stop ? `STATE=${stop[1]}` : 'Goal state observed', openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n\n const assignments = extractAssignments(s);\n const negative = assignments.find(x => /^(?:FAIL(?:ED|_CLOSED)?|NO_GO|NOT_PROVEN|UNPROVEN|NOT_EXECUTED|PENDING|UNKNOWN)$/i.test(x.value));\n if (negative) {\n const gate = `${negative.key}=${negative.value}`;\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: `CLOSE_GATE: ${gate}`, why: `${gate} is the first evidence-supported open gate`, stopCondition: `Fresh evidence no longer reports ${gate}`, openGates: [gate] },\n 'NEXT_ACTION_SELECTED', 'supported', { duplicateAvoidance: true });\n }\n if (assignments.length) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'VERIFY_TARGET_STATE', why: 'Concrete current-state assignments are present and no open blocker is evidenced; verify the target state before promotion.', stopCondition: `Direct evidence proves the target goal: ${asText(goal)}`, openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: null, why: 'No unique evidence-grounded next action', stopCondition: 'Provide a unique pending gate or blocker', openGates: [] },\n 'FAIL_CLOSED_AMBIGUOUS_NEXT_ACTION', 'unknown', { goal: asText(goal) });\n}\n\nfunction resultCounts(text) {\n return [...asText(text).matchAll(/\\b(\\d+)\\s*\\/\\s*(\\d+)(?:\\s+|_)(PASS|FAIL)\\b/gi)]\n .map(m => ({ passed: Number(m[1]), total: Number(m[2]), status: m[3].toUpperCase() }));\n}\nfunction allObservedCountsPass(text) {\n const counts = resultCounts(text);\n return counts.length > 0 && counts.every(x => x.status === 'PASS' && x.passed === x.total);\n}\n\nexport function executeVerifyClose({ objective, implementation, verification = '' }) {\n const verificationJsonState = jsonInputState(verification);\n if (verificationJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Execute Verify Close', IDS.evc,\n { classification: 'INVALID_JSON_EVIDENCE', complete: false, evidenceSufficient: false, implementationComplete: false, promotionReady: false, externalGateStatusPresent: false, externalGatesClear: false, externalGateStatus: null, openGates: ['INVALID_JSON_EVIDENCE'], requiredEvidence: 'STRICT_DUPLICATE_FREE_JSON_OR_MACHINE_READABLE_TEXT', verificationState: asText(verification), missingEvidence: ['INVALID_JSON_EVIDENCE'], evidenceConflicts: [{ key: 'JSON', values: [verificationJsonState.error], reason: 'INVALID_OR_DUPLICATE_JSON' }], objective: asText(objective) },\n 'INVALID_JSON_EVIDENCE', 'unknown', { targetedTests: false, exactArtifact: false, regressions: false, externalGateStatusPresent: false, noExternalGates: false, conflictFree: false, strictJsonValid: false });\n }\n const v = asText(verification);\n const i = asText(implementation);\n const counts = resultCounts(v);\n\n const targetedState = evidenceCategoryState(v, 'targeted_or_smoke_test_pass');\n const exactState = evidenceCategoryState(v, 'exact_artifact_readback');\n const regressionState = evidenceCategoryState(v, 'regression_evidence');\n const externalCategory = externalGateCategory(v);\n\n const smokePass = /smoke(?:\\s+end-to-end)?\\s*[=:]?\\s*PASS/i.test(v);\n const explicitTestFailure = counts.some(x => x.status === 'FAIL' || x.passed !== x.total)\n || /\\b(?:test|tests|smoke|regresi[oó]n|regression|adversarial|static)[^.;\\n]{0,80}\\bFAIL\\b/i.test(v)\n || /\\b[A-Z][A-Z0-9_-]*\\s*=\\s*(?:FAIL|FAILED|NO_GO|NOT_PROVEN|UNPROVEN)\\b/i.test(v);\n const legacyPositive = !explicitTestFailure && (counts.length ? allObservedCountsPass(v) : smokePass || /(?:TESTS?|ADVERSARIAL|STATIC)\\s*=\\s*PASS/i.test(v));\n const positive = targetedState.present ? targetedState.positive : legacyPositive;\n\n const legacyExactArtifact = /(?:SOURCE_READBACK_SHA|DEPLOY_READBACK|READBACK_SHA)\\s*=\\s*PASS\\b/i.test(v)\n || (/SHA\\s*=\\s*[A-Za-z0-9_-]+/i.test(i + ' ' + v) && /readback[^.;\\n]{0,80}PASS/i.test(v));\n const exactArtifact = exactState.present ? exactState.positive : legacyExactArtifact;\n\n const legacyRegressions = counts.length >= 1 && allObservedCountsPass(v);\n const regressions = regressionState.present ? regressionState.positive : legacyRegressions;\n\n const legacyNoExternal = /(?:EXTERNAL_GATES?|REMOTE_EXTERNAL_GATES?)\\s*=\\s*NONE\\b/i.test(v)\n || /no\\s+hay\\s+gates?\\s+externos?\\s+pendientes?/i.test(v)\n || /external gates?\\s*[:=]\\s*none/i.test(v);\n const externalGateStatusPresent = externalCategory.present || legacyNoExternal;\n const noExternal = externalCategory.present ? externalCategory.clear : legacyNoExternal;\n const evidenceConflicts = [];\n","/**\n * RUMBO Agent Reliability semantic hardening core v1.3.12\n * Dependency-free, deterministic, fail-closed.\n * Designed to sit behind the existing MCP tool names without changing their input schemas.\n */\n\nconst IDS = Object.freeze({\n csr: 'RUMBO-CSR-V1.3.12',\n drr: 'RUMBO-DRR-V1.3.12',\n glc: 'RUMBO-GLC-V1.3.12',\n evc: 'RUMBO-EVC-V1.3.12',\n afs: 'RUMBO-AFS-V1.3.12',\n});\n\nfunction asText(v) { return typeof v === 'string' ? v.trim() : ''; }\n\nfunction strictJsonParse(text) {\n const s = String(text ?? '').trim();\n let i = 0;\n const fail = (code) => { throw new Error(code); };\n const ws = () => { while (i < s.length && /\\s/.test(s[i])) i += 1; };\n\n const parseStringToken = () => {\n if (s[i] !== '\"') fail('INVALID_JSON_STRING');\n const start = i;\n i += 1;\n while (i < s.length) {\n const ch = s[i];\n if (ch === '\"') {\n i += 1;\n try { return JSON.parse(s.slice(start, i)); } catch { fail('INVALID_JSON_STRING'); }\n }\n if (ch === '\\\\') {\n if (i + 1 >= s.length) fail('INVALID_JSON_ESCAPE');\n if (s[i + 1] === 'u') {\n if (!/^[0-9A-Fa-f]{4}$/.test(s.slice(i + 2, i + 6))) fail('INVALID_JSON_UNICODE_ESCAPE');\n i += 6;\n } else {\n if (!/[\"\\\\/bfnrt]/.test(s[i + 1])) fail('INVALID_JSON_ESCAPE');\n i += 2;\n }\n continue;\n }\n if (ch.charCodeAt(0) < 0x20) fail('INVALID_JSON_CONTROL_CHAR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_STRING');\n };\n\n const parseValue = () => {\n ws();\n if (i >= s.length) fail('UNEXPECTED_JSON_EOF');\n if (s[i] === '{') return parseObject();\n if (s[i] === '[') return parseArray();\n if (s[i] === '\"') { parseStringToken(); return; }\n const start = i;\n while (i < s.length && !/[\\s,\\]}]/.test(s[i])) i += 1;\n const token = s.slice(start, i);\n if (!token) fail('INVALID_JSON_VALUE');\n try { JSON.parse(token); } catch { fail('INVALID_JSON_VALUE'); }\n };\n\n const parseObject = () => {\n i += 1;\n ws();\n const seen = new Set();\n if (s[i] === '}') { i += 1; return; }\n while (i < s.length) {\n ws();\n const key = parseStringToken();\n if (seen.has(key)) fail(`DUPLICATE_JSON_KEY:${key}`);\n seen.add(key);\n ws();\n if (s[i] !== ':') fail('INVALID_JSON_OBJECT_COLON');\n i += 1;\n parseValue();\n ws();\n if (s[i] === '}') { i += 1; return; }\n if (s[i] !== ',') fail('INVALID_JSON_OBJECT_SEPARATOR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_OBJECT');\n };\n\n const parseArray = () => {\n i += 1;\n ws();\n if (s[i] === ']') { i += 1; return; }\n while (i < s.length) {\n parseValue();\n ws();\n if (s[i] === ']') { i += 1; return; }\n if (s[i] !== ',') fail('INVALID_JSON_ARRAY_SEPARATOR');\n i += 1;\n }\n fail('UNTERMINATED_JSON_ARRAY');\n };\n\n parseValue();\n ws();\n if (i !== s.length) fail('TRAILING_JSON_DATA');\n return JSON.parse(s);\n}\n\nfunction jsonInputState(v) {\n if (v && typeof v === 'object') return { kind: 'VALID', value: v, error: null };\n if (typeof v !== 'string') return { kind: 'NOT_JSON', value: null, error: null };\n const s = v.trim();\n if (!s || !['{', '['].includes(s[0])) return { kind: 'NOT_JSON', value: null, error: null };\n try { return { kind: 'VALID', value: strictJsonParse(s), error: null }; }\n catch (err) { return { kind: 'INVALID', value: null, error: String(err?.message || 'INVALID_JSON') }; }\n}\n\nfunction tryJson(v) {\n const state = jsonInputState(v);\n return state.kind === 'VALID' ? state.value : null;\n}\n\nfunction cleanToken(v) {\n return String(v ?? '').trim().replace(/[.;,!?:]+$/g, '').trim();\n}\n\nfunction extractAssignments(text) {\n const out = [];\n const re = /\\b([A-Za-zÁÉÍÓÚÜÑáéíóúüñ_][\\wÁÉÍÓÚÜÑáéíóúüñ-]*)\\s*=\\s*([^\\s,;]+)/g;\n for (const m of asText(text).matchAll(re)) out.push({ key: m[1], value: cleanToken(m[2]), raw: m[0] });\n return out;\n}\n\nfunction flattenJsonScalarAssignments(value, prefix = '') {\n const out = [];\n if (value === null || typeof value !== 'object') {\n if (prefix) out.push({ key: prefix, value: cleanToken(value), raw: `${prefix}=${String(value)}` });\n return out;\n }\n if (Array.isArray(value)) {\n value.forEach((item, index) => out.push(...flattenJsonScalarAssignments(item, prefix ? `${prefix}[${index}]` : `[${index}]`)));\n return out;\n }\n for (const [key, item] of Object.entries(value)) {\n const path = prefix ? `${prefix}.${key}` : key;\n out.push(...flattenJsonScalarAssignments(item, path));\n }\n return out;\n}\n\nfunction semanticAssignments(text) {\n const state = jsonInputState(text);\n if (state.kind === 'VALID') return flattenJsonScalarAssignments(state.value);\n return extractAssignments(text);\n}\n\nfunction lastAssignment(text, preferredKey) {\n const a = extractAssignments(text).filter(x => !preferredKey || x.key === preferredKey);\n return a.length ? a[a.length - 1] : null;\n}\n\nconst NEGATIVE_SCOPE_RE = /\\b(?:SUPERSEDED|HISTORICAL|ARCHIVED|REJECTED|NO_AUTHORITY|SUPERSEDIDO|HIST[OÓ]RICO|ARCHIVADO|RECHAZADO)\\b/i;\nconst SELECTED_SCOPE_RE = /\\b(?:SELECTED|CANONICAL_SELECTED|SELECCIONADO|CANDIDATO_SELECCIONADO)\\b/i;\n\nfunction scopedAssignments(text) {\n const input = asText(text);\n const out = [];\n const re = /\\b([A-Za-zÁÉÍÓÚÜÑáéíóúüñ_][\\wÁÉÍÓÚÜÑáéíóúüñ-]*)\\s*=\\s*([^\\s,;]+)/g;\n for (const m of input.matchAll(re)) {\n const left = input.slice(Math.max(0, m.index - 120), m.index);\n const segment = left.split(/[;\\n.]/).at(-1) ?? left;\n out.push({\n key: m[1],\n value: cleanToken(m[2]),\n raw: m[0],\n selected: SELECTED_SCOPE_RE.test(segment),\n excluded: NEGATIVE_SCOPE_RE.test(segment),\n });\n }\n return out;\n}\n\nconst POSITIVE_EVIDENCE_STATUS = /^(?:PASS|TRUE|OK|VERIFIED)$/i;\nconst NEGATIVE_EVIDENCE_STATUS = /^(?:FAIL|FAILED|FALSE|UNVERIFIED|NO_GO|NOT_PROVEN|UNPROVEN)$/i;\n\nfunction evidenceCategoryState(text, key) {\n const input = asText(text);\n const re = new RegExp(`\\\\b${key}\\\\s*=\\\\s*([^\\\\s,;]+)`, 'ig');\n const rawValues = [...input.matchAll(re)].map(m => cleanToken(m[1]));\n if (!rawValues.length) return { present: false, positive: false, conflict: false, invalid: false, values: [] };\n\n const semantic = rawValues.map(v => {\n if (POSITIVE_EVIDENCE_STATUS.test(v)) return 'POSITIVE';\n if (NEGATIVE_EVIDENCE_STATUS.test(v)) return 'NEGATIVE';\n return 'INVALID';\n });\n const distinct = [...new Set(semantic)];\n const invalid = distinct.includes('INVALID');\n const conflict = distinct.includes('POSITIVE') && distinct.includes('NEGATIVE');\n const positive = !invalid && !conflict && distinct.length === 1 && distinct[0] === 'POSITIVE';\n return { present: true, positive, conflict, invalid, values: rawValues };\n}\n\nfunction externalGateCategory(text) {\n const input = asText(text);\n const re = /\\bexternal_gate_status\\s*=\\s*([^;\\n]+)/ig;\n const values = [...input.matchAll(re)].map(m => cleanToken(m[1])).filter(Boolean);\n if (!values.length) return { present: false, clear: false, conflict: false, values: [], value: null };\n\n const states = values.map(value => /^(?:NONE|CLEAR|PASS|NO_EXTERNAL_GATES?|NO_EXTERNAL_GATES_PENDING)$/i.test(value) ? 'CLEAR' : 'OPEN');\n const distinct = [...new Set(states)];\n const conflict = distinct.length > 1;\n const clear = !conflict && distinct.length === 1 && distinct[0] === 'CLEAR';\n return { present: true, clear, conflict, values, value: values.at(-1) ?? null };\n}\n\nfunction extractTarget(goal) {\n const json = tryJson(goal);\n if (json && typeof json === 'object') {\n if (json.target != null) return json.target;\n if (json.TARGET != null) return json.TARGET;\n }\n const t = asText(goal);\n const marker = t.match(/\\bTARGET(?:\\s+expl[ií]cito)?\\s*:\\s*([^\\n]+)/i);\n const fromMarker = marker ? lastAssignment(marker[1]) : null;\n if (fromMarker) return { [fromMarker.key]: fromMarker.value };\n const any = lastAssignment(t);\n return any ? { [any.key]: any.value } : null;\n}\n\nfunction currentFromEvidence(evidence, priorState, preferredKey = '') {\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const selected = ej.selected ?? ej.SELECTED ?? ej.canonicalSelected ?? ej.canonical_selected ?? null;\n if (selected != null) {\n if (preferredKey && selected && typeof selected === 'object' && !Array.isArray(selected) && Object.hasOwn(selected, preferredKey)) {\n return { [preferredKey]: cleanToken(selected[preferredKey]) };\n }\n if (selected && typeof selected === 'object' && !Array.isArray(selected)) return selected;\n }\n const direct = ej.current ?? ej.CURRENT ?? ej.state ?? null;\n if (direct != null) {\n if (preferredKey && direct && typeof direct === 'object' && !Array.isArray(direct) && Object.hasOwn(direct, preferredKey)) {\n return { [preferredKey]: cleanToken(direct[preferredKey]) };\n }\n return direct;\n }\n }\n\n const text = asText(evidence);\n const scoped = scopedAssignments(text);\n const selectedScoped = scoped.filter(x => x.selected && !x.excluded && (!preferredKey || x.key === preferredKey));\n if (selectedScoped.length) {\n const selected = selectedScoped.at(-1);\n return { [selected.key]: selected.value };\n }\n\n const primary = text.match(/(?:EVIDENCIA\\s+PRIMARIA\\s+ACTUAL|CURRENT|ESTADO\\s+ACTUAL)\\s*:\\s*([^\\n.]+)/i);\n if (primary) {\n const primaryAssignments = scopedAssignments(primary[1]).filter(x => !x.excluded);\n const selected = preferredKey\n ? primaryAssignments.filter(x => x.key === preferredKey).at(-1)\n : primaryAssignments.at(-1);\n if (selected) return { [selected.key]: selected.value };\n }\n\n const evidenceAssignments = scoped.filter(x => !x.excluded);\n if (preferredKey) {\n const preferred = evidenceAssignments.filter(x => x.key === preferredKey).at(-1);\n if (preferred) return { [preferred.key]: preferred.value };\n }\n\n const priorAssignment = lastAssignment(priorState);\n if (priorAssignment) {\n const sameKeyCurrent = evidenceAssignments.filter(x => x.key === priorAssignment.key).at(-1);\n if (sameKeyCurrent) return { [sameKeyCurrent.key]: sameKeyCurrent.value };\n }\n\n // Unscoped current evidence outranks priorState. Explicitly historical/superseded\n // assignments are excluded before freshness selection.\n const freshestEvidence = evidenceAssignments.at(-1);\n if (freshestEvidence) return { [freshestEvidence.key]: freshestEvidence.value };\n\n if (priorAssignment) return { [priorAssignment.key]: priorAssignment.value };\n return null;\n}\n\nfunction equals(a, b) { return JSON.stringify(a) === JSON.stringify(b); }\n\nfunction resultEnvelope(capability, id, result, classification, confidence, evidenceGrounding) {\n // Keep the structured `result` while mirroring result fields at top level for\n // backward compatibility with the live V1.2 response shape.\n return { capability, id, ...result, result, classification, confidence, evidenceGrounding };\n}\n\nexport function canonicalStateRecovery({ goal, evidence, priorState = '' }) {\n const goalJsonState = jsonInputState(goal);\n const evidenceJsonState = jsonInputState(evidence);\n const invalidJson = [\n ...(goalJsonState.kind === 'INVALID' ? [{ field: 'goal', error: goalJsonState.error }] : []),\n ...(evidenceJsonState.kind === 'INVALID' ? [{ field: 'evidence', error: evidenceJsonState.error }] : []),\n ];\n if (invalidJson.length) {\n return resultEnvelope('RUMBO Canonical State Recovery', IDS.csr,\n { current: null, target: null, currentRecovered: false, targetSpecified: false, targetReached: false, nextGate: 'INVALID_JSON_INPUT', jsonErrors: invalidJson },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown',\n { usedPriorState: Boolean(asText(priorState)), evidencePresent: Boolean(asText(evidence)), precedence: 'STRICT_JSON_BEFORE_SEMANTIC_RECOVERY', terminalPunctuationNormalized: true, selectedMarkerUsed: false, suppressedHistoricalAssignments: 0, strictJsonValid: false });\n }\n const target = extractTarget(goal);\n const targetKey = target && typeof target === 'object' && !Array.isArray(target) ? Object.keys(target)[0] : '';\n const current = currentFromEvidence(evidence, priorState, targetKey);\n const ej = tryJson(evidence);\n let nextGate = null;\n if (ej && typeof ej === 'object' && ej.nextGate) nextGate = ej.nextGate;\n if (!nextGate) {\n const text = asText(evidence);\n const explicit = text.match(/(?:[uú]nica|unica)\\s+transici[oó]n\\s+v[aá]lida(?:\\s+disponible)?\\s+(?:es|:)\\s*([A-Z][A-Z0-9_-]*)/)\n || text.match(/next(?:Gate|\\s+gate|\\s+transition)\\s*[:=]\\s*([A-Za-z0-9_-]+)/i);\n if (explicit) nextGate = explicit[1];\n }\n if (!nextGate && current && target && !equals(current, target)) {\n const ck = Object.keys(current)[0];\n const tk = Object.keys(target)[0];\n nextGate = ck && tk && ck === tk\n ? `TRANSITION ${ck}=${current[ck]} -> ${tk}=${target[tk]}`\n : 'APPLY_SINGLE_VALID_TRANSITION';\n }\n if (current && target && equals(current, target)) nextGate = 'NONE';\n const currentRecovered = Boolean(current);\n const targetSpecified = Boolean(target);\n const targetReached = Boolean(current && target && equals(current, target));\n const confidence = currentRecovered ? 'proven' : 'unknown';\n const classification = !currentRecovered\n ? 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE'\n : targetSpecified\n ? 'RESOLVED'\n : 'CURRENT_RECOVERED_TARGET_UNSPECIFIED';\n const scoped = scopedAssignments(asText(evidence));\n const jsonEvidence = tryJson(evidence);\n const selectedMarkerUsed = scoped.some(x => x.selected && !x.excluded)\n || Boolean(jsonEvidence && typeof jsonEvidence === 'object' && (jsonEvidence.selected ?? jsonEvidence.SELECTED ?? jsonEvidence.canonicalSelected ?? jsonEvidence.canonical_selected));\n const suppressedHistoricalAssignments = scoped.filter(x => x.excluded).length;\n return resultEnvelope(\n 'RUMBO Canonical State Recovery', IDS.csr,\n { current, target, currentRecovered, targetSpecified, targetReached, nextGate: nextGate ?? 'EVIDENCE_REQUIRED' },\n classification, confidence,\n { usedPriorState: Boolean(asText(priorState)), evidencePresent: Boolean(asText(evidence)), precedence: 'SELECTED_THEN_CURRENT_EVIDENCE_THEN_PRIOR_STATE', terminalPunctuationNormalized: true, selectedMarkerUsed, suppressedHistoricalAssignments }\n );\n}\n\nexport function deepResearchReconcile({ question, evidence, constraints = '' }) {\n const evidenceJsonState = jsonInputState(evidence);\n if (evidenceJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts: [], conclusion: null, reconciledConclusion: null, conflicts: [{ key: 'JSON', values: [evidenceJsonState.error], basis: 'STRICT_JSON_REQUIRED' }], superseded: [], unresolved: ['INVALID_JSON_EVIDENCE'] },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown', { question: asText(question), constraints: asText(constraints), strictJsonValid: false });\n }\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const facts = Array.isArray(ej.facts) ? ej.facts : [];\n const conclusion = ej.reconciledConclusion ?? ej.conclusion ?? ej.current ?? ej.resolution ?? null;\n const unresolved = Array.isArray(ej.unresolved) ? ej.unresolved : (conclusion ? [] : ['No explicit resolution in evidence JSON']);\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: ej.conflicts ?? [], superseded: ej.superseded ?? [], unresolved },\n conclusion ? 'RECONCILED' : 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', conclusion ? 'proven' : 'unknown',\n { question: asText(question), constraints: asText(constraints) });\n }\n\n const text = asText(evidence);\n const primary = text.match(/Fuente\\s+primaria\\s+actual\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n const secondary = text.match(/Fuente\\s+secundaria\\s+antigua\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n if (primary) {\n const conclusion = cleanToken(primary[1]);\n const superseded = secondary ? [cleanToken(secondary[1])] : [];\n const facts = [{ raw: conclusion, authority: 'primary/current' }];\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: secondary ? [{ preferred: conclusion, superseded: cleanToken(secondary[1]), basis: 'primary/current authority' }] : [], superseded, unresolved: [] },\n 'RECONCILED', 'proven', { authorityRule: 'primary/current over secondary/older' });\n }\n\n const assignments = extractAssignments(text);\n if (assignments.length) {\n const byKey = new Map();\n for (const item of assignments) {\n if (!byKey.has(item.key)) byKey.set(item.key, []);\n byKey.get(item.key).push(item);\n }\n const facts = [];\n const conflicts = [];\n const superseded = [];\n for (const [key, items] of byKey) {\n const latest = items.at(-1);\n facts.push({ key, value: latest.value, raw: latest.raw });\n const unique = [...new Set(items.map(x => x.value))];\n if (unique.length > 1) {\n conflicts.push({ key, values: unique, preferred: latest.value, basis: 'freshest supplied evidence order' });\n superseded.push(...items.slice(0, -1).map(x => `${x.key}=${x.value}`));\n }\n }\n const reconciledConclusion = facts.map(x => `${x.key}=${x.value}`).join('; ');\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion: reconciledConclusion, reconciledConclusion, conflicts, superseded, unresolved: [] },\n conflicts.length ? 'RECONCILED_WITH_CONFLICTS' : 'RECONCILED', conflicts.length ? 'supported' : 'proven',\n { question: asText(question), constraints: asText(constraints), authorityRule: 'freshest same-key assignment within supplied evidence' });\n }\n\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts: [], conclusion: null, reconciledConclusion: null, conflicts: [], superseded: [], unresolved: ['Evidence does not encode an authority-resolvable conclusion'] },\n 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', 'unknown', { question: asText(question), constraints: asText(constraints) });\n}\n\nexport function goalLoopController({ goal, currentState, blockers = '' }) {\n const currentJsonState = jsonInputState(currentState);\n if (currentJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: null, why: 'Invalid or ambiguous JSON current state', stopCondition: 'Provide strict duplicate-free JSON or unambiguous text state', openGates: ['INVALID_JSON_CURRENT_STATE'], jsonError: currentJsonState.error },\n 'FAIL_CLOSED_INVALID_JSON', 'unknown', { blockers: asText(blockers) || 'NONE', strictJsonValid: false });\n }\n const cj = tryJson(currentState);\n if (cj && typeof cj === 'object' && cj.nextAction) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: cj.nextAction, why: cj.why ?? 'Provided by current canonical state', stopCondition: cj.stopCondition ?? 'Observable goal state reached', openGates: cj.openGates ?? [] },\n 'NEXT_ACTION_SELECTED', 'proven', { blockers: asText(blockers) || 'NONE' });\n }\n const s = asText(currentState);\n const pending = s.match(/Acci[oó]n\\s+([A-Za-z0-9_-]+)\\s+es\\s+la\\s+[uú]nica\\s+acci[oó]n\\s+pendiente/i);\n const stop = s.match(/estado\\s+observable\\s+ser[aá]\\s+([A-Za-z0-9_-]+)/i) || s.match(/estado\\s+(?:final\\s+)?(?:ser[aá]|=)\\s*([A-Za-z0-9_-]+)/i);\n const blockerText = asText(blockers);\n const blockerLead = blockerText.split(/[.\\n;]/, 1)[0].trim();\n const hasBlocker = Boolean(blockerText) && !/^(ninguno|none|no blockers?|sin bloqueos?)$/i.test(blockerLead);\n if (hasBlocker) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'CLOSE_BLOCKER', why: asText(blockers), stopCondition: 'Blocker cleared with evidence', openGates: [blockerLead] },\n 'BLOCKED', 'supported', { duplicateAvoidance: true });\n }\n if (pending) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: pending[1], why: `${pending[1]} is the only evidenced pending action; completed actions must not be repeated`, stopCondition: stop ? `STATE=${stop[1]}` : 'Goal state observed', openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n\n const assignments = extractAssignments(s);\n const negative = assignments.find(x => /^(?:FAIL(?:ED|_CLOSED)?|NO_GO|NOT_PROVEN|UNPROVEN|NOT_EXECUTED|PENDING|UNKNOWN)$/i.test(x.value));\n if (negative) {\n const gate = `${negative.key}=${negative.value}`;\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: `CLOSE_GATE: ${gate}`, why: `${gate} is the first evidence-supported open gate`, stopCondition: `Fresh evidence no longer reports ${gate}`, openGates: [gate] },\n 'NEXT_ACTION_SELECTED', 'supported', { duplicateAvoidance: true });\n }\n if (assignments.length) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'VERIFY_TARGET_STATE', why: 'Concrete current-state assignments are present and no open blocker is evidenced; verify the target state before promotion.', stopCondition: `Direct evidence proves the target goal: ${asText(goal)}`, openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: null, why: 'No unique evidence-grounded next action', stopCondition: 'Provide a unique pending gate or blocker', openGates: [] },\n 'FAIL_CLOSED_AMBIGUOUS_NEXT_ACTION', 'unknown', { goal: asText(goal) });\n}\n\nfunction resultCounts(text) {\n return [...asText(text).matchAll(/\\b(\\d+)\\s*\\/\\s*(\\d+)(?:\\s+|_)(PASS|FAIL)\\b/gi)]\n .map(m => ({ passed: Number(m[1]), total: Number(m[2]), status: m[3].toUpperCase() }));\n}\nfunction allObservedCountsPass(text) {\n const counts = resultCounts(text);\n return counts.length > 0 && counts.every(x => x.status === 'PASS' && x.passed === x.total);\n}\n\nexport function executeVerifyClose({ objective, implementation, verification = '' }) {\n const verificationJsonState = jsonInputState(verification);\n if (verificationJsonState.kind === 'INVALID') {\n return resultEnvelope('RUMBO Execute Verify Close', IDS.evc,\n { classification: 'INVALID_JSON_EVIDENCE', complete: false, evidenceSufficient: false, implementationComplete: false, promotionReady: false, externalGateStatusPresent: false, externalGatesClear: false, externalGateStatus: null, openGates: ['INVALID_JSON_EVIDENCE'], requiredEvidence: 'STRICT_DUPLICATE_FREE_JSON_OR_MACHINE_READABLE_TEXT', verificationState: asText(verification), missingEvidence: ['INVALID_JSON_EVIDENCE'], evidenceConflicts: [{ key: 'JSON', values: [verificationJsonState.error], reason: 'INVALID_OR_DUPLICATE_JSON' }], objective: asText(objective) },\n 'INVALID_JSON_EVIDENCE', 'unknown', { targetedTests: false, exactArtifact: false, regressions: false, externalGateStatusPresent: false, noExternalGates: false, conflictFree: false, strictJsonValid: false });\n }\n const v = asText(verification);\n const i = asText(implementation);\n const counts = resultCounts(v);\n\n const targetedState = evidenceCategoryState(v, 'targeted_or_smoke_test_pass');\n const exactState = evidenceCategoryState(v, 'exact_artifact_readback');\n const regressionState = evidenceCategoryState(v, 'regression_evidence');\n const externalCategory = externalGateCategory(v);\n\n const smokePass = /smoke(?:\\s+end-to-end)?\\s*[=:]?\\s*PASS/i.test(v);\n const explicitTestFailure = counts.some(x => x.status === 'FAIL' || x.passed !== x.total)\n || /\\b(?:test|tests|smoke|regresi[oó]n|regression|adversarial|static)[^.;\\n]{0,80}\\bFAIL\\b/i.test(v)\n || /\\b[A-Z][A-Z0-9_-]*\\s*=\\s*(?:FAIL|FAILED|NO_GO|NOT_PROVEN|UNPROVEN)\\b/i.test(v);\n const legacyPositive = !explicitTestFailure && (counts.length ? allObservedCountsPass(v) : smokePass || /(?:TESTS?|ADVERSARIAL|STATIC)\\s*=\\s*PASS/i.test(v));\n const positive = targetedState.present ? targetedState.positive : legacyPositive;\n\n const legacyExactArtifact = /(?:SOURCE_READBACK_SHA|DEPLOY_READBACK|READBACK_SHA)\\s*=\\s*PASS\\b/i.test(v)\n || (/SHA\\s*=\\s*[A-Za-z0-9_-]+/i.test(i + ' ' + v) && /readback[^.;\\n]{0,80}PASS/i.test(v));\n const exactArtifact = exactState.present ? exactState.positive : legacyExactArtifact;\n\n const legacyRegressions = counts.length >= 1 && allObservedCountsPass(v);\n const regressions = regressionState.present ? regressionState.positive : legacyRegressions;\n\n const legacyNoExternal = /(?:EXTERNAL_GATES?|REMOTE_EXTERNAL_GATES?)\\s*=\\s*NONE\\b/i.test(v)\n || /no\\s+hay\\s+gates?\\s+externos?\\s+pendientes?/i.test(v)\n || /external gates?\\s*[:=]\\s*none/i.test(v);\n const externalGateStatusPresent = externalCategory.present || legacyNoExternal;\n const noExternal = externalCategory.present ? externalCategory.clear : legacyNoExternal;\n const evidenceConflicts = [];\n if (targetedState.conflict || targetedState.invalid) evidenceConflicts.push({ key: 'targeted_or_smoke_test_pass', values: targetedState.values, reason: targetedState.conflict ? 'CONFLICTING_VALUES' : 'INVALID_VALUE' });\n if (exactState.conflict || exactState.invalid) evidenceConflicts.push({ key: 'exact_artifact_readback', values: exactState.values, reason: exactState.conflict ? 'CONFLICTING_VALUES' : 'INVALID_VALUE' });\n if (regressionState.conflict || regressionState.invalid) evidenceConflicts.push({ key: 'regression_evidence', values: regressionState.values, reason: regressionState.conflict ? 'CONFLICTING_VALUES' : 'INVALID_VALUE' });\n if (externalCategory.conflict) evidenceConflicts.push({ key: 'external_gate_status', values: externalCategory.values, reason: 'CONFLICTING_VALUES' });\n\n const missing = [];\n if (!positive) missing.push('targeted_or_smoke_test_pass');\n if (!exactArtifact) missing.push('exact_artifact_readback');\n if (!regressions) missing.push('regression_evidence');\n if (!externalGateStatusPresent) missing.push('external_gate_status');\n\n const conflictFree = evidenceConflicts.length === 0;\n const evidenceSufficient = missing.length === 0 && conflictFree;\n const implementationComplete = positive && exactArtifact && regressions && conflictFree;\n const promotionReady = evidenceSufficient && noExternal;\n const complete = promotionReady;\n const classification = evidenceConflicts.length\n ? 'CONFLICTING_EVIDENCE'\n : promotionReady\n ? 'RESUELTO_CON_EVIDENCIA'\n : evidenceSufficient\n ? 'VERIFICADO_GATE_EXTERNO_ABIERTO'\n : 'EJECUCION_SIN_EVIDENCIA';\n const openGates = evidenceConflicts.length\n ? ['EVIDENCE_CONFLICT']\n : missing.length ? [...missing] : (noExternal ? [] : ['EXTERNAL_GATE_OPEN']);\n\n return resultEnvelope('RUMBO Execute Verify Close', IDS.evc,\n {\n classification,\n complete,\n evidenceSufficient,\n implementationComplete,\n promotionReady,\n externalGateStatusPresent,\n externalGatesClear: noExternal,\n externalGateStatus: externalCategory.value,\n openGates,\n requiredEvidence: missing.length ? missing.join('; ') : 'NONE',\n verificationState: v,\n missingEvidence: missing,\n evidenceConflicts,\n objective: asText(objective),\n },\n classification, evidenceSufficient ? 'proven' : 'unknown',\n { targetedTests: positive, exactArtifact, regressions, externalGateStatusPresent, noExternalGates: noExternal, conflictFree });\n}\n\nconst NEGATIVE_STATUS_TOKEN_RE = /\\b(?:FAIL(?:ED|_CLOSED)?|NO_GO|NOT_PROVEN|UNPROVEN|NOT_EXECUTED|NOT_DEPLOYED|NOT_AUTHORIZED|NOT_EVALUATED|BLOCKED|PENDING|UNKNOWN|DENIED|REJECTED|NO_AUTHORITY|FALSE)\\b/ig;\n\nfunction explicitNegativeStatusTokens(text) {\n return [...new Set([...asText(text).matchAll(NEGATIVE_STATUS_TOKEN_RE)].map(m => m[0].toUpperCase()))];\n}\n\nfunction normalizedAssignmentValue(v) {\n return cleanToken(v).toUpperCase();\n}\n\nfunction distinctAssignmentValues(assignments, key) {\n return [...new Set(assignments\n .filter(x => x.key.toUpperCase() === key.toUpperCase())\n .map(x => normalizedAssignmentValue(x.value)))];\n}\n\nfunction negativeEvidenceAssignments(assignments) {\n const negative = /^(?:FAIL|FAILED|FAIL_CLOSED|NO_GO|NOT_PROVEN|UNPROVEN|NOT_EXECUTED|NOT_DEPLOYED|BLOCKED|PENDING|UNKNOWN|DENIED|REJECTED|NO_AUTHORITY|FALSE)$/i;\n return assignments.filter(x => negative.test(normalizedAssignmentValue(x.value)));\n}\n\nfunction assignmentConflicts(assignments) {\n const grouped = new Map();\n for (const item of assignments) {\n const key = item.key.toUpperCase();\n if (!grouped.has(key)) grouped.set(key, { key: item.key, values: [] });\n grouped.get(key).values.push(item.value);\n }\n const conflicts = [];\n for (const entry of grouped.values()) {\n const distinct = [...new Set(entry.values.map(normalizedAssignmentValue))];\n if (distinct.length > 1) conflicts.push({ key: entry.key, values: entry.values, reason: 'CONFLICTING_VALUES' });\n }\n return conflicts;\n}\n\nfunction conditionalGateRequirements(gates) {\n const g = asText(gates);\n const marker = g.match(/PASS\\s+(?:only if|[uú]nicamente\\s+si)\\s+(.+)/i);\n return marker ? extractAssignments(marker[1]) : [];\n}\n\nconst POSITIVE_STATUS_VALUE_RE = /^(?:PASS|PROVEN|VERIFIED|OK|TRUE|EXECUTED|DEPLOYED|AUTHORIZED|COMPLETE|COMPLETED)$/i;\nconst NEGATED_POSITIVE_RE = /(?:\\b(?:NO|NOT|DID\\s+NOT|DIDN['’]?T|FAILED\\s+TO|FAILURE\\s+TO|UNABLE\\s+TO|WITHOUT)\\b[^.;\\n]{0,64}\\b(?:PASS|PROVEN|VERIFIED|OK|EXECUTED|DEPLOYED|AUTHORIZED|SUCCEED(?:ED)?)\\b|\\b(?:PASS|PROVEN|VERIFIED|OK|EXECUTED|DEPLOYED|AUTHORIZED|SUCCEED(?:ED)?)\\b[^.;\\n]{0,64}\\b(?:NOT\\s+ACHIEVED|NOT\\s+PROVEN|NOT\\s+VERIFIED|FAILED|FALSE)\\b)/i;\n\nfunction claimStructureAssessment(text) {\n const input = asText(text);\n const state = jsonInputState(input);\n if (!input) return { structured: false, kind: 'EMPTY', residual: input };\n if (state.kind === 'INVALID') return { structured: false, kind: 'INVALID_JSON', residual: input };\n if (state.kind === 'VALID') {\n const assignments = flattenJsonScalarAssignments(state.value);\n","createdAt",["D",1788718508017],"branchVersion","branchId","199719c3-1db1-4db6-96a7-2c5ff249e725","id","1991cca8-bf13-4945-bf68-f1df4a1a5770","rumbo-agent-reliability-mcp",["D",1788582330391],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","RUMBO agent reliability MCP tools","imageUrl","d3788f19-13c5-4356-87e8-dce639626bb9","pinnedFileId","01a06fd0-810d-7419-8d90-6ae071d33f35","pinPreview","pinMigrated","screenshotVersion","likeCount",0,"orgId","01a04116-f28c-754c-9173-77bf5814fcd6","tursoName","tursoHostname","tursoMeasuredAt","pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_98":97,"_106":102},"org",{"_98":97,"_99":100,"_101":102,"_18":55,"_103":104,"_105":27},"branch",{"_13":85,"_33":86,"_43":42,"_87":44,"_88":89,"_90":91,"_92":50,"_93":44,"_94":64,"_95":45,"_96":97},"isOwned",19,"deploy-v1-3-12-20260906","projectId","forkedBranchId","ebecba93-11f3-4e98-9277-46a8ff8ddda6","forkedBranchVersion",13,"forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","sebas1","handle","displayName","sebas","avatar","https://lh3.googleusercontent.com/a/ACg8ocJaC6uiXPmN9dvgA2XcSlzBSkPJO0GN5zKzPm3a8cbjmXC9HYA=s96-c","tier","free","canRestrictVals","profileImageUrl","branchName","","adoptOrgId",{"_43":44,"_33":45,"_38":196,"_47":-5,"_48":27,"_49":50,"_51":50,"_52":53,"_54":-5,"_18":55,"_56":57,"_58":27,"_59":-5,"_60":-5,"_61":62,"_63":64,"_65":-5,"_66":-5,"_67":-5,"_68":-5,"_69":70,"_71":70,"_72":73,"_74":73,"_75":73,"_76":70,"_77":70,"_78":197,"_80":198,"_82":199,"_84":27},"tree",[179,180,181,182],"files",[179,180,181,182],"counts",{"_168":62,"_169":170,"_171":62,"_172":173,"_174":175},"contents",[137,138,139,140],"upstreamProject","upstreamBranch",{"_43":89,"_38":130,"_131":132,"_33":133,"_87":44,"_13":134,"_88":-5,"_90":-5,"_135":136,"_47":-5,"_84":27,"_49":50,"_96":97,"_63":64,"_95":45},"emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},["D",1788582330391],"updatedAt",["D",1789289681119],"main",15,"lockfileKey","1789289681251-esm.town_v_sebas1_rumbo-agent-reliability-mcp@15-main",{"_43":162,"_33":163,"_31":164,"_144":-5,"_41":42,"_40":145,"_146":25,"_38":165,"_13":62,"_34":20,"_35":166,"_24":27,"_149":-5,"_28":167},{"_43":155,"_33":156,"_31":157,"_144":-5,"_41":42,"_40":145,"_146":27,"_38":158,"_13":62,"_34":159,"_35":160,"_24":27,"_149":-5,"_28":161},{"_43":151,"_33":29,"_31":32,"_144":-5,"_41":42,"_40":14,"_146":27,"_38":152,"_13":153,"_34":20,"_35":37,"_24":27,"_149":-5,"_28":154},{"_43":141,"_33":142,"_31":143,"_144":-5,"_41":42,"_40":145,"_146":27,"_38":147,"_13":62,"_34":20,"_35":148,"_24":27,"_149":-5,"_28":150},"5cb31c8c-e270-42fe-bbb7-7ff9a88d3ad3","rumbo-semantic-core.mjs","01a077e8-1ca8-762f-9855-707110e6599f","parentId",1,"latest",["D",1788718095532],"/**\n * RUMBO Agent Reliability semantic hardening core v1.3.2\n * Dependency-free, deterministic, fail-closed.\n * Designed to sit behind the existing MCP tool names without changing their input schemas.\n */\n\nconst IDS = Object.freeze({\n csr: 'RUMBO-CSR-V1.3.2',\n drr: 'RUMBO-DRR-V1.3.2',\n glc: 'RUMBO-GLC-V1.3.2',\n evc: 'RUMBO-EVC-V1.3.2',\n afs: 'RUMBO-AFS-V1.3.2',\n});\n\nfunction asText(v) { return typeof v === 'string' ? v.trim() : ''; }\n\nfunction tryJson(v) {\n if (typeof v !== 'string') return v && typeof v === 'object' ? v : null;\n const s = v.trim();\n if (!s || !['{', '['].includes(s[0])) return null;\n try { return JSON.parse(s); } catch { return null; }\n}\n\nfunction cleanToken(v) {\n return String(v ?? '').trim().replace(/[.;,!?:]+$/g, '').trim();\n}\n\nfunction extractAssignments(text) {\n const out = [];\n const re = /\\b([A-Za-zÁÉÍÓÚÜÑáéíóúüñ_][\\wÁÉÍÓÚÜÑáéíóúüñ-]*)\\s*=\\s*([^\\s,;]+)/g;\n for (const m of asText(text).matchAll(re)) out.push({ key: m[1], value: cleanToken(m[2]), raw: m[0] });\n return out;\n}\n\nfunction lastAssignment(text, preferredKey) {\n const a = extractAssignments(text).filter(x => !preferredKey || x.key === preferredKey);\n return a.length ? a[a.length - 1] : null;\n}\n\nfunction extractTarget(goal) {\n const json = tryJson(goal);\n if (json && typeof json === 'object') {\n if (json.target != null) return json.target;\n if (json.TARGET != null) return json.TARGET;\n }\n const t = asText(goal);\n const marker = t.match(/\\bTARGET(?:\\s+expl[ií]cito)?\\s*:\\s*([^\\n]+)/i);\n const fromMarker = marker ? lastAssignment(marker[1]) : null;\n if (fromMarker) return { [fromMarker.key]: fromMarker.value };\n const any = lastAssignment(t);\n return any ? { [any.key]: any.value } : null;\n}\n\nfunction currentFromEvidence(evidence, priorState, preferredKey = '') {\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const direct = ej.current ?? ej.CURRENT ?? ej.state ?? null;\n if (direct != null) {\n if (preferredKey && direct && typeof direct === 'object' && !Array.isArray(direct) && Object.hasOwn(direct, preferredKey)) {\n return { [preferredKey]: cleanToken(direct[preferredKey]) };\n }\n return direct;\n }\n }\n\n const text = asText(evidence);\n const primary = text.match(/(?:EVIDENCIA\\s+PRIMARIA\\s+ACTUAL|CURRENT|ESTADO\\s+ACTUAL)\\s*:\\s*([^\\n.]+)/i);\n if (primary) {\n const primaryAssignments = extractAssignments(primary[1]);\n const selected = preferredKey\n ? primaryAssignments.filter(x => x.key === preferredKey).at(-1)\n : primaryAssignments.at(-1);\n if (selected) return { [selected.key]: selected.value };\n }\n\n const evidenceAssignments = extractAssignments(text);\n if (preferredKey) {\n const preferred = evidenceAssignments.filter(x => x.key === preferredKey).at(-1);\n if (preferred) return { [preferred.key]: preferred.value };\n }\n\n const priorAssignment = lastAssignment(priorState);\n if (priorAssignment) {\n const sameKeyCurrent = evidenceAssignments.filter(x => x.key === priorAssignment.key).at(-1);\n if (sameKeyCurrent) return { [sameKeyCurrent.key]: sameKeyCurrent.value };\n }\n\n const freshestEvidence = evidenceAssignments.at(-1);\n if (freshestEvidence) return { [freshestEvidence.key]: freshestEvidence.value };\n if (priorAssignment) return { [priorAssignment.key]: priorAssignment.value };\n return null;\n}\n\nfunction equals(a, b) { return JSON.stringify(a) === JSON.stringify(b); }\n\nfunction resultEnvelope(capability, id, result, classification, confidence, evidenceGrounding) {\n return { capability, id, ...result, result, classification, confidence, evidenceGrounding };\n}\n\nexport function canonicalStateRecovery({ goal, evidence, priorState = '' }) {\n const target = extractTarget(goal);\n const targetKey = target && typeof target === 'object' && !Array.isArray(target) ? Object.keys(target)[0] : '';\n const current = currentFromEvidence(evidence, priorState, targetKey);\n const ej = tryJson(evidence);\n let nextGate = null;\n if (ej && typeof ej === 'object' && ej.nextGate) nextGate = ej.nextGate;\n if (!nextGate) {\n const text = asText(evidence);\n const explicit = text.match(/(?:[uú]nica|unica)\\s+transici[oó]n\\s+v[aá]lida(?:\\s+disponible)?\\s+(?:es|:)\\s*([A-Z][A-Z0-9_-]*)/)\n || text.match(/next(?:Gate|\\s+gate|\\s+transition)\\s*[:=]\\s*([A-Za-z0-9_-]+)/i);\n if (explicit) nextGate = explicit[1];\n }\n if (!nextGate && current && target && !equals(current, target)) {\n const ck = Object.keys(current)[0];\n const tk = Object.keys(target)[0];\n nextGate = ck && tk && ck === tk\n ? `TRANSITION ${ck}=${current[ck]} -> ${tk}=${target[tk]}`\n : 'APPLY_SINGLE_VALID_TRANSITION';\n }\n if (current && target && equals(current, target)) nextGate = 'NONE';\n const confidence = current ? 'proven' : 'unknown';\n const classification = current && target ? 'RESOLVED' : 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE';\n return resultEnvelope(\n 'RUMBO Canonical State Recovery', IDS.csr,\n { current, target, nextGate: nextGate ?? 'EVIDENCE_REQUIRED' },\n classification, confidence,\n { usedPriorState: Boolean(asText(priorState)), evidencePresent: Boolean(asText(evidence)), precedence: 'CURRENT_EVIDENCE_OVER_PRIOR_STATE', terminalPunctuationNormalized: true }\n );\n}\n\nexport function deepResearchReconcile({ question, evidence, constraints = '' }) {\n const ej = tryJson(evidence);\n if (ej && typeof ej === 'object') {\n const facts = Array.isArray(ej.facts) ? ej.facts : [];\n const conclusion = ej.reconciledConclusion ?? ej.conclusion ?? ej.current ?? ej.resolution ?? null;\n const unresolved = Array.isArray(ej.unresolved) ? ej.unresolved : (conclusion ? [] : ['No explicit resolution in evidence JSON']);\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: ej.conflicts ?? [], superseded: ej.superseded ?? [], unresolved },\n conclusion ? 'RECONCILED' : 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', conclusion ? 'proven' : 'unknown',\n { question: asText(question), constraints: asText(constraints) });\n }\n\n const text = asText(evidence);\n const primary = text.match(/Fuente\\s+primaria\\s+actual\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n const secondary = text.match(/Fuente\\s+secundaria\\s+antigua\\s*:\\s*([\\wÁÉÍÓÚÜÑáéíóúüñ-]+\\s*=\\s*[^.\\s]+)/i);\n if (primary) {\n const conclusion = cleanToken(primary[1]);\n const superseded = secondary ? [cleanToken(secondary[1])] : [];\n const facts = [{ raw: conclusion, authority: 'primary/current' }];\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion, reconciledConclusion: conclusion, conflicts: secondary ? [{ preferred: conclusion, superseded: cleanToken(secondary[1]), basis: 'primary/current authority' }] : [], superseded, unresolved: [] },\n 'RECONCILED', 'proven', { authorityRule: 'primary/current over secondary/older' });\n }\n\n const assignments = extractAssignments(text);\n if (assignments.length) {\n const byKey = new Map();\n for (const item of assignments) {\n if (!byKey.has(item.key)) byKey.set(item.key, []);\n byKey.get(item.key).push(item);\n }\n const facts = [];\n const conflicts = [];\n const superseded = [];\n for (const [key, items] of byKey) {\n const latest = items.at(-1);\n facts.push({ key, value: latest.value, raw: latest.raw });\n const unique = [...new Set(items.map(x => x.value))];\n if (unique.length > 1) {\n conflicts.push({ key, values: unique, preferred: latest.value, basis: 'freshest supplied evidence order' });\n superseded.push(...items.slice(0, -1).map(x => `${x.key}=${x.value}`));\n }\n }\n const reconciledConclusion = facts.map(x => `${x.key}=${x.value}`).join('; ');\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts, conclusion: reconciledConclusion, reconciledConclusion, conflicts, superseded, unresolved: [] },\n conflicts.length ? 'RECONCILED_WITH_CONFLICTS' : 'RECONCILED', conflicts.length ? 'supported' : 'proven',\n { question: asText(question), constraints: asText(constraints), authorityRule: 'freshest same-key assignment within supplied evidence' });\n }\n\n return resultEnvelope('RUMBO Deep Research Reconcile', IDS.drr,\n { facts: [], conclusion: null, reconciledConclusion: null, conflicts: [], superseded: [], unresolved: ['Evidence does not encode an authority-resolvable conclusion'] },\n 'FAIL_CLOSED_INSUFFICIENT_EVIDENCE', 'unknown', { question: asText(question), constraints: asText(constraints) });\n}\n\nexport function goalLoopController({ goal, currentState, blockers = '' }) {\n const cj = tryJson(currentState);\n if (cj && typeof cj === 'object' && cj.nextAction) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: cj.nextAction, why: cj.why ?? 'Provided by current canonical state', stopCondition: cj.stopCondition ?? 'Observable goal state reached', openGates: cj.openGates ?? [] },\n 'NEXT_ACTION_SELECTED', 'proven', { blockers: asText(blockers) || 'NONE' });\n }\n const s = asText(currentState);\n const pending = s.match(/Acci[oó]n\\s+([A-Za-z0-9_-]+)\\s+es\\s+la\\s+[uú]nica\\s+acci[oó]n\\s+pendiente/i);\n const stop = s.match(/estado\\s+observable\\s+ser[aá]\\s+([A-Za-z0-9_-]+)/i) || s.match(/estado\\s+(?:final\\s+)?(?:ser[aá]|=)\\s*([A-Za-z0-9_-]+)/i);\n const blockerText = asText(blockers);\n const blockerLead = blockerText.split(/[.\\n;]/, 1)[0].trim();\n const hasBlocker = Boolean(blockerText) && !/^(ninguno|none|no blockers?|sin bloqueos?)$/i.test(blockerLead);\n if (hasBlocker) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'CLOSE_BLOCKER', why: asText(blockers), stopCondition: 'Blocker cleared with evidence', openGates: [blockerLead] },\n 'BLOCKED', 'supported', { duplicateAvoidance: true });\n }\n if (pending) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: pending[1], why: `${pending[1]} is the only evidenced pending action; completed actions must not be repeated`, stopCondition: stop ? `STATE=${stop[1]}` : 'Goal state observed', openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n\n const assignments = extractAssignments(s);\n const negative = assignments.find(x => /^(?:FAIL(?:ED|_CLOSED)?|NO_GO|NOT_PROVEN|UNPROVEN|NOT_EXECUTED|PENDING|UNKNOWN)$/i.test(x.value));\n if (negative) {\n const gate = `${negative.key}=${negative.value}`;\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: `CLOSE_GATE: ${gate}`, why: `${gate} is the first evidence-supported open gate`, stopCondition: `Fresh evidence no longer reports ${gate}`, openGates: [gate] },\n 'NEXT_ACTION_SELECTED', 'supported', { duplicateAvoidance: true });\n }\n if (assignments.length) {\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: 'VERIFY_TARGET_STATE', why: 'Concrete current-state assignments are present and no open blocker is evidenced; verify the target state before promotion.', stopCondition: `Direct evidence proves the target goal: ${asText(goal)}`, openGates: [] },\n 'NEXT_ACTION_SELECTED', 'proven', { duplicateAvoidance: true });\n }\n return resultEnvelope('RUMBO Goal Loop Controller', IDS.glc,\n { nextAction: null, why: 'No unique evidence-grounded next action', stopCondition: 'Provide a unique pending gate or blocker', openGates: [] },\n 'FAIL_CLOSED_AMBIGUOUS_NEXT_ACTION', 'unknown', { goal: asText(goal) });\n}\n\nfunction resultCounts(text) {\n return [...asText(text).matchAll(/\\b(\\d+)\\s*\\/\\s*(\\d+)(?:\\s+|_)(PASS|FAIL)\\b/gi)]\n .map(m => ({ passed: Number(m[1]), total: Number(m[2]), status: m[3].toUpperCase() }));\n}\nfunction allObservedCountsPass(text) {\n const counts = resultCounts(text);\n return counts.length > 0 && counts.every(x => x.status === 'PASS' && x.passed === x.total);\n}\n\nexport function executeVerifyClose({ objective, implementation, verification = '' }) {\n const v = asText(verification);\n const i = asText(implementation);\n const counts = resultCounts(v);\n const smokePass = /smoke(?:\\s+end-to-end)?\\s*[=:]?\\s*PASS/i.test(v);\n const explicitTestFailure = counts.some(x => x.status === 'FAIL' || x.passed !== x.total)\n || /\\b(?:test|tests|smoke|regresi[oó]n|regression|adversarial|static)[^.;\\n]{0,80}\\bFAIL\\b/i.test(v)\n || /\\b[A-Z][A-Z0-9_-]*\\s*=\\s*(?:FAIL|FAILED|NO_GO|NOT_PROVEN|UNPROVEN)\\b/i.test(v);\n const positive = !explicitTestFailure && (counts.length ? allObservedCountsPass(v) : smokePass || /(?:TESTS?|ADVERSARIAL|STATIC)\\s*=\\s*PASS/i.test(v));\n const exactArtifact = /(?:SOURCE_READBACK_SHA|DEPLOY_READBACK|READBACK_SHA)\\s*=\\s*PASS\\b/i.test(v)\n || (/SHA\\s*=\\s*[A-Za-z0-9_-]+/i.test(i + ' ' + v) && /readback[^.;\\n]{0,80}PASS/i.test(v));\n const noExternal = /(?:EXTERNAL_GATES?|REMOTE_EXTERNAL_GATES?)\\s*=\\s*NONE\\b/i.test(v)\n || /no\\s+hay\\s+gates?\\s+externos?\\s+pendientes?/i.test(v)\n || /external gates?\\s*[:=]\\s*none/i.test(v);\n const regressions = counts.length >= 1 && allObservedCountsPass(v);\n const missing = [];\n if (!positive) missing.push('targeted_or_smoke_test_pass');\n if (!exactArtifact) missing.push('exact_artifact_readback');\n if (!regressions) missing.push('regression_evidence');\n if (!noExternal) missing.push('external_gate_status');\n const complete = missing.length === 0;\n const classification = complete ? 'RESUELTO_CON_EVIDENCIA' : 'EJECUCION_SIN_EVIDENCIA';\n return resultEnvelope('RUMBO Execute Verify Close', IDS.evc,\n { classification, complete, openGates: [...missing], requiredEvidence: complete ? 'NONE' : missing.join('; '), verificationState: v, missingEvidence: missing, objective: asText(objective) },\n classification, complete ? 'proven' : 'unknown',\n { targetedTests: positive, exactArtifact, regressions, noExternalGates: noExternal });\n}\n\nexport function auditFinalState({ objective, claims, evidence, gates = '' }) {\n const e = asText(evidence);\n const g = asText(gates);\n const evidenceFailure = /\\bFAIL(?:ED|_CLOSED)?\\b|\\bNO_GO\\b|\\bNOT_PROVEN\\b|\\bUNPROVEN\\b/i.test(e);\n const gateObservedFailure = /\\b(?:gate|state|verdict|status)\\s*[:=]\\s*(?:FAIL(?:ED|_CLOSED)?|NO_GO|NOT_PROVEN|UNPROVEN)\\b/i.test(g);\n const successEvidence = /\\bPASS\\b|\\bPROVEN\\b|http_status\\s*[:=]\\s*200|status\\s*[:=]\\s*ok/i.test(e);\n const gatesNone = !g || /^(?:NONE|NINGUNO|SIN BLOQUEOS?)\\.?$/i.test(g.trim()) || /(?:OPEN_GATES?|GATES?)\\s*=\\s*NONE\\b/i.test(g);\n const gateRequiresSuccess = /PASS\\s+[uú]nicamente\\s+si|PASS only if/i.test(g);\n const verdict = !evidenceFailure && !gateObservedFailure && successEvidence && (gatesNone || gateRequiresSuccess) ? 'GO' : 'NO_GO';\n const nextGate = verdict === 'GO' ? 'NONE' : (gateRequiresSuccess ? 'REQUIRED_GATE_NOT_PROVEN' : 'EVIDENCE_REQUIRED');\n const classification = verdict === 'GO' ? 'PROVEN' : 'UNPROVEN';\n return resultEnvelope('RUMBO Audit Final State', IDS.afs,\n { verdict, classification, nextGate, openGates: verdict === 'GO' ? [] : [nextGate], conflicts: [], objective: asText(objective) },\n classification, verdict === 'GO' ? 'proven' : 'unknown',\n { claimsPresent: Boolean(asText(claims)), evidencePresent: Boolean(e), gatesPresent: Boolean(g), runtimeIdMustBeVerifiedExternally: IDS.afs });\n}\n\nexport const semanticHandlers = Object.freeze({\n 'rumbo-canonical-state-recovery': canonicalStateRecovery,\n 'rumbo-deep-research-reconcile': deepResearchReconcile,\n 'rumbo-goal-loop-controller': goalLoopController,\n 'rumbo-execute-verify-close': executeVerifyClose,\n 'rumbo-audit-final-state': auditFinalState,\n});\n\nexport function mcpToolResult(output) {\n return {\n content: [{ type: 'text', text: JSON.stringify(output, null, 2) }],\n structuredContent: output,\n };\n}\n","label",[142],"978af60a-1725-40c7-934d-068f7fec6d0c",["D",1788718508017],5,[29],"e548a7aa-7684-41c1-9259-38e8c30275ad","main.ts","01a077e8-1ca8-762f-9855-6cfd60413a4a",["D",1788718095532],"http","import { createMcpHandler, McpServer } from \"npm:@modelcontextprotocol/server\";\nimport * as z from \"npm:zod/v4\";\nimport {\n canonicalStateRecovery,\n deepResearchReconcile,\n goalLoopController,\n executeVerifyClose,\n auditFinalState,\n mcpToolResult,\n} from \"./rumbo-semantic-core.mjs\";\n\nfunction buildServer() {\n const server = new McpServer({ name: \"RUMBO Agent Reliability\", version: \"1.3.2\" });\n\n server.registerTool(\"rumbo-canonical-state-recovery\", {\n description: \"Recover one evidence-grounded canonical state before continuing long-running work. Read-only and fail-closed.\",\n inputSchema: z.object({ goal: z.string(), evidence: z.string(), priorState: z.string().optional() }),\n annotations: { readOnlyHint: true, destructiveHint: false, openWorldHint: false },\n }, async (args) => mcpToolResult(canonicalStateRecovery(args)));\n\n server.registerTool(\"rumbo-deep-research-reconcile\", {\n description: \"Turn supplied evidence into a reconciled answer while distinguishing facts, conflicts, and missing evidence.\",\n inputSchema: z.object({ question: z.string(), evidence: z.string(), constraints: z.string().optional() }),\n annotations: { readOnlyHint: true, destructiveHint: false, openWorldHint: false },\n }, async (args) => mcpToolResult(deepResearchReconcile(args)));\n\n server.registerTool(\"rumbo-goal-loop-controller\", {\n description: \"Choose the highest-value next action toward a goal without loops, duplicate work, or unsupported promotion.\",\n inputSchema: z.object({ goal: z.string(), currentState: z.string(), blockers: z.string().optional() }),\n annotations: { readOnlyHint: true, destructiveHint: false, openWorldHint: false },\n }, async (args) => mcpToolResult(goalLoopController(args)));\n\n server.registerTool(\"rumbo-execute-verify-close\", {\n description: \"Audit an implementation and define the exact evidence required before declaring it complete.\",\n inputSchema: z.object({ objective: z.string(), implementation: z.string(), verification: z.string().optional() }),\n annotations: { readOnlyHint: true, destructiveHint: false, openWorldHint: false },\n }, async (args) => mcpToolResult(executeVerifyClose(args)));\n\n server.registerTool(\"rumbo-audit-final-state\", {\n description: \"Perform a final fail-closed audit of claims, evidence, gates, and promotion readiness.\",\n inputSchema: z.object({ objective: z.string(), claims: z.string(), evidence: z.string(), gates: z.string().optional() }),\n annotations: { readOnlyHint: true, destructiveHint: false, openWorldHint: false },\n }, async (args) => mcpToolResult(auditFinalState(args)));\n\n return server;\n}\n\nconst handler = createMcpHandler(buildServer);\nexport default async function fetch(req: Request) {\n try {\n if (req.method === \"POST\") {\n const body = await req.clone().json();\n const method = typeof body?.method === \"string\" ? body.method : \"unknown\";\n const tool = typeof body?.params?.name === \"string\" ? body.params.name : null;\n console.log(JSON.stringify({ event: \"rumbo_mcp_request\", version: \"1.3.2+valtown-adapter.1\", method, tool }));\n }\n } catch {\n console.log(JSON.stringify({ event: \"rumbo_mcp_request\", version: \"1.3.2+valtown-adapter.1\", method: \"unparsed\", tool: null }));\n }\n return handler.fetch(req);\n}\n",[156],"2ac79ca4-fbbb-4339-8493-480d0f1ebf2f","README.md","01a077e8-1ca8-762f-9855-69ecaa36be68",["D",1788718095532],"# MCP server\n\nA minimal MCP server with one example tool (that gets the current time in a\ngiven timezone).\n\nRemix this val to create your own MCP server on Val\nTown—[**_just like the MCP Core Maintainer team!_**](https://blog.val.town/mcp-core-maintainers)\n\nThis MCP server (<50 LOC in [`main.ts`](./main.ts)) is live on\n[mcp-time.val.run](https://mcp-time.val.run) if you'd like to test it\n([playground.ai.cloudflare.com](https://playground.ai.cloudflare.com) is a great\nplace to test an MCP server quickly). It's built on the v2 TypeScript SDK,\ncompatible with “MCP 2.0” (technically, the\n[2026-07-28 spec](https://modelcontextprotocol.io/specification/2026-07-28)). It\nalso supports the legacy spec, for MCP clients that haven't upgraded yet.",[163],"pulls","branches",9,"forks","envVars",{"_176":62,"_178":62},"connections",{"_176":62,"_177":62},"count","unfilledCount","emptyCount",{"_43":162,"_33":163,"_31":164,"_144":-5,"_41":42,"_40":145,"_146":25,"_38":193,"_13":62,"_34":20,"_35":166,"_24":27,"_149":-5,"_184":194,"_28":195},{"_43":155,"_33":156,"_31":157,"_144":-5,"_41":42,"_40":145,"_146":27,"_38":190,"_13":62,"_34":159,"_35":160,"_24":27,"_149":-5,"_184":191,"_28":192},{"_43":151,"_33":29,"_31":32,"_144":-5,"_41":42,"_40":14,"_146":27,"_38":187,"_13":153,"_34":20,"_35":37,"_24":27,"_149":-5,"_184":188,"_28":189},{"_43":141,"_33":142,"_31":143,"_144":-5,"_41":42,"_40":145,"_146":27,"_38":183,"_13":62,"_34":20,"_35":148,"_24":27,"_149":-5,"_184":185,"_28":186},["D",1788718095532],"children",[],[142],["D",1788718508017],[],[29],["D",1788718095532],[],[156],["D",1788718095532],[],[163],["D",1788582330391],{"_98":97,"_106":102},{"_98":97,"_99":100,"_101":102,"_18":55,"_103":104,"_105":27},{"_13":85,"_33":86,"_43":42,"_87":44,"_88":89,"_90":91,"_92":50,"_93":44,"_94":64,"_95":45,"_96":97},"ctx",{"_78":-5,"_127":233,"_234":235,"_236":237,"_238":27,"_239":27,"_240":27,"_241":25,"_242":-5,"_243":-7,"_244":-7,"_245":62,"_246":27,"_247":27,"_248":-5,"_249":27,"_250":27,"_251":27,"_252":-5},"ENV",{"_204":205,"_206":207,"_208":133,"_209":210,"_211":212,"_213":214,"_215":216,"_217":218,"_219":220,"_221":222,"_223":224,"_225":226,"_227":228,"_229":230,"_231":232},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","e87eb04e707cf64e7e532c8e8ec395f209e17f15","RENDER_GIT_BRANCH","POSTHOG_API_TOKEN","phc_nmoyuAkStEZuUp69rYlg1DZgrIt19Gx0Y4Hwf8tGgJP","POSTHOG_API_HOST","https://wart.val.town","WEB_API_TEMPLATE","https://{val}.web.val.run","APP_URL","https://www.val.town","MODULE_URL","https://esm.town","VANITY_WEB_API_TEMPLATE","https://{label}.val.run/","DENOLS_URL","https://lsp.val.town","NODE_ENV","production","CLOUDFLARE_TURNSTILE_SITE_KEY","0x4AAAAAACtaIZJH7s9rBMZ6","GOOGLE_CLIENT_ID","875989696899-jtsqkhlbdv5jrlsk8631p7ipjg3c6o62.apps.googleusercontent.com","STRIPE_PUBLISHABLE_KEY","pk_live_51N2zvWEpZTTLipIkVEwXrUG9AT0yeOOEYxszarZT1jpsZV58Ly6wlg3SltZpHN26CUalOBmUSY7adQRQiSkCZz2500qSXNkf8Y","API_URL","https://api.val.town",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]

Diff · v7