Adds a persisted `type` field (behavioral|static) to MissionContractAssertion,
the schema column + migration 115 + version-sweep, and store population with a
conservative static default so existing rows preserve legacy judging. Foundation
for scoping the validator's default-to-fail / verification posture.