Retrosynthetic analysis — E. J. Corey's disconnection-based planning of complex-molecule synthesis (Corey 1990 Nobel). Foundations: (1) Disconnection = retrosynthetic arrow ⇒; each disconnection identifies a target bond and specifies its…
retrosynthesis-strategy
Corey disconnection: retrosynthetic arrow ⇒ and synthon identification
Corey-style retrosynthesis (Corey & Cheng 1989) begins with the retrosynthetic arrow ⇒: the target molecule T is disconnected at a…
Functional-group interconversion tree: oxidation-state transforms
The functional-group interconversion (FGI) tree enumerates the oxidation-state-controlled transforms needed to move between target and…
Strategic-bond ranking: ring > stereocenter > C-heteroatom
Strategic-bond identification (Corey-Long-Rubenstein Science 1985; LHASA computer-assisted retrosynthesis) ranks candidate disconnections…
FGI C1 ladder: [-4,-2,0,2,4]; 2-unit steps; Σ = 0
Sympy-exact witness of the C1 oxidation-level ladder on the canonical methane → carbon-dioxide redox sequence. Setup: levels = [-4, -2, 0,…
n-ring σ-disconnection count = n; cyclohexane n=6 ⇒ 6
Sympy-exact symbolic witness of the n-ring disconnection-count identity. For any carbocyclic n-ring, the number of σ-bond disconnections…
Strategic-bond count = k-1 on k-stereocenter linear chain
Sympy-exact symbolic witness of the strategic-bond count on a linear chain bearing k consecutive stereocenters: |bonds between adjacent…