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
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.
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
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]
| Metric | Value / status | Date | Confidence | Gap |
|---|---|---|---|---|
| Current stage | Series B | Feb 2026 | Medium | Headline round supported; economics beyond headline remain private |
| Headquarters | Boston MA | Current | Medium | None |
| Founded | 2023 | Historical | Medium | None |
| Last public valuation | $1.25B | Feb 2026 | Medium | Supported by Forge and echoed in later reporting |
| Disclosed capital raised | ~$177.95M across public rounds | Through Feb 2026 | Medium | Derived from pre-seed seed Series A and Series B disclosures |
| Revenue signal | Eight-figure revenue under contract | Series A announcement | Medium | Company claim rather than audited revenue |
| Named customers | U.S. Air Force / L3Harris / Toshiba / RTX | Feb 2026 | Medium | No public customer count or concentration disclosure |
| ARR / gross margin / headcount / customer count | Not publicly substantiated in assigned pool | Current | Low | Management 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]
| Person | Role | Background | Founder-market fit / coverage | Key-person dependency |
|---|---|---|---|---|
| Peter Morales | Founder and CEO | MIT Lincoln Laboratory and BAE Systems defense ML work including F-35 radar systems | Strong technical and domain fit for defense modernization workloads | Product narrative and customer credibility still center heavily on Morales |
| Alex Showalter-Bucher | Co-founder and SVP of Technology | MIT Lincoln Laboratory automation and robotics work with Navy Army and DHS | Complements Morales with engineering and automation depth | Public profile remains founder-concentrated |
| Ryan Aytay | President and COO | Former Tableau CEO and longtime Salesforce executive | Adds enterprise go-to-market and operating scale beyond founding team | Joined only in Feb 2026 so operating proof is still recent |
| Laura Shen | EVP / Head of Growth | Former NSC China official per AI Market Watch profile | Adds policy and national-security network coverage | Public 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 | Role | Control / economic importance | Diligence ask |
|---|---|---|---|
| Salesforce Ventures | Series B lead investor | Anchors the $1.25B price-setting round and likely influences future financing options | Request board observer rights follow-on appetite and milestone expectations |
| Accel | Series A lead and Series B participant | Validates early institutional sponsorship across both major rounds | Confirm ownership pro rata rights and reserve behavior |
| B Capital | Series B investor and public advocate | Provides external commercial narrative and customer validation but is still economically aligned | Separate portfolio-marketing language from independently verified KPIs |
| U.S. Air Force / DoW | Public customer and OTA counterparty | Government adoption is a major validation signal and likely shapes roadmap and compliance demands | Verify program status deployment scope and recompete risk |
| L3Harris | Named lighthouse customer | Proof point for defense-prime adoption and migration use cases | Request contract value duration expansion path and dependency concentration |
| RTX | Named customer and venture investor via RTX Ventures | Unusually strong strategic overlap as both customer signal and capital provider | Confirm 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]
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]
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]
| Segment/category | Included spend | Excluded spend | Buyer/payer | Relevance |
|---|---|---|---|---|
| Mission-critical code translation | Modernizing or porting validated code between languages and hardware targets with proof or heavy assurance | Generic code-completion seats and greenfield app prototyping | Engineering and platform leaders; program owners in regulated environments | Core job described across official, investor, and profile sources |
| Defense modeling and simulation modernization | AI-enabled wargaming, simulation orchestration, and legacy defense-software reuse | Traditional prime-platform manufacturing spend unrelated to software modernization | Defense program offices, service modernization budgets, and prime-supported programs | Current strongest public budget signal via WarMatrix awards |
| Industrial and edge portability | Moving MATLAB, CUDA, C++, and related code into deployable Rust, VHDL, OpenCL, or hardware-specific targets | General-purpose cloud software tooling without hardware-portability needs | Product engineering and semiconductor or edge-system owners | Repeated in official research, PR, and partner framing |
| Regulated deployment workflows | Safety, compliance, and certification-sensitive software modernization in automotive, aerospace, telecom, and robotics | Low-risk consumer software where statistical code generation is acceptable | Program, engineering, and compliance budget owners | Explains 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]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]
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]
| Lens | Publisher | Year | Geography | Value/status | CAGR/status | Methodology | Confidence | Limitation |
|---|---|---|---|---|---|---|---|---|
| Defense beachhead budget | Fortune; TechTimes | 2026 | U.S. | $17M IOC then $80M OTA for WarMatrix | Not disclosed | Observed contract awards for one program | medium | Program demand signal, not total market size |
| Capital-market willingness to pay | Forge | 2026 | U.S. | $1.25B post-money Series B valuation | n/a | Private-market financing snapshot | medium | Valuation reflects expectations, not addressable spend |
| Vertical footprint lens | Code Metal; B Capital | 2026 / 2025-2026 | Primarily U.S. | Defense plus aerospace, semiconductor, automotive, and related regulated deployments | n/a | Named industries and use cases across company and investor disclosures | medium | No per-vertical revenue split or customer counts disclosed |
| Standalone TAM/SAM/SOM | No retained public source | 2026 | n/a | Not isolated | n/a | Retained sources describe workflows and budgets, not market totals | low | Requires 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 | User | Payer | Workflow | Budget owner | Adoption trigger |
|---|---|---|---|---|---|---|
| Defense wargaming and simulation | Program leadership and modernization sponsors | Simulation planners and technical operators | Government program budget via OTA/prototype path | Make validated legacy models queryable and faster to run | Service or program office | Need to modernize without discarding validated models |
| Prime and defense-industry software modernization | Prime contractor engineering leadership | Embedded, platform, and mission-systems teams | Program or contract delivery budget | Port legacy or hardware-bound code into safer or faster targets | Program manager or engineering VP | Schedule pressure plus safety/compliance requirements |
| Semiconductor and edge portability | Platform/product engineering leaders | Compiler, systems, and performance engineers | Product or platform budget | Translate code across chips, accelerators, and deployment environments | Product or platform owner | Need to break hardware lock-in or shorten porting cycles |
| Automotive, telecom, aerospace, and other regulated industries | Engineering and operations leadership | Development and validation teams | Program or product budget | Move research or legacy code into production-ready, verified implementations | Engineering, product, or compliance owner | Cannot 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
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 / alternative | Category | Scale / funding signal | Target segment | Differentiation | Limitation |
|---|---|---|---|---|---|
| Code Metal | direct | $125M Series B at $1.25B valuation; named defense and industrial accounts | Defense, aerospace, automotive, semiconductor, and other mission-critical buyers | Verified code translation plus hardware portability | Public win/loss and realized pricing detail remain limited |
| Validation/testing startup cohort (Antithesis, Code Rabbit, Synthesized, Theorem, Harness) | adjacent | WIRED says the cohort secured millions in backing | Teams buying tooling around AI-generated code quality | Validation, testing, securing, and automation around AI-generated code | Retained evidence does not show verified cross-language translation as the core offer |
| Cursor / Claude Code class | substitute | No scale detail in retained evidence | General software teams and individual developers | Fast new-code generation and coding assistance | GrowthEngineer says these tools do not provide formal verification guarantees for regulated deployment |
| Sonar / Semgrep class | incumbent-adjacent | Established analysis tools; no funding detail in retained evidence | Code review, AppSec, and software quality teams | Static analysis and code scanning | Retained evidence frames them as analysis-first rather than translation-first |
| Domain-specific compilers | adjacent | No consolidated vendor scale in retained evidence | Teams tied to a specific hardware or language pair | Optimized for narrower target environments | GrowthEngineer describes them as limited to specific hardware or language pairs |
| Manual / internal rewrite | status quo / internal build | Internal engineering labor rather than vendor funding | Incumbents modernizing legacy systems | Maximum internal control and bespoke workflows | GrowthEngineer 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]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
| Item | Deployment 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]
| Buying criterion | Code Metal | Manual / internal | Cursor / Claude Code class | Sonar / Semgrep class | Domain-specific compilers |
|---|---|---|---|---|---|
| Cross-language translation | Yes; public sources cite Python, Julia, MATLAB, C++, Rust, VHDL, CUDA, and related targets | Yes, but via internal engineering effort | Possible code generation help; translation guarantees not evidenced | No translation focus in retained evidence | Yes, but usually for narrower language or hardware pairs |
| Formal verification / proof of equivalence | Claimed as core differentiator | Human review and testing only in retained evidence | GrowthEngineer says verification guarantees are absent | Not evidenced in retained sources | Not evidenced in retained sources |
| Hardware portability across chips or devices | Core pitch across GPUs, FPGAs, edge devices, and specialized hardware | Possible but slow | Not evidenced in retained sources | No | Narrow target optimization rather than broad portability |
| Mission-critical / regulated deployment focus | Core positioning | Possible when buyers fund it internally | GrowthEngineer frames these tools as fast but unverified for regulated work | Analysis support only | Can fit narrow domains, but not broad mission-critical translation in retained evidence |
| Public customer proof in defense or industrial accounts | Yes; U.S. Air Force, RTX, L3Harris, and Toshiba recur | Not applicable | Not evidenced in retained sources | Not evidenced in retained sources | Not 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]
| Option | Price / unit / contract model | Included capabilities | Discounts or unknowns | Implication |
|---|---|---|---|---|
| Code Metal | Negotiated individually; WIRED says deals can be based on kernel-development time, lines translated, or development time saved | Translation, optimization, and verification for mission-critical code | No public tier card; WIRED says value definition can get murky | Consultative procurement is harder to benchmark but may fit large enterprise accounts |
| Manual / internal rewrite | Internal labor and project spend | Translation plus bespoke internal validation | No vendor list price and no standardized contract model | Works when the buyer can absorb time and staffing cost |
| Cursor / Claude Code class | Public pricing not provided in the assigned pool | General LLM coding assistance | Assigned evidence does not provide verified price benchmarks or regulated-deployment terms | Likely easier bottom-up adoption, but not comparable on proof or scope from retained evidence |
| Sonar / Semgrep class | Public pricing not provided in the assigned pool | Static analysis, review, and scanning | Assigned evidence does not provide price or translation packaging | Often looks more like a complement or narrower substitute than a direct replacement |
| Domain-specific compilers | Pricing not disclosed in the assigned pool | Targeted optimization for specific hardware or language pairs | Commercial terms and breadth are not public in retained evidence | Comparison 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
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]
| Stream | Mechanism | Unit | Current value or status | Quality assessment | Diligence ask |
|---|---|---|---|---|---|
| WarMatrix OTA | Funded work to advance a modeling and simulation platform | Contract value | $80 million announced; funded amount and term undisclosed | Concrete demand signal; company-issued disclosure, not recognized revenue | Provide award document, funded ceiling, milestones, term, and revenue schedule |
| Code translation engagements | Negotiated project based on translation scope | Kernel development time or lines of code | No public realized price | Bespoke pricing can support large ACVs but weakens comparability | Provide bookings, ACV distribution, scope changes, and delivery hours |
| Outcome-linked engagements | Price references customer development time saved | Time saved | No public rate or measurement method | Potential value pricing; attribution and auditability are unknown | Provide baseline methodology, acceptance terms, and realized gross margin |
| Enterprise subscriptions | Directory-described custom subscription | Users and hardware support | No public tiers or realized price | Possible recurring component; source is a third-party directory | Provide contracts, renewal cohorts, seats, usage, discounts, and support load |
| Expansion with named customers | Follow-on phases or broader deployment | Contract or program | Named customers, but no backlog or renewal metrics | Commercial validation without quantifiable recurrence | Provide 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]| Pricing basis | Public value | List versus realized | Evidence quality | Underwriting implication |
|---|---|---|---|---|
| Time to develop a kernel | Negotiated; no list price | CEO description relayed by independent reporting | Delivery effort may vary materially by engagement | |
| Lines of code translated | Negotiated; no list price | CEO description relayed by independent reporting | Unit may not normalize code complexity or verification burden | |
| Customer development time saved | Negotiated; no list price | CEO description relayed by independent reporting | Outcome attribution and collection terms require contract review | |
| User count and hardware support | Directory-described enterprise custom pricing | Low-reputation third-party directory; verify with contracts | Could indicate a recurring license or support component | |
| WarMatrix contract | $80 million total announced value | Contract total, not a unit or recognized-revenue figure | Company-issued release syndicated by Business Wire | Cannot 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]Public evidence supports a scoped enterprise delivery chain, but not numeric conversion rates, timing, or gross-margin percentages.
| Node / Connection | Node / from | To | Context |
|---|---|---|---|
| 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]
| Metric | Public value | Confidence | Why it matters | Diligence ask |
|---|---|---|---|---|
| Revenue or ARR | Low | Establishes scale and recurring mix | Provide audited revenue, ARR definition, and monthly bridge | |
| Gross margin | Low | Tests whether verification labor and compute scale efficiently | Provide margin by contract, product, services, and customer cohort | |
| CAC and payback | Low | Tests efficiency of long enterprise and defense sales | Provide fully loaded CAC, sales cycle, and payback by segment | |
| Retention and expansion | Low | Separates durable deployments from paid pilots | Provide GRR, NRR, renewals, expansions, and program transitions | |
| Profitability and cash flow | Company-reported profitable and cash-flow positive | Medium | Could materially reduce financing dependency if audited | Provide audited statements and monthly cash-flow reconciliation |
| Series B capital raised | $125 million reported in February 2026 | Medium | Adds financing capacity but is not current cash | Provide primary closing documents, net proceeds, and use-of-funds schedule |
| Cash, burn, runway, debt, and working capital | Low | Determines capital adequacy and next-round trigger | Provide 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
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]
| Module / asset | Primary user | Status / maturity | Differentiation | Diligence gap |
|---|---|---|---|---|
| Code translation core | Platform engineering teams | Publicly described product capability | Translation across languages and hardware targets is framed as verification-first rather than prompt-only | No public module-level packaging or SKU detail |
| Runtime target configuration | Systems / embedded engineers | Explicitly shown on official product page | Users define CPUs, accelerators, resources, and toolchains before generation | No disclosure of supported target coverage by tier or support policy |
| Assurance pipeline | Engineering and compliance stakeholders | Publicly described method, not independently benchmarked in this pool | Validation, testing, static analysis, and formal verification are integrated into translation | No public pass/fail rates, benchmark suite, or certification packet |
| Research surface | Technical evaluators and recruits | Visible and current through Oct 2026 | 11 listed papers/articles show ongoing investment in formal methods and code translation topics | Research 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]| User job | Current workflow | Code Metal solution | Measurable benefit | Limitation |
|---|---|---|---|---|
| Move prototype or research code into deployed edge software | Manual rewrite from high-level languages into target-specific production code | Automated translation plus verification for target hardware and toolchains | Agenccy profile cites at least 80% manual-coding reduction | Quantified benefit is third-party profile language, not an official benchmark packet |
| Port software across chip or accelerator targets | Separate code paths and vendor lock-in across CPUs, GPUs, and FPGAs | One source workflow with runtime-specific output targets | Public materials consistently stress portability across hardware architectures | No public coverage matrix for all chip/toolchain combinations |
| Modernize legacy systems into safer or more maintainable code | Multi-month manual porting and validation of legacy codebases | Translate legacy code into modern targets such as Rust while preserving behavior | External profiles frame the product as faster than manual modernization | No retained source quantifies defect escape rates after migration |
| Support compliance-sensitive engineering programs | Testing and review-heavy software assurance process | Combine generated code with validation, static analysis, and formal verification | Third-party review cites compliance-oriented positioning around MISRA, DO-178C, and ISO 26262 | Assigned 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]
| Layer / process | Role | Dependency | Risk |
|---|---|---|---|
| Source code intake | Accept high-level or legacy reference implementations as the starting point | Availability of representative source code and desired target behavior | Public materials do not explain edge-case handling for messy production codebases |
| Runtime and hardware definition | Capture CPU, accelerator, resource, and toolchain constraints before translation | Customer knows deployment environment in sufficient detail | Onboarding may be high-touch when fleets, accelerators, or toolchains vary by customer |
| Translation and decomposition | Generate a transpilation and deployment plan plus target-language output | Language-pair and architecture support, dependency tracking, and code segmentation | Public scope of supported source/target combinations is described broadly but not contractually bounded |
| Verification and validation | Run testing, static analysis, compatibility checks, and formal verification where possible | Availability of specifications, invariants, and checkable properties | Official pages describe the method but not success rates, failure modes, or escalation paths |
| Deployment outputs | Produce target artifacts for embedded, accelerator, and edge environments | Customer build systems, IDEs, version control, and preferred toolchains | No 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]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
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]
| Segment | Buyer / payer / user | Public proof | Use case | Strategic value | Gap |
|---|---|---|---|---|---|
| Defense primes and government programs | Prime contractor or government program office pays; engineering and modernization teams use | U.S. Air Force, RTX, and L3Harris recur across independent and partner sources | Legacy-code modernization and verified deployment into mission-critical systems | Highest-credibility public wedge and likely largest contract values | No disclosed contract size, renewal history, or top-customer share |
| Aerospace and regulated mission systems | Program leadership pays; software or systems engineers use | Official and investor materials frame aerospace-grade correctness requirements | Verified translation where failure creates certification or mission risk | Supports premium pricing and reference quality | No public list of named aerospace production deployments beyond repeated logos |
| Semiconductor and hardware portability teams | Chip vendor or platform owner pays; compiler and performance engineers use | Official, press-release, and investor sources cite semiconductor demand | Porting code across hardware targets with verification and optimization | Land-and-expand path beyond one modernization project | Concrete named production customer proof is sparse in the retained pool |
| Automotive, telecom, and industrial edge teams | OEM or enterprise engineering budget pays; platform teams use | Official and investor sources cite automotive, telecom, and industrial demand | Moving prototype or legacy code into regulated production environments | Extends TAM beyond defense | Public 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]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]
| Metric | Value | Date | Source | Confidence | Implication | Missing denominator |
|---|---|---|---|---|---|---|
| Deployed industries | Defense, automotive, and semiconductor | 2025-11-12 | Series A press release | High | Shows commercial activity before the 2026 Series B | Number of customers or programs per vertical |
| Named customer set | U.S. Air Force, RTX, L3Harris, Toshiba | 2026-02 to 2026-03 | Multiple independent and partner sources | Medium | Recurring accounts strengthen referenceability | Account size, active-seat count, and contract duration |
| Programs of record | 4+ | 2026-03-09 | ai2.work | Low | Suggests movement beyond pilots for at least some government or prime accounts | Which programs, dollar values, and whether the count is current |
| Documented modernization outcome | 138k legacy C# lines reduced to 25k C++ lines in two weeks | 2026 | NAMC member page | Medium | Demonstrates a concrete outcome story for mission-code modernization | Customer identity, production status, and repeatability across accounts |
| Speed improvement | Weeks to days for L3Harris across several projects | 2025-11-12 | Series A press release and AI for Automation | Medium | Supports expansion from pilot into additional project scopes | Baseline 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]| Customer | Segment | Deployment / use case | Production vs pilot | Outcome | Limitation |
|---|---|---|---|---|---|
| U.S. Air Force | Government defense program | Repeatedly cited as a customer for mission-critical code modernization | Production or program-of-record status is asserted in one third-party source, not independently detailed | Serves as the strongest public government reference | No program name, spend, user count, or renewal detail |
| L3Harris | Defense prime | Named customer for verified translation and modernization work | Public proof reaches several projects and production-use claims, but scope remains partly opaque | Weeks-to-days speed claim is the clearest public outcome | No contract value or evidence that success generalized across the full estate |
| RTX | Defense prime | Repeatedly cited as a customer and investor-adjacent strategic account | Customer status is clear; deployment depth is not | Valuable reference for trust-sensitive buyers | Investor overlap and absent program detail limit independence |
| Toshiba | Industrial enterprise | Repeatedly cited as a customer outside the core defense cluster | Customer status is named, but production depth is not described | Important signal that demand is not purely U.S. defense | Public 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
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]
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]
| Risk | Jurisdiction / scope | Public status | Likelihood | Severity | Public mitigation | Residual exposure | Diligence path |
|---|---|---|---|---|---|---|---|
| Certification and accreditation scope | Defense, aerospace, automotive, semiconductor | No regulator, certifier, or independent audit source in the assigned pool | Unknown | Critical | Company describes layered testing and formal verification | High | Obtain named-program certification, accreditation, and acceptance artifacts. |
| Government procurement and OTA performance | United States federal programs | Company-issued release reports an $80M OTA for WarMatrix | Medium | High | Modernizes existing validated systems rather than replacing them | Medium-high | Review OTA milestones, termination rights, option structure, data rights, and acceptance criteria. |
| Security, privacy, and export-control governance | Mission-critical customer deployments | Not established by retained regulator or auditor evidence | Unknown | High | Trusted-kernel and static-analysis concepts address product assurance, not governance controls | High | Request security audits, incident logs, data-flow maps, export classifications, and control ownership. |
| Assurance-claim and liability boundary | Customer contracts and regulated deployments | Formal verification is described as used whenever possible | Medium | High | Multiple assurance techniques and an authoritative proof checker | Medium-high | Map 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]
| Failure mode | Evidence | Likelihood | Severity | Mitigation maturity | Residual exposure | Unresolved gap |
|---|---|---|---|---|---|---|
| Conditional proof coverage | Company says formal verification is used whenever possible alongside lighter assurance methods. | Medium | Critical | Medium | High | No workload-level share of translations that receive complete equivalence proofs. |
| Automation or checker boundary failure | Company says AI proof attempts may fail but a trusted kernel independently checks correctness. | Medium | Critical | Medium | Medium-high | No independent audit of checker coverage, unsupported semantics, or exception handling. |
| Benchmark transferability | Company research index reports 69% compile success and 33% functional correctness for a separate UniPar study. | Medium | High | Low | High | The benchmark is not disclosed as Code Metal product performance or a customer acceptance result. |
| Enterprise scaling execution | TBPN frames the president and COO hire as a shift from engineering-led sales to enterprise go-to-market. | Medium | High | Early | Medium-high | No 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]
| Dependency | Counterparty / ecosystem | Role | Concentration evidence | Failure scenario | Severity | Mitigation | Residual exposure |
|---|---|---|---|---|---|---|---|
| Government program execution | U.S. Department of War and U.S. Air Force | Anchor contract and deployment context | $80M OTA is the largest contract disclosed in the assigned evidence | Milestone, accreditation, or budget delays defer both revenue and reference proof. | Critical | Stage-gated delivery and diversified commercial pipeline | High |
| Named customer concentration | U.S. Air Force, RTX, L3Harris, Toshiba | Reference customers and sector access | Named list is small and substantially defense-linked | Loss or delay of one anchor account weakens traction evidence and expansion. | High | Add independently verifiable non-defense production references | High |
| Hardware and supply-chain portability | GPU and specialized-hardware ecosystems | Demand driver for translation and optimization | TBPN cites an Army Nvidia supply constraint as a portability use case | Architecture change or unavailable hardware expands validation scope and delivery complexity. | High | Multi-target validation and hardware-agnostic workflows | Medium-high |
| Capital and enterprise pricing | Investors and enterprise buyers | Funding, signaling, and monetization | Form D summary shows $123M sold of $125M offered; public pricing is custom | High expectations outpace recurring software economics or available runway. | High | Board-level KPI controls and standardized packaging | High |
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
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]
| Dimension | Assessment | Evidence now | Decision implication |
|---|---|---|---|
| Recommendation | research-more | Real traction and technical differentiation, but price support is still incomplete. | Keep diligence active; do not underwrite the disclosed Series B price yet. |
| Confidence | medium | Named customers and financing history are public, but KPI disclosure remains thin. | Use private diligence to raise or lower conviction. |
| Risk rating | high | Scale proof, profitability verification, and contract durability remain under-documented publicly. | Assume meaningful downside if pilots do not become repeatable production economics. |
| Valuation stance | expensive | The 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]| Argument | Evidence now | What would change the view |
|---|---|---|
| Thesis: verification-first translation could win in mission-critical software | Formal 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 depth | Public 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 toxic | Forge 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 set | Profitability 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]The public logic stack points to continued diligence rather than a clean underwrite at the disclosed Series B price.
| Node / Connection | Node / from | To | Context |
|---|---|---|---|
| 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]
| Scenario | Core assumptions | Valuation / return logic | Probability signal | Downside trigger |
|---|---|---|---|---|
| Bull | Named 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. |
| Base | Technical 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. |
| Bear | Pilots 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
| ID | Statement | Confidence | Sources |
|---|---|---|---|
| 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 |
| ID | Publisher | Title | Quote |
|---|---|---|---|
| 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 |