Startup Diligence
Diligence report Infrastructure / DevTools Series B 2026-10-15

Code Metal

Verification-first code translation for mission-critical software

Code Metal has a differentiated verification-first product and credible defense and industrial demand signals, but the public KPI record is still too thin to underwrite without more diligence.

Coverage and disclosure

Public evidence was refreshed through 2026-10-15, but the operating record still relies heavily on company-, investor-, and partner-framed claims; financial quality, customer concentration, and contract durability remain thinly disclosed.

Cover facts

Headquarters 02
Boston, MA [CO002]
Stage 03
Series B [CO006]
Named customers 06
U.S. Air Force, L3Harris, Toshiba, RTX [CO010, CO015]
Revenue signal 07
Eight-figure revenue under contract [CO009]

Company profile

Code Metal is a Boston-based verification-first AI code translation company serving mission-critical software and hardware-portability workflows. The public record positions it in defense and industrial environments where teams need to move validated code across languages, architectures, and targets without losing behavioral fidelity.

Website
codemetal.ai
Founders
Peter Morales, Alex Showalter-Bucher
Founding location
Boston, MA
Headquarters
Boston, MA
Product
Verification-first AI code translation and optimization platform for mission-critical workloads.
Customers
Defense, aerospace, automotive, semiconductor, and other regulated engineering teams.
Business model
Enterprise and government contracts with bespoke pricing and services-assisted delivery.
Stage
Series B
Funding status
Disclosed funding totals roughly $177.95M across public rounds, capped by a February 2026 Series B at a $1.25B post-money valuation.
[CO001, CO002, CO006, CO007, CO009, CO010, CO012, CO013, CO015]

Executive summary

Top strengths

  • Verification-first code translation is differentiated from generic AI coding tools.
  • Named defense and industrial traction gives the company credible market proof.
  • Funding support and strategic investors suggest continued access to capital.

Top risks

  • Public financial disclosure remains thin on ARR, gross margin, burn, and runway.
  • Customer concentration and contract durability are not publicly quantified.
  • The disclosed valuation still outruns the public KPI record.

Open gaps

  • ARR, gross margin, revenue mix, burn, and cash runway remain undisclosed.
  • Customer count, retention, contract duration, and concentration by account are still not public.
  • Series B terms beyond headline size and valuation, including preferences, secondary mix, and debt, are not disclosed.
  • Independent proof of contract values, programs-of-record status, and repeat deployment economics is still incomplete.

Contents

Chapter 01

01Company Overview

1.1 Identity and positioning

Code Metal positions itself as a verifiable code-translation platform for mission-critical software rather than a general-purpose coding copilot. The official homepage frames the offer as "verifiable code translation for industries where every line of code matters," while third-party profiles consistently place the company in defense, aerospace, automotive, semiconductor, and robotics workflows where portability, compliance, and hardware-specific optimization matter more than raw prototyping speed. Forge's profile anchors the basics: the company was founded in 2023, is headquartered in Boston, and was started by Peter Morales and Alex Showalter-Bucher. That combination makes later chapters' market and product analysis easier to interpret: Code Metal is selling trust, portability, and modernization in edge and defense-adjacent environments, not consumer developer tooling volume.[CO001, CO002, CO003, CO008]

Snapshot KPI table
MetricValue / statusDateConfidenceGap
Current stageSeries BFeb 2026MediumHeadline round supported; economics beyond headline remain private
HeadquartersBoston MACurrentMediumNone
Founded2023HistoricalMediumNone
Last public valuation$1.25BFeb 2026MediumSupported by Forge and echoed in later reporting
Disclosed capital raised~$177.95M across public roundsThrough Feb 2026MediumDerived from pre-seed seed Series A and Series B disclosures
Revenue signalEight-figure revenue under contractSeries A announcementMediumCompany claim rather than audited revenue
Named customersU.S. Air Force / L3Harris / Toshiba / RTXFeb 2026MediumNo public customer count or concentration disclosure
ARR / gross margin / headcount / customer countNot publicly substantiated in assigned poolCurrentLowManagement KPI pack still required

Public snapshot as of 2026-10-15; null-like gaps are rendered as status text because the assigned pool provides headline funding and traction claims but not audited operating KPIs.

[CO002, CO006, CO007, CO009, CO010, CO012, CO013]

1.2 Leadership coverage and governance visibility

The public leadership picture is founder-led but no longer founder-only. Growth Engineer describes Morales as an MIT Lincoln Laboratory and BAE Systems veteran focused on defense machine-learning deployments, while Alex Showalter-Bucher brings another MIT Lincoln Lab background in automation and robotics. Forge and Growth Engineer also show a February 2026 operating-bench upgrade when former Tableau CEO Ryan Aytay joined as President and COO, a signal that Code Metal is preparing for heavier enterprise sales and operational scaling. AI Market Watch adds Laura Shen as a public growth leader. What remains notably opaque is formal board composition, control rights, and financing governance: the assigned evidence names investors and executives, but not a complete board roster or preferred-security terms.[CO003, CO004, CO005, CO011]

Leadership and founder table
PersonRoleBackgroundFounder-market fit / coverageKey-person dependency
Peter MoralesFounder and CEOMIT Lincoln Laboratory and BAE Systems defense ML work including F-35 radar systemsStrong technical and domain fit for defense modernization workloadsProduct narrative and customer credibility still center heavily on Morales
Alex Showalter-BucherCo-founder and SVP of TechnologyMIT Lincoln Laboratory automation and robotics work with Navy Army and DHSComplements Morales with engineering and automation depthPublic profile remains founder-concentrated
Ryan AytayPresident and COOFormer Tableau CEO and longtime Salesforce executiveAdds enterprise go-to-market and operating scale beyond founding teamJoined only in Feb 2026 so operating proof is still recent
Laura ShenEVP / Head of GrowthFormer NSC China official per AI Market Watch profileAdds policy and national-security network coveragePublic role is visible but responsibilities and tenure details remain lightly disclosed

Publicly named founders and operators from the assigned pool; board seats committee structure and decision rights are not disclosed in the same evidence set.

[CO003, CO004, CO005, CO011]

1.3 Funding history and stakeholder map

Public financing signals are unusually strong for a company founded in 2023. AI Market Watch records a $3.45 million pre-seed in December 2023 and a $13 million seed in July 2024; Code Metal's own Series A announcement says Accel led a $36.5 million round at a $250 million valuation; and Forge lists a February 2026 Series B at a $1.25 billion post-money valuation with Salesforce Ventures, Accel, B Capital, J2 Ventures, Overmatch, RTX Ventures, Shield Capital, and Smith Point Capital among investors. That stack implies roughly $177.95 million of disclosed funding across the public rounds, but the economic detail still stops at headline size: liquidation preferences, secondaries, debt facilities, and the full cap-table logic are not public in this worker pool. The stakeholder picture is therefore strongest on brand-name investors and early lighthouse customers, weaker on governance and concentration.[CO006, CO007, CO012, CO013]

Stakeholder or investor map
StakeholderRoleControl / economic importanceDiligence ask
Salesforce VenturesSeries B lead investorAnchors the $1.25B price-setting round and likely influences future financing optionsRequest board observer rights follow-on appetite and milestone expectations
AccelSeries A lead and Series B participantValidates early institutional sponsorship across both major roundsConfirm ownership pro rata rights and reserve behavior
B CapitalSeries B investor and public advocateProvides external commercial narrative and customer validation but is still economically alignedSeparate portfolio-marketing language from independently verified KPIs
U.S. Air Force / DoWPublic customer and OTA counterpartyGovernment adoption is a major validation signal and likely shapes roadmap and compliance demandsVerify program status deployment scope and recompete risk
L3HarrisNamed lighthouse customerProof point for defense-prime adoption and migration use casesRequest contract value duration expansion path and dependency concentration
RTXNamed customer and venture investor via RTX VenturesUnusually strong strategic overlap as both customer signal and capital providerConfirm whether commercial terms remain arms-length and repeatable

Partial map of lead investors and repeated lighthouse stakeholders named in the assigned public sources; it is not a full cap table or customer concentration schedule.

[CO006, CO007, CO010, CO015]

1.4 Traction, milestones, and the key execution risk

The public traction narrative is credible enough to matter but still not deep enough to underwrite on headline growth alone. Code Metal's Series A announcement said the company had already deployed across defense, automotive, and semiconductor end markets and was "already on contract to deliver eight figures in revenue this year," while B Capital later named the U.S. Air Force, L3Harris, Toshiba, and RTX as customers. AI Market Watch and Welcome AI add later milestone claims around Tradewinds recognition and an $80 million WarMatrix OTA award. The sharpest counterweight comes from Implicator: the market may be underwriting the value of verified translation before public evidence proves the approach scales across million-line, undocumented defense codebases. That tension explains the chapter's bottom line: strong financing and customer signaling coexist with thin disclosure on audited revenue quality, customer concentration, and production-scale proof.[CO009, CO010, CO014, CO015, CO016]

FO001: Company milestone timeline

Public milestones show unusually fast financing and defense traction, but only a few points are independently described.

Company founded [CO002, CO003]

Pre-seed financing [CO012]

Seed financing [CO013]

Tradewinds recognition [CO014]

Series A at $250M valuation [CO007]

Series B at unicorn valuation [CO006]

Operating bench expands [CO011]

WarMatrix OTA award [CO015]

[CO006, CO007, CO011, CO012, CO013, CO014, CO015]
Chapter 02

02Market Analysis

2.1 Market boundary and substitutes

The retained sources frame Code Metal around a specific job to be done: translate, verify, and optimize existing code for environments where bugs, hardware mismatch, or failed certification carry operational or regulatory cost. That is materially narrower than the broad AI-coding-assistant market. Code Metal's own research and about pages consistently describe translation across languages, architectures, and hardware targets with proof of behavioral preservation, while B Capital and Forge place the company inside mission-critical verticals such as defense, aerospace, automotive, robotics, and semiconductors. The practical substitute is not only another code model; it is also manual modernization, in-house compiler and tooling work, legacy-code retention, and systems-integrator projects that preserve validated behavior. That boundary matters for valuation because willingness to pay depends less on developer productivity and more on whether customers can shorten modernization cycles without reintroducing safety, compliance, or mission risk.[CM001, CM002, CM003, CM004, CM007, CM009]

Market definition table
Segment/categoryIncluded spendExcluded spendBuyer/payerRelevance
Mission-critical code translationModernizing or porting validated code between languages and hardware targets with proof or heavy assuranceGeneric code-completion seats and greenfield app prototypingEngineering and platform leaders; program owners in regulated environmentsCore job described across official, investor, and profile sources
Defense modeling and simulation modernizationAI-enabled wargaming, simulation orchestration, and legacy defense-software reuseTraditional prime-platform manufacturing spend unrelated to software modernizationDefense program offices, service modernization budgets, and prime-supported programsCurrent strongest public budget signal via WarMatrix awards
Industrial and edge portabilityMoving MATLAB, CUDA, C++, and related code into deployable Rust, VHDL, OpenCL, or hardware-specific targetsGeneral-purpose cloud software tooling without hardware-portability needsProduct engineering and semiconductor or edge-system ownersRepeated in official research, PR, and partner framing
Regulated deployment workflowsSafety, compliance, and certification-sensitive software modernization in automotive, aerospace, telecom, and roboticsLow-risk consumer software where statistical code generation is acceptableProgram, engineering, and compliance budget ownersExplains premium willingness to pay more than developer-seat counts do

