code wiki / (root) / nx_ipdock_gate.nx

nx_ipdock_gate.nx

buildroot/runtime/nx_ipdock_gate.nx

5810 B74 linesdepth 8pulls 14 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_ipdock_gate.nx -- INDEPENDENT GATE: IP docketing, and which deadlines survive being missed. ZERO storage. The teeth: a missed Paris Convention priority is IRRECOVERABLE (no grace, ever), while a missed maintenance fee inside its six-month grace is still PAYABLE with a surcharge -- calling that one "lost" abandons a live patent, the mirror-image error; a trademark filing BEFORE its window opens is refused rather than accepted early; and an unknown anchor date yields UNKNOWN, never a fabricated deadline, because a fabricated IP date will be trusted. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_ipdock_lib.nx nx_gate_verdict.nx nx_ipdock_gate.nx

imports: nx_ipdock_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap gv_head gv_puts sys_write gv_check gv_puts ↻ ipd_paris_pure ipd_deadline_pure ipd_pct_pure ipd_deadline_pure ↻ ipd_status_hard_pure ipd_recoverable_pure ipd_surcharge_due_pure ipd_deadline_pure ↻ ipd_status_grace_pure ipd_days_remaining_pure ipd_tm_filable_pure ipd_recoverable_pure ↻ ipd_status_grace_pure ↻ ipd_window_status_pure ipd_status_grace_pure ↻ ipd_status_label mt_catcopy ipd_exposure_pure gv_verdict gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻ sys_now_realtime_sec sys_mmap ↻

structs

none

consts

none

functions

12func main(argc: i64, argv: *i64) -> i64
calls 16: gv_ctrgv_headgv_checkipd_paris_pureipd_pct_pureipd_status_hard_pure+10