@evomap/evolver 1.89.20 → 2.0.0-beta.0

package/src/gep/schemas/capsule.js

@@ -1,170 +0,0 @@
-'use strict';
-
-// ---------------------------------------------------------------------------
-// Capsule Schema — single source of truth for the Capsule object shape.
-// All modules that create or consume Capsule objects should use
-// createCapsule() and validateCapsule() rather than assuming field presence.
-// ---------------------------------------------------------------------------
-
-const { SCHEMA_VERSION } = require('../contentHash');
-
-const VALID_OUTCOME_STATUSES = ['success', 'failed'];
-const VALID_SOURCE_TYPES = ['generated', 'reused', 'reference', 'user_authored'];
-const VALID_VISIBILITIES = ['private', 'unlisted', 'public'];
-const VALID_COST_TIERS = ['cheap', 'standard', 'premium'];
-
-const CAPSULE_DEFAULTS = {
-  type: 'Capsule',
-  id: null,
-  schema_version: SCHEMA_VERSION,
-  trigger: [],
-  gene: null,
-  summary: '',
-  confidence: 0,
-  blast_radius: { files: 0, lines: 0 },
-  outcome: { status: 'failed', score: 0 },
-  success_streak: 0,
-  success_reason: null,
-  gene_library_version: null,
-  env_fingerprint: null,
-  source_type: null,
-  reused_asset_id: null,
-  // Real measured token cost of deriving this capsule (input+output), captured
-  // from the proxy trace meter at solidify time. null when the proxy was
-  // inactive or usage was unobserved (consumers fall back to an estimate).
-  // Shape: { input_tokens, output_tokens, total_tokens, basis:'measured' }.
-  derivation_tokens: null,
-  a2a: { eligible_to_broadcast: false },
-  content: null,
-  diff: null,
-  strategy: [],
-  execution_trace: [],
-  asset_id: null,
-  // Spec 1.8.0 §Appendix C user-authored fields. All default to null
-  // so a generated capsule emits the same on-wire shape it always has;
-  // /capsule save in evox sets these explicitly.
-  visibility: null,
-  scope: null,
-  cost_tier: null,
-  pack_of: null,
-  author: null,
-};
-
-// createCapsule: merge partial with defaults and normalize array/object fields.
-// Safe to call with a fully-formed Capsule (idempotent).
-function createCapsule(partial) {
-  const c = Object.assign({}, CAPSULE_DEFAULTS, partial);
-
-  // Fresh array copies — never hold references to CAPSULE_DEFAULTS arrays.
-  c.trigger         = Array.isArray(c.trigger)         ? c.trigger.slice()         : [];
-  c.strategy        = Array.isArray(c.strategy)        ? c.strategy.slice()        : [];
-  c.execution_trace = Array.isArray(c.execution_trace) ? c.execution_trace.slice() : [];
-
-  // Normalize blast_radius
-  if (!c.blast_radius || typeof c.blast_radius !== 'object') {
-    c.blast_radius = { files: 0, lines: 0 };
-  } else {
-    c.blast_radius = Object.assign({ files: 0, lines: 0 }, c.blast_radius);
-  }
-
-  // Normalize outcome
-  if (!c.outcome || typeof c.outcome !== 'object') {
-    c.outcome = { status: 'failed', score: 0 };
-  } else {
-    c.outcome = Object.assign({ status: 'failed', score: 0 }, c.outcome);
-    if (!VALID_OUTCOME_STATUSES.includes(c.outcome.status)) {
-      c.outcome.status = 'failed';
-    }
-  }
-
-  // Normalize a2a
-  if (!c.a2a || typeof c.a2a !== 'object') {
-    c.a2a = { eligible_to_broadcast: false };
-  } else {
-    c.a2a = Object.assign({ eligible_to_broadcast: false }, c.a2a);
-  }
-
-  // Normalize derivation_tokens (optional measured-cost object). Coerce a
-  // malformed value to null so it never trips downstream schema validation.
-  if (c.derivation_tokens != null) {
-    const d = c.derivation_tokens;
-    if (typeof d !== 'object' || Array.isArray(d)) {
-      c.derivation_tokens = null;
-    } else {
-      const inp = Number(d.input_tokens);
-      const out = Number(d.output_tokens);
-      const tot = Number(d.total_tokens);
-      const safeInp = Number.isFinite(inp) && inp >= 0 ? inp : 0;
-      const safeOut = Number.isFinite(out) && out >= 0 ? out : 0;
-      c.derivation_tokens = {
-        input_tokens: safeInp,
-        output_tokens: safeOut,
-        total_tokens: Number.isFinite(tot) && tot >= 0 ? tot : safeInp + safeOut,
-        basis: typeof d.basis === 'string' ? d.basis : 'measured',
-      };
-    }
-  }
-
-  // Normalize string fields
-  if (typeof c.summary !== 'string')        c.summary = '';
-  if (typeof c.schema_version !== 'string') c.schema_version = SCHEMA_VERSION;
-  if (typeof c.confidence !== 'number')     c.confidence = 0;
-
-  // Normalize spec 1.8.0 §Appendix C fields. Schema declares
-  // additionalProperties:false so any unrecognized value here would
-  // fail validation downstream — coerce malformed inputs to null
-  // rather than letting them propagate.
-  if (c.visibility != null && !VALID_VISIBILITIES.includes(c.visibility)) {
-    c.visibility = null;
-  }
-  if (c.scope != null && !Array.isArray(c.scope)) {
-    c.scope = null;
-  } else if (Array.isArray(c.scope)) {
-    c.scope = c.scope.slice();
-  }
-  if (c.cost_tier != null && !VALID_COST_TIERS.includes(c.cost_tier)) {
-    c.cost_tier = null;
-  }
-  if (c.pack_of != null && !Array.isArray(c.pack_of)) {
-    c.pack_of = null;
-  } else if (Array.isArray(c.pack_of)) {
-    c.pack_of = c.pack_of.slice();
-  }
-  // author: schema requires both `handle` and `evox_install_id` when
-  // the field is present. A partial pair (e.g. handle without
-  // install_id) would fail schema validation, so drop it.
-  if (c.author != null) {
-    if (typeof c.author !== 'object' || !c.author.handle || !c.author.evox_install_id) {
-      c.author = null;
-    } else {
-      c.author = { handle: c.author.handle, evox_install_id: c.author.evox_install_id };
-    }
-  }
-
-  return c;
-}
-
-// validateCapsule: throw if required fields are missing or malformed.
-// Use before broadcasting/publishing a Capsule to the Hub or writing to disk.
-function validateCapsule(c) {
-  if (!c || typeof c !== 'object')          throw new Error('Capsule must be an object');
-  if (c.type !== 'Capsule')                 throw new Error('Capsule.type must be "Capsule", got: ' + c.type);
-  if (!c.id || typeof c.id !== 'string')    throw new Error('Capsule.id is required and must be a string');
-  if (!c.outcome || typeof c.outcome !== 'object')
-                                            throw new Error('Capsule.outcome must be an object');
-  if (!VALID_OUTCOME_STATUSES.includes(c.outcome.status))
-                                            throw new Error('Capsule.outcome.status must be one of: ' + VALID_OUTCOME_STATUSES.join(', ') + ', got: ' + c.outcome.status);
-  if (!Array.isArray(c.trigger))            throw new Error('Capsule.trigger must be an array');
-  if (!Array.isArray(c.execution_trace))    throw new Error('Capsule.execution_trace must be an array');
-  return true;
-}
-
-module.exports = {
-  createCapsule,
-  validateCapsule,
-  CAPSULE_DEFAULTS,
-  VALID_OUTCOME_STATUSES,
-  VALID_SOURCE_TYPES,
-  VALID_VISIBILITIES,
-  VALID_COST_TIERS,
-};

