# Print an optspec for argparse to handle cmd's options that are independent of any subcommand.
function __fish_nucleos_global_optspecs
	string join \n v/verbose d/debug p/skip-wfc threads= no-compress license output= h/help V/version
end

function __fish_nucleos_needs_command
	# Figure out if the current invocation already has a command.
	set -l cmd (commandline -opc)
	set -e cmd[1]
	argparse -s (__fish_nucleos_global_optspecs) -- $cmd 2>/dev/null
	or return
	if set -q argv[1]
		# Also print the command, so this can be used to figure out what it is.
		echo $argv[1]
		return 1
	end
	return 0
end

function __fish_nucleos_using_subcommand
	set -l cmd (__fish_nucleos_needs_command)
	test -z "$cmd"
	and return 1
	contains -- $cmd[1] $argv
end

complete -c nucleos -n "__fish_nucleos_needs_command" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_needs_command" -l output -d 'Report format, given BEFORE the subcommand' -r -f -a "text\t''
json\t''"
complete -c nucleos -n "__fish_nucleos_needs_command" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_needs_command" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_needs_command" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_needs_command" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_needs_command" -l license -d 'Print the full proprietary licence text and exit'
complete -c nucleos -n "__fish_nucleos_needs_command" -s h -l help -d 'Print help'
complete -c nucleos -n "__fish_nucleos_needs_command" -s V -l version -d 'Print version'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "anonymize" -d 'Rewrite a .dzn source file with identifiers replaced by `_<N>` and comments stripped'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "bug-report" -d 'Bundle diagnostic info into a .zip / .tar.gz archive for a support ticket'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "parse" -d 'Parse a Dezyne file and run well-formedness checks'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "inspect-ports" -d '(dev) Emit JSON describing the ports of a component or interface'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "lts" -d 'Generate an LTS for a Dezyne component or interface in `.aut` format'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "traces" -d 'Generate an exhaustive set of traces for a Dezyne model'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "lts-walk" -d '(dev) Replay a trace through the generated LTS, dumping state vectors at each step'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "lts-diagnose" -d '(dev) Stream a verbose `[dbg]` trace of one handler\'s LTS exploration'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "verify" -d 'Check a Dezyne model for verification errors (deadlock, livelock, illegal, ...)'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "simulate" -d 'Simulate a Dezyne model against a trace'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "trace" -d '(dev) Convert `simulate` text output to sequence-diagram JSON'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "code" -d 'Generate code for a Dezyne model — FORWARDED to the legacy `dzn`'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "graph" -d 'Graph a Dezyne model — system view / state diagram — FORWARDED to `dzn`'
complete -c nucleos -n "__fish_nucleos_needs_command" -f -a "sim-judge" -d '(dev) Judge a simulate/repl output against a golden'
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand anonymize" -s h -l help -d 'Print help'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s o -l out -d 'Output path; extension picks format (.zip / .tar.gz / .tgz / .tar)' -r -F
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l model -d 'Include this .dzn file (flattened via `parse -E`)' -r -F
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s I -l import -d 'Import directory for --model (repeatable)' -r -F
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l panic-log -d 'Include this captured panic stderr (overrides last-panic.log auto-pickup)' -r -F
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l capture-output -d 'Include this captured run output (overrides last-run.log auto-pickup)' -r -F
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l description -d 'Free-text "what went wrong" note' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l anonymize -d 'Force-anonymize the model (skips the anonymize prompt)'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-anonymize -d 'Force-DO-NOT-anonymize the model (skips the anonymize prompt)'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-last-panic -d 'Skip auto-pickup of last-panic.log'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-last-run -d 'Skip auto-pickup of last-run.log'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-infer -d 'Skip argv inference from last-{panic,run}.log'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-env -d 'Skip env-var collection (privacy override)'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s y -l yes -d 'Non-interactive: skip all prompts, take each default'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l include-source -d 'Force "yes" to the source-inclusion prompt'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand bug-report" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s E -l preprocess -d 'Resolve imports and write the flattened source to stdout (gcc-style preprocessor mode)'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s D -l no-directives -d 'With `-E`: omit the `#file`/`#imported` directive lines'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s l -l list-models -d 'Print `<name> <type>` for each model declared in FILE, then exit'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand parse" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s m -l model -d 'Restrict introspection to model MODEL' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand inspect-ports" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s m -l model -d 'Select component/interface by name' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s q -l queue-size -d 'Event queue size [3]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l queue-size-defer -d 'Defer queue size [2]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l queue-size-external -d 'External queue size [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l full-lts -d 'Emit the full LTS instead of the fail-fast one'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l defer-origin -d 'Tag each `<defer>` discharge edge with its origin leaf'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts" -s h -l help -d 'Print help'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s m -l model -d 'Select component/interface by name' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s o -l output -d 'Write traces to DIR as `<model>.trace.<N>` (default "."); `-` writes all traces to stdout' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s q -l queue-size -d 'Event queue size [3]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -l queue-size-defer -d 'Defer queue size [2]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -l queue-size-external -d 'External queue size [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s f -l flush -d 'Include `<flush>` events in the traces'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s i -l illegal -d 'Include traces that lead to an illegal'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -l defer-origin -d 'Tag each `<defer>` discharge edge with its origin leaf'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand traces" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s m -l model -d 'Select component/interface by name' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s t -l trail -d 'Read trace from FILE (default: stdin)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s q -l queue-size -d 'Event queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l queue-size-defer -d 'Defer queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l queue-size-external -d 'External queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l compare-aut -d 'Diff weak-refusal sets against a second LTS read from FILE' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l show-eligible -d 'Print weak-outgoing label set at each step'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l state-as-tau -d 'Treat `port.<state>(...)` labels as tau when stepping'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-walk" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s m -l model -d 'Select component by name' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -l state -d 'Post-trigger LTS state id to trace verbosely' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s q -l queue-size -d 'Event queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -l queue-size-defer -d 'Defer queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -l queue-size-external -d 'External queue size' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand lts-diagnose" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s m -l model -d 'Restrict verification to model MODEL' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l output -d 'Report format: `text` (default) or `json`' -r -f -a "text\t''
json\t''"
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s q -l queue-size -d 'Event queue size [3]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l queue-size-defer -d 'Defer queue size [2]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l queue-size-external -d 'External queue size [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s k -l keep-going -d 'Keep verifying after finding an error (default: stop on first)'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l no-interfaces -d 'Skip interface verification'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s U -l no-unreachable -d 'Skip the unreachable code check'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l full-lts -d 'Explore the full LTS instead of stopping at the first error edge'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand verify" -s h -l help -d 'Print help'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s m -l model -d 'Select component/interface by name' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l output -d 'Report format: `text` (default) or `json`' -r -f -a "text\t''
json\t''"
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s I -l import -d 'Add DIR to import path (repeatable)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s t -l trail -d 'Read trace from FILE (default: stdin)' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s q -l queue-size -d 'Event queue size [3]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l queue-size-defer -d 'Defer queue size [2]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l queue-size-external -d 'External queue size [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l check-trace -d 'Test the REPL against a golden trace FILE. Implies `--repl`' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l repl -d 'REPL mode: drive the model interactively, one event per line on stdin'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l defer-any-order -d 'Follow the trace\'s defer discharge order, not a global defer FIFO'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l defer-origin -d 'Tag each `<defer>` discharge edge with its origin leaf'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s f -l flush -d 'Accept `p.<flush>` queue-drain tokens in a fed trace'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand simulate" -s h -l help -d 'Print help'
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand trace" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand code" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand graph" -s h -l help -d 'Print help (see more with \'--help\')'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -l class -d 'Classification: shape (default) | exact | goldenartifact | nondet | stateartifact' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -l threads -d 'Parallel BFS threads [1]' -r
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -l emit-doc -d 'Emit the normative doc sections (§6/§7/§8) from the code'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -s v -l verbose -d 'Report progress while working, not just the result'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -s d -l debug -d 'Enable debug output and a full diagnostic backtrace on panic'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -s p -l skip-wfc -d 'Skip well-formedness checking'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -l no-compress -d 'Disable leaf-LTS compression when composing a system LTS'
complete -c nucleos -n "__fish_nucleos_using_subcommand sim-judge" -s h -l help -d 'Print help (see more with \'--help\')'
