TargetPhenomenon | Plain entry prompt naming the phenomenon or situation to be understood. | |
entityOfConcernRef? | EntityOfConcern reference named by value when the lens appears inside a claim-bearing episteme, PublicationUnit, benchmark, bridge, or assurance-bearing statement. | Required only when the lens appears in a claim-bearing episteme, PublicationUnit, benchmark, bridge, or assurance-bearing statement. |
BoundedContext | Context in which the lens is claimed to work. | Cite F.9 when the use needs semantic correspondence between local senses. |
CandidateMathObject | Concrete mathematical object, structure, formal position, learned representation, or local formalism. | Broad family labels are prompts until narrowed. |
LensMappingMode | C.29-local lens mapping mode. | Cross-context transfer uses F.9 when bridge semantics are being claimed. |
PreservedStructure | Structure preserved by the lens in the declared use. | No preserved structure means the mathematical phrase cannot justify the stated use. |
LostStructure | Source structure the representation omits or does not preserve. | When none is lost for the stated use, name the preserved distinctions and operations and the reason preservation holds. A receiving domain may still contain additional objects; use C.29.1 to establish what can be returned. |
InvariantsExposed | Invariant, obstruction, fixed point, symmetry, conservation law, diagnostic boundary, or other payoff. | If no payoff is visible, downgrade to recognition cue. |
ObservableOrControllableCue? | Cheap cue naming what can be observed, read out, assigned, varied, or validated before a candidate lens can change action. Examples include arrivals, work in progress, service time, wait time, edge meaning, intervention assignment, outcome readout, observation map, validation slice, scale variable, or scale point. | When making a measurement, evidence, causal or dynamics claim, apply its corresponding pattern in :4.4.6. |
ObservationOrReadoutNeeded? | Optional one-line note naming the observable, readout, assignment, outcome, validation slice, or scale point still needed before the stated bounded lens-use action is justified. | If the account of this missing item makes a measurement, evidence, causal, dynamics, or validation claim, apply the neighboring pattern that governs that claim. |
LensBoundedPredictionOrDistinction? | The derived consequence used for a conditional comparison, prediction, choice or model claim. | State whether the consequence holds inside stipulated premises or is relied on for the phenomenon; apply :4.4 and :4.5a accordingly. |
DynamicsRef?, TransitionLawRef? | References to dynamics defined by A.3.3 when dynamics semantics are being claimed. | C.29 does not define dynamics. |
ObservationMapRef? | Probe, readout, or observation map when observation makes the declared lens use bounded enough for the stated claim. | Required when learned or measurement-dependent lens use is being made. |
ScaleWindow?, CoarseGrainingRule? | Scale range and coarse-graining or compression rule when scale behavior, macro description or effective description, universality, coarse behavior, latent compression, or renormalized description is being claimed. | C.18.1 and C.19.1 govern scale-law and BLP evidence; the C.29 output states only how the lens remains adequate inside the declared window. |
SourceReturnCondition? | Condition under which the reader must return from the compressed or coarse description to the source-domain variables, observations, cases, or mechanisms. | Required only when abstraction, coarse-graining, compression, latent representation, or macro-modeling drops source-domain distinctions that could matter to the stated use. |
PublicationUseClassification? | Optional note for publication-facing use: orientationOnly, explanationFacing, comparisonInput, decisionInputCandidate, benchmarkInput, assuranceInputCandidate, or reusableModelPublication. | Apply :4.4 and :4.4.6 for the stated use. |
OutputChangeCondition? | Condition under which this C.29 output must be narrowed, demoted, replaced, retired from claim-bearing use, or handed to a neighboring FPF pattern. | |
| OrdinaryRivalOrFallback | Ordinary prose, accepted local theory, direct measurement, or simpler neighboring-pattern application the reader would use without this lens. | Required for cheap outputs; prevents prestige bias before broad rival review. |
PrincipalRivalLens? | Default ordinary or most relevant rival lens. | Preferred over a broad literature survey. |
RivalLensSet? | Broader comparison set when a selection or superiority question requires more than the principal rival. | Publication alone does not create a selector or benchmark question; use its receiving pattern when that result is needed. |
RivalLensRelation? | Declared relation between the lens in this use and the principal rival or rival set being compared. Allowed local relation values include ordinaryFallback, complementary, sameUseLowerCost, morePreservedStructureHigherCost, lowerErrorOnDeclaredEvaluationCriterion, clearerExplanationForDeclaredReader, bridgeNeedsF9, causalUseNeedsC28, differentScaleWindow, differentLossProfile, incomparableForCurrentUse, blockedByStopCondition, and unresolved. Examples: a queueing lens and a causal lens can be complementary for different lens-use actions; a latent manifold and a causal graph can conflict when latent axes are read causally; an RG-like lens and a micro-dynamics lens can have different scale windows. | Any superiority claim names the evaluation criterion, reader, cost, scale window, or subject pattern that makes the comparison bounded for use. |
LensUseBoundaryValue | Local finite lens-use boundary field. | |
BridgeRefSet? | Reference to F.9 Bridge material when semantic correspondence between local senses is needed. | Bridge semantics stay with F.9. |
CausalUseDisposition? | One of noCausalUseClaim, causalUseBlocked, C28ApplicationRef, or CausalUseSupportResultRef. | No causal-reference shortcut; no causal verdict from C.29. |
AssuranceUseDisposition? | One of noAssuranceUseClaim, assuranceUseBlocked, evidenceInputOnly, A10Ref, or B3ApplicationRef. | No assurance verdict from mathematical elegance. |
declaredLensUse | Declared lens use in this C.29 application. | Matches evidence and validation regime. |
blockedLensOverread? | Optional tempting neighboring use that is blocked or governed by another subject pattern; include it only when it passes F.19’s plausible-reader test. | Names the neighboring pattern when that neighboring claim is being made. groundedLensOverread? is an alias for this same optional value. |
StopCondition | Condition for narrowing, stopping, returning to source material, or applying the direct pattern for a neighboring claim. | States the concrete boundary of the declared lens use. |
ExportPolicyRef? | Governed reuse or export policy when publication or downstream reuse is being claimed. | Not required for local orientation or mini-card use. |