libxml-rs 0.1.0-alpha.41

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; 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 ABI-FUNCTION-SIGNATURE plane (SOURCE_PROTOTYPE + MACHINE_ABI fingerprints, zero silent omissions); Phase-12 real downstream substitution (binary/static/docker substitution, export-surface disposition, ELF version graphs); Phase-13 hostile audit courts (ABI/ownership/allocator/callbacks/failure/threads/oracle-contamination) byte-identical vs the system oracle incl. the upstream thread-local globals model; Phase-14 downstream custodian validation courts (lxml/Nokogiri/PHP/Debian). Test counts live in atlas/TEST_COUNTS.json, residuals in atlas/RESIDUAL_LEDGER.json (generated evidence).
Documentation
/**
 * @file
 *
 * Regular expression API for libxml-rs
 *
 * Stub header — functions will be implemented in future phases.
 */

#ifndef __XML_XMLREGEXP_H__
#define __XML_XMLREGEXP_H__

#include <libxml/xmlversion.h>
#include <stdio.h>
#include <libxml/xmlstring.h>

#ifdef __cplusplus
extern "C" {
#endif

/* Functions will be declared here as they are implemented. */




































































































/* [11.1-G] begin: extracted verbatim from upstream oracle header */
typedef struct _xmlRegExecCtxt xmlRegExecCtxt;

typedef struct _xmlRegexp xmlRegexp;

/* [11.1-G] end: extracted definitions */

/* [13.1] begin: regexp handle pointer typedefs (HOSTILE-FAILURE F8 closure)
 *
 * Phase 13 (HOSTILE-FAILURE F8): the oracle xmlregexp.h declares the
 * `xmlRegexpPtr`/`xmlRegExecCtxtPtr` handle typedefs, and hostile consumers
 * use them as return values of xmlRegexpCompile() & co; the candidate
 * exported the functions but the drop-in headers did not declare the
 * pointer aliases. Extracted verbatim from the upstream oracle header.
 */
typedef xmlRegexp *xmlRegexpPtr;

typedef xmlRegExecCtxt *xmlRegExecCtxtPtr;
/* [13.1] end: regexp handle pointer typedefs */

/* Callback type used by xmlRegNewExecCtxt (upstream xmlregexp.h) */
typedef void (*xmlRegExecCallbacks) (xmlRegExecCtxt *exec,
	                             const xmlChar *token,
				     void *transdata,
				     void *inputdata);

/* [11.1-S] begin: oracle-extracted declarations
 * Extracted verbatim from the upstream headers (11.1-S header-surface
 * audit: every function the oracle headers declare must be declared by the
 * drop-in headers — the source-compatibility contract. Signatures are the upstream ABI contract.
 */
XMLPUBFUN int xmlRegExecErrInfo (xmlRegExecCtxt *exec, const xmlChar **string, int *nbval, int *nbneg, xmlChar **values, int *terminal);
XMLPUBFUN int xmlRegExecNextValues(xmlRegExecCtxt *exec, int *nbval, int *nbneg, xmlChar **values, int *terminal);
XMLPUBFUN int xmlRegExecPushString(xmlRegExecCtxt *exec, const xmlChar *value, void *data);
XMLPUBFUN int xmlRegExecPushString2(xmlRegExecCtxt *exec, const xmlChar *value, const xmlChar *value2, void *data);
XMLPUBFUN void xmlRegFreeExecCtxt (xmlRegExecCtxt *exec);
XMLPUBFUN void xmlRegFreeRegexp(xmlRegexp *regexp);
XMLPUBFUN xmlRegExecCtxt * xmlRegNewExecCtxt (xmlRegexp *comp, xmlRegExecCallbacks callback, void *data);
XMLPUBFUN xmlRegexp * xmlRegexpCompile (const xmlChar *regexp);
XMLPUBFUN int xmlRegexpExec (xmlRegexp *comp, const xmlChar *value);
XMLPUBFUN int xmlRegexpIsDeterminist(xmlRegexp *comp);
XMLPUBFUN void xmlRegexpPrint (FILE *output, xmlRegexp *regexp);
/* [11.1-S] end: oracle-extracted declarations */

#ifdef __cplusplus
}
#endif

#endif /* __XML_XMLREGEXP_H__ */