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

Немного поофтоплю, все ещё ищу на эффектор разработчика, примерно мидл

https://hh.ru/vacancy/38051762

укажите "effector" в описании вакансии, например как тут:
https://hh.ru/vacancy/35692931
https://hh.ru/vacancy/37683799

Попробую договориться с hr

Почему договориться? Кто и кому нужен, dev в команду или второй hr? Бред -_-
ps:  вопрос риторический

Проблема всех крупных компаний

Ещё немного не в тему

Ого дешифратор на чистом css

Классная штука👍

Привет всем ребята я только знакомлюсь с эффектором, подскажите есть хороший тутор для обучения где-нибудь.

Есть дефолтная задача удовлетворения ограничений (переменные, домены, ограничения, ограничения зависящие от других ограничений).
Что-то вроде этого

A = (f1, f2, f3, f4) => f2 + f3 > f1.length && !!f4;
B = (f2, f3, A) => (f3 > 15 ? f2 > 5 : A);
C = (f2, f4) => (f4 === 5 ? !f2 : true);
D = (f1, f4) => (f4 === 4 ? !f1 : true);

Изначально все f* имеют какие-то значения.
1) При изменении одного из f* необходимо эффективно пересчитать ограничения.
2) Необходимо уметь предсказать "какую переменную нужно изменить и по каким условиям, чтобы удовлетворить ограничения", условие - это поддерево ограничения, т.е. для f2 в C наиболее релевантным было бы !f2 (это предположение).

Вариант решения, которое я предполагаю сейчас:
1) Построить матрицу смежности (Dependency graph, это не очень сложно):

  f1: A D
  f2: A B C
  f3: A B
  f4: A C D

2) Развернуть его в что-то вроде(как это сделать большая загадка для меня):

f1: {
 A: {
  root: f2 + f3 > f1.length, // for  f2 + f3 search all constraints with f2 + f3? no. Ref constraints with f2, f3 and set as dict.
  deps: {
    f2: {
      B: f3 > 15 ? f2 > 5, // берем выражение от переменной вверх до result, т.к. оно содержит все реальные зависимости
    },
    f3: {
      B: f3 > 15, // отбрасываем те его части, которые не связаны с этой переменной??
    }
  },
 },
 D: {
  root: f4 === 4 ? !f1,
  deps: {
    f4: {
     C: { ...},
     D: { ... },
    }
  }
 }
}

3) Показывать пользователю словесное представление условий f2 + f3 > f1.length в порядке глубины. Предлагать перейти к редактированию значений в том же порядке.

Это(само предсказание пользователю) похоже можно решить с PageRank(graphbolt). Но я очень смутно вижу как решать все в целом.
https://github.com/pdclab/graphbolt
https://sci-hub.st/10.1145/3302424.3303974
https://sci-hub.st/10.1145/3093336.3037748

так ну раз уж я здесь, я все ещё в поисках решения пункта 2)

A = (f1, f2, f3, f4) => f2 + f3 > f1.length && !!f4;
B = (f2, f3, A) => (f3 > 15 ? f2 > 5 : A);
C = (f2, f4) => (f4 === 5 ? !f2 : true);
D = (f1, f4) => (f4 === 4 ? !f1 : true);

  f1: A D
  f2: A B C
  f3: A B
  f4: A C D

f1: {
 A: {
  root: f2 + f3 > f1.length, // for  f2 + f3 search all constraints with f2 + f3? no. Ref constraints with f2, f3 and set as dict.
  deps: {
    f2: {
      B: f3 > 15 ? f2 > 5, // берем выражение от переменной вверх до result, т.к. оно содержит все реальные зависимости
    },
    f3: {
      B: f3 > 15, // отбрасываем те его части, которые не связаны с этой переменной??
    }
  },
 },
 D: {
  root: f4 === 4 ? !f1,
  deps: {
    f4: {
     C: { ...},
     D: { ... },
    }
  }
 }
}

Не уверен что то что нужно, но все же https://ru.m.wikipedia.org/wiki/Алгоритм_Rete

Но ведь можно попробовать просто не сторах эффектора сделать

Начальные факты f* это обычные сторы, ограничения A, B, C... - производные сторы, combine от f* и других ограничений

выглядит занятно

Ааа, нужно не просто вычислить, а именно перебрать (эффективно) разные варианты. В общем задача интересная, но к эффектору не имеет отношения

вычислить я и без этого могу, это решенная в УО проблема и есть много статей с хорошими эвристиками

УО?