Witnessability / The conceptual foundation
Witnessability.io explains the relationship between propositions, evidence, evaluation and reliance. It provides entry points to the Conceptual Core, published model, research and practical explanations. Its scope includes software and AI systems as well as records, institutions and archival practice.
WEXP / Execution-related claims
The WEXP work develops appraisal semantics and related specifications for execution-related claims. The public project retains the name Witnessed Execution Protocol. The current Core draft's title describes its focus on appraisal semantics; this website does not announce a renaming.
Use the WEXP project for its specifications, implementation work and interoperability records. Each experiment should be read with its exact inputs, versions and limits. A successful example is not a general guarantee for other systems.
CBEE / Boundaries for claims
Claim Boundaries for Execution Evidence collects non-inference rules and reporting distinctions. It defines no protocol, record format or registry. Its individual Internet-Draft status is distinct from the publication status of the Witnessability Conceptual Core.
Work across project boundaries
Useful collaboration includes testing a precise claim against a published evidence set, reviewing a proposed rule, or identifying missing assumptions in an example. Such work can use another project's format and tools. Adoption of the Witnessability name is not a prerequisite for a useful finding.