@veraxhq/verax 0.2.0 → 0.3.0

package/src/verax/core/baseline/baseline.enforcer.js

@@ -0,0 +1,137 @@
+/**
+ * PHASE 21.11 — Baseline Enforcer
+ * 
+ * Enforces baseline integrity. Detects drift and blocks changes after GA.
+ */
+
+import { loadBaselineSnapshot, buildBaselineSnapshot } from './baseline.snapshot.js';
+import { FAILURE_CODE, createInternalFailure } from '../failures/index.js';
+
+/**
+ * Compare two baseline snapshots
+ * 
+ * @param {Object} current - Current baseline
+ * @param {Object} frozen - Frozen baseline (from GA)
+ * @returns {Object} Comparison result
+ */
+export function compareBaselines(current, frozen) {
+  if (!frozen) {
+    return {
+      drifted: false,
+      message: 'No frozen baseline found (pre-GA)',
+      differences: []
+    };
+  }
+  
+  if (!frozen.frozen) {
+    return {
+      drifted: false,
+      message: 'Baseline not frozen (pre-GA)',
+      differences: []
+    };
+  }
+  
+  const differences = [];
+  
+  // Compare baseline hash
+  if (current.baselineHash !== frozen.baselineHash) {
+    differences.push({
+      type: 'BASELINE_HASH_MISMATCH',
+      message: 'Baseline hash changed',
+      current: current.baselineHash,
+      frozen: frozen.baselineHash
+    });
+  }
+  
+  // Compare individual hashes
+  for (const [key, frozenHash] of Object.entries(frozen.hashes || {})) {
+    const currentHash = current.hashes?.[key];
+    if (currentHash && currentHash !== frozenHash) {
+      differences.push({
+        type: 'HASH_MISMATCH',
+        component: key,
+        message: `${key} hash changed`,
+        current: currentHash,
+        frozen: frozenHash
+      });
+    }
+  }
+  
+  return {
+    drifted: differences.length > 0,
+    message: differences.length > 0 
+      ? `Baseline drift detected: ${differences.length} difference(s)`
+      : 'No baseline drift',
+    differences
+  };
+}
+
+/**
+ * Enforce baseline integrity
+ * 
+ * @param {string} projectDir - Project directory
+ * @param {Object} failureLedger - Failure ledger instance
+ * @returns {Object} Enforcement result
+ */
+export function enforceBaseline(projectDir, failureLedger) {
+  const frozen = loadBaselineSnapshot(projectDir);
+  
+  // If no frozen baseline, allow (pre-GA)
+  if (!frozen || !frozen.frozen) {
+    return {
+      blocked: false,
+      message: 'No frozen baseline (pre-GA)',
+      drifted: false
+    };
+  }
+  
+  // Build current baseline
+  const current = buildBaselineSnapshot(projectDir);
+  
+  // Compare
+  const comparison = compareBaselines(current, frozen);
+  
+  if (comparison.drifted) {
+    // Record BLOCKING failure
+    const failure = createInternalFailure(
+      FAILURE_CODE.BASELINE_DRIFT,
+      `BASELINE_DRIFT: ${comparison.message}. Changes to core contracts/policies after GA require MAJOR version bump and baseline regeneration.`,
+      'baseline',
+      {
+        differences: comparison.differences,
+        frozenCommit: frozen.gitCommit,
+        currentCommit: current.gitCommit,
+        frozenVersion: frozen.veraxVersion,
+        currentVersion: current.veraxVersion
+      },
+      false // Not recoverable
+    );
+    
+    failureLedger.record(failure);
+    
+    return {
+      blocked: true,
+      message: comparison.message,
+      drifted: true,
+      differences: comparison.differences
+    };
+  }
+  
+  return {
+    blocked: false,
+    message: 'Baseline integrity maintained',
+    drifted: false
+  };
+}
+
+/**
+ * Check if baseline is frozen
+ * 
+ * @param {string} projectDir - Project directory
+ * @returns {boolean} True if frozen
+ */
+export function isBaselineFrozen(projectDir) {
+  const snapshot = loadBaselineSnapshot(projectDir);
+  return snapshot?.frozen === true;
+}
+

