You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: doc/manual/source/store/build-trace.md
+5-5Lines changed: 5 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -40,13 +40,13 @@ Unlike with base build traces, incoherence with derived build traces is possible
40
40
The key ingredient is that derivation resolution is only deterministic with respect to a fixed base build trace.
41
41
Without fixing the base build trace, it inherits the subjectivity of base build traces themselves.
42
42
43
-
Concretely, suppose there are three derivations \\(a\\), \\(b\\), and \((c\\).
44
-
Let \\(a\\) be a resolved derivation, but let \\(b\\) and \((c\\) be unresolved and both take as an input an output of \\(a\\).
45
-
Now suppose that derived entries are made for \\(b\\) and \((c\\) based on two different entries of \\(a\\).
43
+
Concretely, suppose there are three derivations \\(a\\), \\(b\\), and \\(c\\).
44
+
Let \\(a\\) be a resolved derivation, but let \\(b\\) and \\(c\\) be unresolved and both take as an input an output of \\(a\\).
45
+
Now suppose that derived entries are made for \\(b\\) and \\(c\\) based on two different entries of \\(a\\).
46
46
(This could happen if \\(a\\) is non-deterministic, \\(a\\) and \\(b\\) are built in one store, \\(a\\) and \\(c\\) are built in another store, and then a third store substitutes from both of the first two stores.)
47
47
48
-
If trusting the derived build trace entries for \\(b\\) and \((c\\) requires that each's underlying entry for \\(a\\) be also trusted, the two different mappings for \\(a\\) will be caught.
49
-
However, if \\(b\\) and \((c\\)'s entries can be combined in isolation, there will be nothing to catch the contradiction in their hidden assumptions about \\(a\\)'s output.
48
+
If trusting the derived build trace entries for \\(b\\) and \\(c\\) requires that each's underlying entry for \\(a\\) be also trusted, the two different mappings for \\(a\\) will be caught.
49
+
However, if \\(b\\) and \\(c\\)'s entries can be combined in isolation, there will be nothing to catch the contradiction in their hidden assumptions about \\(a\\)'s output.
0 commit comments