Stdlib module os.vitl

This page is a wiki-style reference for one concrete stdlib file. It explains what the file owns, where it fits in the family, and how to decide whether this is the right surface to depend on.

Visual portrait of os.vitl
Wiki-style portrait for os.vitl.

Family: stdlib

Kind: public stdlib surface

Page style: this reference follows the same “encyclopedic card + portrait + usage contract” logic as the keyword pages, but for stdlib modules.

Summary

Overview

FieldValue
Pathos.vitl
Familystdlib
Kindpublic stdlib surface
Line count1001
Declared procedures167
Declared forms/picks30

`os.vitl` is a public stdlib surface inside the `stdlib` family. It should be read as one focused slice of the broader family responsibility: Top-level map of the Vitte standard library and the responsibilities owned by each family.

Purpose

This file should be chosen because of responsibility, not because its name “sounds close enough”. Inside the stdlib family, it carries one focused part of the contract and keeps that responsibility separate from neighboring concerns.

  • Domain values start in `core` and `strings`.
  • Grouped data moves through `collections` or `data`.
  • Structured export goes through `json` and `encoding`.
  • Filesystem or process interaction goes through `path`, `io`, `os`, or `sysinfo`.
  • Explicit runtime coordination goes through `async`, `threading`, `kernel`, or `ffi`.

Taxonomy

Think of this page as a generated encyclopedia entry rather than a hand-written tutorial. The goal is to show what kind of module this is, how dense it is, and what reading strategy makes sense before depending on it.

  • Large algorithm surface: this file exposes many procedures and likely acts as a domain toolkit rather than a single thin wrapper.
  • Owns domain vocabulary: the module declares data shapes in addition to executable helpers, so its types are part of the contract.
  • Has tuning constants: part of the module behavior is controlled by named constants that document default precision, limits, or policy.
  • Minimal top-level dependencies: the module reads as mostly self-contained from its opening declarations.

Implementation profile

This profile is inferred directly from the source text. It does not replace reading the file, but it tells you quickly whether the module is mostly declarative, loop-heavy, branch-heavy, or organized around many small exits.

SignalCountWhat it suggests
if0Branching density and local decision-making.
while0Loop-heavy or iterative implementation style.
for0Collection-style traversal at source level.
match0Variant-driven branching or grammar-style decoding.
let0Local state and intermediate value density.
give167Number of explicit exit points and result shaping.

Top-level API inventory

SurfaceItems
Proceduresos_result_ok, os_result_error, os_error, errno_name, strerror, status_from_errno, getpid, getppid, getpgid, getsid, setpgid, fork
FormsOsError, OsResult, Process, ProcessInfo, SpawnOptions, ExecResult, EnvVar, User, Group, SystemInfo, FileDescriptor, FileStat
PicksOsStatus, PlatformKind, ProcessState, FileType, OpenMode, SignalDisposition
ConstantsOS_VERSION, OK, ERR, EOF, EXIT_SUCCESS, EXIT_FAILURE, STDIN_FILENO, STDOUT_FILENO, STDERR_FILENO, SEEK_SET, SEEK_CUR, SEEK_END
Exportsnone declared at top level

Imported surfaces

This file does not advertise a top-level `use` surface in its opening declarations. That often means it is either self-contained or an aggregation layer.

Position in family

This file is module 10 of 15 in the stdlib family when ordered by path. By procedure count it ranks 1, and by line count it ranks 1. Those ranks are useful as rough signals of breadth, not as quality judgments.

Declaration map

The declaration map turns raw source into a scan-friendly catalog. It is useful when the file is large enough that a reader wants to orient by kinds of surfaces first.

