Source/Packages

Observe.Metric

packages/observability/src/Observe/Metric.alpha

225 lines9 declarations10.4 KiBSHA-256 efa85c944576

def · lines 96–225

aosSampledRowMetric

Full file
A sampled row is explicitly diagnostic. Its exact value and source coordinate do not establish a full objective or an identified model state. Callers retain the sampling index and stage in the schema-bound payload.
96def aosSampledRowMetric =
97  (lambda unrestricted identity : Bytes .
98    (lambda unrestricted schema : Bytes .
99      (lambda unrestricted name : Bytes .
100        (lambda unrestricted unit : Bytes .
101          (lambda unrestricted equation : Bytes .
102            (lambda unrestricted phase : Bytes .
103              (aosDescriptorRecord
104                b"metric"
105                identity
106                (constructor
107                  JSON
108                  JSONObject
109                  (aosField
110                    b"format"
111                    (aosJSONText b"AOS-METRIC/1")
112                    (aosField
113                      b"schema_id"
114                      (aosJSONText schema)
115                      (aosField
116                        b"field"
117                        (aosJSONText b"row_loss")
118                        (aosField
119                          b"name"
120                          (aosJSONText name)
121                          (aosField
122                            b"value_type"
123                            (aosJSONText b"f32")
124                            (aosField
125                              b"unit"
126                              (aosJSONText unit)
127                              (aosField
128                                b"equation"
129                                (aosJSONText equation)
130                                (aosField
131                                  b"role"
132                                  (aosJSONText b"diagnostic")
133                                  (aosField
134                                    b"population"
135                                    (constructor
136                                      JSON
137                                      JSONObject
138                                      (aosField
139                                        b"kind"
140                                        (aosJSONText b"sample")
141                                        (aosField
142                                        b"reference"
143                                        (constructor
144                                        JSON
145                                        JSONObject
146                                        (aosField
147                                        b"state"
148                                        (aosJSONText b"not_recorded")
149                                        (aosField
150                                        b"reason"
151                                        (constructor
152                                        JSON
153                                        JSONObject
154                                        (aosField
155                                        b"code"
156                                        (aosJSONText b"native-sample-has-no-population-identity")
157                                        aosObjectEnd))
158                                        aosObjectEnd)))
159                                        aosObjectEnd)))
160                                    (aosField
161                                      b"reduction"
162                                      (constructor
163                                        JSON
164                                        JSONObject
165                                        (aosField
166                                        b"kind"
167                                        (aosJSONText b"none")
168                                        (aosField
169                                        b"sum_field"
170                                        (constructor JSON JSONNull)
171                                        (aosField
172                                        b"count_field"
173                                        (constructor JSON JSONNull)
174                                        (aosField
175                                        b"population_count_field"
176                                        (constructor JSON JSONNull)
177                                        aosObjectEnd)))))
178                                      (aosField
179                                        b"state_phase"
180                                        (aosJSONText phase)
181                                        (aosField
182                                        b"state_field"
183                                        (constructor JSON JSONNull)
184                                        (aosField
185                                        b"contribution_field"
186                                        (constructor JSON JSONNull)
187                                        (aosField
188                                        b"source_precision"
189                                        (aosJSONText b"binary32 original bits")
190                                        (aosField
191                                        b"coordinates"
192                                        (constructor
193                                        JSON
194                                        JSONArray
195                                        (constructor
196                                        JSON
197                                        JSONArrayNext
198                                        (constructor
199                                        JSON
200                                        JSONObject
201                                        (aosField
202                                        b"field"
203                                        (aosJSONText b"completed_submissions")
204                                        (aosField
205                                        b"meaning"
206                                        (aosJSONText b"custom")
207                                        (aosField
208                                        b"scope"
209                                        (aosJSONText b"producer-epoch")
210                                        aosObjectEnd))))
211                                        (constructor JSON JSONArrayEnd)))
212                                        (aosField
213                                        b"origin"
214                                        (constructor
215                                        JSON
216                                        JSONObject
217                                        (aosField
218                                        b"kind"
219                                        (aosJSONText b"derived")
220                                        (aosField
221                                        b"method"
222                                        (aosJSONText
223                                        b"source-declared interpretation of one native binary32 row; not a population aggregate")
224                                        aosObjectEnd)))
225                                        aosObjectEnd))))))))))))))))))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.