← Research programsVERIFIED MECHANISMCompression & Representation

A Provenance-Routed Regenerative Object Codec

The fold/2 P/D/M/R/G representation system with exact proof and fallback

General-purpose compression assumes that an object is primarily a byte sequence. Many modern objects also have recoverable context: a prior version, a shared dictionary, an exact source, a deterministic generator, a model that emitted the sequence, a procedural recipe, or a lineage graph. Treating every such object as context-free bytes discards information that can be used for storage, transmission, regeneration, and random access. Treating generation as proof, however, risks silent drift and dependency laundering.

Object-Oriented Compression (OOC), serialized as fold/2, is a proof-bound meta-codec for objects with provenance. It selects among five routes:

  • P: proven conventional fallback;
  • D: dictionary/reference/delta conditioned;
  • M: model-conditioned lossless;
  • R: exact deterministic regeneration;
  • G: regeneration plus exact residual.

Every route declares dependencies, accounting mode, exact content identity, representation identity, sealed layers, proof, and fallback. The encoder must decode and digest-verify its own output before sealing. The decoder fails closed or follows a declared fallback ladder. A spatial address may guide locality but never determines identity.

The current proof deck establishes several mechanisms: exact arithmetic and text round trips, boundary verification, corruption refusal, conditioned sample behavior, recipe regeneration, exact residual correction, and seed-drift sensitivity. It does not prove a new general-purpose compressor. The strongest research target is narrower: generated, versioned, related, and structured objects for which provenance creates recoverable redundancy.

Current evidence state

VERIFIED_MECHANISM

This label describes the strongest public-safe state of the specific paper claims. Open the paper's claim ledger for claim-level distinctions and limitations.

Publication

  • Full paper: /papers/p10-ooc-fold2
  • Claim ledger: content/papers/p10-ooc-fold2/claim-ledger.json
  • Source manifest: content/papers/p10-ooc-fold2/source-manifest.json
  • Diagrams: 4
  • Approximate body length: 1,884 words

Demonstrations

  • d04-fold2-proof-deck

Benchmarks

  • b02-fold2-codec-laboratory

Public boundary

The research entry publishes a public-safe architecture and evidence record. It does not grant implementation rights or expose restricted claim-ready material.