code wiki / (root) / nx_peptide_deconv_test.nx

nx_peptide_deconv_test.nx

buildroot/runtime/nx_peptide_deconv_test.nx

8241 B150 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic peptide
docsdependenciesstructsconstsfunctions

about

nx_peptide_deconv_test.nx -- gate for charge-state deconvolution. The liar-kill: generate a KNOWN peptide's real charge ladder, deconvolve it blind (no charge told), and demand the EXACT neutral mass back (T1), while an unrelated pair is rejected as inconsistent (T4). Recovering the input you never revealed is the proof it inverts real MS. expect_exit: 0 license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_peptide.nx nx_peptide_deconv.nx nx_peptide_deconv_test.nx

imports: nx_syscalls.nxnx_peptide.nxnx_peptide_deconv.nx

imported by: nobody (leaf or entry point)

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

main pep_mass_mono_q4 pep_seq_valid pep_len pep_aa_from_char pep_len ↻ pep_aa_from_char ↻ pep_residue_mono_q4 pep_mz_q4 deconv_charge_hi deconv_neutral_mass deconv_charge_hi ↻ t_puts sys_write t_putn sys_mmap nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ sys_write ↻ deconv_pair_consistent deconv_charge_hi ↻ deconv_predict_mz deconv_mass_verified deconv_pair_consistent ↻ deconv_neutral_mass ↻ sys_mmap ↻ deconv_from_list deconv_mass_verified ↻

structs

none

consts

none

functions

11func t_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main calls 1: sys_write
12func t_putn(v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64 = v; if m < 0 { m = 0 - m; sys_write(1, "-" as *u8, 1) } let t: *u8 = sys_mmap(28); var k: i64 = 0; if m == 0 { t[0] = 48 as u8; k = 1 } while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } var i: i64 = 0; while i < k { bb[i] = t[k - 1 - i]; i = i + 1 } sys_write(1, bb, k); return 0 }
called by 1: main calls 2: sys_mmapsys_write
14func main() -> i64