Conditional Diffusion Guidance under Hard Constraint: A Stochastic Analysis Approach | ScienceToStartup | ScienceToStartup