code wiki / (root) / nx_img_resample_gate.nx

nx_img_resample_gate.nx

buildroot/runtime/nx_img_resample_gate.nx

2516 B69 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic img
docsdependenciesstructsconstsfunctions

about

nx_img_resample_gate.nx -- KAT gate for the selectable-model resampler. Proves (a) model SELECTION works and changes the output, (b) each model is correct. Same input [0,100] 2->4 through three models gives three DIFFERENT middle values: nearest=0, bilinear=25, bicubic=20 -- so the id genuinely selects the algorithm. Bicubic KATs are hand-derived from Catmull-Rom, exact on both axes; identity is byte-exact. Unknown model + bad args refuse.

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_img_scale.nx nx_img_resample.nx nx_img_resample_gate.nx

imports: nx_syscalls.nxnx_img_scale.nxnx_img_resample.nx

imported by: nobody (leaf or entry point)

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

main sys_mmap nx_img_resample nx_img_scale_nearest _img_srccoord _img_clamp _img_clamp ↻ nx_img_scale_bilinear _img_srccoord ↻ _img_clamp ↻ nx_img_scale_bicubic sys_mmap ↻ _img_srccoord ↻ _bicubic_w _img_clamp ↻

structs

none

consts

none

functions

13func main() -> i64
calls 2: sys_mmapnx_img_resample