Sentence Execution and BOP
Designation, computation, credits, discipline, programs, prerelease custody, administrative remedies, and judicial review. This page is a verified navigation layer. The linked canonical modules, atomic claims, authority cards, and structured controls remain the legal source; this index does not create a rule from omission or shorthand.
Canonical modules
| Module | Stage | Verification | Atomic claims |
|---|---|---|---|
| BOP Designation, Sentence Commencement, Aggregation, and Prior-Custody Credit | sentence-execution/bop-designation-sentence-computation |
verified_with_limitations |
34 |
| Detainers, Prison Discipline, Good-Time Consequences, and RDAP | sentence-execution/bop-detainers-discipline-rdap |
verified_with_limitations |
40 |
| 18 U.S.C. § 3624(b) — Good Conduct Time | sentence-execution-and-bop/sentence-computation |
verified_with_limitations |
13 |
| 18 U.S.C. § 3632 — First Step Act Time Credits | sentence-execution-and-bop/time-credits-and-prerelease |
verified_with_limitations |
16 |
| Prerelease Custody, Residential Reentry, Home Confinement, and the CARES Act | sentence-execution/bop-prerelease-home-confinement |
verified_with_limitations |
36 |
| BOP Administrative Remedies, § 2241 Review, APA Limits, and Mootness | sentence-execution/bop-administrative-remedies-review |
verified_with_limitations |
32 |
Stage use controls
- Start with the actual docket posture and controlling court, not the desired remedy.
- Calculate every deadline from its stated triggering event and current computation rule.
- Separate jurisdiction, venue, prerequisites, merits, burden, proof, remedy, review, and appealability.
- Use the circuit overlay for any circuit-sensitive proposition and stop at records marked
not_verified. - Preserve the operative filings, orders, transcripts, exhibits, agency record, and proof of filing or service.
Handoff to adjacent stages
Use the federal process decision trees to identify prerequisites, alternative vehicles, appellate routes, and postjudgment interactions. Generated diagrams are navigation aids only; linked canonical modules control.