{"indexIdentitySha256":"7a0c9e3df7bc0ca7f93fb5481f05bab5bfd78d0ea282f9e9a3b7eb1d94368ad6","kind":"genesis/gc-agent-symbol-index-v0.3","lookup":{"caseSensitive":true,"command":"genesis --json agent-index --symbol <exact-name>","maxResults":1,"normalization":"none"},"profileId":"GC-AGENT-v0.3","profileIdentitySha256":"5869875058acbab1e335ae9581d7f86936a6b7ad7f759da6c70299e7f7668ca9","sourceIdentities":{"crates/gc_cli_driver/src/diagnostics.rs":"57f4f8b7e9057a81c5f641ea8c3a96f3668c0f6935e4b5613637483903802307","crates/gc_coreform/src/fixed_decimal.rs":"be55956b0a833485f7cdda109abf1d6ff71359440616fd4f41249bb45a4032ba","crates/gc_coreform/src/parse.rs":"3dccaa205943c8f4cdfbcc9ea50b4a34336737171c5a6d054a8944ae4d58c439","crates/gc_coreform/src/term.rs":"8d6cd05c43f203e0f653e801e4702df1ae07bb7307ca5d6db6b0ce3d37858c26","crates/gc_effects/src/policy.rs":"df1bf515c29fd078b88908f98c300580a81c4948626cc162ce25b9bec4b3c7c5","crates/gc_kernel/src/error.rs":"2809950c07c0c53101de67031a153c05f23012736a8a5f46ae83e7a7f6180d01","crates/gc_kernel/src/eval.rs":"07b7709f054c8196910713cb7058e792543f4330690ef083ee1f0d683ee8032d","crates/gc_kernel/src/eval_forms.rs":"4d353e8b66f09bb819784e7798a2ba897f25e51087a1ceac79bfbc36b1dba8a1","crates/gc_kernel/src/eval_prims.rs":"fb4dff87bb458558f0233c028c315b651fa315ddc90af32490056ddd64046ef6","crates/gc_kernel/src/eval_prims/int_div.rs":"ba69c937f1332eb21779bca731469d907382d5b07ef0dbb2c10cf6eb0c426bf7","crates/gc_kernel/src/eval_treewalk.rs":"7d908d1172673e1204d52adb9ccf77d7cd5407a28168570ac09cbfb9a9e30d0f","crates/gc_kernel/src/value.rs":"e92c047d5a64a3adf4a5c50fe0960c4f33e3bb7d8fb6084bd7e5a75cd968d5e3","crates/gc_pkg/src/manifest.rs":"d60e84b07dcfc18246bf8587203aa75bf2426dc8ee58262ea7718021e4be3792","crates/gc_prelude/src/prelude.rs":"aecba7320d8716b93a9419737e88abe4ffc9e28985e7a23ab398c45fa94f9ba3","docs/spec/CLI_JSON_SCHEMAS_v0.1.md":"8b56c0249e4de08e00866d2029f95a50f2dfed63e404d077fe5b20c1dd6ef84a","docs/spec/GC_AGENT_PROFILE_v0.3.json":"d68dcb143067afda404e9dce3865e27b1d58e0e039a8f1a622159e467c3f2ada","docs/spec/GC_AGENT_SYMBOL_INDEX_v0.3.schema.json":"0f27aabe83fc3d0e721e2a98f0e7db8f1e9b19022c3c0d763cd096bf6cbc765a","docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json":"d4009ae238f2fb8f6a596f214768e9858e3d944e87ad910998a5ae2a2881ec7c","docs/spec/MODULE_SCOPE.md":"19dd45f791609e244ab1a798c360bb3036ed6aa9e3fa123eeefc7121b43ff788","docs/spec/NUMERIC_PROFILE_v0.1.json":"a1e998667d9d7669740c62a0de2a56320c233f73d5263697d9bba8019ddbc8dc","docs/spec/PACKAGE_TOML.md":"316a0dc82095a93dc4654c14296e21206516791215e4e6c1dd1a4c730fead06e","docs/spec/SEALS_DISPATCH_REPLAY.md":"246d800fea0d0f07ec2d46e56b3a442484c1c8f97abd0d4cb8fd2c97ecf2627f","docs/spec/TEXT_PATH_PROFILE_v0.1.json":"c2eedb2c40d4f4f263bebda1cd5f558b00cb3bb8ada1f5b05d0eb98aa727c53f","genesis.compatibility.json":"d81bc1502ba5194821bc9b28741c2496d943cf27a95d140d6f95a698c10a0fc9","genesis.version-surfaces.json":"643402a19527b77ef0432b7a0197d4ee658e413640961e0b93d826f8801e3278","policies/gc_agent_symbol_index_v0.3.json":"b65ca7162652c1c624efc72336d679feec3ce160fcb38fc78d3dbf6e9e74fc52"},"symbolCount":176,"symbols":[{"capabilities":["artifact write capability during run only"],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["records deterministic runner effects"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: .gclog"}],"profileStatus":"profile-selected","signature":{"kind":"identifier","notation":"stable profile identifier: .gclog","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":".gclog"},{"capabilities":[],"contracts":["A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound"],"domains":["modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ModuleMetadata|Binding","id":"usage-template","source":"module declaration or metadata key: ::meta"}],"profileStatus":"core","signature":{"kind":"declaration","notation":"module declaration or metadata key: ::meta","parameters":[],"returns":"ModuleMetadata|Binding"},"sources":[{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":"::meta"},{"capabilities":[],"contracts":["A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound"],"domains":["modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ModuleMetadata|Binding","id":"usage-template","source":"module declaration or metadata key: :caps"}],"profileStatus":"core","signature":{"kind":"declaration","notation":"module declaration or metadata key: :caps","parameters":[],"returns":"ModuleMetadata|Binding"},"sources":[{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":":caps"},{"capabilities":[],"contracts":["A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound"],"domains":["modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ModuleMetadata|Binding","id":"usage-template","source":"module declaration or metadata key: :exports"}],"profileStatus":"core","signature":{"kind":"declaration","notation":"module declaration or metadata key: :exports","parameters":[],"returns":"ModuleMetadata|Binding"},"sources":[{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":":exports"},{"capabilities":[],"contracts":["A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound"],"domains":["modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ModuleMetadata|Binding","id":"usage-template","source":"module declaration or metadata key: :types"}],"profileStatus":"core","signature":{"kind":"declaration","notation":"module declaration or metadata key: :types","parameters":[],"returns":"ModuleMetadata|Binding"},"sources":[{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":":types"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: BadForm"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: BadForm","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"BadForm"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"runtime/coreform value kind: Bool"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Bool","parameters":[],"returns":"Bool"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Bool"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"runtime/coreform value kind: Bytes"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Bytes","parameters":[],"returns":"Bytes"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Bytes"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Closure","id":"usage-template","source":"runtime/coreform value kind: Closure"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Closure","parameters":[],"returns":"Closure"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Closure"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CompiledClosure","id":"usage-template","source":"runtime/coreform value kind: CompiledClosure"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: CompiledClosure","parameters":[],"returns":"CompiledClosure"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"CompiledClosure"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Contract","id":"usage-template","source":"runtime/coreform value kind: Contract"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Contract","parameters":[],"returns":"Contract"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Contract"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Data","id":"usage-template","source":"runtime/coreform value kind: Data"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Data","parameters":[],"returns":"Data"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Data"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: EFFECT"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: EFFECT","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"EFFECT"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: ERROR"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: ERROR","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"ERROR"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"EffectProgram","id":"usage-template","source":"runtime/coreform value kind: EffectProgram"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: EffectProgram","parameters":[],"returns":"EffectProgram"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"EffectProgram"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"EffectRequest","id":"usage-template","source":"runtime/coreform value kind: EffectRequest"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: EffectRequest","parameters":[],"returns":"EffectRequest"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"EffectRequest"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: GC-AGENT-v0.3"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: GC-AGENT-v0.3","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"GC-AGENT-v0.3"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation.","User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit","Type"],"domains":["coreform-mapping","values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"runtime/coreform value kind: Int"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Int","parameters":[],"returns":"Int"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"},{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Int"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: Internal"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: Internal","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"Internal"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation.","User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit","Type"],"domains":["coreform-mapping","values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"runtime/coreform value kind: Map"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Map","parameters":[],"returns":"Map"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"},{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Map"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: MemoryLimit"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: MemoryLimit","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"MemoryLimit"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"NativeFn","id":"usage-template","source":"runtime/coreform value kind: NativeFn"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: NativeFn","parameters":[],"returns":"NativeFn"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"NativeFn"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Nil","id":"usage-template","source":"runtime/coreform value kind: Nil"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Nil","parameters":[],"returns":"Nil"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Nil"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: NotCallable"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: NotCallable","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"NotCallable"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Pair","id":"usage-template","source":"runtime/coreform value kind: Pair"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Pair","parameters":[],"returns":"Pair"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Pair"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"SealToken","id":"usage-template","source":"runtime/coreform value kind: SealToken"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: SealToken","parameters":[],"returns":"SealToken"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"SealToken"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Sealed","id":"usage-template","source":"runtime/coreform value kind: Sealed"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Sealed","parameters":[],"returns":"Sealed"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Sealed"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: StepLimit"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: StepLimit","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"StepLimit"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"runtime/coreform value kind: Str"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Str","parameters":[],"returns":"Str"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Str"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit"],"domains":["coreform-mapping"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Symbol","id":"usage-template","source":"runtime/coreform value kind: Symbol"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Symbol","parameters":[],"returns":"Symbol"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"}],"symbol":"Symbol"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: Type"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: Type","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"Type"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: UNHANDLED"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: UNHANDLED","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"UNHANDLED"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: Unbound"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: Unbound","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"Unbound"},{"capabilities":[],"contracts":["Source atoms and collections map to the nine canonical Term variants.","Lists are proper Pair/Nil chains and maps use deterministic structural key ordering.","Canonical identity uses genesis/hash-profile/gcv0.2-blake3 and GCv0.2 NUL domain separation.","User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","MemoryLimit","Type"],"domains":["coreform-mapping","values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Vector","id":"usage-template","source":"runtime/coreform value kind: Vector"}],"profileStatus":"core","signature":{"kind":"value-kind","notation":"runtime/coreform value kind: Vector","parameters":[],"returns":"Vector"},"sources":[{"anchors":["pub const COREFORM_PROFILE_ID","pub enum Term","Term::Map","HASH_DOMAIN_PREFIX"],"path":"crates/gc_coreform/src/term.rs"},{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"Vector"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: allow_unlimited","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"allow_unlimited"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value; source n-ary sugar is curried","id":"usage-template","source":"(callable argument...) -> Value; source n-ary sugar is curried"}],"profileStatus":"core","signature":{"kind":"form","notation":"(callable argument...) -> Value; source n-ary sugar is curried","parameters":[],"returns":"Value; source n-ary sugar is curried"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"application"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"StepLimit","id":"step-limit","source":"(begin 1 2 3 4)"}],"profileStatus":"core","signature":{"kind":"form","notation":"(begin expression...) -> Value; evaluates left-to-right","parameters":[],"returns":"Value; evaluates left-to-right"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"begin"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: budgets"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: budgets","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"budgets"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form bytes -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form bytes -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"bytes"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim bytes/concat arg1:Bytes arg2:Bytes) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/concat arg1:Bytes arg2:Bytes) -> Bytes","parameters":["Bytes","Bytes"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/concat"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim bytes/from-hex arg1:Str) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/from-hex arg1:Str) -> Bytes","parameters":["Str"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/from-hex"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int|Nil","id":"usage-template","source":"(prim bytes/get arg1:Bytes arg2:Int) -> Int|Nil"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/get arg1:Bytes arg2:Int) -> Int|Nil","parameters":["Bytes","Int"],"returns":"Int|Nil"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/get"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim bytes/join arg1:Bytes arg2:Vector<Bytes>) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/join arg1:Bytes arg2:Vector<Bytes>) -> Bytes","parameters":["Bytes","Vector<Bytes>"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/join"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim bytes/len arg1:Bytes) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/len arg1:Bytes) -> Int","parameters":["Bytes"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim bytes/slice arg1:Bytes arg2:Int arg3:Int) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/slice arg1:Bytes arg2:Int arg3:Int) -> Bytes","parameters":["Bytes","Int","Int"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/slice"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim bytes/to-hex arg1:Bytes) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/to-hex arg1:Bytes) -> Str","parameters":["Bytes"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/to-hex"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim bytes/to-str-utf8 arg1:Bytes) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim bytes/to-str-utf8 arg1:Bytes) -> Str","parameters":["Bytes"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"bytes/to-str-utf8"},{"capabilities":["explicit deny-by-default operation allowlist"],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["authorizes runner effects; has no kernel effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: caps.toml"}],"profileStatus":"profile-selected","signature":{"kind":"identifier","notation":"stable profile identifier: caps.toml","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"caps.toml"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: caps_policy"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: caps_policy","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"caps_policy"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"unicode-symbol-and-comment","source":"; comment\n\u03bb/identity"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form comment -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"comment"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value|UNHANDLED","id":"usage-template","source":"(core/contract::dispatch arg1:Contract arg2:Message) -> Value|UNHANDLED"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::dispatch arg1:Contract arg2:Message) -> Value|UNHANDLED","parameters":["Contract","Message"],"returns":"Value|UNHANDLED"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::dispatch"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"(core/contract::explain arg1:Contract arg2:Message) -> Map"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::explain arg1:Contract arg2:Message) -> Map","parameters":["Contract","Message"],"returns":"Map"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::explain"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Contract","id":"usage-template","source":"(core/contract::extend arg1:Contract arg2:Map<Symbol,Handler> arg3:Map) -> Contract"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::extend arg1:Contract arg2:Map<Symbol,Handler> arg3:Map) -> Contract","parameters":["Contract","Map<Symbol,Handler>","Map"],"returns":"Contract"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::extend"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Contract","id":"eval-contract","source":"core/contract::genesis"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: core/contract::genesis","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::genesis"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Contract","id":"usage-template","source":"(core/contract::make arg1:Contract|Nil arg2:Map<Symbol,Handler> arg3:Map) -> Contract"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::make arg1:Contract|Nil arg2:Map<Symbol,Handler> arg3:Map) -> Contract","parameters":["Contract|Nil","Map<Symbol,Handler>","Map"],"returns":"Contract"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::make"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"(core/contract::meta arg1:Contract) -> Map"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::meta arg1:Contract) -> Map","parameters":["Contract"],"returns":"Map"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::meta"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Contract|Nil","id":"usage-template","source":"(core/contract::proto arg1:Contract) -> Contract|Nil"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::proto arg1:Contract) -> Contract|Nil","parameters":["Contract"],"returns":"Contract|Nil"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::proto"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes32","id":"usage-template","source":"(core/contract::shape arg1:Contract) -> Bytes32"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/contract::shape arg1:Contract) -> Bytes32","parameters":["Contract"],"returns":"Bytes32"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/contract::shape"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["composes deferred effects; performs no host effect in the kernel"],"examples":[{"expected":"EffectProgram<B>","id":"usage-template","source":"(core/effect::bind arg1:EffectProgram<A> arg2:Fn<A,EffectProgram<B>>) -> EffectProgram<B>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::bind arg1:EffectProgram<A> arg2:Fn<A,EffectProgram<B>>) -> EffectProgram<B>","parameters":["EffectProgram<A>","Fn<A,EffectProgram<B>>"],"returns":"EffectProgram<B>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::bind"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["handles a sealed deferred effect error"],"examples":[{"expected":"EffectProgram<A>","id":"usage-template","source":"(core/effect::catch arg1:EffectProgram<A> arg2:Fn<ERROR,EffectProgram<A>>) -> EffectProgram<A>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::catch arg1:EffectProgram<A> arg2:Fn<ERROR,EffectProgram<A>>) -> EffectProgram<A>","parameters":["EffectProgram<A>","Fn<ERROR,EffectProgram<A>>"],"returns":"EffectProgram<A>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::catch"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["handles a sealed deferred effect error payload"],"examples":[{"expected":"EffectProgram<A>","id":"usage-template","source":"(core/effect::catch-payload arg1:EffectProgram<A> arg2:Fn<Data,EffectProgram<A>>) -> EffectProgram<A>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::catch-payload arg1:EffectProgram<A> arg2:Fn<Data,EffectProgram<A>>) -> EffectProgram<A>","parameters":["EffectProgram<A>","Fn<Data,EffectProgram<A>>"],"returns":"EffectProgram<A>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::catch-payload"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["maps a pure function over a deferred effect result"],"examples":[{"expected":"EffectProgram<B>","id":"usage-template","source":"(core/effect::map arg1:EffectProgram<A> arg2:Fn<A,B>) -> EffectProgram<B>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::map arg1:EffectProgram<A> arg2:Fn<A,B>) -> EffectProgram<B>","parameters":["EffectProgram<A>","Fn<A,B>"],"returns":"EffectProgram<B>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::map"},{"capabilities":["capability named by the effect operation"],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["describes one deferred host effect; execution is runner-mediated"],"examples":[{"expected":"EffectProgram<Value>","id":"usage-template","source":"(core/effect::perform arg1:Symbol arg2:Data arg3:Map) -> EffectProgram<Value>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::perform arg1:Symbol arg2:Data arg3:Map) -> EffectProgram<Value>","parameters":["Symbol","Data","Map"],"returns":"EffectProgram<Value>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::perform"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["constructs a pure EffectProgram; performs no host effect"],"examples":[{"expected":"EffectProgram","id":"eval-effect-program","source":"(core/effect::pure 1)"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::pure arg1:Value) -> EffectProgram<Value>","parameters":["Value"],"returns":"EffectProgram<Value>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::pure"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["sequences deferred effect programs"],"examples":[{"expected":"EffectProgram<B>","id":"usage-template","source":"(core/effect::then arg1:EffectProgram<A> arg2:EffectProgram<B>) -> EffectProgram<B>"}],"profileStatus":"profile-selected","signature":{"kind":"callable","notation":"(core/effect::then arg1:EffectProgram<A> arg2:EffectProgram<B>) -> EffectProgram<B>","parameters":["EffectProgram<A>","EffectProgram<B>"],"returns":"EffectProgram<B>"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"core/effect::then"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim core/eq? arg1:Value arg2:Value) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim core/eq? arg1:Value arg2:Value) -> Bool","parameters":["Value","Value"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"core/eq?"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Message","id":"usage-template","source":"(core/msg::make arg1:Symbol arg2:Data) -> Message"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/msg::make arg1:Symbol arg2:Data) -> Message","parameters":["Symbol","Data"],"returns":"Message"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/msg::make"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Symbol","id":"usage-template","source":"(core/msg::op arg1:Message) -> Symbol"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/msg::op arg1:Message) -> Symbol","parameters":["Message"],"returns":"Symbol"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/msg::op"},{"capabilities":[],"contracts":["Dispatch calls the current handler and follows proto only for the trusted sealed UNHANDLED result.","Contract shape and identity are deterministic; explain reports the same dispatch path without broadening capability policy.","Messages are canonical op/payload data created and inspected through core/msg bindings."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["Type","UNHANDLED","ERROR"],"domains":["contracts"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Data","id":"usage-template","source":"(core/msg::payload arg1:Message) -> Data"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(core/msg::payload arg1:Message) -> Data","parameters":["Message"],"returns":"Data"},"sources":[{"anchors":["core/contract::make","core/contract::extend","core/contract::dispatch","core/contract::explain","core/contract::genesis"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["pub struct Contract","shape_id","contract_id"],"path":"crates/gc_kernel/src/value.rs"}],"symbol":"core/msg::payload"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim coreform/escape-bytes arg1:Bytes) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim coreform/escape-bytes arg1:Bytes) -> Str","parameters":["Bytes"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"coreform/escape-bytes"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim coreform/escape-str arg1:Str) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim coreform/escape-str arg1:Str) -> Str","parameters":["Str"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"coreform/escape-str"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes32","id":"usage-template","source":"(prim crypto/blake3 arg1:Bytes) -> Bytes32"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim crypto/blake3 arg1:Bytes) -> Bytes32","parameters":["Bytes"],"returns":"Bytes32"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"crypto/blake3"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Symbol","id":"usage-template","source":"(prim data/tag arg1:Data) -> Symbol"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim data/tag arg1:Data) -> Symbol","parameters":["Data"],"returns":"Symbol"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"data/tag"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Dec","id":"usage-template","source":"(prim dec/add arg1:Dec arg2:Dec) -> Dec"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/add arg1:Dec arg2:Dec) -> Dec","parameters":["Dec","Dec"],"returns":"Dec"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/add"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim dec/eq? arg1:Dec arg2:Dec) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/eq? arg1:Dec arg2:Dec) -> Bool","parameters":["Dec","Dec"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/eq?"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Dec","id":"usage-template","source":"(prim dec/from-int arg1:Int) -> Dec"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/from-int arg1:Int) -> Dec","parameters":["Int"],"returns":"Dec"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/from-int"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim dec/lt? arg1:Dec arg2:Dec) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/lt? arg1:Dec arg2:Dec) -> Bool","parameters":["Dec","Dec"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/lt?"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Dec","id":"usage-template","source":"(prim dec/mul arg1:Dec arg2:Dec) -> Dec"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/mul arg1:Dec arg2:Dec) -> Dec","parameters":["Dec","Dec"],"returns":"Dec"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/mul"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Dec","id":"usage-template","source":"(prim dec/parse arg1:Str) -> Dec"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/parse arg1:Str) -> Dec","parameters":["Str"],"returns":"Dec"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/parse"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Dec","id":"usage-template","source":"(prim dec/sub arg1:Dec arg2:Dec) -> Dec"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/sub arg1:Dec arg2:Dec) -> Dec","parameters":["Dec","Dec"],"returns":"Dec"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/sub"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim dec/to-str arg1:Dec) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim dec/to-str arg1:Dec) -> Str","parameters":["Dec"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"dec/to-str"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions.","A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation","modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"module binding; top-level only","id":"usage-template","source":"(def name expression) -> module binding; top-level only"}],"profileStatus":"core","signature":{"kind":"form","notation":"(def name expression) -> module binding; top-level only","parameters":[],"returns":"module binding; top-level only"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":"def"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: dependencies","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"dependencies"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"lexical-atoms","source":"nil true false 0 -1 \"x\\n\" b\"\\x41\" symbol :keyword"},{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form false -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"false"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"6","id":"eval-lexical-closure","source":"(let ((x 2)) ((fn (y) (prim int/mul x y)) 3))"}],"profileStatus":"core","signature":{"kind":"form","notation":"(fn (parameter...) body...) -> Closure","parameters":[],"returns":"Closure"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"fn"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis-lock-v2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis-lock-v2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis-lock-v2"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/coreform/v0.2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/coreform/v0.2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/coreform/v0.2"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/diagnostic-catalog-v0.1"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/diagnostic-catalog-v0.1","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"genesis/diagnostic-catalog-v0.1"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1"],"domains":["errors"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/diagnostic/v1"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/diagnostic/v1","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"genesis/diagnostic/v1"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed.","GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1","compatibility/unsupported-version"],"domains":["errors","compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/diagnostics-schema-v1"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/diagnostics-schema-v1","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"},{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/diagnostics-schema-v1"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/effect-log/v3"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/effect-log/v3","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/effect-log/v3"},{"capabilities":[],"contracts":["User input failures return explicit Rust Result internally, sealed ERROR values at runtime boundaries, or structured CLI diagnostics.","UNHANDLED, EFFECT, and ERROR recognition requires trusted Prelude-created seals.","CLI failures use genesis/error-v0.2 plus genesis/diagnostics-schema-v1 and stable nonzero exit classes.","Every emitted CLI code resolves to one versioned genesis/diagnostic/v1 record with phase, span contract, structured parameters, causes, safe repairs, documentation, and source authorities; unknown codes fail closed.","GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["genesis/error-v0.2","genesis/diagnostics-schema-v1","compatibility/unsupported-version"],"domains":["errors","compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/error-v0.2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/error-v0.2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["pub enum KernelErrorKind","BadForm","StepLimit","MemoryLimit"],"path":"crates/gc_kernel/src/error.rs"},{"anchors":["DIAGNOSTICS_SCHEMA_V1","embedded_diagnostic_catalog","primary_span","safe_repair_actions"],"path":"crates/gc_cli_driver/src/diagnostics.rs"},{"anchors":["catalogIdentitySha256","diagnosticCount","safeRepairActions"],"path":"docs/spec/GC_DIAGNOSTIC_CATALOG_v0.1.schema.json"},{"anchors":["Failure diagnostics","Unknown emitted codes","separate, explicit policy"],"path":"docs/spec/CLI_JSON_SCHEMAS_v0.1.md"},{"anchors":["UNHANDLED/EFFECT/ERROR must be created by sealing"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"},{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/error-v0.2"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/hash-profile/gcv0.2-blake3"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/hash-profile/gcv0.2-blake3","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/hash-profile/gcv0.2-blake3"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/language-profile/v0.2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/language-profile/v0.2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/language-profile/v0.2"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: genesis/value-effect-hash/v0.2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: genesis/value-effect-hash/v0.2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"genesis/value-effect-hash/v0.2"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: gfx"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: gfx","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"gfx"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: gpk-v2"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: gpk-v2","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"gpk-v2"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value; exactly one branch is evaluated","id":"usage-template","source":"(if condition then else) -> Value; exactly one branch is evaluated"}],"profileStatus":"core","signature":{"kind":"form","notation":"(if condition then else) -> Value; exactly one branch is evaluated","parameters":[],"returns":"Value; exactly one branch is evaluated"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"if"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"42","id":"eval-arithmetic","source":"(prim int/add 20 22)"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/add arg1:Int arg2:Int) -> Int","parameters":["Int","Int"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/add"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"-3","id":"eval-euclidean-division","source":"(prim int/div -7 3)"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/div arg1:Int arg2:Int) -> Int","parameters":["Int","Int"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/div"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim int/eq? arg1:Int arg2:Int) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/eq? arg1:Int arg2:Int) -> Bool","parameters":["Int","Int"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/eq?"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim int/lt? arg1:Int arg2:Int) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/lt? arg1:Int arg2:Int) -> Bool","parameters":["Int","Int"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/lt?"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Sealed","id":"eval-zero-divisor-sealed-error","source":"(prim int/mod 7 0)"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/mod arg1:Int arg2:Int) -> Int","parameters":["Int","Int"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/mod"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"6","id":"eval-lexical-closure","source":"(let ((x 2)) ((fn (y) (prim int/mul x y)) 3))"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/mul arg1:Int arg2:Int) -> Int","parameters":["Int","Int"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/mul"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim int/sub arg1:Int arg2:Int) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/sub arg1:Int arg2:Int) -> Int","parameters":["Int","Int"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/sub"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim int/to-str arg1:Int) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim int/to-str arg1:Int) -> Str","parameters":["Int"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"int/to-str"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form integer -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form integer -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"integer"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"6","id":"eval-lexical-closure","source":"(let ((x 2)) ((fn (y) (prim int/mul x y)) 3))"}],"profileStatus":"core","signature":{"kind":"form","notation":"(let ((name expression)...) body...) -> Value","parameters":[],"returns":"Value"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"let"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: limits","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"limits"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form list -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form list -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"list"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim list/is-nil? arg1:Data) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim list/is-nil? arg1:Data) -> Bool","parameters":["Data"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"list/is-nil?"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form map -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form map -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"map"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Vector<[Data Data]>","id":"usage-template","source":"(prim map/entries arg1:Map) -> Vector<[Data Data]>"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/entries arg1:Map) -> Vector<[Data Data]>","parameters":["Map"],"returns":"Vector<[Data Data]>"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/entries"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"(prim map/from-entries arg1:Vector<[Data Data]>) -> Map"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/from-entries arg1:Vector<[Data Data]>) -> Map","parameters":["Vector<[Data Data]>"],"returns":"Map"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/from-entries"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value|Nil","id":"usage-template","source":"(prim map/get arg1:Map arg2:Data) -> Value|Nil"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/get arg1:Map arg2:Data) -> Value|Nil","parameters":["Map","Data"],"returns":"Value|Nil"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/get"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim map/len arg1:Map) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/len arg1:Map) -> Int","parameters":["Map"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"(prim map/merge arg1:Map arg2:Map) -> Map"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/merge arg1:Map arg2:Map) -> Map","parameters":["Map","Map"],"returns":"Map"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/merge"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Map","id":"usage-template","source":"(prim map/put arg1:Map arg2:Data arg3:Value) -> Map"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim map/put arg1:Map arg2:Data arg3:Value) -> Map","parameters":["Map","Data","Value"],"returns":"Map"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"map/put"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_alloc_units"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_alloc_units","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_alloc_units"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_bytes_len"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_bytes_len","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_bytes_len"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_effect_entries_per_test"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_effect_entries_per_test","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_effect_entries_per_test"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_effect_log_bytes_per_test"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_effect_log_bytes_per_test","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_effect_log_bytes_per_test"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_effect_ops"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_effect_ops","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_effect_ops"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_live_units"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_live_units","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_live_units"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_map_len"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_map_len","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_map_len"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_pair_cells"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_pair_cells","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_pair_cells"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_payload_bytes_per_op"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_payload_bytes_per_op","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_payload_bytes_per_op"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_payload_bytes_per_run"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_payload_bytes_per_run","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_payload_bytes_per_run"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_response_bytes_per_op"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_response_bytes_per_op","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_response_bytes_per_op"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_response_bytes_per_run"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_response_bytes_per_run","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_response_bytes_per_run"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_steps_per_test"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_steps_per_test","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_steps_per_test"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_string_len"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_string_len","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_string_len"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: max_vec_len"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: max_vec_len","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"max_vec_len"},{"capabilities":[],"contracts":["A module is an ordered sequence of CoreForm forms with top-level def bindings.","Exported symbols use module-path::name and package metadata declares :caps, :exports, and :types.","Canonical module hashing is independent of absolute filesystem paths."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound"],"domains":["modules"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ModuleMetadata|Binding","id":"usage-template","source":"module declaration or metadata key: module-path::name"}],"profileStatus":"core","signature":{"kind":"declaration","notation":"module declaration or metadata key: module-path::name","parameters":[],"returns":"ModuleMetadata|Binding"},"sources":[{"anchors":["pub(super) fn eval_module","fn parse_def"],"path":"crates/gc_kernel/src/eval_forms.rs"},{"anchors":["A module is a vector/list of CoreForm terms evaluated left-to-right.","def` is only recognized at the **top level**"],"path":"docs/spec/MODULE_SCOPE.md"}],"symbol":"module-path::name"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: modules","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"modules"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: name","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"name"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"lexical-atoms","source":"nil true false 0 -1 \"x\\n\" b\"\\x41\" symbol :keyword"},{"expected":"MemoryLimit","id":"allocation-unit-limit","source":"nil"},{"expected":"MemoryLimit","id":"live-unit-limit","source":"nil"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form nil -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"nil"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: obligations","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"obligations"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: package-schema-1"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: package-schema-1","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"package-schema-1"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Vector<Data>|Nil","id":"usage-template","source":"(prim pair/as-proper-list arg1:Pair|Nil) -> Vector<Data>|Nil"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim pair/as-proper-list arg1:Pair|Nil) -> Vector<Data>|Nil","parameters":["Pair|Nil"],"returns":"Vector<Data>|Nil"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"pair/as-proper-list"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Data","id":"usage-template","source":"(prim pair/car arg1:Pair) -> Data"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim pair/car arg1:Pair) -> Data","parameters":["Pair"],"returns":"Data"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"pair/car"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Data","id":"usage-template","source":"(prim pair/cdr arg1:Pair) -> Data"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim pair/cdr arg1:Pair) -> Data","parameters":["Pair"],"returns":"Data"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"pair/cdr"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Pair","id":"usage-template","source":"(prim pair/cons arg1:Data arg2:Data) -> Pair"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim pair/cons arg1:Data arg2:Data) -> Pair","parameters":["Data","Data"],"returns":"Pair"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"pair/cons"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"42","id":"eval-arithmetic","source":"(prim int/add 20 22)"},{"expected":"-3","id":"eval-euclidean-division","source":"(prim int/div -7 3)"},{"expected":"Sealed","id":"eval-zero-divisor-sealed-error","source":"(prim int/mod 7 0)"},{"expected":"6","id":"eval-lexical-closure","source":"(let ((x 2)) ((fn (y) (prim int/mul x y)) 3))"}],"profileStatus":"core","signature":{"kind":"form","notation":"(prim primitive-name argument...) -> Value","parameters":[],"returns":"Value"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"prim"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: property"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: property","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"property"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: property_tests"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: property_tests","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"property_tests"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols.","Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["lexical-grammar","evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Data; datum is not evaluated","id":"usage-template","source":"(quote datum) -> Data; datum is not evaluated"}],"profileStatus":"core","signature":{"kind":"form","notation":"(quote datum) -> Data; datum is not evaluated","parameters":[],"returns":"Data; datum is not evaluated"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"},{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"quote"},{"capabilities":[],"contracts":["Effects are explicit Pure or Perform programs; kernel evaluation performs no host operation.","The host runner denies every operation absent from caps.toml and records deterministic replay facts.","Replay consumes entries in order and rejects operation, hash, decision, capability, or scheduler mismatch."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["EFFECT","ERROR","replay/mismatch","caps/denied"],"domains":["effects"],"effects":["consumes recorded effects without external I/O"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: replay"}],"profileStatus":"profile-selected","signature":{"kind":"identifier","notation":"stable profile identifier: replay","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["core/effect::pure","core/effect::perform","core/effect::bind"],"path":"crates/gc_prelude/src/prelude.rs"},{"anchors":["Runner is deny-by-default","Every performed effect appends a deterministic log entry"],"path":"docs/spec/SEALS_DISPATCH_REPLAY.md"}],"symbol":"replay"},{"capabilities":[],"contracts":["GC-AGENT-v0.3 names a training surface over the current v0.2 runtime identities; it does not rename serialized formats.","All genesis/compat/v1 IDs remain permanently reserved but not stable until R9 freeze requirements pass.","Unknown future discriminators fail closed and every accepted predecessor has a migration record."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["compatibility/unsupported-version"],"domains":["compatibility-identifiers"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Identifier","id":"usage-template","source":"stable profile identifier: reserved-not-stable"}],"profileStatus":"core","signature":{"kind":"identifier","notation":"stable profile identifier: reserved-not-stable","parameters":[],"returns":"Identifier"},"sources":[{"anchors":["release_train","canonical-hash-profile","effect-log"],"path":"genesis.version-surfaces.json"},{"anchors":["reserved-not-stable","genesis/compat/v1/language-profile","genesis/compat/v1/bytecode"],"path":"genesis.compatibility.json"}],"symbol":"reserved-not-stable"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: schema","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"schema"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Sealed","id":"usage-template","source":"(seal token value) -> Sealed"}],"profileStatus":"core","signature":{"kind":"form","notation":"(seal token value) -> Sealed","parameters":[],"returns":"Sealed"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"seal"},{"capabilities":[],"contracts":["The default kernel step limit is 50000000; package limits may only tighten effective limits unless allow_unlimited is explicitly true.","Kernel memory limits are deterministic semantic counters rather than host RSS estimates; allocation/live units follow the normative value-graph schedule.","Effect runtime policy independently bounds operation count and per-op/per-run payload and response bytes."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["StepLimit","MemoryLimit","ERROR"],"domains":["resource-limits"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: step_limit","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["DEFAULT_STEP_LIMIT","pub struct MemLimits","max_alloc_units","max_live_units","max_pair_cells","max_string_len"],"path":"crates/gc_kernel/src/eval.rs"},{"anchors":["pub struct Limits","pub struct Budgets","allow_unlimited"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["pub struct RuntimePolicy","max_effect_ops","max_response_bytes_per_run"],"path":"crates/gc_effects/src/policy.rs"}],"symbol":"step_limit"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim str/concat arg1:Str arg2:Str) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/concat arg1:Str arg2:Str) -> Str","parameters":["Str","Str"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/concat"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim str/grapheme-len arg1:Str) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/grapheme-len arg1:Str) -> Int","parameters":["Str"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/grapheme-len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim str/grapheme-slice arg1:Str arg2:Int arg3:Int) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/grapheme-slice arg1:Str arg2:Int arg3:Int) -> Str","parameters":["Str","Int","Int"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/grapheme-slice"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim str/join arg1:Str arg2:Vector<Str>) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/join arg1:Str arg2:Vector<Str>) -> Str","parameters":["Str","Vector<Str>"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/join"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim str/len arg1:Str) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/len arg1:Str) -> Int","parameters":["Str"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim str/nfc arg1:Str) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/nfc arg1:Str) -> Str","parameters":["Str"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/nfc"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim str/repeat arg1:Str arg2:Int) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/repeat arg1:Str arg2:Int) -> Str","parameters":["Str","Int"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/repeat"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim str/scalar-len arg1:Str) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/scalar-len arg1:Str) -> Int","parameters":["Str"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/scalar-len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim str/to-bytes-utf8 arg1:Str) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim str/to-bytes-utf8 arg1:Str) -> Bytes","parameters":["Str"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"str/to-bytes-utf8"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form string -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form string -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"string"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bool","id":"usage-template","source":"(prim sym/eq? arg1:Symbol arg2:Symbol) -> Bool"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim sym/eq? arg1:Symbol arg2:Symbol) -> Bool","parameters":["Symbol","Symbol"],"returns":"Bool"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"sym/eq?"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Symbol","id":"usage-template","source":"(prim sym/from-str arg1:Str) -> Symbol"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim sym/from-str arg1:Str) -> Symbol","parameters":["Str"],"returns":"Symbol"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"sym/from-str"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Str","id":"usage-template","source":"(prim sym/to-str arg1:Symbol) -> Str"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim sym/to-str arg1:Symbol) -> Str","parameters":["Symbol"],"returns":"Str"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"sym/to-str"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"lexical-atoms","source":"nil true false 0 -1 \"x\\n\" b\"\\x41\" symbol :keyword"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form symbol -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"symbol"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"ConfiguredValue","id":"usage-template","source":"reviewed manifest/policy field: tests"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: tests","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"tests"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"lexical-atoms","source":"nil true false 0 -1 \"x\\n\" b\"\\x41\" symbol :keyword"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form true -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"true"},{"capabilities":[],"contracts":["Evaluation is pure and deterministic inside the kernel.","def is valid only at module top level; fn and application accept source-level n-ary sugar but evaluate as curried application.","if, begin, let, and the final closure application are tail-position aware.","Map keys are data and map values are evaluated expressions."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Unbound","NotCallable","StepLimit","MemoryLimit"],"domains":["evaluation"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value|Nil","id":"usage-template","source":"(unseal token sealed-value) -> Value|Nil"}],"profileStatus":"core","signature":{"kind":"form","notation":"(unseal token sealed-value) -> Value|Nil","parameters":[],"returns":"Value|Nil"},"sources":[{"anchors":["Special forms keyed by head symbol","\"quote\" =>","\"fn\" =>","\"if\" =>","\"begin\" =>","\"let\" =>","\"prim\" =>","\"seal\" =>","\"unseal\" =>"],"path":"crates/gc_kernel/src/eval_treewalk.rs"},{"anchors":["pub(super) fn eval_module","parse_def","Desugar multi-arg lambda into nested unary closures"],"path":"crates/gc_kernel/src/eval_forms.rs"}],"symbol":"unseal"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Bytes","id":"usage-template","source":"(prim utf8/encode-codepoint arg1:Int) -> Bytes"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim utf8/encode-codepoint arg1:Int) -> Bytes","parameters":["Int"],"returns":"Bytes"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"utf8/encode-codepoint"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Value|Nil","id":"usage-template","source":"(prim vec/get arg1:Vector arg2:Int) -> Value|Nil"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim vec/get arg1:Vector arg2:Int) -> Value|Nil","parameters":["Vector","Int"],"returns":"Value|Nil"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"vec/get"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Int","id":"usage-template","source":"(prim vec/len arg1:Vector) -> Int"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim vec/len arg1:Vector) -> Int","parameters":["Vector"],"returns":"Int"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"vec/len"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Vector","id":"usage-template","source":"(prim vec/push arg1:Vector arg2:Value) -> Vector"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim vec/push arg1:Vector arg2:Value) -> Vector","parameters":["Vector","Value"],"returns":"Vector"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"vec/push"},{"capabilities":[],"contracts":["User-visible immutable data is represented by canonical CoreForm or persistent vectors/maps.","Closures, seals, native functions, contracts, and effect programs are opaque runtime values with stable hashing rules.","Primitive names are an exact allowlist; an unknown primitive is an error.","Int is signed arbitrary precision; int/div and int/mod use Euclidean division with 0 <= remainder < abs(divisor), and a zero divisor returns a trusted sealed core/numeric-error.","Dec is an opaque canonical fixed-decimal value with a maximum scale of 4096; construction and arithmetic that exceed the bound return a trusted sealed core/numeric-error.","Str identity is exact UTF-8: no implicit normalization or folding; str/len counts bytes; Unicode 17 scalar/grapheme APIs and str/nfc are explicit.","Effect paths are Unicode 17 NFC, base-relative, slash-only, case-exact, locale-free, and lossless."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm","Type","MemoryLimit"],"domains":["values"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"Vector","id":"usage-template","source":"(prim vec/set arg1:Vector arg2:Int arg3:Value) -> Vector"}],"profileStatus":"core","signature":{"kind":"callable","notation":"(prim vec/set arg1:Vector arg2:Int arg3:Value) -> Vector","parameters":["Vector","Int","Value"],"returns":"Vector"},"sources":[{"anchors":["pub enum Value","CompiledClosure","SealToken","EffectProgram","EffectRequest"],"path":"crates/gc_kernel/src/value.rs"},{"anchors":["\"int/add\"","\"vec/get\"","\"map/put\"","\"crypto/blake3\""],"path":"crates/gc_kernel/src/eval_prims.rs"},{"anchors":["pub(super) fn prim_int_div_mod","pub(super) fn prim_int_div_mod_values","\"int/div\"","\"int/mod\""],"path":"crates/gc_kernel/src/eval_prims/int_div.rs"},{"anchors":["pub const MAX_FIXED_DECIMAL_SCALE: u32 = 4096","pub fn from_unscaled","pub fn parse","pub fn mul"],"path":"crates/gc_coreform/src/fixed_decimal.rs"},{"anchors":["genesis/numeric-profile-v0.1","euclidean","core/numeric-error","\"maxScale\": 4096","No Core float"],"path":"docs/spec/NUMERIC_PROFILE_v0.1.json"},{"anchors":["genesis/text-path-profile-v0.1","\"version\": \"17.0.0\"","exact-utf8-scalar-sequence-no-implicit-normalization","core/text-range-error","capability-base-relative-no-host-prefix"],"path":"docs/spec/TEXT_PATH_PROFILE_v0.1.json"}],"symbol":"vec/set"},{"capabilities":[],"contracts":["Whitespace is space, tab, LF, or CR; semicolon comments end at LF.","Integers are base-10 with an optional leading minus and arbitrary source precision.","Strings and bytes support backslash, quote, n, r, t, xNN, and uNNNN escapes.","A leading quote desugars exactly to (quote datum); colon-prefixed keywords remain symbols."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["BadForm"],"domains":["lexical-grammar"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"CoreForm","id":"usage-template","source":"reader-form vector -> CoreForm"}],"profileStatus":"core","signature":{"kind":"literal","notation":"reader-form vector -> CoreForm","parameters":[],"returns":"CoreForm"},"sources":[{"anchors":["enum Tok","comment: ';' to end of line","bytes literal: b\"...\"","Tok::Quote"],"path":"crates/gc_coreform/src/parse.rs"}],"symbol":"vector"},{"capabilities":[],"contracts":["Current writers emit package schema 1 and genesis.lock version 2; future versions fail closed.","Module, dependency, and capability paths are relative, slash-separated, non-empty, and contain no dot or parent components.","Module/dependency hashes and obligations are verified before package acceptance."],"deprecation":{"removal":null,"replacement":null,"since":null,"status":"active"},"diagnostics":["manifest/invalid","obligation/failed"],"domains":["packages"],"effects":["pure; no ambient host effect"],"examples":[{"expected":"accept","id":"package-schema-1","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n[limits]\nstep_limit = 1000\nallow_unlimited = false\n"},{"expected":"reject","id":"package-future-schema","source":"schema = 2\nname = \"agent-profile\"\nversion = \"0.0.0\"\nmodules = []\ndependencies = []\nobligations = []\n"},{"expected":"reject","id":"package-path-escape","source":"schema = 1\nname = \"agent-profile\"\nversion = \"0.0.0\"\ndependencies = []\nobligations = []\n[[modules]]\npath = \"../escape.gc\"\n"}],"profileStatus":"core","signature":{"kind":"policy-field","notation":"reviewed manifest/policy field: version","parameters":[],"returns":"ConfiguredValue"},"sources":[{"anchors":["PACKAGE_MANIFEST_SCHEMA_VERSION","pub struct PackageManifest","validate_manifest_paths"],"path":"crates/gc_pkg/src/manifest.rs"},{"anchors":["Required Keys","Package evaluation limits are enforced"],"path":"docs/spec/PACKAGE_TOML.md"}],"symbol":"version"}],"unsupportedBehaviorCount":14,"unsupportedBehaviorIdentitySha256":"e5570af19c37adc8cee2fd55609be4efd516fd5bef5e2a55130b96a546c0668b","unsupportedClasses":["experimental-syntax","host-only-operation","unavailable-target","nondeterministic-facility","out-of-profile-capability"],"version":"0.3"}