v0.6.33

This patch release improves the corpus adopt and body checks. The body check now ignores wiki link marks inside math spans (#577). Corpus adopt now holds case headings, field terms, proof names and more part headings (#578), strips a leading "The" from display names (#580), and holds glossary usage notes and head nouns (#581).

v0.6.32

This release holds more weak glossary names in corpus adopt and adds two sources. Corpus adopt holds a glossary entry whose one-word name only qualifies a noun, such as Unitary or Brauer (#575). It also holds an entry that is only a name, an entry that defines a property, and a heading with a slash between two names (#576). The zbMATH Open Knowledge Graph has an adapter, and a dump resumes after a read error (#563). Open Library gets the lineage of the Library of Congress MARC records (#574).

v0.6.31

This release lets the full catalogue go through the pipeline with less memory. The import sorts the records through spill files (#571). The cluster mints from spill files (#569). The scope reads one shard at a time with -stream (#570). The keep step filters one shard at a time (#572). The status report keeps a small form of each resource (#573).

v0.6.30

What's Changed

• Hold items with no full sentence and more weak names in corpus adopt by @tamnd in #557
• Hold glossary and list entries that start with a bare name by @tamnd in #558
• Hold statement items with a URL in corpus adopt by @tamnd in #559
• Hold weak section and entry names in corpus adopt by @tamnd in #561
• Keep only the lines of mathematics when the Open Library dumps are fetched by @tamnd in #560

Full Changelog: v0.6.29...v0.6.30

v0.6.29

What's Changed

• wp: match the objects of the same revision by span by @tamnd in #552
• wp adopt: hold labels and headings that are not names by @tamnd in #553
• wp adopt: hold corollary headings, fix the proof names by @tamnd in #554
• Hold more weak names in corpus adopt by @tamnd in #555
• Hold names of parts of the text and source labels in corpus adopt by @tamnd in #556

Full Changelog: v0.6.28...v0.6.29

v0.6.28

What's Changed

• wp census: count the open rows of the inventory with -root by @tamnd in #548
• wp: hold same_as duplicates in adopt, fix two render defects by @tamnd in #549
• wp: keep the tags of the same revision by ref and hash by @tamnd in #550
• Merge an open row of attached mentions into the row of their target by @tamnd in #551

Full Changelog: v0.6.27...v0.6.28

v0.6.27

What's Changed

• site card cache by @tamnd in #546
• Run a build of one step with no Lean where the step needs none by @tamnd in #547

Full Changelog: v0.6.26...v0.6.27

v0.6.26

What's Changed

• Add m2 wp refresh, the weekly refresh of the Wikipedia corpus by @tamnd in #540
• Give the release build 60 minutes by @tamnd in #541
• Add m2 wp msc, the MSC class of each article from the categories and the lead by @tamnd in #542
• wp msc: use the links of the lead for no code or a tie by @tamnd in #543
• wp msc: read the decisions of the model pass by @tamnd in #544
• D06: take a list of short references as the locator of a cited result by @tamnd in #545

Full Changelog: v0.6.25...v0.6.26

v0.6.25

What's Changed

• Let curate turn example and proof records into nodes by @tamnd in #534
• Let curate turn exercise records into exercise nodes by @tamnd in #536

Full Changelog: v0.6.24...v0.6.25

v0.6.24

This patch release adds the citation resolution of the Wikipedia milestone WP-M7 (#308).

• m2 wp cites resolves the citations of the Wikipedia corpus to the resources of math2 and writes the citation files and reports/citations.md (WP10.2). Rule Y16 reports the ids that do not resolve (#532).
• The resolver keeps the block keys of each family name, so a citation does not scan all the blocks of the catalogue (#535).
• The citation resolution reads the ids accepted as written, the handle rule accepts a prefix with letters, and the matcher reads all the blocks of an author when the blocks of the year give nothing (#539).
• cluster.Fold is safe for use from many goroutines (#532).