Liveness check; returns status + name + version.

Surface drift between two text states of the SAME decision object (state_a = earlier, state_b = later). Pass anchors=[{kind, id}] to track specific constraints/goals/commitments/baselines — an id present in state_a but missing from state_b reads as violated (directional; an id absent from state_a does not trigger), and the id must appear VERBATIM (case-insensitive substring) to match — so RE-STATE tracked anchors verbatim in state_b (a constraint you kept but did not re-state still reads as violated). Returns an 8-value status (only 4 are emitted on this surface) + violations + reason. Heuristic, not a semantic judge; a drift signal, not a sole gate.

compare specialized for a PROPOSAL: also flags strength regression (strong→weak wording) as degraded — but ONLY for a narrow FIXED keyword set (English modals + 必须/务必/应当/确保→应该/也许); most reworded/softened wording falls outside this list and is MISSED. Checks ONLY constraint/goal anchors (other kinds silently ignored) for presence in state_b.

compare specialized for a STANCE: also flags polarity reversal (support↔oppose) as degraded. Checks ONLY goal/baseline anchors (other kinds silently ignored) in state_b.

compare specialized for a COMMITMENT: checks ONLY commitment anchors; flags a promise present in state_a but gone from state_b as DROPPED_SILENTLY. Caveat: cannot distinguish a FULFILLED commitment from an abandoned one — that disposition is the caller's to decide.