pllm
Learn

Evidence and claim taxonomy

Separate a design contract, an implementation, its evidence, and a publication claim.

PLLM documentationView Markdown ↗
AxisMeaning
Normative contractIntended invariant; not implementation proof
Semantic adapter supportModel configuration lowers to neutral semantics
Compiler coverageNamed profile covers reported operators
Runtime supportLocked plan executes in tested implementation scope
Benchmark evidenceMeasurements bound to environment, workload, and cohort
Generation qualityPredeclared output-quality result for model/workload
Privacy evidenceScoped formal or empirical assurance result
Deployment maturityTested placement, authentication, recovery, and operations scope
Source-reported claimOriginal publication statement, not PLLM result
Reproduction fidelityMatch to locked source/oracle in recorded scope

Unknown is never zero or pass. Every claim links exact artifact, date/version, cohort, limitations, and applicable assurance. Use research evidence records to inspect those scopes and limitations before repeating a claim.

Loading documentation index…

Search runs locally in this browser.