Included and excluded spend are evidence-constrained market boundaries synthesized from retained sources; they are not a public TAM estimate.

[CM001, CM002, CM003, CM004, CM007, CM009]
FM001: Market sizing lens

Evidence-backed narrowing from broad high-assurance software modernization demand to today's public defense wedge, without inventing an unsupported TAM.

Layer widths indicate hierarchy, not quantitative proportions.

The pyramid shows narrowing layers rather than value-proportional market shares because retained sources do not publish a category-level TAM, SAM, or SOM.

High-assurance software modernization [CM001, CM002, CM009]

Cross-language and cross-hardware portability [CM001, CM007, CM009]

Regulated and mission-critical verticals [CM002, CM003, CM004]

Budgeted modernization programs [CM006, CM011]

Current defense wedge [CM005, CM012]

Multi-vertical expansion still unquantified [CM008, CM011]

[CM001, CM002, CM003, CM004, CM005, CM006, CM007, CM008, CM009, CM011, CM012]

2.2 Sizing lenses, buyers, and adoption path

Public evidence supports several constrained sizing lenses but not a clean public TAM/SAM/SOM. The strongest quantifiable signal is budget already attached to the defense wedge: Fortune and TechTimes report an initial $17 million operating capability award followed by an $80 million OTA for WarMatrix, while Forge records a $1.25 billion post-money Series B valuation that shows investor willingness to pay for the category without proving end-market scale. Beyond defense, company and partner sources repeatedly name aerospace, semiconductor, automotive, and telecommunications-style portability problems, implying a broader addressable workflow where the buyer is typically an engineering or program owner, the user is an engineering or simulation team, and the payer sits in a program, product, or modernization budget rather than a seat-based developer-tools line item. The adoption path therefore looks enterprise and programmatic: prove translation reliability on a high-consequence workflow, then expand across adjacent codebases, hardware targets, or services.[CM003, CM004, CM005, CM006, CM008, CM011, CM012]

TAM / SAM / SOM or sizing lens table
LensPublisherYearGeographyValue/statusCAGR/statusMethodologyConfidenceLimitation
Defense beachhead budgetFortune; TechTimes2026U.S.$17M IOC then $80M OTA for WarMatrixNot disclosedObserved contract awards for one programmediumProgram demand signal, not total market size
Capital-market willingness to payForge2026U.S.$1.25B post-money Series B valuationn/aPrivate-market financing snapshotmediumValuation reflects expectations, not addressable spend
Vertical footprint lensCode Metal; B Capital2026 / 2025-2026Primarily U.S.Defense plus aerospace, semiconductor, automotive, and related regulated deploymentsn/aNamed industries and use cases across company and investor disclosuresmediumNo per-vertical revenue split or customer counts disclosed
Standalone TAM/SAM/SOMNo retained public source2026n/aNot isolatedn/aRetained sources describe workflows and budgets, not market totalslowRequires third-party market study or management data room support

This chapter preserves only source-backed sizing lenses; no retained source isolates a numeric TAM, SAM, or SOM for Code Metal's verified-translation category.

[CM003, CM005, CM008, CM012]
Segment / buyer map
SegmentBuyerUserPayerWorkflowBudget ownerAdoption trigger
Defense wargaming and simulationProgram leadership and modernization sponsorsSimulation planners and technical operatorsGovernment program budget via OTA/prototype pathMake validated legacy models queryable and faster to runService or program officeNeed to modernize without discarding validated models
Prime and defense-industry software modernizationPrime contractor engineering leadershipEmbedded, platform, and mission-systems teamsProgram or contract delivery budgetPort legacy or hardware-bound code into safer or faster targetsProgram manager or engineering VPSchedule pressure plus safety/compliance requirements
Semiconductor and edge portabilityPlatform/product engineering leadersCompiler, systems, and performance engineersProduct or platform budgetTranslate code across chips, accelerators, and deployment environmentsProduct or platform ownerNeed to break hardware lock-in or shorten porting cycles
Automotive, telecom, aerospace, and other regulated industriesEngineering and operations leadershipDevelopment and validation teamsProgram or product budgetMove research or legacy code into production-ready, verified implementationsEngineering, product, or compliance ownerCannot ship unverifiable AI-generated code into safety- or mission-critical systems

Buyer, user, payer, and budget-owner roles are inferred from disclosed use cases and named customers; public sources do not provide a standardized budget taxonomy.

[CM003, CM004, CM005, CM006, CM007, CM011]

2.3 Growth drivers, constraints, and evidence gaps

The main adoption drivers in the retained sources are explicit: regulated or mission-critical teams need code portability, memory safety, compliance, and behavior preservation, yet cannot trust generic AI-generated code without additional assurance. Code Metal's defense traction also suggests a timing driver: OTAs and modernization programs can fund adoption when the product preserves legacy validated assets rather than replacing them. The same evidence also shows why market expansion is not automatic. TechTimes distinguishes formally verified code translation from the separate risk of hallucinated analytical outputs, and Fortune notes that the current revenue mix is still about 75% defense-related. The result is a credible beachhead, but not a fully proven cross-vertical market. Public diligence is still missing customer counts, pricing, budget-line ownership by vertical, and a source- backed decomposition of how much of the market is truly reachable beyond defense programs and a handful of named industrial accounts.[CM005, CM008, CM009, CM010, CM011, CM012]

2.4 Exhibits

Chapter 03

03Competitors

3.1 Landscape is broad, not one-for-one

Public evidence does not support a narrow one-for-one rival set. The same modernization job can be attacked through manual internal rewrites, generic LLM coding assistants, static-analysis or code-review products that reduce bug risk without doing translation, domain-specific compilers for narrower targets, and a newer cohort of AI-code validation vendors. That breadth matters because Code Metal is not competing for generic developer-seat spend first; it is competing for budgets tied to legacy migration, hardware portability, and regulated deployment in accounts like defense primes and industrial OEMs. The practical peer set is therefore a landscape of substitute workflows plus adjacent infrastructure vendors, not a single incumbent category.[CP001, CP002, CP003, CP015]

Competitor profile table
Competitor / alternativeCategoryScale / funding signalTarget segmentDifferentiationLimitation
Code Metaldirect$125M Series B at $1.25B valuation; named defense and industrial accountsDefense, aerospace, automotive, semiconductor, and other mission-critical buyersVerified code translation plus hardware portabilityPublic win/loss and realized pricing detail remain limited
Validation/testing startup cohort (Antithesis, Code Rabbit, Synthesized, Theorem, Harness)adjacentWIRED says the cohort secured millions in backingTeams buying tooling around AI-generated code qualityValidation, testing, securing, and automation around AI-generated codeRetained evidence does not show verified cross-language translation as the core offer
Cursor / Claude Code classsubstituteNo scale detail in retained evidenceGeneral software teams and individual developersFast new-code generation and coding assistanceGrowthEngineer says these tools do not provide formal verification guarantees for regulated deployment
Sonar / Semgrep classincumbent-adjacentEstablished analysis tools; no funding detail in retained evidenceCode review, AppSec, and software quality teamsStatic analysis and code scanningRetained evidence frames them as analysis-first rather than translation-first
Domain-specific compilersadjacentNo consolidated vendor scale in retained evidenceTeams tied to a specific hardware or language pairOptimized for narrower target environmentsGrowthEngineer describes them as limited to specific hardware or language pairs
Manual / internal rewritestatus quo / internal buildInternal engineering labor rather than vendor fundingIncumbents modernizing legacy systemsMaximum internal control and bespoke workflowsGrowthEngineer says delivery takes months and carries higher error and compliance risk

Rows group competitor classes from the assigned pool; unknown scale or funding fields reflect what the retained public sources do not disclose.

[CP001, CP002, CP003, CP004, CP005, CP006, CP007, CP015]
FP001: Competitive positioning by assurance and portability breadth

The retained evidence places Code Metal closer to verified portability than adjacent coding tools, while most substitutes still compete on cost, existing workflow fit, or narrower technical scope.

X: Deployment assurance / verification strength
low: Statistical or manual checks only
high: Formal or verified guarantees claimed
description: Evidence-backed ordinal scale
scale: ordinal
Y: Breadth of portability problem addressed
low: Narrow workflow slice
high: Multi-language and multi-hardware portability
description: Evidence-backed ordinal scale
scale: ordinal
ItemDeployment assurance / verification strength (1–5)Breadth of portability problem addressed (1–5)Context
1. Code Metal 5 5 Verified translation plus hardware portability are central to the pitch.
2. Manual / internal rewrite 4 2 Assurance can be high, but breadth is constrained by staffing and cycle time.
3. Cursor / Claude Code class 1 3 Fast code generation is the value, but retained evidence does not show verification guarantees.
4. Sonar / Semgrep class 2 1 Analysis-first tools reduce bug risk but do not anchor translation scope in retained evidence.
5. Domain-specific compilers 3 2 Technical depth can be meaningful, but retained evidence frames scope as narrower and target-specific.
6. Validation/testing startup cohort 2 2 Adjacent vendors address AI-code quality, but retained evidence does not show verified translation as the main workflow.

Ordinal 1-5 coordinates reflect retained source descriptions of verification strength and portability breadth; they are comparative estimates, not measured market-share, quality, or performance values.

[CP002, CP003, CP006, CP007, CP010, CP011, CP014]

3.2 Trade-offs center on assurance versus scope

The clearest differentiation claim is assurance. Official and investor materials repeatedly frame Code Metal as a system that combines AI generation with testing, analysis, and formal verification, while the external review sources describe Cursor/Claude-style tools as fast but unverified and Sonar/Semgrep-style tools as analysis-first rather than translation-first. The more important competitive comparison is not whether rivals can emit code, but whether they can move a large legacy codebase across languages and hardware targets without breaking compliance or behavior. Domain-specific compilers and internal teams can sometimes deliver narrower variants of that outcome, but retained sources describe them as constrained by target scope or engineering time.[CP004, CP005, CP006, CP007, CP010, CP011, CP016]

Feature / capability matrix
Buying criterionCode MetalManual / internalCursor / Claude Code classSonar / Semgrep classDomain-specific compilers
Cross-language translationYes; public sources cite Python, Julia, MATLAB, C++, Rust, VHDL, CUDA, and related targetsYes, but via internal engineering effortPossible code generation help; translation guarantees not evidencedNo translation focus in retained evidenceYes, but usually for narrower language or hardware pairs
Formal verification / proof of equivalenceClaimed as core differentiatorHuman review and testing only in retained evidenceGrowthEngineer says verification guarantees are absentNot evidenced in retained sourcesNot evidenced in retained sources
Hardware portability across chips or devicesCore pitch across GPUs, FPGAs, edge devices, and specialized hardwarePossible but slowNot evidenced in retained sourcesNoNarrow target optimization rather than broad portability
Mission-critical / regulated deployment focusCore positioningPossible when buyers fund it internallyGrowthEngineer frames these tools as fast but unverified for regulated workAnalysis support onlyCan fit narrow domains, but not broad mission-critical translation in retained evidence
Public customer proof in defense or industrial accountsYes; U.S. Air Force, RTX, L3Harris, and Toshiba recurNot applicableNot evidenced in retained sourcesNot evidenced in retained sourcesNot evidenced in retained sources

Cells marked "not evidenced" mean the assigned public pool did not supply supportable proof for that criterion, not that the capability is absent.

[CP004, CP005, CP006, CP007, CP010, CP011, CP015, CP016]

