code wiki / (root) / nx_peptide_chain_test.nx

nx_peptide_chain_test.nx

buildroot/runtime/nx_peptide_chain_test.nx

8791 B161 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic peptide
docsdependenciesstructsconstsfunctions

about

nx_peptide_chain_test.nx -- gate for nx_peptide_chain. The anchor is human insulin against its published monoisotopic mass 5803.6375 Da, which is only reachable with BOTH chains (two waters, not one) and ALL THREE disulfides. T3 runs the no-bridge and single-sequence variants as negative controls. expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_peptide.nx nx_peptide_ext.nx nx_peptide_chain.nx nx_peptide_chain_test.nx

imports: nx_syscalls.nxnx_peptide.nxnx_peptide_ext.nxnx_peptide_chain.nx

imported by: nobody (leaf or entry point)

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

main build_insulin nx_pep_assembly_new 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 ↻ pca_add_chain_seq nx_pep_build_new sys_mmap ↻ pex_add_seq pep_len pep_aa_from_char pep_residue_mono_q4 pca_count_cys pep_count_aa pep_len ↻ pep_aa_from_char ↻ pca_add_chain pex_mass_q4 pca_add_intra_disulfide pca_add_inter_disulfide pca_mass_q4 pca_bridges_possible pca_free_cys pca_total_ss pca_total_ss ↻ t_puts sys_write ↻

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
16func build_insulin() -> *NxPepAssembly
called by 1: main calls 4: nx_pep_assembly_newpca_add_chain_seqpca_add_intra_disulfidepca_add_inter_disulfide
26func main() -> i64
calls 21: build_insulinpca_mass_q4t_putst_putnpep_mass_agreespca_total_ss+15