похоже нужен доклад с визуальным пояснением очистки)

Мне кажется можно это сделать относительно малой кровью.

Да-да, это намеки я назвал =)

короче как я уже упомянул выше, в эффекторе появился второй граф, граф принадлежности

пример

const a = createStore(0)
const b = a.map(x => x + 1)

порождает

1) граф зависимостей:

a → ab → b

который означает, что после стора a вычислится промежуточная нода ab (в которой находится функция-инкремент), после чего вычислится стор b

2) граф принадлежности (ownership):

a → ab ← b

который означает, что ab принадлежит нодам a и b и должен быть уничтожен при вызове clearNode любой из них. по дефолту все эвенты, сторы и эффекты всегда regular (ни от кого не зависят), но в ряде мест, в частности при создании эффектов, тип crosslink приписывается нодам явно, что позволяет уничтожать effect.done и effect.fail при уничтожении самого эффекта. а так как это всё же граф, то при создании ватчеров, тип crosslink  присваивается уже эффекту, что делает весь сектор графа вида

. effect → effect.done 
.   \
.     → effect.fail

зависимым от стора

. store → effect → effect.done 
.             \
.                → effect.fail

стрелка own означает, что при удалении исходной ноды так же будет удалена и конечная

поэтому вот пример графов посложнее, с новыми ватчерами

граф зависимостей обозначает то, что после чего будет выполняться
граф принадлежности означает иерархию, удаление каких нод повлечёт за собой удаление других

вот то, как такой код бы выглядел ранее:

const a = createStore(0)
const b = a.map(x => x + 1)
const fx = createEffect('fx', {
  handler: x => console.log(x),
})

forward({
  from: b,
  to: fx,
})

если рассмотреть его структуру, то будет заметно одно различие

fx тут не принадлежит b, потому что теперь это равноправные, независимые сущности

проявляется это как то, что при вызове clearNode(b) во втором случае удалится только нода b, а в первом случае как b, так и fx, fx.done и fx.fail, потому что они все находятся в одной и тоой же ветке графа принадлежности

т.е.

const a = store();
const b = store();

b.on(a, () => {}):

при анлоаде страницы, которая использует b, он удалится ?

и если удалится а, то и b тоже удалится ?

при вызове clearNode(a) у тебя b не удалится, потому что ты создал его явно, отдельно, тем самым показывая, что он тебе необходим сам по себе
при clearNode(a, {deep: true}) как обычно удалится всё, до чего сможет дотянуться, в том числе и b)

вот что произойдёт, если мы удалим b в варианте, в котором всё создаётся друг от друга. удаляется b, каскадно удаляется связь a.map(x => x + 1) — ab, каскадно удаляется эффект и его эвенты

а вот что произойдёт, если мы удалим b в варианте, в котором fx — независимо созданный эффект

при этом вызов clearNode(b, {deep: true})  в обоих случаях уничтожит всё явно