LineNameKindRole
1vitte/stdlib_checked/osspaceDeclares the namespace that anchors this file in the stdlib tree.
9OS_VERSIONconstDefines a named constant reused across the module.
11OKconstDefines a named constant reused across the module.
13ERRconstDefines a named constant reused across the module.
15EOFconstDefines a named constant reused across the module.
17EXIT_SUCCESSconstDefines a named constant reused across the module.
19EXIT_FAILUREconstDefines a named constant reused across the module.
21STDIN_FILENOconstDefines a named constant reused across the module.
23STDOUT_FILENOconstDefines a named constant reused across the module.
25STDERR_FILENOconstDefines a named constant reused across the module.
27SEEK_SETconstDefines a named constant reused across the module.
29SEEK_CURconstDefines a named constant reused across the module.
31SEEK_ENDconstDefines a named constant reused across the module.
33AT_FDCWDconstDefines a named constant reused across the module.
35F_OKconstDefines a named constant reused across the module.
37X_OKconstDefines a named constant reused across the module.
39W_OKconstDefines a named constant reused across the module.
41R_OKconstDefines a named constant reused across the module.
43O_RDONLYconstDefines a named constant reused across the module.
45O_WRONLYconstDefines a named constant reused across the module.
47O_RDWRconstDefines a named constant reused across the module.
49O_CREATconstDefines a named constant reused across the module.
51O_EXCLconstDefines a named constant reused across the module.
53O_NOCTTYconstDefines a named constant reused across the module.
55O_TRUNCconstDefines a named constant reused across the module.
57O_APPENDconstDefines a named constant reused across the module.
59O_NONBLOCKconstDefines a named constant reused across the module.
61O_DIRECTORYconstDefines a named constant reused across the module.
63O_NOFOLLOWconstDefines a named constant reused across the module.
65O_CLOEXECconstDefines a named constant reused across the module.
67S_IFMTconstDefines a named constant reused across the module.
69S_IFSOCKconstDefines a named constant reused across the module.
71S_IFLNKconstDefines a named constant reused across the module.
73S_IFREGconstDefines a named constant reused across the module.
75S_IFBLKconstDefines a named constant reused across the module.
77S_IFDIRconstDefines a named constant reused across the module.
79S_IFCHRconstDefines a named constant reused across the module.
81S_IFIFOconstDefines a named constant reused across the module.
83S_IRUSRconstDefines a named constant reused across the module.
85S_IWUSRconstDefines a named constant reused across the module.
87S_IXUSRconstDefines a named constant reused across the module.
89S_IRGRPconstDefines a named constant reused across the module.
91S_IWGRPconstDefines a named constant reused across the module.
93S_IXGRPconstDefines a named constant reused across the module.
95S_IROTHconstDefines a named constant reused across the module.
97S_IWOTHconstDefines a named constant reused across the module.
99S_IXOTHconstDefines a named constant reused across the module.
101SIGINTconstDefines a named constant reused across the module.
103SIGQUITconstDefines a named constant reused across the module.
105SIGILLconstDefines a named constant reused across the module.
107SIGABRTconstDefines a named constant reused across the module.
109SIGFPEconstDefines a named constant reused across the module.
111SIGKILLconstDefines a named constant reused across the module.
113SIGSEGVconstDefines a named constant reused across the module.
115SIGPIPEconstDefines a named constant reused across the module.
117SIGALRMconstDefines a named constant reused across the module.
119SIGTERMconstDefines a named constant reused across the module.
121SIGCHLDconstDefines a named constant reused across the module.
123SIGCONTconstDefines a named constant reused across the module.
125SIGSTOPconstDefines a named constant reused across the module.
127SIGTSTPconstDefines a named constant reused across the module.
129SIGTTINconstDefines a named constant reused across the module.
131SIGTTOUconstDefines a named constant reused across the module.
133WNOHANGconstDefines a named constant reused across the module.
135WUNTRACEDconstDefines a named constant reused across the module.
137WCONTINUEDconstDefines a named constant reused across the module.
139EPERMconstDefines a named constant reused across the module.
141ENOENTconstDefines a named constant reused across the module.
143ESRCHconstDefines a named constant reused across the module.
145EINTRconstDefines a named constant reused across the module.
147EIOconstDefines a named constant reused across the module.
149ENXIOconstDefines a named constant reused across the module.
151E2BIGconstDefines a named constant reused across the module.
153ENOEXECconstDefines a named constant reused across the module.
155EBADFconstDefines a named constant reused across the module.
157ECHILDconstDefines a named constant reused across the module.
159EAGAINconstDefines a named constant reused across the module.
161ENOMEMconstDefines a named constant reused across the module.
163EACCESconstDefines a named constant reused across the module.
165EFAULTconstDefines a named constant reused across the module.
167EBUSYconstDefines a named constant reused across the module.
169EEXISTconstDefines a named constant reused across the module.
171EXDEVconstDefines a named constant reused across the module.
173ENODEVconstDefines a named constant reused across the module.
175ENOTDIRconstDefines a named constant reused across the module.
177EISDIRconstDefines a named constant reused across the module.
179EINVALconstDefines a named constant reused across the module.
181ENFILEconstDefines a named constant reused across the module.
183EMFILEconstDefines a named constant reused across the module.
185ENOTTYconstDefines a named constant reused across the module.
187EFBIGconstDefines a named constant reused across the module.
189ENOSPCconstDefines a named constant reused across the module.
191ESPIPEconstDefines a named constant reused across the module.
193EROFSconstDefines a named constant reused across the module.
195EMLINKconstDefines a named constant reused across the module.
197EPIPEconstDefines a named constant reused across the module.
199ERANGEconstDefines a named constant reused across the module.
201ENOSYSconstDefines a named constant reused across the module.
203ENOTEMPTYconstDefines a named constant reused across the module.
205ELOOPconstDefines a named constant reused across the module.
207ENAMETOOLONGconstDefines a named constant reused across the module.
209ETIMEDOUTconstDefines a named constant reused across the module.
211ECONNREFUSEDconstDefines a named constant reused across the module.
213ENOTSUPconstDefines a named constant reused across the module.
215OsStatuspickIntroduces a tagged variant type used to model distinct outcomes.
219PlatformKindpickIntroduces a tagged variant type used to model distinct outcomes.
223ProcessStatepickIntroduces a tagged variant type used to model distinct outcomes.
227FileTypepickIntroduces a tagged variant type used to model distinct outcomes.
231OpenModepickIntroduces a tagged variant type used to model distinct outcomes.
235SignalDispositionpickIntroduces a tagged variant type used to model distinct outcomes.
239OsErrorformIntroduces a structured data shape that other procedures can exchange.
243OsResultformIntroduces a structured data shape that other procedures can exchange.
247ProcessformIntroduces a structured data shape that other procedures can exchange.
251ProcessInfoformIntroduces a structured data shape that other procedures can exchange.
255SpawnOptionsformIntroduces a structured data shape that other procedures can exchange.
259ExecResultformIntroduces a structured data shape that other procedures can exchange.
263EnvVarformIntroduces a structured data shape that other procedures can exchange.
267UserformIntroduces a structured data shape that other procedures can exchange.
271GroupformIntroduces a structured data shape that other procedures can exchange.
275SystemInfoformIntroduces a structured data shape that other procedures can exchange.
279FileDescriptorformIntroduces a structured data shape that other procedures can exchange.
283FileStatformIntroduces a structured data shape that other procedures can exchange.
287DirEntryformIntroduces a structured data shape that other procedures can exchange.
291PathInfoformIntroduces a structured data shape that other procedures can exchange.
295PipeformIntroduces a structured data shape that other procedures can exchange.
299WaitStatusformIntroduces a structured data shape that other procedures can exchange.
303SignalActionformIntroduces a structured data shape that other procedures can exchange.
307TimespecformIntroduces a structured data shape that other procedures can exchange.
311TimevalformIntroduces a structured data shape that other procedures can exchange.
315ResourceUsageformIntroduces a structured data shape that other procedures can exchange.
319MountInfoformIntroduces a structured data shape that other procedures can exchange.
323TerminalSizeformIntroduces a structured data shape that other procedures can exchange.
327PollFdformIntroduces a structured data shape that other procedures can exchange.
331OsSnapshotformIntroduces a structured data shape that other procedures can exchange.
335os_result_okprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
339os_result_errorprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
343os_errorprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
347errno_nameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
351strerrorprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
355status_from_errnoprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
359getpidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
363getppidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
367getpgidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
371getsidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
375setpgidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
379forkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
383vforkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
387execprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
391execvprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
395execveprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
399execvpprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
403systemprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
407spawnprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
411spawn_with_optionsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
415runprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
419waitprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
423waitpidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
427wait_status_codeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
431killprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
435signalprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
439signal_ignoreprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
443signal_defaultprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
447raiseprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
451pauseprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
455exitprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
459abortprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
463process_currentprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
467process_infoprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
471process_listprocOwns a concrete data shape or the operations that maintain it.
475process_existsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
479process_killprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
483getuidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
487geteuidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
491getgidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
495getegidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
499setuidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
503setgidprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
507getuserprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
511getgroupprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
515getenvprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
519getenv_orprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
523setenvprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
527unsetenvprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
531hasenvprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
535env_listprocOwns a concrete data shape or the operations that maintain it.
539env_get_allprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
543env_clearprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
547env_findprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
551env_set_localprocOwns a concrete data shape or the operations that maintain it.
555chdirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
559getcwdprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
563cwdprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
567gethostnameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
571sethostnameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
575unameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
579system_infoprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
583os_nameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
587os_versionprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
591kernel_versionprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
595arch_nameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
599platform_kindprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
603is_unixprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
607is_windowsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
611is_vitte_osprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
615is_kernelprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
619cpu_countprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
623page_sizeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
627uptimeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
631clock_timeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
635time_nowprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
639gettimeofdayprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
643timespecprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
647timevalprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
651sleepprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
655usleepprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
659nanosleepprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
663openprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
667open_modeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
671closeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
675readprocOwns byte movement or host I/O interaction.
679writeprocOwns byte movement or host I/O interaction.
683preadprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
687pwriteprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
691lseekprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
695dupprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
699dup2procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
703pipeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
707pipe2procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
711pollprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
715os_selectprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
719file_descriptorprocOwns byte movement or host I/O interaction.
723fd_validprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
727fd_is_standardprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
731empty_statprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
735statprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
739lstatprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
743fstatprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
747mode_is_fileprocOwns byte movement or host I/O interaction.
751mode_is_dirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
755mode_is_symlinkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
759existsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
763is_fileprocOwns byte movement or host I/O interaction.
767is_dirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
771is_symlinkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
775file_sizeprocOwns byte movement or host I/O interaction.
779chmodprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
783chownprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
787mkdirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
791mkdir_allprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
795rmdirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
799unlinkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
803removeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
807renameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
811linkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
815symlinkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
819readlinkprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
823truncateprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
827ftruncateprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
831accessprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
835list_dirprocOwns a concrete data shape or the operations that maintain it.
839dir_namesprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
843mountprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
847umountprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
851mountsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
855path_sepprocOwns path semantics, traversal, or normalization.
859path_joinprocOwns path semantics, traversal, or normalization.
863path_join3procOwns path semantics, traversal, or normalization.
867path_is_absoluteprocOwns path semantics, traversal, or normalization.
871path_is_relativeprocOwns path semantics, traversal, or normalization.
875path_normalizeprocOwns path semantics, traversal, or normalization.
879basenameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
883dirnameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
887extensionprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
891stemprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
895path_parseprocTransforms an input representation into a structured internal value.
899tmpdirprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
903tmpnamprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
907mktempprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
911mkstempprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
915terminal_sizeprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
919isattyprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
923ttynameprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
927resource_usageprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
931getrusageprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
935rebootprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
939shutdownprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
943panic_osprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
947syscall0procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
951syscall1procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
955syscall2procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
959syscall3procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
963syscall4procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
967syscall5procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
971syscall6procRepresents one top-level surface in the file contract and should be read as part of the module boundary.
975os_snapshotprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
979string_starts_withprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
983string_ends_withprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
987os_domainsprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
991os_readyprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
995library_metaprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.
999os_selftestprocRepresents one top-level surface in the file contract and should be read as part of the module boundary.

