Ingetrokken eMudhra-certificaten blijven in omloop; uv koppelt typechecking aan projectomgevingen

Volgens een scan op 23 oktober boden 156 Indiase overheidsdomeinen nog een ingetrokken eMudhra-certificaat aan; Firefox en Chromium-gebaseerde browsers kunnen daar verschillend op reageren. Intussen maakt Astral typechecking met ty experimenteel onderdeel van de uv-workflow, inclusief per-scriptomgevingen voor PEP 723-metadata.

Ingetrokken eMudhra-certificaten nog zichtbaar bij Indiase overheidsdomeinen

De eMudhra-affaire krijgt een concreet operationeel vervolg. Een onafhankelijke onderzoeker controleerde op 23 oktober 8.947 hosts uit de Indiase overheidsdirectory IGOD en rapporteert dat 156 daarvan nog een op 19 oktober ingetrokken eMudhra-certificaat aanboden. Het gaat volgens de auteur om certificaten uit de RSA-hiërarchie die eMudhra als superseded heeft ingetrokken wegens een ontbrekende policy-OID.

Dat volgt op de namiddagupdate van dinsdag 20 oktober, over de gecompromitteerde eMudhra-intermediates, en de namiddagupdate van donderdag 22 oktober, toen de CA zijn vertrek uit de wereldwijde TLS-markt aankondigde. Nieuw is hier niet alleen een overstapplan, maar zichtbare restimpact bij concrete sites — en een verschil in revocation-afhandeling: de auteur schrijft dat Firefox via CRLite deze certificaten weigert, terwijl Chrome, Edge en Android ze in zijn test nog wel openden omdat hun CRLSet deze reeks niet bevatte. Safari zou alleen bij EV-certificaten OCSP controleren.

Dat zijn bevindingen uit één scan en één browsercontrole, geen audit van alle betrokken sites of browsers. Voor beheerders met eMudhra-certificaten blijft de les wel praktisch: controleer niet alleen de eigen certificaatinventaris en vervangingsstatus, maar test vanaf echte clients of een ingetrokken certificaat nog wordt aangeboden en hoe de relevante browsers daarop reageren.

Onderzoek met hostlijst, CRL-verwijzingen en browservergelijking · Lobsters-discussie

uv en ty delen voortaan experimenteel één projectbeeld

Astral heeft een experimentele koppeling tussen uv en typechecker/language server ty uitgebracht. De kern is dat ty de door uv bekende Pythonversie, dependencies en workspaceconfiguratie gebruikt. Voor PEP 723-scripts betekent dat dat ty de inline metadata in ieder script leest en daarvoor een afzonderlijke omgeving kan laten voorbereiden — zowel voor CLI-typechecks als editorfuncties zoals completions, hoverinformatie en Go to Definition.

Daarbovenop komt uv check: een nieuw commando dat de projectomgeving voorbereidt en vervolgens ty uitvoert. Het kan een package of volledige workspace controleren; voor losse scripts bestaat uv check --script. De gebruikte ty-versie komt uit de uv-lockfile, zodat ontwikkelaars en CI niet los een tweede versiepin hoeven te beheren. Dit vraagt minimaal uv 0.12.3 en ty 0.0.76.

Dat is vooral relevant voor repositories met kleine scripts naast gewone packages: de editor hoeft dan niet langer op een handmatig aangemaakte virtuele omgeving te gokken. De automatisering is bewust nog opt-in wanneer ty voor een script dependencies moet installeren, omdat installatie code van derden kan uitvoeren. Ook is dit een preview, geen afgeronde standaardtoolchain: Astral wil later Ruff toevoegen aan uv check, terwijl ty zelfstandig bruikbaar blijft. Test daarom editorgedrag, lockfile-updates en CI in een bestaande repository voordat je een los typecheckcommando vervangt.

Astral over PEP 723, uv check en de opt-in-grens · HN-discussie

Verder nog

• Red-green-invalidation als bouwsteen voor interactieve tooling: een technische uitleg werkt een Salsa-achtig computation graph uit waarin alleen mutabele inputs externe verandering binnenbrengen; pure berekeningen worden gememoized en via verified-at-, changed-at-revisies en afhankelijkheden opnieuw gevalideerd. Zo kan een compiler of language server bij een wijziging ongewijzigde parse- en typecheckstappen overslaan. Het is een ontwerp- en implementatieuitleg, geen nieuwe standaard of prestatiemeting; de waarde zit in de helder afgebakende dataflow voor eigen tooling. Uitleg met voorbeeldgraph · Lobsters-discussie