Repository navigation
AssertLedger 2.0.3
AssertLedger 2.0.3 réduit le coût des témoins exécutés en conteneur.
- Sur le témoin Bun mesuré sous Windows avec Docker natif dans WSL, la médiane passe de 419,722 s à 130,577 s, soit 3,214× plus rapide, sur trois exécutions avant et trois après. Les six verdicts sont
VERIFIED, avec des observations identiques et des replays valides. - Les lancements du runtime passent de 217 à 40 grâce à une connexion de contrôle
system dial-stdioqualifiée. Les archives sont compressées et leurs octets immuables peuvent être conservés dans une campagne, jusqu’à 32 MiB. ASSERTLEDGER_RUNTIME_TRACEfournit des durées par phase et conteneur.--container-transport cli|stdiopermet un choix explicite.
Les tentatives, sondes, contrôles, plafonds, workspaces et volumes neufs, réseau désactivé, racine en lecture seule et vérification de l’image sont préservés. Aucun cache du contrôle préalable ni concurrence d’exécution n’est ajouté. Le gain annoncé concerne le témoin et les conditions documentés.
npm install --save-dev assertledger@2.0.3Le tarball joint est celui testé et publié. Les pièces jointes distinguent les preuves de l’optimisation, les métadonnées de release, les CI, le paquet et l’installation depuis le registre public. Les limites de preuve restent explicites ; les schémas et projections de digest ne changent pas.