C.31:4.1 - Ordinary output: ModularityVectorLite
ModularityVectorLite is the ordinary output. It names at most three characteristics under evaluation because the first task is to find the next repair, not to audit all possible modularity interpretations.
ModularityVectorLite:
describedHolonRef:
architectureQuestion:
intendedArchitectureUse:
claimScopeRef?: U.ClaimScope
qualificationWindowRef?:
architectureClaimRef?:
selectedStructureRefs:
structureKindRefs:
threeLiveCharacteristicsAtMost:
- characteristicRef:
characteristicScaleRef?:
evidenceRefs?:
comparisonBasisRef?:
currentCue:
repairDirection:
claimUseClass:
forbiddenOverread:
observedProblem:
relatedClaimPatternLocatorsIfClaimed:
stopCondition:
The vector is complete enough when it states what can be done next and what cannot be inferred. relatedClaimPatternLocatorsIfClaimed is a non-semantic locator field: if a characteristic is used beyond local repair, the exact subject assertion and its defining or constraining ClaimGraph remain separately required. Architecture scale-preference claims use the predicate defined in C.31.ASAP.