That's reasonable. Please note: > However, when you protect an import with a semantic integrity check the import is permanently locally cached after the first

That's reasonable. Please note: > However, when you protect an import with a semantic integrity check the import is permanently locally cached after the first request, so subsequent imports will no longer make outbound HTTP requests. Also this PR to nixpkgs from 2020: https://github.com/NixOS/nixpkgs/pull/79900 https://github.com/NixOS/nixpkgs/pull/79900 > Many users have requested Dhall support for "offline" packages ... The goal of this change is to document what is the idiomatic way to implement "offline" Dhall builds ... The trick to implementing offline builds in Dhall is to take advantage of Dhall's support for semantic integrity checks. ... The offline nature of the builds are enforced by compiling the Haskell interpreter with the -f-with-http flag ... https://docs.dhall-lang.org/discussions/Safety-guarantees.html https://docs.dhall-lang.org/discussions/Safety-guarantees.ht...