18 U.S.C. § 4042(d) Exempts Only Military or Naval Prisons: BOP Discipline Authority in Federal Institutions Affirmed
1. Introduction
Davis v. Baysore (10th Cir. July 16, 2026) addresses a recurring federal habeas theme: whether the
Bureau of Prisons (“BOP”) has statutory authority to discipline federal inmates through sanctions that reduce
good conduct time (“GCT”). Willie Davis, a federal prisoner at the United States Penitentiary Administrative
Maximum Facility (“ADX”) in Florence, Colorado, filed a pro se petition under 28 U.S.C. § 2241,
arguing that the BOP lacked authority to disallow or forfeit his GCT because of an asserted statutory carve-out in
18 U.S.C. § 4042(d).
The dispute turned on statutory interpretation: whether § 4042(d)—stating that “This section shall not apply to
military or naval penal or correctional institutions or the persons confined therein”—removes ADX (and, by extension,
other BOP facilities) from § 4042’s disciplinary mandate. If Davis were correct, the BOP’s disciplinary program
(implemented via 28 C.F.R. § 541.1) could not support the GCT losses he suffered, and he sought
restoration and immediate release.
2. Summary of the Opinion
The Tenth Circuit affirmed the district court’s denial of § 2241 relief. The court held that § 4042(d) is
unambiguous: the adjectives “military” and “naval” modify “penal or correctional
institutions,” so the exemption applies only to military or naval prisons, not to federal BOP
institutions like ADX. Accordingly, the BOP retains authority under § 4042(a)(3) to “provide for
the protection, instruction, and discipline” of federal offenders and to enforce discipline through regulations that
can revoke or disallow GCT.
The panel also rejected Davis’s contention that the district court improperly deferred to the government’s statutory
interpretation in violation of Loper Bright Enterprises v. Raimondo. The court concluded the district
court did not grant “binding deference” to an agency view; it agreed with the government’s argument and then performed
its own statutory analysis, which Loper Bright recognizes as permissible.
3. Analysis
A. Precedents Cited
-
Leatherwood v. Allbaugh, 861 F.3d 1034 (10th Cir. 2017):
Cited for the standard of review—legal conclusions in § 2241 matters are reviewed de novo. This framing
mattered because Davis presented a pure legal question of statutory interpretation, not a factual dispute.
-
Yang v. Archuleta, 525 F.3d 925 (10th Cir. 2008):
Cited for the familiar principle that pro se filings are construed liberally, but courts cannot act as the litigant’s
advocate. The panel used this to explain why it would read Davis charitably yet still apply ordinary interpretive rules.
-
United States v. Manning, 526 F.3d 611 (10th Cir. 2008), and
Edwards v. Valdez, 789 F.2d 1477 (10th Cir. 1986):
These cases supplied the court’s interpretive method: begin with plain text; if the language is clear, the analysis
typically ends absent ambiguity or absurdity.
-
Smith v. Midland Brake, Inc., 180 F.3d 1154 (10th Cir. 1999) (en banc):
Cited for the canon against surplusage—courts should give meaning to every word where possible. This canon was central
to rejecting Davis’s grammar-based parsing that effectively drained “military” and “naval” of operative meaning.
-
United States v. Joshua, 607 F.3d 379 (4th Cir. 2010):
Used as contextual confirmation that Congress created a military penal system distinct from the BOP and outside the
Attorney General’s direct control, explaining why § 4042(d)’s exemption exists.
-
Griffin v. Oceanic Contractors, Inc., 458 U.S 564 (1982):
Invoked to address (and reject) the claim that literal interpretation would thwart congressional intent. The panel
concluded the plain-language reading aligns with Congress’s institutional division between BOP prisons and military/naval prisons.
-
United States v. McCarthy, 174 F.4th 1254 (10th Cir. 2026), and
United States v. Aguilar, 168 F.4th 1319 (10th Cir. 2026):
Cited to limit Davis’s reliance on (i) in pari materia (reading statutes together) and (ii) the rule of lenity.
Both tools presuppose ambiguity; the panel found § 4042(d) unambiguous.
-
Loper Bright Enterprises v. Raimondo, 603 U.S. 369 (2024):
Addressed Davis’s argument that the district court “deferred” to the government’s reading. The panel emphasized that
Loper Bright forbids mechanical, binding deference; it does not prevent courts from considering and even agreeing
with executive-branch views while independently interpreting the statute.
B. Legal Reasoning
The court’s reasoning is a straightforward application of textualism anchored in grammar, semantic coherence, and
statutory structure:
-
Plain-language parsing of § 4042(d). The court read “military” and “naval” as adjectives modifying
“penal or correctional institutions.” On that reading, § 4042 “shall not apply” only to military penal/correctional
institutions and naval penal/correctional institutions (and the persons confined therein).
-
Rejection of Davis’s disjunctive theory. Davis argued the “second ‘or’” in § 4042(d) separated
“correctional institutions” from “military or naval,” effectively carving out any “correctional institutions”
(including ADX) from § 4042. The panel found that reading linguistically defective because it would force “military”
and “naval” into nonsensical standalone nouns (“shall not apply to military or naval …”), rendering statutory terms meaningless.
-
Canon against surplusage. Relying on Smith v. Midland Brake, Inc., the court reasoned that
Davis’s interpretation would make “military” and “naval” superfluous—an outcome courts avoid where a coherent reading exists.
-
Structural coherence with § 4042(a)(1) and § 4001(b)(1). The panel observed it would be “nonsensical”
for Congress to direct the BOP to manage and regulate “all Federal penal and correctional institutions” in § 4042(a)(1)
and then effectively retract that directive broadly in § 4042(d). It then pointed to 18 U.S.C. § 4001(b)(1),
which expressly vests control and management of federal penal/correctional institutions in the Attorney General
“except military or naval institutions,” matching the panel’s reading of § 4042(d).
-
No ambiguity; therefore, no lenity or in pari materia rescue. Because the text was clear, the panel
held that Davis’s vagueness, in pari materia, and lenity arguments fail at the threshold. The court used
United States v. McCarthy and United States v. Aguilar to emphasize those doctrines operate only after
genuine ambiguity remains.
-
Limited role of Loper Bright. Even assuming Loper Bright applied in this non-APA posture and to
agency views advanced in briefs, the panel found no improper deference: the district court agreed with the government
and then independently analyzed the statute—consistent with Loper Bright’s instruction to interpret statutes
while giving “due respect” to executive-branch views.
C. Impact
Although designated as a nonprecedential “Order and Judgment,” the decision has persuasive significance in at least four ways:
-
Closes a statutory-grammar avenue for GCT restoration claims. The panel’s reading forecloses arguments
that § 4042(d) removes standard BOP facilities (including ADX) from BOP discipline authority, thereby limiting similar
§ 2241 challenges premised on the “military or naval … or correctional institutions” phrasing.
-
Reinforces BOP authority to administer discipline through regulations. By tying § 4042(a)(3) to the
BOP disciplinary program (28 C.F.R. § 541.1), the decision strengthens the ordinary assumption that GCT sanctions are
authorized when imposed through established BOP discipline procedures.
-
Clarifies post–Loper Bright litigation posture. The opinion implicitly signals that litigants should
distinguish between (i) courts adopting an agency’s position after independent review and (ii) courts treating agency
interpretation as binding. The former remains routine even after Loper Bright.
-
Signals interpretive hierarchy in prisoner-statute disputes. The panel’s approach is a template:
plain meaning first; only then (if needed) canons like in pari materia and lenity. This can shape briefing strategy in
future prisoner statutory challenges.
4. Complex Concepts Simplified
- 28 U.S.C. § 2241 (habeas corpus)
-
A vehicle federal prisoners often use to challenge the execution of their sentence (e.g., time credits, disciplinary
sanctions, computation of release dates), rather than the validity of the conviction itself.
- Good Conduct Time (GCT)
-
Time credits that can reduce an inmate’s projected release date. The BOP may disallow or forfeit GCT when inmates
violate institutional rules, depending on the governing statutes and regulations.
- Plain meaning / unambiguous text
-
The principle that courts start (and usually finish) with the ordinary meaning of the statutory words if they are
clear, without resorting to extra interpretive tools.
- Canon against surplusage
-
A rule of interpretation that discourages readings that make statutory words redundant or meaningless, assuming a
sensible alternative exists.
- In pari materia
-
A canon suggesting statutes on the same subject should be read together to resolve ambiguities. It is typically
unnecessary when the text at issue is clear.
- Rule of lenity
-
A doctrine that resolves lingering, grievous ambiguity in penal statutes in the defendant’s favor. The court stressed
it applies only after ordinary interpretive tools fail to remove ambiguity.
- Loper Bright and “deference”
-
After Loper Bright, courts should not give binding, mechanical deference to agency statutory interpretations.
But courts may still consider agency views and adopt them if they are persuasive after independent judicial analysis.
5. Conclusion
Davis v. Baysore persuasively clarifies that 18 U.S.C. § 4042(d) exempts only
military or naval penal or correctional institutions from § 4042’s framework; it does not strip the BOP
of authority to discipline inmates housed in standard federal institutions such as ADX. By anchoring its decision in
plain text, the canon against surplusage, and statutory structure (including 18 U.S.C. § 4001(b)(1)),
the Tenth Circuit affirmed the BOP’s disciplinary authority to reduce GCT pursuant to its regulations. The opinion also
signals a practical post–Loper Bright boundary: a court may agree with executive-branch statutory arguments so
long as it independently performs the judicial task of interpretation.