Theoretical framework demonstrates non-linear witnessability levels in software systems, highlighting that verifiability does not elevate captured execution content.
Archival deposit of Version 1.1 of the Witnessability Model — the bridge revision of the 1.0 line. This record fixes the v1.1 text for citation. The deposited file is WM-1.1.pdf: sha256 7d62e3268e930d5ad16aa97bd05eb037e15a08274487194041cafd78167fb902, 490,909 bytes. It is the reproducible CI build of release wm-v1.1.0 (commit e4f3985a6d1ebcdbe9920bebbc8ba86702e34969) of the public source repository; the LaTeX source (sha256 84d7a88c4063f46c877a4e35fff5db35c78f0e3de2104daedf31cb527cf48e94) and the release carrying the same PDF asset are available at https://github.com/Witnessability/witnessability-model/releases/tag/wm-v1.1.0 Version 1.1 supersedes the Version 1.0 reading of the WL4/WL5 labels: WL4 and WL5 are display labels for the qualified states (WL3,{PROV}) and (WL3,{IV}) respectively — incomparable qualified states over the execution content level, not rungs of a single cumulative ladder. An accompanying erratum to the published v1.0 Section 5.6 records this revision explicitly; verifiability does not raise the captured level. Citation: for a version-fixed reference to this text, cite the Zenodo version DOI of this record; for the work in general, cite the Zenodo concept DOI 10.5281/zenodo.21824435. The Version 1.0 record remains available at 10.5281/zenodo.21824436.
No takes yet. Share an insight, caveat, or question.
Sergeev et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: