@techreport{sergeev-wexp-core-02,
    number =    {draft-sergeev-wexp-core-02},
    type =      {Internet-Draft},
    institution =   {Internet Engineering Task Force},
    publisher = {Internet Engineering Task Force},
    note =      {Work in Progress},
    url =       {https://datatracker.ietf.org/doc/draft-sergeev-wexp-core/02/},
    author =    {Mikhail Sergeev and Vladimir Ikher},
    title =     {{WEXP Core: Witnessability Appraisal Semantics for Execution-Related Claims}},
    pagetotal = 57,
    year =      2026,
    month =     oct,
    day =       23,
    abstract =  {The Witnessed Execution Protocol (WEXP) Core defines carrier-neutral Witnessability appraisal semantics for execution-related claims. It operationalizes selected concepts of the Witnessability Model under the Witnessability Conceptual Core within the bounded claim domain specified here. It defines four distinct content bases, two independent evidence qualifiers, the Boundary Ceiling, exact-claim support, deterministic accept, downgrade, and reject verdicts, composition without inflation, and a normalized interface between evidence-carrying profiles and appraisers. WEXP Core does not define a record serialization, signature envelope, action identifier, authorization model, or evidence-artifact schema. Carrier and evidence profiles can supply its normalized inputs; a native record format is optional and is not a prerequisite for this Core.},
}