Звіт про здоров'я програмного забезпеченнясхема 0.34.0 · метрики 2.10.0 · 2026-09-09 15:14 UTC

ash-project / crux

Library for boolean satisfiability solving and expression manipulation.

ElixirВласна ліцензія★ 13 зірок⑂ 3 форкиз жовт. 2025 р.Переглянути на GitHub ↗

ash-project/crux має індекс здоров’я 84 зі 100, що відповідає смузі «Відмінний». Найвищий показник — Security (81/100), найнижчий — AI Readiness (51/100). Останнє оновлення було 7 днів тому. Більшість нещодавньої роботи виконують 2 учасники.

загалом / 100

Відмінний

Індекс здоров'я програмного забезпечення

Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).

Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям

Відмінний80-92Сильний за всіма напрямами; незначні прогалини

Добрий65-79Здоровий; прогалини обмежені та керовані

Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку

Слабкий35-49Суттєві недоліки в кількох сферах

У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності

Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)

Профіль оцінок

Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.

Зважений загальний бал 71 калібровано до 84 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).

Власність

Ash FrameworkОрганізація

388 підписників61 публічний репозиторійз груд. 2019 р.

За цим репозиторієм стоїть організація — спільна, підзвітна опіка, здатна пережити будь-якого окремого мейнтейнера.

Пакетні екосистеми

Реєстр	Пакет	Версія	Завантажень / міс	Версії	Остання публікація
Hex	crux	0.1.4	101 605	5	68 днів тому

Метрики за категоріями

Життєздатність

Чи живий проєкт — чи пишеться код і чи виходять релізи?

79Добрий · 21% загального індексу

Активність розробки

70Добрий

Як обчислюється оцінка

36/36	Свіжість push — останній push 7 дн. тому
10.4/36	Ритм комітів — 15/52 тижнів із комітами
15.3/18	Обсяг комітів — 50 комітів за останній рік
8/10	OpenSSF Scorecard: Maintained — 10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8

Використані вхідні дані

commits_last_year	50
human_commit_share	0,62
days_since_last_push	7
active_weeks_last_year	15

Дисципліна релізів

92Відмінний

Як обчислюється оцінка

27/27	Випускає релізи — опубліковано 4 релізів
36/36	Свіжість релізів — останній реліз 68 дн. тому
19.8/27	Ритм релізів — реліз кожні ~86,7 дн.
0/10	OpenSSF Scorecard: Signed-Releases — немає даних

Використані вхідні дані

releases_count	4
latest_release_tag	v0.1.4
releases_from_tags	ні
days_since_latest_release	68
mean_days_between_releases	86,7

Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.

Спільнота та впровадження

Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?

60Помірний · 17% загального індексу

Здоров'я спільноти

86Відмінний

Як обчислюється оцінка

22.5/22.5	README
16.9/22.5	Ліцензія — файл ліцензії наявний, не є визнаною ліцензією
18/18	Настанови CONTRIBUTING
13.5/13.5	Кодекс поведінки
0/7.2	Шаблон issue
6.3/6.3	Шаблон PR

Використані вхідні дані

has_readme	так
has_license	ні
readme_badges	4
has_contributing	так
has_issue_template	ні
has_code_of_conduct	так
readme_badge_services	github.com, shields.io
has_pull_request_template	так

Впровадження в екосистемі (завантаження)

84Відмінний

Як обчислюється оцінка

66.8/80	Щомісячні завантаження — 101 605 завантажень/місяць у hex
0/20	Залежні пакети в реєстрі — ця екосистема цього не повідомляє

Використані вхідні дані

packages	crux
dependents	—
ecosystems	hex
total_downloads	600 769
monthly_downloads	101 605
unverified_packages_excluded	—

Виключено з оцінювання (немає даних або не застосовно): Залежні пакети в реєстрі. Залишкові ваги перенормовано.

Сталість та врядування

Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?

76Добрий · 23% загального індексу

Стійкість мейнтейнерів (бас-фактор)

54Помірний

Як обчислюється оцінка

25.2/54	Бас-фактор — на 2 контриб’ютор(ів) припадає половина всіх комітів
12.3/22.5	Розподіл комітів — головний контриб’ютор — автор 45% комітів
6.8/13.5	Широта контриб’юторів — 5 контриб’юторів
10/10	OpenSSF Scorecard: Contributors — project has 11 contributing companies or organizations

Використані вхідні дані

bus_factor	2
contributors_sampled	5
top_contributor_share	0,452