3.3 Durability depends on enterprise access, but packaging proof is thin

The weakness in the public record is commercial comparability. WIRED reports that Code Metal prices each deal individually around time saved or translation work units, and GrowthEngineer says public pricing tiers are not disclosed. That opacity makes it hard to benchmark procurement friction against substitutes, especially when internal rewrites are paid through engineering headcount and generic coding tools can be adopted bottom-up. Code Metal is trying to offset that disadvantage by scaling enterprise distribution through the Ryan Aytay hire and by broadening adjacency through the Signal Processing Technologies acquisition. Even so, the strongest adverse evidence remains that category methodologies are still proving themselves and long-term durability is not yet independently settled.[CP008, CP009, CP012, CP013, CP014]

Pricing / packaging comparison
OptionPrice / unit / contract modelIncluded capabilitiesDiscounts or unknownsImplication
Code MetalNegotiated individually; WIRED says deals can be based on kernel-development time, lines translated, or development time savedTranslation, optimization, and verification for mission-critical codeNo public tier card; WIRED says value definition can get murkyConsultative procurement is harder to benchmark but may fit large enterprise accounts
Manual / internal rewriteInternal labor and project spendTranslation plus bespoke internal validationNo vendor list price and no standardized contract modelWorks when the buyer can absorb time and staffing cost
Cursor / Claude Code classPublic pricing not provided in the assigned poolGeneral LLM coding assistanceAssigned evidence does not provide verified price benchmarks or regulated-deployment termsLikely easier bottom-up adoption, but not comparable on proof or scope from retained evidence
Sonar / Semgrep classPublic pricing not provided in the assigned poolStatic analysis, review, and scanningAssigned evidence does not provide price or translation packagingOften looks more like a complement or narrower substitute than a direct replacement
Domain-specific compilersPricing not disclosed in the assigned poolTargeted optimization for specific hardware or language pairsCommercial terms and breadth are not public in retained evidenceComparison hinges more on scope limits than on observable price cards

The assigned pool supports contract-logic observations, not normalized realized pricing; "unknown" means the cited public sources do not publish a clean benchmark.

[CP008, CP009, CP012]

3.4 Exhibits

Chapter 04

04Financials

4.1 Bespoke contracts, not a transparent SaaS rate card

The best-supported monetization model is negotiated enterprise and government work rather than a standardized public SaaS plan. Independent reporting says Code Metal negotiates around time to develop a kernel, lines of code translated, or customer development time saved, while a software directory separately describes subscription-style enterprise pricing based on users and hardware support. Those descriptions may reflect different engagement types, but neither discloses realized prices, discounts, minimum commitments, renewal terms, or revenue-recognition policy. The company-issued WarMatrix announcement adds a concrete $80 million contract value, yet it does not state period of performance, funded versus ceiling value, milestone schedule, or recognized revenue. The resulting bridge is project scope to verified deliverables to customer acceptance and contract revenue; gross profit cannot be inferred.[CI001, CI002, CI003, CI004, CI016]

Revenue streams and quality
StreamMechanismUnitCurrent value or statusQuality assessmentDiligence ask
WarMatrix OTAFunded work to advance a modeling and simulation platformContract value$80 million announced; funded amount and term undisclosedConcrete demand signal; company-issued disclosure, not recognized revenueProvide award document, funded ceiling, milestones, term, and revenue schedule
Code translation engagementsNegotiated project based on translation scopeKernel development time or lines of codeNo public realized priceBespoke pricing can support large ACVs but weakens comparabilityProvide bookings, ACV distribution, scope changes, and delivery hours
Outcome-linked engagementsPrice references customer development time savedTime savedNo public rate or measurement methodPotential value pricing; attribution and auditability are unknownProvide baseline methodology, acceptance terms, and realized gross margin
Enterprise subscriptionsDirectory-described custom subscriptionUsers and hardware supportNo public tiers or realized pricePossible recurring component; source is a third-party directoryProvide contracts, renewal cohorts, seats, usage, discounts, and support load
Expansion with named customersFollow-on phases or broader deploymentContract or programNamed customers, but no backlog or renewal metricsCommercial validation without quantifiable recurrenceProvide program status, renewal history, concentration, and funded backlog

Partial public view as of 2026-10-15; contract value is not recognized revenue, and null pricing fields mean the retained sources did not disclose the metric.

[CI001, CI002, CI003, CI004, CI009, CI016]
Public pricing and monetization evidence
Pricing basisPublic valueList versus realizedEvidence qualityUnderwriting implication
Time to develop a kernelNegotiated; no list priceCEO description relayed by independent reportingDelivery effort may vary materially by engagement
Lines of code translatedNegotiated; no list priceCEO description relayed by independent reportingUnit may not normalize code complexity or verification burden
Customer development time savedNegotiated; no list priceCEO description relayed by independent reportingOutcome attribution and collection terms require contract review
User count and hardware supportDirectory-described enterprise custom pricingLow-reputation third-party directory; verify with contractsCould indicate a recurring license or support component
WarMatrix contract$80 million total announced valueContract total, not a unit or recognized-revenue figureCompany-issued release syndicated by Business WireCannot derive annualized revenue or gross margin without award terms

No public rate card was found in the assigned evidence; null values mean undisclosed, and the $80 million figure is a contract announcement rather than list pricing or recognized revenue.

[CI001, CI002, CI003]
FI001: Contract-led revenue model bridge

Public evidence supports a scoped enterprise delivery chain, but not numeric conversion rates, timing, or gross-margin percentages.

Node / ConnectionNode / fromToContext
Node 1 Mission-critical modernization need [customer-problem]Customer identifies code translation or portability work.
Node 2 Negotiated scope and pricing basis [negotiated-scope]Kernel time or lines of code may shape price.
Node 3 AI-assisted translation [translation]Source programs are analyzed and translated.
Node 4 Testing and verification [assurance]Assurance work supports acceptance.
Node 5 Customer deliverable [delivery]Verified modernization output is delivered.
Node 6 Milestone or customer acceptance [acceptance]Public terms do not disclose acceptance mechanics.
Node 7 Contract revenue [revenue]Contract value may convert to revenue over an undisclosed period.
Node 8 Gross profit [gross-profit]Delivery costs and resulting margin remain unknown.
Connection 1 Mission-critical modernization need [customer-problem]Negotiated scope and pricing basis [negotiated-scope]
Connection 2 Negotiated scope and pricing basis [negotiated-scope]AI-assisted translation [translation]
Connection 3 AI-assisted translation [translation]Testing and verification [assurance]
Connection 4 Testing and verification [assurance]Customer deliverable [delivery]
Connection 5 Customer deliverable [delivery]Milestone or customer acceptance [acceptance]
Connection 6 Milestone or customer acceptance [acceptance]Contract revenue [revenue]
Connection 7 Contract revenue [revenue]Gross profit [gross-profit]

Conceptual sequence only; no conversion rate, recognition schedule, or margin value is inferred from the available sources.

[CI004, CI010, CI011, CI016]

4.2 Large-ticket traction is visible, but revenue quality is not

The WarMatrix OTA is the strongest current commercial signal because it attaches a disclosed dollar value to work for a government customer. B Capital also names the U.S. Air Force, L3Harris, Toshiba, and RTX as customers, consistent with a concentrated enterprise and defense motion rather than high-volume self-service distribution. Separate reporting says the company previously had eight-figure revenue and now claims profitability and positive cash flow, but also notes that specific revenue figures and audited financials are unavailable. These signals support commercial demand, not recurring-revenue quality: backlog, funded value, contract duration, renewal behavior, customer concentration, and the split between licenses, engineering services, and milestone payments are still missing.[CI003, CI005, CI006, CI007, CI008, CI009, CI010]

4.3 Verification depth likely makes delivery economics engagement-specific

Code Metal describes a delivery pipeline that analyzes source programs, translates them, runs differential and property-based testing, performs static and compatibility analysis, applies formal verification where possible, and optimizes for target hardware. That workflow indicates meaningful research, engineering, compute, and assurance costs before a customer accepts output. The official research surface also shows an expanding research organization, eleven listed papers and articles, and university awards of $10,000 to $40,000 each for up to four recipients. None of those inputs yields a gross-margin estimate because public sources do not disclose labor allocation, model and compute expense, implementation effort, support burden, subcontractors, or revenue mix. CAC, payback, utilization, sales cycle, and contribution margin therefore remain diligence inputs rather than modelable public metrics.[CI010, CI011, CI012, CI013, CI014, CI015]

Unit economics and capital-adequacy checklist
MetricPublic valueConfidenceWhy it mattersDiligence ask
Revenue or ARRLowEstablishes scale and recurring mixProvide audited revenue, ARR definition, and monthly bridge
Gross marginLowTests whether verification labor and compute scale efficientlyProvide margin by contract, product, services, and customer cohort
CAC and paybackLowTests efficiency of long enterprise and defense salesProvide fully loaded CAC, sales cycle, and payback by segment
Retention and expansionLowSeparates durable deployments from paid pilotsProvide GRR, NRR, renewals, expansions, and program transitions
Profitability and cash flowCompany-reported profitable and cash-flow positiveMediumCould materially reduce financing dependency if auditedProvide audited statements and monthly cash-flow reconciliation
Series B capital raised$125 million reported in February 2026MediumAdds financing capacity but is not current cashProvide primary closing documents, net proceeds, and use-of-funds schedule
Cash, burn, runway, debt, and working capitalLowDetermines capital adequacy and next-round triggerProvide bank cash, monthly burn, receivables, deferred revenue, debt, and covenants

Public-data checklist only; capital raised is not cash available, and null values identify metrics absent from the eight retained sources rather than estimates of zero.

[CI005, CI006, CI007, CI008, CI010, CI011, CI012, CI013, CI014, CI015]

4.4 The financing extends options, but runway remains unprovable

Three retained sources report a $125 million Series B at a $1.25 billion valuation in February 2026. That financing is capital raised, not evidence of current cash available: the public record does not reveal closing mechanics, secondary components, debt, cash at close, subsequent spend, burn, or restricted funds. The company's reported profitability and positive cash flow would materially improve the runway assessment if confirmed, but the claim is unaudited in the retained evidence. Financial underwriting should therefore treat revenue quality as promising but unverified, margin path as engagement-dependent, and capital intensity as potentially elevated by specialist labor and verification work. The next diligence package should reconcile signed backlog to recognized revenue, show customer-level gross margin and concentration, and provide monthly cash, burn, and working-capital schedules.[CI005, CI006, CI010, CI011, CI015, CI016]

4.5 Exhibits

Chapter 05

05Product & Technology

5.1 Product definition and buyer workflow

Code Metal's public product story is consistent across official and third-party materials: the company sells automated code translation for settings where teams cannot accept "good enough" AI output. The workflow begins from high-level or legacy source code and a customer-defined runtime target, then moves toward translated code, test artifacts, and deployment outputs for constrained edge environments. Publicly named user groups cluster around defense, aerospace, automotive, semiconductor, and industrial engineering teams that need portability across chips, languages, and compliance-sensitive environments. The public evidence is strong on workflow framing and use cases, but still thin on package boundaries, pricing mechanics, and how much of a deployment is software versus services. [CE001, CE002, CE003, CE008, CE009, CE010]