The table is exhaustive for top-level declarations of the selected kinds. This file declares 301 matching surfaces.

Representative signatures

These signatures are shown in source order so the page keeps the feel of a reference manual, not just a keyword cloud.

  • const OS_VERSION: string = "" (line 9)
  • const OK: int = 0 (line 11)
  • const ERR: int = 0 (line 13)
  • const EOF: int = 0 (line 15)
  • const EXIT_SUCCESS: int = 0 (line 17)
  • const EXIT_FAILURE: int = 0 (line 19)
  • const STDIN_FILENO: int = 0 (line 21)
  • const STDOUT_FILENO: int = 0 (line 23)
  • const STDERR_FILENO: int = 0 (line 25)
  • const SEEK_SET: int = 0 (line 27)
  • const SEEK_CUR: int = 0 (line 29)
  • const SEEK_END: int = 0 (line 31)
  • const AT_FDCWD: int = 0 (line 33)
  • const F_OK: int = 0 (line 35)
  • const X_OK: int = 0 (line 37)
  • const W_OK: int = 0 (line 39)
  • const R_OK: int = 0 (line 41)
  • const O_RDONLY: int = 0 (line 43)

The list is intentionally capped here; the source file declares 300 matching signatures in total.

How to use this module

Start by reading the file as an ownership boundary. Ask three questions: what enters this module, what stable types or procedures it exports, and what adjacent module should stay outside of it.

  1. Read space and top-level imports first so the ownership boundary of os.vitl is explicit.
  2. Scan constants before procedures; they often encode precision, limits, or policy assumptions that explain later behavior.
  3. Read declared forms and picks before algorithms so the data vocabulary is stable in your head.
  4. Traverse procedures in source order; the early helpers usually explain the naming and numeric conventions used later.
  5. Only after that compare neighbor modules, because the right boundary choice matters more than memorizing one helper name.

