AlphaGitHub
Source/Systems

Bob.Prediction

systems/bob/src/Bob/Prediction.alpha

132 lines21 declarations4.9 KiBSHA-256 cb7531dfdc83
Download exact fileView at revision426597bda5753d86c4

family · lines 15–20

BobPredictionSemantics

Full file
Prediction is a total semantic operation over a checked 256-logit row. Equal maxima keep the earlier byte, giving deterministic greedy decoding.
15family BobPredictionSemantics : Type 0
16constructor BobPredictionSemanticsValue
17field unrestricted bobPredictionIdentity : Bytes
18field unrestricted bobPredictionContextBytes : Nat
19field unrestricted bobPredictionOutputDomain : Nat
20field unrestricted bobPredictionTieBreakIdentity : Bytes

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.