Topological Fixed-Point Theory: a machine-checked discrete compiler for the Standard Model, α⁻¹, and cosmology from two axioms. Papers, verification suite (Python/Wolfram/Lean), experiments & website.
sthamann/tfpt holds a health index of 41 out of 100, placing it in the At risk band. It scores highest on Engineering Quality (88/100) and lowest on Sustainability & Governance (21/100). It was last updated today. A single contributor accounts for most of its recent work.
41
overall / 100
At risk
Software health index
Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At risk ceiling of 49. AI Readiness sits outside the overall score.
41
Excellent85-100Exemplary; meets essentially all checked criteria
Good70-84Healthy; minor gaps
Moderate50-69Acceptable with notable gaps; review recommended
At risk30-49Significant weaknesses; adoption warrants caution
Critical1-29Severe problems (abandoned, single-maintainer, no hygiene)
Score profile
Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.
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.
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
More detail
Star and fork history 715 ★ / 2 ⇿
715Stars
2Forks
When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.
OpenSSF Scorecard 2.4 / 10
2.4aggregate
Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).Scorecard v5.5.0 · 2026-07-21 15:51 UTC
The resolved dependency set could not be collected for this report: GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository
Raw JSON report machine-readable
{
"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
}
Related records
Inspected repositories sharing catalogue tags or ecosystems with sthamann/tfpt. Read them side by side →
Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.
Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v1.13.0, schema v0.23.0 — full methodology · metrics wiki.
