Evidence-gated knowledge grammar for automated systems: contributions-derived strength, a modality firewall barring statistical writes to structural execution-gating truth, source-scoped observation, and single-channel mutation admission