Product module / asset matrix
Module / assetPrimary userStatus / maturityDifferentiationDiligence gap
Code translation corePlatform engineering teamsPublicly described product capabilityTranslation across languages and hardware targets is framed as verification-first rather than prompt-onlyNo public module-level packaging or SKU detail
Runtime target configurationSystems / embedded engineersExplicitly shown on official product pageUsers define CPUs, accelerators, resources, and toolchains before generationNo disclosure of supported target coverage by tier or support policy
Assurance pipelineEngineering and compliance stakeholdersPublicly described method, not independently benchmarked in this poolValidation, testing, static analysis, and formal verification are integrated into translationNo public pass/fail rates, benchmark suite, or certification packet
Research surfaceTechnical evaluators and recruitsVisible and current through Oct 202611 listed papers/articles show ongoing investment in formal methods and code translation topicsResearch cadence does not prove productized release cadence or customer-facing feature maturity

Rows synthesize retained official pages, research pages, and external profiles; they describe what is publicly evidenced, not a full internal SKU catalog.

[CE001, CE002, CE004, CE006, CE013]
Workflow / use-case table
User jobCurrent workflowCode Metal solutionMeasurable benefitLimitation
Move prototype or research code into deployed edge softwareManual rewrite from high-level languages into target-specific production codeAutomated translation plus verification for target hardware and toolchainsAgenccy profile cites at least 80% manual-coding reductionQuantified benefit is third-party profile language, not an official benchmark packet
Port software across chip or accelerator targetsSeparate code paths and vendor lock-in across CPUs, GPUs, and FPGAsOne source workflow with runtime-specific output targetsPublic materials consistently stress portability across hardware architecturesNo public coverage matrix for all chip/toolchain combinations
Modernize legacy systems into safer or more maintainable codeMulti-month manual porting and validation of legacy codebasesTranslate legacy code into modern targets such as Rust while preserving behaviorExternal profiles frame the product as faster than manual modernizationNo retained source quantifies defect escape rates after migration
Support compliance-sensitive engineering programsTesting and review-heavy software assurance processCombine generated code with validation, static analysis, and formal verificationThird-party review cites compliance-oriented positioning around MISRA, DO-178C, and ISO 26262Assigned official sources do not include the underlying certification or audit evidence

Benefits reflect source language exactly where quantified; missing deployment and benchmark detail is preserved as a limitation rather than inferred away.

[CE002, CE003, CE008, CE011, CE013]

5.2 Architecture and operating model

The clearest architectural signal is that Code Metal does not describe the product as a simple prompt-to-code assistant. Instead, its materials emphasize a staged operating model: users specify hardware and toolchain constraints up front; the system analyzes and translates source code; validation steps run throughout the pipeline; and outputs are optimized for the target architecture rather than emitted as generic code. The May 2026 research note is especially important because it explains that testing, static analysis, and formal verification are integrated into the translation flow rather than added only after generation. That framing supports a differentiated systems product, although public materials still stop short of disclosing concrete release engineering, rollback, or production support mechanics. [CE002, CE003, CE004, CE005, CE006, CE007, CE012, CE013]

Technology / operating architecture table
Layer / processRoleDependencyRisk
Source code intakeAccept high-level or legacy reference implementations as the starting pointAvailability of representative source code and desired target behaviorPublic materials do not explain edge-case handling for messy production codebases
Runtime and hardware definitionCapture CPU, accelerator, resource, and toolchain constraints before translationCustomer knows deployment environment in sufficient detailOnboarding may be high-touch when fleets, accelerators, or toolchains vary by customer
Translation and decompositionGenerate a transpilation and deployment plan plus target-language outputLanguage-pair and architecture support, dependency tracking, and code segmentationPublic scope of supported source/target combinations is described broadly but not contractually bounded
Verification and validationRun testing, static analysis, compatibility checks, and formal verification where possibleAvailability of specifications, invariants, and checkable propertiesOfficial pages describe the method but not success rates, failure modes, or escalation paths
Deployment outputsProduce target artifacts for embedded, accelerator, and edge environmentsCustomer build systems, IDEs, version control, and preferred toolchainsNo public SLA, rollback workflow, or support telemetry in the assigned source set

This is a public operating-model map, not a confirmed internal system diagram; risk cells preserve where evidence remains descriptive instead of operationally audited.

[CE002, CE003, CE004, CE005, CE011, CE012]
FE001: Product architecture map

Public materials describe a six-layer flow from source code and runtime constraints through translation, assurance, and target deployment outputs.

Source intent and reference code
Starting point is high-level or legacy code plus a desired modernization or portability outcome.
Modules
  • Inputs — Python, MATLAB, Julia, legacy systems
  • Goal — Portability, modernization, compliance-sensitive deployment
Runtime and hardware definition
Users declare the edge environment before translation begins.
Modules
  • Targets — CPUs, GPUs, FPGAs
  • Context — RAM, VRAM, cores, LEs, preferred toolchains
Translation planning
The platform builds a transpilation and deployment plan rather than emitting undifferentiated code.
Modules
  • Planning outputs — Dependency tracking, segmentation, target-language plan
AI generation and optimization
Code generation is oriented toward target architectures and edge constraints.
Outputs
  • Target outputs — Embedded C/C++, Rust, VHDL, Verilog, CUDA, HIP, ONNX
Validation and verification
Testing and proof-oriented checks run throughout the pipeline instead of only at the end.
Modules
  • Checks — Differential testing, property-based testing, static analysis, formal verification
Deployment and buyer assurance
The product promise is production-ready code for mission-critical environments, but public operational telemetry remains sparse.
Outputs
  • Assurance promise — Tested, optimized, compliant code
  • Open diligence — Status telemetry, release cadence, certification evidence

This stack is synthesized from public product and research descriptions; it is a reader aid, not a reverse-engineered internal architecture diagram.

[CE002, CE003, CE004, CE005, CE013]

5.3 Maturity, differentiation, and open technical risks

Product maturity is supported more by research cadence, partner/customer logos, and repeated problem-solution narratives than by operational telemetry. The research index shows a sustained stream of papers and technical articles across 2023-2026, which is stronger than a pure landing-page story and suggests real formal-methods investment. External profiles and B Capital's Series B note reinforce the same differentiation thesis: Code Metal is positioning itself against manual rewrites and generic AI coding tools by pairing generation with proof-oriented assurance. The open risk is that public evidence still does not show developer-signal metrics, uptime/status history, certification packets, or detailed customer deployment scope, so buyers still need first-party diligence on reliability, security, and services dependence before underwriting product maturity. [CE006, CE007, CE010, CE011, CE012, CE013]

5.4 Exhibits

Chapter 06

06Customers

6.1 Customer mix is concentrated in mission-critical defense and industrial accounts

Code Metal's public customer footprint is narrow but legible: the company repeatedly frames its work around defense, aerospace, semiconductors, and automotive environments where software errors can create safety, certification, or mission failures. Independent and partner sources repeatedly name the U.S. Air Force, RTX, L3Harris, and Toshiba, which suggests the current public proof is anchored by a handful of large defense and industrial references rather than a broad self-serve or SMB base. The record also implies buyer, user, and payer separation: engineering or modernization teams appear to use the product, while primes, OEMs, and government programs likely hold the budget authority. That is a credible fit for high-value enterprise procurement, but it also means the reader should expect slower expansion cycles and higher concentration risk than the number of named logos alone would imply.[CU001, CU002, CU003, CU009, CU012]

Customer segmentation table
SegmentBuyer / payer / userPublic proofUse caseStrategic valueGap
Defense primes and government programsPrime contractor or government program office pays; engineering and modernization teams useU.S. Air Force, RTX, and L3Harris recur across independent and partner sourcesLegacy-code modernization and verified deployment into mission-critical systemsHighest-credibility public wedge and likely largest contract valuesNo disclosed contract size, renewal history, or top-customer share
Aerospace and regulated mission systemsProgram leadership pays; software or systems engineers useOfficial and investor materials frame aerospace-grade correctness requirementsVerified translation where failure creates certification or mission riskSupports premium pricing and reference qualityNo public list of named aerospace production deployments beyond repeated logos
Semiconductor and hardware portability teamsChip vendor or platform owner pays; compiler and performance engineers useOfficial, press-release, and investor sources cite semiconductor demandPorting code across hardware targets with verification and optimizationLand-and-expand path beyond one modernization projectConcrete named production customer proof is sparse in the retained pool
Automotive, telecom, and industrial edge teamsOEM or enterprise engineering budget pays; platform teams useOfficial and investor sources cite automotive, telecom, and industrial demandMoving prototype or legacy code into regulated production environmentsExtends TAM beyond defensePublic evidence is segment-level positioning, not a robust named-customer set

Segment rows synthesize repeated public references by vertical and buyer type; they do not imply disclosed revenue mix, customer counts, or segment shares.

[CU001, CU002, CU003, CU009, CU010, CU014]
FU001: Customer journey from modernization wedge to expansion proof

Public evidence suggests Code Metal lands on urgent legacy-code problems, seeks verified production proof, and then tries to expand into broader portability and hardware programs.

[CU009, CU010, CU011, CU012, CU013, CU014]

6.2 Public adoption proof is real, but mostly case-study and named-account based

The strongest public adoption evidence is not broad denominator data; it is repeated, named-account proof plus a small number of outcome anecdotes. ai2.work reports 4+ programs of record with U.S. government and prime contractors, while the same source says named customers are already using the platform in production. Code Metal's NAMC member page adds an unnamed mission-code case study that reduced 138k lines of legacy C# to 25k lines of C++ in two weeks, and Code Metal's 2025 Series A release adds an investor quotation saying L3Harris projects moved from weeks to days. Together, those items support real deployment activity, but they still leave missing denominators around how many programs are active, how large they are, and how repeatable those outcomes are across customers.[CU004, CU005, CU006, CU007, CU008]

Customer growth / adoption trajectory table
MetricValueDateSourceConfidenceImplicationMissing denominator
Deployed industriesDefense, automotive, and semiconductor2025-11-12Series A press releaseHighShows commercial activity before the 2026 Series BNumber of customers or programs per vertical
Named customer setU.S. Air Force, RTX, L3Harris, Toshiba2026-02 to 2026-03Multiple independent and partner sourcesMediumRecurring accounts strengthen referenceabilityAccount size, active-seat count, and contract duration
Programs of record4+2026-03-09ai2.workLowSuggests movement beyond pilots for at least some government or prime accountsWhich programs, dollar values, and whether the count is current
Documented modernization outcome138k legacy C# lines reduced to 25k C++ lines in two weeks2026NAMC member pageMediumDemonstrates a concrete outcome story for mission-code modernizationCustomer identity, production status, and repeatability across accounts
Speed improvementWeeks to days for L3Harris across several projects2025-11-12Series A press release and AI for AutomationMediumSupports expansion from pilot into additional project scopesBaseline project sizes and whether gains persisted after deployment

Public adoption metrics are mostly anecdotal or source-quoted; missing denominator means the source did not disclose the total customer base, cohort, or revenue exposure.

[CU002, CU003, CU004, CU006, CU007, CU008]
Named customer proof table
CustomerSegmentDeployment / use caseProduction vs pilotOutcomeLimitation
U.S. Air ForceGovernment defense programRepeatedly cited as a customer for mission-critical code modernizationProduction or program-of-record status is asserted in one third-party source, not independently detailedServes as the strongest public government referenceNo program name, spend, user count, or renewal detail
L3HarrisDefense primeNamed customer for verified translation and modernization workPublic proof reaches several projects and production-use claims, but scope remains partly opaqueWeeks-to-days speed claim is the clearest public outcomeNo contract value or evidence that success generalized across the full estate
RTXDefense primeRepeatedly cited as a customer and investor-adjacent strategic accountCustomer status is clear; deployment depth is notValuable reference for trust-sensitive buyersInvestor overlap and absent program detail limit independence
ToshibaIndustrial enterpriseRepeatedly cited as a customer outside the core defense clusterCustomer status is named, but production depth is not describedImportant signal that demand is not purely U.S. defensePublic evidence does not describe contract size, renewal, or expansion path

