code wiki / (root) / nx_speculative_verify_test.nx

nx_speculative_verify_test.nx

buildroot/runtime/nx_speculative_verify_test.nx

6516 B152 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_speculative_verify_test.nx -- smoke for H3 speculative decoding.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_speculative_verify.nx nx_speculative_verify_test.nx

imports: nx_syscalls.nxnx_speculative_verify.nx

imported by: nobody (leaf or entry point)

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

main nx_speculative_session_new sys_mmap nx_spec_session_is_valid nx_spec_session_request_id nx_spec_session_is_valid ↻ nx_spec_session_max_k nx_spec_session_is_valid ↻ nx_spec_total_drafted nx_spec_session_is_valid ↻ nx_spec_total_accepted nx_spec_session_is_valid ↻ nx_spec_total_committed nx_spec_session_is_valid ↻ nx_spec_total_rounds nx_spec_session_is_valid ↻ nx_spec_acceptance_rate_q1 nx_spec_session_is_valid ↻ sys_mmap ↻ nx_speculative_verify nx_spec_session_is_valid ↻ nx_spec_verdict_is_valid

structs

none

consts

none

functions

6func main() -> i64
calls 12: nx_speculative_session_newnx_spec_session_is_validnx_spec_session_request_idnx_spec_session_max_knx_spec_total_draftednx_spec_total_accepted+6