Nova CLI

nova — единая точка входа в инструментарий языка Nova. Заменяет run_tests.ps1 / run_tests.sh / regen_runtime.ps1 (см. Plan 28).

Версия: 0.1.0 (bootstrap). Бинарник публикуется как nova (Cargo package nova, crate nova-cli).

Quickstart

# Внутри Nova-проекта (рядом есть nova.toml). Модули лежат в корне
# пакета — директории `src/` нет (D78).
nova check                       # type-check всего workspace
nova check encoding/             # рекурсивно по директории
nova check lib.nv                # одиночный файл

nova build app.nv -o app         # скомпилировать в native binary (так и запускают код)
./app                            # затем выполнить его
nova add mathlib --path ../mathlib   # добавить зависимость, обновить nova.lock
nova info mathlib                # effect-surface зависимости
nova test nova_tests             # компиляция + запуск всех nova_tests/
nova test nova_tests/plan118     # один поддиректорий
nova test std nova_tests         # несколько путей: std/ + nova_tests/
nova test --filter basics        # подмножество по подстроке

nova doc lib.nv                  # markdown в stdout
nova doc . --format json         # JSON-схема D107
nova doc . --check --strict      # CI-валидация документации

nova bench run bench.nv          # запустить бенчмарки
nova contracts verify foo.nv     # SMT-верификация контрактов

Интерпретатора нет. Nova компилируется в C — команды nova run для запуска нет. Чтобы выполнить программу — nova build, затем запусти бинарник; для тестов — nova test. См. nova run ниже.

Установка и сборка

nova-cli живёт в nova-cli/ рядом с compiler-codegen/. Workspace не используется (см. Plan 28 — оба crate самостоятельные).

# Debug-сборка (default, opt-level=0)
cargo build --manifest-path nova-cli/Cargo.toml

# Release (opt-level=2, LTO thin)
cargo build --release --manifest-path nova-cli/Cargo.toml

# С Z3-бэкендом для контрактов (Plan 33.1)
cargo build --release --manifest-path nova-cli/Cargo.toml --features z3-backend

Получаешь:

• nova-cli/target/{debug,release}/nova[.exe]
• nova-cli/target/{debug,release}/migrate_plan60[.exe]
• nova-cli/target/{debug,release}/migrate_plan65[.exe]

nova имеет path-зависимость на nova_codegen (../compiler-codegen) — rebuild compiler автоматически перекомпилирует CLI.

Глобальные флаги

Применяются ко всем субкомандам:

Авто-детект цвета (priority high → low):

1. CLI --color always|never — принудительно
2. CLICOLOR_FORCE=1 → always
3. NO_COLOR (любое значение) → never (no-color.org)
4. CLICOLOR=0 → never
5. CI=true → never
6. TERM=dumb → never
7. По умолчанию — включено

Тюнинг field-cache (advanced)

Каждая субкоманда также принимает «ручки» field-caching из Plan 123. Это forensic / escape-hatch флаги — дефолты корректны для обычного использования; трогать их нужно только при расследовании регрессии codegen-кэша.

nova check дополнительно открывает --explain-cache, --telemetry-cache, --telemetry-json, --telemetry-baseline FILE, --telemetry-gate-affected-drop F и --telemetry-gate-caches-drop F для отчётов по кэш-анализу и CI-gate против регрессий.

Field-cache флаги опущены в per-command таблицах ниже ради читаемости; считай, что их полное семейство принимает каждая команда.

Коды выхода

Cargo-конвенция (Plan 36 R7):

nova doc --diff дополнительно использует 3 = patch-level breaking change (см. nova doc).

Поиск корня проекта

Большинство команд ищут nova.toml снизу вверх от CWD. Логика вынесена в nova_codegen::test_runner::find_repo_root_from:

1. Идём от CWD вверх до filesystem root
2. На каждом уровне читаем nova.toml если есть
3. Если в нём есть [workspace] — это и есть корень (workspace root), останавливаемся
4. Иначе запоминаем последний найденный nova.toml и идём дальше
5. Если найден корень с [workspace] — возвращаем его, иначе — самый верхний nova.toml

Это workspace-aware поведение (D78 AD6, Plan 35) — защищает от ситуации «вложенный nova_tests/nova.toml затмил основной».

Если nova.toml не найден — exit 2:

