Everyone is trading a $105M press release. Almost nobody pulled the contracts. I pulled all of them, plus the certificate-transparency logs, the DNS, and the job reqs - $MRLN, with the identifiers so you can check every line. CONTRACTS (FPDS, USAspending) •The “$105M SOCOM C-130J contract” is IDIQ H9240824D0001, “Automated Crew and Workload,” sole-source, period of performance to 2029-04-06. $105M is the ceiling. Obligated: $15.96M, via delivery order H9240824F0010, base $6.74M, modified to $13.08M. That’s roughly $89M of sole-source headroom with three years to order against it. •MDA SHIELD seat, HQ085926DE789, running to 2035-12-28. SHIELD is the $151B multiple-award vehicle behind Golden Dome for America. Merlin is one of 2,440 awardees, drawn $500. A fixed-wing autonomy company now competes for homeland missile-defense task orders in a pool with L3Harris and Blue Origin. •USAF AFWERX OTA FA86492599001, $749,499, signed 2024-10-08. Statement of work, verbatim: “reduced-crew flight operations with NLP-driven real-time dynamic replanning.” CERTIFICATION (certificate-transparency logs) Merlin’s flight-software verification toolchain stood up as private GitHub Pages, each leaving a permanent public certificate. First-seen dates: mfs, the Merlin Flight Software dashboard, on 03-18; then code-prover, bug-finder, and model-hlr-tracing all on 04-10; polyspace-test-coverage on 04-25; mrbt-results-dashboard on 05-05. That is the Polyspace toolchain. Code Prover is formal methods by abstract interpretation, the DO-178C DAL-A path. Add Bug Finder static analysis, MC/DC structural coverage, and high-level-requirements tracing. PDR cleared 03-05, CDR cleared 06-04. The evidence chain was assembled in between, in public. STACK (their own job reqs) C , Rust, ROS, GPU-trained perception and behaviors. ARP4754A, DO-178C, and DO-254 named for flight-critical work, with Simulink, Jama, Cameo, IADS, and Polyspace. The reqs and the cert logs describe the identical toolchain from two unrelated surfaces. THE LLM (three surfaces) A Human-Machine Teaming req opened 2026-02-24. The AFWERX OTA funds NLP-driven replanning. Their apex DNS carries an anthropic-domain-verification token. A language model is in the planning loop. THE PIVOT (Lever timestamps) GM Maritime opened 2025-12-04: own a maritime P&L selling uncrewed maritime ISR to the Coast Guard, Navy, and DHS on the King Air — the same quarter Merlin took the SHIELD seat. Then on 2026-05-18, in a single day, Merlin posted its entire Washington capture org, VP Government Relations included. It sits on $2.42M of Invariant lobbying, ramped 4x, run by the former staff director of the House Armed Services Committee, filed against the FY2026 defense appropriations bill by number. Net: a $105M ceiling read as revenue, a Golden Dome seat to 2035, an Air Force LLM-autonomy OTA, a maritime ISR line live since December, and a DC capture org built in one day to convert all of it. Long $MRLN.