version: "1.0.0" name: judge-rem-memory-updates description: Judge REM memory relations, rewrites, verification, and clause carry by meaning. Use for REM update model calls that decide which older facts are superseded, which facts remain current, and whether a proposed rewrite preserves all surviving facts.

Judge REM Memory Updates

Judge meaning. Do not decide from shared words, punctuation, or text position.

Relation Judgment

• Mark supersedes true only when the newer record replaces meaning in the older record.
• Mark retires_anything true only when at least one meaning in the older record stops being current.
• Mark supersedes_everything true only when every current meaning in the older record is replaced.

Source Rewrite

• Put only the facts that remain current in proposed_current.
• Quote each superseded value from the source row in retired_values.
• Drop the wording that exists only to describe the change itself — what the value was

before, when it changed, and who changed it. That wording retires with the value it describes. "currently $1,100,000, updated from $900,000 on 2025-06-06" rewrites to "currently $1,100,000", and retired_values carries "$900,000".

• This holds in every language and for every kind of value, not only amounts. Any phrasing of

the shape "changed from A to B", "shifted from A to B", "switched from A to B", "moved from A to B", "A is now B", "no longer A but B" leaves ONLY B in proposed_current and puts A in retired_values. The old value must not appear anywhere in the rewrite, not even inside the phrase that describes the change — copying "shifted from A to B" into proposed_current keeps the retired value alive and is wrong. Rewrite it as B alone. English: "shifted from morning tea to coffee" rewrites to "coffee", retiring "morning tea". Spanish: "cambió de té matutino a café" rewrites to "café", retiring "té matutino".

• A line that says an item is no longer needed, no longer tracked, done with, or that asks

for it to be removed from the list, IS a retirement instruction. Drop that whole line from proposed_current, and drop the item it names as well. Quote the named item in retired_values. Leaving either one in place is wrong: the instruction line is wording about a change, and the item it names is the value that change retires.

• Return no retired values when nothing was superseded.
• Return an empty proposed value when nothing remains current.

Rewrite Verification

• Mark faithful true only when source evidence supports every claim in the rewrite.
• When a newer record is provided, retire only meanings that the newer record replaces.
• Reject any unsupported fact, entity, quantity, or claim.
• Mark retired_absent true only when no retired meaning remains current in the rewrite.
• Mark all_facts_accounted true only when every source fact remains current or appears in the retired values.
• Wording that exists only to describe the change — the prior value, the date it changed,

who changed it — is part of the retirement, not a surviving fact. Its absence from the rewrite never makes all_facts_accounted false.

• Accept paraphrases that keep the same meaning.

Clause Carry

• Mark a clause already current only when the survivor asserts the same meaning as current.
• A negation, quotation, or past description is not a current assertion.
• Different words with the same meaning count as current.