code wiki / (root) / nx_sov_census_test.nx

nx_sov_census_test.nx

buildroot/runtime/nx_sov_census_test.nx

2193 B43 linesdepth 2pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic sov
docsdependenciesstructsconstsfunctions

about

nx_sov_census_test.nx -- sovereign gate for the 3rd-party-dependency census. Proves each axis flags its 3rd-party marker and passes sovereign source, the permil moves, and the runtime axis is honest. Exit = failed assertion #.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_sov_census.nx nx_sov_census_test.nx

imports: nx_syscalls.nxnx_sov_census.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main soc_db_sov uxg_has_lit uxg_has uxg_len uxg_len ↻ soc_http_sov uxg_has_lit ↻ soc_validation_sov uxg_has_lit ↻ soc_pdf_sov uxg_has_lit ↻ soc_map_sov uxg_has_lit ↻ soc_runtime_sov soc_permil sys_write

structs

none

consts

none

functions

8func main() -> i64
calls 9: soc_db_sovuxg_lensoc_http_sovsoc_validation_sovsoc_pdf_sovsoc_map_sov+3