helixevo 0.9.0 → 0.10.0

package/CHANGELOG.md

@@ -4,6 +4,17 @@ All notable changes to HelixEvo are documented here.
 
 ## [Unreleased]
 
+## [0.10.0] - 2026-03-26
+
+### Added
+- New `helixevo verify-brain` command for contract-backed brain verification across deterministic isolated scenarios plus bounded live smoke checks
+- New persisted theory-conformance artifact family under `~/.helix/theory-conformance/`, including the latest structured result, human-readable reports, and per-run scenario outputs
+
+### Changed
+- Overview and Proof now surface the latest theory-conformance verdict, scenario totals, and next-action guidance so brain verification is visible in the operator cockpit
+- Commands, runtime execution allowlists, README, and package metadata now describe automatic theory-conformance verification as a first-class product capability
+- Release-grade verification can now rerun bounded theory conformance through `verify-brain --release`, while still truthfully exposing live proof debt and evidence immaturity instead of overstating full theory closure
+
 ## [0.9.0] - 2026-03-25
 
 ### Added

package/README.md

@@ -1,6 +1,6 @@
 # HelixEvo
 
-Co-evolving skill and project brain for AI agents. HelixEvo captures failures, traces activations, models pressure, routes governed responses, promotes cross-project transfer, reviews structural topology changes, safely executes accepted topology transitions with rollback, lets approved ontology concepts become active semantic consumers inside the live control loop, and now turns Proof into a bounded steering input for future control instead of a descriptive layer alone.
+Co-evolving skill and project brain for AI agents. HelixEvo captures failures, traces activations, models pressure, routes governed responses, promotes cross-project transfer, reviews structural topology changes, safely executes accepted topology transitions with rollback, lets approved ontology concepts become active semantic consumers inside the live control loop, turns Proof into a bounded steering input for future control, and now adds automatic theory-conformance verification through contract-backed scenarios plus bounded live smoke checks.
 
 ## How it works
 
@@ -88,6 +88,7 @@ helixevo dashboard
 | `helixevo watch` | Always-on learning: auto-capture + auto-evolve |
 | `helixevo metrics` | Correction rates, skill trends, evolution impact |
 | `helixevo proof` | Outcome attribution, proof review, and steering summaries across interventions, transfer, topology, ontology, and evolution |
+| `helixevo verify-brain` | Automatic theory-conformance runner across deterministic scenarios plus bounded live smoke checks |
 | `helixevo health` | Network health: cohesion, coverage, balance, transfer |
 | `helixevo init` | Import existing skills + generate skill tests |
 | `helixevo capture <session>` | Extract failures from a session file |
@@ -130,6 +131,8 @@ helixevo topology --rollback <id> # Roll back an applied topology plan
 helixevo proof --status           # Review proof state across the live loop
 helixevo proof --review <id> --decision verify
                                   # Verify a proof record after operator review
