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 [cusipSearch, setCusipSearch] = useState(''); // Housing Preservation (HPR) calculator state const [rehabValueDollars, setRehabValueDollars] = useState(450000); const [deprecExpenseDollars, setDeprecExpenseDollars] = useState(45000); const [capexDollars, setCapexDollars] = useState(380000); const [opexDollars, setOpexDollars] = useState(40000); const netPreservationValue = Math.max(0, rehabValueDollars - deprecExpenseDollars); const totalCost = capexDollars + opexDollars; const calculatedHPR = totalCost > 0 ? (netPreservationValue / totalCost) : 0; const isHPRValid = calculatedHPR >= 0.85; // Capital calculation const seriesAPrincipal = UNIFIED_DOCUMENT_METADATA.seriesAPrincipal; const seriesBPrincipal = UNIFIED_DOCUMENT_METADATA.seriesBPrincipal; const totalPrincipal = seriesAPrincipal + seriesBPrincipal; const seriesAShares = Math.round(seriesAPrincipal * exchangeRatio); const seriesBShares = Math.round(seriesBPrincipal * exchangeRatio); const calculatedShares = seriesAShares + seriesBShares; return (
{/* Top Banner */}
AUDIT ENGINE

Interactive Capitalization & Mathematical Auditor

Audit the $500,000,000.00 senior debt capitalization vector, test exchange ratio conversions, simulate continuous Merton HJB DYREO daily sweeps, and explore SEC Edgar Form 13F CUSIP holdings.

Master Vector
$500,000,000.00
45,850,000 LEU Shs
{/* Grid 1: Master Capitalization & Share Conversion Auditor */}

Master $500,000,000.00 Indenture Capitalization Auditor

100% Harmonized

Directly cross-checks the two Senior Note tranches from the 1999 Indenture and their conversion into Centrus Energy Corp. (NYSE: LEU) reorganized common stock under Delaware Case No. 14-10492.

Series A 6.625% Notes (917300AA1)
Maturity: Jan 20, 2006
$350,000,000.00
{seriesAShares.toLocaleString()} shs
Series B 6.750% Notes (917300AB9)
Maturity: Jan 20, 2009
$150,000,000.00
{seriesBShares.toLocaleString()} shs
Total Estate Capitalization: ${totalPrincipal.toLocaleString('en-US', { minimumFractionDigits: 2 })}
Fully uniform across BNY Mellon & D.C. Circuit Court filings: strictly $500,000,000.00.
Exchange Ratio Conversion: {exchangeRatio}
$500,000,000.00 × {exchangeRatio} = {calculatedShares.toLocaleString()} Common Shares (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 Housing Preservation Physics */}

300 Baltimore Rowhomes Housing Preservation (HPR Validator)

{isHPRValid ? 'QUALIFIED (≥ 0.85 Ratio)' : 'NON-COMPLIANT'}

Escrow Sub-Account B mandates that disbursements for historic rowhome building envelope rehabilitation and tenant stabilization satisfy the minimum Housing Preservation Ratio:

setRehabValueDollars(Number(e.target.value))} className="w-full p-1.5 bg-slate-950 border border-slate-700 rounded font-mono text-slate-200" />
setDeprecExpenseDollars(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 HPR:
{calculatedHPR.toFixed(3)} Ratio (Target: ≥ 0.850)
{/* 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}
))}
); };