Публічний реєстрСлабкий
Звіт про здоров'я програмного забезпеченнясхема 0.23.0 · метрики 2.10.0 · 2026-07-21 15:52 UTC
sthamann / tfpt
Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
Python · TeX · TypeScriptЛіцензію не виявлено★ 715 зірок⑂ 2 форкиз квіт. 2026 р.Переглянути на GitHub ↗
sthamann/tfpt має індекс здоров’я 39 зі 100, що відповідає смузі «Слабкий». Найвищий показник — Engineering Quality (88/100), найнижчий — Sustainability & Governance (21/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.
39
загалом / 100Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє зважене середнє, відкаліброване за розподілом публічного реєстру, тож діапазони мають перцентильний зміст; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 34 («У зоні ризику»).
39
Винятковий93-100Верхній щабель реєстру (≈ топ-5%); відповідає практично всім перевіреним критеріям
Відмінний80-92Сильний за всіма напрямами; незначні прогалини
Добрий65-79Здоровий; прогалини обмежені та керовані
Помірний50-64Прийнятний, але з помітними прогалинами; рекомендовано перевірку
Слабкий35-49Суттєві недоліки в кількох сферах
У зоні ризику20-34Суттєві слабкі місця; впровадження потребує обережності
Критичний1-19Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Зважений загальний бал 43 калібровано до 39 за шкалою опублікованого індексу (калібрування реєстру 2026-08-02).
Власність
Stefan HamannОсобистий обліковий запис
32 підписники14 публічних репозиторіївз лют. 2011 р.Shopware AG
Цей репозиторій належить особистому обліковому запису. Проєкт з єдиним власником несе більший ризик безперервності, ніж підтримуваний організацією.
Метрики за категоріями
Життєздатність
Чи живий проєкт — чи пишеться код і чи виходять релізи?
36
Активність розробки
60Помірний
Як обчислюється оцінка
| 36/36 | Свіжість push — останній push 0 дн. тому |
| 5.5/36 | Ритм комітів — 8/52 тижнів із комітами |
| 18/18 | Обсяг комітів — 374 комітів за останній рік |
| 0/10 | OpenSSF Scorecard: Maintained — project was created within the last 90 days. Please review its contents carefully |
Використані вхідні дані
| commits_last_year | 374 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 8 |
Дисципліна релізів
1Критичний
Як обчислюється оцінка
| 0/27 | Випускає релізи — релізів не опубліковано |
| 0/36 | Свіжість релізів — релізів немає |
| 0/27 | Ритм релізів — релізів немає |
| 0/10 | OpenSSF Scorecard: Signed-Releases — немає даних |
Використані вхідні дані
| releases_count | 0 |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: Signed-Releases. Залишкові ваги перенормовано.
Спільнота та впровадження
Чи має проєкт користувачів, завантаження, увагу та влаштовані умови для контриб’юторів?
38
Популярність і впровадження
49Слабкий
Як обчислюється оцінка
| 46.3/60 | Зірки — 715 зірок |
| 0/25 | Форки — 2 форків |
| 2.7/15 | Спостерігачі — 4 спостерігачів |
Використані вхідні дані
| forks | 2 |
| stars | 715 |
| watchers | 4 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | window_too_short |
Здоров'я спільноти
25У зоні ризику
Як обчислюється оцінка
| 22.5/22.5 | README |
| 0/22.5 | Ліцензія — файлу ліцензії не виявлено |
| 0/18 | Настанови CONTRIBUTING |
| 0/13.5 | Кодекс поведінки |
| 0/7.2 | Шаблон issue |
| 0/6.3 | Шаблон PR |
Використані вхідні дані
| has_readme | так |
| has_license | ні |
| readme_badges | — |
| has_contributing | ні |
| has_issue_template | ні |
| has_code_of_conduct | ні |
| readme_badge_services | — |
| has_pull_request_template | ні |
Сталість та врядування
Чи переживе проєкт своїх людей — бас-фактор, реактивність, хто за ним стоїть і як супроводжуються пакети?
21
Стійкість мейнтейнерів (бас-фактор)
13Критичний
Як обчислюється оцінка
| 9/54 | Бас-фактор — на 1 контриб’ютор(ів) припадає половина всіх комітів |
| 0/22.5 | Розподіл комітів — головний контриб’ютор — автор 100% комітів |
| 1.4/13.5 | Широта контриб’юторів — 1 контриб’юторів |
| 3/10 | OpenSSF Scorecard: Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
Використані вхідні дані
| bus_factor | 1 |
| contributors_sampled | 1 |
| top_contributor_share | 1 |
Реактивність на issue та PR
1Критичний
Як обчислюється оцінка
| 0/42 | Вирішення issue — немає issue або даних |
| 0/30 | Прийняття PR — немає вирішених pull request-ів або даних |
| 0/13 | Newcomer PR acceptance — за 30 дн. не вирішено жодного PR від новачка |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Використані вхідні дані
| merged_prs | 0 |
| open_issues | 0 |
| closed_issues | 0 |
| prs_merged_7d | — |
| prs_decided_7d | — |
| prs_merged_30d | — |
| prs_decided_30d | — |
| issue_closed_ratio | — |
| closed_unmerged_prs | 0 |
| first_time_authors_30d | — |
| first_time_prs_merged_30d | — |
| first_time_prs_decided_30d | — |
Виключено з оцінювання (немає даних або не застосовно): Вирішення issue, Прийняття PR, Newcomer PR acceptance. Залишкові ваги перенормовано.
Власність та опіка
52Помірний
Як обчислюється оцінка
| 10/30 | Підтримка власника — особистий (користувацький) обліковий запис |
| 0/20 | Верифікований домен — не застосовно до користувацьких облікових записів |
| 10.9/25 | Охоплення власника — 32 підписників у sthamann |
| 20.6/25 | Послужний список — 14 публічних репозиторіїв, вік облікового запису ~15 р. |
Використані вхідні дані
| followers | 32 |
| owner_type | User |
| is_verified | — |
| owner_login | sthamann |
| public_repos | 14 |
| account_age_days | 5 639 |
Виключено з оцінювання (немає даних або не застосовно): Верифікований домен. Залишкові ваги перенормовано.
Інженерна якість
Чи наявні базові інженерні практики та документація?
88
Інженерні практики
80Відмінний
Як обчислюється оцінка
| 24/24 | Процеси CI — 7 процес(ів) CI |
| 24/24 | Наявні тести |
| 16/16 | Конфігурація лінтера — eslint.config.mjs |
| 0/9.6 | Pre-commit-хуки |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — немає даних |
Використані вхідні дані
| has_ci | так |
| has_tests | так |
| has_editorconfig | ні |
| has_linter_config | так |
| has_precommit_config | ні |
Виключено з оцінювання (немає даних або не застосовно): OpenSSF Scorecard: CI-Tests. Залишкові ваги перенормовано.
Документація
100Винятковий
Як обчислюється оцінка
| 30/30 | README |
| 25/25 | Каталог документації |
| 15/15 | Сайт документації / домашня сторінка — https://www.fixpoint-theory.com/ |
| 10/10 | Опис репозиторію |
| 10/10 | Теми — 10 тем |
| 10/10 | Wiki |
Використані вхідні дані
| topics | cosmology, latex, lean4, mathematical-physics, nextjs, particle-physics, python, reproducible-research, standard-model, theoretical-physics |
| has_wiki | так |
| homepage | https://www.fixpoint-theory.com/ |
| docs_site | https://www.fixpoint-theory.com/ |
| has_readme | так |
| has_docs_dir | так |
| has_description | так |
Безпека
Чи міцні видимі практики безпеки й ланцюга постачання, без непослабленої пов’язаності з юрисдикціями високого ризику?
25
Стан безпеки
25У зоні ризику
Як обчислюється оцінка
| 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 |
| 0/2.5 | CI-Tests — немає даних |
| 0/2.5 | CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected |
| 0/7.5 | Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
| 0.8/2.5 | Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 0/7.5 | Dependency-Update-Tool — no update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 0/2.5 | Ліцензія — license file not detected |
| 0/7.5 | Maintained — project was created within the last 90 days. Please review its contents carefully |
| 5/5 | Packaging — packaging workflow detected |
| 0/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
| 0/5 | SAST — no SAST tool detected |
| 0/5 | Security-Policy — security policy file not detected |
| 0/7.5 | Signed-Releases — немає даних |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 17 existing vulnerabilities detected |
Використані вхідні дані
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 2,4 |
Виключено з оцінювання (немає даних або не застосовно): CI-Tests, Signed-Releases. Залишкові ваги перенормовано.
Готовність до ШІ
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Має свідомо малу вагу (4%): агентний інструментарій — реальний сигнал супроводу, але репозиторій без нього все одно може отримати 100/100.
78
Контекст і настанови для агентів
85Відмінний
Як обчислюється оцінка
| 45/45 | Інструкції для агентів — .cursor/rules/subagent-deep-sync.mdc, .cursor/rules/sync-maps.mdc, .cursor/rules/tfpt-core.mdc, .cursor/rules/tfpt-workflow.mdc, .cursor/rules/website-sync.mdc |
| 0/15 | Машиночитана документація (llms.txt) |
| 40/40 | Читабельна історія комітів — намір зазначено у 99 з 100 людських комітів (структурований заголовок або пояснювальний текст) |
Використані вхідні дані
| has_llms_txt | ні |
| llms_txt_url | — |
| legible_history_share | 0,99 |
| agent_instruction_files | .cursor/rules/subagent-deep-sync.mdc, .cursor/rules/sync-maps.mdc, .cursor/rules/tfpt-core.mdc, .cursor/rules/tfpt-workflow.mdc, .cursor/rules/website-sync.mdc |
| agent_instruction_max_bytes | 6 123 |
Як обчислюється оцінка
| 0/18 | Розгортання однією командою |
| 22/22 | Автоматизовані тести |
| 11/11 | Конфігурація лінтера / форматера — eslint.config.mjs |
| 11/11 | Статична перевірка типів — video/tsconfig.json, website/tsconfig.json |
| 10/10 | Відтворюване середовище — devcontainer, Dockerfile, lockfile |
| 10/10 | Підтверджена практика роботи з агентами — 85 з останніх 100 комітів створено агентом або з його зазначенням |
| 0/8 | Автоматизоване супроводження — автоматичних оновлень залежностей не виявлено |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Використані вхідні дані
| has_nix | ні |
| has_tests | так |
| lockfiles | package-lock.json |
| has_dockerfile | так |
| typed_language | ні |
| bootstrap_files | — |
| has_devcontainer | так |
| has_linter_config | так |
| typecheck_configs | video/tsconfig.json, website/tsconfig.json |
| agent_commit_share | 0,85 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
Читабельність коду для моделей
82Відмінний
Як обчислюється оцінка
| 27/45 | Типізований код — Python з конфігурацією перевірки типів (video/tsconfig.json, website/tsconfig.json) |
| 54.5/55 | Керовані розміри файлів — 14/1 559 файлів вихідного коду понад 60 КБ |
Використані вхідні дані
| primary_language | Python |
| largest_source_bytes | 2 472 348 |
| source_files_sampled | 1 559 |
| oversized_source_files | 14 |
Машиночитні інтерфейси
100Винятковий
Як обчислюється оцінка
| 0/40 | Схема API (OpenAPI/GraphQL/proto) — не застосовно до цього типу програмного забезпечення |
| 0/20 | Сервер MCP — не застосовно до цього типу програмного забезпечення |
| 40/40 | Придатні до запуску приклади — notebooks |
Використані вхідні дані
| example_dirs | notebooks |
| has_mcp_signal | ні |
| api_schema_files | — |
| interfaces_expected_of | — |
Виключено з оцінювання (немає даних або не застосовно): Схема API (OpenAPI/GraphQL/proto), Сервер MCP. Залишкові ваги перенормовано.
Ключові факти
715зірок GitHub
1контриб'юторів
374комітів за останні 12 місяців
0днів від останнього пушу
0релізів
1бас-фактор
0відкритих issue
npm, PyPIпакетних екосистем
Попередження щодо збору даних
- Could not fetch pypi package 'tfpt-e8lb' from its registry
- Could not fetch pypi package 'comb-meta-limit' from its registry
- Could not fetch pypi package 'tfpt-ccbh-dark-energy' from its registry
- Could not fetch pypi package 'tfpt-gw-echo' from its registry
- Could not fetch pypi package 'tfpt-cosmic-handedness' from its registry
- Could not fetch pypi package 'gauge-unification' from its registry
- Could not fetch pypi package 'crust-cooling-comb' from its registry
- Could not fetch pypi package 'tfpt-extended-signatures' from its registry
- GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Докладніше
Історія зірок і форків 715 ★ / 2 ⇿
715Зірки
2Форки
Коли додано кожну зірку й форк — зібрано з GitHub і згруповано за днями. Кумулятивне зростання розміщено просто над денними додаваннями, з яких воно складається, тож їх видно одне проти одного: рівномірне органічне накопичення виглядає зовсім інакше, ніж різкий короткочасний сплеск. Там, де цю різницю можна виміряти, її подано як автентичність росту.
OpenSSF Scorecard 2.4 / 10
2.4сукупно
Незалежна, не прив'язана до інструментів оцінка безпеки від відкритого проєкту OpenSSF Scorecard. Кожна перевірка винагороджує практику безпеки, а не інструмент конкретного постачальника. Перевірки, які Scorecard не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| н/д | CI-Tests | no pull request found |
| 0 | CII-Best-Practices | no effort to earn an OpenSSF best practices badge detected |
| 0 | Code-Review | Found 0/30 approved changesets -- score normalized to 0 |
| 3 | Contributors | project has 1 contributing companies or organizations -- score normalized to 3 |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 0 | Dependency-Update-Tool | no update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 0 | License | license file not detected |
| 0 | Maintained | project was created within the last 90 days. Please review its contents carefully |
| 10 | Packaging | packaging workflow detected |
| 0 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 0 |
| 0 | SAST | no SAST tool detected |
| 0 | Security-Policy | security policy file not detected |
| н/д | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 17 existing vulnerabilities detected |
Прямі залежності 47
| Реєстр | Пакет | Обмеження версії | Маніфест |
|---|---|---|---|
| npm | @remotion/cli | 4.0.481 | video/package.json |
| npm | @remotion/google-fonts | ^4.0.481 | video/package.json |
| npm | @remotion/tailwind-v4 | 4.0.481 | video/package.json |
| npm | react | 19.2.3 | video/package.json |
| npm | react-dom | 19.2.3 | video/package.json |
| npm | remotion | 4.0.481 | video/package.json |
| npm | tailwindcss | 4.0.0 | video/package.json |
| npm | @vercel/analytics | ^2.0.1 | website/package.json |
| npm | clsx | ^2.1.1 | website/package.json |
| npm | katex | ^0.16.22 | website/package.json |
| npm | lucide-react | ^0.479.0 | website/package.json |
| npm | motion | ^12.23.16 | website/package.json |
| npm | next | ^16.2.4 | website/package.json |
| npm | react | ^19.2.0 | website/package.json |
| npm | react-dom | ^19.2.0 | website/package.json |
| npm | tailwind-merge | ^3.3.0 | website/package.json |
| PyPI | numpy | >=1.26 | experiments/ccbh-dark-energy/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/cmb-birefringence-seed/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/cmb-inflation-scalaron/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/comb-meta-limit/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/comb-meta-limit/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/crust-cooling-comb/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/crust-cooling-comb/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/dark-energy-w-watchdog/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/dsi-false-positive-control/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/e8-ladder-bed/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/e8-ladder-bed/pyproject.toml |
| PyPI | matplotlib | >=3.8 | experiments/e8-ladder-bed/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/eht-achromatic-residual/pyproject.toml |
| PyPI | scipy | >=1.12 | experiments/eht-achromatic-residual/pyproject.toml |
| PyPI | matplotlib | >=3.8 | experiments/eht-achromatic-residual/pyproject.toml |
| PyPI | pandas | >=2.1 | experiments/eht-achromatic-residual/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/extended-signatures/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/extended-signatures/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/fixed-point-watchdog/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/fixed-point-watchdog/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/frb-tfpt-signatures/pyproject.toml |
| PyPI | scipy | >=1.12 | experiments/frb-tfpt-signatures/pyproject.toml |
| PyPI | scikit-learn | >=1.4 | experiments/frb-tfpt-signatures/pyproject.toml |
| PyPI | matplotlib | >=3.8 | experiments/frb-tfpt-signatures/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/gauge-unification/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/gravastar-compactness/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/gw-ringdown-echo/pyproject.toml |
| PyPI | h5py | >=3.10 | experiments/gw-ringdown-echo/pyproject.toml |
| PyPI | scipy | >=1.11 | experiments/gw-ringdown-echo/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/gw-ringdown-spectroscopy/pyproject.toml |
| PyPI | numpy | >=1.26 | experiments/gw-speed-multimessenger/pyproject.toml |
Усі залежності не зібрано
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Звіт у форматі JSON машиночитний
Зворотний зв’язок
Помітили щось хибне у цьому звіті або маєте чим поділитися? Неправильні вимірювання, непомічені інструменти, ідеї, запитання — усе доречно. Кожне повідомлення читається й отримує відповідь.
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v2.10.0, схема v0.23.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.