You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
The contract has the corpus checks of packing, highways and the joint corpus. docs/CORPUS-CHECKS.md tells the rules.
ClaimBreak is one broken claim of a corpus. It has the name of the claim, a text and the ids of the inputs.
checkDeclared(inputs, declares, claim, ids) checks the claim claims.declared. The hook declares gives the properties of one input.
declaredCounts counts the inputs of each property. declaredClaimOf reads claims.declared of a manifest. DeclaredClaim and Declares are their types.
corpusHashOf(corpus, inputs) gives the hash of a corpus. The value is equal to the corpus hash of packing.
checkSplit(split, corpus, name) checks a split file corpus-split/1. splitFolds gives the folds of one split, and throws for a problem.
leaveOneSeedOut(seeds) gives one fold for each seed. splitFileName, SPLIT_SCHEMA, CorpusSplit, SplitFold, SplitCorpus and CorpusEntry are the other parts.