This is a partial public sample of repeatedly named accounts, not a complete customer list; rows distinguish customer naming from fully evidenced production depth.

[CU003, CU004, CU005, CU008, CU012, CU013]

6.3 Expansion logic is plausible, but retention and breadth remain under-disclosed

The commercial logic is clear: Code Metal can enter through a painful modernization or portability project, prove correctness in a constrained workflow, and then expand into additional codebases, chips, or regulated environments where customers value verification. That pattern is supported by company and investor descriptions of portability, hardware retargeting, and modernization across defense, telecom, semiconductor, automotive, and industrial settings. What the public record does not show is whether those initial wins renew into long-duration platform relationships. No retained source discloses customer count, renewal rates, contract duration, NRR, GRR, or account-level revenue mix, so expansion remains more of a thesis than a measured customer-retention fact.[CU010, CU011, CU014]

6.4 The key customer risk is conversion from marquee pilots into durable programs

The adverse evidence in this pool is not a churn event or public customer complaint; it is skepticism about how far the current proof really extends. Implicator argues that named pilots are not the same as production at scale and frames conversion into multiyear programs of record as the real test. That critique matters because the same few names recur across the public record, and none of the retained sources discloses concentration by account or by government versus commercial mix. If even one or two marquee accounts dominate current revenue, the upside from high-value procurement could be offset by timing risk, program review risk, and lumpy expansion. The chapter therefore supports customer credibility, but not customer durability or concentration comfort.[CU012, CU013]

6.5 Exhibits

Chapter 07

07Risks

7.1 Severity-ranked risk stack

The core underwriting tension is unusually sharp: Code Metal targets environments where a translation defect can cause certification, security, recall, or mission consequences, yet the public evidence does not expose workload-level proof rates or independent audit results. The next tier of risk is concentration. An $80 million OTA, a WarMatrix relationship with the U.S. Air Force, and named defense or industrial customers are substantial demand signals, but they also tie delivery proof to long-cycle programs and a relatively narrow disclosed customer set. Financing and pricing disclosures add a third risk layer because the available Form D and custom-pricing references do not reveal burn, margins, renewal economics, or cash runway.[CR004, CR005, CR007, CR010, CR011, CR015, CR016]

FR001: Risk heatmap

Analytical ratings prioritize assurance scope, government concentration, compliance evidence, and operating disclosure.

Ordinal labels are analytical judgments derived from cited evidence; no numerical probabilities are implied.

[CR001, CR005, CR008, CR010, CR011, CR015, CR016]

7.2 Legal, regulatory, and procurement exposure

The assigned sources establish the importance of compliance but not Code Metal's legal or certification status. Company material says customers operate under strict correctness requirements, while a syndicated company announcement says WarMatrix will modernize long-trusted modeling systems under an OTA. Those claims make acceptance testing, accreditation, export controls, data rights, and proof-boundary disclosures central to diligence. None of the retained sources is a regulator, court, certification body, or independent auditor, so the evidence cannot support a claim that there have been no legal, regulatory, security, or reliability incidents. The correct residual assessment is therefore unresolved rather than clean.[CR004, CR005, CR006, CR013, CR015]

Regulatory / legal risk register
RiskJurisdiction / scopePublic statusLikelihoodSeverityPublic mitigationResidual exposureDiligence path
Certification and accreditation scopeDefense, aerospace, automotive, semiconductorNo regulator, certifier, or independent audit source in the assigned poolUnknownCriticalCompany describes layered testing and formal verificationHighObtain named-program certification, accreditation, and acceptance artifacts.
Government procurement and OTA performanceUnited States federal programsCompany-issued release reports an $80M OTA for WarMatrixMediumHighModernizes existing validated systems rather than replacing themMedium-highReview OTA milestones, termination rights, option structure, data rights, and acceptance criteria.
Security, privacy, and export-control governanceMission-critical customer deploymentsNot established by retained regulator or auditor evidenceUnknownHighTrusted-kernel and static-analysis concepts address product assurance, not governance controlsHighRequest security audits, incident logs, data-flow maps, export classifications, and control ownership.
Assurance-claim and liability boundaryCustomer contracts and regulated deploymentsFormal verification is described as used whenever possibleMediumHighMultiple assurance techniques and an authoritative proof checkerMedium-highMap contractual guarantees, exclusions, fallback modes, indemnities, and warranty caps by workload.

Partial public-evidence register; likelihood and residual ratings are analytical judgments, and absence of retained regulator or incident evidence is not evidence of absence.

[CR001, CR002, CR004, CR005, CR013, CR015]

7.3 Operational proof, assurance scope, and scaling

Code Metal's own description is more qualified than a blanket guarantee: it says formal verification is used whenever possible, with differential testing, property-based testing, type analysis, compatibility analysis, and static analysis elsewhere in the pipeline. It also says proof attempts generated by AI may be wrong and that a small trusted kernel is the authority, while separately claiming the process is fully automatic. Those design choices are credible mitigations, but they create diligence questions about fallback frequency, checker coverage, proof time, manual exception handling, and acceptance on representative customer code. A company research index reports a separate translation benchmark with 69% compilation success and 33% functional correctness; that is useful domain context, not a disclosed Code Metal product-performance result.[CR001, CR002, CR003, CR009, CR012]

Operational / quality / security risk register
Failure modeEvidenceLikelihoodSeverityMitigation maturityResidual exposureUnresolved gap
Conditional proof coverageCompany says formal verification is used whenever possible alongside lighter assurance methods.MediumCriticalMediumHighNo workload-level share of translations that receive complete equivalence proofs.
Automation or checker boundary failureCompany says AI proof attempts may fail but a trusted kernel independently checks correctness.MediumCriticalMediumMedium-highNo independent audit of checker coverage, unsupported semantics, or exception handling.
Benchmark transferabilityCompany research index reports 69% compile success and 33% functional correctness for a separate UniPar study.MediumHighLowHighThe benchmark is not disclosed as Code Metal product performance or a customer acceptance result.
Enterprise scaling executionTBPN frames the president and COO hire as a shift from engineering-led sales to enterprise go-to-market.MediumHighEarlyMedium-highNo public sales-cycle, implementation-capacity, backlog, or renewal metrics.

The benchmark row is ecosystem context only; it must not be interpreted as Code Metal product performance.

[CR001, CR002, CR003, CR009, CR012]

7.4 Dependencies, financial model, and thesis-break criteria

Public evidence points to four dependencies: government procurement, a small named customer set, specialized hardware ecosystems, and enterprise deal execution. TBPN describes code portability as a response to an Army Nvidia supply constraint and characterizes the president and COO hire as a move from engineering-led selling toward enterprise go-to-market. Growth Engineer reports custom pricing without public tiers, while TinyTechFund reproduces a March 2026 Form D line showing $123 million sold of $125 million offered. None of those facts establishes recurring revenue quality or cash availability. The thesis should break if an independent workload audit cannot reproduce equivalence, material OTA milestones slip, non-defense references do not expand, or financial diligence shows services-heavy economics without adequate runway.[CR008, CR009, CR010, CR011, CR014, CR016]

Partner / dependency risk register
DependencyCounterparty / ecosystemRoleConcentration evidenceFailure scenarioSeverityMitigationResidual exposure
Government program executionU.S. Department of War and U.S. Air ForceAnchor contract and deployment context$80M OTA is the largest contract disclosed in the assigned evidenceMilestone, accreditation, or budget delays defer both revenue and reference proof.CriticalStage-gated delivery and diversified commercial pipelineHigh
Named customer concentrationU.S. Air Force, RTX, L3Harris, ToshibaReference customers and sector accessNamed list is small and substantially defense-linkedLoss or delay of one anchor account weakens traction evidence and expansion.HighAdd independently verifiable non-defense production referencesHigh
Hardware and supply-chain portabilityGPU and specialized-hardware ecosystemsDemand driver for translation and optimizationTBPN cites an Army Nvidia supply constraint as a portability use caseArchitecture change or unavailable hardware expands validation scope and delivery complexity.HighMulti-target validation and hardware-agnostic workflowsMedium-high
Capital and enterprise pricingInvestors and enterprise buyersFunding, signaling, and monetizationForm D summary shows $123M sold of $125M offered; public pricing is customHigh expectations outpace recurring software economics or available runway.HighBoard-level KPI controls and standardized packagingHigh

Concentration percentages, contract revenue recognition, financing terms, margins, burn, and cash availability are not disclosed in the assigned evidence.

[CR005, CR007, CR008, CR010, CR011, CR014, CR016]

7.5 Exhibits

Chapter 08

08Valuation

8.1 Recommendation and price discipline

The public record supports a price-sensitive research-more posture rather than a fresh buy call. Code Metal has credible positives: a verification-first product claim rooted in formal methods, named defense and industrial customers, and a valuation step-up from $250 million in November 2025 to $1.25 billion in February 2026. Those points show real demand and venture conviction, but they do not by themselves prove that today's entry price is underwritten. Forge still characterizes market activity as limited, and the most skeptical independent coverage says the open question is whether the company can scale verification from pilots into large legacy codebases while the company still has not publicly verified profitability with audited financials or disclosed core SaaS-style operating metrics.[CV001, CV002, CV007, CV008, CV011, CV012, CV013, CV014, CV015]

Recommendation summary table
DimensionAssessmentEvidence nowDecision implication
Recommendationresearch-moreReal traction and technical differentiation, but price support is still incomplete.Keep diligence active; do not underwrite the disclosed Series B price yet.
ConfidencemediumNamed customers and financing history are public, but KPI disclosure remains thin.Use private diligence to raise or lower conviction.
Risk ratinghighScale proof, profitability verification, and contract durability remain under-documented publicly.Assume meaningful downside if pilots do not become repeatable production economics.
Valuation stanceexpensiveThe round repriced 5x in roughly three months while external market confirmation remains limited.Seek a better price or materially stronger KPI evidence.

Recommendation fields measure public-evidence sufficiency at the disclosed Series B mark, not intrinsic product quality.

[CV001, CV002, CV007, CV008, CV011, CV012, CV013, CV015]
Thesis / anti-thesis table
ArgumentEvidence nowWhat would change the view
Thesis: verification-first translation could win in mission-critical softwareFormal verification positioning, continuing research output, and customer references in defense and industrial markets support a real technical wedge.Show third-party proof that deployments expand from pilots to repeatable, high-value production programs.
Anti-thesis: valuation outran disclosed KPI depthPublic evidence confirms the valuation jump and limited secondary activity, but not the operating metrics needed to defend the multiple.Disclose ARR, gross margin, burn, retention, and customer concentration or provide equivalent private diligence evidence.
Entry discipline: terms are not obviously toxicForge shows 1.0x non-participating preferred terms, which lowers one layer of cap-table downside.Review full round documents for any side letters, debt, secondary mix, or seniority not visible in public summaries.
Exit readiness: not yet public-market ready from the evidence setProfitability is not publicly audited, and comparable-set support is still thin.Substantiate audited financial performance and durable customer economics before underwriting an IPO-style outcome.

