A.6.6:4.1 - Optional scoped assertion record

When replay, comparison, publication, or repeated review needs a stable representation, a project may show one C.2.1 assertion episteme in this local form:

scoped witnessed base declaration :=
  < dependent,
    base,
    directRelationKind,
    assertionPolarity,
    scope?,
    gammaTime?,
    evidenceUseRefs? >

This is a representation of claim content, not a public kind, RelationSignature, or world-side occurrence. directRelationKind resolves to an already governed relation kind; an affirmative assertion requires that relation’s predicate to obtain for the actual participants, while a negative assertion requires nonobtaining to be established under the applicable criterion or closure basis. Failure to establish the affirmative does not establish the negative. scope and gammaTime are present only when the direct relation or named use needs them. evidenceUseRefs, when present, resolve to exact A.2.4 evidence-use relations for this assertion. The evidence epistemes, producing Work, operation result, carrier, provenance, currentness, and later reliance remain separately identified under A.2.4 and A.10.

A.6.6 admits neither U.BaseDeclarationDiscipline nor U.ScopedWitnessedBaseDeclaration. The latter is a retired spelling and must not be used as a kind or as a world-side relation occurrence.

The record’s C.2.1 identity follows its complete ClaimGraph, exact EntityOfConcern, and effective ReferenceScheme. Changing an identity-bearing value identifies another episteme; a representation-only edit need not. Neither change by itself begins, ends, or alters the world-side relation it describes.