helixevo 0.8.0 → 0.9.0

package/CHANGELOG.md

@@ -4,6 +4,25 @@ All notable changes to HelixEvo are documented here.
 
 ## [Unreleased]
 
+## [0.9.0] - 2026-03-25
+
+### Added
+- Proof steering summaries with explicit evidence tiers — `trusted`, `caution`, `bounded`, and `candidate` — so proved outcomes can be surfaced as route-level and semantic-control influence instead of remaining only a descriptive ledger
+- Candidate-vs-priority proof queue separation so dry-run and insufficient-evidence records stay visible without crowding higher-leverage review
+
+### Changed
+- Pressure route recommendations now consume bounded proof steering after semantic influence, allowing weak evidence to stay bounded, cautionary evidence to bias toward review, and verified/effective evidence to strengthen trust modestly
+- Overview, Proof, and Co-Evolution now expose prove-to-steer closure directly, including trusted/caution lane visibility and proof-aware route rationale
+- `status`, `proof --status --verbose`, and the public README now describe Proof as a bounded steering input into the next governed loop rather than only a post-action review surface
+
+## [0.8.1] - 2026-03-25
+
+### Changed
+- Overview now behaves more like an essential operator cockpit and gives higher priority to live operator state over release/reference framing
+- Unresolved corrections now surface earlier in the landing flow when active, ahead of quick actions and semantic summary content
+- Healthy provider state remains compact on Overview while fallback/deviation cases are explained more explicitly and truthfully
+- Semantic backbone now reads as a compact brain summary instead of a dense secondary dashboard, with direct control links into co-evolution, ontology, topology, and proof
+
 ## [0.8.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 exposes a first-class proof layer for bounded outcome attribution across the brain loop.
+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.
 
 ## How it works
 
@@ -87,7 +87,7 @@ helixevo dashboard
 |---------|-------------|
 | `helixevo watch` | Always-on learning: auto-capture + auto-evolve |
 | `helixevo metrics` | Correction rates, skill trends, evolution impact |
