@mmmbuto/nexuscrew 0.9.23 → 0.9.25

package/lib/mcp/server.js

@@ -32,6 +32,7 @@ const { TOOLS, IDENTITY_CODE, IDENTITY_REMEDIATION } = require('./tools.js');
 const cells = require('./cells.js');
 const {
   normalizeIdentityContext, IDENTITY_CONTEXT_AUTHORITY_UNAVAILABLE,
+  IDENTITY_CONTEXT_VERIFIED_ENV_INVALID,
 } = require('./identity-schema.js');
 const { persistIdentityChannel } = require('./identity-provider.js');
 
@@ -99,18 +100,55 @@ function companionInstructions() {
 // senza cambiare la precedenza e senza esporre valori/segreti. `resolveSession`
 // resta il wrapper pubblico Promise<string|null> invariato (compatibilita').
 const IDENTITY_REQUIRED_ENV_VARS = Object.freeze(['TMUX', 'TMUX_PANE', 'NEXUSCREW_MCP_SESSION']);
+// i nomi dei metadati verified consegnati dal launcher VL (solo su
+// sessione bound). Presence only: mai i valori.
+const IDENTITY_VERIFIED_ENV_VARS = Object.freeze([
+  'NEXUSCREW_VERIFIED_ENV_VERSION',
+  'NEXUSCREW_VERIFIED_OWNER_INSTANCE_ID',
+  'NEXUSCREW_VERIFIED_CELL_ID',
+  'NEXUSCREW_VERIFIED_INCARNATION_ID',
+  'NEXUSCREW_VERIFIED_BINDING_ID',
+  'NEXUSCREW_VERIFIED_ORIGIN',
+  'NEXUSCREW_VERIFIED_THREAD_ID',
+]);
+const IDENTITY_ALL_REQUIRED_ENV_VARS = Object.freeze([
+  ...IDENTITY_REQUIRED_ENV_VARS, ...IDENTITY_VERIFIED_ENV_VARS,
+]);
 
 function envPresenceOf(env) {
-  return {
+  const presence = {
     TMUX: !!env.TMUX,
     TMUX_PANE: !!env.TMUX_PANE,
     NEXUSCREW_MCP_SESSION: !!(typeof env.NEXUSCREW_MCP_SESSION === 'string' && env.NEXUSCREW_MCP_SESSION.trim()),
   };
+  for (const name of IDENTITY_VERIFIED_ENV_VARS) {
+    presence[name] = !!(typeof env[name] === 'string' && env[name].trim());
+  }
+  return presence;
+}
+
+// la fonte verified esiste se ANY dei nomi verified e' presente.
+// Presence parziale = fonte presente ma invalida (fail-closed), non assenza.
+function verifiedEnvPresent(envPresence) {
+  return IDENTITY_VERIFIED_ENV_VARS.some((name) => envPresence[name] === true);
 }
 
 function resolveIdentity({ env, tmuxBin, execFileImpl }) {
   const e = env || {};
   const envPresence = envPresenceOf(e);
+  // se una qualunque variabile verified e' presente, il percorso
+  // legacy e' VETATO (non e' un fallback, e' un percorso alternativo usato
+  // solo in assenza totale della verified). La verifica completa (introspezione
+  // live/coerente) vive nel provider online; qui il chiamante senza provider
+  // riceve comunque un fail-closed nominato invece di un'identita' legacy
+  // fabbricata accanto a metadati verified di cui non si puo' garantire la
+  // coerenza.
+  if (verifiedEnvPresent(envPresence)) {
+    return {
+      session: null, source: 'verified-env', code: IDENTITY_CODE.VERIFIED_ENV_INVALID,
+      envPresence, requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
+    };
+  }
   const fallbackRaw = e.NEXUSCREW_MCP_SESSION;
   const fallbackPresent = typeof fallbackRaw === 'string' && fallbackRaw.trim().length > 0;
   const tmuxPresent = !!e.TMUX;
@@ -130,24 +168,24 @@ function resolveIdentity({ env, tmuxBin, execFileImpl }) {
 
   const ok = (session, source) => ({
     session, source, code: IDENTITY_CODE.OK,
-    envPresence, requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
+    envPresence, requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
   });
   const missing = () => ({
     session: null, source: 'missing', code: codeWhenMissing(),
-    envPresence, requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
+    envPresence, requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
   });
   // P0: pane stantio o non verificabile -> NON attribuire. source 'stale-pane'
   // nomina il problema; code STALE_PANE (tools.js).
   const stalePane = () => ({
     session: null, source: 'stale-pane', code: IDENTITY_CODE.STALE_PANE,
-    envPresence, requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
+    envPresence, requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
   });
   // P0/R2: tmux e fallback env dicono sessioni DIVERSE entrambe valide:
   // identità ambigua -> NON attribuire (nemmeno il fallback: è parte del
   // conflitto). Il code nomina il mismatch, che INVALID non direbbe.
   const sessionMismatch = () => ({
     session: null, source: 'session-mismatch', code: IDENTITY_CODE.SESSION_MISMATCH,
-    envPresence, requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
+    envPresence, requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS, remediation: IDENTITY_REMEDIATION,
   });
 
   return new Promise((resolve) => {
@@ -273,7 +311,8 @@ function createMcpServer(opts = {}) {
     try {
       raw = await identityContextProvider({ tool });
     } catch (e) {
-      if (e && e.code === IDENTITY_CONTEXT_AUTHORITY_UNAVAILABLE) throw e;
+      if (e && (e.code === IDENTITY_CONTEXT_AUTHORITY_UNAVAILABLE
+        || e.code === IDENTITY_CONTEXT_VERIFIED_ENV_INVALID)) throw e;
       throw identityContextError(IDENTITY_CONTEXT_MISSING,
         'contesto identita online non disponibile: binding condiviso rifiutato');
     }
@@ -284,7 +323,7 @@ function createMcpServer(opts = {}) {
     if (!identityContextProvider) return localIdentity();
     return identityContext({ tool, sharedRequired: true }).then((context) => ({
       session: context.tmuxSession,
-      source: 'online',
+      source: identityContextProvider.identitySource === 'verified-env' ? 'verified-env' : 'online',
       code: IDENTITY_CODE.OK,
       envPresence: envPresenceOf(env),
       requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS,
@@ -442,9 +481,11 @@ function createMcpServer(opts = {}) {
         ? identityContextProvider.currentProof() : null;
       const sharedIdentity = sharedContext ? Object.freeze({
         session: sharedContext.tmuxSession,
-        source: 'online', code: IDENTITY_CODE.OK,
+        source: identityContextProvider.identitySource === 'verified-env'
+          ? 'verified-env' : 'online',
+        code: IDENTITY_CODE.OK,
         envPresence: envPresenceOf(env),
-        requiredEnvVars: IDENTITY_REQUIRED_ENV_VARS,
+        requiredEnvVars: IDENTITY_ALL_REQUIRED_ENV_VARS,
         remediation: IDENTITY_REMEDIATION,
         context: sharedContext,
         ...(sharedProof ? { proof: sharedProof } : {}),

package/lib/mcp/tools.js

@@ -44,15 +44,26 @@ const IDENTITY_CODE = Object.freeze({
   // P0/R2: tmux e NEXUSCREW_MCP_SESSION sono entrambi validi ma dicono sessioni
   // diverse: identità ambigua, non si attribuisce nessuna delle due.
   SESSION_MISMATCH: 'NEXUSCREW_MCP_IDENTITY_SESSION_MISMATCH',
+  // una fonte verified (NEXUSCREW_VERIFIED_*) presente ma non
+  // coerente (versione, owner, cella, canale, introspezione) e' fail-closed:
+  // MAI fallback alle variabili legacy quando la fonte verified esiste.
+  VERIFIED_ENV_INVALID: 'NEXUSCREW_MCP_IDENTITY_VERIFIED_ENV_INVALID',
 });
 
 // Remediation senza segreti/valori: nomi soltanto, compatibile con
 // `codex-vl mcp add --env-var` (allowlist di nomi, nessun valore persistito).
+// la remediation NON consiglia piu' di allowlistare TMUX/TMUX_PANE/
+// NEXUSCREW_MCP_SESSION in env_vars: sul percorso shared verified quel permesso
+// fa fallire lo spawn (rmcp-client utils: nomi riservati rifiutati). Le strade
+// sono due: sessione verified (codex-vl >= 0.154.0-vl.3 + NexusCrew >= 0.9.25
+// con authority mode provisionato) oppure sessione legacy con le tre variabili
+// ereditate dal client MCP.
 const IDENTITY_REMEDIATION =
-  'Nei client che ripuliscono l\'ambiente, allowlista i nomi delle variabili di identita nel server MCP stdio '
-  + '(codex-vl mcp add ... --env-var NEXUSCREW_MCP_SESSION --env-var TMUX --env-var TMUX_PANE) '
-  + 'oppure assicurati che il client MCP inoltri il contesto tmux al processo child: nessun valore '
-  + 'viene copiato nella CLI o nel file di configurazione.';
+  'Due percorsi validi: (1) sessione verified — serve codex-vl >= 0.154.0-vl.3 e NexusCrew >= 0.9.25 '
+  + 'con authority mode provisionato (nexuscrew identity provision): il launcher consegna i metadati '
+  + 'NEXUSCREW_VERIFIED_* al figlio MCP, non serve allowlistare nulla; (2) sessione legacy — il client '
+  + 'MCP deve ereditare TMUX/TMUX_PANE/NEXUSCREW_MCP_SESSION (niente allowlist in env_vars del server '
+  + 'MCP: con codex-vl >= 0.154.0-vl.3 i nomi sono riservati e lo spawn fallisce).';
 
 // Perche' una ricerca fallita non e' una sola cosa.
 //

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mmmbuto/nexuscrew",
-  "version": "0.9.23",
+  "version": "0.9.25",
   "description": "Faithful browser tmux client \u2014 attach to live sessions over a real PTY, localhost-only, mobile-easy",
   "main": "lib/server.js",
   "bin": {