code wiki / wiki / nx_wiki_login_flow_test.nx

nx_wiki_login_flow_test.nx

buildroot/runtime/wiki/nx_wiki_login_flow_test.nx

2796 B64 linesdepth 11pulls 19 transitivereach 0 importersview sourcekind gate/prooftopic wiki
docsdependenciesstructsconstsfunctions

about

Handler-level proof of the V1 no-cookie admin HTTP login (no live daemon). Closes T#login-not-wired-to-http: proves nx_wlogin_admin_handle does POST-login->200+X-Nishi-Session and gate->200/401 over the wlogin path. main() returns 0 on all-pass, else the failing assertion number. resp[9] is the first status digit ("HTTP/1.1 2.." -> '2'=0x32, '4'=0x34).

dependencies 1 imports · 0 importers

nx_wiki_login_flow.nx nx_wiki_login_flow_test.nx

imports: nx_wiki_login_flow.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

8func main() -> i64