These rows distinguish what the public record supports today from what still requires private diligence to clear the price.

[CV001, CV002, CV003, CV007, CV008, CV009, CV011, CV012, CV013, CV014, CV015]
FV001: Recommendation logic

The public logic stack points to continued diligence rather than a clean underwrite at the disclosed Series B price.

Node / ConnectionNode / fromToContext
Node 1 Verified translation moat [moat]Formal verification claims and 2025-2026 research output support technical differentiation.
Node 2 Named customer traction [traction]Air Force, L3Harris, Toshiba, and RTX references show relevance in mission-critical markets.
Node 3 Fast valuation rerating [rerating]Public financing moved from $250M in November 2025 to $1.25B in February 2026.
Node 4 Terms not toxic, but incomplete [terms]Forge shows 1.0x non-participating preferred, yet full round economics are not public.
Node 5 Scale and disclosure risk [risk]Independent reporting says profitability is unaudited and large-scale legacy-code proof is still the open question.
Node 6 Research-more / expensive [call]Require contract-level proof, KPI disclosure, and fuller financing detail before underwriting the current price.
Connection 1 Verified translation moat [moat]Named customer traction [traction]technical story reaches target buyers
Connection 2 Named customer traction [traction]Fast valuation rerating [rerating]customer proof helps explain venture demand
Connection 3 Fast valuation rerating [rerating]Terms not toxic, but incomplete [terms]public terms temper, but do not solve, downside
Connection 4 Terms not toxic, but incomplete [terms]Scale and disclosure risk [risk]missing KPI depth still dominates price support
Connection 5 Scale and disclosure risk [risk]Research-more / expensive [call]unresolved proof keeps the recommendation cautious

This is a logic sequence, not a weighted scoring model or an inferred probability tree.

[CV001, CV002, CV003, CV007, CV008, CV011, CV012, CV013]

8.2 Financing context and entry discipline

Public financing context is useful for framing discipline, but it still falls short of validating the headline valuation. The company disclosed a $125 million Series B at $1.25 billion only months after a $36.5 million Series A at $250 million, and Forge shows the last round with 1.0x non-participating preferred terms instead of an obviously aggressive preference stack. That reduces one source of downside overhang, yet the same public package leaves material blind spots around ARR, gross margin, burn, cash runway, customer concentration, and whether the eight-figure revenue signal from late 2025 translated into durable economics through 2026. Exit readiness is also not underwritten by the public record because limited market activity is a thin external mark for a company now carrying a unicorn price.[CV001, CV002, CV003, CV004, CV005, CV006, CV011, CV012, CV014]

Bull / base / bear scenario table
ScenarioCore assumptionsValuation / return logicProbability signalDownside trigger
BullNamed defense and industrial accounts expand into programs of record, formal verification remains differentiated, and profitability or strong margins are substantiated.A valuation above the disclosed $1.25B mark could be supportable if growth and cash generation are both proven.Would require contract expansion evidence, audited profitability support, and repeat deployments across multiple customers.Failure to convert flagship accounts into broader production revenue.
BaseTechnical moat is real and adoption continues, but disclosure stays incomplete and customers scale more gradually than the valuation implies.The current $1.25B price looks hard to underwrite, so returns depend on either better terms or stronger KPI proof.Best matches the present public record: momentum plus meaningful information gaps.Additional rounds at similar or lower prices before KPI depth improves.
BearPilots stall, formal verification proves harder to scale on legacy codebases, or customer concentration and economics disappoint.A down-round or materially lower fair value becomes plausible because the public case rests more on narrative than verified operating leverage.Independent coverage already flags scale risk and unaudited profitability claims.Program delays, failed renewals, weak margins, or adverse term changes in future financing.

Public evidence supports only qualitative bands around the disclosed $1.25B mark because ARR, gross margin, retention, and comparable-set math are not publicly disclosed.

[CV001, CV003, CV006, CV007, CV008, CV011, CV012, CV013, CV014]

8.3 Scenarios, diligence asks, and thesis-breakers

The key underwriting question is not whether verified translation matters; it is whether Code Metal can convert technical credibility and early contracts into repeatable program-of-record economics before its valuation outruns proof. Upside exists if named customers expand into broader production deployments, if the company can substantiate current profitability or strong unit economics, and if its formal-methods moat remains meaningfully differentiated as demand for code portability and modernization grows. Downside remains meaningful because independent evidence still flags scale risk on hard legacy codebases, while public disclosures do not yet resolve comparable-set math, contract durability, or the operating metrics needed to triangulate return potential. The next diligence dollar should therefore go into contract-level proof, customer concentration, cohort behavior, and full round documents rather than into a valuation debate built on headline momentum alone.[CV006, CV007, CV008, CV009, CV010, CV012, CV013, CV014, CV015]

8.4 Exhibits

Disclaimer

This report is a public-evidence diligence snapshot, not investment advice. Important financial, legal, technical, and contractual facts remain non-public and should be verified directly with management and primary documents before any investment decision.

Evidence index

