Specifications

The Claimset format is specified here: the claimset itself, the lab record it can come from, and how published claimsets are revised. Extensions add what one kind of work needs (about extensions). Each page has a plain-text copy, for models and for diffing.