ReadonlycontractReadonlyexportReadonlyfileRoot-relative, POSIX-separated -- matches ContractModelContract.file.
ReadonlyownerThe contract's own default owner -- not "effective" the way a variable's is, since there's no level above a contract to fall back to.
Readonlyvariables
One contract's own default owner plus every variable's effective owner. See OwnershipModelVariable for the per-variable shape.