User example

This example is generated from the actual stdlib module surface. Its job is not to be the smallest snippet possible; its job is to show a realistic consumer-shaped file that exercises the module and mirrors the language keywords the module itself relies on.

space demo/os
form DemoState {
  ready: bool,
  note: string
}
proc run_example() -> DemoState {
  let ready: bool = os_result_ok()
  give DemoState { ready: ready, note: "ok" }
}

Keyword coverage

This table makes the “all keywords of the module” requirement auditable. It compares the detected Vitte keywords in the source file with the generated consumer example above.

KeywordPresent in module sourceUsed in generated user example
spaceyesyes
constyesno
formyesyes
pickyesno
procyesyes
giveyesyes

Keywords still not exercised directly in the generated snippet: const, pick. The page still lists them here so the gap is visible.

Source shape

space vitte/stdlib_checked/os
const OS_VERSION: string = ""
const OK: int = 0
const ERR: int = 0
const EOF: int = 0
const EXIT_SUCCESS: int = 0
const EXIT_FAILURE: int = 0
const STDIN_FILENO: int = 0
const STDOUT_FILENO: int = 0
const STDERR_FILENO: int = 0

The excerpt is not meant to replace the file. It exists to make the module recognizable at first glance, the same way a Wikipedia infobox helps the reader orient before reading the whole article.

Source landmarks

Large files are easier to retain when they have visible landmarks. When the source contains explicit section banners, they are surfaced here; otherwise the first major declarations are used as anchors.

  • Line 1: space vitte/stdlib_checked/os
  • Line 9: const OS_VERSION: string = ""
  • Line 11: const OK: int = 0
  • Line 13: const ERR: int = 0
  • Line 15: const EOF: int = 0
  • Line 17: const EXIT_SUCCESS: int = 0
  • Line 19: const EXIT_FAILURE: int = 0
  • Line 21: const STDIN_FILENO: int = 0

Source organization

When a file carries its own internal chaptering, those chapters usually reveal the intended reading order better than a flat symbol list. This section reconstructs that organization from the source itself.

File surfaces

Top-level items: 301. Procedures: 167. Data surfaces: 30. Constants: 103.

First visible names: vitte/stdlib_checked/os, OS_VERSION, OK, ERR, EOF, EXIT_SUCCESS, EXIT_FAILURE, STDIN_FILENO, STDOUT_FILENO, STDERR_FILENO

Complete API catalog

