code wiki / _hdl_build / nx_sovgit_repo_gate.nx

nx_sovgit_repo_gate.nx

buildroot/runtime/_hdl_build/nx_sovgit_repo_gate.nx

4864 B81 linesdepth 8pulls 13 transitivereach 0 importersview sourcekind gate/prooftopic sovgit
docsdependenciesstructsconstsfunctions

about

nx_sovgit_repo_gate.nx -- ★SOVGIT rung X1a: assemble a REAL bare git repo from the X0 object store (loose blob/tree/commit + refs/heads/master + HEAD + config with object-format=sha256), so a STOCK `git clone` round-trips it. This is REPO-level interop (a full clone: HEAD->master->commit->tree->blob->checkout), beyond X0's single-object read. GREEN => the bare repo is assembled + self-consistent; the out-of-gate `git clone` proves stock-git interop. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_sovgit_obj.nx nx_sovgit_repo_gate.nx

imports: nx_sovgit_obj.nx

imported by: nobody (leaf or entry point)

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

main hw sys_mkdir sg_write_loose sg_oid_hex sys_mmap sg_oid_raw sys_mmap ↻ sg_frame sg_cpy sg_slen sg_dec sys_mmap ↻ sha256_digest sys_mmap ↻ sha256_init sys_mmap ↻ sha256_k sha256_update sha256_compress_ni_blocks blk_set_byte sha256_compress sha256_final blk_set_byte ↻ sha256_compress ↻ sys_munmap sg_hex sg_slen ↻ sys_mkdir ↻ sys_mmap ↻ sg_cpy ↻ sg_frame ↻ sg_zwrap dfe_compress sys_mmap ↻ dfe_fill_tables dfe_deflate sys_mmap ↻ dfe_bits dfe_hash

structs

none

consts

none

functions

8func hw(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
9func show64(g: *u8) -> i64 { var i: i64 = 0; while i < 64 { sys_write(1, (g as i64 + i) as *u8, 1); i = i + 1 } return 0 }
called by 1: main
10func hexeq(got: *u8, exp: *u8) -> i64
called by 1: main
16func wfile(path: *u8, buf: *u8, n: i64) -> i64
called by 2: wstrmain calls 1: sys_openat_wr
23func wstr(path: *u8, s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return wfile(path, s, n) }
called by 1: main calls 1: wfile
25func main() -> i64