Conceptual Core 1.0
Definitions, foundational invariants and consistency conditions at the model level. Read its original release qualifications alongside the text.
Read the sourcePublications / Exact sources
Read each result
with its status.
Conceptual sources, research papers and specification drafts have different roles. Follow the versioned source for the complete claim and its qualifications.
Witnessability Model 1.1
The published model by Mikhail A. Sergeev and Vladimir Ikher. Cite the version-specific DOI.
Open Model 1.1Claim Boundaries for Execution Evidence
CBEE examines what execution evidence supports, non-inference rules and distinctions for reporting an assessment.
Read CBEE −02WEXP Appraisal Core
Appraisal semantics for execution-related claims. Read the exact draft for its vocabulary, requirements and scope.
Read WEXP Core −02WEXP Coverage
A separate specification for evaluating bounded coverage claims. Separate coverage grounds from the strength of individual execution claims.
Read Coverage −00Witnessability Notation 0.4
A visual vocabulary for claim situations: boundaries, records, claims, arrow states and ceilings, drawn by a reference generator. The report a diagram illustrates remains the source.
Read the notationAudit Task Requirements
Work on describing an audit task and the evidence requirements it raises.
Read ATR −00Research and reproduction
Explore public finite-model experiments, ambiguity witnesses and bounded validation records in the research repository. An experimental result establishes only what its exact model, input and check support.
Open the research repository