package/src/gep/schemas/gene.js

@@ -1,154 +0,0 @@
-'use strict';
-
-// ---------------------------------------------------------------------------
-// Gene Schema — single source of truth for the Gene object shape.
-// All modules that create or consume Gene objects should use createGene() and
-// validateGene() rather than assuming field presence inline.
-// ---------------------------------------------------------------------------
-
-const VALID_CATEGORIES = ['repair', 'optimize', 'innovate', 'explore'];
-
-// EvoX agent-core enums consumed via the gene → router/tool-gate
-// pipeline (`crates/evox-evo-session/src/lifecycle.rs:345-388`). Keep
-// these strings exact — the Rust side does case-sensitive matching.
-const VALID_ROUTING_TIERS = ['cheap', 'mid', 'expensive'];
-const VALID_REASONING_LEVELS = ['off', 'low', 'medium', 'high'];
-const VALID_TOOL_POLICY_SEVERITIES = ['warn', 'block'];
-
-const GENE_DEFAULTS = {
-  type: 'Gene',
-  id: null,
-  category: 'innovate',
-  signals_match: [],
-  strategy: [],
-  validation: [],
-  constraints: {
-    max_files: 20,
-    forbidden_paths: ['.git', 'node_modules'],
-  },
-  preconditions: [],
-  summary: '',
-  schema_version: '1.6.0',
-  epigenetic_marks: [],
-  learning_history: [],
-  anti_patterns: [],
-  // Optional EvoX-side hints. Null = "no opinion, let the router /
-  // tool dispatcher take its historical fast path". Genes that
-  // genuinely benefit from cheap-tier classification or restricted
-  // tools opt in by setting these to a non-null object.
-  routing_hint: null,
-  tool_policy: null,
-};
-
-// createGene: merge partial with defaults and normalize array/object fields.
-// Safe to call with a fully-formed Gene (idempotent).
-function createGene(partial) {
-  const g = Object.assign({}, GENE_DEFAULTS, partial);
-
-  // Always create fresh array copies — never hold references to GENE_DEFAULTS arrays
-  // or to partial's arrays, so downstream .push() calls cannot contaminate other genes.
-  g.signals_match    = Array.isArray(g.signals_match)    ? g.signals_match.slice()    : [];
-  g.strategy         = Array.isArray(g.strategy)         ? g.strategy.slice()         : [];
-  g.validation       = Array.isArray(g.validation)       ? g.validation.slice()       : [];
-  g.preconditions    = Array.isArray(g.preconditions)    ? g.preconditions.slice()    : [];
-  g.epigenetic_marks = Array.isArray(g.epigenetic_marks) ? g.epigenetic_marks.slice() : [];
-  g.learning_history = Array.isArray(g.learning_history) ? g.learning_history.slice() : [];
-  g.anti_patterns    = Array.isArray(g.anti_patterns)    ? g.anti_patterns.slice()    : [];
-
-  // Normalize constraints
-  if (!g.constraints || typeof g.constraints !== 'object') {
-    g.constraints = Object.assign({}, GENE_DEFAULTS.constraints);
-  } else {
-    g.constraints = Object.assign({}, GENE_DEFAULTS.constraints, g.constraints);
-  }
-  if (!Array.isArray(g.constraints.forbidden_paths) || g.constraints.forbidden_paths.length === 0) {
-    g.constraints.forbidden_paths = ['.git', 'node_modules'];
-  } else {
-    g.constraints.forbidden_paths = g.constraints.forbidden_paths.slice();
-  }
-  if (!g.constraints.max_files || typeof g.constraints.max_files !== 'number') {
-    g.constraints.max_files = GENE_DEFAULTS.constraints.max_files;
-  }
-
-  // Normalize category
-  if (!g.category || !VALID_CATEGORIES.includes(g.category)) {
-    g.category = GENE_DEFAULTS.category;
-  }
-
-  // Normalize string fields
-  if (typeof g.summary !== 'string')        g.summary = '';
-  if (typeof g.schema_version !== 'string') g.schema_version = GENE_DEFAULTS.schema_version;
-
-  // Normalize optional routing_hint / tool_policy. The EvoX agent-core
-  // side (`crates/evox-evo-session/src/lifecycle.rs`) treats absent
-  // *or* empty hints as "no opinion" via `GeneRoutingHint::is_empty()`,
-  // so dropping malformed fragments to `null` is the safer default —
-  // a partial object would fail the strict tier-string match on the
-  // Rust side and silently route as if no hint existed.
-  g.routing_hint = normalizeRoutingHint(g.routing_hint);
-  g.tool_policy  = normalizeToolPolicy(g.tool_policy);
-
-  return g;
-}
-
-function normalizeRoutingHint(raw) {
-  if (!raw || typeof raw !== 'object') return null;
-  const out = {};
-  if (raw.tier && VALID_ROUTING_TIERS.includes(String(raw.tier))) {
-    out.tier = String(raw.tier);
-  }
-  if (raw.reasoning_level && VALID_REASONING_LEVELS.includes(String(raw.reasoning_level))) {
-    out.reasoning_level = String(raw.reasoning_level);
-  }
-  return Object.keys(out).length > 0 ? out : null;
-}
-
-function normalizeToolPolicy(raw) {
-  if (!raw || typeof raw !== 'object') return null;
-  const out = {};
-  // Filter falsy entries first, then only keep the field if anything
-  // survives. A raw input like { allow_only: ['', ''] } would otherwise
-  // emit `allow_only: []` here; on the Rust executor gate
-  // (`crates/evox-agent-core/src/types.rs::ToolGate`) an empty
-  // `allow_only` means "allow zero tools" and blocks every tool call.
-  if (Array.isArray(raw.allow_only)) {
-    const cleaned = raw.allow_only.map(String).filter(Boolean);
-    if (cleaned.length > 0) out.allow_only = cleaned;
-  }
-  if (Array.isArray(raw.deny)) {
-    const cleaned = raw.deny.map(String).filter(Boolean);
-    if (cleaned.length > 0) out.deny = cleaned;
-  }
-  // severity defaults to 'warn' when omitted but a list is present —
-  // matches `GeneToolPolicy::default_severity()` on the Rust side.
-  const hasList = !!(out.allow_only || out.deny);
-  if (hasList) {
-    out.severity = VALID_TOOL_POLICY_SEVERITIES.includes(String(raw.severity))
-      ? String(raw.severity)
-      : 'warn';
-  }
-  return hasList ? out : null;
-}
-
-// validateGene: throw if required fields are missing or malformed.
-// Use before broadcasting/publishing a Gene to the Hub or writing to disk.
-function validateGene(g) {
-  if (!g || typeof g !== 'object')          throw new Error('Gene must be an object');
-  if (g.type !== 'Gene')                    throw new Error('Gene.type must be "Gene", got: ' + g.type);
-  if (!g.id || typeof g.id !== 'string')    throw new Error('Gene.id is required and must be a string');
-  if (!VALID_CATEGORIES.includes(g.category))
-                                            throw new Error('Gene.category must be one of: ' + VALID_CATEGORIES.join(', ') + ', got: ' + g.category);
-  if (!Array.isArray(g.signals_match))      throw new Error('Gene.signals_match must be an array');
-  if (!Array.isArray(g.strategy))           throw new Error('Gene.strategy must be an array');
-  return true;
-}
-
-module.exports = {
-  createGene,
-  validateGene,
-  GENE_DEFAULTS,
-  VALID_CATEGORIES,
-  VALID_ROUTING_TIERS,
-  VALID_REASONING_LEVELS,
-  VALID_TOOL_POLICY_SEVERITIES,
-};