Реактивність на issue та PR

86Відмінний

Як обчислюється оцінка

42/42	Вирішення issue — закрито 100% issue
26.6/30	Прийняття PR — злито 31/35 вирішених PR
0/13	Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка
6/15	OpenSSF Scorecard: Code-Review — Found 4/10 approved changesets -- score normalized to 4

Використані вхідні дані

merged_prs	31
open_issues	0
closed_issues	5
prs_merged_7d	0
prs_decided_7d	0
prs_merged_30d	0
prs_decided_30d	0
issue_closed_ratio	1
closed_unmerged_prs	4
first_time_authors_30d	0
first_time_prs_merged_30d	0
first_time_prs_decided_30d	0

Виключено з оцінювання (немає даних або не застосовно): Newcomer PR acceptance. Залишкові ваги перенормовано.

Власність та опіка

74Добрий

Як обчислюється оцінка

30/30	Підтримка власника — у власності організації
0/20	Верифікований домен
18.6/25	Охоплення власника — 388 підписників у ash-project
25/25	Послужний список — 61 публічних репозиторіїв, вік облікового запису ~6 р.

Використані вхідні дані

followers	388
owner_type	Organization
is_verified	ні
owner_login	ash-project
public_repos	61
account_age_days	2 471

Супровід пакетів

100Винятковий

Як обчислюється оцінка

25/25	Опубліковано й доступно — 1 пакет(ів) у hex
35/35	Свіжість публікацій — остання публікація 68 дн. тому
20/20	Історія версій — 5 опублікованих версій
20/20	Не застарілий — активний, не deprecated і не yanked

Використані вхідні дані

packages	crux
ecosystems	hex
any_deprecated	ні
min_days_since_publish	68

Інженерна якість

Чи наявні базові інженерні практики та документація?

64Помірний · 19% загального індексу

Інженерні практики

64Помірний

Як обчислюється оцінка

24/24	Процеси CI — 2 процес(ів) CI
24/24	Наявні тести
0/16	Конфігурація лінтера
0/9.6	Pre-commit-хуки
0/6.4	.editorconfig
16/20	OpenSSF Scorecard: CI-Tests — 19 out of 22 merged PRs checked by a CI test -- score normalized to 8

Використані вхідні дані

has_ci	так
has_tests	так
has_editorconfig	ні
has_linter_config	ні
has_precommit_config	ні

Документація

65Добрий

Як обчислюється оцінка

30/30	README
0/25	Каталог документації
15/15	Сайт документації / домашня сторінка — https://hex.pm/packages/crux
10/10	Опис репозиторію
10/10	Теми — 2 тем
0/10	Wiki

Використані вхідні дані

topics	elixir, sat-solver
has_wiki	ні
homepage	https://hex.pm/packages/crux
docs_site	https://hex.pm/packages/crux
has_readme	так
has_docs_dir	ні
has_description	так

Безпека

Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?

81Відмінний · 16% загального індексу

Стан безпеки

76Добрий

Як обчислюється оцінка

7.5/7.5	Binary-Artifacts — no binaries found in the repo
0/7.5	Branch-Protection — branch protection not enabled on development/release branches
2/2.5	CI-Tests — 19 out of 22 merged PRs checked by a CI test -- score normalized to 8
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
3/7.5	Code-Review — Found 4/10 approved changesets -- score normalized to 4
2.5/2.5	Contributors — project has 11 contributing companies or organizations
10/10	Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5	Dependency-Update-Tool — update tool detected
5/5	Fuzzing — project is fuzzed
2.5/2.5	Ліцензія — license file detected
6/7.5	Maintained — 10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8
0/5	Packaging — немає даних
2.5/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5
4.5/5	SAST — SAST tool is not run on all commits -- score normalized to 9
5/5	Security-Policy — security policy file detected
0/7.5	Signed-Releases — немає даних
7.5/7.5	Token-Permissions — GitHub workflow tokens follow principle of least privilege
4.5/7.5	Vulnerabilities — 4 existing vulnerabilities detected

Використані вхідні дані

source	openssf_scorecard
checks_evaluated	16
scorecard_version	v5.5.0
checks_inconclusive	2
scorecard_aggregate	7,6

Виключено з оцінювання (немає даних або не застосовно): Packaging, Signed-Releases. Залишкові ваги перенормовано.

Сповіщення про залежності

100Винятковий

Як обчислюється оцінка