error: nova.toml not found — are you inside a Nova project?

Под workspace root резолвятся:

• <root>/nova_tests/ — корпус тестов
• <root>/std/ — стандартная библиотека
• <root>/compiler-codegen/ — include-пути C-runtime
• <root>/compiler-codegen/nova_rt/ — runtime sources (libuv, GC)
• <root>/target/last-test-results.json — кеш --rerun-failed

Команды

nova check

Type-check одного или нескольких .nv файлов / директорий. Plan 36 MVP — заменяет nova-codegen check.

nova check [PATHS...] [--jobs N] [-q|-v] [--list] [--format human|short]
           [--include-runtime] [--skip PATTERN]...

Позиционные аргументы:

• PATHS — список файлов или директорий. Если пусто — workspace root (рекурсивно). Файл должен иметь расширение .nv, иначе exit 2.

Флаги:

Hard-coded skip (всегда исключаются):

• target/, node_modules/, vendor/
• .git/, .hg/, .svn/
• директории, начинающиеся с _ или .
• std/runtime/ (override через --include-runtime)

Поведение:

• Дедуп через canonicalize
• Сортировка для детерминизма
• Параллельный walk через thread::scope + mpsc-channel
• Per-file warnings (yellow: warning:) после ok:-строки
• Summary: pass=N fail=N warnings=N (X.YYs)
• Exit 1 если есть FAIL, 2 если usage-ошибка

--format short:

lib.nv: ok
parser.nv:42:5: error: type mismatch

--format human (default):

ok: lib.nv
FAIL: parser.nv
  parser.nv:42:5: type mismatch

JSON / SARIF / JUnit форматы зарезервированы под sub-plan 36.A, сейчас не реализованы.

nova run

Сейчас НЕ поддерживается. Tree-walking интерпретатор отключён.

nova run остаётся видимой субкомандой, но при вызове падает с ошибкой и направляет на путь C-codegen:

nova run FILE

error: the Nova interpreter (`nova run`) is currently NOT supported.
Use `nova build <file>` to compile to an executable, or `nova test` to
compile and run tests (both via C codegen).

(exit 1).

Nova компилируется в C; поддерживаемого интерпретатора нет. Чтобы выполнить программу — nova build и запусти полученный бинарник; чтобы скомпилировать и прогнать тесты — nova test / nova test-build.

nova add

Добавить зависимость в [dependencies] nova.toml текущего пакета и обновить nova.lock (Plan 03.1).

nova add NAME (--path DIR | --git URL [--tag T | --branch B | --rev R | --version REQ])

• --path и --git взаимоисключающие; ровно один обязателен.
• --tag / --branch / --rev / --version взаимоисключающие; опциональны (без пина — ветка по умолчанию, в lock всё равно пишется точный commit).
• --version выбирает наибольший подходящий semver-тег репозитория и пишет в nova.lock и версию, и commit.
• Правит секцию [dependencies] (создаёт при отсутствии). Дубль имени → exit 2.
• После правки запускает lock-sync: материализует git-зависимость в кэше и пишет резолвнутый commit в nova.lock.
• Работает только внутри пакета (nova.toml с [package]), не на голом [workspace]-манифесте.

nova add mathlib --path ../mathlib
nova add gitlib  --git https://example.org/gitlib.nv --tag v1.0.0
nova add libfoo  --git https://example.org/libfoo.nv --version "^1.2"

nova update

Пере-резолвить git-зависимости и обновить nova.lock (Plan 03.1 / 03.2).

nova update [NAME] [--precise NAME@VERSION]

• NAME — конкретная git-зависимость для обновления. Без аргумента — все git-зависимости.
• Снимает целевые git-записи из nova.lock, затем пере-резолвит: branch/tag-пины берут текущий commit, version-диапазоны — наибольший подходящий тег. Остальные остаются зафиксированными (воспроизводимость).
• --precise NAME@VERSION — зафиксировать version-диапазонную git-зависимость на точной версии (напр. nova update --precise libfoo@1.2.0). Резолвер обязан согласовать её с остальным деревом, иначе — конфликт.
• path-зависимости пинов не имеют — такой аргумент отвергается с пояснением.

nova info

Показать effect-surface пакета — агрегированные эффекты его публичного API (Plan 03.4 / D140). Nova-уникальное: в Cargo/npm узнать, что зависимость ходит в сеть, без аудита кода невозможно.

