{"id":"runtime--Int.From","name":"Int.From","owner":"yeho","package":"runtime.Int","kind":"builtin","signature":"Int.From(integer value) -> int","description":"Convert an integer to signed 32-bit int with a range check.","context":"Built into Yeho; no import is needed. These additions have Windows CPU-oracle developer-host evidence. Kyber rejects these operations; this does not qualify Starfish or other targets.","parameters":[{"name":"value","type":"integer","description":"An integer value in signed 32-bit range."}],"returns":"int","members":[],"tags":["builtin","cpu","yeho","int"],"updated":"2026-09-09","source":{"repository":"yeho","path":"src/compiler/common/intrinsic_registry.cpp","line":799,"sha256":"e07098e8794c2cde592b3a907d5141cacb101812da91d4a8eb22650739752615"},"status":"registered-intrinsic","notes":["Out-of-range values throw Error with type integer.range. No wrapping or clamping; bool, float and text are rejected.","Contract and host execution evidence: yeho/docs/runtime/hardware-host-tools.md. This small example was type checked, not executed."],"examples":[{"id":"usage","title":"Call Int.From","description":"A complete typed call with illustrative values; native calls require the indicated host and resources.","code":"int value = Int.From(42)\n","manifest":"manifestVersion = \"2\"\npackage = \"api.example.runtime__int_from\"\nversion = \"0.1.0\"\nlanguageEdition = \"yeho-core-2026.1\"\n\n[app]\nkind = \"headless\"\n","tags":["cpu","builtin"],"run":"cpu-oracle","verification":"type checked","sha256":"d7a1d1344cd7855548f821e5c4442cd78bc28df8664a667ec2662e9170cfd260","checked":"2026-09-09","diagnostic":"","observedOutput":null,"checkedBackend":"cpu-oracle"}],"searchTerms":[],"url":"https://demonhunterlabs.com/academy/api?item=runtime--Int.From","json":"https://demonhunterlabs.com/reference/items/runtime--Int.From.json","markdown":"https://demonhunterlabs.com/reference/text/runtime--Int.From.md"}
