helixevo 0.8.1 → 0.10.0

package/CHANGELOG.md

@@ -4,6 +4,28 @@ 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
+- 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

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, 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
 
@@ -87,7 +87,8 @@ 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 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
@@ -199,10 +206,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 +256,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/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

@@ -78,6 +78,13 @@ 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[]
+      proofClosureState?: 'needs-evidence' | 'needs-review' | 'stalled' | 'settled' | 'trusted-with-debt'
+      proofDebtSummary?: string
     }
     semanticConceptIds?: string[]
   }[]
@@ -103,6 +110,13 @@ 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[]
+      proofClosureState?: 'needs-evidence' | 'needs-review' | 'stalled' | 'settled' | 'trusted-with-debt'
+      proofDebtSummary?: string
     }
     semanticConceptIds?: string[]
   }[]
@@ -153,6 +167,23 @@ 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 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'
@@ -311,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 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.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>
 
@@ -402,6 +433,8 @@ 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.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>)}
@@ -410,6 +443,8 @@ 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}
+                    {motif.suggestedRoute.proofDebtSummary ? <div className="signal-text">⇢ {motif.suggestedRoute.proofDebtSummary}</div> : null}
                   </div>
                 </div>
               </div>
@@ -551,6 +586,8 @@ 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?.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>)}
@@ -560,6 +597,8 @@ 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}
+                      {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,9 +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
@@ -58,6 +100,33 @@ 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',
+      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.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',
@@ -67,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',
@@ -104,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()
@@ -134,6 +213,10 @@ export default function Overview() {
   const priorityActions = getPriorityActions({
     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,
@@ -176,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.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.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}
@@ -230,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"
@@ -328,6 +442,35 @@ export default function Overview() {
         </SectionFrame>
       ) : null}
 
+      <SectionFrame
+        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">
+            {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>
+                  {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>
+            ))}
+            {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="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="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>
+
       <SectionFrame
         eyebrow="Brain summary"
         title="Semantic backbone"