Module test 

Test-authoring package. Deliberately absent from stdlib_package_declarations and install_host_functions: only submilli build test makes it importable (by passing its declaration into the compile and installing it directly), so submilli run rejects import ... from "submilli:test" as not found. submilli:test — the test-authoring package test files import.

Unlike every other submilli:* package this one is not in the global stdlib registry (see crate::stdlib::stdlib_package_declarations). It is only made importable by the submilli build test runner, which passes package_declaration into the compile and calls install itself. An ordinary submilli run never offers it, so importing it there fails with a package ... not found diagnostic.

label(description) records a segment boundary in StoreData::test_labels. expectException re-enters the guest to run the supplied closure and catches its thrown Error host-side (via the store’s pending-exception slot): no throw or a name mismatch fails the test with an Err the runtime turns into a catchable guest Error — the same machinery a failed assert uses.

None of these are gated (no check_security): they only manipulate the in-store test ledger.

Constants

MODULE_NAME

Functions

install

Register the host fns. Called by the submilli build test runner after the runtime install; submilli run deliberately never calls this.

package_declaration