A traversal, compression, and proof method
Z-15 is a semantic compression and proof protocol under active benchmark. Current public artifacts include simulated micro-benchmark outputs and traceable proof scaffolding. Frontier-scale claims require replication. Falsification is invited.
Z-15 forces a formal system off its centroid by handing it terrain it has not absorbed, extracts the load-bearing sentence from the response, discards everything else, and applies pressure against that sentence recursively until the system surfaces a new derivation, a foundational falsity, an undecidable, or the shape of a missing foundation. Independently, the gap-finder traverses literature outward until a branch produces two consecutive empties, at which point a structural gap is recorded as a candidate, not a finding.
simulated Micro-benchmark outputs on a 125 KB synthetic API-doc corpus, March 2026. Token reduction and val-loss delta recorded; not yet independently replicated.
unproven Compute reduction at frontier scale. The historical 40-75% range and the 38-42% runtime range are unproven projections; they are not asserted as measurements.
public-safe Z-15 has never been independently benchmarked. The proof engine is under construction. Benchmark and falsification are invited.