v0.8.19

The hard audit over the corpus now finishes with nothing to report: 76 rules, 71 passed, none failed and 5 not run. This release is the last three rules that were still failing, on top of the six repairs that came before them.

R08 was the Karp reprint. The PDF carries the two books the editors of the collection suggest reading under a heading that says References, and under that heading the reprinted article starts, so the index came back with 19 of Karp's own numbered combinatorial problems read as references. The bibliography now ends where the splitter says the next section begins, which is the same question R08 asks. It also takes the appendix off the end of the last entry in MapReduce, ResNet and Saltzer.

M11 was a display that never closes. A sentence broken across a page arrives with no capital at the front of it, a reader looking at that opens a display, and the display has nothing on the page to close it. extract.Undisplay writes those back as prose, with the punctuation moved out of the formula. An unclosed display is the whole of the test, so a real display is never touched, and an unclosed display with no words in it is left for M11 to report.

T04 was a page that had been refused three times and then lost. The GNMT mixed word and character model prints its markers in angle brackets, b is the bold tag, and acceptance rule A10 read the page as raw HTML. Not one of the tags in the two thousand extracted pages is written in capitals, so a token of one letter in capitals is a word and not markup. The predicate is exported now and A10 and audit rule T11 both call it, because they are the same question at two moments.

What's Changed

• Take the last of the mathematics out of the listings by @tamnd in #229
• Audit repairs: mathematics rules, a partial prune, and whole bibliographies by @tamnd in #230

Full Changelog: v0.8.18...v0.8.19