package/src/gep/schemas/index.js

@@ -1,8 +0,0 @@
-'use strict';
-
-const gene = require('./gene');
-const capsule = require('./capsule');
-const task = require('./task');
-const protocol = require('./protocol');
-
-module.exports = { ...gene, ...capsule, ...task, ...protocol };

package/src/gep/schemas/protocol.js

@@ -1,51 +0,0 @@
-'use strict';
-
-// ---------------------------------------------------------------------------
-// Protocol Schema — single source of truth for ALL string literal enums that
-// appear both in code (validation/normalization) and in the LLM prompt schema.
-//
-// Why this file exists: prior to 2026-05-16 the GEP prompt template (prompt.js)
-// hardcoded its own copies of category/intent/risk_level/outcome.status enums.
-// They drifted from src/gep/schemas/gene.js's VALID_CATEGORIES — when 'explore'
-// was added to the engine's whitelist, it was silently dropped from the LLM
-// prompt for months. v1.80.8 patched the literal; this module makes that class
-// of bug structurally impossible by routing every prompt enum through here.
-//
-// Rule: if a string literal enum is referenced both in JS validation code AND
-// in the prompt template, it MUST be defined here. NEVER duplicate it inline.
-// ---------------------------------------------------------------------------
-
-const {
-  VALID_CATEGORIES,
-  VALID_ROUTING_TIERS,
-  VALID_REASONING_LEVELS,
-  VALID_TOOL_POLICY_SEVERITIES,
-} = require('./gene');
-const { VALID_OUTCOME_STATUSES } = require('./capsule');
-
-const VALID_RISK_LEVELS = ['low', 'medium', 'high'];
-const VALID_TRACE_STAGES = ['build', 'validate', 'canary'];
-
-// renderEnum: format an enum array as a pipe-joined string for prompt schemas.
-// Example: ['repair', 'optimize', ...] -> 'repair|optimize|...'
-function renderEnum(arr) {
-  return arr.join('|');
-}
-
-// renderEnumList: format an enum array as a quoted JSON-ish list for prompt schemas.
-// Example: ['build', 'validate', 'canary'] -> '"build","validate","canary"'
-function renderEnumList(arr) {
-  return arr.map((s) => '"' + s + '"').join(',');
-}
-
-module.exports = {
-  VALID_CATEGORIES,
-  VALID_OUTCOME_STATUSES,
-  VALID_RISK_LEVELS,
-  VALID_TRACE_STAGES,
-  VALID_ROUTING_TIERS,
-  VALID_REASONING_LEVELS,
-  VALID_TOOL_POLICY_SEVERITIES,
-  renderEnum,
-  renderEnumList,
-};

