Prove strict separation for:
- session memory (
run_id) - long-term memory (
user_id) - merged
all
- Write session marker only, verify:
- found in
scope=session - not found in
scope=long-term
- found in
- Write long-term marker only, verify:
- found in
scope=long-term - not found in
scope=session
- found in
- Write one marker in each lane, verify:
- both appear in
scope=all - dedupe stable when identical text appears in both lanes
- both appear in
- zero cross-lane leakage for cases 1 and 2
- deterministic merged output in case 3