35/35	Прямі залежності без відомих сповіщень — жодна пряма залежність не має відомих сповіщень
0/25	Непрямі залежності без відомих сповіщень — транзитивний набір не відокремлюється від залежностей розробки й тестування в цьому обсязі
0/40	Немає задавнених сповіщень — жодне сповіщення не має дати публікації

Використані вхідні дані

source	osv
advisories	4
affected_packages	3
assessed_packages	45
unassessed_packages	0
affected_by_severity	high 1, unknown 2
direct_affected_packages	0

Виключено з оцінювання (немає даних або не застосовно): Непрямі залежності без відомих сповіщень, Немає задавнених сповіщень. Залишкові ваги перенормовано. Звірено 45 резолвлених залежностей із OSV. Цей репозиторій не публікує пакета, який резолвить індекс, тож натомість оцінено граф залежностей репозиторію. Цей граф змішує закріплені версії для розробки й тестування зі справді постачаними залежностями, тож оцінюються лише задекларовані runtime-залежності; транзитивні знахідки подаються як контекст і в оцінку не входять. Досяжність не аналізується.

Готовність до ШІ

Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.

51Помірний · 4% загального індексу

Контекст і настанови для агентів

40Слабкий

Як обчислюється оцінка

0/45	Інструкції для агентів — немає CLAUDE.md / AGENTS.md / правил редактора
0/15	Машиночитана документація (llms.txt)
40/40	Читабельна історія комітів — намір зазначено у 28 з 31 людських комітів (структурований заголовок або пояснювальний текст)

Використані вхідні дані

has_llms_txt	ні
llms_txt_url	—
legible_history_share	0,903
agent_instruction_files	—
agent_instruction_max_bytes	—

Цикл верифікації (збірка / тести / перевірка типів)

58Помірний

Як обчислюється оцінка

12.6/18	Розгортання однією командою — mix.exs (домовленість інструментарію, без раннера задач)
22/22	Автоматизовані тести
0/11	Конфігурація лінтера / форматера
0/11	Статична перевірка типів
10/10	Відтворюване середовище — lockfile
0/10	Підтверджена практика роботи з агентами — серед останніх 50 комітів немає створених агентом
8/8	Автоматизоване супроводження — 19 з останніх 50 комітів — автоматичні оновлення залежностей
5/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5

Використані вхідні дані

has_nix	ні
has_tests	так
lockfiles	mix.lock
has_dockerfile	ні
typed_language	ні
bootstrap_files	—
has_devcontainer	ні
has_linter_config	ні
typecheck_configs	—
agent_commit_share	0
toolchain_manifests	mix.exs
dependency_bot_commit_share	0,38

Читабельність коду для моделей

55Помірний

Як обчислюється оцінка

0/45	Типізований код — Elixir без конфігурації перевірки типів
55/55	Керовані розміри файлів — 0/44 файлів вихідного коду понад 60 КБ

Використані вхідні дані

primary_language	Elixir
largest_source_bytes	28 514
source_files_sampled	44
oversized_source_files	0

Ключові факти

13зірок GitHub

5контриб'юторів

50комітів за останні 12 місяців

7днів від останнього пушу

4релізів

2бас-фактор

0відкритих issue

Hexпакетних екосистем

Попередження щодо збору даних

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

Докладніше

Історія зірок і форків 0 ★ / 3 ⇿

0Зірки

3Форки

Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.

OpenSSF Scorecard 7.6 / 10

7.6сукупно

Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-09-09 15:14 UTC

10	Binary-Artifacts	no binaries found in the repo
0	Branch-Protection	branch protection not enabled on development/release branches
8	CI-Tests	19 out of 22 merged PRs checked by a CI test -- score normalized to 8
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
4	Code-Review	Found 4/10 approved changesets -- score normalized to 4
10	Contributors	project has 11 contributing companies or organizations
10	Dangerous-Workflow	no dangerous workflow patterns detected
10	Dependency-Update-Tool	update tool detected
10	Fuzzing	project is fuzzed
10	License	license file detected
8	Maintained	10 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 8
н/д	Packaging	packaging workflow not detected
5	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 5
9	SAST	SAST tool is not run on all commits -- score normalized to 9
10	Security-Policy	security policy file detected
н/д	Signed-Releases	no releases found
10	Token-Permissions	GitHub workflow tokens follow principle of least privilege
6	Vulnerabilities	4 existing vulnerabilities detected

Прямі залежності 3

