Skip to content

Rulvar API reference


Rulvar API reference / @rulvar/evals / ContractAuditLex

Interface: ContractAuditLex

Defined in: packages/evals/src/lexer.ts:89

The lex of one contract audited document.

Properties

PropertyModifierTypeDescriptionDefined in
citationOccurrencesreadonlynumberAccepted citation occurrences, the headline count.packages/evals/src/lexer.ts:91
citationsreadonlyreadonly LexedCitation[]-packages/evals/src/lexer.ts:92
distinctRequirementCountsreadonlyReadonly<Record<string, number>>Distinct ids per family, the contract set size.packages/evals/src/lexer.ts:99
perSectionreadonlyreadonly { citations: number; heading: string; }[]Accepted citations per H2 section, in document order.packages/evals/src/lexer.ts:101
rejectedreadonlyreadonly RejectedCitationSpan[]-packages/evals/src/lexer.ts:95
requirementIdsreadonlyReadonly<Record<string, readonly LexedRequirementId[]>>Every id occurrence per family, in document order.packages/evals/src/lexer.ts:97
uniqueAnchorsreadonlyreadonly string[]Distinct accepted raw spans, in first occurrence order.packages/evals/src/lexer.ts:94