ReadonlyexportThe contract's exported binding name, when known.
ReadonlyfileRoot-relative, POSIX-separated path of the file declaring the contract, when known -- see displayPath().
ReadonlymodelReadonlypositionExact file:line:column this finding is about -- the contract's createEnv() declaration, its documentEnv() declaration, or the specific variable's own declaration, whichever is most relevant to the finding. undefined only when no single position is more relevant than another (e.g. an indeterminate-ownership finding, which can have multiple candidate sites -- see IndeterminateOwnershipFinding.dynamicAccessSites for the full list instead). See ADR 0036.
ReadonlyvariableThe environment variable name, when the finding is variable-level rather than contract-level.
Points at a declared contract and, optionally, one of its variables -- the shape every
CompatibilityIssue/documentation finding can be resolved to. Unlike ContractRef, both identity fields are optional here: a finding can legitimately know only the file (an unresolvabledocumentEnv()link) or neither.