code wiki / (root) / nx_remedy_test.nx

nx_remedy_test.nx

buildroot/runtime/nx_remedy_test.nx

5281 B114 linesdepth 6pulls 6 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_remedy_test.nx -- smoke for the formalized self-remediation cycle. Verifies each phase independently + the full-cycle runner end-to-end.

dependencies 3 imports · 0 importers

syscalls.nx nx_remedy.nx nx_estimator_diagnostics.nx nx_remedy_test.nx

imports: syscalls.nxnx_remedy.nxnx_estimator_diagnostics.nx

imported by: nobody (leaf or entry point)

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

main nx_anomaly_alloc nx_remedy_detect nx_diag_report_alloc nx_remedy_diagnose nx_remedy_propose nx_remedy_fp_set nx_remedy_fp_at nx_remedy_fp_at ↻ nx_plan_alloc nx_remedy_apply_plan nx_diag_alloc nx_remedy_ab_verify nx_remedy_generalize nx_remedy_ab_verify ↻

structs

none

consts

none

functions

8func main() -> i64 {
calls 11: nx_anomaly_allocnx_remedy_detectnx_diag_report_allocnx_remedy_diagnosenx_remedy_proposenx_remedy_fp_at+5