helixevo 0.6.0 → 0.7.0

package/dashboard/app/ontology/client.tsx

@@ -6,7 +6,11 @@ import { ConsolePanel } from '@/components/console-panel'
 import { MetricCard } from '@/components/metric-card'
 import { PageHero } from '@/components/page-hero'
 import { SectionFrame } from '@/components/section-frame'
+import { OperatorLoopTrail } from '@/components/operator-loop-trail'
+import { SurfaceJumpLinks } from '@/components/surface-jump-links'
+import { NextStepEmptyState } from '@/components/next-step-empty-state'
 import type { OntologyControlDashboardSummary, OntologyReviewDecisionStatus } from '@/lib/data'
+import type { ProofDashboardSummary } from '@/lib/proof'
 
 type RunState = 'idle' | 'running' | 'success' | 'error'
 
@@ -32,7 +36,7 @@ function formatMode(value: string) {
   return value.replace(/-/g, ' ')
 }
 
-export default function OntologyClient({ initialDashboard }: { initialDashboard: OntologyControlDashboardSummary }) {
+export default function OntologyClient({ initialDashboard, proof }: { initialDashboard: OntologyControlDashboardSummary; proof: ProofDashboardSummary }) {
   const [dashboard, setDashboard] = useState(initialDashboard)
   const [runState, setRunState] = useState<RunState>('idle')
   const [output, setOutput] = useState('')
@@ -77,6 +81,7 @@ export default function OntologyClient({ initialDashboard }: { initialDashboard:
           { label: `${dashboard.summary.extensions} approved extensions`, tone: dashboard.summary.extensions > 0 ? 'blue' : 'neutral' },
           { label: `${dashboard.adoption.activeConcepts} active concepts`, tone: dashboard.adoption.activeConcepts > 0 ? 'green' : 'neutral' },
           { label: `${dashboard.adoption.routesInfluenced} semantically influenced routes`, tone: dashboard.adoption.routesInfluenced > 0 ? 'purple' : 'neutral' },
+          { label: `${proof.summary.reviewOpen} proof review`, tone: proof.summary.reviewOpen > 0 ? 'yellow' : proof.summary.effective > 0 ? 'green' : 'neutral' },
           { label: formatMode(dashboard.governance.activeMode), tone: dashboard.governance.activeMode === 'transfer-focused' ? 'purple' : dashboard.governance.activeMode === 'project-critical' ? 'yellow' : 'blue' },
         ]}
         actions={
@@ -85,22 +90,30 @@ export default function OntologyClient({ initialDashboard }: { initialDashboard:
               <div className="hero-note-label">Native ontology state</div>
               <div className="hero-note-title">Kernel + review + semantic adoption</div>
               <div className="hero-note-copy">Use this surface to move from frontier hypotheses into approved extensions, inspect active semantic consumers, and manage deprecation with operator-visible risk rather than hidden drift.</div>
+              <div style={{ marginTop: 8, display: 'flex', gap: 6, flexWrap: 'wrap' }}>
+                <Link href="/proof" className="badge badge-gray" style={{ textDecoration: 'none' }}>open proof</Link>
+                <span className="badge badge-gray">{proof.summary.effective} effective records live</span>
+              </div>
             </div>
-            <div style={{ display: 'flex', gap: 10, flexWrap: 'wrap', justifyContent: 'flex-end' }}>
-              <button onClick={() => runAction('refresh', {}, 'ontology refresh')} disabled={runState === 'running'} className="badge badge-blue" style={{ border: 'none', cursor: 'pointer' }}>Refresh ontology frontier</button>
-              <Link href="/coevolution" className="badge badge-gray">Open co-evolution</Link>
-              <Link href="/topology" className="badge badge-gray">Open topology</Link>
+            <div style={{ display: 'grid', gap: 10 }}>
+              <div style={{ display: 'flex', gap: 10, flexWrap: 'wrap', justifyContent: 'flex-end' }}>
+                <button onClick={() => runAction('refresh', {}, 'ontology refresh')} disabled={runState === 'running'} className="badge badge-blue" style={{ border: 'none', cursor: 'pointer' }}>Refresh ontology frontier</button>
+              </div>
+              <SurfaceJumpLinks surface="ontology" variant="compact" title="Semantic handoffs" />
             </div>
           </div>
         }
       />
 
+      <OperatorLoopTrail surface="ontology" />
+
       <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(180px, 1fr))', gap: 16 }}>
         <MetricCard label="Kernel concepts" value={dashboard.summary.kernelConcepts} sublabel={`${dashboard.kernel.relationFamilies.length} relation families`} tone="purple" icon="◎" />
         <MetricCard label="Frontier hypotheses" value={dashboard.summary.frontier} sublabel={`${dashboard.summary.reviewOpen} open • ${dashboard.summary.deferred} deferred`} tone={dashboard.summary.reviewOpen > 0 ? 'yellow' : 'neutral'} icon="◇" />
         <MetricCard label="Approved extensions" value={dashboard.summary.extensions} sublabel={`${dashboard.summary.deprecated} deprecated • ${dashboard.adoption.unusedExtensions} unused`} tone={dashboard.summary.extensions > 0 ? 'blue' : 'neutral'} icon="↑" />
         <MetricCard label="Active semantic concepts" value={dashboard.adoption.activeConcepts} sublabel={`${dashboard.adoption.totalBindings} bindings • ${dashboard.adoption.routesInfluenced} routed influences`} tone={dashboard.adoption.activeConcepts > 0 ? 'green' : 'neutral'} icon="⇄" />
         <MetricCard label="Deprecation-sensitive" value={dashboard.adoption.conceptsAtDeprecationRisk} sublabel="approved concepts with live consumers" tone={dashboard.adoption.conceptsAtDeprecationRisk > 0 ? 'yellow' : 'neutral'} icon="!" />
+        <MetricCard label="Semantic proof review" value={proof.summary.reviewOpen} sublabel={`${proof.summary.effective} effective • ${proof.summary.mixed} mixed`} tone={proof.summary.reviewOpen > 0 ? 'yellow' : proof.summary.effective > 0 ? 'green' : 'neutral'} icon="◇" />
         <MetricCard label="Concept changes" value={dashboard.summary.changeEvents} sublabel={`${dashboard.summary.promoted} promoted • ${dashboard.summary.rejected} rejected`} tone={dashboard.summary.changeEvents > 0 ? 'green' : 'neutral'} icon="⇄" />
       </div>
 
@@ -198,10 +211,13 @@ export default function OntologyClient({ initialDashboard }: { initialDashboard:
               </div>
             </div>
           )) : (
-            <div className="empty-state" style={{ padding: 24 }}>
-              <div className="empty-state-title">No ontology frontier concepts yet</div>
-              <div className="empty-state-desc">Run “Refresh ontology frontier” after pressure motifs, project gaps, or topology review patterns accumulate.</div>
-            </div>
+            <NextStepEmptyState
+              title="No ontology frontier concepts yet"
+              description="Run a frontier refresh after pressure motifs, project gaps, or topology review patterns accumulate. Frontier creation is the first step before any concept can become active semantic control."
+              command="helixevo ontology --refresh"
+              pageLink={{ label: 'Open Co-Evolution', href: '/coevolution', tone: 'purple' }}
+              guideLink={{ label: 'Guide · Semantic Control', anchor: 'semanticcontrol', tone: 'green' }}
+            />
           )}
         </div>
       </SectionFrame>
@@ -240,10 +256,13 @@ export default function OntologyClient({ initialDashboard }: { initialDashboard:
               {concept.warning ? <div className="signal-text" style={{ marginTop: 10 }}>• {concept.warning}</div> : null}
             </div>
           )) : (
-            <div className="empty-state" style={{ padding: 24 }}>
-              <div className="empty-state-title">No approved extensions yet</div>
-              <div className="empty-state-desc">Promoted frontier concepts will appear here once they pass semantic review.</div>
-            </div>
+            <NextStepEmptyState
+              title="No approved extensions yet"
+              description="Approved extensions appear after frontier concepts pass semantic review. Promotion is what turns reviewed ontology into live semantic adoption."
+              command="helixevo ontology --review <conceptId> --decision promote"
+              pageLink={{ label: 'Open Co-Evolution', href: '/coevolution', tone: 'purple' }}
+              guideLink={{ label: 'Guide · Semantic Control', anchor: 'semanticcontrol', tone: 'green' }}
+            />
           )}
         </div>
       </SectionFrame>
@@ -267,10 +286,13 @@ export default function OntologyClient({ initialDashboard }: { initialDashboard:
               </div>
             </div>
           )) : (
-            <div className="empty-state" style={{ padding: 24 }}>
-              <div className="empty-state-title">No ontology changes logged yet</div>
-              <div className="empty-state-desc">Refresh the frontier or review a concept to create the first native ontology events.</div>
-            </div>
+            <NextStepEmptyState
+              title="No ontology changes logged yet"
+              description="Refresh the frontier or review a concept to create the first native ontology events and start a visible semantic history instead of hidden drift."
+              command="helixevo ontology --refresh"
+              pageLink={{ label: 'Open Topology', href: '/topology', tone: 'yellow' }}
+              guideLink={{ label: 'Guide · Semantic Control', anchor: 'semanticcontrol', tone: 'green' }}
+            />
           )}
         </div>
       </SectionFrame>

