Skip to content

Rulvar API reference


Rulvar API reference / @rulvar/evals / ContractAuditLexOptions

Interface: ContractAuditLexOptions

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

Properties

PropertyTypeDescriptionDefined in
extensions?readonly string[]Overrides DEFAULT_CITATION_EXTENSIONS; lowercase, no dots.packages/evals/src/lexer.ts:108
families?readonly string[]Overrides DEFAULT_REQUIREMENT_FAMILIES; single uppercase letters.packages/evals/src/lexer.ts:116
fencedCode?"excluded" | "counted"'excluded' (the default) strips fenced code before both scans.packages/evals/src/lexer.ts:118
pattern?stringOverrides DEFAULT_CITATION_PATTERN; must expose path:line.packages/evals/src/lexer.ts:106
resolve?(target) => string | undefinedThe pure snapshot resolver (the citation audit contract). When present, a citation whose FIRST cited line does not resolve is rejected 'unresolved'; absent, extension acceptance stands alone.packages/evals/src/lexer.ts:114