nexgenk 1.3.0 → 1.5.0

package/dist/main.mjs

@@ -119809,10 +119809,10 @@ function globSegmentsMatchPrefix(globSegments, relSegments) {
 }
 function compileGrepPattern(req) {
 	const flags = req.case_sensitive ? "g" : "gi";
-	const body = req.regex ? req.pattern : escapeRegExp$2(req.pattern);
+	const body = req.regex ? req.pattern : escapeRegExp$3(req.pattern);
 	return new RegExp(body, flags);
 }
-function escapeRegExp$2(s) {
+function escapeRegExp$3(s) {
 	return s.replaceAll(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
 function stripTrailingNewline(s) {
@@ -123382,8 +123382,8 @@ var init_env$1 = __esmMin((() => {
 	]);
 }));
 // ../../packages/agent-core-v2/src/workspace/workspaceTrust/trustEnv.ts
-function trustWorkspaceEnvTrusted(getEnv) {
-	return parseBooleanEnv(getEnv(TRUST_WORKSPACE_ENV)) === true;
+function workspaceTrustOverride(getEnv) {
+	return parseBooleanEnv(getEnv(TRUST_WORKSPACE_ENV));
 }
 var TRUST_WORKSPACE_ENV;
 var init_trustEnv = __esmMin((() => {
@@ -123483,7 +123483,7 @@ var init_workspaceTrustStore = __esmMin((() => {
 		initialization;
 		initializationFailed = false;
 		root;
-		envTrusted;
+		envOverride;
 		trusted = false;
 		mutationTail = Promise.resolve();
 		changeEmitter = this._register(new Emitter());
@@ -123493,7 +123493,7 @@ var init_workspaceTrustStore = __esmMin((() => {
 			this.docs = docs;
 			this.telemetry = telemetry;
 			this.root = root;
-			this.envTrusted = trustWorkspaceEnvTrusted((name) => bootstrap.getEnv(name));
+			this.envOverride = workspaceTrustOverride((name) => bootstrap.getEnv(name));
 		}
 		get ready() {
 			if (this.initialization !== void 0) return this.initialization;
@@ -123514,7 +123514,7 @@ var init_workspaceTrustStore = __esmMin((() => {
 			return this.trusted;
 		}
 		isTrusted() {
-			return this.envTrusted || this.trusted;
+			return this.trusted || (this.envOverride ?? true);
 		}
 		async get() {
 			await this.ready;
@@ -123627,7 +123627,7 @@ var init_workspaceTrustService = __esmMin((() => {
 		}
 		async initialize() {
 			await this.inner.ready;
-			this.trusted = this.inner.isPersistedTrusted();
+			this.trusted = this.inner.isTrusted();
 		}
 	};
 	WorkspaceTrustService = __decorate([
@@ -125726,7 +125726,7 @@ function expandSkillParameters(body, rawArgs, context) {
 	for (let index = 0; index < (context.argumentNames?.length ?? 0); index++) {
 		const name = context.argumentNames?.[index];
 		if (name === void 0) continue;
-		const escaped = escapeRegExp$1(name);
+		const escaped = escapeRegExp$2(name);
 		content = content.replaceAll(new RegExp(`\\$${escaped}(?![\\[\\w])`, "g"), escapeXmlTags(tokens[index] ?? ""));
 	}
 	content = content.replaceAll(/\$ARGUMENTS\[(\d+)\]/g, (_match, indexText) => {
@@ -125816,7 +125816,7 @@ function tokenizeArgs(raw) {
 	if (hasContent) out.push(current);
 	return out;
 }
-function escapeRegExp$1(value) {
+function escapeRegExp$2(value) {
 	return value.replaceAll(/[\\^$.*+?()[\]{}|]/g, "\\$&");
 }
 var LISTING_DESC_MAX, InMemorySkillCatalog, SOURCE_GROUPS, graphemeSegmenter$3;
@@ -219297,6 +219297,26 @@ var init_decide$1 = __esmMin((() => {
 	IWaveDecideTool = createDecorator("waveDecideTool");
 }));
 // ../../packages/agent-core-v2/src/features/wave/core/config.ts
+function seats(prefix, count) {
+	return Array.from({ length: Math.max(0, count) }, (_, index) => `${prefix}${index + 1}`);
+}
+function waveRoundSeats(roles, round) {
+	if (round === "propose") return seats("P", roles.proponents);
+	if (round === "defend") return seats("D", roles.defenders);
+	if (round === "attack") return seats("A", roles.adversaries);
+	if (round === "judge") return seats("J", roles.judges);
+	const refiners = seats("R", roles.refiners);
+	return round === "refine" ? refiners.slice(0, 1) : refiners.slice(1);
+}
+function waveConfigState(config) {
+	const state = config;
+	return {
+		...config,
+		version: state.version ?? 1,
+		wavesOpen: state.wavesOpen ?? [],
+		raw: state.raw ?? {}
+	};
+}
 function record$2(value) {
 	return typeof value === "object" && value !== null && !Array.isArray(value) ? value : {};
 }
@@ -219317,6 +219337,9 @@ function makeWaveConfig(raw, loadedFrom) {
 	const roles = record$2(base["roles"]);
 	const quorum = record$2(base["quorum"]);
 	return {
+		version: num(base["version"], 1),
+		wavesOpen: strArray$1(base["wavesOpen"], []),
+		raw: base,
 		layout: {
 			waves: text(layout["waves"], DEFAULT_LAYOUT.waves),
 			backlog: text(layout["backlog"], DEFAULT_LAYOUT.backlog),
@@ -219378,8 +219401,24 @@ function containedPath(root, candidate) {
 	if (resolved !== resolvedRoot && !resolved.startsWith(`${resolvedRoot}${sep}`)) throw new Error(`ruta fuera del workspace: ${candidate}`);
 	return resolved;
 }
-var DEFAULT_LAYOUT, DEFAULT_THRESHOLDS, DEFAULT_VOCABULARY, DEFAULT_ROLES, DEFAULT_QUORUM;
+var WAVE_ROUNDS, WAVE_ROUND_DIRS, DEFAULT_LAYOUT, DEFAULT_THRESHOLDS, DEFAULT_VOCABULARY, DEFAULT_ROLES, DEFAULT_QUORUM;
 var init_config$6 = __esmMin((() => {
+	WAVE_ROUNDS = [
+		"propose",
+		"defend",
+		"attack",
+		"judge",
+		"refine",
+		"audit"
+	];
+	WAVE_ROUND_DIRS = {
+		propose: "01-proposals",
+		defend: "02-defenses",
+		attack: "03-attacks",
+		judge: "04-verdicts",
+		refine: "05-refined",
+		audit: "05-refined"
+	};
 	DEFAULT_LAYOUT = {
 		waves: "design/waves",
 		backlog: "backlog",
@@ -219559,23 +219598,16 @@ function evaluateQuorum(input) {
 	const winner = ranked[0];
 	const second = ranked[1];
 	if (winner === void 0) throw new Error("no hay propuestas que comparar");
-	if (second === void 0) {
-		const perJudge = input.verdicts.map((verdict) => ({
-			judge: verdict.judge,
-			margin: 0,
-			holds: true
-		}));
-		return {
-			verdict: "adopt",
-			winner,
-			second: void 0,
-			medians,
-			medianMargin: 0,
-			judgesHoldingMargin: perJudge.length,
-			perJudge,
-			reason: `solo hay una propuesta: ${winner}`
-		};
-	}
+	if (second === void 0) return {
+		verdict: "refine",
+		winner,
+		second: void 0,
+		medians,
+		medianMargin: 0,
+		judgesHoldingMargin: 0,
+		perJudge: [],
+		reason: `sin comparacion no hay quorum: solo hay una propuesta (${winner})`
+	};
 	const winnerMedian = medians[winner] ?? 0;
 	const secondMedian = medians[second] ?? 0;
 	const medianMargin = Number((winnerMedian - secondMedian).toFixed(6));
@@ -219645,6 +219677,7 @@ function runWaveDecideForRoot(input) {
 			isError: true
 		};
 	}
+	const holding = result.perJudge.length === 0 ? "sin comparacion" : `${result.judgesHoldingMargin}/${result.perJudge.length}`;
 	const lines = [
 		`QUORUM — ${result.verdict}`,
 		"",
@@ -219652,8 +219685,9 @@ function runWaveDecideForRoot(input) {
 		"",
 		`  ganador: ${result.winner ?? "(empate)"}`,
 		`  margen: ${result.medianMargin} (minimo ${input.minPoints ?? config.quorum.minPoints})`,
-		`  jueces con margen: ${result.judgesHoldingMargin}/${result.perJudge.length} (minimo ${input.minAxes ?? config.quorum.minAxes})`,
+		`  jueces con margen: ${holding} (minimo ${input.minAxes ?? config.quorum.minAxes})`,
 		...result.perJudge.map((entry) => `    ${entry.judge}: ${entry.margin}${entry.holds ? " ok" : " NO"}`),
+		...result.perJudge.filter((entry) => entry.margin < 0).map((entry) => `    disidencia: ${entry.judge} ${entry.margin}`),
 		"",
 		`  motivo: ${result.reason}`
 	];
@@ -219671,7 +219705,7 @@ var init_decideRunner = __esmMin((() => {
 // ../../packages/agent-core-v2/src/features/wave/tools/decide/decide.md?raw
 var decide_default;
 var init_decide = __esmMin((() => {
-	decide_default = "Compute the wave quorum from the judges' totals and say what may happen next.\n\nPass one entry per judge with its totals per proposal (`{ judge: \"J1\", scores: { P1: 17, P2: 15, P3: 14 } }`). The tool takes the **median** per proposal, then checks the winner beats the second by `minPoints` in at least `minAxes` judges. Thresholds default to `workflow.config.json`.\n\nAnswers `adopt`, `refine` (no quorum yet, compose R1 and audit with R2) or `deadlock` (two rounds without quorum: adopt R1 with written dissent). A tie in the median never crowns a winner.\n";
+	decide_default = "Compute the wave quorum from the judges' totals and say what may happen next.\n\nPass one entry per judge with its totals per proposal (`{ judge: \"J1\", scores: { P1: 17, P2: 15, P3: 14 } }`). The tool takes the **median** per proposal and applies both conditions of `core/quorum.ts`: the winner's median must beat the second's by `minPoints` (**margen de medianas**), and at least `minAxes` judges must give the winner that margin or more over the second (**mayoría de jueces**). Thresholds default to `workflow.config.json`.\n\nAnswers `adopt`, `refine` (no quorum yet, compose R1 and audit with R2) or `deadlock` (two rounds without quorum: adopt R1 with written dissent). A tie in the median, or a single proposal with nothing to compare, never crowns a winner and never counts as quorum.\n";
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/decide/decideTool.ts
 var WaveDecideTool;
@@ -219767,6 +219801,18 @@ function walk$1(fs, dir, accept, acc = []) {
 }
 var init_fsJson = __esmMin((() => {}));
 // ../../packages/agent-core-v2/src/features/wave/tools/open/openRunner.ts
+function briefTemplate(root) {
+	const fs = nodeWaveFs;
+	const local = join(root, BRIEF_TEMPLATE$1);
+	if (fs.exists(local)) return { file: local };
+	if (fs.isDirectory(join(root, "workflow"))) return { missing: BRIEF_TEMPLATE$1 };
+	return fs.exists(BUNDLED_BRIEF_TEMPLATE) ? { file: BUNDLED_BRIEF_TEMPLATE } : { missing: BRIEF_TEMPLATE$1 };
+}
+function nextEpic(backlogDir) {
+	const numbers = asArray$2(asRecord$2(readJson$2(nodeWaveFs, join(backlogDir, "epics.json")) ?? {})["epics"]).map((epic) => /^E(\d{2,})$/.exec(String(asRecord$2(epic)["id"]))?.[1]).filter((value) => value !== void 0).map(Number);
+	const next = numbers.length > 0 ? Math.max(...numbers) + 1 : 1;
+	return `E${String(next).padStart(2, "0")}`;
+}
 function slugify(name) {
 	return name.normalize("NFD").replaceAll(/[\u0300-\u036F]/g, "").toLowerCase().replaceAll(/[^a-z0-9-]+/g, "-").replaceAll(/^-+|-+$/g, "");
 }
@@ -219780,15 +219826,29 @@ function runWaveOpenForRoot(input) {
 	};
 	const layout = asRecord$2(asRecord$2(rawConfig)["layout"]);
 	const wavesRel = typeof layout["waves"] === "string" ? layout["waves"] : "design/waves";
+	const backlogRel = typeof layout["backlog"] === "string" ? layout["backlog"] : "backlog";
+	const minimum = makeWaveConfig(rawConfig).thresholds.minBriefSections;
 	let wavesDir;
+	let backlogDir;
 	try {
 		wavesDir = containedPath(input.root, wavesRel);
+		backlogDir = containedPath(input.root, backlogRel);
 	} catch (error) {
 		return {
 			output: error instanceof Error ? error.message : String(error),
 			isError: true
 		};
 	}
+	const template = briefTemplate(input.root);
+	if (template.file === void 0) return {
+		output: `falta ${template.missing ?? BRIEF_TEMPLATE$1}: no se genera un brief sin la plantilla unica`,
+		isError: true
+	};
+	const source = fs.read(template.file);
+	if (source === void 0) return {
+		output: `no se pudo leer ${template.file}`,
+		isError: true
+	};
 	const existing = fs.list(wavesDir).filter((name) => fs.isDirectory(join(wavesDir, name))).map((name) => Number(/^W(\d+)/.exec(name)?.[1] ?? NaN)).filter((value) => !Number.isNaN(value));
 	const next = input.id ?? `W${existing.length > 0 ? Math.max(...existing) + 1 : 0}`;
 	if (!/^W\d{1,2}$/.test(next)) return {
@@ -219805,8 +219865,9 @@ function runWaveOpenForRoot(input) {
 		isError: true
 	};
 	const dir = join(wavesDir, `${next}-${slug}`);
+	const brief = source.replaceAll("{{WAVE}}", next).replaceAll("{{NAME}}", slug).replaceAll("{{NEXT_EPIC}}", nextEpic(backlogDir));
 	for (const sub of SUBDIRS) fs.mkdir(join(dir, sub));
-	fs.write(join(dir, "00-brief.md"), BRIEF_SKELETON.replaceAll("{{WAVE}}", next).replaceAll("{{NAME}}", slug));
+	fs.write(join(dir, "00-brief.md"), brief);
 	const declared = asArray$2(asRecord$2(rawConfig)["waves"]).map(String);
 	if (!declared.includes(next)) writeJson(fs, configFile, {
 		...asRecord$2(rawConfig),
@@ -219814,11 +219875,11 @@ function runWaveOpenForRoot(input) {
 	});
 	return { output: [
 		`oleada creada: ${next}-${slug}`,
-		`  brief:   ${wavesRel}/${next}-${slug}/00-brief.md (rellena las 7 secciones antes de lanzar asientos)`,
+		`  brief:   ${wavesRel}/${next}-${slug}/00-brief.md (rellena las ${minimum} secciones antes de lanzar asientos)`,
 		`  config:  ${next} declarada en workflow.config.json (el gate la exige desde ahora)`
 	].join("\n") };
 }
-var SUBDIRS, BRIEF_SKELETON;
+var SUBDIRS, BRIEF_TEMPLATE$1, BUNDLED_BRIEF_TEMPLATE;
 var init_openRunner = __esmMin((() => {
 	init_config$6();
 	init_fsJson();
@@ -219830,24 +219891,8 @@ var init_openRunner = __esmMin((() => {
 		"04-verdicts",
 		"05-refined"
 	];
-	BRIEF_SKELETON = [
-		"# {{WAVE}} — Brief: {{NAME}}",
-		"",
-		"## 1. Contexto vinculante",
-		"",
-		"## 2. Alcance",
-		"",
-		"## 3. Evidencia disponible",
-		"",
-		"## 4. Preguntas que esta oleada resuelve",
-		"",
-		"## 5. Formato de salida",
-		"",
-		"## 6. Reglas duras",
-		"",
-		"## 7. Rúbrica (0-5)",
-		""
-	].join("\n");
+	BRIEF_TEMPLATE$1 = "workflow/templates/brief.md";
+	BUNDLED_BRIEF_TEMPLATE = resolve(import.meta.dirname, "../../../../../../../workflow/templates/brief.md");
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/open/open.md?raw
 var open_default;
@@ -219905,6 +219950,85 @@ var init_round$1 = __esmMin((() => {
 	}).strict();
 	IWaveRoundTool = createDecorator("waveRoundTool");
 }));
+// ../../packages/agent-core-v2/src/features/wave/tools/submit/submitRunner.ts
+function seatTicketHash(ticket) {
+	return createHash("sha256").update(ticket).digest("hex");
+}
+function findWaveDir(root, wavesRel, wave) {
+	const fs = nodeWaveFs;
+	const wavesDir = containedPath(root, wavesRel);
+	const name = fs.list(wavesDir).filter((entry) => fs.isDirectory(join(wavesDir, entry))).find((entry) => entry === wave || entry.startsWith(`${wave}-`));
+	return name === void 0 ? void 0 : join(wavesDir, name);
+}
+function runWaveSubmitForRoot(input) {
+	const fs = nodeWaveFs;
+	const rawConfig = readJson$2(fs, join(input.root, "workflow.config.json"));
+	if (rawConfig === void 0) return {
+		output: `no hay workflow.config.json en ${input.root}`,
+		isError: true
+	};
+	const config = makeWaveConfig(rawConfig);
+	const wavesRel = config.layout.waves;
+	const seats = waveRoundSeats(config.roles, input.round);
+	if (!seats.includes(input.role)) return {
+		output: `seats.unknown_seat: el rol "${input.role}" no pertenece a la ronda ${input.round} (esperado ${seats.join(", ")})`,
+		isError: true
+	};
+	let base;
+	try {
+		base = findWaveDir(input.root, wavesRel, input.wave);
+	} catch (error) {
+		return {
+			output: error instanceof Error ? error.message : String(error),
+			isError: true
+		};
+	}
+	if (base === void 0) return {
+		output: `no existe la oleada ${input.wave} en ${wavesRel}`,
+		isError: true
+	};
+	const dirName = WAVE_ROUND_DIRS[input.round];
+	const dir = join(base, dirName);
+	if (!fs.isDirectory(dir)) return {
+		output: `falta el directorio ${dirName} en la oleada ${input.wave}`,
+		isError: true
+	};
+	const seatsDir = join(base, WAVE_SEATS_DIR);
+	if (fs.isDirectory(seatsDir) && fs.list(seatsDir).length > 0) {
+		const presented = (input.ticket ?? "").trim();
+		if (presented === "") return {
+			output: `seats.foreign_replace: el asiento ${input.role} no presento el ticket que emitio la ronda`,
+			isError: true
+		};
+		const stored = (fs.read(join(seatsDir, input.role)) ?? "").trim();
+		if (stored === "" || stored !== seatTicketHash(presented)) return {
+			output: `seats.foreign_replace: el ticket presentado no es el del asiento ${input.role}`,
+			isError: true
+		};
+		if (input.replace === true && (input.reason ?? "").trim() === "") return {
+			output: `seats.replace_without_reason: reescribir el artefacto del asiento ${input.role} exige un motivo no vacio`,
+			isError: true
+		};
+	}
+	const file = join(dir, `${input.role}.md`);
+	if (fs.exists(file) && input.replace !== true) return {
+		output: `el asiento ${input.role} ya entrego su artefacto; un asiento escribe una vez (usa replace solo para relanzar un fallo)`,
+		isError: true
+	};
+	if (input.artifact.trim() === "") return {
+		output: "el artefacto esta vacio: un asiento que no escribe, fallo",
+		isError: true
+	};
+	fs.write(file, input.artifact.endsWith("\n") ? input.artifact : `${input.artifact}\n`);
+	return { output: `escrito ${wavesRel}/${base.split("/").pop()}/${dirName}/${input.role}.md` };
+}
+var WAVE_SEATS_DIR;
+var init_submitRunner = __esmMin((() => {
+	init_config$6();
+	init_fsJson();
+	init_nodeFs();
+	WAVE_SEATS_DIR = ".seats";
+}));
 // ../../packages/agent-core-v2/src/features/wave/tools/round/prompts.ts
 var SEAT_PRELUDE, ROLE_PROMPTS, JUDGE_BIASES;
 var init_prompts$2 = __esmMin((() => {
@@ -219932,16 +220056,6 @@ var init_prompts$2 = __esmMin((() => {
 	];
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/round/roundRunner.ts
-function range(prefix, count) {
-	return Array.from({ length: Math.max(1, count) }, (_, index) => `${prefix}${index + 1}`);
-}
-function roleOf(cfg, round) {
-	if (round === "propose") return cfg.proponents;
-	if (round === "defend") return cfg.defenders;
-	if (round === "attack") return cfg.adversaries;
-	if (round === "judge") return cfg.judges;
-	return 1;
-}
 function runWaveRoundForRoot(input) {
 	const fs = nodeWaveFs;
 	const rawConfig = readJson$2(fs, join(input.root, "workflow.config.json"));
@@ -219950,9 +220064,8 @@ function runWaveRoundForRoot(input) {
 		seats: [],
 		isError: true
 	};
-	const config = asRecord$2(rawConfig);
-	const layout = asRecord$2(config["layout"]);
-	const wavesRel = typeof layout["waves"] === "string" ? layout["waves"] : "design/waves";
+	const config = makeWaveConfig(rawConfig);
+	const wavesRel = config.layout.waves;
 	let wavesDir;
 	try {
 		wavesDir = containedPath(input.root, wavesRel);
@@ -219977,35 +220090,35 @@ function runWaveRoundForRoot(input) {
 		isError: true
 	};
 	const sections = brief.match(/^##\s+\S/gm)?.length ?? 0;
-	if (sections < 7) return {
-		output: `el brief tiene ${sections} secciones < 7: rellena las siete antes de lanzar la ronda`,
+	const minimum = config.thresholds.minBriefSections;
+	if (sections < minimum) return {
+		output: `el brief tiene ${sections} secciones < ${minimum}: rellena las ${minimum} antes de lanzar la ronda`,
 		seats: [],
 		isError: true
 	};
-	const roles = asRecord$2(config["roles"]);
-	const counts = {
-		proponents: typeof roles["proponents"] === "number" ? roles["proponents"] : 3,
-		defenders: typeof roles["defenders"] === "number" ? roles["defenders"] : 3,
-		adversaries: typeof roles["adversaries"] === "number" ? roles["adversaries"] : 3,
-		judges: typeof roles["judges"] === "number" ? roles["judges"] : 3
-	};
-	const shape = ROUNDS[input.round];
-	const seats = shape.roles(roleOf(counts, input.round)).map((role) => {
+	const dir = WAVE_ROUND_DIRS[input.round];
+	const seatsDir = join(wavesDir, waveDir, WAVE_SEATS_DIR);
+	const seats = waveRoundSeats(config.roles, input.round).map((role) => {
 		const bias = input.round === "judge" ? JUDGE_BIASES[(Number(role.slice(1)) - 1) % JUDGE_BIASES.length] : void 0;
-		const file = `${wavesRel}/${waveDir}/${shape.dir}/${role}.md`;
+		const file = `${wavesRel}/${waveDir}/${dir}/${role}.md`;
+		const ticket = randomBytes(16).toString("hex");
+		fs.write(join(seatsDir, role), `${seatTicketHash(ticket)}\n`);
 		const lines = [
 			SEAT_PRELUDE,
 			"",
 			ROLE_PROMPTS[input.round] ?? "",
 			"",
+			`Perfil: ${WAVE_SEAT_PROFILE}`,
 			`Oleada: ${input.wave}. Brief: ${briefRel}.`,
 			`Escribe: ${file}.`,
-			`Entrega con WaveSubmit({ wave: "${input.wave}", round: "${input.round}", role: "${role}", artifact: "..." }).`
+			`Ticket de asiento: ${ticket}. Es capacidad, no identidad: la ronda lo emitio para este asiento y WaveSubmit lo exige.`,
+			`Entrega con WaveSubmit({ wave: "${input.wave}", round: "${input.round}", role: "${role}", ticket: "${ticket}", artifact: "..." }).`
 		];
 		if (bias !== void 0) lines.push(`Tu sesgo declarado es ${bias}: puntua CON el, no contra el.`);
 		return {
 			role,
 			file,
+			ticket,
 			prompt: lines.join("\n")
 		};
 	});
@@ -220014,38 +220127,13 @@ function runWaveRoundForRoot(input) {
 		seats
 	};
 }
-var ROUNDS;
 var init_roundRunner = __esmMin((() => {
 	init_config$6();
 	init_fsJson();
 	init_nodeFs();
+	init_wave$3();
+	init_submitRunner();
 	init_prompts$2();
-	ROUNDS = {
-		propose: {
-			dir: "01-proposals",
-			roles: (count) => range("P", count)
-		},
-		defend: {
-			dir: "02-defenses",
-			roles: (count) => range("D", count)
-		},
-		attack: {
-			dir: "03-attacks",
-			roles: (count) => range("A", count)
-		},
-		judge: {
-			dir: "04-verdicts",
-			roles: (count) => range("J", count)
-		},
-		refine: {
-			dir: "05-refined",
-			roles: () => ["R1"]
-		},
-		audit: {
-			dir: "05-refined",
-			roles: () => ["R2"]
-		}
-	};
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/round/round.md?raw
 var round_default;
@@ -220101,120 +220189,17 @@ var init_submit$1 = __esmMin((() => {
 		]),
 		role: string().min(2),
 		artifact: string().min(1),
+		ticket: string().optional(),
+		reason: string().optional(),
 		replace: boolean$1().optional(),
 		root: string().optional()
 	}).strict();
 	IWaveSubmitTool = createDecorator("waveSubmitTool");
 }));
-// ../../packages/agent-core-v2/src/features/wave/tools/submit/submitRunner.ts
-function findWaveDir(root, wavesRel, wave) {
-	const fs = nodeWaveFs;
-	const wavesDir = containedPath(root, wavesRel);
-	const name = fs.list(wavesDir).filter((entry) => fs.isDirectory(join(wavesDir, entry))).find((entry) => entry === wave || entry.startsWith(`${wave}-`));
-	return name === void 0 ? void 0 : join(wavesDir, name);
-}
-function runWaveSubmitForRoot(input) {
-	const fs = nodeWaveFs;
-	const rawConfig = readJson$2(fs, join(input.root, "workflow.config.json"));
-	if (rawConfig === void 0) return {
-		output: `no hay workflow.config.json en ${input.root}`,
-		isError: true
-	};
-	const layout = asRecord$2(asRecord$2(rawConfig)["layout"]);
-	const wavesRel = typeof layout["waves"] === "string" ? layout["waves"] : "design/waves";
-	const slot = ROUND_SLOTS[input.round];
-	if (!slot.pattern.test(input.role)) return {
-		output: `el rol "${input.role}" no pertenece a la ronda ${input.round} (esperado ${slot.names.join(", ")})`,
-		isError: true
-	};
-	let base;
-	try {
-		base = findWaveDir(input.root, wavesRel, input.wave);
-	} catch (error) {
-		return {
-			output: error instanceof Error ? error.message : String(error),
-			isError: true
-		};
-	}
-	if (base === void 0) return {
-		output: `no existe la oleada ${input.wave} en ${wavesRel}`,
-		isError: true
-	};
-	const dir = join(base, slot.dir);
-	if (!fs.isDirectory(dir)) return {
-		output: `falta el directorio ${slot.dir} en la oleada ${input.wave}`,
-		isError: true
-	};
-	const file = join(dir, `${input.role}.md`);
-	if (fs.exists(file) && input.replace !== true) return {
-		output: `el asiento ${input.role} ya entrego su artefacto; un asiento escribe una vez (usa replace solo para relanzar un fallo)`,
-		isError: true
-	};
-	if (input.artifact.trim() === "") return {
-		output: "el artefacto esta vacio: un asiento que no escribe, fallo",
-		isError: true
-	};
-	fs.write(file, input.artifact.endsWith("\n") ? input.artifact : `${input.artifact}\n`);
-	return { output: `escrito ${wavesRel}/${base.split("/").pop()}/${slot.dir}/${input.role}.md` };
-}
-var ROUND_SLOTS;
-var init_submitRunner = __esmMin((() => {
-	init_config$6();
-	init_fsJson();
-	init_nodeFs();
-	ROUND_SLOTS = {
-		propose: {
-			dir: "01-proposals",
-			pattern: /^P\d+$/,
-			names: [
-				"P1",
-				"P2",
-				"P3"
-			]
-		},
-		defend: {
-			dir: "02-defenses",
-			pattern: /^D\d+$/,
-			names: [
-				"D1",
-				"D2",
-				"D3"
-			]
-		},
-		attack: {
-			dir: "03-attacks",
-			pattern: /^A\d+$/,
-			names: [
-				"A1",
-				"A2",
-				"A3"
-			]
-		},
-		judge: {
-			dir: "04-verdicts",
-			pattern: /^J\d+$/,
-			names: [
-				"J1",
-				"J2",
-				"J3"
-			]
-		},
-		refine: {
-			dir: "05-refined",
-			pattern: /^R1$/,
-			names: ["R1"]
-		},
-		audit: {
-			dir: "05-refined",
-			pattern: /^R2$/,
-			names: ["R2"]
-		}
-	};
-}));
 // ../../packages/agent-core-v2/src/features/wave/tools/submit/submit.md?raw
 var submit_default;
 var init_submit = __esmMin((() => {
-	submit_default = "Deliver the artifact for your seat. This is the only way a seat writes: the tool binds the role to its slot and refuses anything else.\n\nRole and round must match — `propose` accepts P1..Pn, `defend` D1..Dn, `attack` A1..An, `judge` J1..Jn, `refine` R1, `audit` R2. A seat writes once; use `replace` only to relaunch a failed seat after its artifact was already written.\n\nPass the artifact as the text/JSON body. An empty artifact is rejected: a seat that did not write has failed, and the round must be relaunched rather than summarized by the orchestrator.\n";
+	submit_default = "Deliver the artifact for your seat. This is the only way a seat writes: the tool binds the role to its slot and refuses anything else.\n\nRole and round must match — `propose` accepts P1..Pn, `defend` D1..Dn, `attack` A1..An, `judge` J1..Jn, `refine` R1, `audit` R2..Rn. A seat writes once; use `replace` only to relaunch a failed seat after its artifact was already written.\n\nPass the `ticket` the round gave you: the tool hashes it and compares it with the sha256 the round left in `design/waves/<W>/.seats/<role>`. A missing ticket, or the ticket of another seat, is refused as `seats.foreign_replace`. The ticket is capacity, not identity (capacidad, no identidad): it proves the orchestrator issued this seat, it does not say who wrote the artifact. `replace` also needs a non-empty `reason`, or the tool refuses it as `seats.replace_without_reason`: a silent overwrite is the substitution this tool exists to prevent.\n\nPass the artifact as the text/JSON body. An empty artifact is rejected: a seat that did not write has failed, and the round must be relaunched rather than summarized by the orchestrator.\n";
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/submit/submitTool.ts
 var WaveSubmitTool;
@@ -220244,6 +220229,8 @@ var init_submitTool = __esmMin((() => {
 					round: args.round,
 					role: args.role,
 					artifact: args.artifact,
+					ticket: args.ticket,
+					reason: args.reason,
 					replace: args.replace
 				}))
 			};
@@ -220251,7 +220238,196 @@ var init_submitTool = __esmMin((() => {
 	};
 	WaveSubmitTool = __decorate([__decorateParam(0, ISessionContext)], WaveSubmitTool);
 }));
+// ../../packages/agent-core-v2/src/features/wave/core/verify/runner.ts
+function splitCommand(command) {
+	const tokens = [];
+	let current = "";
+	let quote;
+	for (const char of command) {
+		if (quote !== void 0) {
+			if (char === quote) quote = void 0;
+			else current += char;
+			continue;
+		}
+		if (char === "\"" || char === "'") {
+			quote = char;
+			continue;
+		}
+		if (SHELL_METACHARACTERS.has(char)) throw new Error(`metacaracter de shell prohibido en: ${command}`);
+		if (char === " " || char === "	") {
+			if (current !== "") {
+				tokens.push(current);
+				current = "";
+			}
+			continue;
+		}
+		current += char;
+	}
+	if (quote !== void 0) throw new Error(`comillas sin cerrar en: ${command}`);
+	if (current !== "") tokens.push(current);
+	if (tokens.length === 0) throw new Error("comando vacio");
+	return tokens;
+}
+function containPaths(argv, root) {
+	for (const token of argv) {
+		if (token.startsWith("-")) continue;
+		if (!token.includes("/") && !/\.(mjs|cjs|js|ts|sh)$/.test(token)) continue;
+		containedPath(root, token);
+	}
+}
+function runCommand$2(command, options) {
+	let argv;
+	try {
+		argv = splitCommand(command);
+		const binary = (argv[0] ?? "").replace(/\.exe$/i, "");
+		const allowed = options.allowBinaries.map((item) => item.replace(/\.exe$/i, ""));
+		if (!allowed.includes(binary)) throw new Error(`binario no permitido: ${binary} (permitidos: ${allowed.join(", ")})`);
+		containPaths(argv, options.root);
+	} catch (error) {
+		return {
+			ok: false,
+			output: `rechazado: ${error instanceof Error ? error.message : String(error)}`,
+			rejected: true
+		};
+	}
+	const result = spawnSync(argv[0] ?? "", argv.slice(1), {
+		cwd: options.cwd ?? options.root,
+		encoding: "utf8",
+		timeout: options.timeoutMs ?? DEFAULT_TIMEOUT_MS$1,
+		stdio: "pipe",
+		shell: false
+	});
+	const output = `${result.stdout ?? ""}${result.stderr ?? ""}${result.error === void 0 ? "" : result.error.message}`.replaceAll(/\s+/g, " ").trim().slice(0, 300);
+	if (result.error !== void 0) return {
+		ok: false,
+		output: `no se pudo ejecutar: ${output}`,
+		rejected: false
+	};
+	return {
+		ok: result.status === 0,
+		output,
+		rejected: false,
+		status: result.status ?? void 0
+	};
+}
+function exitDetail(outcome) {
+	return outcome.status === void 0 ? outcome.output : `exit ${outcome.status}: ${outcome.output}`;
+}
+function evaluateMutant(ac, verifyCommand, options) {
+	const script = asText$1(asRecord$2(ac["falsifier"])["script"]);
+	if (script === "") return {
+		state: "declarado",
+		detail: "sin falsifier.script: el AC queda declarado y cuenta como FALLO"
+	};
+	const acId = asText$1(ac["id"]);
+	const apply = runCommand$2(`${script} apply`, options);
+	if (apply.rejected) return {
+		state: "rechazado",
+		detail: `apply rechazado (${script}, ${acId}): ${apply.output}`
+	};
+	let mutated;
+	let restore;
+	try {
+		if (apply.ok) mutated = runCommand$2(verifyCommand, options);
+	} finally {
+		restore = runCommand$2(`${script} restore`, options);
+	}
+	const failures = [];
+	if (!apply.ok) failures.push(`apply fallo (${script}, ${acId}) ${exitDetail(apply)}`);
+	if (restore.rejected || !restore.ok) failures.push(`restore fallo (${script}, ${acId}), el arbol puede estar sucio: ${restore.output}`);
+	if (failures.length > 0) return {
+		state: "error",
+		detail: failures.join(" · ")
+	};
+	if (mutated === void 0) return {
+		state: "error",
+		detail: `no se ejecuto el verify con la mutacion de ${acId}`
+	};
+	if (mutated.ok) return {
+		state: "sobrevive",
+		detail: "el verify pasa con la mutacion aplicada: el AC no muerde"
+	};
+	if (!runCommand$2(verifyCommand, options).ok) return {
+		state: "error",
+		detail: "el verify no vuelve a verde tras restaurar"
+	};
+	return {
+		state: "muerto",
+		detail: "rojo con la mutacion, verde tras restaurar"
+	};
+}
+function selectTaskCriteria(fs, root, cfg, taskId, ac) {
+	const tasksDir = containedPath(root, cfg.layout.backlog);
+	const file = walk$1(fs, join(tasksDir, "tasks"), (path) => path.endsWith(`${taskId}.json`))[0];
+	if (file === void 0) throw new Error(`no encuentro la task ${taskId} en ${cfg.layout.backlog}/tasks/`);
+	const criteria = asArray$2(asRecord$2(readJson$2(fs, file))["ac"]).map(asRecord$2);
+	if (ac === void 0) return {
+		taskId,
+		criteria
+	};
+	const selected = criteria.filter((entry) => asText$1(entry["id"]) === ac);
+	if (selected.length === 0) throw new Error(`no existe el criterio ${ac} en la task ${taskId}`);
+	return {
+		taskId,
+		criteria: selected
+	};
+}
+function verifyTask(fs, root, cfg, taskId, options) {
+	const { criteria } = selectTaskCriteria(fs, root, cfg, taskId, options?.ac);
+	const runOptions = {
+		root,
+		allowBinaries: cfg.vocabulary.verifyCommands,
+		cwd: options?.cwd,
+		timeoutMs: options?.timeoutMs
+	};
+	const acs = [];
+	let declared = 0;
+	for (const ac of criteria) {
+		const verifyCommand = asText$1(ac["verify"]);
+		const verify = runCommand$2(verifyCommand, runOptions);
+		const mutant = evaluateMutant(ac, verifyCommand, runOptions);
+		if (mutant.state === "declarado") declared++;
+		const declaredOk = options?.allowDeclared === true && mutant.state === "declarado";
+		const ok = verify.ok && (mutant.state === "muerto" || declaredOk);
+		acs.push({
+			acId: asText$1(ac["id"]),
+			verify,
+			mutant,
+			ok
+		});
+	}
+	return {
+		taskId,
+		acs,
+		declared,
+		ok: acs.length > 0 && acs.every((ac) => ac.ok)
+	};
+}
+var SHELL_METACHARACTERS, DEFAULT_TIMEOUT_MS$1;
+var init_runner = __esmMin((() => {
+	init_config$6();
+	init_fsJson();
+	SHELL_METACHARACTERS = /* @__PURE__ */ new Set([
+		"|",
+		"&",
+		";",
+		"<",
+		">",
+		"`",
+		"$",
+		"\n",
+		"\r"
+	]);
+	DEFAULT_TIMEOUT_MS$1 = 6e5;
+}));
 // ../../packages/agent-core-v2/src/features/wave/core/gate/checks.ts
+function measurableThreshold(text, units) {
+	const low = normalize$1(text);
+	if (OPERATOR_WITH_NUMBER.test(low)) return true;
+	if (EXACT_VALUE.test(low)) return true;
+	if (units.some((unit) => new RegExp(`\\d\\s*${escapeRegExp$1(unit)}\\b`).test(low))) return true;
+	return low.split(/\s*(?:,|;|\by\b)\s*/).filter(Boolean).length >= 3;
+}
 function record$1(value) {
 	return typeof value === "object" && value !== null && !Array.isArray(value) ? value : {};
 }
@@ -220281,13 +220457,349 @@ function walk(fs, dir, accept, acc = []) {
 }
 function requiredArtifacts(cfg) {
 	const required = ["00-brief.md"];
-	for (let i = 1; i <= cfg.roles.proponents; i++) required.push(`01-proposals/P${i}.md`);
-	for (let i = 1; i <= cfg.roles.defenders; i++) required.push(`02-defenses/D${i}.md`);
-	for (let i = 1; i <= cfg.roles.adversaries; i++) required.push(`03-attacks/A${i}.md`);
-	for (let i = 1; i <= cfg.roles.judges; i++) required.push(`04-verdicts/J${i}.md`);
-	required.push("05-refined/R1.md", "05-refined/R2.md", DECISION_FILE, "07-epics.json");
+	for (const round of WAVE_ROUNDS) for (const seat of waveRoundSeats(cfg.roles, round)) required.push(`${WAVE_ROUND_DIRS[round]}/${seat}.md`);
+	required.push(DECISION_FILE, "07-epics.json");
 	return required;
 }
+function briefSections(text) {
+	const sections = [];
+	let current;
+	for (const line of text.split("\n")) {
+		const heading = /^##\s+(.+?)\s*$/.exec(line);
+		if (heading !== null) {
+			current = {
+				title: heading[1] ?? "",
+				body: []
+			};
+			sections.push(current);
+			continue;
+		}
+		if (/^#\s+/.test(line)) {
+			current = void 0;
+			continue;
+		}
+		current?.body.push(line);
+	}
+	return sections.map((section) => ({
+		title: section.title,
+		body: section.body.join("\n").trim()
+	}));
+}
+function sectionKeyword(title) {
+	return normalize$1(title).replace(/^\d+\.?\s*/, "").match(/[a-z0-9]+/)?.[0] ?? "";
+}
+function decisionStrip(value) {
+	return (value ?? "").replaceAll("*", "").trim();
+}
+function decisionSplitRow(line) {
+	return line.trim().replace(/^\|/, "").replace(/\|$/, "").split("|").map((cell) => cell.trim());
+}
+function isDecisionSeparator(row) {
+	return row.length > 0 && row.every((cell) => DECISION_SEPARATOR.test(decisionStrip(cell)));
+}
+function decisionTables(text) {
+	const blocks = [];
+	let current = [];
+	for (const line of text.split("\n")) {
+		if (line.trim().startsWith("|")) {
+			current.push(decisionSplitRow(line));
+			continue;
+		}
+		if (current.length > 0) blocks.push(current);
+		current = [];
+	}
+	if (current.length > 0) blocks.push(current);
+	return blocks.filter((block) => block.length >= 2).map((block) => ({
+		header: block[0] ?? [],
+		body: block.slice(1).filter((row) => !isDecisionSeparator(row) && row.length === (block[0] ?? []).length)
+	}));
+}
+function decisionNumber(cell) {
+	const value = decisionStrip(cell);
+	if (value === "") return void 0;
+	const match = DECISION_LEADING_NUMBER.exec(value);
+	return match === null ? void 0 : Number(match[0].replace(",", "."));
+}
+function decisionProposal(cell) {
+	const value = decisionStrip(cell);
+	if (value === "") return void 0;
+	return DECISION_PROPOSAL.test(value.toLowerCase()) ? value.toUpperCase() : void 0;
+}
+function decisionAxis(row, axes) {
+	const low = normalize$1(decisionStrip(row));
+	if (low === "") return void 0;
+	const exact = axes.find((axis) => normalize$1(axis) === low);
+	if (exact !== void 0) return exact;
+	return axes.find((axis) => low.includes(normalize$1(axis)));
+}
+function isDecisionTotal(cell) {
+	return /\btotal\b/.test(normalize$1(decisionStrip(cell)));
+}
+function isDecisionMedian(cell) {
+	return /\bmedian/.test(normalize$1(decisionStrip(cell)));
+}
+function decisionColumn(header, predicate) {
+	return header.findIndex((cell) => predicate(cell));
+}
+function findDecisionMatrix(blocks, axes) {
+	let best;
+	for (const block of blocks) {
+		const header = block.header.map(decisionStrip);
+		const columnProposals = header.filter((cell) => decisionProposal(cell) !== void 0);
+		const rowProposals = block.body.filter((row) => decisionProposal(row[0]) !== void 0);
+		const axisColumns = header.filter((cell) => decisionAxis(cell, axes) !== void 0 && !isDecisionTotal(cell) && !isDecisionMedian(cell));
+		const axisRows = block.body.filter((row) => decisionAxis(row[0], axes) !== void 0);
+		const byColumn = columnProposals.length >= 2 && axisRows.length > 0;
+		const byRow = rowProposals.length >= 2 && axisColumns.length > 0;
+		if (!byColumn && !byRow) continue;
+		const score = Math.max(axisRows.length, axisColumns.length) * 10 + Math.max(columnProposals.length, rowProposals.length);
+		if (best === void 0 || score > best.score) best = {
+			block,
+			orientation: byColumn ? "columns" : "rows",
+			score
+		};
+	}
+	return best;
+}
+function readDecisionColumns(block, axes, proposals, found) {
+	const indexes = /* @__PURE__ */ new Map();
+	for (const [index, cell] of block.header.entries()) {
+		const proposal = decisionProposal(cell);
+		if (proposal !== void 0 && !indexes.has(proposal)) indexes.set(proposal, index);
+	}
+	for (const row of block.body) {
+		const axis = decisionAxis(row[0], axes);
+		if (axis === void 0 || found.has(axis)) continue;
+		const cells = {};
+		found.set(axis, {
+			label: decisionStrip(row[0]),
+			cells
+		});
+		for (const proposal of proposals) {
+			const index = indexes.get(proposal);
+			cells[proposal] = index === void 0 ? void 0 : decisionNumber(row[index]);
+		}
+	}
+	return indexes;
+}
+function readDecisionRows(block, axes, found) {
+	const columns = [];
+	for (const [index, cell] of block.header.entries()) {
+		const axis = decisionAxis(cell, axes);
+		if (axis === void 0 || isDecisionTotal(cell) || isDecisionMedian(cell)) continue;
+		columns.push({
+			axis,
+			index,
+			label: decisionStrip(cell)
+		});
+	}
+	const seen = [];
+	for (const row of block.body) {
+		const proposal = decisionProposal(row[0]);
+		if (proposal === void 0) continue;
+		if (!seen.includes(proposal)) seen.push(proposal);
+		for (const column of columns) {
+			const existing = found.get(column.axis);
+			const entry = existing ?? {
+				label: column.label,
+				cells: {}
+			};
+			if (existing === void 0) found.set(column.axis, entry);
+			if (entry.cells[proposal] !== void 0) continue;
+			entry.cells[proposal] = decisionNumber(row[column.index]);
+		}
+	}
+	return seen;
+}
+function decisionDeclarations(blocks, matrix, proposals) {
+	const totals = {};
+	const medians = {};
+	const take = (target, proposal, value) => {
+		if (proposal === void 0 || value === void 0 || target[proposal] !== void 0) return;
+		target[proposal] = value;
+	};
+	if (matrix !== void 0) {
+		const header = matrix.block.header.map(decisionStrip);
+		const totalColumn = matrix.orientation === "rows" ? decisionColumn(header, isDecisionTotal) : -1;
+		const medianColumn = matrix.orientation === "rows" ? decisionColumn(header, isDecisionMedian) : -1;
+		for (const row of matrix.block.body) {
+			const proposal = decisionProposal(row[0]);
+			if (proposal !== void 0) {
+				if (totalColumn !== -1) take(totals, proposal, decisionNumber(row[totalColumn]));
+				if (medianColumn !== -1) take(medians, proposal, decisionNumber(row[medianColumn]));
+				continue;
+			}
+			if (isDecisionTotal(row[0]) || isDecisionMedian(row[0])) {
+				const target = isDecisionTotal(row[0]) ? totals : medians;
+				for (const item of proposals) {
+					const index = header.findIndex((cell) => decisionProposal(cell) === item);
+					take(target, item, index === -1 ? void 0 : decisionNumber(row[index]));
+				}
+			}
+		}
+	}
+	for (const block of blocks) {
+		const header = block.header.map(decisionStrip);
+		const totalColumn = decisionColumn(header, isDecisionTotal);
+		const medianColumn = decisionColumn(header, isDecisionMedian);
+		if (totalColumn === -1 && medianColumn === -1) continue;
+		for (const row of block.body) {
+			const proposal = decisionProposal(row[0]);
+			if (proposal === void 0) continue;
+			if (totalColumn !== -1) take(totals, proposal, decisionNumber(row[totalColumn]));
+			if (medianColumn !== -1) take(medians, proposal, decisionNumber(row[medianColumn]));
+		}
+	}
+	return {
+		totals,
+		medians
+	};
+}
+function decisionMargins(blocks) {
+	for (const block of blocks) {
+		const header = block.header.map(decisionStrip);
+		const judgeColumn = decisionColumn(header, (cell) => normalize$1(cell).includes("juez"));
+		const marginColumn = decisionColumn(header, (cell) => normalize$1(cell).includes("margen"));
+		if (judgeColumn === -1 || marginColumn === -1) continue;
+		const preferColumn = decisionColumn(header, (cell) => normalize$1(cell).includes("prefer"));
+		const rows = [];
+		for (const row of block.body) {
+			const judge = decisionStrip(row[judgeColumn]);
+			if (!DECISION_JUDGE.test(judge)) continue;
+			const margin = DECISION_SIGNED_MARGIN.exec(decisionStrip(row[marginColumn]));
+			if (margin === null) continue;
+			rows.push({
+				judge,
+				margin: Number((margin[1] ?? "0").replace(",", ".")),
+				prefers: preferColumn === -1 ? void 0 : decisionProposal(row[preferColumn])
+			});
+		}
+		if (rows.length > 0) return rows;
+	}
+	return [];
+}
+function decisionDissent(text) {
+	const lines = text.split("\n");
+	const start = lines.findIndex((line) => /^#{1,3}\s+\d*\.?\s*disidencias/i.test(line));
+	if (start === -1) return void 0;
+	const level = /^(#{1,3})/.exec(lines[start] ?? "")?.[1]?.length ?? 1;
+	const collected = [];
+	for (const line of lines.slice(start + 1)) {
+		const heading = /^(#{1,3})\s+\S/.exec(line);
+		if (heading !== null && (heading[1] ?? "").length <= level) break;
+		collected.push(line);
+	}
+	return collected.join("\n").trim();
+}
+function parseDecisionMatrix(text, options) {
+	const axes = options.axes.map(String);
+	const blocks = decisionTables(text);
+	const matrix = findDecisionMatrix(blocks, axes);
+	const found = /* @__PURE__ */ new Map();
+	let proposals = options.proposals.map(String);
+	let present = [];
+	if (matrix !== void 0) {
+		if (matrix.orientation === "columns") {
+			if (proposals.length === 0) proposals = matrix.block.header.map(decisionStrip).map(decisionProposal).filter((label) => label !== void 0);
+			const indexes = readDecisionColumns(matrix.block, axes, proposals, found);
+			present = proposals.filter((proposal) => indexes.has(proposal));
+		} else {
+			if (proposals.length === 0) proposals = matrix.block.body.map((row) => decisionProposal(row[0])).filter((label) => label !== void 0);
+			const seen = readDecisionRows(matrix.block, axes, found);
+			present = proposals.filter((proposal) => seen.includes(proposal));
+		}
+	}
+	const axisRows = [];
+	const cells = [];
+	const missing = [];
+	for (const axis of axes) {
+		const row = found.get(axis);
+		if (row === void 0) continue;
+		axisRows.push({
+			axis,
+			label: row.label,
+			cells: row.cells
+		});
+		for (const proposal of present) {
+			const value = row.cells[proposal];
+			if (typeof value === "number") cells.push({
+				axis,
+				proposal,
+				value
+			});
+			else missing.push({
+				axis,
+				proposal
+			});
+		}
+	}
+	const declarations = decisionDeclarations(blocks, matrix, proposals);
+	const axesFound = axisRows.map((row) => row.axis);
+	return {
+		present: matrix !== void 0,
+		orientation: matrix?.orientation,
+		header: matrix === void 0 ? [] : matrix.block.header.map(decisionStrip),
+		proposals,
+		presentProposals: present,
+		axisRows,
+		cells,
+		missing,
+		axesFound,
+		axesMissing: axes.filter((axis) => !axesFound.includes(axis)),
+		totals: declarations.totals,
+		medians: declarations.medians,
+		margins: decisionMargins(blocks),
+		dissent: decisionDissent(text)
+	};
+}
+function decisionProposalSum(matrix, proposal) {
+	const values = matrix.axisRows.map((row) => row.cells[proposal]);
+	if (values.length === 0) return void 0;
+	let total = 0;
+	for (const value of values) {
+		if (typeof value !== "number") return void 0;
+		total += value;
+	}
+	return total;
+}
+function decisionMedian(values) {
+	if (values.length === 0) return void 0;
+	const sorted = [...values].toSorted((left, right) => left - right);
+	const middle = Math.floor(sorted.length / 2);
+	const current = sorted[middle];
+	if (current === void 0) return void 0;
+	if (sorted.length % 2 === 1) return current;
+	const previous = sorted[middle - 1];
+	return previous === void 0 ? void 0 : (previous + current) / 2;
+}
+function decisionRecalculateMedians(verdicts, options) {
+	const tables = [];
+	const missing = [];
+	for (const verdict of verdicts) {
+		const matrix = parseDecisionMatrix(verdict.text, options);
+		if (!(matrix.present && matrix.axesMissing.length === 0 && matrix.missing.length === 0)) {
+			missing.push(verdict.file);
+			continue;
+		}
+		const totals = {};
+		for (const proposal of matrix.proposals) totals[proposal] = decisionProposalSum(matrix, proposal) ?? NaN;
+		tables.push({
+			file: verdict.file,
+			totals
+		});
+	}
+	const medians = {};
+	if (missing.length === 0 && tables.length > 0) for (const proposal of options.proposals) {
+		const values = tables.map((entry) => entry.totals[proposal]).filter((value) => typeof value === "number" && Number.isFinite(value));
+		if (values.length !== tables.length) continue;
+		const value = decisionMedian(values);
+		if (value !== void 0) medians[proposal] = value;
+	}
+	return {
+		medians,
+		missing
+	};
+}
 function runWaveGate(fs, root, cfg) {
 	const findings = [];
 	const blocks = [];
@@ -220315,8 +220827,24 @@ function runWaveGate(fs, root, cfg) {
 	let epics = [];
 	let tasks = [];
 	let totalAc = 0;
+	const state = waveConfigState(cfg);
 	block("config", () => {
 		if (cfg.loadedFrom === void 0) add("config.missing", null, "no se encontro workflow.config.json");
+		const raw = state.raw;
+		const version = typeof raw["version"] === "number" ? raw["version"] : state.version;
+		for (const key of [
+			"version",
+			"layout",
+			"waves",
+			"thresholds",
+			"vocabulary"
+		]) if (raw[key] === void 0) add("config.missing_key", null, `falta la clave "${key}"`);
+		if (version !== 1 && version !== 2) add("config.version_unknown", null, `version "${String(version)}" fuera de uno y dos: el gate no sabe leerla`);
+		if (version === 2) {
+			if (raw["wavesOpen"] === void 0) add("config.missing_key", null, "falta la clave \"wavesOpen\"");
+			if (raw["vocabulary"] === void 0 || record$1(raw["vocabulary"])["units"] === void 0) add("config.missing_key", null, "falta la clave \"vocabulary.units\"");
+			if (raw["falsifier"] === void 0) add("config.missing_key", null, "falta la clave \"falsifier\"");
+		}
 		if (cfg.waves.length === 0) add("config.bad_waves", null, "waves debe ser un array no vacio");
 		if (vocabulary.verifyCommands.length === 0) add("config.bad_vocabulary", null, "vocabulary.verifyCommands vacio");
 		if (vocabulary.verifyPrefixes.length === 0) add("config.bad_vocabulary", null, "vocabulary.verifyPrefixes vacio");
@@ -220352,19 +220880,89 @@ function runWaveGate(fs, root, cfg) {
 			}
 		}
 	});
+	block("brief", () => {
+		const templateFile = join(root, BRIEF_TEMPLATE);
+		if (!fs.exists(templateFile)) return;
+		const template = briefSections(fs.read(templateFile) ?? "");
+		if (wavesDir === void 0 || !fs.isDirectory(wavesDir)) return;
+		for (const wave of cfg.waves) {
+			const match = waveDirs.find((name) => name === wave || name.startsWith(`${wave}-`));
+			if (match === void 0) continue;
+			const file = join(wavesDir, match, "00-brief.md");
+			const text = fs.read(file);
+			if (text === void 0) continue;
+			const at = relative$1(root, file);
+			const sections = briefSections(text);
+			if (sections.length !== template.length) add("waves.brief_template_drift", at, `${sections.length} secciones frente a ${template.length} de ${BRIEF_TEMPLATE}: el brief ya no sigue la plantilla`);
+			for (const [index, expected] of template.entries()) {
+				const section = sections[index];
+				if (section === void 0) continue;
+				if (sectionKeyword(section.title) !== sectionKeyword(expected.title)) add("waves.brief_template_drift", at, `la seccion ${index + 1} se titula "${section.title}" y ${BRIEF_TEMPLATE} exige "${expected.title}"`);
+			}
+			for (const section of sections) if (section.body === "") add("waves.brief_empty_section", at, `la seccion "${section.title}" no tiene contenido`);
+		}
+	});
 	block("decision", () => {
 		const dir = wavesDir;
 		if (dir === void 0 || !fs.isDirectory(dir)) return;
+		const axes = cfg.quorum.axes;
+		const proposals = Array.from({ length: cfg.roles.proponents }, (_, index) => `P${index + 1}`);
+		const judges = cfg.roles.judges;
 		for (const wave of cfg.waves) {
 			const match = waveDirs.find((name) => name === wave || name.startsWith(`${wave}-`));
 			if (match === void 0) continue;
-			const file = join(dir, match, DECISION_FILE);
+			const base = join(dir, match);
+			const file = join(base, DECISION_FILE);
 			const text = fs.read(file);
 			if (text === void 0) continue;
 			const low = normalize$1(text);
 			const at = relative$1(root, file);
-			for (let i = 1; i <= cfg.roles.proponents; i++) if (!low.includes(`p${i}`)) add("waves.decision_missing_role", at, `no nombra la propuesta P${i} de la matriz`);
-			for (const axis of cfg.quorum.axes) if (!low.includes(normalize$1(axis))) add("waves.decision_missing_axis", at, `sin eje "${axis}" en la matriz`);
+			const matrix = parseDecisionMatrix(text, {
+				axes,
+				proposals
+			});
+			for (const proposal of proposals) if (!matrix.presentProposals.includes(proposal)) add("waves.decision_missing_role", at, `no hay columna ${proposal} en la matriz de la ronda`);
+			if (!matrix.present) add("waves.decision_without_quorum", at, "sin tabla de la matriz: la ronda no trae puntuaciones que auditar");
+			else {
+				for (const axis of axes) if (!matrix.axesFound.includes(axis)) add("waves.decision_missing_axis", at, `sin eje "${axis}" en la matriz`);
+				for (const item of matrix.missing) add("waves.decision_matrix_incomplete", at, `eje "${item.axis}" · propuesta ${item.proposal}: celda vacia`);
+				for (const proposal of proposals) {
+					const declared = matrix.totals[proposal];
+					const sum = decisionProposalSum(matrix, proposal);
+					if (declared === void 0 || sum === void 0 || declared === sum) continue;
+					add("waves.decision_total_mismatch", at, `${proposal}: total declarado ${declared} y recalculado ${sum} desde las celdas de la matriz`);
+				}
+				if (proposals.some((proposal) => matrix.medians[proposal] !== void 0)) {
+					const verdictsDir = join(base, "04-verdicts");
+					const recalc = decisionRecalculateMedians(Array.from({ length: judges }, (_, index) => {
+						const name = `J${index + 1}.md`;
+						return {
+							file: `${relative$1(root, verdictsDir)}/${name}`,
+							text: fs.read(join(verdictsDir, name)) ?? ""
+						};
+					}), {
+						axes,
+						proposals
+					});
+					for (const missing of recalc.missing) add("waves.decision_matrix_incomplete", missing, `sin tabla de ${axes.length} ejes por propuesta: no hay de donde recalcular la mediana`);
+					if (recalc.missing.length === 0) {
+						const citation = Array.from({ length: judges }, (_, index) => `04-verdicts/J${index + 1}.md`).join(", ");
+						for (const proposal of proposals) {
+							const declared = matrix.medians[proposal];
+							const value = recalc.medians[proposal];
+							if (declared === void 0 || value === void 0 || declared === value) continue;
+							add("waves.decision_median_mismatch", at, `${proposal}: mediana declarada ${declared} y recalculada ${value} desde ${citation}`);
+						}
+					}
+				}
+				if (matrix.margins.length > 0) {
+					const dissent = normalize$1(matrix.dissent ?? "");
+					for (const row of matrix.margins) {
+						if (row.margin >= 0 || dissent.includes(normalize$1(row.judge))) continue;
+						add("waves.decision_undisclosed_dissent", at, `${row.judge}: margen ${row.margin} y no aparece en "## Disidencias"`);
+					}
+				}
+			}
 			if (!/^#{1,3}\s+\d*\.?\s*disidencias/im.test(text)) add("waves.decision_without_dissent", at, "falta la seccion \"## Disidencias\"");
 			if (text.length < thresholds.minDecisionBytes) add("waves.decision_thin", at, `${text.length} B < ${thresholds.minDecisionBytes} B minimos`);
 			const numbers = text.match(/\b\d+(?:[.,]\d+)?\b/g)?.length ?? 0;
@@ -220453,8 +221051,16 @@ function runWaveGate(fs, root, cfg) {
 		if (tasks.length < thresholds.minTasks) add("tasks.count", null, `${tasks.length} tasks < ${thresholds.minTasks} minimas`);
 	});
 	block("ac", () => {
-		const vague = vocabulary.vagueWords.map((word) => normalize$1(word)).filter(Boolean);
+		const vague = vocabulary.vagueWords.map((word) => normalize$1(word)).filter(Boolean).map((word) => ({
+			word,
+			root: word.replace(/[aeiou]$/, "")
+		})).filter((entry) => entry.root !== "");
+		const units = asArray$1(record$1(state.raw["vocabulary"])["units"]).map(str$2).map(normalize$1).filter(Boolean);
+		const falsifierLexicon = record$1(state.raw["falsifier"]);
+		const stateVerbs = asArray$1(falsifierLexicon["stateVerbs"]).map(str$2).map(normalize$1).filter(Boolean);
+		const stateObjects = asArray$1(falsifierLexicon["stateObjects"]).map(str$2).map(normalize$1).filter(Boolean);
 		const withFalsifier = /* @__PURE__ */ new Set();
+		const openWaves = new Set(state.wavesOpen);
 		for (const task of tasks) {
 			const taskId = str$2(task["id"]);
 			for (const raw of asArray$1(task["ac"])) {
@@ -220474,17 +221080,53 @@ function runWaveGate(fs, root, cfg) {
 				}
 				const metric = str$2(ac["metric"]);
 				if (metric !== "" && metric.length < thresholds.minMetricChars) add("ac.short_metric", at, `"metric" < ${thresholds.minMetricChars} caracteres`);
-				const prose = normalize$1(`${str$2(ac["then"])} ${str$2(ac["threshold"])} ${metric}`);
-				const hit = vague.find((word) => new RegExp(`(^|[^a-z0-9])${word}([^a-z0-9]|$)`).test(prose));
-				if (hit !== void 0) add("ac.vague_language", at, `"${hit}" no es medible: el AC no muerde`);
+				const threshold = str$2(ac["threshold"]);
+				if (threshold !== "" && !measurableThreshold(threshold, units)) add("ac.threshold_not_measurable", at, `"${threshold}" no compara ninguna magnitud: falta operador con numero, numero con unidad o conjunto enumerable`);
+				const prose = normalize$1(`${str$2(ac["then"])} ${threshold} ${metric}`);
+				const vagueHit = vague.find((entry) => new RegExp(`\\b${escapeRegExp$1(entry.root)}[a-z]{0,10}\\b`).test(prose));
+				if (vagueHit !== void 0) {
+					const matched = new RegExp(`\\b${escapeRegExp$1(vagueHit.root)}[a-z]{0,10}\\b`).exec(prose)?.[0] ?? vagueHit.root;
+					add("ac.vague_language", at, `"${matched}" contiene la raiz "${vagueHit.root}" de "${vagueHit.word}": no es medible`);
+				}
 				const verify = str$2(ac["verify"]).trim();
 				if (verify !== "") {
 					const command = verify.split(/\s+/)[0] ?? "";
 					if (!vocabulary.verifyCommands.includes(command)) add("ac.verify_not_command", at, `"${command}" no es un comando de la lista permitida`);
 					else {
-						const matched = verify.match(/\b((?:[\w.-]+\/)+[\w.-]+)/)?.[1];
-						if (matched === void 0) add("ac.verify_outside_test_plan", at, "el comando no apunta a ningun fichero o directorio verificable");
-						else if (!vocabulary.verifyPrefixes.some((prefix) => matched.startsWith(prefix))) add("ac.verify_outside_test_plan", at, `"${matched}" fuera del test plan declarado`);
+						let argv;
+						try {
+							argv = splitCommand(verify);
+						} catch (error) {
+							add("ac.verify_command_unsafe", at, error instanceof Error ? error.message : String(error));
+						}
+						if (argv !== void 0) {
+							let escaped;
+							for (const token of argv) {
+								if (token.startsWith("-") || !token.includes("/")) continue;
+								try {
+									containedPath(root, token);
+								} catch {
+									escaped = token;
+									break;
+								}
+							}
+							if (escaped !== void 0) add("ac.verify_command_unsafe", at, `el token "${escaped}" escapa de la raiz del paquete`);
+							else {
+								const token = argv.slice(1).find((item) => !item.startsWith("-") && item.includes("/"));
+								if (token === void 0) add("ac.verify_outside_test_plan", at, "el comando no apunta a ningun fichero o directorio verificable");
+								else {
+									const target = token.replace(/^\.\//, "");
+									if (!vocabulary.verifyPrefixes.some((prefix) => target.startsWith(prefix))) add("ac.verify_outside_test_plan", at, `"${target}" fuera del test plan declarado`);
+									else if (state.version >= 2 && !openWaves.has(str$2(task["wave"])) && !fs.exists(join(root, target))) add("ac.verify_target_missing", at, `el destino "${target}" no existe bajo la raiz del paquete`);
+									const destination = join(root, target);
+									const isTest = /(^|\/)test\//.test(target) || /\.test\./.test(target);
+									const exempt = /(^|\/)scripts\//.test(target);
+									if (isTest && !exempt && fs.exists(destination) && fs.isDirectory(destination) === false) {
+										if ((fs.read(destination) ?? "").match(ASSERTION) === null) add("ac.verify_stub", at, `el destino "${target}" no tiene ninguna asercion: el verify no mide nada`);
+									}
+								}
+							}
+						}
 					}
 				}
 				const falsifier = record$1(ac["falsifier"]);
@@ -220494,6 +221136,11 @@ function runWaveGate(fs, root, cfg) {
 					if (mutation.length < thresholds.minFieldChars) add("ac.falsifier_thin", at, "falsifier.mutation insuficiente");
 					else if (expect.length < thresholds.minFieldChars) add("ac.falsifier_thin", at, "falsifier.expect insuficiente");
 					else withFalsifier.add(taskId);
+					const normalizedMutation = normalize$1(mutation);
+					const verb = stateVerbs.find((entry) => new RegExp(`\\b${escapeRegExp$1(entry)}[a-z]{0,4}\\b`).test(normalizedMutation));
+					const object = stateObjects.find((entry) => new RegExp(`\\b${escapeRegExp$1(entry)}s?\\b`).test(normalizedMutation));
+					const reversible = str$2(falsifier["script"]).trim() !== "" || str$2(falsifier["restore"]).trim() !== "";
+					if (verb !== void 0 && object !== void 0 && !reversible) add("ac.falsifier_not_reversible", at, `la mutacion "${verb} ... ${object}" toca estado sin falsifier.script ni falsifier.restore`);
 				}
 			}
 		}
@@ -220555,14 +221202,17 @@ function runWaveGate(fs, root, cfg) {
 			waves: cfg.waves.length,
 			epics: epics.length,
 			tasks: tasks.length,
-			ac: totalAc
+			ac: totalAc,
+			notRun: NOT_RUN_BLOCKS
 		}
 	};
 }
-var DECISION_FILE, AC_FIELDS, normalize$1, relative$1;
+var DECISION_FILE, BRIEF_TEMPLATE, AC_FIELDS, OPERATOR_WITH_NUMBER, EXACT_VALUE, ASSERTION, escapeRegExp$1, NOT_RUN_BLOCKS, normalize$1, relative$1, DECISION_SEPARATOR, DECISION_PROPOSAL, DECISION_LEADING_NUMBER, DECISION_JUDGE, DECISION_SIGNED_MARGIN;
 var init_checks = __esmMin((() => {
 	init_config$6();
+	init_runner();
 	DECISION_FILE = "06-DECISION.md";
+	BRIEF_TEMPLATE = "workflow/templates/brief.md";
 	AC_FIELDS = [
 		"id",
 		"given",
@@ -220573,8 +221223,24 @@ var init_checks = __esmMin((() => {
 		"verify",
 		"falsifier"
 	];
+	OPERATOR_WITH_NUMBER = /[=<>≥≤]\s*\d|\b(?:mayor|menor|igual|al menos|como maximo|como minimo)\b[^0-9]{0,20}\d/;
+	EXACT_VALUE = /\b\d+(?:[.,]\d+)?\s+(?:exacto|exacta|exactos|exactas|fijo|fija|justo|justa)\b/;
+	ASSERTION = /\bassert\b|\bexpect\s*\(|\bit\s*\(|\btest\s*\(|\bfailures\b|process\.exit\s*\(\s*(?!0\b)/g;
+	escapeRegExp$1 = (value) => value.replaceAll(/[.*+?^${}()|[\]\\]/g, "\\$&");
+	NOT_RUN_BLOCKS = [{
+		block: "regression",
+		closedBy: "oracle"
+	}, {
+		block: "schemas",
+		closedBy: "oracle"
+	}];
 	normalize$1 = (value) => value.normalize("NFD").replaceAll(/[\u0300-\u036F]/g, "").toLowerCase();
 	relative$1 = (root, path) => path.startsWith(root) ? path.slice(root.length).replaceAll("\\", "/").replace(/^\/+/, "") : path;
+	DECISION_SEPARATOR = /^:?-{2,}:?$/;
+	DECISION_PROPOSAL = /^p\d+$/;
+	DECISION_LEADING_NUMBER = /^[+-]?\d+(?:[.,]\d+)?/;
+	DECISION_JUDGE = /^J\d+$/;
+	DECISION_SIGNED_MARGIN = /^([+-]?\d+(?:[.,]\d+)?)$/;
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/gate/gateRunner.ts
 function runWaveGateForRoot(input) {
@@ -220596,6 +221262,7 @@ function runWaveGateForRoot(input) {
 	};
 	const lines = [`GATE — ${report.ok ? "verde" : "con hallazgos"}`, ""];
 	for (const block of report.blocks) lines.push(`${block.ok ? "OK  " : "FAIL"}  ${block.name}`);
+	for (const entry of report.summary.notRun) lines.push(`NO EJECUTADO  ${entry.block}  — cerrado por ${entry.closedBy}`);
 	if (report.findings.length > 0) {
 		lines.push("", `PENDIENTE: ${report.findings.length} hallazgo(s)`, "");
 		for (const finding of report.findings) lines.push(`  - ${finding.code}${finding.path === null ? "" : `  ${finding.path}`}  — ${finding.message}`);
@@ -220654,168 +221321,37 @@ var init_verify$1 = __esmMin((() => {
 	init_instantiation();
 	WaveVerifyToolInputSchema = object$1({
 		task: string().min(3),
-		root: string().optional()
+		root: string().optional(),
+		ac: string().min(3).optional(),
+		dryRun: boolean$1().optional(),
+		allowDeclared: boolean$1().optional()
 	}).strict();
 	IWaveVerifyTool = createDecorator("waveVerifyTool");
 }));
-// ../../packages/agent-core-v2/src/features/wave/core/verify/runner.ts
-function splitCommand(command) {
-	const tokens = [];
-	let current = "";
-	let quote;
-	for (const char of command) {
-		if (quote !== void 0) {
-			if (char === quote) quote = void 0;
-			else current += char;
-			continue;
-		}
-		if (char === "\"" || char === "'") {
-			quote = char;
-			continue;
-		}
-		if (SHELL_METACHARACTERS.has(char)) throw new Error(`metacaracter de shell prohibido en: ${command}`);
-		if (char === " " || char === "	") {
-			if (current !== "") {
-				tokens.push(current);
-				current = "";
-			}
-			continue;
-		}
-		current += char;
-	}
-	if (quote !== void 0) throw new Error(`comillas sin cerrar en: ${command}`);
-	if (current !== "") tokens.push(current);
-	if (tokens.length === 0) throw new Error("comando vacio");
-	return tokens;
-}
-function containPaths(argv, root) {
-	for (const token of argv) {
-		if (token.startsWith("-")) continue;
-		if (!token.includes("/") && !/\.(mjs|cjs|js|ts|sh)$/.test(token)) continue;
-		containedPath(root, token);
-	}
+// ../../packages/agent-core-v2/src/features/wave/tools/verify/verifyRunner.ts
+function failure$1(error) {
+	return {
+		output: error instanceof Error ? error.message : String(error),
+		isError: true
+	};
 }
-function runCommand$2(command, options) {
-	let argv;
+function runDry(root, config, input) {
+	let selected;
 	try {
-		argv = splitCommand(command);
-		const binary = (argv[0] ?? "").replace(/\.exe$/i, "");
-		const allowed = options.allowBinaries.map((item) => item.replace(/\.exe$/i, ""));
-		if (!allowed.includes(binary)) throw new Error(`binario no permitido: ${binary} (permitidos: ${allowed.join(", ")})`);
-		containPaths(argv, options.root);
+		selected = selectTaskCriteria(nodeWaveFs, root, config, input.task, input.ac);
 	} catch (error) {
-		return {
-			ok: false,
-			output: `rechazado: ${error instanceof Error ? error.message : String(error)}`,
-			rejected: true
-		};
+		return failure$1(error);
 	}
-	const result = spawnSync(argv[0] ?? "", argv.slice(1), {
-		cwd: options.cwd ?? options.root,
-		encoding: "utf8",
-		timeout: options.timeoutMs ?? DEFAULT_TIMEOUT_MS$1,
-		stdio: "pipe",
-		shell: false
-	});
-	const output = `${result.stdout ?? ""}${result.stderr ?? ""}${result.error === void 0 ? "" : result.error.message}`.replaceAll(/\s+/g, " ").trim().slice(0, 300);
-	if (result.error !== void 0) return {
-		ok: false,
-		output: `no se pudo ejecutar: ${output}`,
-		rejected: false
-	};
-	return {
-		ok: result.status === 0,
-		output,
-		rejected: false
-	};
-}
-function evaluateMutant(ac, verifyCommand, options) {
-	const script = asText$1(asRecord$2(ac["falsifier"])["script"]);
-	if (script === "") return {
-		state: "declarado",
-		detail: "sin falsifier.script: el AC queda declarado y cuenta como FALLO"
-	};
-	const apply = runCommand$2(`${script} apply`, options);
-	if (apply.rejected) return {
-		state: "rechazado",
-		detail: `apply rechazado: ${apply.output}`
-	};
-	if (!apply.ok) return {
-		state: "error",
-		detail: `apply fallo: ${apply.output}`
-	};
-	const mutated = runCommand$2(verifyCommand, options);
-	const restore = runCommand$2(`${script} restore`, options);
-	const after = runCommand$2(verifyCommand, options);
-	if (restore.rejected || !restore.ok) return {
-		state: "error",
-		detail: `restore fallo, el arbol puede estar sucio: ${restore.output}`
-	};
-	if (mutated.ok) return {
-		state: "sobrevive",
-		detail: "el verify pasa con la mutacion aplicada: el AC no muerde"
-	};
-	if (!after.ok) return {
-		state: "error",
-		detail: "el verify no vuelve a verde tras restaurar"
-	};
-	return {
-		state: "muerto",
-		detail: "rojo con la mutacion, verde tras restaurar"
-	};
-}
-function verifyTask(fs, root, cfg, taskId, options) {
-	const tasksDir = containedPath(root, cfg.layout.backlog);
-	const file = walk$1(fs, join(tasksDir, "tasks"), (path) => path.endsWith(`${taskId}.json`))[0];
-	if (file === void 0) throw new Error(`no encuentro la task ${taskId} en ${cfg.layout.backlog}/tasks/`);
-	const task = asRecord$2(readJson$2(fs, file));
-	const runOptions = {
-		root,
-		allowBinaries: cfg.vocabulary.verifyCommands,
-		cwd: options?.cwd,
-		timeoutMs: options?.timeoutMs
-	};
-	const acs = [];
-	let declared = 0;
-	for (const raw of asArray$2(task["ac"])) {
-		const ac = asRecord$2(raw);
-		const verifyCommand = asText$1(ac["verify"]);
-		const verify = runCommand$2(verifyCommand, runOptions);
-		const mutant = evaluateMutant(ac, verifyCommand, runOptions);
-		if (mutant.state === "declarado") declared++;
-		const ok = verify.ok && mutant.state === "muerto";
-		acs.push({
-			acId: asText$1(ac["id"]),
-			verify,
-			mutant,
-			ok
-		});
+	const lines = [`TASK ${selected.taskId} · dryRun: no se ejecuta ningun comando`, ""];
+	for (const ac of selected.criteria) {
+		const falsifier = asRecord$2(ac["falsifier"]);
+		lines.push(`dry  ${asText$1(ac["id"])}`);
+		lines.push(`     verify:   ${asText$1(ac["verify"])}`);
+		lines.push(`     mutacion: ${asText$1(falsifier["mutation"])}`);
 	}
-	return {
-		taskId,
-		acs,
-		declared,
-		ok: acs.length > 0 && acs.every((ac) => ac.ok)
-	};
+	lines.push("", `criterios ${selected.criteria.length} · comandos 0`);
+	return { output: lines.join("\n") };
 }
-var SHELL_METACHARACTERS, DEFAULT_TIMEOUT_MS$1;
-var init_runner = __esmMin((() => {
-	init_config$6();
-	init_fsJson();
-	SHELL_METACHARACTERS = /* @__PURE__ */ new Set([
-		"|",
-		"&",
-		";",
-		"<",
-		">",
-		"`",
-		"$",
-		"\n",
-		"\r"
-	]);
-	DEFAULT_TIMEOUT_MS$1 = 6e5;
-}));
-// ../../packages/agent-core-v2/src/features/wave/tools/verify/verifyRunner.ts
 function runWaveVerifyForRoot(input) {
 	const root = resolve(input.root);
 	const config = readWaveConfig(nodeWaveFs, root);
@@ -220823,7 +221359,16 @@ function runWaveVerifyForRoot(input) {
 		output: `no hay workflow.config.json en ${root}`,
 		isError: true
 	};
-	const result = verifyTask(nodeWaveFs, root, config, input.task);
+	if (input.dryRun === true) return runDry(root, config, input);
+	let result;
+	try {
+		result = verifyTask(nodeWaveFs, root, config, input.task, {
+			ac: input.ac,
+			allowDeclared: input.allowDeclared
+		});
+	} catch (error) {
+		return failure$1(error);
+	}
 	const lines = [`TASK ${result.taskId}`, ""];
 	for (const ac of result.acs) {
 		lines.push(`${ac.ok ? "ok  " : "FAIL"} ${ac.acId}  verify ${ac.verify.ok ? "verde" : "rojo"}  mutante ${ac.mutant.state}`);
@@ -220839,13 +221384,14 @@ function runWaveVerifyForRoot(input) {
 }
 var init_verifyRunner = __esmMin((() => {
 	init_config$6();
+	init_fsJson();
 	init_nodeFs();
 	init_runner();
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/verify/verify.md?raw
 var verify_default;
 var init_verify = __esmMin((() => {
-	verify_default = "Close a wave task with evidence: run each acceptance criterion's `verify` command and its falsifier.\n\nFor every criterion the tool runs `verify`, then `apply` of `falsifier.script`, then `verify` again (which must now fail), then `restore`, then `verify` once more (which must pass again). A criterion whose falsifier is only declared, whose mutant survives, or whose tree does not return to green is a failure — never a pass with a note.\n\nThe task id (`E01-T01`) is looked up in `backlog/tasks/`. Commands run without a shell and only with the binaries allowed by `vocabulary.verifyCommands`.\n";
+	verify_default = "Close a wave task with evidence: run each acceptance criterion's `verify` command and its falsifier.\n\nFor every criterion the tool runs `verify`, then `apply` of `falsifier.script`, then `verify` again (which must now fail), then `restore`, then `verify` once more (which must pass again). A criterion whose falsifier is only declared, whose mutant survives, or whose tree does not return to green is a failure — never a pass with a note.\n\nThe task id (`E01-T01`) is looked up in `backlog/tasks/`. Commands run without a shell and only with the binaries allowed by `vocabulary.verifyCommands`.\n\nArguments:\n- `task`: task id to verify.\n- `root`: workspace root. Defaults to the current working directory.\n- `ac`: verify only this acceptance criterion instead of every criterion of the task. An id the task does not declare is rejected.\n- `dryRun`: list the criteria and the command each one would run without executing anything, so a coordinator can review before spending the run.\n";
 }));
 // ../../packages/agent-core-v2/src/features/wave/tools/verify/verifyTool.ts
 var WaveVerifyTool;
@@ -220871,7 +221417,10 @@ var init_verifyTool = __esmMin((() => {
 				approvalRule: this.name,
 				execute: () => Promise.resolve(runWaveVerifyForRoot({
 					root: args.root ?? this.sessionContext.cwd,
-					task: args.task
+					task: args.task,
+					ac: args.ac,
+					dryRun: args.dryRun,
+					allowDeclared: args.allowDeclared
 				}))
 			};
 		}
@@ -228271,7 +228820,7 @@ var init_mcpRegistryService = __esmMin((() => {
 				}
 			} else {
 				const cwd = canonicalWorkspaceRoot(query.cwd);
-				if (!(await readWorkspaceTrust(this.docs, cwd) || trustWorkspaceEnvTrusted((name) => this.bootstrap.getEnv(name)))) {
+				if (!(await readWorkspaceTrust(this.docs, cwd) || (workspaceTrustOverride((name) => this.bootstrap.getEnv(name)) ?? true))) {
 					const userEntries = await this.store.list();
 					for (const server of userEntries) {
 						const { name, ...config } = server;
@@ -477531,8 +478080,8 @@ function buildWavePrompt(args) {
 		"",
 		"Reglas de la oleada:",
 		"- Usa las tools Wave: `WaveOpen` para abrirla, `WaveRound` para obtener el prompt de cada asiento, `WaveSubmit` para que cada asiento entregue su artefacto, `WaveDecide` para el quórum, `WaveGate` para el paquete y `WaveVerify` para cerrar tasks.",
-		"- Lanza un agente por asiento con `Agent` (o `AgentSwarm` si el usuario activó swarm) usando el prompt que devuelve `WaveRound`. No inventes el prompt ni cambies el rol.",
-		"- Un asiento nunca escribe con Write/Edit: entrega con `WaveSubmit`, que ata rol y ruta.",
+		"- Lanza un agente por asiento con `Agent` (o `AgentSwarm` si el usuario activó swarm) pasando `subagent_type: \"wave-seat\"` y el prompt que devuelve `WaveRound`. No inventes el prompt ni cambies el rol.",
+		"- El asiento es de solo lectura: `Read`, `Glob`, `Grep` y `WaveSubmit`. Nunca escribe con Write/Edit: entrega con `WaveSubmit`, que ata rol y ruta.",
 		"- Si el brief no tiene las siete secciones, para y pide que se rellenen; no lo escribas tú.",
 		"- Sin `adopt` de `WaveDecide`, lanza `refine` y después `audit`; con dos rondas sin quórum, adopta R1 con disidencia escrita.",
 		"- La oleada no está cerrada hasta que `WaveGate` sale en verde. Si sale en rojo, dilo con los códigos de hallazgo."
@@ -501094,7 +501643,7 @@ var NexgenTUI = class {
 		const { startup } = this.options;
 		const config = await this.harness.getConfig({ reload: true });
 		const patch = includeModel ? lazyModelSelection(config, startup.model ?? config.defaultModel) : {};
-		if (!startup.auto && !startup.yolo) patch.permissionMode = config.defaultPermissionMode ?? "manual";
+		if (!startup.auto && !startup.yolo) patch.permissionMode = config.defaultPermissionMode ?? "auto";
 		patch.configDefaultPlanMode = config.defaultPlanMode === true;
 		if (!startup.plan) patch.planMode = config.defaultPlanMode === true;
 		if (startup.agentProfile !== void 0 || startup.agentFiles !== void 0) {