Federal contract award
FA875025CB041
LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL.
Award details
Obligations, current value and potential value describe different measures; they are never added together.
| Field | Reported value |
|---|---|
| Agency | Department of Defense |
| Office | FA8750 AFRL RIK |
| NAICS | 541715 — Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) |
| PSC | AC12 — NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH |
| Parent award / vehicle | Not reported |
| Set-aside | NO SET ASIDE USED. |
| Pricing type | COST NO FEE |
| Obligations | $749.0K |
| Current contract value | $1.1M |
| Potential contract value / ceiling | $1.1M |
| Start date | Apr 24, 2025 |
| Current end date | Jun 24, 2028 |
| Potential end date | Jun 24, 2028 |
| Latest award activity | Apr 8, 2026 |
| Source loaded | Sep 19, 2026 |
Funding and modification history
Showing the latest 6 of 6 loaded transactions. Negative values are deobligations.
| Date | Modification | Obligation change | Description |
|---|---|---|---|
| Apr 8, 2026 | P00005 | $219.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
| Mar 9, 2026 | P00004 | $30.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
| Feb 9, 2026 | P00003 | $120.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
| Jul 18, 2025 | P00002 | $226.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
| Jun 6, 2025 | P00001 | $14.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
| Apr 24, 2025 | 0 | $140.0K | LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL. |
Estimated positioning window
Jun 24, 2027 – Dec 24, 2027
70/100
Why this recompete signal
Contract timing and recorded acquisition signals at the time of calculation.
Stored score: 70/100. Available recorded signals: 65 points.
- Contract end 2028-06-24 (601 days from calculation)
- +25 points
- 187 historical awards in this buyer and category group
- +15 points
- 6 recorded award transactions
- +10 points
- Latest award action: 2026-04-08
- +5 points
- Parent award identifier recorded
- +0 points
- Solicitation identifier recorded
- +10 points
- Linked official forecast
- +0 points
- Calculated on
- 2026-11-01 10:17:53.997580+00:00
The historical group combines buyer, NAICS, and PSC. Multiple awards in this group do not by themselves establish repeated competitions.
Rule-based research score; it does not measure your chance of winning.
This older calculation does not retain a complete reproducible breakdown. Missing or changed inputs are not assigned invented points: Original award-value bonus input.
Recompete score calculated Nov 1, 2026.
Research next steps
- Check the linked forecast or SAM for a confirmed solicitation and current timing.
- Check the stated set-aside against the solicitation and current certifications.
- Review the award scope and buyer evidence before making a bid/no-bid decision.