Creates a program campaign from the given stream program.

The program is validated before the campaign is persisted; a malformed graph (missing root, dangling references, cycles, unreachable nodes) is rejected. The campaign starts in the Created status; move it to Active to start serving sessions.