Cannizzaro reaction
executable-now: v2 guarded DPO sequence, elementary ownership report, and bounded expansion are implemented.
Implemented as guarded ownership-structured HEG v2 rules for the formaldehyde case.
Named Reaction HEG v2 Reports
Five mechanism reports in the same primitive ownership-move vocabulary. Cannizzaro is executable now; the others are explicit next implementation targets.
Aldol addition
specified-next: primitive mechanism is explicit; guarded v2 executable rule set is not yet promoted.
Specified as primitive HEG ownership moves; an older EFG/native-HEG formose aldol rule exists, but this v2 guarded primitive version is a next implementation target.
Williamson ether synthesis
specified-next: ready to implement as v2 guarded owner-vector rules.
Specified as primitive HEG ownership moves using O, C, H, and Cl labels supported by the current code.
Michael addition
specified-next: primitive moves are explicit; executable guarded v2 rules are pending.
Specified as a guarded primitive HEG mechanism. It is especially useful because it has a real alternative: direct 1,2-carbonyl addition.
Diels-Alder cycloaddition
specified-next: not executable as a chemically faithful v2 rule yet because geometry/stereochemistry guards are missing.
Specified as a concerted guarded composite of primitive endpoint moves. Current HEG v2 lacks stereochemical/geometric guards, so this is a mechanism-design target.