This catalog is the exhaustive file-level index for the module. It is intentionally closer to a generated encyclopedia appendix than to a tutorial summary.

Constants

LineNameSignatureRole
9OS_VERSIONconst OS_VERSION: string = ""Defines a named constant reused across the module.
11OKconst OK: int = 0Defines a named constant reused across the module.
13ERRconst ERR: int = 0Defines a named constant reused across the module.
15EOFconst EOF: int = 0Defines a named constant reused across the module.
17EXIT_SUCCESSconst EXIT_SUCCESS: int = 0Defines a named constant reused across the module.
19EXIT_FAILUREconst EXIT_FAILURE: int = 0Defines a named constant reused across the module.
21STDIN_FILENOconst STDIN_FILENO: int = 0Defines a named constant reused across the module.
23STDOUT_FILENOconst STDOUT_FILENO: int = 0Defines a named constant reused across the module.
25STDERR_FILENOconst STDERR_FILENO: int = 0Defines a named constant reused across the module.
27SEEK_SETconst SEEK_SET: int = 0Defines a named constant reused across the module.
29SEEK_CURconst SEEK_CUR: int = 0Defines a named constant reused across the module.
31SEEK_ENDconst SEEK_END: int = 0Defines a named constant reused across the module.
33AT_FDCWDconst AT_FDCWD: int = 0Defines a named constant reused across the module.
35F_OKconst F_OK: int = 0Defines a named constant reused across the module.
37X_OKconst X_OK: int = 0Defines a named constant reused across the module.
39W_OKconst W_OK: int = 0Defines a named constant reused across the module.
41R_OKconst R_OK: int = 0Defines a named constant reused across the module.
43O_RDONLYconst O_RDONLY: int = 0Defines a named constant reused across the module.
45O_WRONLYconst O_WRONLY: int = 0Defines a named constant reused across the module.
47O_RDWRconst O_RDWR: int = 0Defines a named constant reused across the module.
49O_CREATconst O_CREAT: int = 0Defines a named constant reused across the module.
51O_EXCLconst O_EXCL: int = 0Defines a named constant reused across the module.
53O_NOCTTYconst O_NOCTTY: int = 0Defines a named constant reused across the module.
55O_TRUNCconst O_TRUNC: int = 0Defines a named constant reused across the module.
57O_APPENDconst O_APPEND: int = 0Defines a named constant reused across the module.
59O_NONBLOCKconst O_NONBLOCK: int = 0Defines a named constant reused across the module.
61O_DIRECTORYconst O_DIRECTORY: int = 0Defines a named constant reused across the module.
63O_NOFOLLOWconst O_NOFOLLOW: int = 0Defines a named constant reused across the module.
65O_CLOEXECconst O_CLOEXEC: int = 0Defines a named constant reused across the module.
67S_IFMTconst S_IFMT: int = 0Defines a named constant reused across the module.
69S_IFSOCKconst S_IFSOCK: int = 0Defines a named constant reused across the module.
71S_IFLNKconst S_IFLNK: int = 0Defines a named constant reused across the module.
73S_IFREGconst S_IFREG: int = 0Defines a named constant reused across the module.
75S_IFBLKconst S_IFBLK: int = 0Defines a named constant reused across the module.
77S_IFDIRconst S_IFDIR: int = 0Defines a named constant reused across the module.
79S_IFCHRconst S_IFCHR: int = 0Defines a named constant reused across the module.
81S_IFIFOconst S_IFIFO: int = 0Defines a named constant reused across the module.
83S_IRUSRconst S_IRUSR: int = 0Defines a named constant reused across the module.
85S_IWUSRconst S_IWUSR: int = 0Defines a named constant reused across the module.
87S_IXUSRconst S_IXUSR: int = 0Defines a named constant reused across the module.
89S_IRGRPconst S_IRGRP: int = 0Defines a named constant reused across the module.
91S_IWGRPconst S_IWGRP: int = 0Defines a named constant reused across the module.
93S_IXGRPconst S_IXGRP: int = 0Defines a named constant reused across the module.
95S_IROTHconst S_IROTH: int = 0Defines a named constant reused across the module.
97S_IWOTHconst S_IWOTH: int = 0Defines a named constant reused across the module.
99S_IXOTHconst S_IXOTH: int = 0Defines a named constant reused across the module.
101SIGINTconst SIGINT: int = 0Defines a named constant reused across the module.
103SIGQUITconst SIGQUIT: int = 0Defines a named constant reused across the module.
105SIGILLconst SIGILL: int = 0Defines a named constant reused across the module.
107SIGABRTconst SIGABRT: int = 0Defines a named constant reused across the module.
109SIGFPEconst SIGFPE: int = 0Defines a named constant reused across the module.
111SIGKILLconst SIGKILL: int = 0Defines a named constant reused across the module.
113SIGSEGVconst SIGSEGV: int = 0Defines a named constant reused across the module.
115SIGPIPEconst SIGPIPE: int = 0Defines a named constant reused across the module.
117SIGALRMconst SIGALRM: int = 0Defines a named constant reused across the module.
119SIGTERMconst SIGTERM: int = 0Defines a named constant reused across the module.
121SIGCHLDconst SIGCHLD: int = 0Defines a named constant reused across the module.
123SIGCONTconst SIGCONT: int = 0Defines a named constant reused across the module.
125SIGSTOPconst SIGSTOP: int = 0Defines a named constant reused across the module.
127SIGTSTPconst SIGTSTP: int = 0Defines a named constant reused across the module.
129SIGTTINconst SIGTTIN: int = 0Defines a named constant reused across the module.
131SIGTTOUconst SIGTTOU: int = 0Defines a named constant reused across the module.
133WNOHANGconst WNOHANG: int = 0Defines a named constant reused across the module.
135WUNTRACEDconst WUNTRACED: int = 0Defines a named constant reused across the module.
137WCONTINUEDconst WCONTINUED: int = 0Defines a named constant reused across the module.
139EPERMconst EPERM: int = 0Defines a named constant reused across the module.
141ENOENTconst ENOENT: int = 0Defines a named constant reused across the module.
143ESRCHconst ESRCH: int = 0Defines a named constant reused across the module.
145EINTRconst EINTR: int = 0Defines a named constant reused across the module.
147EIOconst EIO: int = 0Defines a named constant reused across the module.
149ENXIOconst ENXIO: int = 0Defines a named constant reused across the module.
151E2BIGconst E2BIG: int = 0Defines a named constant reused across the module.
153ENOEXECconst ENOEXEC: int = 0Defines a named constant reused across the module.
155EBADFconst EBADF: int = 0Defines a named constant reused across the module.
157ECHILDconst ECHILD: int = 0Defines a named constant reused across the module.
159EAGAINconst EAGAIN: int = 0Defines a named constant reused across the module.
161ENOMEMconst ENOMEM: int = 0Defines a named constant reused across the module.
163EACCESconst EACCES: int = 0Defines a named constant reused across the module.
165EFAULTconst EFAULT: int = 0Defines a named constant reused across the module.
167EBUSYconst EBUSY: int = 0Defines a named constant reused across the module.
169EEXISTconst EEXIST: int = 0Defines a named constant reused across the module.
171EXDEVconst EXDEV: int = 0Defines a named constant reused across the module.
173ENODEVconst ENODEV: int = 0Defines a named constant reused across the module.
175ENOTDIRconst ENOTDIR: int = 0Defines a named constant reused across the module.
177EISDIRconst EISDIR: int = 0Defines a named constant reused across the module.
179EINVALconst EINVAL: int = 0Defines a named constant reused across the module.
181ENFILEconst ENFILE: int = 0Defines a named constant reused across the module.
183EMFILEconst EMFILE: int = 0Defines a named constant reused across the module.
185ENOTTYconst ENOTTY: int = 0Defines a named constant reused across the module.
187EFBIGconst EFBIG: int = 0Defines a named constant reused across the module.
189ENOSPCconst ENOSPC: int = 0Defines a named constant reused across the module.
191ESPIPEconst ESPIPE: int = 0Defines a named constant reused across the module.
193EROFSconst EROFS: int = 0Defines a named constant reused across the module.
195EMLINKconst EMLINK: int = 0Defines a named constant reused across the module.
197EPIPEconst EPIPE: int = 0Defines a named constant reused across the module.
199ERANGEconst ERANGE: int = 0Defines a named constant reused across the module.
201ENOSYSconst ENOSYS: int = 0Defines a named constant reused across the module.
203ENOTEMPTYconst ENOTEMPTY: int = 0Defines a named constant reused across the module.
205ELOOPconst ELOOP: int = 0Defines a named constant reused across the module.
207ENAMETOOLONGconst ENAMETOOLONG: int = 0Defines a named constant reused across the module.
209ETIMEDOUTconst ETIMEDOUT: int = 0Defines a named constant reused across the module.
211ECONNREFUSEDconst ECONNREFUSED: int = 0Defines a named constant reused across the module.
213ENOTSUPconst ENOTSUP: int = 0Defines a named constant reused across the module.