package/src/verax/core/baseline/baseline.snapshot.js

@@ -0,0 +1,231 @@
+/**
+ * PHASE 21.11 — Immutable Baseline Snapshot
+ * 
+ * Creates a snapshot of all core contracts, policies, and criteria.
+ * Any drift from this baseline after GA is BLOCKING.
+ */
+
+import { readFileSync, existsSync, writeFileSync } from 'fs';
+import { resolve } from 'path';
+import { createHash } from 'crypto';
+import { VERAX_PRODUCT_DEFINITION } from '../product-definition.js';
+
+/**
+ * Compute SHA256 hash of content
+ */
+function hashContent(content) {
+  return createHash('sha256').update(content).digest('hex');
+}
+
+/**
+ * Load and hash a file
+ */
+function hashFile(filePath) {
+  if (!existsSync(filePath)) {
+    return null;
+  }
+  try {
+    const content = readFileSync(filePath, 'utf-8');
+    return hashContent(content);
+  } catch {
+    return null;
+  }
+}
+
+/**
+ * Get git commit hash
+ */
+function getGitCommit() {
+  try {
+    const { execSync } = require('child_process');
+    return execSync('git rev-parse HEAD', { encoding: 'utf-8' }).trim();
+  } catch {
+    return 'unknown';
+  }
+}
+
+/**
+ * Check if git repo is dirty
+ */
+function isGitDirty() {
+  try {
+    const { execSync } = require('child_process');
+    const status = execSync('git status --porcelain', { encoding: 'utf-8' });
+    return status.trim().length > 0;
+  } catch {
+    return false;
+  }
+}
+
+/**
+ * Get VERAX version
+ */
+function getVeraxVersion() {
+  try {
+    const packageJson = JSON.parse(readFileSync(resolve(process.cwd(), 'package.json'), 'utf-8'));
+    return packageJson.version || 'unknown';
+  } catch {
+    return 'unknown';
+  }
+}
+
+/**
+ * Build baseline snapshot
+ * 
+ * @param {string} projectDir - Project directory
+ * @returns {Object} Baseline snapshot
+ */
+export function buildBaselineSnapshot(projectDir) {
+  const coreDir = resolve(projectDir, 'src', 'verax', 'core');
+  
+  // Core contracts
+  const evidenceLaw = hashContent(JSON.stringify(VERAX_PRODUCT_DEFINITION.evidenceLaw));
+  const productDefinition = hashFile(resolve(coreDir, 'product-definition.js'));
+  
+  // Confidence defaults
+  const confidenceEngine = hashFile(resolve(coreDir, 'confidence-engine.js'));
+  const confidenceDefaults = hashFile(resolve(coreDir, 'confidence-engine-refactor.js'));
+  
+  // Guardrails defaults
+  const guardrailsDefaults = hashFile(resolve(coreDir, 'guardrails', 'defaults.json'));
+  const guardrailsContract = hashFile(resolve(coreDir, 'guardrails', 'contract.js'));
+  
+  // GA criteria
+  const gaContract = hashFile(resolve(coreDir, 'ga', 'ga.contract.js'));
+  
+  // Performance budgets
+  const perfContract = hashFile(resolve(coreDir, 'perf', 'perf.contract.js'));
+  const perfProfiles = hashFile(resolve(projectDir, 'src', 'verax', 'shared', 'budget-profiles.js'));
+  
+  // Security policies
+  const supplychainPolicy = hashFile(resolve(coreDir, 'security', 'supplychain.policy.js'));
+  const supplychainDefaults = hashFile(resolve(coreDir, 'security', 'supplychain.defaults.json'));
+  
+  // Failure taxonomy
+  const failureTypes = hashFile(resolve(coreDir, 'failures', 'failure.types.js'));
+  const failureLedger = hashFile(resolve(coreDir, 'failures', 'failure.ledger.js'));
+  
+  // Contracts
+  const contractsIndex = hashFile(resolve(coreDir, 'contracts', 'index.js'));
+  const contractsValidators = hashFile(resolve(coreDir, 'contracts', 'validators.js'));
+  const contractsTypes = hashFile(resolve(coreDir, 'contracts', 'types.js'));
+  
+  // Determinism
+  const determinismContract = hashFile(resolve(coreDir, 'determinism', 'contract.js'));
+  
+  // Evidence builder
+  const evidenceBuilder = hashFile(resolve(coreDir, 'evidence-builder.js'));
+  
+  const snapshot = {
+    version: 1,
+    timestamp: new Date().toISOString(),
+    veraxVersion: getVeraxVersion(),
+    gitCommit: getGitCommit(),
+    gitDirty: isGitDirty(),
+    
+    hashes: {
+      // Core contracts
+      evidenceLaw,
+      productDefinition,
+      
+      // Confidence
+      confidenceEngine,
+      confidenceDefaults,
+      
+      // Guardrails
+      guardrailsDefaults,
+      guardrailsContract,
+      
+      // GA
+      gaContract,
+      
+      // Performance
+      perfContract,
+      perfProfiles,
+      
+      // Security
+      supplychainPolicy,
+      supplychainDefaults,
+      
+      // Failures
+      failureTypes,
+      failureLedger,
+      
+      // Contracts
+      contractsIndex,
+      contractsValidators,
+      contractsTypes,
+      
+      // Determinism
+      determinismContract,
+      
+      // Evidence
+      evidenceBuilder
+    },
+    
+    // Combined hash for quick comparison
+    baselineHash: hashContent(JSON.stringify({
+      evidenceLaw,
+      productDefinition,
+      confidenceEngine,
+      confidenceDefaults,
+      guardrailsDefaults,
+      guardrailsContract,
+      gaContract,
+      perfContract,
+      perfProfiles,
+      supplychainPolicy,
+      supplychainDefaults,
+      failureTypes,
+      failureLedger,
+      contractsIndex,
+      contractsValidators,
+      contractsTypes,
+      determinismContract,
+      evidenceBuilder
+    }))
+  };
+  
+  return snapshot;
+}
+
+/**
+ * Write baseline snapshot to file
+ * 
+ * @param {string} projectDir - Project directory
+ * @param {Object} snapshot - Baseline snapshot
+ * @param {boolean} gaStatus - GA status
+ * @returns {string} Path to written file
+ */
+export function writeBaselineSnapshot(projectDir, snapshot, gaStatus = false) {
+  const snapshotWithGA = {
+    ...snapshot,
+    gaStatus: gaStatus ? 'GA-READY' : 'PRE-GA',
+    frozen: gaStatus // After GA, baseline is frozen
+  };
+  
+  const outputPath = resolve(projectDir, 'baseline.snapshot.json');
+  writeFileSync(outputPath, JSON.stringify(snapshotWithGA, null, 2), 'utf-8');
+  return outputPath;
+}
+
+/**
+ * Load baseline snapshot from file
+ * 
+ * @param {string} projectDir - Project directory
+ * @returns {Object|null} Baseline snapshot or null
+ */
+export function loadBaselineSnapshot(projectDir) {
+  const snapshotPath = resolve(projectDir, 'baseline.snapshot.json');
+  
+  if (!existsSync(snapshotPath)) {
+    return null;
+  }
+  
+  try {
+    return JSON.parse(readFileSync(snapshotPath, 'utf-8'));
+  } catch {
+    return null;
+  }
+}
+

package/src/verax/core/budget-engine.js

@@ -131,7 +131,7 @@ export function computeRouteBudget(manifest, currentUrl, baseBudget) {
   const routes = manifest.routes || [];
   const expectations = manifest.staticExpectations || [];
   const totalRoutes = routes.length;
-  const totalExpectations = expectations.length;
+  // const totalExpectations = expectations.length; // Reserved for future use
   
   // Count expectations per route
   const routeExpectationCount = new Map();