CI workflows land across seven repositories

Seven repositories that had no continuous integration now run their own tests on every push: topshift-trend (running ruff and pytest), caciarabot and python-hosts-checker (pytest), euclean (pytest together with its Lean build), and quadratula, unstated-conclusions and prove2me-logs with smoke tests — in prove2me-logs’ case covering the p2m helper, the piece the mission journal is actually read through.

None of these were failing before; they simply had nothing watching them, which is the state a test suite quietly returns to. The two verified-math repositories in the sweep (magma-1518-obstruction-lean, erdos-straus-offset-lean) got axiom audits in the same pass.