Claims
IDStatementConfidenceSources
CO001 Code Metal positions itself as verifiable AI-enabled code translation for mission-critical industries where software errors are costly or unsafe. High SO001, SO004
CO002 Forge identifies Code Metal as founded in 2023 and headquartered in Boston, Massachusetts. Medium SO004
CO003 Forge identifies Peter Morales and Alex Showalter-Bucher as Code Metal's founders. Medium SO004
CO004 Growth Engineer says Peter Morales spent about a decade at MIT Lincoln Laboratory and BAE Systems working on defense machine-learning applications including F-35 radar systems. Medium SO007
CO005 Growth Engineer says Alex Showalter-Bucher spent a decade at MIT Lincoln Laboratory on automation and robotics work with the Navy, Army, and Department of Homeland Security. Medium SO007
CO006 Forge lists Code Metal's February 2026 Series B at $125 million and a $1.25 billion post-money valuation, with Salesforce Ventures, Accel, B Capital, J2 Ventures, Overmatch, RTX Ventures, Shield Capital, and Smith Point Capital among investors. Medium SO004
CO007 Code Metal's official Series A announcement says Accel led a $36.5 million round at a $250 million valuation. High SO002, SO006
CO008 Code Metal's Series A announcement says the platform had already deployed across defense, automotive, and semiconductor industries. Medium SO002
CO009 Code Metal's Series A announcement says the company was already on contract to deliver eight figures in revenue that year. Medium SO002
CO010 B Capital says that by February 2026 Code Metal had won customers including the U.S. Air Force, L3Harris, Toshiba, and RTX. Medium SO003
CO011 Forge and Growth Engineer both report that former Tableau CEO Ryan Aytay joined Code Metal as President and COO in February 2026. Medium SO004, SO007
CO012 AI Market Watch lists a $3.45 million pre-seed round in December 2023 led by J2 Ventures. Low SO006
CO013 AI Market Watch lists a $13 million seed round in July 2024 led by Shield Capital. Low SO006
CO014 AI Market Watch says Code Metal reached CDAO Tradewinds "Awardable" status in March 2025. Low SO006
CO015 AI Market Watch and Welcome AI both report an August 2026 $80 million Pentagon or USAF OTA award tied to the WarMatrix modeling and simulation platform. Medium SO006, SO008
CO016 Implicator argues that the key execution risk is whether Code Metal's formal-verification approach will hold up on sprawling, decades-old defense codebases at production scale. Medium SO005
CM001 Code Metal publicly defines its category as mission-critical code translation and optimization across languages, architectures, and hardware targets, with behavior preservation as the central promise. Medium SM004, SM007
CM002 Partner and profile sources place Code Metal's current addressable workflows in mission-critical industries such as defense, aerospace, automotive, semiconductors, and robotics rather than generic software teams. Medium SM006, SM008
CM003 Company and partner disclosures say Code Metal is already deployed or positioned across defense, automotive, semiconductor, and adjacent regulated environments. Medium SM004, SM006
CM004 Public third-party descriptions extend the adjacency set to telecom, RF, and other edge-computing portability workflows, but those descriptions are not a substitute for disclosed revenue mix. Low SM006, SM008
CM005 The clearest public demand signal is defense-led, with an initial $17 million WarMatrix operating-capability award followed by an $80 million OTA and a revenue mix that Fortune says is about 75% defense-related. Medium SM001, SM002
CM006 The currently disclosed buyers and counterparties are enterprise or programmatic accounts such as the U.S. Air Force, RTX, L3Harris, Boeing, and other industrial partners rather than self-serve individual developers. Medium SM002, SM006
CM007 The operative workflow is not greenfield coding assistance; it is translating validated or research code into targets like Rust, VHDL, CUDA, and other deployment-specific environments while preserving behavior. Medium SM004, SM007
CM008 No retained source isolates a standalone TAM, SAM, or SOM for verified code translation, so the chapter can only size the market through observed contracts, valuation signals, and disclosed vertical coverage. Medium SM001, SM002, SM008
CM009 Adoption drivers in the retained evidence are safety, compliance, portability, and vendor-lock-in relief in environments where unverifiable AI-generated code is not acceptable. Medium SM004, SM006, SM007
CM010 A core adoption constraint is that formal verification addresses code-translation correctness but does not remove the separate risk of hallucinated analysis or operator over-trust in AI outputs. Medium SM001
CM011 The disclosed go-to-market pattern appears enterprise and programmatic, with proof on one high-consequence workflow used to unlock broader modernization budgets across adjacent codebases or hardware targets. Medium SM002, SM003, SM006
CM012 Faster-than-normal OTA procurement suggests adoption can accelerate when Code Metal preserves legacy validated assets instead of asking customers to replace them outright. Medium SM001, SM002, SM003
CP001 Public and company sources consistently position Code Metal around verified code translation for mission-critical industries such as defense, aerospace, automotive, and semiconductors. High SP001, SP003, SP004, SP006, SP008
CP002 The public substitute set includes manual rewrites, generic LLM coding tools, static analysis/review tools, domain-specific compilers, and adjacent AI-code validation startups rather than one direct incumbent category. Medium SP001, SP002, SP008
CP003 WIRED grouped Antithesis, Code Rabbit, Synthesized, Theorem, and Harness as venture-backed startups that automate, validate, test, or secure AI-generated code. Medium SP002
CP004 GrowthEngineer lists Sonar and Semgrep as alternatives focused on code review or static analysis rather than formal-verification-backed translation. Medium SP008
CP005 GrowthEngineer lists Cursor and Claude Code as LLM-based coding tools that are fast for new code generation but lack the formal verification guarantees Code Metal says regulated deployments require. Medium SP008
CP006 GrowthEngineer describes manual code translation as a months-long engineering process with higher error and compliance risk. Medium SP008
CP007 GrowthEngineer describes domain-specific compilers as limited to specific hardware or language pairs rather than a hardware-agnostic translation layer. Medium SP008
CP008 WIRED and MassRobotics report that Code Metal negotiates pricing per customer using work-unit proxies such as kernel development time, lines translated, or development time saved. High SP001, SP002
CP009 The same public sources leave Code Metal without a published rate card, and WIRED says the company's value definition can "get murky," so external package comparison remains incomplete. Medium SP002, SP008
CP010 Code Metal says validation and verification are integrated throughout its translation pipeline rather than added only at the end. High SP002, SP006
CP011 Across company, investor, and review sources, Code Metal's value proposition is repeated as multi-language translation plus optimization for target hardware such as GPUs, FPGAs, VHDL, Rust, or CUDA-oriented environments. High SP003, SP004, SP006, SP008
CP012 Code Metal's Series B announcement says Ryan Aytay was hired to scale operations, commercial execution, and partnerships, indicating enterprise distribution is part of the competitive plan. Medium SP002, SP003
CP013 Code Metal's June 2026 acquisition of Signal Processing Technologies extended the platform into advanced communications, spectrum awareness, and digital signal processing. Medium SP005
CP014 WIRED says some methodologies behind the current AI-code-tool wave remain unproven and closes by questioning whether Code Metal's current momentum will translate into long-term success. Medium SP002
CP015 MassRobotics, Code Metal, and B Capital all name large defense or industrial accounts such as the U.S. Air Force, RTX, L3Harris, and Toshiba as customers or deployments. High SP001, SP003, SP004
CP016 Code Metal's research index shows continuing publications across formal verification, code translation, GPU/CUDA, HPC, and LLM workflow topics from December 2024 through October 2026. Medium SP007
CI001 Code Metal negotiates customer pricing based on time to develop a kernel, lines of code translated, or customer development time saved. Medium SI007
CI002 Growth Engineer describes Code Metal as using enterprise custom subscription pricing based on user count and hardware support, with no public tiers. Low SI004
CI003 Code Metal announced an $80 million OTA contract in August 2026 to advance the WarMatrix modeling and simulation platform. Medium SI001
CI004 The WarMatrix announcement says the OTA will fund Code Metal's application of provable AI technology to Department of War modeling and simulation systems. Medium SI001
CI005 Three retained sources report a $125 million Series B at a $1.25 billion valuation in February 2026. Medium SI002, SI006, SI007
CI006 Code Metal claims profitability and positive cash flow, but the retained independent reporting identifies no audited financial statements supporting the claim. Medium SI002, SI007
CI007 The Implicator reports that Code Metal has not disclosed specific revenue figures. Medium SI007
CI008 The Implicator reports that investors heard of eight-figure revenue at the Series A stage. Medium SI007
CI009 B Capital names the U.S. Air Force, L3Harris, Toshiba, and RTX as Code Metal customers. Medium SI006
CI010 Across the eight retained sources, no audited current revenue, ARR, gross margin, CAC, payback, cash, burn, runway, debt, retention, or customer-concentration metric was disclosed. High SI001, SI002, SI003, SI004, SI005, SI006, SI007, SI008
CI011 Code Metal says its delivery pipeline combines translation with differential testing, property-based testing, static analysis, compatibility analysis, formal verification, and hardware optimization. Medium SI003, SI008
CI012 Code Metal's official papers page listed eleven papers and articles when accessed on October 15, 2026. Medium SI005
CI013 Code Metal's research-award page offered up to four awards of $10,000 to $40,000 each as unrestricted gifts to host universities. Medium SI008
CI014 Code Metal states that it is growing its research team. Medium SI008
CI015 Independent commentary identifies verification scalability, documentation, traceability, certification, and independent validation as unresolved execution constraints. Medium SI002, SI007
CI016 Available evidence implies that negotiated scope and assurance work convert into contract revenue through delivery and acceptance, while the resulting gross profit remains undisclosed. Medium SI001, SI003, SI004, SI007
CE001 Code Metal publicly positions its product as verification-first code translation for mission-critical and edge deployments. High SE001, SE002, SE007
CE002 The product workflow starts by letting users define the target runtime environment, including CPUs, accelerators, resources, and preferred toolchains. High SE001, SE007
CE003 Public product descriptions say Code Metal can generate target artifacts such as embedded C/C++, Rust, VHDL, Verilog, CUDA, HIP, and ONNX. High SE001, SE007, SE008
CE004 Code Metal says validation and verification are integrated throughout the translation pipeline rather than treated as final post-processing. High SE002, SE004
CE005 The company's May 2026 technical essay describes a pipeline that uses differential and property-based testing, type and compatibility analysis, static analysis, and formal verification where possible. Medium SE002
CE006 As of October 2026, Code Metal's research page lists 11 public research papers and technical articles. Medium SE003
CE007 The visible 2025-2026 research topics span verified code transpilation, workflow-vs-agent methods, GPU/CUDA economics, code-complexity benchmarking, and HPC code translation. Medium SE003
CE008 Partner and third-party profiles consistently frame the buyer pain as slow, risky manual rewrites across languages and hardware targets in regulated environments. Medium SE004, SE005, SE006
CE009 Publicly named target sectors across retained sources include defense, aerospace, automotive, semiconductor, robotics, and industrial engineering teams. Medium SE005, SE006, SE007, SE008
CE010 External sources publicly name customers including the U.S. Air Force, L3Harris, RTX, and Toshiba. Medium SE004, SE005
CE011 Third-party review pages describe Code Metal as enterprise/custom priced and market it around compliance-oriented frameworks such as MISRA, DO-178C, and ISO 26262. Medium SE005, SE006
CE012 Within the assigned source set, the public technical surface shows product and research narrative but not release-note cadence, status telemetry, public developer-signal metrics, or security audit artifacts. Medium SE001, SE002, SE003
CE013 Code Metal's differentiation claim is not generic AI coding speed but pairing AI generation with proof-oriented assurance and hardware-portability workflows. High SE001, SE002, SE004, SE005
CU001 Code Metal says the companies it works with are in aerospace, defense, semiconductors, and automotive. Medium SU003, SU008
CU002 Code Metal's 2025 Series A release says the platform had already been deployed across the defense, automotive, and semiconductor industries. Medium SU008
CU003 Public independent and partner sources repeatedly name the U.S. Air Force, RTX, L3Harris, and Toshiba as Code Metal customers. Medium SU001, SU002, SU005, SU006
CU004 ai2.work reports that Code Metal has 4+ programs of record with U.S. government and prime contractors. Medium SU005
CU005 ai2.work says Toshiba, RTX, L3Harris, and the U.S. Air Force are already using the platform in production. Medium SU005
CU006 The NAMC member page says one case study reduced 138k lines of legacy C# mission execution code to 25k lines of C++ in two weeks. Medium SU004
CU007 The NAMC member page says the same modernization example was more than 90% faster than manual efforts. Medium SU004
CU008 Public sources say L3Harris projects moved from weeks to days. Medium SU001, SU008
CU009 The public customer record is strongest in defense and adjacent industrial accounts rather than broad horizontal developer adoption. Medium SU001, SU002, SU003, SU006, SU008
CU010 The public record supports a land-and-expand motion from an initial modernization or portability project into additional hardware, codebase, or regulated-environment work. High SU003, SU004, SU006, SU008
CU011 Retained public sources do not disclose customer count, GRR, NRR, contract duration, or churn. Medium SU001, SU002, SU003, SU005, SU006, SU008
CU012 The same small set of named customers recurs across the public record, so account concentration cannot be ruled out. Medium SU001, SU002, SU005, SU006, SU007
CU013 Implicator argues that named pilots are not the same as proven production at scale. Medium SU007
CU014 Public vertical-expansion claims outnumber named non-defense production references. Medium SU002, SU003, SU006, SU008
CR001 Code Metal says formal verification is used whenever possible, while lighter validation methods are also integrated throughout the translation pipeline. Medium SR003
CR002 Code Metal says AI may generate incorrect proof attempts but a small trusted kernel independently accepts or rejects them. Medium SR003
CR003 Code Metal claims its code and formal-artifact synthesis process is fully automatic and requires no human intervention. Medium SR003
CR004 Code Metal says failures in its target customer environments can lead to recalls, certification issues, security vulnerabilities, or mission failure. Medium SR003
CR005 A Code Metal announcement syndicated by MassRobotics reports an $80 million August 2026 OTA to advance WarMatrix. Medium SR004
CR006 The syndicated company announcement says WarMatrix was built with the U.S. Air Force and will orchestrate existing systems such as AFSIM. Medium SR004
CR007 Code Metal's announcement and B Capital's investor article both name the U.S. Air Force, RTX, Toshiba, and L3Harris as customers. Medium SR004, SR007
CR008 B Capital characterizes Code Metal as a hypergrowth company but explicitly says its subjective statements cannot be independently verified. Medium SR007
CR009 TBPN describes the president and COO hire as a shift from engineering-led sales to enterprise go-to-market. Medium SR002
CR010 TinyTechFund reproduces a March 2026 Form D line showing $123 million sold of $125 million offered. Medium SR008
CR011 Growth Engineer reports enterprise custom pricing and says exact public pricing tiers are unavailable. Low SR005
CR012 Code Metal's research index describes a separate UniPar study that achieved 69% compilation success and 33% functional correctness. Medium SR006
CR013 A Sudonull editorial frames performance in standards audits such as DO-178C as a decisive commercialization risk. Low SR001
CR014 TBPN presents code portability as a response to an Army Nvidia supply constraint, linking product demand to hardware availability. Medium SR002
CR015 Whether Code Metal has relevant certifications, legal proceedings, or recorded incidents is unresolved because the assigned evidence includes no regulator, court, certifier, or independent auditor source. Low
CR016 The disclosed $80 million OTA and small named customer list make government and defense-linked programs a material concentration risk in the available public evidence. Medium SR004, SR007
CV001 Code Metal announced a $125 million Series B on 2026-02-19 at a $1.25 billion valuation. High SV001, SV002, SV007
CV002 Independent coverage said the $1.25 billion mark was up from a $250 million valuation in November 2025. High SV002, SV007, SV008
CV003 Forge lists the Series B as non-participating preferred stock with a 1.0x liquidation preference, a $109.27 price per share, and 1,143,913 shares outstanding. Medium SV007
CV004 Forge lists Code Metal's total funding at $177.95 million after the Series B. Medium SV007
CV005 Code Metal's Series A announcement said the company raised $36.5 million at a $250 million valuation in November 2025. High SV007, SV008
CV006 At the Series A announcement, Code Metal said it was already on contract to deliver eight figures in revenue that year. Medium SV008
CV007 Code Metal and B Capital named the U.S. Air Force, L3Harris, Toshiba, and RTX among customer references supporting mission-critical traction. Medium SV001, SV006
CV008 Code Metal says its platform uses formal verification whenever possible to establish behavioral equivalence between original and translated systems. High SV001, SV004
CV009 Code Metal's public research pages show formal-methods and code-translation publications across 2025 and 2026. High SV004, SV005
CV010 BusinessWire said the Series B proceeds would add engineering capacity, accelerate product development, expand partnerships, and scale go-to-market. Medium SV001
CV011 Forge labels Code Metal's market activity as limited even while showing a $1.25 billion post-money valuation. Medium SV007
CV012 Implicator reported that Code Metal claims to be profitable and cash-flow positive, but also said no audited financials were public to verify that statement. Medium SV003
CV013 Implicator identified the core execution risk as whether formal verification can scale from pilots to sprawling legacy defense codebases. Medium SV003
CV014 Implicator said the company had not disclosed specific revenue figures and described pricing as negotiated individually by customer. Medium SV003
CV015 B Capital said its investment thesis required AI in critical infrastructure to move from plausible outputs to provable correctness. Medium SV006
Sources
IDPublisherTitleQuote
SO001 Code Metal Code Metal — Verifiable Code Translation Verifiable code translation for industries where every line of code matters
SO002 Code Metal Code Metal Raises $36.5 Million For Verifiable, AI-Powered Code Translation The round was led by venture capital firm Accel and values the company at $250 million.
SO003 B Capital Translating Code When Failure is Not an Option winning customers including the U.S. Air Force, L3Harris, Toshiba, and RTX.
SO004 Forge Global Code Metal IPO Timeline and Financing Details Code Metal was founded by Peter Morales and Alex Showalter-Bucher in 2023 and is headquartered in Boston, MA.
SO005 Implicator Code Metal Raises $125M to Fix Pentagon's Legacy Code What nobody knows yet is whether Code Metal's method holds up when you throw it at the sprawling, decades-old codebases that actually run American military infrastructure.
SO006 AI Market Watch Code Metal - AI Startup Profile Awarded $80M DoW/USAF OTA to advance WarMatrix AI modeling & simulation platform (Aug 14, 2026)
SO007 Growth Engineer Code Metal — Review, Pricing & Alternatives Former CEO of Tableau, joined Code Metal in February 2026 to lead operations and scaling.
SO008 Welcome AI Code Metal's $80 Million Pentagon Contract Signals Agile Procurement Shift Code Metal, a Boston-based software unicorn, has successfully secured an $80 million contract with the Pentagon to modernize and enhance its WarMatrix wargaming simulation environment using artificial intelligence.
SM001 TechTimes Pentagon Paid Code Metal $80M to Prove Wargame AI Won't Break Old Simulations The Air Force publicly stated at the end of 2025 that it was seeking simulations 10,000 times faster than real time.
SM002 Fortune Code Metal lands $80 million Pentagon deal to modernize military wargaming About 75% of Code Metal’s business is currently defense-related.
SM003 Welcome AI Code Metal's $80 Million Pentagon Contract Signals Agile Procurement Shift This contract marks a significant shift in the defense procurement landscape, as it was finalized in less than a year—a timeline rarely seen in government contracting.
SM004 Code Metal AI-generated code that works — and proves it The companies we work with in aerospace, defense, semiconductors, and automotive operate under strict correctness requirements where failures can lead to recalls, certification issues, security vulnerabilities, or mission failure.
SM005 Code Metal Research Papers - Code Metal Introduces gpuFLOPBench, a benchmark containing 577 CUDA kernels to evaluate whether language models can predict floating-point operation counts without execution, revealing limitations in understanding hardware-specific performance details. Research PaperFormal Verification October 15, 2025 Verified Code Transpilation with LLMs
SM006 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal In telecommunications, companies are eager to translate high-level MATLAB prototypes into production-ready, edge-deployable code in days instead of months. Semiconductor manufacturers must rapidly translate open-source CUDA implementations into frameworks compatible with their chips.
SM007 Code Metal About - Code Metal We build Provable AI for systems that cannot fail: software that helps engineering teams move across languages, architectures, and targets without changing the behavior that matters.
SM008 Forge Code Metal IPO Timeline and Financing Details Code Metal is an AI company that makes AI-generated code trustworthy through verifiable code translation for mission-critical industries such as aerospace, automotive, defense and robotics.
SP001 MassRobotics Code Metal Raises $125 Million to Rewrite the Defense Industry's Code With AI Over the past two years companies like Antithesis, Code Rabbit, Synthesized, Theorem, and Harness have all secured millions in backing from venture capitalists for their approaches to automating, validating, testing, and securing AI-generated code.
SP002 WIRED Code Metal Raises $125 Million to Rewrite the Defense Industry's Code With AI Morales says that his company negotiates pricing with every customer individually and that the cost is typically based on one of three factors: the amount of time it takes to develop a kernel, lines of code translated (which is based on time to write code), or development time saved.
SP003 Code Metal Code Metal Closes $125 Million Series B With its technology already deployed across defense, automotive, semiconductor, and other mission-critical industries, Code Metal is among the fastest-growing defense technology companies, as measured by revenue growth, contract scale, and the pace of adoption among top-tier government and enterprise customers.
SP004 B Capital Translating Code When Failure Is Not an Option: Why We Invested in Code Metal Existing AI coding tools offer speed, but they are not built for deployment in mission-critical environments.
SP005 Code Metal Code Metal Acquires Signal Processing Technologies, Expanding Its Provable AI Platform and Establishing the Advanced RF Group The acquisition extends Code Metal's platform into advanced communications, spectrum awareness, and digital signal processing — capabilities that underpin commercial telecommunications, autonomy, industrial infrastructure, and next-generation defense systems.
SP006 Code Metal AI-generated code that works — and proves it Validation and verification are integrated throughout the entire pipeline rather than treated as a final post-processing step.
SP007 Code Metal Research Papers - Code Metal
SP008 GrowthEngineer AI Code Metal — Review, Pricing & Alternatives — Growth Engineer Alternatives include manual code translation (slow, error-prone), LLM-based tools like Cursor or Claude Code (fast but unverified), static analysis tools like Sonar or Semgrep (analysis-focused, not translation), and domain-specific compilers (limited to specific hardware/language pairs).
SI001 Code Metal via Business Wire Code Metal Awarded an $80M Contract to Transform the Department of War's Modeling and Simulation Ecosystem with Provable AI Code Metal, the leader in verifiable code translation for mission-critical industries, today announced it has been awarded an $80 million Other Transaction Authority (OTA) contract with the U.S. Department of War (DoW) to advance WarMatrix, the AI-enabled modeling and simulation platform Code Metal built in partnership with the U.S. Air Force.
SI002 ToolScopeAI Code Metal Series B funding: $125M to Modernize Defense and Mission-Critical Code Formal verification can narrow risk but may not eliminate all edge cases. Certification in defense and medical domains still requires rigorous documentation, traceability, and independent validation.
SI003 Code Metal AI-generated code that works — and proves it Validation and verification are integrated throughout the entire pipeline rather than treated as a final post-processing step. Source programs are analyzed, translated, continuously checked for semantic consistency, and optimized for the target hardware architecture while preserving intended behavior.
SI004 Growth Engineer Code Metal — Review, Pricing & Alternatives Subscription-based pricing model with enterprise/custom pricing based on user count and hardware support. No publicly detailed pricing tiers available.
SI005 Code Metal Research Papers Showing 11 of 11 Code Metal ArticleCode Translation October 13, 2026 Apples to Apples: Getting Type Mappings Right in LLM-Based Code Translation
SI006 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal Code Metal has built remarkable commercial momentum in just two-and-a-half years since founding, winning customers including the U.S. Air Force, L3Harris, Toshiba, and RTX. The company is hitting hypergrowth, validating both the severity of the problem and the elegance of its solution.
SI007 The Implicator Code Metal Raises $125M to Fix Pentagon's Legacy Code Code Metal says it is already profitable and cash-flow positive. No audited financials to back that up...The company has not disclosed specific revenue figures...Morales told WIRED that Code Metal negotiates pricing individually with each customer based on time to develop a kernel, lines of code translated, or development time saved. He acknowledged the process "can get murky."
SI008 Code Metal Code Metal Research We fund university faculty advancing the scientific foundations of verified code translation — formal semantics, program equivalence, and the open tools the whole field builds on. Awards are paid to your host university as an unrestricted gift.
SE001 Code Metal Product | Code Metal
SE002 Code Metal AI-generated code that works — and proves it
SE003 Code Metal Research Papers - Code Metal
SE004 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal
SE005 Growth Engineer Code Metal — Review, Pricing & Alternatives — Growth Engineer
SE006 itirupati.com Code Metal – AI Code Translation Tool for Mission-Critical Software & Industrial Developers
SE007 Agenccy Code Metal — Developer tools company profile
SE008 RobotToday Code Metal - RobotToday
SU001 AI for Automation This AI rewrites military code — now worth $1.25B Customers: U.S. Air Force, RTX (Raytheon), L3Harris, Toshiba, Boeing
SU002 Ventureburn Code Metal Confirms New Funding To Expand Verifiable Code Technology Customers include Toshiba, RTX, L3Harris, and the U.S. Air Force.
SU003 Code Metal AI-generated code that works — and proves it The companies we work with in aerospace, defense, semiconductors, and automotive operate under strict correctness requirements where failures can lead to recalls, certification issues, security vulnerabilities, or mission failure.
SU004 National Advanced Mobility Consortium Code Metal, Inc. | NAMC In another case study, Code Metal’s agentic workflow dramatically reduced 138k lines of legacy C# mission execution code to an optimized 25k lines of C++ in just two weeks.
SU005 ai2.work Code Metal's $125M Series B Bets AI Can Verify Legacy Code at Scale Customers including Toshiba, RTX, L3Harris, and the U.S. Air Force are already using the platform in production.
SU006 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal Code Metal has built remarkable commercial momentum in just two-and-a-half years since founding, winning customers including the U.S. Air Force, L3Harris, Toshiba, and RTX.
SU007 Implicator Code Metal Raises $125M to Fix Pentagon's Legacy Code Pilot programs are one thing. Production is something else.
SU008 PR Newswire Code Metal Raises $36.5 Million For Verifiable, AI-Powered Code Translation Shield Capital's additional commitments reflect our continued enthusiasm for both Code Metal's AI-enabled code translation technology, which has immense value for defense and commercial customers; and the company's already-established track record of delivering results, such as speeding code translation from weeks to days for L3Harris across several projects,
SR001 Sudonull Code Metal: $125M on Neurosymbolic Code Verification If not, the company will collapse at the first audits against standards like DO-178C (aviation software certification).
SR002 TBPN Digest Code Metal raises $125M Series B to automate translation of AI code into edge-optimized hardware Aay's hire signals a shift from engineering-led sales to enterprise go-to-market.
SR003 Code Metal AI-generated code that works — and proves it At the stronger end of the spectrum, formal verification is used whenever possible to establish rigorous guarantees about behavioral equivalence between the original and translated systems.
SR004 Code Metal via MassRobotics Code Metal Awarded an $80M Contract to Transform the Department of War's Modeling and Simulation Ecosystem with Provable AI Code Metal, the leader in verifiable code translation for mission-critical industries, today announced it has been awarded an $80 million Other Transaction Authority (OTA) contract with the U.S. Department of War (DoW) to advance WarMatrix, the AI-enabled modeling and simulation platform Code Metal built in partnership with the U.S. Air Force.
SR005 Growth Engineer Code Metal — Review, Pricing & Alternatives — Growth Engineer Exact pricing tiers are not publicly available; contact the company for a quote tailored to your deployment scale.
SR006 Code Metal Research Papers - Code Metal Introduces UniPar, an evaluation framework for assessing how large language models translate between parallel programming languages, achieving 69% compilation success and 33% functional correctness through fine-tuning and compiler-guided repair.
SR007 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal Certain statements reflected herein reflect the subjective opinions and views of B Capital personnel. Such statements cannot be independently verified and are subject to change.
SR008 TinyTechFund Code Metal | Other Technology Startup | TinyTechFund Mar 12, 2026 ... Equity ... $123M/ $125M
SV001 Code Metal Code Metal Secures $125M Series B at $1.25B Valuation to Bridge the Trust Gap in AI Code Generation
SV002 SiliconANGLE AI code translation startup Code Metal reels in $125M at $1.25B valuation
SV003 Implicator Code Metal Raises $125M to Fix Pentagon's Legacy Code
SV004 Code Metal AI-generated code that works — and proves it
SV005 Code Metal Research Papers - Code Metal
SV006 B Capital Translating Code When Failure is Not an Option: Why We Invested in Code Metal
SV007 Forge Code Metal IPO Timeline and Financing Details
SV008 Code Metal Code Metal Raises $36.5 Million For Verifiable, AI-Powered Code Translation