A.22:4.3 - Structural descriptions and views

Structural descriptions and views reuse existing episteme and view machinery. Architecture does not define a second ontology of descriptions, views, viewpoint bundles, multi-view descriptions, publications, publication forms, or source-pin sets. Every record whose name ends in Description@Context here designates an existing U.Episteme: C.2.1 supplies its identity and E.10.D2 constrains its describing use. Every record whose name ends in View@Context remains that same episteme and has U.View membership only when the E.17.0 conformance test to an exact viewpoint episteme passes. A.6.3 supplies only an optional source-to-receiving construction. The @Context suffix is a local retrieval convention; it does not add a context object or identity field.

In the description and view forms below, admissibleUse states the actual use and its limits. nonAdmissibleUse?, also named groundedNonAdmissibleUse?, carries one optional explanatory guard under F.19:4’s plausible-reader test; the two names do not introduce separate fields.

StructuralDescription@Context ::= {
  descriptionId,
  entityOfConcernRef,
  effectiveReferenceScheme,
  selectedViewpointRef?,
  selectedModelUseStructureRef?,
  structureRefs: FinSet(U.StructureRef),
  structureClaimRelianceRefs?: FinSet(U.ScopedWitnessedBaseDeclarationRef | EvidenceRelationRef | EvidenceProvenanceRelationRef | MathLensUseOutputRef | StructureUseReturnConditionRef | U.EpistemeRef),
  describingEpistemeRef,
  admissibleUse,
  nonAdmissibleUse?
}

StructuralView@Context ::= {
  viewId,
  entityOfConcernRef,
  effectiveReferenceScheme,
  selectedViewpointRef?,
  selectedModelUseStructureRef?,
  structureRefs: FinSet(U.StructureRef),
  structuralAspectDescriptionRefs?,
  selectedRelationsOrOperations,
  hiddenOrLostStructure,
  admissibleUse,
  nonAdmissibleUse?
}

The exact EntityOfConcern and effective scheme identify the episteme with its claim content under C.2.1. selectedViewpointRef, when present, records that this named describing use selects exact viewpoint P; it does not establish conformance or U.View membership. selectedModelUseStructureRef, when present, resolves one independently selected BoundedModelUseStructure used by the receiving assertion or calculation; it is neither episteme identity nor another viewpoint field. When reliance is on a named claim, U.EpistemeRef resolves the exact C.2.1 claim-bearing episteme; a PatternID normally locates the definition, constraint, or test it uses, and an exact ClaimGraph is added only when that identity changes the use.