+helixevo verify-brain --verbose   # Run the contract-backed brain verification workflow
+helixevo verify-brain --release   # Run stricter release-grade conformance handling
 ```
 
 ### Research options
@@ -165,6 +168,10 @@ All data is stored in `~/.helix/`:
 ├── topology-artifacts.jsonl  # Evidence artifacts for reviewed structural execution
 ├── proof-reviews.jsonl      # Operator verify/defer/contest ledger for derived proof records
 ├── evolution-artifacts.jsonl # Evolution + ontology-review evidence artifacts
+├── theory-conformance/
+│   ├── latest.json          # Latest contract-backed brain verification result
+│   ├── reports/             # Human-readable theory-conformance reports
+│   └── runs/                # Per-run scenario artifacts and structured outputs
 ├── ontology/
 │   ├── kernel.json          # Materialized ontology kernel snapshot
 │   ├── extensions.json      # Approved ontology extensions

package/dashboard/app/api/run/route.ts

@@ -18,6 +18,7 @@ const ALLOWED_COMMANDS: Record<string, { cmd: string; args: string[]; timeout: n
   'graph-optimize': { cmd: 'helixevo', args: ['graph', '--optimize', '--verbose'], timeout: 300000 },
   'research':       { cmd: 'helixevo', args: ['research', '--verbose'],            timeout: 300000 },
   'research-dry':   { cmd: 'helixevo', args: ['research', '--dry-run', '--verbose'], timeout: 300000 },
+  'verify-brain':   { cmd: 'helixevo', args: ['verify-brain', '--verbose'],        timeout: 600000 },
   'report':         { cmd: 'helixevo', args: ['report', '--days', '7'],            timeout: 30000 },
 }
 

package/dashboard/app/coevolution/client.tsx

@@ -83,6 +83,8 @@ type Summary = {
       proofSummary?: string
       proofReasons?: string[]
       proofLaneKeys?: string[]
+      proofClosureState?: 'needs-evidence' | 'needs-review' | 'stalled' | 'settled' | 'trusted-with-debt'
+      proofDebtSummary?: string
     }
     semanticConceptIds?: string[]
   }[]
@@ -113,6 +115,8 @@ type Summary = {
       proofSummary?: string
       proofReasons?: string[]
       proofLaneKeys?: string[]
+      proofClosureState?: 'needs-evidence' | 'needs-review' | 'stalled' | 'settled' | 'trusted-with-debt'
+      proofDebtSummary?: string
     }
     semanticConceptIds?: string[]
   }[]
@@ -171,6 +175,15 @@ function toneForProofTier(tier: 'trusted' | 'caution' | 'bounded' | 'candidate'
   return 'gray'
 }
 
+function toneForProofClosureState(state: 'needs-evidence' | 'needs-review' | 'stalled' | 'settled' | 'trusted-with-debt' | undefined) {
+  if (state === 'trusted-with-debt') return 'yellow'
+  if (state === 'stalled') return 'yellow'
+  if (state === 'needs-review') return 'blue'
+  if (state === 'needs-evidence') return 'gray'
+  if (state === 'settled') return 'green'
+  return 'gray'
+}
+
 function toneForMode(mode: Summary['governance']['activeMode']): 'blue' | 'green' | 'purple' | 'yellow' | 'neutral' {
   if (mode === 'transfer-focused') return 'purple'
   if (mode === 'project-critical') return 'yellow'
@@ -329,7 +342,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
         <MetricCard label="Prepared topology" value={summary.topologyExecution.prepared} sublabel={`${summary.topologyExecution.applied} applied • ${summary.topologyExecution.rolledBack} rolled back`} tone={summary.topologyExecution.prepared > 0 ? 'blue' : summary.topologyExecution.applied > 0 ? 'green' : 'neutral'} icon="↑" />
         <MetricCard label="Active semantics" value={ontology.ontologyLoop.adoption.activeConcepts} sublabel={`${ontology.ontologyLoop.adoption.totalBindings} bindings • ${ontology.ontologyLoop.adoption.routesInfluenced} influenced routes`} tone={ontology.ontologyLoop.adoption.activeConcepts > 0 ? 'green' : 'neutral'} icon="◎" />
         <MetricCard label="Recorded interventions" value={summary.pressureInterventions.total} sublabel={`${summary.pressureInterventions.completed} completed • ${summary.pressureInterventions.dryRun} dry-run`} tone="blue" icon="↺" />
-        <MetricCard label="Proof steering" value={proof.steering.priorityReview} sublabel={`${proof.steering.trustedLanes} trusted • ${proof.steering.cautionLanes} caution`} tone={proof.steering.cautionLanes > 0 ? 'yellow' : proof.steering.trustedLanes > 0 ? 'green' : proof.summary.reviewOpen > 0 ? 'blue' : 'neutral'} icon="◇" />
+        <MetricCard label="Proof steering" value={proof.steering.priorityReview} sublabel={`${proof.summary.needsEvidence} need evidence • ${proof.steering.trustedWithDebtLanes} trusted with debt`} tone={proof.summary.stalled > 0 || proof.steering.trustedWithDebtLanes > 0 ? 'yellow' : proof.steering.cautionLanes > 0 ? 'yellow' : proof.steering.trustedLanes > 0 ? 'green' : proof.summary.reviewOpen > 0 ? 'blue' : 'neutral'} icon="◇" />
         <MetricCard label="Realized transfers" value={summary.recentTransfers.filter((event) => event.status === 'realized').length} sublabel={`${summary.pressureMotifs.addressed} motifs now addressed`} tone="green" icon="↑" />
       </div>
 
@@ -421,6 +434,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                     <span className="badge badge-purple">recommend {motif.suggestedRoute.route}</span>
                     <span className="badge badge-gray">confidence {(motif.suggestedRoute.confidence * 100).toFixed(0)}%</span>
                     {motif.suggestedRoute.proofTier ? <span className={`badge badge-${toneForProofTier(motif.suggestedRoute.proofTier)}`}>proof {motif.suggestedRoute.proofTier}</span> : null}
+                    {motif.suggestedRoute.proofClosureState ? <span className={`badge badge-${toneForProofClosureState(motif.suggestedRoute.proofClosureState)}`}>{motif.suggestedRoute.proofClosureState}</span> : null}
                     {motif.suggestedRoute.semanticInfluence && motif.suggestedRoute.semanticInfluence !== 'none' ? <span className="badge badge-green">semantic {motif.suggestedRoute.semanticInfluence}</span> : null}
                     {(motif.semanticConceptIds ?? []).slice(0, 2).map((conceptId) => <span key={`${motif.id}-${conceptId}`} className="badge badge-gray">{conceptId}</span>)}
                     {motif.projectIds.slice(0, 3).map((projectId) => <span key={`${motif.id}-${projectId}`} className="badge badge-gray">{projectId}</span>)}
@@ -430,6 +444,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                       <div key={`${motif.id}-reason-${index}`} className="signal-text">• {reason}</div>
                     ))}
                     {motif.suggestedRoute.proofSummary ? <div className="signal-text">→ {motif.suggestedRoute.proofSummary}</div> : null}
+                    {motif.suggestedRoute.proofDebtSummary ? <div className="signal-text">⇢ {motif.suggestedRoute.proofDebtSummary}</div> : null}
                   </div>
                 </div>
               </div>
@@ -572,6 +587,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                     {signal.routeRecommendation ? <span className={`badge badge-${toneForRoute(signal.routeRecommendation.route)}`}>recommend {signal.routeRecommendation.route}</span> : null}
                     {signal.routeRecommendation ? <span className="badge badge-gray">{signal.routeRecommendation.scope}</span> : null}
                     {signal.routeRecommendation?.proofTier ? <span className={`badge badge-${toneForProofTier(signal.routeRecommendation.proofTier)}`}>proof {signal.routeRecommendation.proofTier}</span> : null}
+                    {signal.routeRecommendation?.proofClosureState ? <span className={`badge badge-${toneForProofClosureState(signal.routeRecommendation.proofClosureState)}`}>{signal.routeRecommendation.proofClosureState}</span> : null}
                     {signal.routeRecommendation?.semanticInfluence && signal.routeRecommendation.semanticInfluence !== 'none' ? <span className="badge badge-green">semantic {signal.routeRecommendation.semanticInfluence}</span> : null}
                     {(signal.semanticConceptIds ?? []).slice(0, 2).map((conceptId) => <span key={`${signal.id}-${conceptId}`} className="badge badge-gray">{conceptId}</span>)}
                     {signal.interventionTypes.map((type) => <span key={`${signal.id}-${type}`} className="badge badge-gray">{type}</span>)}
@@ -582,6 +598,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                         <div key={`${signal.id}-reason-${index}`} className="signal-text">• {reason}</div>
                       ))}
                       {signal.routeRecommendation.proofSummary ? <div className="signal-text">→ {signal.routeRecommendation.proofSummary}</div> : null}
+                      {signal.routeRecommendation.proofDebtSummary ? <div className="signal-text">⇢ {signal.routeRecommendation.proofDebtSummary}</div> : null}
                     </div>
                   ) : null}
                 </div>

package/dashboard/app/commands/page.tsx

@@ -247,6 +247,28 @@ const COMMANDS: CommandInfo[] = [
     runnable: { command: 'proof', label: 'Open Proof State', icon: 'M9 17v-2m3 2v-4m3 4v-6m2 10H7a2 2 0 01-2-2V5a2 2 0 012-2h5.586a1 1 0 01.707.293l5.414 5.414a1 1 0 01.293.707V19a2 2 0 01-2 2z', color: 'var(--blue)' },
     note: 'Proof stays bounded and reviewable. Measuring means live but not yet proven, regressed means explicit negative evidence, and verified strengthens review trust without pretending stronger causal certainty than the evidence supports.',
   },
+  {
+    name: 'verify-brain',
+    description: 'Run the contract-backed theory-conformance workflow. This command executes deterministic isolated scenarios plus bounded live smoke checks, emits a structured verdict, saves the latest report, and turns the brain-theory question into an operational product capability instead of a manual milestone-only argument.',
+    usage: 'helixevo verify-brain [options]',
+    examples: [
+      { cmd: 'helixevo verify-brain', desc: 'Run the default isolated + live theory-conformance suite' },
+      { cmd: 'helixevo verify-brain --isolated-only --verbose', desc: 'Run only deterministic isolated scenarios with detailed output' },
+      { cmd: 'helixevo verify-brain --live-only', desc: 'Run only the bounded live smoke checks' },
+      { cmd: 'helixevo verify-brain --release --json', desc: 'Run release-grade verification and emit structured JSON' },
+    ],
+    options: [
+      { flag: '--release', desc: 'Use stricter release-grade failure handling' },
+      { flag: '--live-only', desc: 'Run only the bounded live smoke suite' },
+      { flag: '--isolated-only', desc: 'Run only the deterministic isolated suite' },
+      { flag: '--json', desc: 'Print the structured result as JSON' },
+      { flag: '--verbose', desc: 'Show scenario-by-scenario and claim-by-claim details' },
+    ],
+    category: 'analysis',
+    needsLLM: true,
+    runnable: { command: 'verify-brain', label: 'Verify Brain', icon: 'M12 3l7 4v5c0 5-3.5 9-7 10-3.5-1-7-5-7-10V7l7-4zm0 5v5m0 4h.01', color: 'var(--purple)' },
+    note: 'This is the new bridge between theory and product. Use it when you need a contract-backed answer to whether the current HelixEvo brain still behaves according to the bounded theory.' ,
+  },
   {
     name: 'status',
     description: 'Quick overview of system state: total skills, frontier size, failure count, skill tests, provider control health, and the last recorded provider execution. Like a health check but without deep model analysis.',

package/dashboard/app/page.tsx

@@ -6,6 +6,7 @@ import { PageHero } from '@/components/page-hero'
 import { MetricCard } from '@/components/metric-card'
 import { SectionFrame } from '@/components/section-frame'
 import { OperatorLoopTrail } from '@/components/operator-loop-trail'
+import { loadLatestTheoryConformanceResult } from '@/lib/theory'
 
 export const dynamic = 'force-dynamic'
 
@@ -28,10 +29,50 @@ function providerTone(status: 'healthy' | 'degraded' | 'unavailable' | 'unknown'
   return 'neutral' as const
 }
 
+function conformanceTone(verdict: 'pass' | 'bounded-pass' | 'fail' | 'inconclusive') {
+  if (verdict === 'pass') return 'green' as const
+  if (verdict === 'bounded-pass') return 'yellow' as const
+  if (verdict === 'fail') return 'red' as const
+  return 'neutral' as const
+}
+
+function conformanceHeadline(result: ReturnType<typeof loadLatestTheoryConformanceResult>) {
+  if (!result) {
+    return {
+      title: 'Run the first automated verification pass',
+      description: 'No theory-conformance run has been recorded yet. Run helixevo verify-brain to generate the first contract-backed verdict.',
+    }
+  }
+
+  const failing = result.scenarios.find((scenario) => scenario.verdict === 'fail')
+  if (failing) {
+    return {
+      title: `${failing.scenarioId} needs attention`,
+      description: failing.summary,
+    }
+  }
+
+  const bounded = result.scenarios.find((scenario) => scenario.verdict === 'bounded-pass' || scenario.verdict === 'inconclusive')
+  if (bounded) {
+    return {
+      title: `${bounded.scenarioId} stayed bounded`,
+      description: bounded.summary,
+    }
+  }
+
+  return {
+    title: 'The latest executed theory checks passed',
+    description: result.summary,
+  }
+}
+
 function getPriorityActions(params: {
   unresolved: number
   proofOpen: number
   proofCaution: number
+  proofNeedsEvidence: number
+  proofStalled: number
+  proofTrustedWithDebt: number
   topologyOpen: number
   optimizeStatus: 'idle' | 'healthy' | 'partial' | 'failed'
   optimizeNextStep?: string
@@ -59,6 +100,15 @@ function getPriorityActions(params: {
     })
   }
 
+  if (params.proofStalled > 0) {
+    actions.push({
+      href: '/proof',
+      title: 'Resolve stalled proof debt',
+      description: `${params.proofStalled} proof record${params.proofStalled === 1 ? '' : 's'} have aged without stronger evidence or review and now need explicit revisit.`,
+      tone: 'yellow',
+    })
+  }
+
   if (params.proofCaution > 0) {
     actions.push({
       href: '/proof',
@@ -68,6 +118,15 @@ function getPriorityActions(params: {
     })
   }
 
+  if (params.proofTrustedWithDebt > 0) {
+    actions.push({
+      href: '/proof',
+      title: 'Review trusted lanes with debt',
+      description: `${params.proofTrustedWithDebt} lane${params.proofTrustedWithDebt === 1 ? '' : 's'} look trusted but still carry unresolved closure debt behind the summary.`,
+      tone: 'yellow',
+    })
+  }
+
   if (params.proofOpen > 0) {
     actions.push({
       href: '/proof',
@@ -77,6 +136,15 @@ function getPriorityActions(params: {
     })
   }
 
+  if (params.proofNeedsEvidence > 0) {
+    actions.push({
+      href: '/proof',
+      title: 'Harvest missing proof evidence',
+      description: `${params.proofNeedsEvidence} proof record${params.proofNeedsEvidence === 1 ? '' : 's'} still need stronger downstream evidence before they should steer more strongly.`,
+      tone: 'blue',
+    })
+  }
+
   if (params.topologyOpen > 0) {
     actions.push({
       href: '/topology',
@@ -114,6 +182,7 @@ export default function Overview() {
   const topologyControl = loadTopologyDashboardSummary()
   const llmRuntime = loadLlmRuntimeState()
   const proof = loadProofDashboardSummary()
+  const conformance = loadLatestTheoryConformanceResult()
   const frontier = loadFrontier()
   const history = loadHistory()
   const graph = loadGraph()
@@ -145,6 +214,9 @@ export default function Overview() {
     unresolved: summary.failures.unresolved,
     proofOpen: proof.summary.reviewOpen,
     proofCaution: proof.steering.cautionLanes,
+    proofNeedsEvidence: proof.summary.needsEvidence,
+    proofStalled: proof.summary.stalled,
+    proofTrustedWithDebt: proof.steering.trustedWithDebtLanes,
     topologyOpen: topologyControl.summary.open,
     optimizeStatus: topologyControl.optimizeStatus.status,
     optimizeNextStep: topologyControl.optimizeStatus.nextStep,
@@ -187,7 +259,7 @@ export default function Overview() {
 
       <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(180px, 1fr))', gap: 16 }}>
         <MetricCard label="Unresolved corrections" value={summary.failures.unresolved} sublabel={`out of ${summary.failures.total} captured failures`} tone={summary.failures.unresolved > 0 ? 'yellow' : 'green'} href={summary.failures.unresolved > 0 ? '#attention' : '/evolution'} icon="!" />
-        <MetricCard label="Proof review" value={proof.summary.reviewOpen} sublabel={`${proof.steering.trustedLanes} trusted lanes • ${proof.steering.cautionLanes} caution`} tone={proof.summary.reviewOpen > 0 ? 'yellow' : proof.steering.trustedLanes > 0 ? 'green' : proof.steering.cautionLanes > 0 ? 'yellow' : 'neutral'} href="/proof" icon="◇" />
+        <MetricCard label="Proof review" value={proof.summary.reviewOpen} sublabel={`${proof.summary.needsEvidence} need evidence • ${proof.steering.trustedWithDebtLanes} trusted with debt`} tone={proof.summary.stalled > 0 || proof.steering.trustedWithDebtLanes > 0 ? 'yellow' : proof.summary.reviewOpen > 0 ? 'blue' : proof.steering.trustedLanes > 0 ? 'green' : proof.steering.cautionLanes > 0 ? 'yellow' : 'neutral'} href="/proof" icon="◇" />
         <MetricCard
           label="Open pressure"
           value={ontology.pressureLifecycle.open}
@@ -241,6 +313,37 @@ export default function Overview() {
         </div>
       </SectionFrame>
 
+      <SectionFrame
+        eyebrow="Automated brain verification"
+        title="Latest theory-conformance result"
+        description="HelixEvo can now record a contract-backed brain-verification run in parallel with the live operator cockpit. This is the latest stored verdict."
+        tone="blue"
+      >
+        {conformance ? (
+          <div className="grid-2" style={{ gap: 16 }}>
+            <div className="hero-note-card">
+              <div className="hero-note-label">{conformance.verdict}</div>
+              <div className="hero-note-title">{conformanceHeadline(conformance).title}</div>
+              <div className="hero-note-copy">{conformanceHeadline(conformance).description}</div>
+              {conformance.reportPath ? (
+                <div className="signal-text" style={{ marginTop: 10 }}>report · {conformance.reportPath}</div>
+              ) : null}
+            </div>
+            <div style={{ display: 'grid', gap: 12 }}>
+              <MetricCard label="Verdict" value={conformance.verdict} sublabel={`${conformance.totals.passed} pass • ${conformance.totals.boundedPass} bounded • ${conformance.totals.failed} fail • ${conformance.totals.inconclusive} inconclusive`} tone={conformanceTone(conformance.verdict)} href="/proof" icon="◎" />
+              <MetricCard label="Scenarios" value={conformance.totals.scenarios} sublabel={`${conformance.totals.assertions} assertions in the latest run`} tone="blue" href="/proof" icon="◇" />
+              <MetricCard label="Run mode" value={conformance.mode} sublabel={conformance.releaseMode ? 'release-grade handling enabled' : 'standard operator run'} tone="purple" href="/commands" icon="⇄" />
+              <div className="signal-text">{conformance.nextActions[0] ?? 'Open Proof or run helixevo verify-brain --verbose for the full latest report.'}</div>
+            </div>
+          </div>
+        ) : (
+          <div className="empty-state" style={{ padding: 24 }}>
+            <div className="empty-state-title">No theory-conformance run yet</div>
+            <div className="empty-state-desc">Run <code>helixevo verify-brain --verbose</code> to generate the first contract-backed brain-verification report.</div>
+          </div>
+        )}
+      </SectionFrame>
+
       {unresolved.length > 0 ? (
         <SectionFrame
           eyebrow="Attention"
@@ -353,6 +456,7 @@ export default function Overview() {
                 <div className="summary-row-main">
                   <div className="summary-row-title">{lane.route ? lane.route.replace(/-/g, ' ') : lane.conceptId ?? lane.laneKey}</div>
                   <div className="summary-row-meta">{lane.summary}</div>
+                  {lane.debtSummary ? <div className="summary-row-meta" style={{ marginTop: 6 }}>{lane.debtSummary}</div> : null}
                 </div>
                 <span className={`hero-chip hero-chip-${lane.evidenceTier === 'trusted' ? 'green' : lane.evidenceTier === 'caution' ? 'yellow' : lane.evidenceTier === 'bounded' ? 'blue' : 'neutral'}`}>{lane.evidenceTier}</span>
               </div>
@@ -361,8 +465,8 @@ export default function Overview() {
           </div>
           <div style={{ display: 'grid', gap: 12 }}>
             <MetricCard label="Trusted lanes" value={proof.steering.trustedLanes} sublabel={`${proof.summary.verified} verified records reinforce future trust`} tone={proof.steering.trustedLanes > 0 ? 'green' : 'neutral'} href="/proof" icon="✓" />
-            <MetricCard label="Caution lanes" value={proof.steering.cautionLanes} sublabel={`${proof.summary.regressed} regressed • ${proof.summary.contested} contested`} tone={proof.steering.cautionLanes > 0 ? 'yellow' : 'neutral'} href="/proof" icon="!" />
-            <div className="signal-text">Candidate evidence stays visible in Proof, but no longer dominates the highest-value steering surface.</div>
+            <MetricCard label="Trusted with debt" value={proof.steering.trustedWithDebtLanes} sublabel={`${proof.summary.needsEvidence} need evidence • ${proof.summary.stalled} stalled`} tone={proof.steering.trustedWithDebtLanes > 0 || proof.summary.stalled > 0 ? 'yellow' : 'neutral'} href="/proof" icon="!" />
+            <div className="signal-text">Proof can now look strong at the lane level while still carrying unresolved closure debt underneath. Overview keeps that debt visible instead of hiding it behind a single trusted badge.</div>
           </div>
         </div>
       </SectionFrame>