-| `helixevo proof` | Outcome attribution and proof review across interventions, transfer, topology, ontology, and evolution |
+| `helixevo proof` | Outcome attribution, proof review, and steering summaries across interventions, transfer, topology, ontology, and evolution |
 | `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 |
@@ -199,10 +199,10 @@ helixevo dashboard --port 3900
 **Tabs:**
 - **Overview** — Premium control cockpit with frontier signals, brain foundation, provider-control truth, semantic backbone, ontology adoption visibility, proof review visibility, pressure counts, topology review visibility, and prepared/applied structural state
 - **Skill Network** — Interactive graph, premium inspector, co-evolution routing signals, and topology review/execution handoff links
-- **Co-Evolution** — Operator cockpit for routed pressure response, governance mode visibility, promotion queues, transfer evidence, semantic route influence, and topology handoff
+- **Co-Evolution** — Operator cockpit for routed pressure response, governance mode visibility, promotion queues, transfer evidence, semantic route influence, proof-aware route rationale, and topology handoff
 - **Ontology** — Semantic control surface for kernel visibility, frontier concept review, approved ontology extensions, adoption coverage, deprecation risk, and native ontology change events
 - **Topology** — Governance steering plus a persistent operator pipeline for review → prepare → apply → rollback across merge / split / promote / rewire / consolidate candidates
-- **Proof** — Outcome-attribution and proof-review cockpit for bounded effectiveness review across interventions, transfer, topology execution, semantic adoption, and evolution impact
+- **Proof** — Outcome-attribution, review, and proof-steering cockpit for bounded effectiveness across interventions, transfer, topology execution, semantic adoption, and evolution impact
 - **Projects** — Project intake studio, live project analysis, gap routing, per-project pressure hotspots, and promotion feeders
 - **Evolution** — Timeline of evolution runs with judge scores, artifact provenance, and activation-aware context
 - **Research** — Knowledge buffer plus a live “why research now” handoff from current pressure, governed routing, and recurring gaps
@@ -249,7 +249,7 @@ Failures → Cluster → Propose → Replay → Multi-Judge → Regression → C
 - **Governance steering** lets the operator pin or release the active adaptation mode rather than relying only on derived routing.
 - **Topology review** persists merge / split / promote / rewire / consolidate candidates so manual review is a real workflow.
 - **Reviewed topology execution** turns accepted safe candidates into prepared plans, snapshot-backed applies, and rollbackable structural transitions.
-- **Proof control** turns bounded outcome attribution into an explicit operator layer where interventions, transfer, topology execution, semantic adoption, and evolution impact can be verified, deferred, or contested.
+- **Proof control** turns bounded outcome attribution into an explicit operator layer where interventions, transfer, topology execution, semantic adoption, and evolution impact can be verified, deferred, or contested, then fed back into future control through bounded proof steering.
 - **Evolution artifacts** preserve proposal-level evidence so the dashboard can show what changed, why, and with what provenance.
 
 **Three-layer hierarchy:**

package/dashboard/app/coevolution/client.tsx

@@ -78,6 +78,11 @@ type Summary = {
       reasons: string[]
       semanticInfluence?: 'none' | 'explanatory' | 'weighted'
       semanticConceptIds?: string[]
+      proofInfluence?: 'none' | 'explanatory' | 'weighted'
+      proofTier?: 'trusted' | 'caution' | 'bounded' | 'candidate'
+      proofSummary?: string
+      proofReasons?: string[]
+      proofLaneKeys?: string[]
     }
     semanticConceptIds?: string[]
   }[]
@@ -103,6 +108,11 @@ type Summary = {
       reasons: string[]
       semanticInfluence?: 'none' | 'explanatory' | 'weighted'
       semanticConceptIds?: string[]
+      proofInfluence?: 'none' | 'explanatory' | 'weighted'
+      proofTier?: 'trusted' | 'caution' | 'bounded' | 'candidate'
+      proofSummary?: string
+      proofReasons?: string[]
+      proofLaneKeys?: string[]
     }
     semanticConceptIds?: string[]
   }[]
@@ -153,6 +163,14 @@ function toneForRoute(route: PressureInterventionType) {
   return 'gray'
 }
 
+function toneForProofTier(tier: 'trusted' | 'caution' | 'bounded' | 'candidate' | undefined) {
+  if (tier === 'trusted') return 'green'
+  if (tier === 'caution') return 'yellow'
+  if (tier === 'bounded') return 'blue'
+  if (tier === 'candidate') return 'gray'
+  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'
@@ -311,7 +329,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 review" value={proof.summary.reviewOpen} sublabel={`${proof.summary.effective} effective • ${proof.summary.regressed} regressed`} tone={proof.summary.reviewOpen > 0 ? 'yellow' : proof.summary.effective > 0 ? 'green' : 'neutral'} 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="Realized transfers" value={summary.recentTransfers.filter((event) => event.status === 'realized').length} sublabel={`${summary.pressureMotifs.addressed} motifs now addressed`} tone="green" icon="↑" />
       </div>
 
@@ -402,6 +420,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                     <span className={`badge badge-${toneForLifecycle(motif.lifecycle)}`}>{motif.lifecycle}</span>
                     <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.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>)}
@@ -410,6 +429,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                     {motif.suggestedRoute.reasons.slice(0, 2).map((reason, index) => (
                       <div key={`${motif.id}-reason-${index}`} className="signal-text">• {reason}</div>
                     ))}
+                    {motif.suggestedRoute.proofSummary ? <div className="signal-text">→ {motif.suggestedRoute.proofSummary}</div> : null}
                   </div>
                 </div>
               </div>
@@ -551,6 +571,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                     {signal.projectId ? <span className="badge badge-gray">{signal.projectId}</span> : null}
                     {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?.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>)}
@@ -560,6 +581,7 @@ export default function CoEvolutionClient({ summary, ontology, proof }: Props) {
                       {signal.routeRecommendation.reasons.slice(0, 2).map((reason, index) => (
                         <div key={`${signal.id}-reason-${index}`} className="signal-text">• {reason}</div>
                       ))}
+                      {signal.routeRecommendation.proofSummary ? <div className="signal-text">→ {signal.routeRecommendation.proofSummary}</div> : null}
                     </div>
                   ) : null}
                 </div>

package/dashboard/app/page.tsx

@@ -6,8 +6,6 @@ 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 { SurfaceJumpLinks } from '@/components/surface-jump-links'
-import { CURRENT_RELEASE_SPOTLIGHT } from '@/lib/release-spotlight'
 
 export const dynamic = 'force-dynamic'
 
@@ -33,6 +31,7 @@ function providerTone(status: 'healthy' | 'degraded' | 'unavailable' | 'unknown'
 function getPriorityActions(params: {
   unresolved: number
   proofOpen: number
+  proofCaution: number
   topologyOpen: number
   optimizeStatus: 'idle' | 'healthy' | 'partial' | 'failed'
   optimizeNextStep?: string
@@ -60,6 +59,15 @@ function getPriorityActions(params: {
     })
   }
 
+  if (params.proofCaution > 0) {
+    actions.push({
+      href: '/proof',
+      title: 'Inspect cautionary proof steering',
+      description: `${params.proofCaution} proof lane${params.proofCaution === 1 ? '' : 's'} currently reduce trust or increase review bias for the next control step.`,
+      tone: 'yellow',
+    })
+  }
+
   if (params.proofOpen > 0) {
     actions.push({
       href: '/proof',
@@ -114,9 +122,29 @@ export default function Overview() {
   const recentRuns = history.iterations.slice(-4).reverse()
   const topSkills = [...graph.nodes].sort((a, b) => b.score - a.score).slice(0, 10)
   const defaultProvider = llmRuntime.providers[llmRuntime.defaultProvider]
+  const lastExecutionUsedFallback = Boolean(llmRuntime.lastExecution?.fallbackUsed)
+  const isProviderDegraded =
+    defaultProvider.status === 'degraded' ||
+    defaultProvider.status === 'unavailable'
+  const showProviderAttention = isProviderDegraded || lastExecutionUsedFallback
+  const providerAttentionTone = defaultProvider.status === 'unavailable' ? 'red' : 'yellow'
+  const providerAttentionEyebrow = isProviderDegraded ? 'Provider attention' : 'Recent provider deviation'
+  const providerAttentionTitle = defaultProvider.status === 'unavailable'
+    ? 'Backend recovery needed'
+    : isProviderDegraded
+      ? 'Live backend truth'
+      : 'Fallback used recently'
+  const providerAttentionDescription = isProviderDegraded
+    ? lastExecutionUsedFallback
+      ? 'The default provider currently needs attention and a recent provider-backed run used explicit fallback. Review runtime health before treating execution as fully healthy or default-aligned.'
+      : 'The default provider currently needs attention. Review runtime health before treating provider-backed execution as fully healthy.'
+    : llmRuntime.lastExecution?.usedProvider
+      ? `A recent provider-backed run did not stay on the selected default provider. The default remained ${providerLabel(llmRuntime.defaultProvider)}, but the last successful execution used ${providerLabel(llmRuntime.lastExecution.usedProvider)}. Review provider health and fallback policy before assuming default-provider execution.`
+      : 'A recent provider-backed run used explicit fallback instead of staying on the selected default provider. Review provider health and fallback policy before assuming default-provider execution.'
   const priorityActions = getPriorityActions({
     unresolved: summary.failures.unresolved,
     proofOpen: proof.summary.reviewOpen,
+    proofCaution: proof.steering.cautionLanes,
     topologyOpen: topologyControl.summary.open,
     optimizeStatus: topologyControl.optimizeStatus.status,
     optimizeNextStep: topologyControl.optimizeStatus.nextStep,
@@ -133,14 +161,9 @@ export default function Overview() {
         title="Dashboard"
         description="Monitor the live state of your self-evolving skill ecosystem, launch high-value actions, and trace how failures turn into frontier-worthy improvements."
         chips={[
-          { label: `${summary.skills.total} skills`, tone: 'purple' },
           { label: `${summary.failures.unresolved} unresolved corrections`, tone: summary.failures.unresolved > 0 ? 'yellow' : 'green' },
-          { label: `${summary.evolution.runs} evolution runs`, tone: 'blue' },
-          { label: `${frontier.programs.length}/${frontier.capacity} frontier slots`, tone: 'green' },
-          { label: `${coevolution.pressureMotifs.promotionReady} promotion-ready motifs`, tone: coevolution.pressureMotifs.promotionReady > 0 ? 'purple' : 'neutral' },
-          { label: `${coevolution.topologyReviews.open} topology reviews`, tone: coevolution.topologyReviews.open > 0 ? 'yellow' : 'green' },
-          { label: `${coevolution.topologyExecution.prepared} prepared structural plans`, tone: coevolution.topologyExecution.prepared > 0 ? 'blue' : 'neutral' },
           { label: `${proof.summary.reviewOpen} proof reviews`, tone: proof.summary.reviewOpen > 0 ? 'yellow' : proof.summary.effective > 0 ? 'green' : 'neutral' },
+          { label: `${coevolution.topologyReviews.open} topology reviews`, tone: coevolution.topologyReviews.open > 0 ? 'yellow' : 'green' },
           { label: `${providerLabel(llmRuntime.defaultProvider)} ${defaultProvider.status}`, tone: providerTone(defaultProvider.status) },
           { label: `mode: ${coevolution.governance.activeMode.replace(/-/g, ' ')}`, tone: coevolution.governance.activeMode === 'transfer-focused' ? 'purple' : coevolution.governance.activeMode === 'project-critical' ? 'yellow' : 'blue' },
         ]}
@@ -162,38 +185,98 @@ export default function Overview() {
 
       <OperatorLoopTrail surface="overview" />
 
-      <div className="grid-5">
-        <MetricCard label="Total skills" value={summary.skills.total} sublabel={`${summary.skills.evolved} evolved • ${summary.skillTests} skill tests`} tone="purple" href="/network" icon="◆" />
-        <MetricCard label="Accepted proposals" value={summary.evolution.accepted} sublabel={`${summary.evolution.rejected} rejected`} tone="green" href="/evolution" icon="✓" />
+      <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="Discoveries" value={summary.buffer.discoveries} sublabel={`${summary.buffer.drafts} drafts in progress`} tone="blue" href="/research" icon="◎" />
-        <MetricCard label="Frontier candidates" value={frontier.programs.length} sublabel={`${summary.canaries} active canaries`} tone="neutral" href="/frontier" icon="▲" />
-        <MetricCard label="Proof review" value={proof.summary.reviewOpen} sublabel={`${proof.summary.effective} effective • ${proof.summary.regressed} regressed`} tone={proof.summary.reviewOpen > 0 ? 'yellow' : proof.summary.effective > 0 ? 'green' : 'neutral'} href="/proof" 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="Open pressure"
+          value={ontology.pressureLifecycle.open}
+          sublabel={`${ontology.pressureLifecycle.inProgress} in progress • ${ontology.pressureLifecycle.addressed} addressed`}
+          tone={ontology.pressureLifecycle.open > 0 ? 'yellow' : 'green'}
+          href="/coevolution"
+          icon="!"
+        />
+        <MetricCard
+          label="Topology review"
+          value={ontology.topologyReviews.open}
+          sublabel={`${ontology.topologyExecution.prepared} prepared • ${ontology.topologyExecution.applied} applied`}
+          tone={ontology.topologyReviews.open > 0 ? 'yellow' : ontology.topologyExecution.applied > 0 ? 'green' : 'blue'}
+          href="/topology"
+          icon="⇄"
+        />
+        <MetricCard
+          label="Ontology frontier"
+          value={ontology.ontologyLoop.frontier}
+          sublabel={`${ontology.ontologyLoop.reviewOpen} open • ${ontology.ontologyLoop.extensions} approved extensions`}
+          tone={ontology.ontologyLoop.reviewOpen > 0 ? 'yellow' : ontology.ontologyLoop.extensions > 0 ? 'blue' : 'neutral'}
+          href="/ontology"
+          icon="◎"
+        />
+        <MetricCard
+          label="Active semantic concepts"
+          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'}
+          href="/ontology"
+          icon="⇄"
+        />
       </div>
 
       <SectionFrame
-        eyebrow={`Release spotlight · v${CURRENT_RELEASE_SPOTLIGHT.version}`}
-        title={CURRENT_RELEASE_SPOTLIGHT.title}
-        description={CURRENT_RELEASE_SPOTLIGHT.summary}
+        eyebrow="Priority now"
+        title="Top ranked next actions"
+        description="This layer compresses the live loop into the most important operator moves right now instead of leaving everything as flat dashboard signal."
         tone="blue"
       >
-        <div className="grid-2" style={{ gap: 16 }}>
-          <div style={{ display: 'grid', gap: 10 }}>
-            {CURRENT_RELEASE_SPOTLIGHT.bullets.map((item) => (
-              <div key={item} className="signal-text">• {item}</div>
-            ))}
-            <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 4 }}>
-              {CURRENT_RELEASE_SPOTLIGHT.nextActions.map((action) => (
-                <Link key={action.href} href={action.href} className={`hero-chip hero-chip-${action.tone}`} style={{ textDecoration: 'none' }}>
-                  {action.label}
-                </Link>
-              ))}
-            </div>
-          </div>
-          <SurfaceJumpLinks surface="overview" variant="panel" title="Jump into the updated loop" />
+        <div className="summary-list">
+          {priorityActions.map((action, index) => (
+            <Link key={`${action.href}-${index}`} href={action.href} className="summary-row">
+              <div className="summary-row-main">
+                <div className="summary-row-title">{index + 1}. {action.title}</div>
+                <div className="summary-row-meta">{action.description}</div>
+              </div>
+              <span className={`hero-chip hero-chip-${action.tone}`}>open</span>
+            </Link>
+          ))}
         </div>
       </SectionFrame>
 
+      {unresolved.length > 0 ? (
+        <SectionFrame
+          eyebrow="Attention"
+          title="Unresolved corrections"
+          description="These user corrections have been captured but not yet folded back into the skill network."
+          tone="yellow"
+          className="anchor-target"
+        >
+          <div id="attention" className="signal-list">
+            {unresolved.slice(0, 5).map((failure, index) => (
+              <div key={`${failure.id}-${index}`} className="signal-row signal-row-attention">
+                <div className="signal-dot" />
+                <div style={{ flex: 1 }}>
+                  <div className="signal-title">
+                    {failure.userRequest.slice(0, 120)}
+                    {failure.userRequest.length > 120 ? '…' : ''}
+                  </div>
+                  <div className="signal-text">
+                    Correction: {failure.correction.slice(0, 180)}
+                    {failure.correction.length > 180 ? '…' : ''}
+                  </div>
+                  <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 10 }}>
+                    <span className="badge badge-yellow">{failure.correctionType}</span>
+                    {failure.project ? <span className="badge badge-gray">{failure.project}</span> : null}
+                    <span className="badge badge-gray">{new Date(failure.timestamp).toLocaleDateString()}</span>
+                  </div>
+                </div>
+              </div>
+            ))}
+            {unresolved.length > 5 ? (
+              <div className="signal-text" style={{ textAlign: 'center' }}>+{unresolved.length - 5} more unresolved corrections</div>
+            ) : null}
+          </div>
+        </SectionFrame>
+      ) : null}
+
       <SectionFrame
         eyebrow="Execution layer"
         title="Quick actions"
@@ -209,100 +292,88 @@ export default function Overview() {
         />
       </SectionFrame>
 
+      {showProviderAttention ? (
+        <SectionFrame
+          eyebrow={providerAttentionEyebrow}
+          title={providerAttentionTitle}
+          description={providerAttentionDescription}
+          tone={providerAttentionTone}
+          actions={<Link href="/commands" className="badge badge-gray">Open commands</Link>}
+        >
+          <div className="grid-2" style={{ gap: 16 }}>
+            <div className="summary-list">
+              {(['claude-code', 'codex', 'ollama'] as const).map((provider) => {
+                const snapshot = llmRuntime.providers[provider]
+                return (
+                  <div key={provider} className="summary-row">
+                    <div className="summary-row-main">
+                      <div className="summary-row-title">{providerLabel(provider)}</div>
+                      <div className="summary-row-meta">{snapshot.summary}</div>
+                      {snapshot.nextStep ? <div className="summary-row-meta" style={{ marginTop: 6 }}>Next: {snapshot.nextStep}</div> : null}
+                    </div>
+                    <span className={`hero-chip hero-chip-${providerTone(snapshot.status)}`}>{snapshot.status}</span>
+                  </div>
+                )
+              })}
+            </div>
+            <div style={{ display: 'grid', gap: 12 }}>
+              <MetricCard
+                label="Default provider"
+                value={providerLabel(llmRuntime.defaultProvider)}
+                sublabel={`fallback: ${llmRuntime.fallbackPolicy}${llmRuntime.fallbackOrder.length > 0 ? ` • ${llmRuntime.fallbackOrder.map((provider) => providerLabel(provider)).join(' → ')}` : ''}`}
+                tone={providerTone(defaultProvider.status)}
+                href="/commands"
+                icon="☍"
+              />
+              <MetricCard
+                label="Last provider run"
+                value={llmRuntime.lastExecution?.usedProvider ? providerLabel(llmRuntime.lastExecution.usedProvider) : 'None'}
+                sublabel={llmRuntime.lastExecution ? llmRuntime.lastExecution.summary : 'No provider-backed execution has been recorded yet.'}
+                tone={llmRuntime.lastExecution?.success ? 'green' : llmRuntime.lastExecution ? 'yellow' : 'neutral'}
+                href="/commands"
+                icon="↺"
+              />
+              <div className="signal-text">Commands, status, and dashboard surfaces now track whether execution stayed on the selected provider, degraded, or used an explicit fallback path.</div>
+            </div>
+          </div>
+        </SectionFrame>
+      ) : null}
+
       <SectionFrame
-        eyebrow="Provider control"
-        title="Live backend truth"
-        description="Claude Code remains the default provider, while Codex and Ollama are optional for shared prompt-in/text-out paths. Claude-only web-search and research tooling stay explicitly Claude-scoped."
+        eyebrow="Proof steering"
+        title="What proved outcomes are changing now"
+        description="Proof now separates trusted, cautionary, bounded, and candidate evidence so the next governed loop can steer more honestly instead of treating every proof record as equally strong."
         tone="blue"
+        actions={<Link href="/proof" className="badge badge-gray">Open proof control</Link>}
       >
         <div className="grid-2" style={{ gap: 16 }}>
           <div className="summary-list">
-            {(['claude-code', 'codex', 'ollama'] as const).map((provider) => {
-              const snapshot = llmRuntime.providers[provider]
-              return (
-                <div key={provider} className="summary-row">
-                  <div className="summary-row-main">
-                    <div className="summary-row-title">{providerLabel(provider)}</div>
-                    <div className="summary-row-meta">{snapshot.summary}</div>
-                    {snapshot.nextStep ? <div className="summary-row-meta" style={{ marginTop: 6 }}>Next: {snapshot.nextStep}</div> : null}
-                  </div>
-                  <span className={`hero-chip hero-chip-${providerTone(snapshot.status)}`}>{snapshot.status}</span>
+            {proof.steering.routeLanes.slice(0, 3).map((lane) => (
+              <div key={lane.laneKey} className="summary-row">
+                <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>
                 </div>
-              )
-            })}
+                <span className={`hero-chip hero-chip-${lane.evidenceTier === 'trusted' ? 'green' : lane.evidenceTier === 'caution' ? 'yellow' : lane.evidenceTier === 'bounded' ? 'blue' : 'neutral'}`}>{lane.evidenceTier}</span>
+              </div>
+            ))}
+            {proof.steering.routeLanes.length === 0 ? <div className="signal-text">No route-level proof steering yet.</div> : null}
           </div>
           <div style={{ display: 'grid', gap: 12 }}>
-            <MetricCard
-              label="Default provider"
-              value={providerLabel(llmRuntime.defaultProvider)}
-              sublabel={`fallback: ${llmRuntime.fallbackPolicy}${llmRuntime.fallbackOrder.length > 0 ? ` • ${llmRuntime.fallbackOrder.map((provider) => providerLabel(provider)).join(' → ')}` : ''}`}
-              tone={providerTone(defaultProvider.status)}
-              href="/commands"
-              icon="☍"
-            />
-            <MetricCard
-              label="Last provider run"
-              value={llmRuntime.lastExecution?.usedProvider ? providerLabel(llmRuntime.lastExecution.usedProvider) : 'None'}
-              sublabel={llmRuntime.lastExecution ? llmRuntime.lastExecution.summary : 'No provider-backed execution has been recorded yet.'}
-              tone={llmRuntime.lastExecution?.success ? 'green' : llmRuntime.lastExecution ? 'yellow' : 'neutral'}
-              href="/commands"
-              icon="↺"
-            />
-            <div className="signal-text">Commands, status, and dashboard surfaces now track whether execution stayed on the selected provider, degraded, or used an explicit fallback path.</div>
+            <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>
           </div>
         </div>
       </SectionFrame>
 
       <SectionFrame
-        eyebrow="Priority now"
-        title="Top ranked next actions"
-        description="This layer compresses the live loop into the most important operator moves right now instead of leaving everything as flat dashboard signal."
-        tone="blue"
-      >
-        <div className="summary-list">
-          {priorityActions.map((action, index) => (
-            <Link key={`${action.href}-${index}`} href={action.href} className="summary-row">
-              <div className="summary-row-main">
-                <div className="summary-row-title">{index + 1}. {action.title}</div>
-                <div className="summary-row-meta">{action.description}</div>
-              </div>
-              <span className={`hero-chip hero-chip-${action.tone}`}>open</span>
-            </Link>
-          ))}
-        </div>
-      </SectionFrame>
-
-      <SectionFrame
-        eyebrow="Brain foundation"
+        eyebrow="Brain summary"
         title="Semantic backbone"
-        description="A hybrid ontology view of the living brain, combining derived skill-graph semantics with native ontology frontier, extension, and semantic review activity."
+        description="Compact summary of pressure, response, structural review, ontology growth, and semantic adoption across the living brain."
         actions={<span className="badge badge-gray">{ontology.source === 'hybrid-native-derived' ? `Ontology ${ontology.specVersion} · hybrid native + derived` : ontology.source === 'graph' ? `Ontology ${ontology.specVersion}` : 'Compatibility-derived'}</span>}
       >
         <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(180px, 1fr))', gap: 16 }}>
-          <MetricCard
-            label="Generalist skills"
-            value={ontology.skillRoles.generalist}
-            sublabel={`${ontology.stabilityStates.stable} stable abstractions`}
-            tone="purple"
-            href="/network"
-            icon="◎"
-          />
-          <MetricCard
-            label="Project specialists"
-            value={ontology.skillRoles.specialist}
-            sublabel={`${ontology.plasticityStates.candidate} candidate rewires`}
-            tone="blue"
-            href="/projects"
-            icon="◉"
-          />
-          <MetricCard
-            label="Hybrid bridges"
-            value={ontology.skillRoles.hybrid}
-            sublabel={`${ontology.plasticityStates.volatile} volatile transitions`}
-            tone="green"
-            href="/network"
-            icon="⇄"
-          />
           <MetricCard
             label="Open pressure"
             value={ontology.pressureLifecycle.open}
@@ -319,14 +390,6 @@ export default function Overview() {
             href="/coevolution"
             icon="↺"
           />
-          <MetricCard
-            label="Pressure motifs"
-            value={ontology.pressureMotifs.total}
-            sublabel={`${ontology.pressureMotifs.promotionReady} promotion-ready • ${ontology.transferEvents.realized} realized transfers`}
-            tone="purple"
-            href="/coevolution"
-            icon="⇄"
-          />
           <MetricCard
             label="Topology review"
             value={ontology.topologyReviews.open}
@@ -351,81 +414,16 @@ export default function Overview() {
             href="/ontology"
             icon="⇄"
           />
-          <MetricCard
-            label="Observed mutation verbs"
-            value={ontology.mutationOperationsObserved}
-            sublabel={ontology.observedMutationActions.length > 0 ? ontology.observedMutationActions.join(' • ') : 'Waiting for evolution history'}
-            tone="yellow"
-            href="/evolution"
-            icon="◇"
-          />
         </div>
 
         <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 16 }}>
-          <span className="badge badge-gray">{ontology.relationFamiliesObserved} relation families live in the graph</span>
-          <span className="badge badge-gray">{ontology.evidenceBackedProposals} proposals already carry judge + regression evidence</span>
-          <span className="badge badge-gray">{ontology.artifacts.total} evolution artifacts ({ontology.artifacts.native} native • {ontology.artifacts.derived} derived)</span>
-          <span className="badge badge-gray">{ontology.activationTraces.total} activation traces ({ontology.activationTraces.native} native • {ontology.activationTraces.derived} derived)</span>
-          <span className="badge badge-gray">{ontology.pressureSignals.total} pressure signals ({ontology.pressureSignals.native} native • {ontology.pressureSignals.derived} derived)</span>
-          <span className="badge badge-gray">{ontology.pressureInterventions.total} response interventions logged</span>
-          <span className="badge badge-gray">{ontology.pressureLifecycle.open} open • {ontology.pressureLifecycle.inProgress} in progress • {ontology.pressureLifecycle.addressed} addressed</span>
           <Link href="/coevolution" className="badge badge-blue" style={{ textDecoration: 'none' }}>Open co-evolution control</Link>
-          <span className="badge badge-gray">{coevolution.topProjects.length} pressured project hotspots</span>
-          <span className="badge badge-gray">{coevolution.crossProjectGapAreas.length} cross-project gap motifs</span>
-          <span className="badge badge-gray">{ontology.pressureMotifs.promotionReady} motifs currently recommend generalize</span>
-          <span className="badge badge-gray">{ontology.transferEvents.total} transfer events logged ({ontology.transferEvents.realized} realized)</span>
-          <span className="badge badge-gray">ontology → {ontology.ontologyLoop.frontier} frontier • {ontology.ontologyLoop.extensions} extensions • {ontology.ontologyLoop.changeEvents} changes</span>
-          <span className="badge badge-gray">semantic adoption → {ontology.ontologyLoop.adoption.activeConcepts} active concepts • {ontology.ontologyLoop.adoption.totalBindings} bindings • {ontology.ontologyLoop.adoption.routesInfluenced} influenced routes</span>
-          <span className="badge badge-gray">deprecation risk → {ontology.ontologyLoop.adoption.conceptsAtDeprecationRisk} concepts • {ontology.ontologyLoop.adoption.unusedExtensions} unused extensions</span>
-          <span className="badge badge-gray">topology → {ontology.topologyReviews.open} open • {ontology.topologyReviews.accepted} accepted • {ontology.topologyReviews.generatedFromManualReview} manual-route</span>
-          <span className="badge badge-gray">execution → {ontology.topologyExecution.prepared} prepared • {ontology.topologyExecution.applied} applied • {ontology.topologyExecution.rolledBack} rolled back</span>
-          <span className="badge badge-gray">proof → {proof.summary.total} total • {proof.summary.effective} effective • {proof.summary.reviewOpen} open review</span>
           <Link href="/ontology" className="badge badge-blue" style={{ textDecoration: 'none' }}>Open ontology control</Link>
           <Link href="/topology" className="badge badge-blue" style={{ textDecoration: 'none' }}>Open topology control</Link>
           <Link href="/proof" className="badge badge-blue" style={{ textDecoration: 'none' }}>Open proof control</Link>
-          <span className="badge badge-gray">governance: {ontology.governance.activeMode.replace(/-/g, ' ')} ({ontology.governance.source})</span>
-          <span className="badge badge-gray">routes → research {ontology.governedRoutes.research} • specialize {ontology.governedRoutes.specialize} • evolve {ontology.governedRoutes.evolve} • generalize {ontology.governedRoutes.generalize} • manual-review {ontology.governedRoutes['manual-review']}</span>
-          <span className="badge badge-gray">{ontology.enrichedSkillNodes} skills carry explicit brain metadata</span>
-          <span className="badge badge-gray">{ontology.annotatedFailures.pressureSignals} failures annotated with pressure signals</span>
         </div>
       </SectionFrame>
 
-      {unresolved.length > 0 ? (
-        <SectionFrame
-          eyebrow="Attention"
-          title="Unresolved corrections"
-          description="These user corrections have been captured but not yet folded back into the skill network."
-          tone="yellow"
-          className="anchor-target"
-        >
-          <div id="attention" className="signal-list">
-            {unresolved.slice(0, 5).map((failure, index) => (
-              <div key={`${failure.id}-${index}`} className="signal-row signal-row-attention">
-                <div className="signal-dot" />
-                <div style={{ flex: 1 }}>
-                  <div className="signal-title">
-                    {failure.userRequest.slice(0, 120)}
-                    {failure.userRequest.length > 120 ? '…' : ''}
-                  </div>
-                  <div className="signal-text">
-                    Correction: {failure.correction.slice(0, 180)}
-                    {failure.correction.length > 180 ? '…' : ''}
-                  </div>
-                  <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 10 }}>
-                    <span className="badge badge-yellow">{failure.correctionType}</span>
-                    {failure.project ? <span className="badge badge-gray">{failure.project}</span> : null}
-                    <span className="badge badge-gray">{new Date(failure.timestamp).toLocaleDateString()}</span>
-                  </div>
-                </div>
-              </div>
-            ))}
-            {unresolved.length > 5 ? (
-              <div className="signal-text" style={{ textAlign: 'center' }}>+{unresolved.length - 5} more unresolved corrections</div>
-            ) : null}
-          </div>
-        </SectionFrame>
-      ) : null}
-
       <div className="grid-2">
         <SectionFrame
           eyebrow="Frontier"