import React, { useState } from 'react'; import { Calculator, ShieldCheck, CheckCircle2, AlertTriangle, Sun, Search, Database, ArrowRight, TrendingUp, Percent, Check, Building } from 'lucide-react'; import { UNIFIED_DOCUMENT_METADATA, CUSIP_PORTFOLIO_DATA, DYREO_ALLOCATION_VECTOR, EXECUTION_TABS } from '../data/unifiedDocumentData'; export const VerificationPanel: React.FC = () => { // Simulator state const [mockYield, setMockYield] = useState(1000000); const [exchangeRatio, setExchangeRatio] = useState(0.0917); const [includeTuckerActPool, setIncludeTuckerActPool] = useState(false); const [cusipSearch, setCusipSearch] = useState(''); // S-EROI calculator state const [solarSolarOutputKwh, setSolarOutputKwh] = useState(365000); const [solarLossKwh, setSolarLossKwh] = useState(36500); const [capexDollars, setCapexDollars] = useState(380000); const [opexDollars, setOpexDollars] = useState(40000); const netEnergy = Math.max(0, solarSolarOutputKwh - solarLossKwh); const totalCost = capexDollars + opexDollars; const calculatedS_EROI = totalCost > 0 ? (netEnergy / totalCost) : 0; const isS_EROI_Valid = calculatedS_EROI >= 0.73; // Capital calculation const basePrincipal = UNIFIED_DOCUMENT_METADATA.seriesAPrincipal + UNIFIED_DOCUMENT_METADATA.seriesBPrincipal; const tuckerActAmount = includeTuckerActPool ? 220150000 : 0; const currentTotalPrincipal = basePrincipal + tuckerActAmount; const calculatedShares = Math.round(basePrincipal * exchangeRatio); return (
{/* Top Banner */}
AUDIT ENGINE

Interactive Jurisdictional & Mathematical Auditor

Inspect the cross-dataset harmonization parameters, verify the complete elimination of the Tucker Act judgment pool, compute real-time Merton HJB DYREO daily sweeps, and audit SEC Edgar Form 13F CUSIP holdings.

Harmonized Vector
$500,000,000.00
45,850,000 LEU Shs
{/* Grid 1: Tucker Act Harmonization Comparison */}

Dataset Harmonization & Tucker Act Auditor

Live Comparative Test

In unmerged documents, the presence of the $220,150,000.00 Tucker Act Judgment Pool created an asymmetry between the D.C. District Court filings ($500M) and the Baltimore City filings ($720.15M). Removing the Tucker Act pool establishes total symmetry across both venues.

Tucker Act Simulation Toggle:
Series A 6.625% Notes (917300AA1): $350,000,000.00
Series B 6.750% Notes (917300AB9): $150,000,000.00
Tucker Act Escrow Pool (28 U.S.C. § 1491): {includeTuckerActPool ? '+$220,150,000.00' : '$0.00 (REMOVED)'}
Resulting Total Capitalization: ${currentTotalPrincipal.toLocaleString('en-US', { minimumFractionDigits: 2 })}
{!includeTuckerActPool ? (
Uniform across BNY Mellon & D.C. Circuit Court filings: strictly $500,000,000.00.
) : (
Warning: Re-incorporating Tucker Act triggers non-uniformity ($720.15M vs $500M).
)}
Exchange Conversion Check:
$500,000,000.00 × {exchangeRatio} = {calculatedShares.toLocaleString()} Common Shares of Centrus Energy Corp. (NYSE: LEU)
{/* DYREO Dynamic Yield Sweep Engine */}

DYREO Continuous Sweep Calculator

Merton HJB Policy

Deterministic daily yield distribution vector D(t) = Y(t) · [0.60, 0.25, 0.10, 0.05]^T. Enter any credited dividend or coupon yield to test the automated disbursement:

setMockYield(Math.max(0, Number(e.target.value)))} className="w-full p-2 bg-slate-950 border border-slate-700 rounded-lg font-mono text-sm text-emerald-400 focus:outline-none focus:border-indigo-500" />
{DYREO_ALLOCATION_VECTOR.map((item, idx) => { const allocated = (mockYield * item.percentage) / 100; return (
{item.percentage}% {item.category}
${allocated.toLocaleString('en-US', { minimumFractionDigits: 2, maximumFractionDigits: 2 })}
); })}
{/* Grid 2: Microgrid Physics & CUSIP Explorer */}
{/* 300 Baltimore Rowhomes Microgrid Physics */}

300 Baltimore Rowhomes Solar Microgrid (S-EROI Validator)

{isS_EROI_Valid ? 'QUALIFIED (≥ 0.73 kWh/$)' : 'NON-COMPLIANT'}

Escrow Sub-Account B mandates that disbursements for photovoltaic & LiFePO4 battery infrastructure satisfy the minimum Social Energy Return threshold:

setSolarOutputKwh(Number(e.target.value))} className="w-full p-1.5 bg-slate-950 border border-slate-700 rounded font-mono text-slate-200" />
setSolarLossKwh(Number(e.target.value))} className="w-full p-1.5 bg-slate-950 border border-slate-700 rounded font-mono text-slate-200" />
setCapexDollars(Number(e.target.value))} className="w-full p-1.5 bg-slate-950 border border-slate-700 rounded font-mono text-slate-200" />
setOpexDollars(Number(e.target.value))} className="w-full p-1.5 bg-slate-950 border border-slate-700 rounded font-mono text-slate-200" />
Calculated S-EROI:
{calculatedS_EROI.toFixed(3)} kWh/$ (Target: ≥ 0.730)
{/* SEC Form 13F CUSIP Matcher */}

SEC Form 13F Institutional CUSIP Explorer

File No. 28-1235
setCusipSearch(e.target.value)} placeholder="Search CUSIP (e.g. 917300AA1) or Issuer..." className="w-full pl-8 pr-3 py-1.5 text-xs bg-slate-950 border border-slate-700 rounded-lg text-slate-200" />
{CUSIP_PORTFOLIO_DATA.filter(item => item.cusip.toLowerCase().includes(cusipSearch.toLowerCase()) || item.issuer.toLowerCase().includes(cusipSearch.toLowerCase()) ).map((item, idx) => (
{item.issuer}
CUSIP: {item.cusip} | {item.titleOfClass}
{item.sharesOrPrincipal}
{item.discretion}
))}
); };