We study the observation congruences induced by rational polyhedral cones on vector-valued quantitative languages. The extreme rays of the dual cone define intrinsic covectors, and these covectors classify every incremental residual future by a finite sign cell: negative, tight, or positive along each extremal Farkas direction. The resulting carrier is the right-stable carrier of this cone-induced observation family, whose source is canonical: the restricted covector geometry of the order cone on the residual span of the language. We organize this construction through an observation-refinement correspondence, a cone-refinement calculus, and a separation between the qualitative conic observation quotient and the numerical residual carrier needed for potential certificates. A bounded-horizon fragment is fully computable by enumeration of accumulated futures, and reproducible evaluation runs show how the conic layer detects qualitative obstruction cells before numerical refinement.

翻译：我们研究有理多面体锥对向量值定量语言所诱导的观测同余关系。对偶锥的极射线定义了内在余向量，这些余向量通过沿每条极值法卡斯方向的负、紧、正三种有限符号胞腔，对每个增量式残差未来进行分类。由此产生的载体是该锥诱导观测族的右稳定载体，其来源具有典范性：即语言残差张成空间上序锥的限制余向量几何。我们通过观测-精化对应、锥精化演算，以及在定性锥观测商与潜在证书所需的数值残差载体之间建立分离，来组织这一构造。有界视界片段可通过累加未来枚举完全计算，可复现的评估运行表明锥层如何在数值精化前检测定性障碍胞腔。