While hacking on the builder I noticed that in node validation we collect all predicates appearing in solutions within the entire block into a map before we start checking solutions.
This means that during validation, solutions have access to predicates that may not have been deployed until later in the same block (or in some future block that happens to be written to the DB already).
We'd likely address this as a part of switching to retrieving predicates from state anyways, but just opening an issue to track.
mitchmindtree
commented
1 month ago
While hacking on the builder I noticed that in node validation we collect all predicates appearing in solutions within the entire block into a map before we start checking solutions.
This means that during validation, solutions have access to predicates that may not have been deployed until later in the same block (or in some future block that happens to be written to the DB already).
We'd likely address this as a part of switching to retrieving predicates from state anyways, but just opening an issue to track.