nx_claim_check_gate.nx
buildroot/runtime/nx_claim_check_gate.nx
about
nx_claim_check_gate.nx -- gate for session claims (coordination rung 1).
Runs in a /tmp fixture (mkdir + chdir) so the REAL leash store is never touched.
Teeth: T1 register+readback; T2 pure scope battery (exact/csv/star/miss/empty/overlong);
T3 pure liveness battery (live/stale/RELEASED/RECLAIMED); T4 THE TOOTH foreign live
scope -> DENY(3); T5 own scope never self-blocks; T6 release frees (NEG: the same check
that denied now grants); T7 unclaimed session denied on foreign live scope (fail-closed).
expect_exit: 0 license_tier: ORIGINAL
dependencies 1 imports · 0 importers
imports: nx_claim_core.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 10 | const CG_DIRMODE: i64 = 493 |
| 11 | const CG_TTL: i64 = 60000 |
| 12 | const CG_AGE_FRESH: i64 = 100 |
| 13 | const CG_AGE_STALE: i64 = 70000 |
functions
| 15 | func g(s: *u8) -> i64 { std_puts(s); return 0 } |
| 17 | func main() -> i64 |