RRLS: relations, rewrites & phase / Note

RRLS exact-cover lift: exclusivity, certificates, and a measured limit

Reference05 Sept 2026 · saved

The archived source is available to read.

01 / THE QUESTION

Source passage

The target was to restore the exact-cover constraints that a parity-only representation discards, then determine whether the resulting algebraic lift rejects additional impossible matchings with independently checkable evidence.

02 / WHAT THE RECORD SAYS

Source passage

The missing exclusivity constraints produced a demonstrable improvement: 71 to 400 refutations in the selected no-instance sample, including 30 cases beyond the tested field and LP relaxations.

03 / LIMITS & OPEN POINTS

Source passage

The 500-instance sample is deliberately conditioned on pairwise feasibility and truth value; it is not a population prevalence estimate or a reproduction of the attachment's unavailable 1,000-instance dataset.

04 / THE NEXT QUESTION

Editorial guide

Which further certificate types, beyond the degree-2 lift and the single modular rule, cover obstructions like the order-eight cyclic table, and at what discoverable cost?

05 / CHECKS IN THE RECORD

Source passage

The new runner tries the cheap cyclic-sum certificate first, then parity degree 1 and bounded exclusivity lifts. Its default maximum degree is 2. Optional exact boundary solving supplies a checked SAT or UNSAT result when the filters leave the instance unresolved. A SAT result includes the decoded selected triples.

Read this passage in context →

Source & provenance

Access: Public
Dates declared in the record: Not recorded
Project basis: Editorial topic association
Origin: d0re research collection (snapshot 1 October 2026)
Original path: /The Theory of Reality/RRLS_EXCLUSIVITY_LIFT.md
Authorship basis: Collection attribution; original record retains its own credits
Title basis: From the source
Date: 05 Sept 2026 · saved
Status basis: No later record in the corpus replaces it; r-90009b9e2f31 concludes "These results justify adding the tested operators to the engine."
Size: 17,043 bytes
Word count: 2,499 words
SHA-256 of indexed source: 90009b9e2f31eef8559e8378e9d6cd895969cc0165abd51aaf03ee2fce24da11

Open the source file ↗

View citation

RRLS exact-cover lift: exclusivity, certificates, and a measured limit
2026-09-05
d0re research record r-90009b9e2f31
https://www.d0re.com/library/records/r-90009b9e2f31.html
Authorship basis: Collection attribution; original record retains its own credits
Date basis: saved
Source SHA-256: 90009b9e2f31eef8559e8378e9d6cd895969cc0165abd51aaf03ee2fce24da11