Changed Symbols Earn Property Credit, or the Agent Patch Stays Closed

An agent patch does not merge because the job is green. It merges when every changed symbol carries...