Check that earlier constraints (numbers, dates, codes, quoted terms, negations) survive into a later

Overview

Takes the constraints an agent was given (budget caps, deadlines, identifiers, prohibitions) and a later artifact (plan, summary, handoff, tool arguments) and reports for each constraint whether its concrete atoms still appear: numbers with their unit or currency, ISO dates, codes, quoted terms, or caller-listed anchor strings, with offsets. For a negated constraint it also reports whether the closest matching sentence still carries a negation cue. Rule-based: it checks that

Health