Crate sim_lib_lang_javascript 

Thin, direct JavaScript core profile over lowered codec/javascript forms.

Syntax remains owned by the codec. This crate owns only bounded ECMAScript policy and composes shared organs, number domains, managed storage, and the tracing collector; it contains no compiler, VM, Realm engine, or host loop.

Structs

DynamicJavascript

Capability-gated JavaScript eval/Function source entry.

JavascriptArray

ECMAScript array with explicit holes distinct from undefined.

JavascriptAsyncFunction

Async function execution is a generator whose terminal result settles a promise.

JavascriptCodeUnitString

An ECMAScript String as exact UTF-16 code units.

JavascriptDynamicAdmission

Host-authored authority envelope for dynamic JavaScript source.

JavascriptEvalPolicy

Bounded direct evaluator over stable javascript/* lowering.

JavascriptException

JavaScript exception value carried by shared resume packets.

JavascriptFidelityDimension

Independent fidelity dimension.

JavascriptFunction

Inspectable callable metadata. Executable bodies remain codec-lowered forms; this record owns only binding and construction policy.

JavascriptGenerator

Generator composed from the shared bounded resumable frame.

JavascriptHeap

JavaScript cyclic state composed from the shared arena and collector.

JavascriptIntrinsic

One intrinsic admitted by this phase’s checked scalar core.

JavascriptIterator

Bounded, stateful ECMAScript iterator cell.

JavascriptJobs

Explicit JavaScript job organ. It owns no thread, timer, or host event loop.

JavascriptManagedObject

Cyclic JavaScript payload stored exclusively by the shared arena.

JavascriptMap

Insertion-ordered ECMAScript Map using SameValueZero-style scalar keys.

JavascriptModuleAdmission

Host-authored root and authority supplied for one ESM resolution.

JavascriptModulePolicy

JavaScript policy over the shared parse/link/evaluate module lifecycle.

JavascriptObjects

Ordinary-object policy composed from PropertyStore and JavascriptHeap.

JavascriptPromise

A promise whose reactions are admitted only to explicit JavaScript jobs.

JavascriptRegExp

A faithfully compiled RegExp program for the shared bounded text VM.

JavascriptRegressionCase

Regression obligation tied to a concrete checked behavior.

JavascriptSet

Insertion-ordered ECMAScript Set.

JavascriptState

Only the lexical and variable bindings required by checked single-agent clauses.

JavascriptSymbol

A unique ECMAScript Symbol identity.

JavascriptSymbolRegistry

Realm-local allocator and global-symbol registry.

Enums

Completion

Abrupt or normal completion produced directly by statements.

JavascriptCollectionError

Failure from a bounded collection method.

JavascriptFunctionKind

The ordinary function forms admitted by this profile.

JavascriptHeapPolicy

Explicit collection policy; collection is optional, never a load prerequisite.

JavascriptJobClass

Queue classes used by the JavaScript profile.

JavascriptJsonError

JSON policy error.

JavascriptJsonValue

JavaScript JSON-domain value. Objects retain insertion order until the ECMAScript property-order projection is applied.

JavascriptManagedKind

Single-agent role of a managed JavaScript allocation.

JavascriptObjectError

Error from JavaScript-owned prototype or descriptor policy.

JavascriptObjectGap

Explicit object-model gaps. These are queryable rather than silent partial emulation of invariants that ordinary objects cannot satisfy.

JavascriptPromiseState

Promise state observed through a stable shared cell.

JavascriptPropertyKey

JavaScript property keys. Private names are deliberately class-scoped and cannot be manufactured from strings.

JavascriptRegExpError

RegExp admission error; unsupported syntax is never approximated.

JavascriptRegExpGap

An explicitly unsupported ECMAScript RegExp clause.

JavascriptTextError

Error crossing from the code-unit face to canonical scalar SIM text.

JavascriptThis

Receiver selected for a call.

JavascriptValue

Values in the phase’s scalar JavaScript core.

Constants

ECMA262_ORACLE

Frozen specification authority; an oracle citation, never an implementation.

JAVASCRIPT_REGEXP_SUCCESSOR

Required successor for usable ECMAScript regular expressions.

TEST262_ORACLE

Frozen Test262 observation. No Test262 code is compiled or shipped.

Statics

RECIPES

Cookbook recipes embedded at build time.

Functions

install_javascript_core_profile

Install the profile and shared backing-organ declarations.

javascript_callable_shape_constraints

Callable browse policy is intentionally neutral: no parameter or return constraints are synthesized from JavaScript or TypeScript syntax.

javascript_core_matrix_row

Build the JavaScript core conformance row.

javascript_core_profile

Build the inspectable JavaScript language profile.

javascript_core_source_cases

Checked source cases entering only through codec/javascript.

javascript_fidelity_dimensions

Separately scored profile dimensions.

javascript_gap_catalog

Explicit unsupported surface for the current checked phase.

javascript_intrinsic_manifest

Intrinsics admitted by the thin core; later phases extend this manifest.

javascript_object_gaps

Unsupported ordinary-object boundary.

javascript_regexp_gaps

Exact first-release gap manifest.

javascript_regression_cases

Generated regression inventory. Each named module contains its executable test.

javascript_runtime_kit

Build the runtime-kit registration used by the direct evaluator.

parse_javascript_json

Parse through the canonical JSON parser, then apply ECMAScript reviver order.

stringify_javascript_json

Serialize with toJSON, replacer, ECMAScript own-property order, and cycle rejection.

Type Aliases

JsonReplacer

Replacer callback, invoked top-down with the empty root key first.

JsonReviver

Reviver callback, invoked bottom-up with the empty root key last.

JsonToJson

JavaScript toJSON hook invoked before the replacer.