Source/Systems

Bob.Build.NativeHost

systems/bob/src/Bob/Build/NativeHost.alpha

882 lines46 declarations32.2 KiBSHA-256 3f8d3aa22d4e

def · lines 250–288

bobNativeRowDeclaration

Full file
This is a source declaration of the workload, not a claim that a run trained successfully. The frame binds its fresh run identity at import. One explicitly selected row, not a full-objective estimate. All numeric payload values are copied from the existing retired readback.
250def bobNativeRowDeclaration =
251  (lambda unrestricted stage : Bytes .
252    (constructor
253      TelemetryRecordDeclaration
254      TelemetryRecordDeclarationValue
255      b"alpha.learning.bob_row_loss@1"
256      b"metric"
257      (capturePolicyIdentifier nvidiaRequestCapturePolicy)
258      b"direct"
259      b"native row zero loss copied from retired readback; one row sample"
260      (constructor
261        TelemetryCaptureValue
262        TelemetryMembersNext
263        b"row_loss"
264        (constructor TelemetryCaptureValue TelemetryFloat32 0)
265        (constructor
266          TelemetryCaptureValue
267          TelemetryMembersNext
268          b"completed_submissions"
269          (constructor TelemetryCaptureValue TelemetryUnsigned 1)
270          (constructor
271            TelemetryCaptureValue
272            TelemetryMembersNext
273            b"row_index"
274            (constructor TelemetryCaptureValue TelemetryConstant (constructor AosValue AosU64 0))
275            (constructor
276              TelemetryCaptureValue
277              TelemetryMembersNext
278              b"sample_count"
279              (constructor TelemetryCaptureValue TelemetryConstant (constructor AosValue AosU64 1))
280              (constructor
281                TelemetryCaptureValue
282                TelemetryMembersNext
283                b"stage"
284                (constructor
285                  TelemetryCaptureValue
286                  TelemetryConstant
287                  (constructor AosValue AosText stage))
288                (constructor TelemetryCaptureValue TelemetryMembersEnd))))))))

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.