@yun520-1/heartflow 0.15.2 → 0.16.0

package/src/core/papers/v11_43_1_integration.js

@@ -1,365 +0,0 @@
-/**
- * HeartFlow v11.43.1 — 10 Papers Integration
- * Paper-driven upgrade: v11.43.0 → v11.43.1
- *
- * Papers (arXiv IDs):
- *  [1] SkillScope         arXiv:2605.05868  — 94.53% F1, least-privilege enforcement
- *  [2] VerifiableArtifact arXiv:2605.00424  — biconditional criterion + HITL gate
- *  [3] Aethelgard         arXiv:2604.11839  — 4-layer learned governance, 15x reduction
- *  [4] GSAR               arXiv:2604.23366  — 4-way typed grounding
- *  [5] SSLRepresentation  arXiv:2604.24026  — MRR 0.573→0.707
- *  [6] HCPMAD             arXiv:2604.09679  — 3-stage progressive multi-agent debate
- *  [7] SkillOS            arXiv:2605.06614  — RL skill curator, composite reward
- *  [8] Skill1             arXiv:2605.06130  — unified selection-utilization-distillation
- *  [9] EvoSkill           arXiv:2603.02766  — self-evolving skill discovery
- * [10] MemoryWorth        arXiv:2604        — two-counter per-memory governance
- */
-
-// ============================================================
-// [1] SKILLSCOPE — Least-Privilege Enforcement (arXiv:2605.05868)
-// ============================================================
-// 94.53% F1, 88.56% over-privilege reduction
-
-const ACTION_DANGER = {
-  shell_exec:       { critical: true,  needs: ['deploy','build','test'] },
-  credential_read:  { critical: true,  needs: ['auth','login','token'] },
-  subagent_spawn:   { critical: true,  needs: ['parallel','delegate'] },
-  file_write:       { critical: false, needs: ['save','export','generate'] },
-  network_out:      { critical: false, needs: ['fetch','api_call','download'] },
-};
-
-const SkillScopeAuditor = {
-  audit(skillText, taskContext = '') {
-    const findings = [];
-    for (const [action, meta] of Object.entries(ACTION_DANGER)) {
-      const pattern = new RegExp('\\b' + action.replace(/_/g, '[\\s_]*') + '\\b', 'gi');
-      const matches = (skillText.match(pattern) || []);
-      if (matches.length > 0) {
-        const over = meta.critical && !meta.needs.some(kw => (taskContext || '').toLowerCase().includes(kw));
-        findings.push({ action, critical: meta.critical, count: matches.length, overprivileged: over });
-      }
-    }
-    const overCount = findings.filter(f => f.overprivileged).length;
-    return { passed: overCount === 0, findings, overprivilegedCount: overCount };
-  }
-};
-
-// ============================================================
-// [2] VERIFIABLE ARTIFACTS — Biconditional Gate (arXiv:2605.00424)
-// ============================================================
-// skill = untrusted code until verified
-
-const VERIFICATION_LV = Object.freeze(['none', 'self_attested', 'community_reviewed', 'formally_verified']);
-
-const VerificationGate = {
-  _manifest: new Map(),
-
-  register(skillName, level) {
-    this._manifest.set(skillName, level);
-  },
-
-  gate(skillName, callType = 'reversible') {
-    const idx = VERIFICATION_LV.indexOf(this._manifest.get(skillName) || 'none');
-    return (callType === 'irreversible' && idx < 2) ? 'HITL_REQUIRED' : 'AUTO_APPROVED';
-  },
-
-  biconditional(claim, evidence) {
-    const jaccard = (a, b) => {
-      const sa = new Set((a || '').toLowerCase().split(/\s+/));
-      const sb = new Set((b || '').toLowerCase().split(/\s+/));
-      const u = new Set([...sa, ...sb]);
-      return u.size ? [...sa].filter(x => sb.has(x)).length / u.size : 1;
-    };
-    return jaccard(claim, evidence) > 0.3 && jaccard(evidence, claim) > 0.3;
-  }
-};
-
-// ============================================================
-// [3] AETHELGARD — 4-Layer Learned Governance (arXiv:2604.11839)
-// ============================================================
-// 15x overprovision reduction, minimum viable skill sets per task
-
-const MINIMUM_VIABLE = {
-  summarization:  ['read'],
-  code_review:   ['read', 'analyze'],
-  deployment:    ['read', 'write', 'shell_exec'],
-  data_analysis: ['read', 'compute'],
-};
-
-const AethelgardGovernor = {
-  scope(taskType) {
-    return MINIMUM_VIABLE[taskType] || ['read'];
-  },
-
-  overprovisionRatio(fullTools, taskType) {
-    return fullTools.length / Math.max(this.scope(taskType).length, 1);
-  },
-
-  safetyRoute(toolCall, taskType) {
-    return this.scope(taskType).includes(toolCall);
-  }
-};
-
-// ============================================================
-// [4] GSAR — Typed Grounding (arXiv:2604.23366)
-// ============================================================
-// 4-way: grounded | ungrounded | contradicted | complementary
-
-const GSARGroundingGate = {
-  evaluate(claims, evidence) {
-    const typed = claims.map(c => ({
-      claim: c,
-      type: this._classify(c, evidence),
-      weight: this._weight(c, evidence)
-    }));
-    const score = typed.reduce((s, t) => s + t.weight, 0) / Math.max(typed.length, 1);
-    const groundednessScore = Math.max(0, Math.min(1, score));
-    const decision = score >= 0.8 ? 'proceed' : score >= 0.5 ? 'regenerate' : 'replan';
-    return { typedClaims: typed, groundednessScore, decision };
-  },
-
-  _classify(claim, evidence) {
-    if ((evidence.supported || []).includes(claim)) return 'grounded';
-    if ((evidence.contradicted || []).includes(claim)) return 'contradicted';
-    if ((evidence.complementary || []).includes(claim)) return 'complementary';
-    return 'ungrounded';
-  },
-
-  _weight(claim, evidence) {
-    return { grounded: 1.0, contradicted: -1.0, complementary: 0.5, ungrounded: 0.0 }[this._classify(claim, evidence)];
-  }
-};
-
-// ============================================================
-// [5] SSL — Scheduling-Structural-Logical Normalizer (arXiv:2604.24026)
-// ============================================================
-// MRR 0.573→0.707, Risk F1 0.744→0.787
-
-const SSLNormalizer = {
-  normalize(skillText) {
-    const trigKW = ['伦理', '决策', '逻辑', '验证', '风险', '辩论', '记忆', '身份'];
-    return {
-      scheduling: {
-        triggers: trigKW.filter(k => skillText.includes(k)),
-        priority: 'medium',
-        cooldownMs: 0
-      },
-      structural: {
-        entryPoint: '',
-        dependencies: [],
-        executionMode: 'sequential'
-      },
-      logical: {
-        preconditions: [],
-        effects: this._extractEffects(skillText),
-        resourceUsage: {},
-        failureModes: []
-      }
-    };
-  },
-
-  _extractEffects(skillText) {
-    const fx = [];
-    if (/verify|验证/.test(skillText)) fx.push('outcome_verified');
-    if (/upgrade|升级|evolve/.test(skillText)) fx.push('version_incremented');
-    return fx;
-  }
-};
-
-// ============================================================
-// [6] HCP-MAD — 3-Stage Multi-Agent Debate (arXiv:2604.09679)
-// ============================================================
-// consensus → pair debate → escalated vote (token cost ↓)
-
-const HCPMADRouter = {
-  route(complexity, confidence) {
-    if (confidence >= 0.85) return 'consensus_verification';
-    if (complexity <= 0.5) return 'pair_agent_debate';
-    return 'escalated_collective_voting';
-  },
-
-  pairDebateMaxRounds: 3,
-  consensusThreshold: 0.85
-};
-
-// ============================================================
-// [7] SkillOS — RL Skill Curator (arXiv:2605.06614)
-// ============================================================
-// composite reward α·immediate + (1-α)·delayed_group
-
-class SkillOSCurator {
-  constructor(alpha = 0.6) {
-    this.alpha = alpha;
-    this.repo = new Map();
-  }
-
-  compositeReward(immediate, group) {
-    return this.alpha * immediate + (1 - this.alpha) * group;
-  }
-
-  curate(experiences, executorFn) {
-    for (const exp of experiences) {
-      const score = executorFn(exp.trajectory || []);
-      const threshold = 0.5 + 0.1 * Math.min(this.repo.size / 50, 1);
-      if (score > threshold) {
-        this.repo.set(exp.taskId, { markdown: `Skill: score=${score.toFixed(3)}`, score, ts: Date.now() });
-      }
-    }
-    return this.repo;
-  }
-}
-
-// ============================================================
-// [8] Skill1 — Unified Selection-Utilization-Distillation (arXiv:2605.06130)
-// ============================================================
-// single policy, single task-outcome signal
-
-class Skill1UnifiedPolicy {
-  constructor() {
-    this.library = new Map();
-  }
-
-  decomposeSignal(outcomes, window = 5) {
-    if (outcomes.length < window) {
-      return { selectionCredit: outcomes.reduce((a, b) => a + b, 0) / outcomes.length, distillationCredit: 0 };
-    }
-    const trend = outcomes.slice(-window).reduce((a, b) => a + b, 0) / window;
-    return { selectionCredit: trend, distillationCredit: outcomes[outcomes.length - 1] - trend };
-  }
-
-  queryAndRerank(candidates) {
-    let best = null, bestScore = -Infinity;
-    for (const name of candidates) {
-      const s = (this.library.get(name) || { avgScore: 0.5 }).avgScore;
-      if (s > bestScore) { bestScore = s; best = name; }
-    }
-    return best || candidates[0];
-  }
-
-  distill(name, trajectory, outcome) {
-    this.library.set(name, {
-      markdown: JSON.stringify(trajectory),
-      avgScore: outcome,
-      useCount: (this.library.get(name)?.useCount || 0) + 1
-    });
-  }
-}
-
-// ============================================================
-// [9] EvoSkill — Self-Evolving Skill Discovery (arXiv:2603.02766)
-// ============================================================
-// failure analysis → new skill proposals → structured folders
-
-class EvoSkillDiscovery {
-  constructor() {
-    this.skills = new Map();
-    this.failureLog = [];
-  }
-
-  analyzeFailures(traces) {
-    const failures = traces
-      .filter(t => t.status === 'failed')
-      .map(t => ({ taskId: t.taskId, errorType: t.error, step: t.step }));
-    this.failureLog.push(...failures);
-    return failures;
-  }
-
-  proposeSkill(failures) {
-    if (failures.length < 3) return null;
-    const pattern = failures.map(f => f.errorType).join('+');
-    const skillName = `evo_${Date.now().toString(36)}`;
-    this.skills.set(skillName, {
-      pattern,
-      triggers: [pattern],
-      created: Date.now(),
-      failureCount: failures.length
-    });
-    return skillName;
-  }
-}
-
-// ============================================================
-// [10] MemoryWorth — Two-Counter Governance (arXiv:2604)
-// ============================================================
-// success/fail counters per memory, lightweight staleness detection
-
-class MemoryWorth {
-  constructor() {
-    this.counters = new Map();
-  }
-
-  record(memoryId, success) {
-    const c = this.counters.get(memoryId) || { success: 0, fail: 0 };
-    success ? c.success++ : c.fail++;
-    this.counters.set(memoryId, c);
-  }
-
-  worth(memoryId) {
-    const c = this.counters.get(memoryId);
-    if (!c || (c.success + c.fail === 0)) return 0.5;
-    return c.success / (c.success + c.fail);
-  }
-
-  shouldKeep(memoryId, threshold = 0.5) {
-    return this.worth(memoryId) >= threshold;
-  }
-}
-
-// ============================================================
-// v11.43.1 EXPORT — HeartFlow Papers Integration
-// ============================================================
-
-const PapersV11431 = {
-  version: '11.43.1',
-
-  // Modules
-  SkillScope: SkillScopeAuditor,
-  VerificationGate,
-  Aethelgard: AethelgardGovernor,
-  GSAR: GSARGroundingGate,
-  SSL: SSLNormalizer,
-  HCPMAD: HCPMADRouter,
-  SkillOS: SkillOSCurator,
-  Skill1: Skill1UnifiedPolicy,
-  EvoSkill: EvoSkillDiscovery,
-  MemoryWorth,
-
-  // Register HeartFlow as community-reviewed
-  init() {
-    VerificationGate.register('heartflow', 'community_reviewed');
-  },
-
-  // Pre-load pipeline for skill loading
-  preLoadPipeline(skillText, taskContext = '', callType = 'reversible') {
-    const scope = SkillScopeAuditor.audit(skillText, taskContext);
-    const gate = VerificationGate.gate('heartflow', callType);
-    const bicond = VerificationGate.biconditional(
-      skillText.slice(0, 200),
-      taskContext.slice(0, 200)
-    );
-    const ssl = SSLNormalizer.normalize(skillText);
-    return {
-      skillscope: scope,
-      gate,
-      biconditional: bicond,
-      ssl,
-      load_allowed: scope.passed && gate === 'AUTO_APPROVED' && bicond
-    };
-  }
-};
-
-PapersV11431.init();
-
-module.exports = {
-  PapersV11431,
-  SkillScopeAuditor,
-  VerificationGate,
-  AethelgardGovernor,
-  GSARGroundingGate,
-  SSLNormalizer,
-  HCPMADRouter,
-  SkillOSCurator,
-  Skill1UnifiedPolicy,
-  EvoSkillDiscovery,
-  MemoryWorth
-};