topic: hostop

15 modules sharing the hostop name family (derived from the tree's prefix discipline).

module	description	lines	funcs
nx_hostop.nx	THE NISHI HOST OPERATOR (library). The single sovereign owner of host-facing application, in	267	27
nx_hostop_apply_gate.nx	R2/R3/R5 PROOF: atomic host-swap + host-rollback, NEVER-BRICK by construction.	54	7
nx_hostop_census.nx		79	5
nx_hostop_ctl_gate.nx	R11 PROOF: control-plane composition -- pre-apply health decision + supervise command.	36	5
nx_hostop_dns_gate.nx	R6 PROOF: the host-operator translates the publisher's pub_dns directive into the host	35	5
nx_hostop_func_census.nx	Scores the HOST OPERATOR's implementation against a mature host-deploy incumbent by checking if required symbols are wired into the role.	108	7
nx_hostop_law_gate.nx	R4 PROOF: the NO-DIRECT-HOST law. Workstreams must NOT apply to the live host directly;	40	6
nx_hostop_obs_gate.nx	R9 PROOF: host observability -- apply-ledger history + DORA + notify.	46	5
nx_hostop_progressive_gate.nx	R7 PROOF: progressive host delivery (multi-host fan-out, rolling, blue-green),	65	8
nx_hostop_receive_gate.nx	R1 PROOF: the Host Operator RECEIVES exactly the publisher-verified + STAGED releases.	45	7
nx_hostop_recover_gate.nx	R10a PROOF: wedge-aware host recovery (hostop_recover = pr_recover). Seeds an APM	37	7
nx_hostop_serve_gate.nx	R10b PROOF: host served-smoke + host canary, over REAL loopback HTTP against a host-root	55	5
nx_hostop_state_gate.nx	R8 PROOF: host state mgmt -- drift detection, dry-run plan, idempotent apply.	49	7
nx_hostop_sweep.nx		57	4
nx_hostop_watchdog_gate.nx	R12 PROOF: the host-operator watchdogs the publisher daemon. Fresh heartbeat -> no	38	5