nova info TARGET [--format human|json] [--diff BASE [--fail-on-new]]

• Effect-surface = объединение эффектов всех export-функций (D28 — публичные функции объявляют эффекты явно → surface точна без межпроцедурного анализа). Приватные функции не входят.
• --diff — supply-chain сигнал: Net/Fs в patch/minor-релизе ранее «чистого» API — красный флаг.

nova info ./mylib                    # effect-surface локального пакета
nova info somedep                    # объявленной зависимости
nova info somedep --format json
nova info ./v2 --diff ./v1 --fail-on-new   # CI: падение, если v2 добавил эффекты

Capability-confined зависимости. Зависимость можно ограничить через forbid в nova.toml:

[dependencies]
parser = { git = "https://example.org/parser.nv", forbid = ["Net", "Fs"] }

nova build вычисляет effect-surface зависимости и валит сборку, если она использует запрещённый эффект — песочница на уровне типов (сильнее рантаймовых permission-моделей). См. D63 / D140.

nova build

Скомпилировать один .nv-файл в native binary (через C-backend).

nova build FILE [-o OUTPUT] [--mode dev|release] [--toolchain auto|clang|msvc|gcc]
           [--vcvars PATH] [--clang PATH] [--timeout SECS] [--keep-artifacts]
           [--mono-depth N]

Только один файл за раз — -o принимает один путь. Для multi-file проектов используй import внутри entry-point.

Аргументы:

Tmp-директория: $TEMP/nova_tests/build/<path-hash>/ (Windows) или $TMPDIR/nova_tests/build/<path-hash>/ (Unix). Hash через DefaultHasher от абсолютного пути файла — обеспечивает уникальность без crypto-зависимости.

Pipeline:

1. parse + typecheck + infer_effects
2. CEmitter::emit_module → C-код
3. detect_toolchain() (с авто-детектом vcvars)
4. detect_or_build_libuv() — runtime может зависеть от libuv
5. compile_c_to_exe(&tc, &build_opts, timeout)
6. Копирование exe → -o или CWD
7. Удаление tmp (если не --keep-artifacts)

nova test

Запуск тестов из директории или файла. Plan 28 (вместе с Plan 26, Plan 27, Plan 34).

nova test [PATH]... [--filter SUBSTR] [--jobs N] [--format text|json|tap|junit]
          [--mode dev|release] [--toolchain auto|clang|msvc|gcc]
          [--vcvars PATH] [--clang PATH] [--timeout SECS] [-v|-q]
          [--results-file PATH] [--rerun-failed] [--retries N]
          [--keep-artifacts] [--gc boehm|malloc]
          [--list] [--filter-from PATH] [--shuffle [SEED]]
          [--skip PATTERN]... [--mono-depth N]
          [--positive] [--compile-error] [--panic] [--timeout-type]
          [--exit] [--slow] [--full]

Аргументы:

Category-флаги (Plan 169.1.1, D304) аддитивны — несколько флагов объединяют свои наборы тестов (OR). Без category-флага по умолчанию выбираются только позитивные тесты, быстрые (non-slow). Тип теста определяется по первому EXPECT_*-маркеру в заголовке файла (первые 30 строк), а не по папке — поэтому негативные тесты находятся даже вне neg/.

Multi-path (Plan 36.D.1): передавать любое количество путей — директорий и/или файлов. Минимум один путь обязателен (Plan 172.6). Чтобы добавить std/:

nova test nova_tests             # только nova_tests/
nova test std nova_tests         # std/ + nova_tests/ одновременно
nova test nova_tests/plan118     # конкретная поддиректория

Display name формируется как путь от текущего рабочего каталога (cwd): nova_tests/plan118/t1_parse_ok вместо абсолютного пути.

Форматы вывода:

• text — человекочитаемый, цветной, в stdout
• json — массив объектов с полями name, status, duration_ms, stderr
• tap — Test Anything Protocol v13
• junit — JUnit XML (для CI-агрегаторов)

--rerun-failed: читает --results-file, выбирает имена с status != "pass", фильтрует suite, запускает только их.

EXPECT-маркеры в тестовых файлах (см. docs/test-conventions.md):

