@solidjs/signals 2.0.0-rc.2 → 2.0.0-rc.20

package/dist/prod/core/truth.js

@@ -0,0 +1,47 @@
+import { CONFIG_GUESS, NOT_PENDING, STATUS_UNINITIALIZED, CONFIG_AUTHORITATIVE, CONFIG_OVERRIDE } from "./constants.js";
+
+import { NotReadyError } from "./error.js";
+
+import { enqueueSub } from "./heap.js";
+
+// Truth reads (`until`, `refresh`; CONFIG_AUTHORITATIVE) over lane nodes.
+// Side-effect free and apart from lanes.ts so a truth reader alone does not
+// retain the lane engine: its reads reach these only through `laneRead`,
+// which exists once something installs lanes (`createOptimistic`, verdicts).
+/** A lane node's current value: its guess, or the latest it derived — the
+ * staging a shown lane holds for its next reveal, else its slot; the
+ * committed value while it has none (its first lane pass in flight) —
+ * NOT_PENDING for a node with no committed value either (born in the lane,
+ * uninitialized: its reads throw NotReady, A7; #4363). */
+function laneValueOf(r) {
+    if (!(r.l & CONFIG_GUESS) && r.ue !== NOT_PENDING) return r.ue;
+    const t = r.T.P;
+    return t !== NOT_PENDING || r.m & STATUS_UNINITIALIZED ? t : r.le;
+}
+
+/** Truth readers (`until`, `refresh`; CONFIG_AUTHORITATIVE) — pay-for-use:
+ * the first one installs these on GlobalQueue (signals.ts `watch`).
+ *
+ * A truth reader's read of a lane node: the lane's value when it is the
+ * truth (#3943), else the truth staged beneath a guess, else the committed
+ * value. */ function truthRead(r) {
+    if (truth(r)) return laneValueOf(r);
+    if (!(r.l & CONFIG_GUESS)) throw new NotReadyError(null);
+    return r.ue !== NOT_PENDING ? r.ue : r.le;
+}
+
+/** A guess confirmed: its lane's truth readers re-read — of the lane's
+ * derivations too, which may be the truth now (#3943). */ function truthConfirmed(r) {
+    for (let t = 0; t < r.tn.length; t++) for (let e = r.tn[t].o; e !== null; e = e.t) if (e.u.l & CONFIG_AUTHORITATIVE) enqueueSub(e.u);
+}
+
+/** A lane node's value is the truth when every guess beneath it is
+ * confirmed — its source staged a value equal to the guess — and nothing
+ * beneath it is held in the parent: same inputs, same value. */ function truth(r) {
+    if (r.l & CONFIG_GUESS) return r.ue !== NOT_PENDING && r.ye && r.ye(r.T.P, r.ue);
+    if (r.ue !== NOT_PENDING) return;
+    if (r.l & CONFIG_OVERRIDE) for (let t = r.C; t; t = t.G) if (!truth(t.S)) return;
+    return 1;
+}
+
+export { laneValueOf, truthConfirmed, truthRead };