A.6.0:4.2 - Write the minimum declaration content
The four content groups are semantic components, not a mandatory visual table. A publication form may present them as paragraphs, a table, formal declarations, or another representation. A publication occurrence makes a selected episteme edition available through that form without changing its content.
| Content group | Content and use |
|---|---|
SubjectKind, RangedValueKind, optional ResultKind, SliceSet, and ExtentRule | Name the declared subject and value range, plus a distinct result kind when current. When membership of the same SubjectKind can differ across context slices, SliceSet names the addressable U.ContextSlice values to consider and ExtentRule states how membership is judged at one selected slice, thereby determining Extension(SubjectKind, slice). |
Vocabulary | Declares the public designators for value kinds, relation kinds, operators, and other independently identified declared objects. A RelationSignature may include SlotSpecs under A.6.5; each SlotSpec gives a declaration-local SlotKind name and the exact participant ValueKind and designation mode. A mechanism may include operation argument and result declarations under A.6.1. E.24.UK governs public U-kind admission. |
Laws | States semantic predicates, equations, invariants, closure conditions, and other declared regularities. Use A.6.1 to state an operation-admission predicate for a mechanism, A.3.1 to identify the Method, A.13 to recover each exact actual performer, and A.15.1 for independent admission of the dated Work that enacts the Method. Add F.6 only when the receiving signature use also consumes precise assignment-bound attribution; a missing or failed F.6 relation leaves the Work intact. Writing the operation-admission predicate as a condition does not make it a signature law. |
Applicability | States the exact U.ClaimScope and any other use qualifiers current for this declaration, such as a relevant time interval or selected CHR:ReferencePlane. Cite an optional modelUseStructureRef : U.StructureRef only when an independently selected model-use structure changes interpretation. |
SubjectKind and RangedValueKind are declaration-content components. C.3 governs the declared kinds; E.24.UK governs public U-kind admission. A.2.6 supplies addressable U.ContextSlice values; C.3.2 governs the membership judgment and any optional materialized KindExtension representation. SliceSet is not a generic space, time interval, numeric or result range, or changing dataset. ExtentRule tells how the declared kind’s members are determined at one named slice. A time selector may be part of a U.ContextSlice; a value or result range stays in RangedValueKind or ResultKind; changing data stays with its subject pattern; and a claim-bearing mathematical set representation opens C.29 only for a mathematical-lens use. Leave both fields out unless membership of the same declared kind can differ across the named slices.
Applicability and meaning remain distinct. The effective U.ReferenceScheme is part of episteme identity. The exact U.ClaimScope delimits use; when current for the declaration, a relevant time interval, selected CHR:ReferencePlane, or selected BoundedModelUseStructure : U.Structure further delimits or organizes applicability. Retain both the effective U.ReferenceScheme and exact U.ClaimScope when adding these applicability qualifiers.