Реєстр	Пакет	Обмеження версії	Маніфест
Hex	picosat_elixir	`~> 0.2`	mix.exs
Hex	simple_sat	`~> 0.1 and >= 0.1.1`	mix.exs
Hex	stream_data	`~> 1.0`	mix.exs

Усі залежності 45

Повний розв'язаний набір залежностей із графа залежностей GitHub: 3 прямих і 42 непрямих (транзитивних) пакетів. Транзитивне замикання є повним, коли в репозиторії закомічено lockfile.

Реєстр	Пакет	Версія	Зв'язок
Hex	picosat_elixir	`0.2.3`	пряма
Hex	simple_sat	`0.1.4`	пряма
Hex	stream_data	`1.4.0`	пряма
Hex	bunt	`1.0.0`	непряма
Hex	credo	`1.7.19`	непряма
Hex	decimal	`3.1.1`	непряма
Hex	dialyxir	`1.4.7`	непряма
Hex	doctest_formatter	`0.4.1`	непряма
Hex	doctor	`0.23.0`	непряма
Hex	earmark_parser	`1.4.45`	непряма
Hex	elixir_make	`0.9.0`	непряма
Hex	erlex	`0.2.8`	непряма
Hex	ex_ast	`0.13.1`	непряма
Hex	ex_check	`0.16.0`	непряма
Hex	ex_doc	`0.40.3`	непряма
Hex	file_system	`1.1.1`	непряма
Hex	finch	`0.23.0`	непряма
Hex	git_cli	`0.3.0`	непряма
Hex	git_ops	`2.12.2`	непряма
Hex	glob_ex	`0.1.12`	непряма
Hex	hpax	`1.0.4`	непряма
Hex	igniter	`0.8.3`	непряма
Hex	jason	`1.4.5`	непряма
Hex	makeup	`1.2.2`	непряма
Hex	makeup_elixir	`1.0.1`	непряма
Hex	makeup_erlang	`1.1.0`	непряма
Hex	mime	`2.0.7`	непряма
Hex	mint	`1.9.3`	непряма
Hex	mix_audit	`2.1.5`	непряма
Hex	mix_test_watch	`1.4.0`	непряма
Hex	nimble_options	`1.1.1`	непряма
Hex	nimble_parsec	`1.4.2`	непряма
Hex	nimble_pool	`1.1.0`	непряма
Hex	owl	`0.13.1`	непряма
Hex	req	`0.7.4`	непряма
Hex	rewrite	`1.3.0`	непряма
Hex	sobelow	`0.15.0`	непряма
Hex	sourceror	`1.12.2`	непряма
Hex	spitfire	`0.4.0`	непряма
Hex	styler	`1.12.2`	непряма
Hex	telemetry	`1.4.2`	непряма
Hex	text_diff	`0.1.0`	непряма
Hex	usage_rules	`1.2.7`	непряма
Hex	yamerl	`0.10.0`	непряма
Hex	yaml_elixir	`2.12.1`	непряма

Сповіщення про залежності 3

Цей репозиторій не публікує пакета, який розпізнає індекс, тож оцінено його власний граф залежностей — 45 пакетів, серед яких є й піниї розробки та тестування, що ніколи не постачаються: 3 мають відомі сповіщення, з них 0 прямі.

Пакет	Версія	Зв'язок	Критичність	Сповіщень	Виправлено в
mint	`1.9.3`	непряма	висока	2	`1.10.0`
igniter	`0.8.3`	непряма	невідома	1	`0.8.4`
usage_rules	`1.2.7`	непряма	невідома	1	`1.2.8`

Сповіщення означає, що версія, записана в графі залежностей, потрапляє в уражений діапазон. Досяжність не аналізується, а граф містить піниї розробки й тестування — знахідка може стосуватися інструментів, а не поставленого коду.

Звіт у форматі JSON машиночитний

Зворотний зв’язок

Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.

Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.

Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.34.0 — повна методологія · вікі метрик.

Як окремий результат виглядає на тлі всього реєстру: сукупна статистика — Hex.

17.5/60	Зірки — 13 зірок
2.5/25	Форки — 3 форків
1.7/15	Спостерігачі — 3 спостерігачів

forks	3
stars	13
watchers	3
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Індекс здоров'я програмного забезпечення

Профіль оцінок

Власність

Пакетні екосистеми

Метрики за категоріями

Ключові факти

Попередження щодо збору даних

Докладніше

Зворотний зв’язок

Пов’язані записи