Expand description
Process entry: plg_rt_init + plg_rt_main, called from the thin
generated main. Owns argv parsing (hand-rolled — no clap inside
compiled binaries), output, and the v1 exit-code contract:
0 = no solutions, 1 = solutions found, 2 = query parse error, 3 = runtime error
Functions§
- plg_
rt_ ⚠init - Build the Machine from the tables codegen baked into the binary. Re-interning the emitted atom names in id order reproduces the compiler’s exact id space (the interner pre-seeds the same well-known atoms the compiler’s did).
- plg_
rt_ ⚠main - Run the query named in argv against the compiled program. Returns the process exit code.