Janet wrote:
When a document is to be ratified, the publication time is the instant at which the document to be ratified was published. The truth time of the document is the instant at which the document specifies that it was true, if any, or the publication time otherwise. Ratification of a document CANNOT occur if the truth time would be after the publication time, or if the truth time would be after the time the document is to be ratified.
Recommend re-defining and re-using "application time" here, for parallelism with the amended R1551.