package/src/gep/schemas/task.js

@@ -1,74 +0,0 @@
-'use strict';
-
-// ---------------------------------------------------------------------------
-// Task Schema — single source of truth for the Task object shape.
-// Tasks are received from the Hub (not created locally), so createTask()
-// primarily normalizes fields for safe access. validateTask() guards the
-// pipeline entry points before any processing begins.
-// ---------------------------------------------------------------------------
-
-const VALID_TASK_STATUSES = ['open', 'claimed', 'completed', 'expired', 'cancelled'];
-
-const TASK_DEFAULTS = {
-  type: 'Task',
-  task_id: null,
-  title: '',
-  signals: '',
-  status: 'open',
-  claimed_by: null,
-  bounty_id: null,
-  bounty_amount: 0,
-  complexity_score: null,
-  historical_completion_rate: null,
-  expires_at: null,
-  body: '',
-  description: '',
-  nonce: null,
-  validation_commands: [],
-  result_asset_id: null,
-  atp_order_id: null,
-  _commitment_deadline: null,
-  _worker_pending: false,
-};
-
-// createTask: normalize a Hub-received task object against known defaults.
-// Safe to call with a fully-formed Task (idempotent).
-function createTask(partial) {
-  const t = Object.assign({}, TASK_DEFAULTS, partial);
-
-  // Normalize validation_commands — the only array field
-  t.validation_commands = Array.isArray(t.validation_commands)
-    ? t.validation_commands.slice()
-    : [];
-
-  // Normalize string fields
-  if (typeof t.title !== 'string')       t.title = '';
-  if (typeof t.signals !== 'string')     t.signals = '';
-  if (typeof t.body !== 'string')        t.body = '';
-  if (typeof t.description !== 'string') t.description = '';
-
-  // Normalize numeric fields
-  if (typeof t.bounty_amount !== 'number' || !isFinite(t.bounty_amount)) {
-    t.bounty_amount = 0;
-  }
-
-  // Normalize status
-  if (!VALID_TASK_STATUSES.includes(t.status)) {
-    t.status = 'open';
-  }
-
-  return t;
-}
-
-// validateTask: throw if required fields are missing or malformed.
-// Use at pipeline entry points before processing or claiming a task.
-function validateTask(t) {
-  if (!t || typeof t !== 'object')           throw new Error('Task must be an object');
-  if (!t.task_id || typeof t.task_id !== 'string')
-                                             throw new Error('Task.task_id is required and must be a string');
-  if (!VALID_TASK_STATUSES.includes(t.status))
-                                             throw new Error('Task.status must be one of: ' + VALID_TASK_STATUSES.join(', ') + ', got: ' + t.status);
-  return true;
-}
-
-module.exports = { createTask, validateTask, TASK_DEFAULTS, VALID_TASK_STATUSES };