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 має індекс здоров’я 41 зі 100, що відповідає смузі «У зоні ризику». Найвищий показник — Engineering Quality (88/100), найнижчий — Sustainability & Governance (21/100). Останнє оновлення — сьогодні. Більшість нещодавньої роботи виконує один учасник.
41
загалом / 100
У зоні ризику
Індекс здоров'я програмного забезпечення
Метрики згруповано у зважені категорії на шкалі 1–100. Загальна оцінка починається як їхнє середнє; коли публічні дані активують Політику юрисдикцій високого ризику, рейтинг коригується й отримує верхню межу 49 («Під ризиком»). Готовність до ШІ не входить до індексу.
41
Відмінний85-100Зразковий; відповідає практично всім перевіреним критеріям
Добрий70-84Здоровий; незначні прогалини
Помірний50-69Прийнятний, але з помітними прогалинами; рекомендовано перевірку
У зоні ризику30-49Суттєві слабкі місця; впровадження потребує обережності
Критичний1-29Серйозні проблеми (покинутий, єдиний мейнтейнер, без базової гігієни)
Профіль оцінок
Кожна вісь — окрема категорія. Форма важить більше, ніж середнє: здоровий об'єкт заповнює всю фігуру, тоді як профіль із піками та провалами означає, що сила в одному вимірі маскує ризик в іншому.
Наскільки репозиторій оснащений для розробки та супроводу за участі ШІ-агентів? Незалежний, експериментальний бейдж — вага 0.0, тож він подається окремо і не впливає на загальний індекс здоров'я.
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 не зміг визначити, позначено н/д і виключено з оцінки безпеки (вони ніколи не зараховуються як нуль).Scorecard v5.5.0 · 2026-07-21 15:51 UTC
Не вдалося зібрати розв'язаний набір залежностей для цього звіту: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Звіт у форматі JSON машиночитний
{
"data": {
"repo": {
"topics": [
"cosmology",
"latex",
"lean4",
"mathematical-physics",
"nextjs",
"particle-physics",
"python",
"reproducible-research",
"standard-model",
"theoretical-physics"
],
"is_fork": false,
"size_kb": 649800,
"has_wiki": true,
"homepage": "https://www.fixpoint-theory.com/",
"languages": {
"CSS": 48548,
"TeX": 6838171,
"HTML": 69966,
"Lean": 341294,
"Shell": 26630,
"Python": 11582099,
"Dockerfile": 1252,
"JavaScript": 115030,
"TypeScript": 3919157,
"Jupyter Notebook": 17089,
"Wolfram Language": 322264
},
"pushed_at": "2026-07-21T14:13:19Z",
"created_at": "2026-04-27T11:53:16Z",
"owner_type": "User",
"updated_at": "2026-07-21T14:16:47Z",
"description": "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.",
"is_archived": false,
"is_disabled": false,
"license_spdx": null,
"default_branch": "main",
"license_spdx_raw": null,
"primary_language": "Python",
"significant_languages": [
"Python",
"TeX",
"TypeScript"
]
},
"owner": {
"blog": "http://agentic-commerce.sh",
"name": "Stefan Hamann",
"type": "User",
"login": "sthamann",
"company": "Shopware AG",
"location": "Ahaus",
"followers": 32,
"avatar_url": "https://avatars.githubusercontent.com/u/612626?v=4",
"created_at": "2011-02-11T11:05:56Z",
"is_verified": null,
"public_repos": 14,
"account_age_days": 5639
},
"license": {
"state": "absent",
"spdx_id": null,
"raw_spdx": null,
"file_present": false,
"scorecard_found": false,
"profile_has_license": false
},
"activity": {
"releases": [],
"recent_commits": [
{
"oid": "e108586342f09bcc3360c0779de78b5ca3c2b698",
"body": "…estones complete (GNS limit state, two-interval index, prefactor+level, QGEO emergence light, KLM completeness) -- ten-step celestial section, Wolfram 429/429 (the 2026-07-21 evening, one commit; also lands v498 WP5b singular-vector operator + the editorial celestial section, changelog (VII)-(VIII)\n[…]\nroduction, origin_theory, safeguards, horizon readouts) + all website PDF copies, next.txt round notes -- suite green (ALL CHECKS PASSED, 498 scripts), AUDIT OK, npm build green, manifests regenerated",
"is_bot": false,
"headline": "v499-v504: P2 weight typing hardened + celestial WP5 constructive mil…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-21T14:13:05Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "562d4609f0a3796839cd51c6ed0d764eb84ff33b",
"body": "…comb-meta-limit re-run with PG.06b FULL Vela ingestion + Wolfram 398/398 + email-draft gitignore block (the 2026-07-21 afternoon, one commit). CELESTIAL CONTRACT WP5a EXECUTED AND PROMOTED: v497 (CELEST.WP5A.01, 34 checks, exact integer/Fraction, no floats) -- the v496 'boundary-limit shadow' made \n[…]\ns, DAG qft node + v497, tfpt_3 + research contracts + safeguards recompiled, all PDFs + website copies -- suite green (ALL CHECKS PASSED, 491 scripts), AUDIT OK, npm build green, manifests regenerated",
"is_bot": false,
"headline": "v497 WP5a null-ideal-from-the-limit promotion + CELEST WP5 roadmap + …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-21T09:15:36Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "d03976337fff0813b96fbb48726b3531c93acc12",
"body": "…ath re-verified (the full 2026-07-21 day, one commit). PREDICTIONS OF RECORD MACHINE-BACKED: v494 (COSMO.RUNNING.01 + COSMO.MUDIST.01, 23 checks) -- the alpha_s-running consistency relation alpha_s = dn_s/dlnk = -2/N*^2 = -r/6 (beta_s = -4/N*^3, LO band [50,60] -> [-8.0,-5.6]e-4) with exact slow ro\n[…]\ndex/VerificationDag/KillCriteria/suite.ts mirrors, all 11 PDFs recompiled + website copies -- suite green (ALL CHECKS PASSED, 490 modules), AUDIT OK, npm build green, manifests regenerated (576 files)",
"is_bot": false,
"headline": "v494-v496 promotion round + PG.06b FULL NICER Vela + Wolfram second p…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-21T07:38:28Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "7995872240735e417e4a674e26dacb47f9a9085d",
"body": "…2 done) + RXTE H3 scan + e8-ladder-bed validated (the full 2026-07-20 day, one commit). KEYSTONE WITNESSES: v489 (SEAM.CCC.01) c_- = 8 measured directly from the bulk ground state via the Kim-Shehab-Kim modular commutator (per-layer 1/2, 16-layer 8 = g_car + N_fam, trivial/orientation controls, lay\n[…]\ndex mirrors, experiments README + next.txt, scorecard regenerated (120 rows: 49 consistent / 3 parked) -- suite green (ALL CHECKS PASSED, 487 modules), AUDIT OK, npm build green, manifests regenerated",
"is_bot": false,
"headline": "v489-v493 promotion round + celestial contract CELEST.SEAM.01 (WP1+WP…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-20T17:54:28Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "9181e522505a908fb766c61f85db0a35e428bb5c",
"body": "… Zuse-Schmidhuber-Wolfram\"\n\nAdds a new section to introduction.tex placing the compiler framing in the\nZuse-Schmidhuber-Wolfram algorithmic-physics lineage: three shared instincts\n(minimum description length as the selection principle; deterministic,\nresource-bounded generation; compressibility as \n[…]\non added to the introduction entry in\nwebsite/lib/papers.ts. Changelog entry added; PDFs recompiled, maps/version/\nrelease regenerated. AUDIT OK (482 scripts), npm build passes, manifests\nregenerated.",
"is_bot": false,
"headline": "intro: positioning section \"TFPT in the light of algorithmic physics:…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-19T09:01:08Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "9d2444bfa601f07df871fac6e41ae85dd9667d00",
"body": "…-task round, part 2). v487 (HYP.REWRITE.03, from lazy01_clock_rung_forcing.py): the v486 [O] 'split selection' CLOSES onto established v124 structure -- the lazy walk's one-step spectrum is EXACTLY the complete resummed-clock ladder below the wall (eig(M) = {1-n/3 : n=0,1,2} = {1, 2/3, 1/3}; the un\n[…]\ns deferred), papers.ts/predictions.ts mirrors, theory-contracts README, scorecard NICER extension, next.txt round notes -- suite green (ALL CHECKS PASSED, 482 modules), AUDIT OK, manifests regenerated",
"is_bot": false,
"headline": "v487+v488 round + NICER burst-storm leg + ADHM arrow budget (the five…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-15T08:41:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "c4d8536118de7eea188d9878af8637d90cafc968",
"body": "…he FULL transfer spectrum {1,(2/3)^6,(1/3)^6} gets ONE local generator -- v486 (HYP.REWRITE.02): the unique lazy Z2-pair walk (stay,hop,leak)=(1/2,1/6,1/3)=(1/|Z2|,1/(|Z2|N_fam),1/N_fam), forced by the physical survival pair {2/3,1/3}; over the order-6 hand eig(B^6)={64/729,1/729} exactly, giving t\n[…]\n as next leg. Xu+2022 table checked: DoC unsigned -> second odd channel pending (PSRPKU Stokes profiles). Scorecard row + IXPE extension (115 rows), experiments README catalog, next.txt research notes",
"is_bot": false,
"headline": "v486 generator round + frb-parity-comb experiment (incl. IXPE leg): t…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-15T07:35:55Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "bb3b6fb68b4caefc9585c7652c5f7a4f13ccae05",
"body": "… their computable side completes. v484 (SEAM.CONTACT.UNIT.01): the shared 'c3 per boundary insertion' rule of ALPHA.QUILLEN.EXACT.01 (ladder {0,3,6}) and HYP.PHI0.PUNCTURE.01 (per-mark weight, v483) is the KMS seam unit 2pi=1/(4c3) with 1/4=1/|mu4| (v239) -- one bare boundary propagator orbit-avera\n[…]\ntIndex), Wolfram README flags (engine unactivated, mirrors deferred), counts 479/v485, and the German predictions.txt overview table -- suite green (ALL CHECKS PASSED), AUDIT OK, manifests regenerated",
"is_bot": false,
"headline": "v484-v485 contact-unit round: the two open analytic targets merge and…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-15T05:06:37Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "d4f942e1d65328863a7c45f370c724feab333093",
"body": "…t stated everywhere as 10 docs = 1 guide + 5 papers + 4 companions (safeguards was missing from papers/downloads headers, JSON-LD collection, orientation series map and the tfpt_docset.tex box); stale '23 falsifiable predictions' claims updated to the live 25-surface count (site metadata, OG image,\n[…]\ns the parallel v482 (seesaw rung decision) + v483 (pillowcase exact traces) registration round (registry, run_all, ledger, papers, mirrors) -- 11 docs ok, AUDIT OK (477 scripts), manifests regenerated",
"is_bot": false,
"headline": "live-site correctness pass + v482/v483 registration sync: document se…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-14T16:06:44Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "54e486b11ae254ebaac13eb5eecfb8234b37b385",
"body": "…our-interval multilocal geometry (v480), seesaw carrier-ladder candidate (v481) incl. Lean KronheimerMarks, theory-contracts + tfpt-correspondence experiments and the fresh-GRB restone battery; website: /verification journey views as live HTML (SuiteTimeline + ResidualChain wired to the in-browser \n[…]\nrrected (was 'Field AI'); generated figures extended to the current suite (timeline v408-v481 phase, residual-chain certification step) + stale paper captions synced -- AUDIT OK, manifests regenerated",
"is_bot": false,
"headline": "v479-v481 round + website refresh: Kronheimer quiver bridge (v479), f…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-14T15:49:20Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "d351a311f0675c566e5f999a88fdb7af9fdaf529",
"body": "- requirements.txt: add scipy (43 suite modules import it; the full run_all.py\n and `docker run --full` need it — Core Verification was failing with\n ModuleNotFoundError: No module named 'scipy').\n- Lean audit.sh check (3): allow the named seam-residual modules to declare\n their documented cited-\n[…]\nan axiom anywhere else. This reconciles the\n audit with the project's documented design; kernel-honesty stays enforced by\n check (5) (#print axioms reduces to the three standard kernel axioms only).",
"is_bot": false,
"headline": "ci: green Core Verification + Lean Proofs",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-14T14:51:12Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "f11e2083b8fbaeb21f0a7b2543a6fa788d1bd396",
"body": "… + Docker, CI + issue templates\n\nRebuild the repo entrance for newcomers without changing any claim:\n\n- README 585 -> 183 lines: hero question + one-line answer, a single share\n image (assets/readme/00_hero.png), \"Start here\" audience routing, a\n five-result claim matrix with honest [E]/[C]/[O]/[\n[…]\n failures, counterexamples, interpretation, predictions, docs.\n- Repo references point to the canonical sthamann/tfpt (rename pending;\n GitHub redirects the old name); version made consistent at 5.4.",
"is_bot": false,
"headline": "README + onboarding overhaul: hook-first entry, docs/ split, ./verify…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-14T14:24:25Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "b791a279c030feaf7721dc05824a860e0000eb43",
"body": "… GitHub README\n\n- video: update the film's on-screen verification-check count 422 -> 472\n (Scene07Numerology), re-render tfpt-intro.mp4, refresh the website copy\n (website/public/intro/tfpt-intro.mp4) and bump the VideoObject schema\n uploadDate; no narration/caption text changed (caption reads \"\n[…]\nered from the film, and collapsible\n <details> for the dense technical walls -- all existing claims/numbers preserved\n- assets/readme: the rendered stills + a short provenance README (regen commands)",
"is_bot": false,
"headline": "intro film + README: bring the 5-min film up to date and redesign the…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-14T11:47:29Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "3b74cea168d43fcb026e1299260802743190d694",
"body": "…opy' (PRD 111, 066001 (2025); arXiv:2408.14391) integrated as external candidate for the missing action level of the parameter-free Einstein equation -- nothing closes, no status marker moves\n\n- v473 GRAV.ENTROPIC.ACTION.01: the bridge quantified -- carrier Hodge count 1+5+10=16=dim S+ (carrier-onl\n[…]\nthe default at ~469 modules). Suite green (472 modules, ALL CHECKS PASSED), Wolfram 116/116 + 378/378, AUDIT OK, npm build green, manifests regenerated.\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "entropic-action bridge round (v473-v478): Bianconi 'Gravity from entr…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-13T10:16:54Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5f884c8e2d338ebf6a315c3fa59f8f03736694d4",
"body": "…on post-inflationary reframing\n\nLoad-bearing:\n- Correct the seam scaling-limit citation: \"Conformal Field Theory from Lattice\n Fermions\" (arXiv:2107.13834, doi:10.1007/s00220-022-04521-8, CMP 398 (2023)) is\n OSBORNE & STOTTMEISTER, not MMST (the reviewer's flagged, load-bearing error).\n The genu\n[…]\ndecidable, #print axioms clean).\n\nrun_all.py ALL CHECKS PASSED; bash build.sh audit AUDIT OK; Lean lake build clean;\nmake_manifest.py regenerated last.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "problem_b closure round: OS citation fix + firewalled contracts + axi…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-10T11:17:55Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "55aaa43e3a3a57afa18ae52ecfa831e9b71b3e22",
"body": "…-- dynamical glue selection: local gates on the E8-hat attractor deletion menu select D5(+)A3+mu4 (glue index = deleted Kac mark; two-sided + seam-pairing + spectral-octave gates, E7/E6 controls, 8/8); then the post-hoc octave gate is eliminated: the mu4 clock (order 4, v216/v453/v445) replaces it \n[…]\ns spinorial glue, the octave h(D5)=2h(A3) becomes a theorem, and E8 is built explicitly from the minimal clock pair (240 roots, mod-8 rank ladder, 7/7)\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "experiments: GLUE.DYN.01 + GLUE.DYN.02 theory-contracts (Zuse round) …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-10T04:43:42Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2776d4136f050143d04dc121908bae492a6a4975",
"body": "…fram mirror 365->368) and README Lean section (accurate axiom wording + rankgap_uniqueness); regenerate lean manifest\n\n- zenodo_description.html: module count now matches the suite (466, highest\n ID v472, per build.sh audit); the safeguards paragraph's Wolfram mirror\n count aligned to the verifie\n[…]\n the listed content.\n- lean_manifest.sha256: regenerated after the AnchorLadder/README change\n (make_manifest.py --check passes); repo audit AUDIT OK.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "docs: refresh Zenodo description counts (464->466 Python modules, Wol…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-07T16:10:10Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "335a3e5ed1def1185228cf3ef3002f4fefd1952e",
"body": "…2 contract; commit pending search/contract round\n\nThis session (analysis round, 12 claims verified against papers + suite):\n- lean4-carrier-rigidity/AnchorLadder.lean: new converse theorem\n rankgap_uniqueness -- positive integer triples with p4-p3=8 are (1,1,2)\n up to permutation (helpers cube_st\n[…]\nringdown-echo; tfpt-discovery probes\n- scorecard: evidence_scorecard.json + build_evidence_scorecard.py +\n schema.md + website/lib/predictions.ts sync\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "experiments: ANCHOR.RANKGAP.UNIQUENESS Lean lemma + FLAV.WINDING.DISC…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-07T16:06:42Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e886ba2284ee4c448c713e55baf1f02f11f0703a",
"body": "…very verification\n\nNew theory-contract (experiments/theory-contracts/metallic_compactness_ladder.py, 5/5):\nthe gravastar compactness function C(k)=(k^2-1)/(6k) at the n-th metallic mean\nmu_n (root of x^2-nx-1, continued fraction [n;n,...]) is exactly C(mu_n)=n/6.\nThe two classical GR thresholds are\n[…]\ntion/vN), sandbox probe, experiment README, research note. No touch of\nverification/, ledger, load-bearing papers, evidence_scorecard.json, or website.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "experiments: METALLIC.LADDER.01 theory-contract + problem_b.txt disco…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-07T10:56:44Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2808267b4454e9f619cd341def206e5bd0859a47",
"body": "…hylaean.ai) and Agentic Commerce (agentic-commerce.sh)\n\nNew homepage EcosystemSection with a screenshot + grounded explanation for\neach adjacent project: Field AI, which explicitly builds on TFPT's structure\nand vocabulary (field on a carrier, K/L/T operators, spectral-gap attractor)\nwhile taking t\n[…]\n\nthe co-author's applied research track that lists TFPT and Field AI. Framed\nhonestly as author-adjacent projects, not evidence for the physics claims.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "website: add \"Where the structure travels\" section linking Field AI (…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-03T12:43:35Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "0cfa635dc018db37f938c12137d81ae1eeca8d6e",
"body": "…he public prediction surfaces -- axion-photon coefficient g_agamma = -4c3 = -1/(2pi) (v207) on the axion card, free-seam Higgs band m_H 129-134 GeV (v166, HIGGS.FREESEAM.01) as a new [C] card, and the never-run BH HFQPO x1.5 ladder-tooth search (nu_3 = 1.5 nu_u, experiments/hfqpo-ladder) as a new [\n[…]\nsearch-target card + horizon-readouts gapbox bullet; predictions.ts 23->25 cards, papers.ts frontier/horizon mirrors synced; no new vN, no status moves\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Surfacing round: three already-computed unique readouts promoted to t…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-03T12:37:26Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "12d8f228f6aa6b5400f8041a15389978bbeea9bc",
"body": "…E, bottle-side -0.38s), X17 + R_D(*) dissolution axes, cosmic-dipole + BBN-lithium watchdogs, S8 budget forecast (KiDS/CMB side), preregistered QPE recurrence search (null), first real IBM hardware run of the recovery-kernel circuit (scorecard 95->103)\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Open-questions round: parameter-free neutron lifetime (watchdog axis …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-03T12:20:50Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "f930bdb3265e6f19848c72633d9656cc842ecdc7",
"body": "…ited at model level) + bird's-eye rounds: electron-sector/Cabibbo whitespot probes, Calderon UV-universality, parameter-free flat-budget closure scorecard row\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v472 Quillen det-line over U(1)-twist moduli (v470 bridge lemma exhib…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-03T09:33:44Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "72d395f0d522e72f6b43cfb6c9062456b844c148",
"body": "…line, dated g-2 kill condition, HFQPO ladder experiment, strange-metal comb (first lab bound), Efimov+glass controls\n\n- fixed-point-watchdog axis D: N_fam=3 sterile-dissolution watchdog, prediction_of_record\n (MicroBooNE two-beam Nature 648 (2025) excludes single-sterile LSND/MiniBooNE at 95% CL;\n\n[…]\n> 94 rows (41 consistent, 7 tension, 14 null, 31 data_limited, 1 parked);\n experiments/README.md catalog + website EXPERIMENTS_AUDIT + next.txt synced\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Anomaly-round hardening: sterile-dissolution watchdog, w(z) 2026 time…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T20:26:56Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "d2a7bc23a04f0df399aebe51aafcc6d1d25bcbbd",
"body": "…tive control, repeater cascade (first >2.8-period search), GW eps90 injection limits + 16 kHz, QC recovery-kernel circuit\n\n- fixed-point-watchdog: exact-fixed-point kill tests on published values.\n DESI DR2 (w, Sigma m_nu) pincer puts the joint TFPT point at ~3.7 sigma\n (model-dependent, below 5-\n[…]\nng groups\n (nu_mass_floor, koide_q_pole, w_de_eos, alpha_em); experiments/README\n catalog + next.txt entry + website EXPERIMENTS_AUDIT mirror synced.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Five new experiment workstreams: fixed-point watchdog, DSI false-posi…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T17:08:17Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "a4e6408c856da8c375ae88ddbff6a510a1194dea",
"body": "…nd-excess mystery resolved\n\n- tfpt-gw robust: per-bounce lag drift (relaxing cavity, +-5/10%) and a\n precession-robust position-only statistic (free phase, uniform weights).\n NO_DRIFT_OR_PRECESSION_ECHO on all 10 events (best p_bonf=0.046).\n- tfpt-gw battery --aggressive (NR-subtraction stand-in)\n[…]\nsubtraction ladder.\n- All bird's-eye signature-distortion axes now tested; GW channel at 9 search\n stages, all null. Scorecard/README/next.txt synced.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Stage 1g drift+precession scan + agnostic residual modelling: broadba…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T15:09:48Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "75159c576ab18d07f1b9499419ba22dd965437f6",
"body": "…+ multimode-subtraction diagnostic\n\n- tfpt-gw offset: the last untested train geometry -- first echo at the TFPT\n scrambling time t_scr = 4M lnS (~0.25-0.85 s per event), spacing = Nariai\n 2.288M (+-25%); no QNM subtraction needed (window ~60 e-folds post-ringdown);\n off-source PSD; Bonferroni o\n[…]\novertones/mode\n mixing/non-stationarity; NR-informed subtraction is the definitive next step.\n- Scorecard GW echo row updated; README/next.txt synced.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Stage 1f offset-train point test (scrambling delay x cavity spacing) …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T14:54:57Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "072151ae8d388f606a8f87d0e185eea19a70120e",
"body": "… repair, spin scan, skip-first, area-quantum BM comb\n\n- whitening_filter_gated: PSD estimated excluding [merger-1s,+3s] so the filter\n cannot ring after the event; battery + point test + new comb all use it.\n Diagnostic: the GW150914/GW200129 broadband excesses PERSIST off-source ->\n genuine pos\n[…]\nction) is\n photon-side; it motivates the boundary parity phase already covered by the\n mu4 phase scan. Docs/scorecard/predictions.ts/next.txt synced.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "GW signature systematics round 2: off-source PSD, joint-fit short-lag…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T14:44:47Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "59df572f98f27237e4e3aca72654575a62eb3294",
"body": "…ravastar, spectroscopy, pulsar docs\n\n- gravastar-compactness: observed echo delays now use detector-frame mass M(1+z)\n (GW150914 0.70->0.76 ms, GW190521 1.60->2.91 ms at z=0.82); redshifts added to\n measurements.json; scorecard row updated.\n- gw-ringdown-spectroscopy: Hz conversions moved to dete\n[…]\nI4 cross-source audit record (FRB = reference tier; comb-family\n free-quotient LEE + eps=0.017 injections flagged as next hardening, no null changes).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Cross-source signature audit: propagate frame/semantics insights to g…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T14:18:11Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "1e39472013291d4a09eea23d24de23ae8b48d843",
"body": "…ng (GW250114, z-correction, stack/battery/point tests)\n\n- v471_seam_horizon_replica.py (SEAM.EHMODEL.04, 16/16): the kernel-identification\n premise of SEAM.THEOREM.01 exercised numerically on the discretized collar with\n the seam's own kernel and real replica sheets; residual retypes to continuum\n[…]\n:\n NO_POINT_ECHO). Scorecard row GW echo -> consistent; firewall language intact.\n- v295 numeric tolerance patch included (external-review follow-up).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v471 seam-horizon replica at collar level + GW echo signature hardeni…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T14:07:49Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5982596f50416ef9f81aa5228b58dfc28fed46d4",
"body": "…ls, README v5.4, PDF mirror resync, manifests)\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Release v5.4 finalisation: Zenodo record 21128999 published (DOI labe…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T09:02:51Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "8fea7936484ed3ded14ca679fab8798ec31b619d",
"body": "…t step)\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Regenerate reproducibility manifests after the v469/v470 release (las…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T09:00:25Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "a4621d1a9ec6d3b193e56f1592ff0d2a574030b9",
"body": "…s from v469 and v470\n\n- Expanded the changelog with detailed updates on the closure-route round for the two named targets, including the re-founding of the SEAM.EQUIV.01 extension leg on peer-reviewed crossed-product theorems and the reduction of the realisation input to invariant level.\n- Revised \n[…]\niated files, ensuring all checks passed and the documentation is current.\n\nThis commit enhances the clarity and completeness of the documentation, aligning it with the latest theoretical advancements.",
"is_bot": false,
"headline": "Update changelog and introduction with new findings; integrate change…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-02T08:58:07Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "d1548f12b2a46f5a41914eafb37f8528a6a1631b",
"body": "…scorecard (79->83 rows)\n\nIntegrate four standalone experiments/ search surfaces built by sibling agents\ninto the shared evidence_scorecard.json + README catalog. All firewalled:\nsearch targets / downstream bridges, nothing upgraded to [E]/\\veri{}. Generator\ngreen; typed stage/status/evidence_class \n[…]\nsion, 13 null, 28 data_limited,\n1 parked); README SCORECARD_STATS block regenerated. experiments/-only; the\nverification suite / website are untouched.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "experiments: wire 4 new/extended search-surface experiments into the …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-01T09:43:23Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "9cb07c8f8222d2ffaf107c9f0d5a10ffd8957558",
"body": "…and efficiency\n\n- Updated `subagent-deep-sync` rule to streamline the integration process for new findings, emphasizing the use of parallel subagents for surface enumeration and verification.\n- Revised `sync-maps` rule to clarify the use of generated content maps, ensuring they are consulted before\n[…]\nverall workflow consistency.\n\nThese changes aim to enhance the clarity of the workflow and ensure that all relevant surfaces are accurately updated and verified during the integration of new findings.",
"is_bot": false,
"headline": "Refactor subagent deep-sync and sync maps rules for improved clarity …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-01T08:40:35Z",
"body_truncated": true,
"is_coding_agent": false
},
{
"oid": "a590a3c7ee311fed74ba7e906a5150e4e32550ed",
"body": "…_mu = (12/7) phi0^2)\n\nThe seed over-determination of v306/v465 used five observables across three\nmeasurement sectors (neutrino mixing, CMB, quark mixing). This adds the\ncharged-lepton MASS sector: m_e/m_mu = (12/7) phi0^2 back-solves the axiom seed\nphi0 = 1/(6pi) + 48 c3^4 to -0.11%, extending the\n[…]\nidation winbox, README/next.txt/wolfram README,\nwebsite mirror + manifests. bash build.sh audit: AUDIT OK (460 scripts);\nrun_all.py: ALL CHECKS PASSED.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v466: sixth seed channel from a new sector (charged-lepton mass m_e/m…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-01T07:14:08Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "66f5c8172ae361e528e17355c862b2652ebd470c",
"body": "… of v306)\n\nExternalise the shared-seed cross-validation as its sharpest falsifiable form: a\nCMB EB/TB birefringence angle beta and a quark Cabibbo angle lambda_C=|Vus| --\nunrelated in the SM -- back-solve independently to the SAME axiom seed phi0\nwithin 0.01 sigma. The three-observable one-paramete\n[…]\ne; regenerated index/maps/website mirror\n(SCRIPT_TOTAL 459); zenodo + README counts corrected (-> 459 modules, v1-v465).\nAUDIT OK; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v465: cross-sector one-parameter seed test (theta13-independent slice…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-07-01T06:57:12Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "8cb8ad01838155b74538c1db3b9b5d54604e6442",
"body": "Bird's-eye reframing: the recent G-block all sharpened the TARGET of the\nseam scaling limit, but the continuum EXISTENCE is already citable (v458\nMMST + v459 AGT/AMT). What actually remained were the two halves this\nround attacks -- the identification (why c=8 holomorphic => (E8)_1) and the\nrealisat\n[…]\nse it still rests on cited\ncontinuum-existence theorems we do not re-prove.\n\nSuite ALL CHECKS PASSED; lake build OK; AUDIT OK (458 scripts); npm clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v463/v464: close the SEAM.EQUIV.01 residual to entirely certification",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T18:46:30Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "6357244da4ebcf3472d6f20f8aac92dbe853d164",
"body": "v461 (SEAM.S3.LOCALITY.01): make v460's cited strict-locality verdict an\nEXHIBITED topological obstruction -- the p+ip collar's Wilson-loop/Wannier\nwinding = Chern = 1 != 0 (vs 0 for the gapped trivial control), so by\nKapustin-Fidkowski no strictly finite-range commuting projector exists for\nc_-=8; \n[…]\ncts paper\n(attacks xxviii/xxix), README G-block, zenodo description, changelog,\nledger and website. Suite ALL CHECKS PASSED; AUDIT OK; npm build clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v461/v462: sharpen the SEAM.EQUIV.01 residual + merge Lean axioms",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T16:37:43Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "af42af8d16649d70ec02a31ea65fbfa4d0671751",
"body": "The /changelog page prerendered to ~20 MB, over Vercel's 19.07 MB ISR\nlimit (FALLBACK_BODY_TOO_LARGE). KaTeX was emitting a duplicate MathML\ntree per formula (output: \"htmlAndMathml\") across ~10k formulas, which\nwas roughly half the HTML. Switch to output: \"html\"; accessibility is\npreserved by the existing role=\"math\" aria-label={tex} wrapper. Page\ndrops to ~15.1 MB (0 MathML trees) with ample headroom.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "website/changelog: fix Vercel oversized-ISR build failure",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T15:52:38Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "b671cf1b59420b13f38702caf50815a0f0086bac",
"body": "…jector LTO (sub-step (i))\n\nAdvances v424 sub-step (i) -- \"realise the raw seam as a Z/2-reflection\ncommuting-projector LTO\" -- from abstract existence to an explicit, gap-protected\nquasi-local projector net on the v367 p+ip collar:\n\n- FLAT-BAND PARENT [E]: Q=h/|h| has Q^2=I and P=(I-Q)/2 is an exac\n[…]\n\ntfpt_research_contracts (route (xxvii)), website mirror + maps refreshed, manifests\nupdated. Suite ALL CHECKS PASSED (454), AUDIT OK, npm build green.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v460: realise the SEAM.EQUIV.01 S3 input as an explicit commuting-pro…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T14:06:05Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "eb6263c676a43a5c9757adf25a8f1c1b958b3a07",
"body": "Stop tracking website/tsconfig.tsbuildinfo so local npm builds no longer block git pull.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Ignore TypeScript incremental build cache (tsbuildinfo).",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T13:27:48Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "caabfe60189461e0099141db1a6668a6224944e0",
"body": "…+ Lean + Wolfram\n\nThe post-F \"G-block\" attacks the one open keystone SEAM.EQUIV.01 from six\nindependent fronts and reduces the residual to a single named realisation axiom:\n\n- v454 (EDGE.VIRASORO): lattice level-1 current algebra carries Sugawara c=8\n (Casimir, Kac-Moody level, dim G/(1+h^v)=8 for\n[…]\nnifests.\nSEAM.EQUIV.01 stays [O] (the cited continuum-existence theorem is not re-proved).\nbuild.sh audit -> AUDIT OK; run_all.py -> ALL CHECKS PASSED.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v454-v459: narrow the SEAM.EQUIV.01 residual six more ways (G-block) …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T11:38:04Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "61944d4d5494e508be356ebafd4d0de7fe95be6c",
"body": "Published Zenodo record 20993159 (DOI 10.5281/zenodo.20993159) for the\nv449-v453 edge-CFT round; chain the next new-version draft from it.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: point default record at the newly published 5.3 (rev 332)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T10:30:58Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "82c7162728b3c03b0c522ace39a507d2b9323799",
"body": "No content change. The Zenodo notes build recompiled the 11 PDFs; re-sync\nwebsite/public/papers so the mirror is byte-identical again and bump the\nrelease/version rev stamp. bash build.sh audit -> AUDIT OK.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "rebuild: recompiled PDFs + website mirror re-sync (rev 332)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T10:20:52Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "e33ce497afd93e1cea2ee4848be8fd3151d92ad7",
"body": "Five new convergent attacks on the one continuum residual of SEAM.EQUIV.01\n(which stays [O]); no status promoted.\n\n- v449 SEAM.EQUIV.MMST.UNIFORM.01: uniform-in-N control -- two independent\n edge four-point cross-ratios converge to distinct conformal values\n (2+sqrt(3), 2) at one N-independent 1/N\n[…]\nn.html,\nwebsite (ScriptIndex/changelog/suite/release/version + mirrored scripts+PDFs),\nmanifests. bash build.sh audit -> AUDIT OK; npm run build clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v449-v453: name the seam edge CFT end-to-end (+ Lean + Wolfram)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T10:05:09Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "8f1e703463e5bab434e8be75a851293261e7db5a",
"body": "…'t drop the suite\n\nThe tfpt5-shadow mirror is wired bidirectionally to Overleaf. Overleaf's\npush-back deletes every repo file it does not track (it removed the 64\nv235-v298 modules and video/ on 2026-06-30, which is what Alessandro and the\nscreenshot show missing). The mirror is one-way by design (\n[…]\nways exactly equals main,\nauto-correcting Overleaf deletions), add a 6-hourly cron re-sync (self-heals\nbetween source pushes), and a concurrency guard.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "shadow-sync: force-push + scheduled re-sync so Overleaf push-back can…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T09:30:42Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "fbf10053e0beebb374103ac0e3bdea98886c0d50",
"body": "…irections\n\nContinuum/edge campaign on the one remaining keystone residual; SEAM.EQUIV.01\nstays [O] throughout (only the cited MMST continuum-existence theorem v336 is\nopen). Nothing promoted -- the residual is corroborated, derived or kernel-checked\nfrom independent sides.\n\n- problem_b shadow-expor\n[…]\nension 339->345 (v445 exact checks); red-team Target A + research-\n contracts (\"eleven convergent attacks\") + ledger + changelog + zenodo + manifests.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v438-v448: narrow the SEAM.EQUIV.01 keystone from eleven convergent d…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-30T09:11:02Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "51501eb590e706619d35fc775062568227d2a243",
"body": "…DME+Zenodo backlinks)\n\n- add generated /llms.txt context file for AI/answer engines (from papers.ts/predictions.ts)\n- robots.txt: list major search + AI crawlers explicitly; site description/keywords reworded\n to natural search queries with physics-vs-mathematics disambiguation\n- README + zenodo_d\n[…]\no fixpoint-theory.com + repo; DOI 10.5281/zenodo.20846087\n- changelog entry; regenerated website_map.csv + changelog.ts; AUDIT OK; website build passes\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "discoverability: SEO/GEO pass (llms.txt, AI-bot robots, metadata, REA…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T07:25:18Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "08d73c9825ac615ba8b3097c037e1d563c229f2a",
"body": "Propagate the already-verified v436 (OVERDET.FLOOR.02) hardening to every\nspot that talks about the \"is it numerology?\" probability, so the public\ntrust beat and the paper agree with the over-determination section:\n\n- tfpt_safeguards.tex: figure caption now states the assumption-minimal\n counting f\n[…]\n rendered video/VTT).\n\nAUDIT OK (431 scripts), website build clean, Wolfram unchanged (v436 is\ncounting/statistical, Python-only), manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "sync v436 hardened floor across probability surfaces",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T05:45:17Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "7e507704f344674e9dd99003400e2f0bf354f65f",
"body": "…ote)\n\nA (L2): v436 hardens the unconditional \"is it numerology?\" floor to an\nassumption-minimal pure-counting floor -- 1/94500 ~= 4.40 sigma from the\nv100 alpha cubic-class census alone, with a monotone concession ladder\n(30.7 -> 25.8 -> 4.98 dex) that holds at the most adversarial rung, so the\nver\n[…]\nIT OK, Wolfram mirror 339->342, website\nrebuilt, manifests refreshed. Also fixed stale Wolfram counts in papers.ts\n(339->342) and README.md (324->342).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v436 OVERDET.FLOOR.02 + v437 E8.DEGREE.JOINT.01 (+ alpha literature n…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T05:22:28Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "97eeb45f011ecd5a5cf773719b02fb3a08ba2e25",
"body": "…st isolates the cubic alpha^3 as the unique metric-independent topological rung\n\nAttacks the single remaining [O] left after v434 (residual (2), the cubic\nalpha^3 Chern/Maxwell moment) and SHARPENS it; does NOT close it.\nALPHA.QUILLEN.EXACT.01 stays [O]; alpha^-1 stays [E].\n\n- [E] pi-power / metric\n[…]\negenerated maps,\nScriptIndex, changelog mirror; AUDIT OK (429 scripts); website builds clean;\nmanifests refreshed. Python-only; no new physical number.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v435: fourth honest step on the alpha Quillen target -- a pi-power te…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T04:38:17Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "39e93f6adf8eb56771ce91adb7097eecb13d1711",
"body": "…s collapse to one [C] + one [O]\n\nALPHA.QUILLEN.PROGRESS.03 settles the status of the three residuals named\nafter v433 and shows they are NOT three independent open problems.\n\n- [E] b1 IS the U(1) a_4 heat-kernel coefficient (the beta = a_4 theorem,\n Vassilevich): from the carrier hypercharge conte\n[…]\ne tfpt_1 EM-closure body + website residual-gap lab. bash build.sh release\n-> 11 docs ok, AUDIT OK (428 scripts), npm build clean; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v434: third honest step on the alpha Quillen target -- three residual…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T04:18:54Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "2365a123c416efbd9a6f49771697c3b58e693d7b",
"body": "ALPHA.QUILLEN.PROGRESS.02 -- a solvable 4D model (flat Delta on T^4) reaches\nthe a_4 (t^0) conformal-anomaly order with a_4 = V m^4 / (2 (4pi)^2) nonzero,\nthe order v391's 1D circle toy could not reach and the very order v342 grounds\n(Gilkey a_4 gauge-curvature 30/360 = 1/12). It unifies v391 (a zet\n[…]\nion and the v342 origin) +\nwebsite residual-gap lab. bash build.sh release -> 11 docs ok, AUDIT OK (427\nscripts), npm build clean; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v433: a second honest step on the alpha Quillen target",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-28T04:07:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f13babab1751918722bcefb402c40175eaf319d4",
"body": "…ermination floor\n\nCloses the reverse-audit arc on E8's eight Casimir degrees and adds the\ngrammar-independent improbability floor. Three new verification modules,\nfully deep-synced (papers, ledger, changelog, Wolfram, README, Zenodo, website).\n\n- v430 E8.OTHERSIDE.AUDIT.01: the seam's \"other side\" \n[…]\n, npm 25/25;\nmanifests refreshed.\n\nWebsite housekeeping (prior session): contact email in the footer; ignore the\nlocal-only /linkedin/ outreach drafts.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v430-v432: complete the E8 reverse audit + the unconditional over-det…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-27T12:46:43Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "b8a7be77b6ea3a45ec4793cb088e6471d3889ec7",
"body": "New module v429_axion_pentagon_phi.py (DM.AXION.PENTAGON.01): since\nN_fam = g_car-2, the axion spine angle theta_i = pi N_fam/g_car = 3pi/5 = 108deg\nis exactly the regular g_car-gon (pentagon) interior angle, cos theta_i = -1/(2phi),\nand the golden character is unique to g_car=5. This refines v354's\n[…]\n429};\nwebsite mirrors (papers.ts, predictions.ts, verification count 330/330);\nmanifests refreshed. bash build.sh release -> AUDIT OK, npm build clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v429: the 'unmapped' golden E8 structure is the geometry of theta_i",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-26T07:45:58Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "12461d680765d3ed9e0a0eae50847c4e7b300346",
"body": "Drop next-plan.md, next.txt, nextv2.txt, and check.txt; stop indexing next.txt in the website content map.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Remove internal planning notes from the public repo.",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-26T05:59:50Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "93e53b8a11eb6e15652f326156dee2fd10f797fc",
"body": "A full rewrite of the intro video around an approved 9-beat screenplay with\na real dramatic arc and genuine animation, in plain, non-marketing language:\n\n- New spine \"Is reality compiled?\": open on the question, lead with the\n RESULT (almost the whole Standard Model + gravity + cosmology + 23\n pre\n[…]\nns; website IntroVideo chapters/transcript/JSON-LD\n(PT4M45S)/title synced; website_map regenerated. build.sh audit -> AUDIT OK;\ntypecheck + lint clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "intro film v4: \"Is reality compiled?\" — animated, result-first narrative",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T13:54:57Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "939d7ef98bff3c239714c14725fc8e78a219ef7a",
"body": "The active papers named the foundational results they build on (Bisognano-Wichmann,\nOsterwalder-Schrader, Tomita-Takesaki, Doplicher-Haag-Roberts, Haag-Ruelle, Longo,\nKawahigashi-Longo-Mueger, Frenkel-Kac, Segal, Conway-Sloane, Minkowski-Siegel, Brieskorn,\nMilnor, Chamseddine-Connes, Connes-Rovelli,\n[…]\ns change -- a provenance / citation-completeness pass.\n11 docs ok; AUDIT OK (422); npm build clean; appendix renders (e.g. research_contracts p.41/41).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "add web-verified external-works references appendix",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T13:18:03Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "6fdb4f567bea5aa72aa45b81a6107b8552b28c92",
"body": "…fold mu4 identity\n\nPart A -- external citations on the open SEAM.EQUIV.01 keystone (verified real via arXiv):\n- arXiv:2506.01008 (2d conformal nets from even lattices + classification of Heisenberg-net\n extensions) added as the rigorous lattice->conformal-net construction leg -- v336 docstring/\n \n[…]\nthor-only with no bibliography -- reported, not yet filled.\n\nSuite ALL CHECKS PASSED (422); 11 docs ok; AUDIT OK; npm build clean; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "cite recent AQFT theorems (Adamo-Giorgetti-Tanimoto) + name the four-…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T13:04:58Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "95376e4db0ae2b4ba8c2bac796eed1b43b8c573c",
"body": "…dictions\n\nRework the intro film to convey the substance reviewers were missing,\ngrounded in the compiler page (website/public/compiler):\n\n- The machine & E8 (expanded): E8 reframed as the AUDITOR/type-checker —\n the one rulebook the pieces lock into exactly one way (det=1), closing\n for only one \n[…]\nns; synced website IntroVideo chapters, transcript, JSON-LD (PT4M36S),\nand the section description. Typecheck + lint clean; build.sh audit -> AUDIT OK.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "intro video v3: E8-as-auditor, full readout scope, the clocks, 23 pre…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T12:41:50Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "b7ae5a08913427e039379d92090a6a1135982bb3",
"body": "…on correction)\n\nNew Zenodo version with the corrected over-determination description: the seven\narithmetic witnesses COMPRESS one (2,3,5)/E8 object (Brieskorn, v236), they do not\nmultiply; the genuine multiplication is the \"8\" forced four independent ways plus the\nforeign alpha^-1. Bump DEFAULT_RECORD_ID to the new published record.\n\nPublished: https://zenodo.org/records/20846087 (DOI 10.5281/zenodo.20846087)\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: publish v5.3 (rev 315) record 20846087 (v428 over-determinati…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T12:20:28Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "8ef9ea380de815b94048cd89d5f61065ebbb2f8c",
"body": "…ection\n\nVideo: regenerate the intro film, plainer narration and now eight beats —\nadds a \"Gravity comes free\" scene (c3=1/(8pi) is Einstein's 8pi; full\ncovariant field equation, Lambda from alpha, triply over-determined) and a\n\"Why this isn't numerology\" Safeguards scene (13/13 vs 200k random <=5,\n\n[…]\npers.ts/Safeguards.tsx\nand the zenodo description updated to match.\n\nMirror synced (build.sh website), manifests refreshed; build.sh audit -> AUDIT OK.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "intro video v2 (simpler, 8 beats) + v428 over-determination self-corr…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T12:05:14Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "a69ce5f3ef040407b96cf54759b574d3373e96b9",
"body": "…ds paper\n\nAdd tfpt_safeguards.pdf to the Zenodo uploader's file set and bump the default\nrecord id to 20845312 (DOI 10.5281/zenodo.20845312). Refresh website_map.csv for\nthe new conditional-test references (m_tau Belle II, the omega=2.58 recovery comb).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: publish v5.3 (rev 313) record 20845312 + deposit the Safeguar…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T11:32:04Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "55cd5be9d13b6faba812db9383cb3a526b5a83c7",
"body": "Bump reproducibility counts (421 Python modules / highest v427); add the Safeguards\ncompanion (the verification discipline, the over-determination map v427, the null\nmodel P<=10^-30.7) and the single-flow reduction v425; note v426 constructively\nexhibits the invertible-KMS sub-step of the seam keystone.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: refresh deposit description for v425-v427 + the Safeguards paper",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T11:28:12Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "adf8f9e4a02db6106ec974d8162e8e7fa319c367",
"body": "…l frontier tests\n\nAdds two clearly-typed \"Conditional frontier test (not frozen)\" rows to the\nfalsification page's kill criteria: the Belle II / BES III tau-mass test\n(m_tau = 1776.9427 MeV if the Koide flow runs N_fam=3 steps; +0.14sigma of the\nPDG world average, needs sigma~0.01 MeV to decide the\n[…]\nmagnetar/GRB data -> clean null so far, wide-ln(t) channels data-limited).\nKept off the frozen predictions table by design (both are conditional, v99).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "website: surface m_tau and the omega=2.58 recovery comb as conditiona…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T11:26:28Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "9c6ede539819a5197eaece6d5d63944e0ed6aa8c",
"body": "v425 (DYN.TRANSFER.UNIVERSAL.01): the single-flow reduction of F_transfer -- the\nfour frontier transfers are the ONE native seam recovery semigroup restricted to\neach sector (native gap 6 ln(3/2), rate (2/3)^6, b3=-7); only the anchors (v_geo,\nC_p, M_R) stay external, F_relic's cosmological IC the o\n[…]\ngures\nand CTAs -- plus the safeguards paper page (papers.ts/release.ts).\n\nAll surfaces synced; AUDIT OK (421 scripts); changelog and manifests updated.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v425-v427 + the Safeguards paper, figures and website band",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T11:06:42Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e7a49d9c3aa538671df8f29e2e3b41b0a6affffd",
"body": "DOI 10.5281/zenodo.20808181. Future uploads derive the next version from this\nrecord by default.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: bump default record id to 20808181 (v5.3 rev 309 published)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T09:21:30Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "9bc122ffbc9bfc8992dd0d770d1dbc286e766ed9",
"body": "Update the reproducibility counts (418 Python modules / highest v424; Wolfram\n116+327) and sharpen the open-frontier status: QG.AMB.01 is now a machine-checked\nDAG/script no-dependency fact (v423), and SEAM.EQUIV.01's intrinsic Bisognano-\nWichmann residual is reduced to the cited NPW26 commuting-projector theorem\n(arXiv:2605.10693) modulo two named sub-steps (v424) -- a reduction, not a closure.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "zenodo: refresh deposit description for v423-v424",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T09:15:04Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "045f1486e9f24f3f4ca1f5b391296d398d3ffdec",
"body": "…reduction\n\nv423 (QGAMB.NODEP.01): no frozen readout is COMPUTED from the ambient QG measure\nQG.AMB.01 -- a machine-checked DAG/script audit sharpening the v369/v384 prose\nredundancy. Certification sink (no predictive dependent), not a value source; the\none transitive link (theta13) is the architect\n[…]\n: tfpt_4 QG keybox now states up front that holomorphy (|det K|=1),\nnot c=8, selects (E8)_1 (SO(16)_1 shares c=8). All surfaces synced; AUDIT OK (418).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v423-v424: No-Ambient-Dependency certificate + the (LTO-RP) keystone …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T09:11:29Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f3c83ef94e05594182e7563f6ece086cecd211c1",
"body": "The seam mu4 is the SAME cyclic Z/4 as the (E8)_1 simple-current glue -- not a\nmere order-4 coincidence -- bridging the Galois gearbox (v419) to G_net /\nSEAM.EQUIV.01.\n\n- disc(A3)=disc(D5)=Z/4 cyclic (one Smith invariant factor 4); D_n disc is Z/4\n for n odd, Z2xZ2 for n even, so the carrier D5 (ra\n[…]\nthe SEAM.EQUIV.01 continuum residual.\n\nSuite 416 modules (ALL CHECKS PASSED); Wolfram extension 327/327; AUDIT OK;\nwebsite builds; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v422: the Galois<->Net bridge (mu4 = Gal(Q(zeta5)) = (E8)_1 glue)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T08:04:02Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "29ba684d5752def3160f137b8523cc01c7d280ab",
"body": "…op QED)\n\nThe recurring TFPT numbers are one seed (the carrier split (3,2)) read through\nthe three atom-rings, and the open frontier is confirmed external.\n\n- v415 DIAMOND.GAUSS.01: J=[U,V]/3 is the mu4 quarter-turn; 3+2i/5+4i are\n eigenvalues of 3I+2J/5I+4J (norms 13=Delta_Q, 41=10b1); intrinsic d\n[…]\n aligned to its v409/v419 resolution.\n\nSuite 415 modules (ALL CHECKS PASSED); Wolfram extension 324/324; AUDIT OK;\nwebsite builds; manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v415-v420: the cyclotomic clock arc + F_pole external (Koide = one-lo…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-25T07:27:37Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "0b3c6d14d3fe20e60a935bd2fa3f70bdf633defb",
"body": "The rank-2 sheet axis V = Q diag(0,1,1) of the centered cross (v95/v218)\nis shown to be a binary internal compiler: its powers print the carrier\nspine and collapse the recurring flavor/audit integers into the iteration\nof one operator.\n\n- v410 (SHEET.GEN.BINARY.01): closed form V^n (induction), V^n.\n[…]\nhangelog, website (papers.ts, DAG,\nverification page counts), manifests. run_all ALL CHECKS PASSED; build.sh\nrelease: 10 ok, AUDIT OK, npm build clean.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v410-v414: the sheet generator V as a binary internal compiler",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T15:28:27Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "ddb7640f021930f8b5206a64d3c4602c5691a39b",
"body": "Machine-proves RES.COXETER.SYMMETRY.01's falsifiable corollary in Lean 4 /\nMathlib (new module TfptCarrier/CoxeterPrime2.lean): an involution eigenvalue\nis +-1, a projector eigenvalue is 0/1, neither lies in (0,1), while 2/3 does --\nso no prime-2-only attractor exists; the dynamical reading reuses t\n[…]\now FORM.COXETER.PRIME2.01, a changelog entry, and a note in\ntfpt_research_contracts. Python audit OK (404 scripts); content + Lean\nmanifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "FORM.COXETER.PRIME2.01: Lean proof of the prime-2 corollary (v409)",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T13:54:28Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "3144e7383db4a28fa66eed21412563b9aaf67fe5",
"body": "Add phi0 puncture heat-kernel target (v408) and close Coxeter prime-2 as a structural lemma (v409); realign papers, website, ledger, and figures through the axion-branch and status-marker sweep, and keep the Three.js simulation local-only via .gitignore.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v408-v409 + cross-surface consistency sweep; ignore local simulation/",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T13:32:19Z",
"body_truncated": false,
"is_coding_agent": true
},
{
"oid": "2d78c9b2c3a931febcca711fa20f68f413e32d31",
"body": "v405 (SEAM.EQUIV.02): the dual keystone at tau=omega -- the family/flavor\nsector as the order-3 Eisenstein/A2 face of E8, dual to the seam=(E8)_1 at\ntau=i (v404). chi_E8(omega)=0 vs chi_E8(i)=12; A2 (Cartan det 3=N_fam) reads\nR in E6xA2 (det R=8=dim A2=rank E8); delta_PMNS=4pi/3 = the tau=omega CM\np\n[…]\n \"why 11\".\n\nCited in origin_theory/tfpt_2/tfpt_1; registry/ledger/changelog/website\nsynced; run_all green; AUDIT OK (402 scripts); manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v405-v407: the tau=omega dual keystone + the flavor residuals it homes",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T12:07:20Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "803d36bf8413088fac106086028ec9dee5a0d6d6",
"body": "v403 (ARITH.HULL.01): the three number-field facets (v390/v394) compose to\nK = Q(i, sqrt-3, sqrt5) -- degree 2^3 = 8 = rank(E8) = g_car+N_fam, Galois\n(Z/2)^3, 7 quadratic subfields = 4 imaginary (|mu4|) + 3 real (N_fam),\nramified only at {2,3,5} = the atoms = primes of h(E8)=30; 2^omega(h)=rank\nis E\n[…]\ned;\nrun_all green; AUDIT OK (399 scripts); manifests refreshed. Python-only\nsynthesis (cf. v390/v394); core values j=1728/j=0 already Wolfram-mirrored.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v403-v404: the arithmetic hull + the E8-character CM duality",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T11:47:39Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "8a9a62642cc723e65b36361af2b046b1592d74cd",
"body": "…u4 block-leakage)\n\nThe search-grammar correction (operator, not scalar): test invariances/eigenvalues that\nneed NO time axis, so they escape the modular-vs-observer-time / No-Unit obstruction that\nthe recovery combs inherit.\n\n- cmb-birefringence-seed/seed_hyperplane.py (SEED.HYPERPLANE): beta, Omeg\n[…]\naracter assignment).\n\nBoth dimensionless, both falsifiable; no fabricated numbers (TFPT maps = frozen registry\nformulas, measured values cited inline).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "experiments: add the two Klasse-A operator tests (seed-hyperplane + m…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T11:37:56Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "3d550bb59f02ba4637209aaa9f93500d6ed08398",
"body": "…dest-ln(t) test)\n\nA new cross-domain recovery-comb channel on REAL public Swift-XRT GRB afterglow\nflux light curves (UKSSDC, Evans+2007/2009) -- the widest-ln(t) astrophysical\nrecovery in hand and the FIRST that is not data-limited.\n\n- grb.py: fetcher (urllib -> flux.qdp, 8-digit target id, self-ve\n[…]\norizon\nrecovery -- a comb would be a universal-DSI coincidence; the value of this channel\nis that the NULL is well-powered, not data-limited. No claim.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "recovery-comb-domains: add A4 GRB X-ray afterglow plateau channel (wi…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T11:11:30Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "cdbaca30cf192394019a1a74e28c98245311c526",
"body": "Five typed contract/evidence modules, one named target per Paper A-E:\n- v398 (SEAM.RIGIDITY.01): the Seam State Rigidity Theorem as one target;\n RP-definability hinge + band-limited mu4-character core swept N=4..64\n (hardens v177/v199 beyond H^1) + holomorphy=>(E8)_1; [O] = full-L^2 / BW.\n- v399 (\n[…]\n changelog, paper \\veri citations,\nwebsite mirror. Suite ALL CHECKS PASSED; build 10 ok; AUDIT OK (397 scripts);\nnpm build clean; manifest regenerated.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v398-v402: the five TOE/QFT closure contracts + a ledger rescope",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T10:28:06Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5ea2a712357bb9215f6bf3b46ba705c2857f3798",
"body": "…e \"external physics\"?\n\nTests, with strict No-Free-Pattern discipline (an EXACT match, not a wide-band fit), whether the\n\"external\" frontier scheme-numbers land on the {2,3,5} clock (the anchor atoms, v394):\n\n- [E] eta_B decuple A_Lambda = 10 = |Z2|*g_car ON the clock (v212).\n- [E] Koide rate (2/3)^\n[…]\nrogress parallel work present in the tree (v395/v396 modules,\nexperiments/extended-signatures, hypergraph.md, papers.ts edits) -- swept in per request.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v397: a falsifiable clock probe of the frontier -- how external is th…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T09:10:54Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "c98939f53d7b9a416e4d0e3bbd7e7ff84cd43553",
"body": "…gistered open question\n\nA bird's-eye [E] re-reading that ties v390 (the prime facets) to the anchor a=(1,1,2) and v319\n(the 5x6 clock), and registers a new tracked open research question.\n\n- [E] ANCHOR ATOMS = COXETER PRIMES: a=(1,1,2) has e3=2=|Z2|, p0=3=N_fam, e2=5=g_car, product\n 2*3*5 = 30 = h\n[…]\nOXETER.SYMMETRY.01)/registry/changelog/run_all + DAG\nupdated. Suite green (389), AUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v394: the clockwork coherence (primes = anchor atoms = facets) + a re…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T08:26:09Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "790b78e4f3c7c6acf7ff6e8a0435737b4df60ed4",
"body": "…agnitudes (testable error bars)\n\nThe short-term, testable harvest of v388: instead of merely typing each prediction's correction,\nthis computes the magnitude, so every parameter-free central value can be quoted as\n\"central +- computed first correction\".\n\n- [E] FIXED-POINT band (phi0-derived theta12\n[…]\n ledger/registry/changelog/run_all + DAG\n(boot node) updated. Suite green (388), AUDIT OK, 10 docs compiled, website builds clean,\nmanifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v393: the typed correction budget (v388) as actual first-correction m…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T07:59:35Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "1742859488fd98e698976f406f6430e34f32b976",
"body": "…-limit central charge CONVERGES\n\nAttacks the continuum-existence residual (v336) WITHOUT closing it: the abstract existence stays\nthe cited MMST theorem, but this adds the existence-relevant observable v376 did not test --\nthat the finite-size data converge.\n\n- [E] MULTI-SIZE CONVERGENCE: the Calab\n[…]\ns; ledger/registry/changelog/run_all + DAG (S3 node) updated. Suite green\n(387), AUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v392: honest attack on SEAM.EQUIV.01's last open lemma -- the scaling…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T07:49:38Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "f7d420114244bba685cfff63bf0e8cd10ca06ac7",
"body": "…Perron-Frobenius case\n\nHonest, machine-checked advance on the \"full Perron-Frobenius in Lean\" step: the module\nTfptCarrier/SpectralGapAttractor.lean now also proves the multi-dimensional gapped-operator\nstatement, reduced to the scalar core (lake build OK, no sorry, only kernel axioms):\n\n- [F] comp\n[…]\n + origin_theory + changelog updated. AUDIT OK (386), 10 docs\ncompiled, website builds clean, Lean aggregator rebuilt (3364 jobs), manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "FORM.SPECTRALGAP.01: extend the Lean proof to the finite-dimensional …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T07:33:00Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "25c7031af970a6904740d6c5aa5e4586bb9efe31",
"body": "…ndings\n\nA new client component (components/UniversalGapLab.tsx, Framer Motion -- already a dependency,\nno new package) embedded on /verification, with three linked, module-grounded views:\n\n- A. every TFPT sector as the gap contraction iter_n = x* + r^n(x0 - x*) racing to its\n attractor at the spec\n[…]\ncation (animation renders and runs, no console errors). Changelog updated; AUDIT OK\n(386), 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "website: an animated \"Universal Gap Lab\" visualising the v383-v391 fi…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T07:01:01Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "5880cd84843b6b8ac0d3e61b69395f822c39c8ce",
"body": "… -- reduces it, does NOT close it (door #5)\n\nPer the chosen scope: a genuine attempt that REDUCES the open step to a sharper named sub-target\nvia a solvable model, while keeping the headline target OPEN. ALPHA.QUILLEN.EXACT.01 stays [O]\n(external math, type A, v384) -- no fabricated proof.\n\n- [E] S\n[…]\n8; ledger/registry/changelog/run_all + DAG (em node) updated.\nSuite green (386), AUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v391: an honest attempt at the external target ALPHA.QUILLEN.EXACT.01…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T06:51:46Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "c9ef0a6b8a80d51961bea0bb393e104cc87c6a04",
"body": "… spectral-gap principle (door #4)\n\nNew module TfptCarrier/SpectralGapAttractor.lean (lake build OK, no sorry, only the three\nstandard kernel axioms), formalising the meta-theorem of v303/v383/v387 at its one-dimensional\nreduction -- the affine gap contraction x |-> x* + r(x - x*) with multiplier r \n[…]\n in origin_theory; changelog updated. AUDIT OK (385),\n10 docs compiled, website builds clean, Lean aggregator rebuilt (3364 jobs), manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "FORM.SPECTRALGAP.01: Lean 4 proof of the scalar core of the universal…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T06:40:45Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "65f36cd8de64d6041d2272cfa1c609c70eec4501",
"body": "…clock (door #6)\n\nCompletes v383/v387: the clock 30 = 2*3*5 = h(E8) had two named number-field facets (golden\nphi in Q(sqrt5), prime-5/carrier; (2/3)^6 in Q, prime-3/family). This names the prime-2 facet\nand identifies it with structure already in the theory -- the Gaussian field Q(i): the CM point\n\n[…]\n ledger/registry/changelog/run_all + DAG\n(boot node) updated. Suite green (385), AUDIT OK, 10 docs compiled, website builds clean,\nmanifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v390: the prime-2 (Gaussian / Z4-seam) facet of the order-30 Coxeter …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T06:31:34Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e394eba6d120201f4b45cfb3b07754b60a3e07af",
"body": "…by power counting (door #3)\n\nThe honest next step past v386 (the tree amplitude), extending v304/v370/v380/v386 from the\npropagator to the superficial degree of divergence of loop graphs. This is the standard\ninfinite-derivative / nonlocal-gravity finiteness statement (Tomboulis; Biswas-Mazumdar-Si\n[…]\n; ledger/registry/changelog/run_all + DAG (qft node) updated. Suite\ngreen (384), AUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v389: the entire-form-factor graviton is UV-finite at the loop level …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T06:23:41Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "42ba8268adc083b6dcdad9106225e6efe8bf6572",
"body": "…rm band on every prediction (doors #1+#2)\n\nVerifies the explicit question \"must the (lambda_2/lambda_1)^n correction apply to ALL\npredictions?\" -- answer: NO, and for one class a band would be wrong. Because the size is\nthe distance from a gapped operator's leading eigenvector, it is defined only w\n[…]\ntions.ts CORRECTION_BUDGET + four-class meta, DAG boot node). Suite green\n(383), AUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v388: the gap-driven correction (v387) is a TYPED budget, not a unifo…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T06:16:12Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "b095470c27c0cec0b88fef7dedc6510e12f41471",
"body": "…certification residual, UV-branch safety, graviton amplitude, correction calculus)\n\n- counts 377 -> 382 modules, highest ID v382 -> v387 (both surfaces);\n- README \"genuinely open\": added the universal spectral-gap principle (v383),\n certification-not-construction residual (v384), the gap-driven co\n[…]\nte/UV-soft graviton\n amplitude (v386);\n- Zenodo description: same in the Established / Open-conditional paragraphs.\n\nMaps regenerated; AUDIT OK (382).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "README + Zenodo: carry the v383-v387 status (universal spectral-gap, …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T04:53:23Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "9f98551fbee6c44ae6a4d40713c6d56d5561e22c",
"body": "…(graviton amplitude) + v387 (correction calculus)\n\nThree modules that turn the now-complete perturbative framework into concrete results:\n\n- v385 UVBRANCH.KILLTEST.01: the optional carrier-Pati-Salam UV branch on the\n all-order footing (v381). Computes the new thing -- the proton-decay SAFETY\n hi\n[…]\n\nledger/registry/changelog/run_all + DAG (qft, boot) updated. Suite green (382),\nAUDIT OK, 10 docs compiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Harvest the QFT/gravity machinery: v385 (UV-branch kill test) + v386 …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-24T04:50:13Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "e1dafeb3916376b3986b34bc34489a6369048199",
"body": "…(residual is certification, not construction)\n\nTwo new structural patterns from a fresh whole-theory synthesis pass:\n\n- v383 DYNAMICS.UNIVERSAL.01: every TFPT sector is the SAME object -- a gapped\n operator with a UNIQUE leading attractor (the physics) and a spectral gap (the\n reason there is no \n[…]\n; ledger/registry/\nchangelog/run_all + DAG boot node updated. Suite green (379), AUDIT OK, 10 docs\ncompiled, website builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Bird's-eye synthesis: v383 (universal spectral-gap principle) + v384 …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T19:07:59Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "efb3044a2539f7f3146a21e73dbf770518f0fc8f",
"body": "…illen determinant-line target)\n\nNames the two genuine residual targets a mathematical-physics review of the QFT/TOE\nlayers identified (everything else it proposed was already in the repo):\n\n- v381 QFT4D.EG.ALLORDER.01: the all-order Epstein-Glaser/BRST contract for the\n perturbative 4D S-matrix S_\n[…]\ns; README + Zenodo description\n(counts 375->377, v380->v382). Suite green (377), AUDIT OK, 10 docs compiled,\nwebsite builds clean, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "External-review closure: v381 (all-order EG/BRST contract) + v382 (Qu…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T15:57:14Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "266e732553df2dbdd7f9d5bf66121ec80c74e26a",
"body": "…to the remaining papers, README and Zenodo\n\nThe canonical surfaces (tfpt_status, introduction) were already current; this pass propagates the same honest wording into origin_theory, tfpt_1-tfpt_5, tfpt_research_contracts, README.md, zenodo_description.html and website/lib/papers.ts:\n- SEAM.EQUIV.01\n[…]\new claim — a wording propagation so every surface matches the ledger. All 10 docs compile, AUDIT OK (375 scripts), website builds, manifests refreshed.\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Status propagation: carry the v365-v380 + FORM.SEAM.MMST.01 status in…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T14:49:27Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "908e506f4b32f24d210ae9ffaa8acf8a4192f01d",
"body": "…compiler\n\n- Interactive compiler (/compiler): the gravity node + deep modal now reflect the latest results -- the boundary QFT scaling limit pinned to (E8)_1 (v376-v379, \"closed modulo cited MMST theorem\"); the QG measure reduced to one-loop fluctuations around the parameter-free saddle (v365) with\n[…]\nges.\n- Includes the previously unpushed v380 (GRAV.KMS.HESSIAN.01: the Stelle ghost is exactly the Seeley-DeWitt truncation; resummation decouples it).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Deep-sync v365-v380 narrative into papers, website & the interactive …",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T14:19:21Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "9f4d83095fefe9add9947e9fb7c759e3a2c7f45d",
"body": "…Witt truncation; resummation decouples it\n\nUpgrades v304/v370 from the assumption \"the resummed graviton form factor is entire\" to a derived truncation-artefact + decoupling statement:\n- [E] the seam KMS cutoff f(u)=e^{-u} (v259) gives the dressed spin-2 propagator e^{-p^2/M^2}/p^2 = 1/(p^2 a) with\n[…]\nion-tower level (the \"KMS Entire Hessian\" item from the closing-attempt list). Cited in tfpt_5_redteam Target F; run_all green, AUDIT OK (375 scripts).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "v380 (GRAV.KMS.HESSIAN.01): the Stelle ghost is EXACTLY the Seeley-De…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T13:58:04Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "64733e20b7459c364e766298bc816151f1f396da",
"body": "…m\" (FORM.SEAM.MMST.01)\n\nNew module TfptCarrier/SeamScalingLimit.lean (lake build OK, #print axioms clean), in the audit-contract style of SeamEquivChain.lean:\n- the MMST applicability hypotheses for the seam collar are PROVABLE by Lean kernel decide, no axioms: D=16 Majoranas, rank=c=8, the range 8\n[…]\nlosure stack v376-v379; ledger FORM.SEAM.MMST.01, cited in tfpt_research_contracts; lean_manifest + content manifest refreshed; AUDIT OK (374 scripts).\n\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "Lean: formalise the S3 continuum leg as \"closed modulo a cited theore…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T13:40:44Z",
"body_truncated": true,
"is_coding_agent": true
},
{
"oid": "c452b556de592a4b63f04923fa64195db9e9a6b1",
"body": "…1 at every computable level\n\nOn the explicit v367 lattice model:\n- v376 (SEAM.S3.CENTRALCHARGE.01): central charge c=8 NUMERICALLY from Calabrese-Cardy finite-size entanglement scaling (c=1.0000 per complex mode; the L=4m+2 sizes avoid the half-filling zero-mode) -> the 16-Majorana collar has c=8=g\n[…]\nonal suite. Honest ceiling: \"closed modulo a cited theorem\". Cited in tfpt_research_contracts; next-plan updated; run_all green, AUDIT OK (374 scripts).\nCo-authored-by: Cursor <cursoragent@cursor.com>",
"is_bot": false,
"headline": "S3 closure stack (v376-v379): pin the seam scaling-limit target (E8)_…",
"author_name": "Stefan Hamann",
"author_login": "sthamann",
"committed_at": "2026-06-23T13:25:26Z",
"body_truncated": true,
"is_coding_agent": true
}
],
"releases_count": 0,
"commits_last_year": 374,
"latest_release_at": null,
"latest_release_tag": null,
"releases_from_tags": false,
"days_since_last_push": 0,
"active_weeks_last_year": 8,
"days_since_latest_release": null,
"mean_days_between_releases": null
},
"community": {
"has_readme": true,
"has_license": false,
"has_description": true,
"has_contributing": false,
"health_percentage": 28,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"ecosystem": {
"packages": []
},
"popularity": {
"forks": 2,
"stars": 715,
"watchers": 4,
"fork_history": {
"days": [
{
"date": "2026-07-17",
"count": 1
},
{
"date": "2026-07-19",
"count": 1
}
],
"complete": true,
"collected": 2,
"total_forks": 2
},
"star_history": {
"days": [
{
"date": "2026-07-14",
"count": 333
},
{
"date": "2026-07-15",
"count": 277
},
{
"date": "2026-07-16",
"count": 16
},
{
"date": "2026-07-17",
"count": 18
},
{
"date": "2026-07-18",
"count": 31
},
{
"date": "2026-07-19",
"count": 28
},
{
"date": "2026-07-20",
"count": 8
},
{
"date": "2026-07-21",
"count": 4
}
],
"complete": true,
"collected": 715,
"total_stars": 715
},
"open_issues_and_prs": 0
},
"ai_readiness": {
"has_nix": false,
"example_dirs": [
"notebooks"
],
"has_llms_txt": false,
"has_dockerfile": true,
"has_mcp_signal": false,
"bootstrap_files": [],
"api_schema_files": [],
"has_devcontainer": true,
"typecheck_configs": [
"video/tsconfig.json",
"website/tsconfig.json"
],
"toolchain_manifests": [],
"largest_source_bytes": 2472348,
"source_files_sampled": 1559,
"oversized_source_files": 14,
"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": 6123
},
"dependencies": {
"manifests": [
"requirements.txt",
"video/package.json",
"website/package.json"
],
"advisories": {
"error": null,
"scope": null,
"source": null,
"findings": [],
"collected": false,
"truncated": false,
"by_severity": {},
"advisory_count": 0,
"affected_count": 0,
"assessed_count": 0,
"assessed_package": null,
"unassessed_count": 0,
"direct_affected_count": 0
},
"ecosystems": [
"npm",
"pypi"
],
"dependencies": [
{
"name": "@remotion/cli",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "4.0.481"
},
{
"name": "@remotion/google-fonts",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "^4.0.481"
},
{
"name": "@remotion/tailwind-v4",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "4.0.481"
},
{
"name": "react",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "19.2.3"
},
{
"name": "react-dom",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "19.2.3"
},
{
"name": "remotion",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "4.0.481"
},
{
"name": "tailwindcss",
"manifest": "video/package.json",
"ecosystem": "npm",
"version_constraint": "4.0.0"
},
{
"name": "@vercel/analytics",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^2.0.1"
},
{
"name": "clsx",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^2.1.1"
},
{
"name": "katex",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^0.16.22"
},
{
"name": "lucide-react",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^0.479.0"
},
{
"name": "motion",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^12.23.16"
},
{
"name": "next",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^16.2.4"
},
{
"name": "react",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^19.2.0"
},
{
"name": "react-dom",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^19.2.0"
},
{
"name": "tailwind-merge",
"manifest": "website/package.json",
"ecosystem": "npm",
"version_constraint": "^3.3.0"
},
{
"name": "numpy",
"manifest": "experiments/ccbh-dark-energy/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/cmb-birefringence-seed/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/cmb-inflation-scalaron/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/comb-meta-limit/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/comb-meta-limit/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "numpy",
"manifest": "experiments/crust-cooling-comb/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/crust-cooling-comb/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "numpy",
"manifest": "experiments/dark-energy-w-watchdog/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/dsi-false-positive-control/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/e8-ladder-bed/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/e8-ladder-bed/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "matplotlib",
"manifest": "experiments/e8-ladder-bed/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=3.8"
},
{
"name": "numpy",
"manifest": "experiments/eht-achromatic-residual/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/eht-achromatic-residual/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.12"
},
{
"name": "matplotlib",
"manifest": "experiments/eht-achromatic-residual/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=3.8"
},
{
"name": "pandas",
"manifest": "experiments/eht-achromatic-residual/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=2.1"
},
{
"name": "numpy",
"manifest": "experiments/extended-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/extended-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "numpy",
"manifest": "experiments/fixed-point-watchdog/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/fixed-point-watchdog/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "numpy",
"manifest": "experiments/frb-tfpt-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "scipy",
"manifest": "experiments/frb-tfpt-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.12"
},
{
"name": "scikit-learn",
"manifest": "experiments/frb-tfpt-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.4"
},
{
"name": "matplotlib",
"manifest": "experiments/frb-tfpt-signatures/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=3.8"
},
{
"name": "numpy",
"manifest": "experiments/gauge-unification/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/gravastar-compactness/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/gw-ringdown-echo/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "h5py",
"manifest": "experiments/gw-ringdown-echo/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=3.10"
},
{
"name": "scipy",
"manifest": "experiments/gw-ringdown-echo/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.11"
},
{
"name": "numpy",
"manifest": "experiments/gw-ringdown-spectroscopy/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
},
{
"name": "numpy",
"manifest": "experiments/gw-speed-multimessenger/pyproject.toml",
"ecosystem": "pypi",
"version_constraint": ">=1.26"
}
],
"all_dependencies": {
"error": "GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository",
"source": null,
"packages": [],
"collected": false,
"truncated": false,
"total_count": null,
"direct_count": null,
"indirect_count": null
}
},
"maintainership": {
"issues": {
"open_prs": 0,
"merged_prs": 0,
"open_issues": 0,
"closed_ratio": null,
"closed_issues": 0,
"closed_unmerged_prs": 0
},
"bus_factor": 1,
"bot_contributors": 0,
"top_contributors": [
{
"type": "User",
"login": "sthamann",
"commits": 377,
"avatar_url": "https://avatars.githubusercontent.com/u/612626?v=4"
}
],
"contributors_sampled": 1,
"top_contributor_share": 1
},
"quality_signals": {
"has_ci": true,
"has_tests": true,
"ci_workflows": [
"audit.yml",
"docker.yml",
"lean.yml",
"shadow-sync.yml",
"verify.yml",
"website.yml",
"zenodo-release.yml"
],
"has_docs_dir": true,
"linter_configs": [
"eslint.config.mjs"
],
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"security_signals": {
"lockfiles": [
"package-lock.json"
],
"scorecard": {
"checks": [
{
"name": "Binary-Artifacts",
"score": 10,
"reason": "no binaries found in the repo",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#binary-artifacts"
},
{
"name": "Branch-Protection",
"score": 0,
"reason": "branch protection not enabled on development/release branches",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#branch-protection"
},
{
"name": "CI-Tests",
"score": null,
"reason": "no pull request found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#ci-tests"
},
{
"name": "CII-Best-Practices",
"score": 0,
"reason": "no effort to earn an OpenSSF best practices badge detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#cii-best-practices"
},
{
"name": "Code-Review",
"score": 0,
"reason": "Found 0/30 approved changesets -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#code-review"
},
{
"name": "Contributors",
"score": 3,
"reason": "project has 1 contributing companies or organizations -- score normalized to 3",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#contributors"
},
{
"name": "Dangerous-Workflow",
"score": 10,
"reason": "no dangerous workflow patterns detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dangerous-workflow"
},
{
"name": "Dependency-Update-Tool",
"score": 0,
"reason": "no update tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#dependency-update-tool"
},
{
"name": "Fuzzing",
"score": 0,
"reason": "project is not fuzzed",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#fuzzing"
},
{
"name": "License",
"score": 0,
"reason": "license file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#license"
},
{
"name": "Maintained",
"score": 0,
"reason": "project was created within the last 90 days. Please review its contents carefully",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#maintained"
},
{
"name": "Packaging",
"score": 10,
"reason": "packaging workflow detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#packaging"
},
{
"name": "Pinned-Dependencies",
"score": 0,
"reason": "dependency not pinned by hash detected -- score normalized to 0",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#pinned-dependencies"
},
{
"name": "SAST",
"score": 0,
"reason": "no SAST tool detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#sast"
},
{
"name": "Security-Policy",
"score": 0,
"reason": "security policy file not detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#security-policy"
},
{
"name": "Signed-Releases",
"score": null,
"reason": "no releases found",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#signed-releases"
},
{
"name": "Token-Permissions",
"score": 0,
"reason": "detected GitHub workflow tokens with excessive permissions",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#token-permissions"
},
{
"name": "Vulnerabilities",
"score": 0,
"reason": "17 existing vulnerabilities detected",
"documentation_url": "https://github.com/ossf/scorecard/blob/c395761df6afe1a69e476bc60a013a94bcbc153f/docs/checks.md#vulnerabilities"
}
],
"commit": "e108586342f09bcc3360c0779de78b5ca3c2b698",
"ran_at": "2026-07-21T15:51:56Z",
"aggregate_score": 2.4,
"scorecard_version": "v5.5.0"
},
"has_codeql_workflow": false,
"has_security_policy": false,
"has_dependabot_config": false
}
},
"config": {
"disabled_metrics": [],
"disabled_categories": [],
"disabled_components": {}
},
"source": {
"url": "https://github.com/sthamann/tfpt",
"host": "github.com",
"name": "tfpt",
"owner": "sthamann"
},
"metrics": {
"overall": {
"key": "overall",
"band": "at_risk",
"name": "Overall health",
"note": null,
"notes": [],
"value": 41,
"inputs": {
"security": 25,
"vitality": 36,
"community": 38,
"governance": 21,
"engineering": 88
},
"components": []
},
"categories": [
{
"key": "vitality",
"band": "at_risk",
"name": "Vitality",
"value": 36,
"weight": 0.22,
"metrics": [
{
"key": "development_activity",
"band": "moderate",
"name": "Development activity",
"note": null,
"notes": [],
"value": 60,
"inputs": {
"commits_last_year": 374,
"human_commit_share": 1,
"days_since_last_push": 0,
"active_weeks_last_year": 8
},
"components": [
{
"key": "push_recency",
"name": "Push recency",
"detail": "last push 0 days ago",
"points": 36,
"status": "met",
"details": [
{
"code": "push_recency",
"params": {
"days": 0
}
}
],
"max_points": 36
},
{
"key": "commit_cadence",
"name": "Commit cadence",
"detail": "8/52 weeks with commits",
"points": 5.5,
"status": "partial",
"details": [
{
"code": "commit_cadence_weeks",
"params": {
"weeks": 8
}
}
],
"max_points": 36
},
{
"key": "commit_volume",
"name": "Commit volume",
"detail": "374 commits in the last year",
"points": 18,
"status": "met",
"details": [
{
"code": "commits_last_year",
"params": {
"count": 374
}
}
],
"max_points": 18
},
{
"key": "openssf_scorecard_maintained",
"name": "OpenSSF Scorecard: Maintained",
"detail": "project was created within the last 90 days. Please review its contents carefully",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "release_discipline",
"band": "critical",
"name": "Release discipline",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"releases_count": 0
},
"components": [
{
"key": "ships_releases",
"name": "Ships releases",
"detail": "no releases published",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_releases_published",
"params": {}
}
],
"max_points": 27
},
{
"key": "release_recency",
"name": "Release recency",
"detail": "no releases",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_releases",
"params": {}
}
],
"max_points": 36
},
{
"key": "release_cadence",
"name": "Release cadence",
"detail": "no releases",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_releases",
"params": {}
}
],
"max_points": 27
},
{
"key": "openssf_scorecard_signed_releases",
"name": "OpenSSF Scorecard: Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 10
}
]
},
{
"key": "abandonment",
"band": "excellent",
"name": "Abandonment",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"cap": null,
"state": "unverified",
"guards": [],
"signals": [],
"red_flag": false,
"multiplier_pct": 100,
"declared_reason": null,
"unverified_reason": "repository_too_young",
"unanswered_open_prs": null,
"unanswered_open_issues": null,
"days_since_last_merged_pr": null,
"days_since_last_human_commit": null,
"days_since_last_human_commit_is_floor": false
},
"components": [
{
"key": "project_is_still_maintained",
"name": "Project is still maintained",
"detail": "maintenance record not established from the collected data",
"points": 100,
"status": "met",
"details": [
{
"code": "abandonment_unverified",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Is the project alive — is code being written and are releases shipping?"
},
{
"key": "community",
"band": "at_risk",
"name": "Community & Adoption",
"value": 38,
"weight": 0.18,
"metrics": [
{
"key": "popularity",
"band": "at_risk",
"name": "Popularity & adoption",
"note": null,
"notes": [],
"value": 49,
"inputs": {
"forks": 2,
"stars": 715,
"watchers": 4,
"growth_state": "unverified",
"growth_factor_pct": 100,
"growth_unverified_reason": "window_too_short"
},
"components": [
{
"key": "stars",
"name": "Stars",
"detail": "715 stars",
"points": 46.3,
"status": "partial",
"details": [
{
"code": "stars",
"params": {
"count": 715
}
}
],
"max_points": 60
},
{
"key": "forks",
"name": "Forks",
"detail": "2 forks",
"points": 0,
"status": "missed",
"details": [
{
"code": "forks",
"params": {
"count": 2
}
}
],
"max_points": 25
},
{
"key": "watchers",
"name": "Watchers",
"detail": "4 watchers",
"points": 2.7,
"status": "partial",
"details": [
{
"code": "watchers",
"params": {
"count": 4
}
}
],
"max_points": 15
}
]
},
{
"key": "community_health",
"band": "critical",
"name": "Community health",
"note": null,
"notes": [],
"value": 25,
"inputs": {
"has_readme": true,
"has_license": false,
"has_contributing": false,
"has_issue_template": false,
"has_code_of_conduct": false,
"has_pull_request_template": false
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 22.5,
"status": "met",
"details": [],
"max_points": 22.5
},
{
"key": "license",
"name": "License",
"detail": "no license file detected",
"points": 0,
"status": "missed",
"details": [
{
"code": "license_absent",
"params": {}
}
],
"max_points": 22.5
},
{
"key": "contributing_guide",
"name": "CONTRIBUTING guide",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "code_of_conduct",
"name": "Code of conduct",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 13.5
},
{
"key": "issue_template",
"name": "Issue template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.2
},
{
"key": "pr_template",
"name": "PR template",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.3
}
]
}
],
"description": "Does the project have users, downloads, attention, and a welcoming setup for contributors?"
},
{
"key": "governance",
"band": "critical",
"name": "Sustainability & Governance",
"value": 21,
"weight": 0.24,
"metrics": [
{
"key": "maintainer_resilience",
"band": "critical",
"name": "Maintainer resilience (bus factor)",
"note": null,
"notes": [],
"value": 13,
"inputs": {
"bus_factor": 1,
"contributors_sampled": 1,
"top_contributor_share": 1
},
"components": [
{
"key": "bus_factor",
"name": "Bus factor",
"detail": "1 contributor(s) cover half of all commits",
"points": 9,
"status": "partial",
"details": [
{
"code": "bus_factor",
"params": {
"count": 1
}
}
],
"max_points": 54
},
{
"key": "commit_distribution",
"name": "Commit distribution",
"detail": "top contributor authored 100% of commits",
"points": 0,
"status": "missed",
"details": [
{
"code": "top_contributor_share",
"params": {
"share": 100
}
}
],
"max_points": 22.5
},
{
"key": "contributor_breadth",
"name": "Contributor breadth",
"detail": "1 contributors",
"points": 1.4,
"status": "partial",
"details": [
{
"code": "contributors_sampled",
"params": {
"count": 1
}
}
],
"max_points": 13.5
},
{
"key": "openssf_scorecard_contributors",
"name": "OpenSSF Scorecard: Contributors",
"detail": "project has 1 contributing companies or organizations -- score normalized to 3",
"points": 3,
"status": "partial",
"details": [],
"max_points": 10
}
]
},
{
"key": "responsiveness",
"band": "critical",
"name": "Issue & PR responsiveness",
"note": "Excluded from scoring (no data or not applicable): Issue resolution, PR acceptance. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"issue_resolution",
"pr_acceptance"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 1,
"inputs": {
"merged_prs": 0,
"open_issues": 0,
"closed_issues": 0,
"issue_closed_ratio": null,
"closed_unmerged_prs": 0
},
"components": [
{
"key": "issue_resolution",
"name": "Issue resolution",
"detail": "no issues or no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_issues_or_data",
"params": {}
}
],
"max_points": 46.75
},
{
"key": "pr_acceptance",
"name": "PR acceptance",
"detail": "no decided pull requests or no data",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_decided_prs_or_data",
"params": {}
}
],
"max_points": 38.25
},
{
"key": "openssf_scorecard_code_review",
"name": "OpenSSF Scorecard: Code-Review",
"detail": "Found 0/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
}
]
},
{
"key": "stewardship",
"band": "moderate",
"name": "Ownership & stewardship",
"note": "Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"verified_domain"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 52,
"inputs": {
"followers": 32,
"owner_type": "User",
"is_verified": null,
"owner_login": "sthamann",
"public_repos": 14,
"account_age_days": 5639
},
"components": [
{
"key": "ownership_backing",
"name": "Ownership backing",
"detail": "personal (user) account",
"points": 10,
"status": "partial",
"details": [
{
"code": "owner_personal",
"params": {}
}
],
"max_points": 30
},
{
"key": "verified_domain",
"name": "Verified domain",
"detail": "not applicable to user accounts",
"points": 0,
"status": "excluded",
"details": [
{
"code": "not_applicable_to_user_accounts",
"params": {}
}
],
"max_points": 20
},
{
"key": "owner_reach",
"name": "Owner reach",
"detail": "32 followers of sthamann",
"points": 10.9,
"status": "partial",
"details": [
{
"code": "owner_followers",
"params": {
"count": 32,
"login": "sthamann"
}
}
],
"max_points": 25
},
{
"key": "track_record",
"name": "Track record",
"detail": "14 public repos, account ~15 yr old",
"points": 20.6,
"status": "partial",
"details": [
{
"code": "public_repos",
"params": {
"count": 14
}
},
{
"code": "account_age_years",
"params": {
"years": 15
}
}
],
"max_points": 25
}
]
}
],
"description": "Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?"
},
{
"key": "engineering",
"band": "excellent",
"name": "Engineering Quality",
"value": 88,
"weight": 0.2,
"metrics": [
{
"key": "engineering_practices",
"band": "good",
"name": "Engineering practices",
"note": "Excluded from scoring (no data or not applicable): OpenSSF Scorecard: CI-Tests. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"openssf_scorecard_ci_tests"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 80,
"inputs": {
"has_ci": true,
"has_tests": true,
"has_editorconfig": false,
"has_linter_config": true,
"has_precommit_config": false
},
"components": [
{
"key": "ci_workflows",
"name": "CI workflows",
"detail": "7 workflow(s)",
"points": 24,
"status": "met",
"details": [
{
"code": "ci_workflows",
"params": {
"count": 7
}
}
],
"max_points": 24
},
{
"key": "tests_present",
"name": "Tests present",
"detail": null,
"points": 24,
"status": "met",
"details": [],
"max_points": 24
},
{
"key": "linter_config",
"name": "Linter config",
"detail": "eslint.config.mjs",
"points": 16,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"max_points": 16
},
{
"key": "pre_commit_hooks",
"name": "Pre-commit hooks",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 9.6
},
{
"key": "editorconfig",
"name": ".editorconfig",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 6.4
},
{
"key": "openssf_scorecard_ci_tests",
"name": "OpenSSF Scorecard: CI-Tests",
"detail": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 20
}
]
},
{
"key": "documentation",
"band": "excellent",
"name": "Documentation",
"note": null,
"notes": [],
"value": 100,
"inputs": {
"topics": [
"cosmology",
"latex",
"lean4",
"mathematical-physics",
"nextjs",
"particle-physics",
"python",
"reproducible-research",
"standard-model",
"theoretical-physics"
],
"has_wiki": true,
"homepage": "https://www.fixpoint-theory.com/",
"has_readme": true,
"has_docs_dir": true,
"has_description": true
},
"components": [
{
"key": "readme",
"name": "README",
"detail": null,
"points": 30,
"status": "met",
"details": [],
"max_points": 30
},
{
"key": "documentation_directory",
"name": "Documentation directory",
"detail": null,
"points": 25,
"status": "met",
"details": [],
"max_points": 25
},
{
"key": "documentation_homepage_site",
"name": "Documentation / homepage site",
"detail": "https://www.fixpoint-theory.com/",
"points": 15,
"status": "met",
"details": [],
"max_points": 15
},
{
"key": "repository_description",
"name": "Repository description",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "topics",
"name": "Topics",
"detail": "10 topics",
"points": 10,
"status": "met",
"details": [
{
"code": "topics_count",
"params": {
"count": 10
}
}
],
"max_points": 10
},
{
"key": "wiki",
"name": "Wiki",
"detail": null,
"points": 10,
"status": "met",
"details": [],
"max_points": 10
}
]
}
],
"description": "Are baseline engineering and documentation practices in place?"
},
{
"key": "security",
"band": "critical",
"name": "Security",
"value": 25,
"weight": 0.16,
"metrics": [
{
"key": "security_posture",
"band": "critical",
"name": "Security posture",
"note": "Excluded from scoring (no data or not applicable): CI-Tests, Signed-Releases. Remaining weights renormalized.",
"notes": [
{
"code": "excluded_no_data",
"params": {
"components": [
"ci_tests",
"signed_releases"
]
}
},
{
"code": "weights_renormalized",
"params": {}
}
],
"value": 25,
"inputs": {
"source": "openssf_scorecard",
"checks_evaluated": 16,
"scorecard_version": "v5.5.0",
"checks_inconclusive": 2,
"scorecard_aggregate": 2.4
},
"components": [
{
"key": "binary_artifacts",
"name": "Binary-Artifacts",
"detail": "no binaries found in the repo",
"points": 7.5,
"status": "met",
"details": [],
"max_points": 7.5
},
{
"key": "branch_protection",
"name": "Branch-Protection",
"detail": "branch protection not enabled on development/release branches",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "ci_tests",
"name": "CI-Tests",
"detail": "no pull request found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 2.5
},
{
"key": "cii_best_practices",
"name": "CII-Best-Practices",
"detail": "no effort to earn an OpenSSF best practices badge detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "code_review",
"name": "Code-Review",
"detail": "Found 0/30 approved changesets -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "contributors",
"name": "Contributors",
"detail": "project has 1 contributing companies or organizations -- score normalized to 3",
"points": 0.8,
"status": "partial",
"details": [],
"max_points": 2.5
},
{
"key": "dangerous_workflow",
"name": "Dangerous-Workflow",
"detail": "no dangerous workflow patterns detected",
"points": 10,
"status": "met",
"details": [],
"max_points": 10
},
{
"key": "dependency_update_tool",
"name": "Dependency-Update-Tool",
"detail": "no update tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "fuzzing",
"name": "Fuzzing",
"detail": "project is not fuzzed",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "license",
"name": "License",
"detail": "license file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 2.5
},
{
"key": "maintained",
"name": "Maintained",
"detail": "project was created within the last 90 days. Please review its contents carefully",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "packaging",
"name": "Packaging",
"detail": "packaging workflow detected",
"points": 5,
"status": "met",
"details": [],
"max_points": 5
},
{
"key": "pinned_dependencies",
"name": "Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "sast",
"name": "SAST",
"detail": "no SAST tool detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "security_policy",
"name": "Security-Policy",
"detail": "security policy file not detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 5
},
{
"key": "signed_releases",
"name": "Signed-Releases",
"detail": "no releases found",
"points": 0,
"status": "excluded",
"details": [
{
"code": "no_data",
"params": {}
}
],
"max_points": 7.5
},
{
"key": "token_permissions",
"name": "Token-Permissions",
"detail": "detected GitHub workflow tokens with excessive permissions",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
},
{
"key": "vulnerabilities",
"name": "Vulnerabilities",
"detail": "17 existing vulnerabilities detected",
"points": 0,
"status": "missed",
"details": [],
"max_points": 7.5
}
]
},
{
"key": "high_risk_jurisdiction_exposure",
"band": "excellent",
"name": "High-Risk Jurisdiction Exposure",
"note": "Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.",
"notes": [
{
"code": "jurisdiction_evidence_limits",
"params": {}
}
],
"value": 100,
"inputs": {
"meaning": "self-published location evidence; not nationality or citizenship",
"red_flag": false,
"exposures": [],
"policy_countries": [
"Russia",
"Iran",
"North Korea"
],
"review_only_matches": 0,
"assessed_self_published_locations": 2
},
"components": [
{
"key": "policy_exposure_multiplier",
"name": "Policy exposure multiplier",
"detail": "no confirmed policy-scope location match",
"points": 100,
"status": "met",
"details": [
{
"code": "jurisdiction_no_match",
"params": {}
}
],
"max_points": 100
}
]
}
],
"description": "Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure?"
},
{
"key": "ai_readiness",
"band": "moderate",
"name": "AI Readiness",
"value": 69,
"weight": 0,
"metrics": [
{
"key": "ai_agent_context",
"band": "excellent",
"name": "Agent context & guidance",
"note": null,
"notes": [],
"value": 85,
"inputs": {
"has_llms_txt": false,
"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": 6123
},
"components": [
{
"key": "agent_instructions",
"name": "Agent instructions",
"detail": ".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",
"points": 45,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"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"
}
}
],
"max_points": 45
},
{
"key": "machine_readable_docs_llms_txt",
"name": "Machine-readable docs (llms.txt)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 15
},
{
"key": "legible_commit_history",
"name": "Legible commit history",
"detail": "99 of 100 human commits state their intent (structured subject or explanatory body)",
"points": 40,
"status": "met",
"details": [
{
"code": "legible_history",
"params": {
"legible": 99,
"sampled": 100
}
}
],
"max_points": 40
}
]
},
{
"key": "ai_verify_loop",
"band": "moderate",
"name": "Verify loop (build / test / typecheck)",
"note": null,
"notes": [],
"value": 64,
"inputs": {
"has_nix": false,
"has_tests": true,
"lockfiles": [
"package-lock.json"
],
"has_dockerfile": true,
"typed_language": false,
"bootstrap_files": [],
"has_devcontainer": true,
"has_linter_config": true,
"typecheck_configs": [
"video/tsconfig.json",
"website/tsconfig.json"
],
"agent_commit_share": 0.85,
"toolchain_manifests": [],
"dependency_bot_commit_share": 0
},
"components": [
{
"key": "one_command_bootstrap",
"name": "One-command bootstrap",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 18
},
{
"key": "automated_tests",
"name": "Automated tests",
"detail": null,
"points": 22,
"status": "met",
"details": [],
"max_points": 22
},
{
"key": "lint_format_config",
"name": "Lint / format config",
"detail": "eslint.config.mjs",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "eslint.config.mjs"
}
}
],
"max_points": 11
},
{
"key": "static_type_checking",
"name": "Static type checking",
"detail": "video/tsconfig.json, website/tsconfig.json",
"points": 11,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "video/tsconfig.json, website/tsconfig.json"
}
}
],
"max_points": 11
},
{
"key": "reproducible_environment",
"name": "Reproducible environment",
"detail": "devcontainer, Dockerfile, lockfile",
"points": 10,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "devcontainer, Dockerfile, lockfile"
}
}
],
"max_points": 10
},
{
"key": "demonstrated_agent_practice",
"name": "Demonstrated agent practice",
"detail": "85 of the last 100 commits agent-authored or agent-credited",
"points": 10,
"status": "met",
"details": [
{
"code": "agent_authored_commits",
"params": {
"count": 85,
"sampled": 100
}
}
],
"max_points": 10
},
{
"key": "automated_maintenance",
"name": "Automated maintenance",
"detail": "no automated dependency updates observed",
"points": 0,
"status": "missed",
"details": [
{
"code": "no_dependency_automation",
"params": {}
}
],
"max_points": 8
},
{
"key": "openssf_scorecard_pinned_dependencies",
"name": "OpenSSF Scorecard: Pinned-Dependencies",
"detail": "dependency not pinned by hash detected -- score normalized to 0",
"points": 0,
"status": "missed",
"details": [],
"max_points": 10
}
]
},
{
"key": "ai_code_legibility",
"band": "good",
"name": "Code legibility for models",
"note": null,
"notes": [],
"value": 82,
"inputs": {
"primary_language": "Python",
"largest_source_bytes": 2472348,
"source_files_sampled": 1559,
"oversized_source_files": 14
},
"components": [
{
"key": "type_checkable_code",
"name": "Type-checkable code",
"detail": "Python with type-check config (video/tsconfig.json, website/tsconfig.json)",
"points": 27,
"status": "partial",
"details": [
{
"code": "typecheck_config_language",
"params": {
"files": "video/tsconfig.json, website/tsconfig.json",
"language": "Python"
}
}
],
"max_points": 45
},
{
"key": "manageable_file_sizes",
"name": "Manageable file sizes",
"detail": "14/1559 source files over 60KB",
"points": 54.5,
"status": "partial",
"details": [
{
"code": "oversized_source_files",
"params": {
"kb": 60,
"sampled": 1559,
"oversized": 14
}
}
],
"max_points": 55
}
]
},
{
"key": "ai_interfaces",
"band": "at_risk",
"name": "Machine-readable interfaces",
"note": null,
"notes": [],
"value": 40,
"inputs": {
"example_dirs": [
"notebooks"
],
"has_mcp_signal": false,
"api_schema_files": []
},
"components": [
{
"key": "api_schema_openapi_graphql_proto",
"name": "API schema (OpenAPI/GraphQL/proto)",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 40
},
{
"key": "mcp_server",
"name": "MCP server",
"detail": null,
"points": 0,
"status": "missed",
"details": [],
"max_points": 20
},
{
"key": "runnable_examples",
"name": "Runnable examples",
"detail": "notebooks",
"points": 40,
"status": "met",
"details": [
{
"code": "file_list",
"params": {
"files": "notebooks"
}
}
],
"max_points": 40
}
]
}
],
"description": "How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score."
}
],
"metrics_version": "1.13.0"
},
"warnings": [
"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"
],
"report_type": "repository",
"generated_at": "2026-07-21T15:52:14.867790Z",
"schema_version": "0.23.0",
"badge_url": "https://raw.githubusercontent.com/inspect-software/badges/main/v1/s/sthamann/tfpt.svg",
"full_name": "sthamann/tfpt",
"license_state": "absent",
"license_spdx": null
}
Пов’язані записи
Перевірені репозиторії, що мають спільні каталожні теги або екосистеми з sthamann/tfpt. Читати поруч →
Оцінки — це сигнали, а не гарантії. Вони відображають публічно видимі практики на GitHub — це не аудит коду й не гарантія безпеки.
Відсутні дані виключаються, а ваги перенормовуються — нуль за відсутність ніколи не ставиться. Методологія версіонована й відкрита: метрики v1.13.0, схема v0.23.0 — повна методологія · вікі метрик.
Як окремий результат виглядає на тлі всього реєстру: сукупна статистика.
