---
title: "Witnessability Publications: Model, Core and Drafts"
description: "Read versioned Witnessability publications, the Conceptual Core, Model 1.1 and individual Internet-Drafts with their distinct status and source links."
canonical: "https://witnessability.io/publications/"
representation: "Website reading format; consult linked publications for their exact status and terms."
---

Publications / 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.

Reference list prepared 30 October 2026. Draft references are version-pinned; consult Datatracker for later revisions.

Stable conceptual release

## Conceptual Core 1.0

Definitions, foundational invariants and consistency conditions at the model level. Read its original release qualifications alongside the text.

[Read the source ↗](https://witnessability.io/core/1.0/)

Published research paper

## Witnessability Model 1.1

The published model by Mikhail A. Sergeev and Vladimir Ikher. Cite the version-specific DOI.

[Open Model 1.1 ↗](https://doi.org/10.5281/zenodo.21970802)

Individual Internet-Draft / −02

## Claim Boundaries for Execution Evidence

CBEE examines what execution evidence supports, non-inference rules and distinctions for reporting an assessment.

[Read CBEE −02 ↗](https://datatracker.ietf.org/doc/draft-sergeev-claim-boundaries/02/)

Individual Internet-Draft / −02

## WEXP Appraisal Core

Appraisal semantics for execution-related claims. Read the exact draft for its vocabulary, requirements and scope.

[Read WEXP Core −02 ↗](https://datatracker.ietf.org/doc/draft-sergeev-wexp-core/02/)

Individual Internet-Draft / −00

## WEXP Coverage

A separate specification for evaluating bounded coverage claims. Separate coverage grounds from the strength of individual execution claims.

[Read Coverage −00 ↗](https://datatracker.ietf.org/doc/draft-sergeev-wexp-coverage/00/)

Informative specification / draft

## Witnessability 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 notation ↗](https://witnessability.io/notation/)

Individual Internet-Draft / −00

## Audit Task Requirements

Work on describing an audit task and the evidence requirements it raises.

[Read ATR −00 ↗](https://datatracker.ietf.org/doc/draft-sergeev-audit-task-requirements/00/)

## Research 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 ↗](https://github.com/Witnessability/witnessability-research)

## What this does not claim

The Internet-Drafts listed here are working documents, not RFCs or Internet Standards. Their appearance here does not establish IETF endorsement. Release integrity and conceptual validity are different questions.