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.
sthamann/tfpt erreicht einen Gesundheitsindex von 39 von 100 und liegt damit im Bereich Schwach. Am stärksten schneidet es bei Engineering Quality (88/100) ab, am schwächsten bei Sustainability & Governance (21/100). Zuletzt heute aktualisiert. Ein einzelner Mitwirkender trägt den Großteil der jüngsten Arbeit.
Software-Gesundheitsindex
Metriken werden auf einer standardisierten Skala von 1–100 in gewichtete Kategorien gruppiert. Der Gesamtwert beginnt als ihr gewichtetes Mittel, kalibriert auf die Verteilung des öffentlichen Registers, sodass die Stufen Perzentilbedeutung tragen; sobald öffentliche Evidenz die Richtlinie für Hochrisikojurisdiktionen auslöst, wird die Bewertung angepasst und erhält die Obergrenze Gefährdet von 34.
Bewertungsprofil
Jede Achse ist eine Kategorie. Die Form zählt mehr als der Durchschnitt — ein gesundes Projekt füllt die gesamte Fläche, während ein Profil aus Spitzen und Kratern bedeutet, dass Stärke in einer Dimension Risiken in einer anderen verdeckt.
Der gewichtete Gesamtwert 43 wird auf der veröffentlichten Indexskala auf 39 kalibriert (Register-Kalibrierung 2026-08-02).
Eigentümerschaft
Dieses Repository gehört einem persönlichen Konto. Ein Projekt mit nur einem Eigentümer trägt ein höheres Kontinuitätsrisiko als ein organisationsgetragenes.
Metriken nach Kategorie
Vitalität
Lebt das Projekt — wird Code geschrieben und werden Releases ausgeliefert?
Entwicklungsaktivität
Wie die Bewertung erfolgt
| 36/36 | Push-Aktualität — letzter Push vor 0 Tagen |
| 5.5/36 | Commit-Rhythmus — 8/52 Wochen mit Commits |
| 18/18 | Commit-Volumen — 374 Commits im letzten Jahr |
| 0/10 | OpenSSF Scorecard: Maintained — project was created within the last 90 days. Please review its contents carefully |
Verwendete Eingangsdaten
| commits_last_year | 374 |
| human_commit_share | 1 |
| days_since_last_push | 0 |
| active_weeks_last_year | 8 |
Release-Disziplin
Wie die Bewertung erfolgt
| 0/27 | Liefert Releases aus — keine Releases veröffentlicht |
| 0/36 | Release-Aktualität — keine Releases |
| 0/27 | Release-Rhythmus — keine Releases |
| 0/10 | OpenSSF Scorecard: Signed-Releases — keine Daten |
Verwendete Eingangsdaten
| releases_count | 0 |
Community & Verbreitung
Hat das Projekt Nutzer, Downloads, Aufmerksamkeit und ein einladendes Umfeld für Beitragende?
Popularität & Verbreitung
Wie die Bewertung erfolgt
| 46.3/60 | Stars — 715 Stars |
| 0/25 | Forks — 2 Forks |
| 2.7/15 | Watcher — 4 Watcher |
Verwendete Eingangsdaten
| forks | 2 |
| stars | 715 |
| watchers | 4 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | window_too_short |
Community-Gesundheit
Wie die Bewertung erfolgt
| 22.5/22.5 | README |
| 0/22.5 | Lizenz — keine Lizenzdatei erkannt |
| 0/18 | CONTRIBUTING-Leitfaden |
| 0/13.5 | Verhaltenskodex |
| 0/7.2 | Issue-Vorlage |
| 0/6.3 | PR-Vorlage |
Verwendete Eingangsdaten
| has_readme | ja |
| has_license | nein |
| readme_badges | — |
| has_contributing | nein |
| has_issue_template | nein |
| has_code_of_conduct | nein |
| readme_badge_services | — |
| has_pull_request_template | nein |
Nachhaltigkeit & Governance
Überdauert das Projekt die Menschen, die es tragen — Bus-Faktor, Reaktionsfähigkeit, Trägerschaft und Paketpflege?
Maintainer-Resilienz (Bus-Faktor)
Wie die Bewertung erfolgt
| 9/54 | Bus-Faktor — 1 Beitragende decken die Hälfte aller Commits ab |
| 0/22.5 | Commit-Verteilung — wichtigste beitragende Person verfasste 100 % der Commits |
| 1.4/13.5 | Breite der Beitragenden — 1 Beitragende |
| 3/10 | OpenSSF Scorecard: Contributors — project has 1 contributing companies or organizations -- score normalized to 3 |
Verwendete Eingangsdaten
| bus_factor | 1 |
| contributors_sampled | 1 |
| top_contributor_share | 1 |
Reaktionsfähigkeit bei Issues & PRs
Wie die Bewertung erfolgt
| 0/42 | Issue-Lösungsquote — keine Issues oder keine Daten |
| 0/30 | PR-Annahme — keine entschiedenen Pull Requests oder keine Daten |
| 0/13 | Newcomer PR acceptance — kein PR eines Erstbeitragenden in 30 Tagen entschieden |
| 0/15 | OpenSSF Scorecard: Code-Review — Found 0/30 approved changesets -- score normalized to 0 |
Verwendete Eingangsdaten
| 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 | — |
Eigentümerschaft & Trägerschaft
Wie die Bewertung erfolgt
| 10/30 | Organisatorische Trägerschaft — persönliches (Nutzer-)Konto |
| 0/20 | Verifizierte Domain — für Nutzerkonten nicht anwendbar |
| 10.9/25 | Reichweite des Inhabers — 32 Follower von sthamann |
| 20.6/25 | Kontohistorie — 14 öffentliche Repos, Kontoalter ca. 15 Jahre |
Verwendete Eingangsdaten
| followers | 32 |
| owner_type | User |
| is_verified | — |
| owner_login | sthamann |
| public_repos | 14 |
| account_age_days | 5.639 |
Engineering-Qualität
Sind grundlegende Engineering- und Dokumentationspraktiken vorhanden?
Engineering-Praktiken
Wie die Bewertung erfolgt
| 24/24 | CI-Workflows — 7 Workflow(s) |
| 24/24 | Tests vorhanden |
| 16/16 | Linter-Konfiguration — eslint.config.mjs |
| 0/9.6 | Pre-Commit-Hooks |
| 0/6.4 | .editorconfig |
| 0/20 | OpenSSF Scorecard: CI-Tests — keine Daten |
Verwendete Eingangsdaten
| has_ci | ja |
| has_tests | ja |
| has_editorconfig | nein |
| has_linter_config | ja |
| has_precommit_config | nein |
Dokumentation
Wie die Bewertung erfolgt
| 30/30 | README |
| 25/25 | Dokumentationsverzeichnis |
| 15/15 | Dokumentations-/Homepage-Site — https://www.fixpoint-theory.com/ |
| 10/10 | Repository-Beschreibung |
| 10/10 | Topics — 10 Topics |
| 10/10 | Wiki |
Verwendete Eingangsdaten
| topics | cosmology, latex, lean4, mathematical-physics, nextjs, particle-physics, python, reproducible-research, standard-model, theoretical-physics |
| has_wiki | ja |
| homepage | https://www.fixpoint-theory.com/ |
| docs_site | https://www.fixpoint-theory.com/ |
| has_readme | ja |
| has_docs_dir | ja |
| has_description | ja |
Sicherheit
Sind die sichtbaren Sicherheits- und Lieferkettenpraktiken belastbar, ohne ungeklärte Exposition gegenüber Hochrisikojurisdiktionen?
Sicherheitslage
Wie die Bewertung erfolgt
| 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 — keine Daten |
| 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 | Lizenz — 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 — keine Daten |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 17 existing vulnerabilities detected |
Verwendete Eingangsdaten
| source | openssf_scorecard |
| checks_evaluated | 16 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 2 |
| scorecard_aggregate | 2,4 |
AI Readiness
Wie gut ist das Repository dafür ausgestattet, mit KI-Coding-Agenten entwickelt und gepflegt zu werden? Trägt ein bewusst kleines Gewicht (4 %): Agenten-Tooling ist ein echtes Pflegesignal, doch ein Repository ohne jedes Signal kann weiterhin 100/100 erreichen.
AI-Agentenkontext & Leitlinien
Wie die Bewertung erfolgt
| 45/45 | Agentenanweisungen — .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 | Maschinenlesbare Doku (llms.txt) |
| 40/40 | Lesbare Commit-Historie — 99 von 100 menschlichen Commits benennen ihre Absicht (strukturierter Betreff oder erläuternder Text) |
Verwendete Eingangsdaten
| has_llms_txt | nein |
| 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 |
Wie die Bewertung erfolgt
| 0/18 | Bootstrap mit einem Befehl |
| 22/22 | Automatisierte Tests |
| 11/11 | Lint-/Format-Konfiguration — eslint.config.mjs |
| 11/11 | Statische Typprüfung — video/tsconfig.json, website/tsconfig.json |
| 10/10 | Reproduzierbare Umgebung — devcontainer, Dockerfile, lockfile |
| 10/10 | Belegte Agentenpraxis — 85 der letzten 100 Commits von Agenten verfasst oder ihnen zugeschrieben |
| 0/8 | Automatisierte Wartung — keine automatisierten Abhängigkeits-Updates beobachtet |
| 0/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0 |
Verwendete Eingangsdaten
| has_nix | nein |
| has_tests | ja |
| lockfiles | package-lock.json |
| has_dockerfile | ja |
| typed_language | nein |
| bootstrap_files | — |
| has_devcontainer | ja |
| has_linter_config | ja |
| typecheck_configs | video/tsconfig.json, website/tsconfig.json |
| agent_commit_share | 0,85 |
| toolchain_manifests | — |
| dependency_bot_commit_share | 0 |
AI-Code-Lesbarkeit für Modelle
Wie die Bewertung erfolgt
| 27/45 | Typprüfbarer Code — Python mit Typprüfungs-Konfiguration (video/tsconfig.json, website/tsconfig.json) |
| 54.5/55 | Handhabbare Dateigrößen — 14/1.559 Quelldateien über 60 KB |
Verwendete Eingangsdaten
| primary_language | Python |
| largest_source_bytes | 2.472.348 |
| source_files_sampled | 1.559 |
| oversized_source_files | 14 |
Maschinenlesbare AI-Schnittstellen
Wie die Bewertung erfolgt
| 0/40 | API-Schema (OpenAPI/GraphQL/proto) — für diese Art von Software nicht anwendbar |
| 0/20 | MCP-Server — für diese Art von Software nicht anwendbar |
| 40/40 | Lauffähige Beispiele — notebooks |
Verwendete Eingangsdaten
| example_dirs | notebooks |
| has_mcp_signal | nein |
| api_schema_files | — |
| interfaces_expected_of | — |
Eckdaten
Warnungen zur Datenerhebung
- 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
Weitere Details
Stern- und Fork-Verlauf 715 ★ / 2 ⇿
Wann jeder Stern und Fork hinzugefügt wurde, von GitHub erfasst und nach Tagen gruppiert. Das kumulierte Wachstum steht direkt über den täglichen Zugängen, aus denen es besteht, sodass beide gegeneinander lesbar sind: stetiger organischer Zuwachs sieht ganz anders aus als ein abrupter, kurzlebiger Ausschlag. Wo dieser Unterschied messbar ist, wird er als Wachstumsauthentizität ausgewiesen.
OpenSSF Scorecard 2.4 / 10
Unabhängige, werkzeugneutrale Sicherheitsbewertung durch das quelloffene OpenSSF Scorecard. Jede Prüfung honoriert eine Sicherheits-Praxis, nicht das Werkzeug eines bestimmten Anbieters. Prüfungen, die Scorecard nicht ermitteln konnte, sind mit k. A. markiert und vom Sicherheitswert ausgeschlossen (nie als null gezählt).
| 10 | Binary-Artifacts | no binaries found in the repo |
| 0 | Branch-Protection | branch protection not enabled on development/release branches |
| k. A. | 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 |
| k. A. | Signed-Releases | no releases found |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 17 existing vulnerabilities detected |
Direkte Abhängigkeiten 47
| Registry | Paket | Versionsvorgabe | Manifest |
|---|---|---|---|
| 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 |
Alle Abhängigkeiten nicht erhoben
Der aufgelöste Abhängigkeitssatz konnte für diesen Bericht nicht erhoben werden: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
JSON-Rohbericht maschinenlesbar
Feedback
Stimmt etwas in diesem Bericht nicht, oder gibt es Gedanken dazu? Falsche Messungen, übersehene Tools, Ideen, Fragen — alles ist willkommen. Jede Nachricht wird gelesen und beantwortet.
Bewertungen sind Signale, keine Garantien. Sie spiegeln öffentlich sichtbare Praxis auf GitHub wider — kein Code-Audit und keine Sicherheitsgarantie.
Fehlende Daten werden ausgeschlossen und die Gewichte neu normiert, nie als null bewertet. Die Methodik ist versioniert und offen: Metriken v2.10.0, Schema v0.23.0 — vollständige Methodik · Metriken-Wiki.
Wie ein einzelnes Ergebnis im Gesamtregister steht: aggregierte Statistiken.