STATO MISURATO

Numeri, non promesse.

Copertura: · sviluppo:

2.649

test del corpus Zend superati

82%

della libreria standard core

30.472

test WordPress single-site a parità effettiva

31.278

test WordPress multisite a parità effettiva

La copertura globale è stata misurata il 30 luglio 2026; lo stato dell'integrazione server è aggiornato al 31 luglio 2026, commit e5c9cf5. Vedi la copertura ↗

IL CONTRATTO

Compatibile nel comportamento. Libero nell'implementazione.

Il riferimento non è il design di Zend, ma l'output prodotto dal codice PHP. Il corpus ufficiale .phpt e le suite applicative reali diventano oracoli eseguibili per chiudere ogni differenza.

Fedele

Type juggling, errori, warning, stack trace e casi limite vengono confrontati byte per byte con PHP.

Fondazioni più sicure

Ownership, tipi e strutture dati Rust sostituiscono molta della gestione manuale della memoria del core C.

Direzione residente

Esiste un server compatibile; ogni worker Axum mantiene ora un’arena locale al thread ed esegue il lifecycle esplicito. Ogni richiesta riceve ancora una VM nuova; il riuso della stessa VM resta sotto gate.

ARCHITETTURA

Una sola VM di produzione.

Il sorgente attraversa una pipeline esplicita: parser, rappresentazioni intermedie, compilazione bytecode e dispatch della VM.

Pipeline: sorgente PHP, parser mago, AST e HIR, bytecode, VM.

«Corretto oppure assente».

Una funzione che restituisce risultati plausibili ma sbagliati è peggiore di una funzione mancante. Un builtin viene registrato soltanto dopo la verifica del comportamento.

PARTECIPA

Ogni test chiuso rende PHP più reale.

Scegli un test .phpt, un gate del ciclo di richiesta o un caso applicativo, riproduci il comportamento dell'oracolo e chiudi la differenza senza regressioni.

Come contribuire Issue GitHub ↗