Native hosts perform these same checks before opening any supplied path.
Path fields must begin non-NUL and terminate inside their fixed extent.
183def textArtifactRequestBytesValid =
184 (lambda unrestricted raw : Bytes .
185 (naturalAnd
186 (naturalEqual (bytes-length raw) textArtifactRequestEncodedLength)
187 (naturalAnd
188 (bytes-equal (dataBytesTakeValidated 8 raw) textArtifactRequestMagic)
189 (naturalAnd
190 (bytes-equal
191 (dataBytesTakeValidated 8 (dataBytesDropValidated 8 raw))
192 (dataBytesWord64LE
193 (modelWord64FromNaturalTruncated textArtifactRequestVersion)))
194 (naturalAnd
195 (naturalOr
196 (bytes-equal
197 (dataBytesTakeValidated 8 (dataBytesDropValidated 16 raw))
198 (dataBytesWord64LE
199 (modelWord64FromNaturalTruncated textArtifactTrainOperationWord)))
200 (bytes-equal
201 (dataBytesTakeValidated 8 (dataBytesDropValidated 16 raw))
202 (dataBytesWord64LE
203 (modelWord64FromNaturalTruncated textArtifactPredictOperationWord))))
204 (naturalAnd
205 (textArtifactEncodedFieldTerminated 24 raw)
206 (naturalAnd
207 (textArtifactEncodedFieldTerminated 280 raw)
208 (naturalAnd
209 (textArtifactEncodedFieldTerminated 536 raw)
210 (naturalAnd
211 (textArtifactEncodedFieldTerminated 792 raw)
212 (naturalAnd
213 (textArtifactEncodedFieldTerminated 1048 raw)
214 (naturalAnd
215 (textArtifactEncodedFieldTerminated 1304 raw)
216 (textArtifactEncodedFieldTerminated 1560 raw))))))))))))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.