Alpha layer for parsing texts into claim-status units and Reper-card stubs.
It is not a formal proof checker and does not promote truth-status.
PDF v151-v153