Data surfaces

LineNameSignatureRole
215OsStatuspick OsStatus {Introduces a tagged variant type used to model distinct outcomes.
219PlatformKindpick PlatformKind {Introduces a tagged variant type used to model distinct outcomes.
223ProcessStatepick ProcessState {Introduces a tagged variant type used to model distinct outcomes.
227FileTypepick FileType {Introduces a tagged variant type used to model distinct outcomes.
231OpenModepick OpenMode {Introduces a tagged variant type used to model distinct outcomes.
235SignalDispositionpick SignalDisposition {Introduces a tagged variant type used to model distinct outcomes.
239OsErrorform OsError {Introduces a structured data shape that other procedures can exchange.
243OsResultform OsResult {Introduces a structured data shape that other procedures can exchange.
247Processform Process {Introduces a structured data shape that other procedures can exchange.
251ProcessInfoform ProcessInfo {Introduces a structured data shape that other procedures can exchange.
255SpawnOptionsform SpawnOptions {Introduces a structured data shape that other procedures can exchange.
259ExecResultform ExecResult {Introduces a structured data shape that other procedures can exchange.
263EnvVarform EnvVar {Introduces a structured data shape that other procedures can exchange.
267Userform User {Introduces a structured data shape that other procedures can exchange.
271Groupform Group {Introduces a structured data shape that other procedures can exchange.
275SystemInfoform SystemInfo {Introduces a structured data shape that other procedures can exchange.
279FileDescriptorform FileDescriptor {Introduces a structured data shape that other procedures can exchange.
283FileStatform FileStat {Introduces a structured data shape that other procedures can exchange.
287DirEntryform DirEntry {Introduces a structured data shape that other procedures can exchange.
291PathInfoform PathInfo {Introduces a structured data shape that other procedures can exchange.
295Pipeform Pipe {Introduces a structured data shape that other procedures can exchange.
299WaitStatusform WaitStatus {Introduces a structured data shape that other procedures can exchange.
303SignalActionform SignalAction {Introduces a structured data shape that other procedures can exchange.
307Timespecform Timespec {Introduces a structured data shape that other procedures can exchange.
311Timevalform Timeval {Introduces a structured data shape that other procedures can exchange.
315ResourceUsageform ResourceUsage {Introduces a structured data shape that other procedures can exchange.
319MountInfoform MountInfo {Introduces a structured data shape that other procedures can exchange.
323TerminalSizeform TerminalSize {Introduces a structured data shape that other procedures can exchange.
327PollFdform PollFd {Introduces a structured data shape that other procedures can exchange.
331OsSnapshotform OsSnapshot {Introduces a structured data shape that other procedures can exchange.

Procedures

LineNameSignatureRole
335os_result_okproc os_result_ok() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
339os_result_errorproc os_result_error() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
343os_errorproc os_error() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
347errno_nameproc errno_name() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
351strerrorproc strerror() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
355status_from_errnoproc status_from_errno() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
359getpidproc getpid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
363getppidproc getppid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
367getpgidproc getpgid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
371getsidproc getsid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
375setpgidproc setpgid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
379forkproc fork() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
383vforkproc vfork() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
387execproc exec() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
391execvproc execv() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
395execveproc execve() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
399execvpproc execvp() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
403systemproc system() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
407spawnproc spawn() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
411spawn_with_optionsproc spawn_with_options() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
415runproc run() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
419waitproc wait() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
423waitpidproc waitpid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
427wait_status_codeproc wait_status_code() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
431killproc kill() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
435signalproc signal() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
439signal_ignoreproc signal_ignore() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
443signal_defaultproc signal_default() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
447raiseproc raise() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
451pauseproc pause() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
455exitproc exit() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
459abortproc abort() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
463process_currentproc process_current() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
467process_infoproc process_info() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
471process_listproc process_list() -> int {Owns a concrete data shape or the operations that maintain it.
475process_existsproc process_exists() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
479process_killproc process_kill() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
483getuidproc getuid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
487geteuidproc geteuid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
491getgidproc getgid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
495getegidproc getegid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
499setuidproc setuid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
503setgidproc setgid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
507getuserproc getuser() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
511getgroupproc getgroup() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
515getenvproc getenv() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
519getenv_orproc getenv_or() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
523setenvproc setenv() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
527unsetenvproc unsetenv() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
531hasenvproc hasenv() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
535env_listproc env_list() -> int {Owns a concrete data shape or the operations that maintain it.
539env_get_allproc env_get_all() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
543env_clearproc env_clear() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
547env_findproc env_find() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
551env_set_localproc env_set_local() -> int {Owns a concrete data shape or the operations that maintain it.
555chdirproc chdir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
559getcwdproc getcwd() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
563cwdproc cwd() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
567gethostnameproc gethostname() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
571sethostnameproc sethostname() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
575unameproc uname() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
579system_infoproc system_info() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
583os_nameproc os_name() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
587os_versionproc os_version() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
591kernel_versionproc kernel_version() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
595arch_nameproc arch_name() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
599platform_kindproc platform_kind() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
603is_unixproc is_unix() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
607is_windowsproc is_windows() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
611is_vitte_osproc is_vitte_os() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
615is_kernelproc is_kernel() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
619cpu_countproc cpu_count() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
623page_sizeproc page_size() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
627uptimeproc uptime() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
631clock_timeproc clock_time() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
635time_nowproc time_now() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
639gettimeofdayproc gettimeofday() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
643timespecproc timespec() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
647timevalproc timeval() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
651sleepproc sleep() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
655usleepproc usleep() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
659nanosleepproc nanosleep() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
663openproc open() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
667open_modeproc open_mode() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
671closeproc close() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
675readproc read() -> int {Owns byte movement or host I/O interaction.
679writeproc write() -> int {Owns byte movement or host I/O interaction.
683preadproc pread() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
687pwriteproc pwrite() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
691lseekproc lseek() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
695dupproc dup() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
699dup2proc dup2() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
703pipeproc pipe() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
707pipe2proc pipe2() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
711pollproc poll() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
715os_selectproc os_select() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
719file_descriptorproc file_descriptor() -> int {Owns byte movement or host I/O interaction.
723fd_validproc fd_valid() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
727fd_is_standardproc fd_is_standard() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
731empty_statproc empty_stat() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
735statproc stat() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
739lstatproc lstat() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
743fstatproc fstat() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
747mode_is_fileproc mode_is_file() -> int {Owns byte movement or host I/O interaction.
751mode_is_dirproc mode_is_dir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
755mode_is_symlinkproc mode_is_symlink() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
759existsproc exists() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
763is_fileproc is_file() -> int {Owns byte movement or host I/O interaction.
767is_dirproc is_dir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
771is_symlinkproc is_symlink() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
775file_sizeproc file_size() -> int {Owns byte movement or host I/O interaction.
779chmodproc chmod() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
783chownproc chown() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
787mkdirproc mkdir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
791mkdir_allproc mkdir_all() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
795rmdirproc rmdir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
799unlinkproc unlink() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
803removeproc remove() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
807renameproc rename() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
811linkproc link() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
815symlinkproc symlink() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
819readlinkproc readlink() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
823truncateproc truncate() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
827ftruncateproc ftruncate() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
831accessproc access() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
835list_dirproc list_dir() -> int {Owns a concrete data shape or the operations that maintain it.
839dir_namesproc dir_names() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
843mountproc mount() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
847umountproc umount() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
851mountsproc mounts() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
855path_sepproc path_sep() -> int {Owns path semantics, traversal, or normalization.
859path_joinproc path_join() -> int {Owns path semantics, traversal, or normalization.
863path_join3proc path_join3() -> int {Owns path semantics, traversal, or normalization.
867path_is_absoluteproc path_is_absolute() -> int {Owns path semantics, traversal, or normalization.
871path_is_relativeproc path_is_relative() -> int {Owns path semantics, traversal, or normalization.
875path_normalizeproc path_normalize() -> int {Owns path semantics, traversal, or normalization.
879basenameproc basename() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
883dirnameproc dirname() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
887extensionproc extension() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
891stemproc stem() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
895path_parseproc path_parse() -> int {Transforms an input representation into a structured internal value.
899tmpdirproc tmpdir() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
903tmpnamproc tmpnam() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
907mktempproc mktemp() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
911mkstempproc mkstemp() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
915terminal_sizeproc terminal_size() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
919isattyproc isatty() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
923ttynameproc ttyname() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
927resource_usageproc resource_usage() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
931getrusageproc getrusage() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
935rebootproc reboot() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
939shutdownproc shutdown() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
943panic_osproc panic_os() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
947syscall0proc syscall0() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
951syscall1proc syscall1() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
955syscall2proc syscall2() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
959syscall3proc syscall3() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
963syscall4proc syscall4() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
967syscall5proc syscall5() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
971syscall6proc syscall6() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
975os_snapshotproc os_snapshot() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
979string_starts_withproc string_starts_with() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
983string_ends_withproc string_ends_with() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
987os_domainsproc os_domains() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
991os_readyproc os_ready() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
995library_metaproc library_meta() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.
999os_selftestproc os_selftest() -> int {Represents one top-level surface in the file contract and should be read as part of the module boundary.

Integration boundaries

Within stdlib, this file should remain focused. If a future helper changes the host boundary, scheduling boundary, or data-shape boundary, it probably belongs in a neighbor module instead of being added here by convenience.

  • Family responsibility: Top-level map of the Vitte standard library and the responsibilities owned by each family.
  • Family architecture role: A realistic Vitte program usually starts in `core`, grows through `collections` or `data`, crosses textual boundaries with `json` or `encoding`, touches the host with `path` or `io`, and only then reaches system-facing families like `kernel`, `ffi`, `async`, or `threading`.

Composition guidance

Choose this module when

  • Choose os.vitl when the main question is owned by this module rather than by transport, storage, orchestration, or user-interface code.
  • Domain values start in `core` and `strings`.
  • Grouped data moves through `collections` or `data`.
  • Structured export goes through `json` and `encoding`.
  • Filesystem or process interaction goes through `path`, `io`, `os`, or `sysinfo`.
  • Explicit runtime coordination goes through `async`, `threading`, `kernel`, or `ffi`.

Pause before extending it when

  • Avoid extending this file when the new helper mostly changes the boundary to host I/O, runtime coordination, or foreign integration instead of staying inside stdlib.
  • Check nearby modules such as GETTING_STARTED.vitl, core_alias.vitl, datetime.vitl before adding convenience wrappers here.

Relationship table

This table keeps the page closer to a real encyclopedia entry: a module is easier to understand when compared with its nearest alternatives in the same family.

NeighborProceduresData surfacesWhy compare it
GETTING_STARTED.vitl260Shares the same family boundary but carries a distinct slice of responsibility.
core_alias.vitl00Shares the same family boundary but carries a distinct slice of responsibility.
datetime.vitl13816Shares the same family boundary but carries a distinct slice of responsibility.
graphics.vitl50Shares the same family boundary but carries a distinct slice of responsibility.
memory.vitl13716Shares the same family boundary but carries a distinct slice of responsibility.
mod.vit162Shares the same family boundary but carries a distinct slice of responsibility.
network/http.vitl42Shares the same family boundary but carries a distinct slice of responsibility.
network/socket.vitl52Shares the same family boundary but carries a distinct slice of responsibility.

Neighbor modules