7.3 Access from uncertified context
compile: access from an uncertified context to unexported variable from module: some-module in: private-variable
This error occurs when a reference to a private member of a module occurs in code without a certificate that says the reference is allowed. This can happen in two ways: the reference was extracted from a certified expression, thus becoming uncertified, or the reference was produced in some manner that never involved certification, often by some static communication pattern.
If you are using local-expand, make sure you are not destructuring the result in illegal ways; see Unresolved pattern tag: "local-expand-and-certifiers".
Static Information; see Certifying References in Static Information
Unresolved pattern tag: "pseudo-macros"; see Unresolved pattern tag: "static-info-store-certifier"
Code Generators (same phase); see Certification for Same-Phase Code Generators