4 commits

Author	SHA1	Message	Date
Jörg Thalheim	daace78239	Merge pull request #14425 from obsidiansystems/json-schema-build-trace ... JSON Schema for build trace entry	2025-11-06 18:06:57 +00:00
John Ericson	91af29f37a	manual: Fix MathJax typo ... Thanks to @cafkafk for catching my mistake.	2025-11-05 11:08:36 -05:00
John Ericson	144c66215b	JSON Schema for build trace entry ... Note, starting to make progress on #11895 by calling it this in the manual.	2025-11-03 15:59:50 -05:00
John Ericson	72d0f7b619	Document "hash derivation quotiented", resolution, and build trace ... Progress on #13405, which asks for an explicit characterisation of the equivalence relation like the one given here. Also progress on #11895, because we're using the term "build trace entry" instead of "realisation". Mention #9259, a future work item. Co-authored-by: Robert Hensing <roberth@users.noreply.github.com>	2025-11-03 15:18:18 -05:00