Project Title: "Publishing Constraint-Preserving AI Analysis of Critical Systems | Manifund