libxml-rs 0.1.0-alpha.37

Native-Rust forensic reimplementation of libxml2+libxslt with C ABI drop-in replacement. Cross-version oracle matrix (libxml2 2.7.8-2.15.3, libxslt 1.1.26-1.1.45) with semantic epochs correlated to upstream commits; full xmllint/xmlcatalog/xsltproc CLIs; differential-court-verified C API closure; three-DSO ELF packaging (libxml2.so.16 core + libxslt.so.1/libexslt.so.0 facades, upstream NEEDED chain); fail-closed oracle-isolated function-signature ABI plane (SOURCE_PROTOTYPE + MACHINE_ABI fingerprints, zero silent omissions) and the libc default allocator (ALLOCATOR-DEFAULT-001) verified byte-identical; proof-scoped safety commentary (0 unaccounted unsafe sites); residual ledger 79 FIXED / 3 OPEN; 1183 tests passing.
Documentation
1
2
3
4
5
6
7
8
9
//! Platform-specific behavior (§61, §85 Phase 11).
//!
//! Phase 0: scaffolded.
//!
//! The real documentation for platform behavior lives in the evidence
//! atlas: `atlas/PLATFORM_SURFACE_ATLAS.md` (and its generated JSON),
//! which classifies every upstream platform-conditioned family and records
//! the bounded-execution obligation R-000168 (surface completeness vs.
//! runtime execution coverage).