package/dashboard/app/ontology/page.tsx

@@ -1,9 +1,11 @@
 import OntologyClient from './client'
 import { loadOntologyControlSummary } from '@/lib/data'
+import { loadProofDashboardSummary } from '@/lib/proof'
 
 export const dynamic = 'force-dynamic'
 
 export default function OntologyPage() {
   const dashboard = loadOntologyControlSummary()
-  return <OntologyClient initialDashboard={dashboard} />
+  const proof = loadProofDashboardSummary()
+  return <OntologyClient initialDashboard={dashboard} proof={proof} />
 }

package/dashboard/app/page.tsx

@@ -1,9 +1,13 @@
 import Link from 'next/link'
 import { getDashboardSummary, getOntologyDashboardSummary, loadCoEvolutionSummary, loadFailures, loadFrontier, loadGraph, loadHistory, listProjects } from '@/lib/data'
+import { loadProofDashboardSummary } from '@/lib/proof'
 import { OverviewActions } from '@/components/overview-actions'
 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'
 
@@ -17,6 +21,7 @@ export default function Overview() {
   const summary = getDashboardSummary()
   const ontology = getOntologyDashboardSummary()
   const coevolution = loadCoEvolutionSummary()
+  const proof = loadProofDashboardSummary()
   const frontier = loadFrontier()
   const history = loadHistory()
   const graph = loadGraph()
@@ -39,6 +44,7 @@ export default function Overview() {
           { 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: `mode: ${coevolution.governance.activeMode.replace(/-/g, ' ')}`, tone: coevolution.governance.activeMode === 'transfer-focused' ? 'purple' : coevolution.governance.activeMode === 'project-critical' ? 'yellow' : 'blue' },
         ]}
         actions={
@@ -57,14 +63,40 @@ 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="✓" />
         <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="◇" />
       </div>
 
+      <SectionFrame
+        eyebrow={`Release spotlight · v${CURRENT_RELEASE_SPOTLIGHT.version}`}
+        title={CURRENT_RELEASE_SPOTLIGHT.title}
+        description={CURRENT_RELEASE_SPOTLIGHT.summary}
+        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>
+      </SectionFrame>
+
       <SectionFrame
         eyebrow="Execution layer"
         title="Quick actions"
@@ -187,8 +219,10 @@ export default function Overview() {
           <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>

package/dashboard/app/projects/client.tsx

@@ -6,6 +6,9 @@ import { ConsolePanel } from '@/components/console-panel'
 import { MetricCard } from '@/components/metric-card'
 import { PageHero } from '@/components/page-hero'
 import { SectionFrame } from '@/components/section-frame'
+import { OperatorLoopTrail } from '@/components/operator-loop-trail'
+import { SurfaceJumpLinks } from '@/components/surface-jump-links'
+import { NextStepEmptyState } from '@/components/next-step-empty-state'
 import type { ProjectProfile } from '@/lib/data'
 
 type SetupState = 'idle' | 'analyzing' | 'done' | 'error' | 'cancelled'
@@ -364,18 +367,13 @@ export default function ProjectsClient({ profiles, skillCount, projectAnalysisTr
               <div className="hero-note-title">Analyze → Match → Gap scan → Action</div>
               <div className="hero-note-copy">Run a profile, review the skill fit, then send uncovered needs into Research or the Skill Network.</div>
             </div>
-            <div style={{ display: 'flex', gap: 10, flexWrap: 'wrap', justifyContent: 'flex-end' }}>
-              <Link href="/network" style={buttonStyle('purple')}>
-                Open Skill Network
-              </Link>
-              <Link href="/research" style={buttonStyle('blue')}>
-                Open Research
-              </Link>
-            </div>
+            <SurfaceJumpLinks surface="projects" variant="compact" title="Observation handoffs" />
           </div>
         }
       />
 
+      <OperatorLoopTrail surface="projects" />
+
       <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(180px, 1fr))', gap: 16, marginBottom: 24 }}>
         <MetricCard
           label="Portfolio"
@@ -764,17 +762,13 @@ export default function ProjectsClient({ profiles, skillCount, projectAnalysisTr
         tone="yellow"
       >
         {profiles.length === 0 ? (
-          <div className="empty-state">
-            <div className="empty-state-icon">
-              <svg width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" strokeWidth="1.5">
-                <path d="M3 7v10a2 2 0 002 2h14a2 2 0 002-2V9a2 2 0 00-2-2h-6l-2-2H5a2 2 0 00-2 2z" />
-              </svg>
-            </div>
-            <div className="empty-state-title">No analyzed projects yet</div>
-            <div className="empty-state-desc">
-              Start with a local folder or GitHub repository. The resulting profile will show matched skills, uncovered gaps, and recommended next steps.
-            </div>
-          </div>
+          <NextStepEmptyState
+            title="No analyzed projects yet"
+            description={`Start with a local folder or GitHub repository. The resulting profile will show matched skills, uncovered gaps, activation traces, and the next routed action against your ${skillCount} current skills.`}
+            command="helixevo project-setup <path>"
+            pageLink={{ label: 'Open Research', href: '/research', tone: 'blue' }}
+            guideLink={{ label: 'Guide · Quick Start', anchor: 'quickstart', tone: 'purple' }}
+          />
         ) : (
           <div style={{ display: 'grid', gap: 18 }}>
             {profiles.map(profile => {

package/dashboard/app/proof/client.tsx

@@ -0,0 +1,295 @@
+'use client'
+
+import { useState } from 'react'
+import { ConsolePanel } from '@/components/console-panel'
+import { MetricCard } from '@/components/metric-card'
+import { NextStepEmptyState } from '@/components/next-step-empty-state'
+import { OperatorLoopTrail } from '@/components/operator-loop-trail'
+import { PageHero } from '@/components/page-hero'
+import { SectionFrame } from '@/components/section-frame'
+import { SurfaceJumpLinks } from '@/components/surface-jump-links'
+import type { ProofDashboardSummary, ProofOutcomeState, ProofReviewDecisionStatus, ProofTargetType } from '@/lib/proof'
+
+type RunState = 'idle' | 'running' | 'success' | 'error'
+
+function toneForOutcome(outcome: ProofOutcomeState): 'green' | 'yellow' | 'purple' | 'neutral' {
+  if (outcome === 'effective') return 'green'
+  if (outcome === 'regressed') return 'yellow'
+  if (outcome === 'mixed') return 'purple'
+  return 'neutral'
+}
+
+function toneForTarget(targetType: ProofTargetType): 'blue' | 'green' | 'purple' | 'yellow' | 'neutral' {
+  if (targetType === 'pressure-intervention') return 'blue'
+  if (targetType === 'transfer-event') return 'green'
+  if (targetType === 'topology-execution') return 'yellow'
+  if (targetType === 'ontology-extension') return 'purple'
+  return 'neutral'
+}
+
+function labelForTarget(targetType: ProofTargetType) {
+  if (targetType === 'pressure-intervention') return 'Intervention'
+  if (targetType === 'transfer-event') return 'Transfer'
+  if (targetType === 'topology-execution') return 'Topology'
+  if (targetType === 'ontology-extension') return 'Ontology'
+  return 'Evolution'
+}
+
+function labelForOutcome(outcome: ProofOutcomeState) {
+  return outcome.replace(/-/g, ' ')
+}
+
+function formatDate(value: string | undefined) {
+  if (!value) return '—'
+  return new Date(value).toLocaleString()
+}
+
+function consoleTone(state: RunState): 'neutral' | 'green' | 'red' | 'yellow' {
+  if (state === 'success') return 'green'
+  if (state === 'error') return 'red'
+  if (state === 'running') return 'yellow'
+  return 'neutral'
+}
+
+export default function ProofClient({ initialDashboard }: { initialDashboard: ProofDashboardSummary }) {
+  const [dashboard, setDashboard] = useState(initialDashboard)
+  const [runState, setRunState] = useState<RunState>('idle')
+  const [output, setOutput] = useState('')
+  const [pendingKey, setPendingKey] = useState<string | null>(null)
+
+  const runReview = async (recordId: string, decision: ProofReviewDecisionStatus, label: string) => {
+    setPendingKey(recordId)
+    setRunState('running')
+    setOutput('')
+    try {
+      const res = await fetch('/api/proof', {
+        method: 'POST',
+        headers: { 'Content-Type': 'application/json' },
+        body: JSON.stringify({
+          action: 'review',
+          recordId,
+          decision,
+          rationale: `${decision} proof record from dashboard proof control.`,
+        }),
+      })
+      const data = await res.json()
+      if (!res.ok || !data.success) {
+        setRunState('error')
+        setOutput(data.error ?? `${label} failed`)
+        return
+      }
+      setDashboard(data.dashboard)
+      setRunState('success')
+      setOutput(data.output || `${label} completed`)
+    } catch (err: unknown) {
+      setRunState('error')
+      setOutput(err instanceof Error ? err.message : `${label} failed`)
+    } finally {
+      setPendingKey(null)
+    }
+  }
+
+  return (
+    <div style={{ display: 'grid', gap: 22 }}>
+      <PageHero
+        eyebrow="Outcome attribution"
+        title="Proof Control"
+        description="Review whether interventions, transfers, topology changes, semantic adoption, and evolution effects actually appear to be working. Proof stays bounded and operator-governed rather than pretending to know more than the evidence supports."
+        chips={[
+          { label: `${dashboard.summary.total} proof records`, tone: 'blue' },
+          { label: `${dashboard.summary.effective} effective`, tone: dashboard.summary.effective > 0 ? 'green' : 'neutral' },
+          { label: `${dashboard.summary.mixed} mixed`, tone: dashboard.summary.mixed > 0 ? 'purple' : 'neutral' },
+          { label: `${dashboard.summary.regressed} regressed`, tone: dashboard.summary.regressed > 0 ? 'yellow' : 'neutral' },
+          { label: `${dashboard.summary.reviewOpen} open review`, tone: dashboard.summary.reviewOpen > 0 ? 'yellow' : 'green' },
+          { label: `${dashboard.summary.verified} verified`, tone: dashboard.summary.verified > 0 ? 'green' : 'neutral' },
+        ]}
+        actions={
+          <div style={{ display: 'grid', gap: 12 }}>
+            <div className="hero-note-card">
+              <div className="hero-note-label">Bounded proof layer</div>
+              <div className="hero-note-title">Derived first, reviewed explicitly</div>
+              <div className="hero-note-copy">The proof layer unifies evolution impact, semantic adoption, transfer, interventions, and topology execution without claiming direct causality when the evidence is only partial.</div>
+            </div>
+            <SurfaceJumpLinks surface="proof" variant="compact" title="Proof handoffs" />
+          </div>
+        }
+      />
+
+      <OperatorLoopTrail surface="proof" />
+
+      <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(180px, 1fr))', gap: 16 }}>
+        <MetricCard label="Effective" value={dashboard.summary.effective} sublabel={`${dashboard.summary.verified} verified • ${dashboard.summary.reviewOpen} waiting for review`} tone={dashboard.summary.effective > 0 ? 'green' : 'neutral'} icon="✓" />
+        <MetricCard label="Mixed" value={dashboard.summary.mixed} sublabel="partial or conflicting downstream evidence" tone={dashboard.summary.mixed > 0 ? 'purple' : 'neutral'} icon="⇄" />
+        <MetricCard label="Regressed" value={dashboard.summary.regressed} sublabel={`${dashboard.summary.contested} contested • explicit failed or rolled-back cases`} tone={dashboard.summary.regressed > 0 ? 'yellow' : 'neutral'} icon="!" />
+        <MetricCard label="Measuring" value={dashboard.summary.measuring} sublabel={`${dashboard.summary.insufficientEvidence} insufficient-evidence`} tone={dashboard.summary.measuring > 0 ? 'blue' : 'neutral'} icon="◎" />
+        <MetricCard label="Open review" value={dashboard.summary.reviewOpen} sublabel={`${dashboard.summary.deferred} deferred • ${dashboard.summary.verified} verified`} tone={dashboard.summary.reviewOpen > 0 ? 'yellow' : 'green'} icon="◇" />
+      </div>
+
+      <SectionFrame
+        eyebrow="Coverage"
+        title="Proof now spans the live brain loop"
+        description="Milestone 10 stops prove from being only metrics. It unifies evidence review across response, transfer, topology, semantic adoption, and existing evolution measurement."
+      >
+        <div style={{ display: 'grid', gridTemplateColumns: 'repeat(auto-fit, minmax(220px, 1fr))', gap: 12 }}>
+          {dashboard.byTargetType.length > 0 ? dashboard.byTargetType.map((entry) => (
+            <div key={entry.targetType} className="guide-dimension-card" style={{ borderLeftColor: `var(--${toneForTarget(entry.targetType) === 'neutral' ? 'text-muted' : toneForTarget(entry.targetType)})` }}>
+              <div style={{ fontSize: 12, fontWeight: 700, color: 'var(--text)' }}>{labelForTarget(entry.targetType)}</div>
+              <div style={{ fontSize: 12, color: 'var(--text-dim)', marginTop: 8, lineHeight: 1.7 }}>
+                {entry.total} total • {entry.effective} effective • {entry.mixed} mixed • {entry.regressed} regressed • {entry.measuring} measuring
+              </div>
+            </div>
+          )) : (
+            <NextStepEmptyState
+              title="No proof targets yet"
+              description="Create live interventions, semantic adoption, or topology execution first. Proof becomes useful when HelixEvo has real actions and downstream evidence to evaluate."
+              command="helixevo proof --status"
+              pageLink={{ label: 'Open Co-Evolution', href: '/coevolution', tone: 'purple' }}
+              guideLink={{ label: 'Guide · Closed-Loop Metrics', anchor: 'metrics', tone: 'blue' }}
+            />
+          )}
+        </div>
+      </SectionFrame>
+
+      <SectionFrame
+        eyebrow="Review queue"
+        title="Open proof review"
+        description="Derived proof stays operator-governed. Verify, defer, or contest proof records explicitly instead of treating heuristics as unquestionable truth."
+      >
+        <div style={{ display: 'grid', gap: 12 }}>
+          {dashboard.reviewQueue.length > 0 ? dashboard.reviewQueue.map((record) => (
+            <div key={record.id} style={{ padding: '16px 18px', borderRadius: 18, border: '1px solid var(--border)', background: 'rgba(255,255,255,0.74)' }}>
+              <div style={{ display: 'flex', justifyContent: 'space-between', gap: 16, alignItems: 'flex-start', flexWrap: 'wrap' }}>
+                <div style={{ display: 'grid', gap: 4, flex: 1 }}>
+                  <div style={{ fontSize: 13, fontWeight: 700, color: 'var(--text)' }}>{record.title}</div>
+                  <div style={{ fontSize: 12, color: 'var(--text-dim)', lineHeight: 1.6 }}>{record.summary}</div>
+                </div>
+                <div style={{ display: 'flex', gap: 6, flexWrap: 'wrap' }}>
+                  <span className={`badge badge-${toneForTarget(record.targetType)}`}>{labelForTarget(record.targetType)}</span>
+                  <span className={`badge badge-${toneForOutcome(record.outcomeState)}`}>{labelForOutcome(record.outcomeState)}</span>
+                  <span className="badge badge-gray">{(record.confidence * 100).toFixed(0)}% confidence</span>
+                </div>
+              </div>
+
+              <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 12 }}>
+                <span className="badge badge-gray">created {formatDate(record.createdAt)}</span>
+                <span className="badge badge-gray">activity {formatDate(record.lastActivityAt)}</span>
+                {(record.relatedProjectIds ?? []).slice(0, 3).map((projectId) => <span key={`${record.id}-${projectId}`} className="badge badge-gray">{projectId}</span>)}
+                {(record.semanticConceptIds ?? []).slice(0, 2).map((conceptId) => <span key={`${record.id}-${conceptId}`} className="badge badge-green">{conceptId}</span>)}
+              </div>
+
+              <div style={{ display: 'grid', gap: 6, marginTop: 12 }}>
+                {record.reasons.slice(0, 3).map((reason, idx) => (
+                  <div key={`${record.id}-${idx}`} className="signal-text">• {reason}</div>
+                ))}
+                {record.recommendedAction ? <div className="signal-text">→ {record.recommendedAction}</div> : null}
+              </div>
+
+              <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 14 }}>
+                <button onClick={() => runReview(record.id, 'verify', `verify ${record.title}`)} disabled={pendingKey === record.id} className="badge badge-green" style={{ border: 'none', cursor: 'pointer' }}>Verify</button>
+                <button onClick={() => runReview(record.id, 'defer', `defer ${record.title}`)} disabled={pendingKey === record.id} className="badge badge-purple" style={{ border: 'none', cursor: 'pointer' }}>Defer</button>
+                <button onClick={() => runReview(record.id, 'contest', `contest ${record.title}`)} disabled={pendingKey === record.id} className="badge badge-yellow" style={{ border: 'none', cursor: 'pointer' }}>Contest</button>
+              </div>
+            </div>
+          )) : (
+            <NextStepEmptyState
+              title="No open proof reviews"
+              description="Either the proof layer has no records yet or every current record has already been verified, deferred, or contested."
+              command="helixevo proof --status --verbose"
+              pageLink={{ label: 'Open Ontology', href: '/ontology', tone: 'green' }}
+              guideLink={{ label: 'Guide · Closed-Loop Metrics', anchor: 'metrics', tone: 'blue' }}
+            />
+          )}
+        </div>
+      </SectionFrame>
+
+      <div className="grid-2">
+        <SectionFrame
+          eyebrow="Verified"
+          title="Recent verified proof"
+          description="Operator-verified records become the most trustworthy proof layer inside the current bounded system."
+        >
+          <div style={{ display: 'grid', gap: 10 }}>
+            {dashboard.recentVerified.length > 0 ? dashboard.recentVerified.map((record) => (
+              <div key={record.id} style={{ padding: '14px 16px', borderRadius: 18, border: '1px solid var(--border)', background: 'rgba(255,255,255,0.72)' }}>
+                <div style={{ display: 'flex', justifyContent: 'space-between', gap: 12, flexWrap: 'wrap' }}>
+                  <div style={{ fontSize: 12.5, fontWeight: 700, color: 'var(--text)' }}>{record.title}</div>
+                  <span className="badge badge-green">verified</span>
+                </div>
+                <div style={{ fontSize: 12, color: 'var(--text-dim)', marginTop: 6, lineHeight: 1.6 }}>{record.summary}</div>
+                <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 10 }}>
+                  <span className={`badge badge-${toneForOutcome(record.outcomeState)}`}>{labelForOutcome(record.outcomeState)}</span>
+                  <span className="badge badge-gray">{labelForTarget(record.targetType)}</span>
+                  <span className="badge badge-gray">{formatDate(record.latestReview?.decidedAt)}</span>
+                </div>
+              </div>
+            )) : <div className="signal-text">No verified proof records yet.</div>}
+          </div>
+        </SectionFrame>
+
+        <SectionFrame
+          eyebrow="Contested"
+          title="Recent contested proof"
+          description="Contest records when the derived attribution is too strong, too weak, or simply not aligned with operator judgment."
+        >
+          <div style={{ display: 'grid', gap: 10 }}>
+            {dashboard.recentContested.length > 0 ? dashboard.recentContested.map((record) => (
+              <div key={record.id} style={{ padding: '14px 16px', borderRadius: 18, border: '1px solid var(--border)', background: 'rgba(255,255,255,0.72)' }}>
+                <div style={{ display: 'flex', justifyContent: 'space-between', gap: 12, flexWrap: 'wrap' }}>
+                  <div style={{ fontSize: 12.5, fontWeight: 700, color: 'var(--text)' }}>{record.title}</div>
+                  <span className="badge badge-yellow">contested</span>
+                </div>
+                <div style={{ fontSize: 12, color: 'var(--text-dim)', marginTop: 6, lineHeight: 1.6 }}>{record.summary}</div>
+                <div style={{ display: 'flex', gap: 8, flexWrap: 'wrap', marginTop: 10 }}>
+                  <span className={`badge badge-${toneForOutcome(record.outcomeState)}`}>{labelForOutcome(record.outcomeState)}</span>
+                  <span className="badge badge-gray">{labelForTarget(record.targetType)}</span>
+                  <span className="badge badge-gray">{formatDate(record.latestReview?.decidedAt)}</span>
+                </div>
+              </div>
+            )) : <div className="signal-text">No contested proof records yet.</div>}
+          </div>
+        </SectionFrame>
+      </div>
+
+      <SectionFrame
+        eyebrow="Ledger"
+        title="All proof records"
+        description="A unified view across intervention, transfer, structural, semantic, and evolution evidence."
+      >
+        <div style={{ display: 'grid', gap: 12 }}>
+          {dashboard.records.length > 0 ? dashboard.records.map((record) => (
+            <div key={record.id} style={{ padding: '14px 16px', borderRadius: 18, border: '1px solid var(--border)', background: 'rgba(255,255,255,0.72)' }}>
+              <div style={{ display: 'flex', justifyContent: 'space-between', gap: 16, alignItems: 'flex-start', flexWrap: 'wrap' }}>
+                <div style={{ display: 'grid', gap: 4, flex: 1 }}>
+                  <div style={{ fontSize: 13, fontWeight: 700, color: 'var(--text)' }}>{record.title}</div>
+                  <div style={{ fontSize: 12, color: 'var(--text-dim)', lineHeight: 1.6 }}>{record.summary}</div>
+                </div>
+                <div style={{ display: 'flex', gap: 6, flexWrap: 'wrap' }}>
+                  <span className={`badge badge-${toneForTarget(record.targetType)}`}>{labelForTarget(record.targetType)}</span>
+                  <span className={`badge badge-${toneForOutcome(record.outcomeState)}`}>{labelForOutcome(record.outcomeState)}</span>
+                  <span className="badge badge-gray">{record.reviewStatus}</span>
+                </div>
+              </div>
+              {record.latestReview?.rationale ? <div className="signal-text" style={{ marginTop: 10 }}>review rationale · {record.latestReview.rationale}</div> : null}
+            </div>
+          )) : null}
+        </div>
+      </SectionFrame>
+
+      <ConsolePanel
+        title="Proof console"
+        tone={consoleTone(runState)}
+        actions={<span className="badge badge-gray">{runState === 'running' ? 'running' : runState === 'success' ? 'success' : runState === 'error' ? 'error' : 'idle'}</span>}
+      >
+        <pre style={{ margin: 0, whiteSpace: 'pre-wrap', fontSize: 12, lineHeight: 1.7, color: 'var(--text-dim)' }}>
+          {runState === 'running'
+            ? 'Recording proof review…\n\n' + (output || '')
+            : runState === 'success'
+              ? (output || 'Proof review completed.')
+              : runState === 'error'
+                ? (output || 'Proof review failed.')
+                : 'Use this surface to review derived proof records once HelixEvo has enough downstream evidence.'}
+        </pre>
+      </ConsolePanel>
+    </div>
+  )
+}

package/dashboard/app/proof/page.tsx

@@ -0,0 +1,9 @@
+import ProofClient from './client'
+import { loadProofDashboardSummary } from '@/lib/proof'
+
+export const dynamic = 'force-dynamic'
+
+export default function ProofPage() {
+  const dashboard = loadProofDashboardSummary()
+  return <ProofClient initialDashboard={dashboard} />
+}