• // EXPECT: <stdout-line> — точное совпадение строки
• // EXPECT_STDERR: <line> — для stderr
• // EXPECT_COMPILE_ERROR: <substring> — должно упасть при компиляции
• // EXPECT_RUNTIME_ERROR: <substring> — panic с подстрокой
• // REQUIRES_SMT_BACKEND — пропуск если SMT недоступен

nova test-build

Build + run одного тестового файла. Используется IDE / CI для точечной отладки.

nova test-build FILE [--mode dev|release] [--toolchain auto|clang|msvc|gcc]
                [--vcvars PATH] [--clang PATH] [--timeout SECS]
                [--keep-artifacts] [--gc boehm|malloc] [--mono-depth N]

Эквивалентно nova test <FILE>, но без machinery для bulk-runner’а (одиночный exe, single test-block в файле).

nova regen-runtime

Регенерация std/runtime/*.nv стабов из compiler-runtime реестра. Заменяет regen_runtime.ps1.

nova regen-runtime [--check]

Под капотом — nova_codegen::codegen::runtime_registry::all() + render каждого модуля. См. Plan 13.

nova doc

Production-grade документация (Plan 45 / D107). Markdown / JSON / HTML

• doc-tests + coverage + mutation testing + watch + workspace-mode.

nova doc [FILE] [--format markdown|json|html] [--json-schema]
         [--include-private] [--test] [--check] [--watch]
         [--coverage [--coverage-threshold PERCENT]] [--jobs N]
         [--diff OLD NEW] [--scrape-examples WORKSPACE]
         [--strict] [--mutate-contracts [--real-exec]]
         [--output-dir DIR]

Аргументы:

Exit-коды для --diff OLD NEW:

Mutation testing (--mutate-contracts):

Генерирует мутанты для каждой функции с контрактами:

• > ↔ >=, < ↔ <=
• == ↔ !=
• Дроп requires/ensures

Default — text-based heuristic (~1ms/мутант). С --real-exec — запускает мутированные doc-tests через test_runner (~100ms/мутант, true positive guarantee).

Поддерживаемые форматы документации в /// см. Plan 45 (D107).

nova doc-query

DSL-запросы к JSON-выводу nova doc --format json (Plan 45 Ф.32.1). Фундамент для MCP-сервера (nova doc-mcp).

nova doc-query JSON_FILE [QUERY]

Синтаксис query: key=value,key=value,...

Примеры:

nova doc . --format json > out.json
nova doc-query out.json "kind=fn,capability=pure"
nova doc-query out.json "name=add,has-contracts=true"
nova doc-query out.json "module-prefix=std,effect=Fs"

Пустой query → весь файл as-is.

nova doc-mcp

MCP-сервер (Model Context Protocol) — JSON-RPC over stdio или HTTP (Plan 45 Ф.32.3 / Ф.34.1). Совместим с MCP-клиентами (Claude Code, MCP Inspector).

nova doc-mcp FILE [--port PORT]

Tools (экспортируется через tools/list):

• query_items(query) — поиск через DSL (nova doc-query)
• list_modules() — список module-путей
• get_item(item_id) — полный JSON одного item

Protocol: MCP-клиент шлёт initialize → tools/list → tools/call.

nova contracts

Инспекция и верификация контрактов (Plan 33 / D24). Output — JSON (AI-friendly schema, см. docs/contracts-diag-schema.json).

nova contracts <SUBCOMMAND>

nova contracts list

Список всех контрактов в файле.

nova contracts list FILE

nova contracts verify

SMT-верификация контрактов. Output — JSON.

nova contracts verify FILE [--backend BACKEND]

Z3-бэкенд: требует build с --features z3-backend. См. Plan 33.1.

nova contracts suggest

AI-assisted предложения для контрактов (стабы).

nova contracts suggest FILE FN_NAME

nova contracts counterexample

Контрпример для падающего контракта.

nova contracts counterexample FILE FN_NAME [--contract-id N]

nova bench

Бенчмарк-инфраструктура (Plan 57 — MVP+A+B+C+D+E+F+G+H закрыты). Лучше Criterion (Rust) / testing.B+benchstat (Go) / tinybench (TS) по ряду параметров. См. docs/bench-conventions.md.

nova bench <SUBCOMMAND>

Субкоманды: run, diff, gate, calibrate, cpu-instr-check, membw-check, hyperfine, callgrind, callgrind-check, runner-branch, history-anomalies, remote, corpus, history-add, history-list, history-squash, dashboard.

nova bench run

Запустить bench "..." { measure { ... } } декларации.

nova bench run FILE [--filter PATTERN] [--samples N] [--warmup-ms MS]
                    [--time-budget SECS] [--gc boehm|malloc]
                    [--mode release|dev] [--toolchain auto|clang|msvc|gcc]
                    [--vcvars PATH] [--clang PATH]
                    [--compile-timeout SECS] [--run-timeout SECS]
                    [--keep-artifacts] [--mono-depth N]
                    [--out PATH] [--out-csv PATH] [--out-md PATH]
                    [--out-criterion DIR] [--profile MODE OUT]
                    [--histogram]

Output-форматы:

• --out (JSON v1): полная схема с metadata (git SHA, toolchain, CPU model)
• --out-criterion: <dir>/<safe-name>/new/{estimates,sample,benchmark}.json, совместимо с cargo-criterion --message-format=criterion
• --out-md: markdown-таблица для PR
• --histogram: 40 buckets, Unicode block chars, медиана и Tukey fences

Profile-режимы:

• cpu — заворачивает в samply (нужен cargo install samply)
• heap — NOVA_BENCH_HEAP_SAMPLE_MS=10
• gc — NOVA_BENCH_GC_TRACE=1

nova bench diff

Сравнение двух bench-результатов. Welch’s t-test, geomean delta, reproducibility check.

nova bench diff BASELINE NEW [--format terminal|markdown|json]
                              [--explain [--ai-config PATH] [--ai-max-tokens N]
                                         [--ai-dry-run]]
                              [--baseline-sha SHA] [--new-sha SHA]

--explain использует system curl (без RustCrypto-стека) и требует NOVA_AI_API_KEY или конфиг.

nova bench gate

CI-gate: применяет пороги из bench.toml. Exit 0 = pass, 1 = regress.

nova bench gate BASELINE NEW [--config PATH] [--noise PATH]

nova bench calibrate

Авто-калибровка noise-floor из ≥2 повторных прогонов того же baseline (Plan 57.A.3).

nova bench calibrate RUNS... [--out PATH]

Файл machine-specific; в git добавлять не нужно.

nova bench cpu-instr-check

Диагностика доступности CPU-instruction-counter (Plan 57.B.4).

nova bench cpu-instr-check

Linux: проверяет perf_event_open + measures known loop. Other OS: печатает stub-сообщение.

nova bench membw-check

Диагностика memory-bandwidth measurement (Plan 57.F.3).

nova bench membw-check

Linux: probes /sys/devices/uncore_imc_* + LLC-miss perf counter. Other OS: stub.

nova bench hyperfine

Hyperfine-style cross-binary timing — wall-clock измерение произвольных команд (Plan 57.H.2). Output совместим с nova bench diff.

nova bench hyperfine SPECS... [--warmup N] [--samples N]
                              [--timeout SECS] [--workdir PATH] [--out PATH]

Пример:

nova bench hyperfine \
  "old=./nova-old build large.nv" \
  "new=./nova-new build large.nv" \
  --samples 10 --warmup 2 --out result.json

nova bench callgrind

Запуск под Valgrind Callgrind — deterministic CPU-instructions count (Plan 57.H.3). Cross-platform fallback к perf_event_open (Linux-only). Работает на macOS + Linux при наличии valgrind.

nova bench callgrind BINARY [ARGS...] [--cache-sim] [--workdir PATH] [--out PATH]

nova bench callgrind-check

Проверка наличия и версии valgrind.

nova bench callgrind-check

nova bench runner-branch

Печатает рекомендованное имя history-branch на основе env NOVA_BENCH_RUNNER_ID (Plan 57.D.4 — multi-runner CI matrix).

nova bench runner-branch

Возвращает bench-history если env не задан, иначе bench-history-<id>.

nova bench history-anomalies

Детекция changepoints в historical median time-series через PELT algorithm (Plan 57.E.5). Идентифицирует regimes с ≥5% delta.

nova bench history-anomalies [--branch BRANCH] [--format text|json]

nova bench remote

SSH-distributed bench coordination (Plan 57.F.1).

nova bench remote <SUBCOMMAND>

nova bench remote list

Список remotes из ~/.nova-bench-remotes.toml.

nova bench remote list [--config PATH]

--config override через NOVA_BENCH_REMOTES env.

nova bench remote ping

SSH health-check одного remote.

nova bench remote ping NAME [--config PATH]

nova bench remote run

Параллельный bench на N remotes; gathering results.

nova bench remote run BENCH [--remotes LIST] [--gather-into DIR] [--sha SHA] [--config PATH]

nova bench corpus

Измерение per-pass compile time для corpus файла(ов) — Plan 57.C.8. Заворачивает nova build с NOVA_PERF_TIMER=1, парсит __PERF__ маркеры.

nova bench corpus PATH [--json] [--html PATH] [--echarts-url URL]
                       [--mode release|dev] [--toolchain auto|clang|msvc]
                       [--gc boehm|malloc]

nova bench history-add

Дописать result JSON в orphan history-branch (Plan 57.A.1).

nova bench history-add RESULT [--branch BRANCH] [--push] [--remote NAME] [--dry-run]

nova bench history-list

Список entries в history-branch (newest first).

nova bench history-list [--branch BRANCH]

nova bench history-squash

Squash старых entries по retention policy (Plan 57.C.6 — рекомендуется yearly squash).

nova bench history-squash --before-date YYYY-MM-DD [--branch BRANCH]
                          [--push] [--remote NAME] [--dry-run]

nova bench dashboard

Статический HTML dashboard из history (Plan 57.A.2).

nova bench dashboard [--history-branch BRANCH] [--out DIR] [--max-entries N] [--echarts-url URL]

Генерирует index.html + bench-<safe>.html per bench + data.json.

Семейство nova bench также открывает диагностические субкоманды field-cache (реальное wall-clock измерение влияния field-cache из Plan 123), cpu-instr-check, membw-check и callgrind-check. Флаги — через nova bench <sub> --help.

nova consume-analyze

Анализатор покрытия consume-типов (Plan 100.8 / D7). Сканирует файл или директорию, собирает все consume-типизированные биндинги и сообщает, сколько из них покрыто через consume-методы (Cleanup.@cleanup, D188) или defer. Полезно как CI-проверка гигиены.

nova consume-analyze PATH [--format human|json] [--fail-on-uncovered]

Коды выхода:

Переменные окружения

Migration-бинарники

Отдельные one-shot инструменты в nova-cli/src/bin/. Сохраняются в репозитории как reference для будущих атомарных API-rename планов.

migrate_plan60

Lexer-based миграция field-style size-accessors в method-form (D117 / Plan 60):

expr.len      → expr.len()
expr.is_empty → expr.is_empty()
expr.byte_len → expr.byte_len()
expr.cap      → expr.capacity()
expr.capacity → expr.capacity()

Skip conditions: предыдущий значимый token == = (method-value assignment: let f = arr.len).

migrate_plan60 [--apply] [--dry-run] [--md] [--paths DIR...]

Token-level rewrite — комментарии / whitespace / formatting сохраняются 1:1.

migrate_plan65

Lexer-based миграция Time.after(<lit>) → ChanReader.close_after(Duration.from_*(<lit>)) (Plan 65 AD11):

Time.after(<INT>)    → ChanReader.close_after(Duration.from_millis(<INT>))
Time.after(<FLOAT>)  → ChanReader.close_after(Duration.from_secs_f64(<FLOAT>))
Time.after(<expr>)   → как есть + // MIGRATE_MANUAL: Plan 65 — non-literal arg

migrate_plan65 [--apply] [--dry-run] [--md] [--paths DIR...]

Exit codes (специальный набор):

Token-aware через nova_codegen::lexer — пропускает строки и комментарии естественным образом.

Связанные документы

• spec/ — спецификация языка
• spec/decisions/09-tooling.md — D-блоки про тулинг (D89, D107, D121, …)
• docs/test-conventions.md — EXPECT-маркеры, директивы тестов
• docs/bench-conventions.md — convention для bench-файлов
• docs/plans/28-nova-cli.md — план каркаса CLI
• docs/plans/36-cli-production-hardening.md — exit codes, --color, parallel walk
• docs/plans/45-nova-doc.md — nova doc / doc-query / doc-mcp
• docs/plans/57-perf-benchmark-infrastructure.md — nova bench family
• docs/plans/33.3-contracts-advanced.md — nova contracts