C.29:4.5 - MathLensUse.Card@Context shape
The full card collects the account needed for a declared reliance under :4.4. MathLensUseOutputRef may reference any applicable C.29 output; its use does not require a FullCard. Local naming conditions are in :6.1a.
Read MathLensUse.Card@Context through three aspects:
| Aspect | Fields or refs | Boundary |
|---|---|---|
| Selected mathematical representation and lens mapping | CandidateMathObject, LensMappingMode, PreservedStructure, LostStructure, InvariantsExposed | Names the selected mathematical object and the representation or correspondence used for the C.29 account. |
| Use boundary and validation | LensUseBoundaryValue, ValidationUseOverlayRef?, LearnedLensOverlayRef?, failure case, uncertainty or approximation note | States the lens-use boundary value for this lens use. |
| FPF use and boundaries | declaredLensUse, StopCondition, blockedLensOverread?, BridgeRefSet?, CausalUseDisposition?, AssuranceUseDisposition?, ExportPolicyRef? | States what the reader may do, when to stop or return, and which governing FPF patterns define or constrain neighboring claims. |
MathLensUse.FullCard base fields:
MathLensUse.Card@Context := {
TargetPhenomenon,
entityOfConcernRef?,
BoundedContext,
CandidateMathObject,
LensMappingMode,
PreservedStructure,
LostStructure,
InvariantsExposed,
LensBoundedPredictionOrDistinction?,
LensUseBoundaryValue,
declaredLensUse,
StopCondition,
blockedLensOverread?
}
Conditional fields apply only when the corresponding neighboring claim, claim-bearing use, or publication use is being made:
MathLensUse.FullCard conditional fields := {
DynamicsRef?,
TransitionLawRef?,
ObservationMapRef?,
ScaleWindow?,
CoarseGrainingRule?,
SourceReturnCondition?,
PublicationUseClassification?,
PrincipalRivalLens?,
RivalLensSet?,
RivalLensRelation?,
ValidationUseOverlayRef?,
LearnedLensOverlayRef?,
BridgeRefSet?,
CausalUseDisposition?,
AssuranceUseDisposition?,
ExportPolicyRef?
}
Plain card gloss. A useful mathematical lens says: what phenomenon is being seen, through which mathematical object, by what mapping, what survives, what is lost, what becomes visible, what lens-use boundary value and validation boundary make this use bounded, the now-bounded user-facing action, any justified blocked user inference, and where the lens stops.