Research on evidence, claims and the limits of verification.
Witnessability explores how people and systems can produce, preserve and expose evidence and reasoning for a particular claim, so its grounds, assumptions and limits can be evaluated and challenged. The research program includes conceptual work, claim-boundary analysis and practical examples across software and AI systems, records, institutions and archival practice.
Website · Start here · Publications
| Resource | Role and publication status |
|---|---|
| Witnessability Conceptual Core | Published Core 1.0, release v1.0.0: conceptual vocabulary, foundational invariants and consistency conditions at the model level. |
| Witnessability Model | Published research paper, Model 1.1. Version-specific DOI: 10.5281/zenodo.21970802. |
| Witnessability Research | Public development work on finite models, ambiguity witnesses and bounded validation. Read each result with its exact inputs, assumptions and limitations. |
The Conceptual Core and Model are separate, independently versioned publications. Each publication remains the source for its own authorship, license and exact status.
WEXP (Witnessed Execution Protocol) is a related protocol engineering effort maintained in a separate GitHub organization. It develops appraisal semantics and specifications for execution-related claims.
WEXP Appraisal Core -02 and WEXP Coverage -00 are published individual Internet-Drafts (work in progress). Publication does not imply IETF working-group adoption, consensus, endorsement or Internet Standard status.
See how the projects relate and the WEXP organization for specifications, implementation work and experimental interoperability records.
Questions, counterexamples and reproducible examples are welcome. Use the issue tracker of the relevant public repository and identify the exact claim, source version, evidence and assumptions.