[ 2023-01-11; LWG telecon ]

We want to know the original intended meaning of "actual line number" here. Presumably debuginfo stored in binaries uses a real line number in the source, not one that might have been set by a #line directive. The "presumed or actual" wording was added in R2 of the paper, possibly as a result of LWG review.