RRLS: relations, rewrites & phase / Report

RRLS v0.20 — Structural × Algebraic Tractability Map

Earlier indexed version05 Sept 2026 · saved

The archived source is available to read.

01 / THE QUESTION

Editorial guide

Does a SAT instance become easy through its constraint algebra, its interaction structure, or both, and where do random 3-SAT instances fall?

02 / WHAT THE RECORD SAYS

Editorial guide

Bounded-window 3-SAT solved structurally at width 4; pigeonhole and 3-XOR solved algebraically despite wide structure; every tested random 3-SAT instance stayed UNKNOWN.

03 / LIMITS & OPEN POINTS

Source passage

So both of RRLS's obvious static escape directions are already deeply classified.

04 / THE NEXT QUESTION

Editorial guide

Can irreducible expander cores be mined for global instance-specific quotients (matroid, cut/flow, spectral, tensor) that are exact and polynomial?

05 / CHECKS IN THE RECORD

Editorial guide

This record does not separate a verification section. Read its methods, assumptions and original source before treating a claim as checked.

Previous connections

RRLS v0.19 — Adaptive Feature Algebraseries order (mechanical)

Following connections

RRLS v0.24 — Universal-Cycle Tomography & Resonant Collision Engineseries order (mechanical)

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_v20_STRUCTURAL_ALGEBRA_REPORT.md
Authorship basis: Collection attribution; original record retains its own credits
Title basis: From the source
Date: 05 Sept 2026 · saved
Status basis: mechanical v0: a later release exists in rrls-studio
Size: 14,307 bytes
Word count: 1,713 words
SHA-256 of indexed source: 18ea45e87f1a93dca5d53cc811a75b6c62c37fae66b73947f2525d59f4e905e4

Open the source file ↗

View citation

RRLS v0.20 — Structural × Algebraic Tractability Map
Version 0.20
2026-09-05
d0re research record r-18ea45e87f1a
https://www.d0re.com/library/records/r-18ea45e87f1a.html
Authorship basis: Collection attribution; original record retains its own credits
Date basis: saved
Source SHA-256: 18ea45e87f1a93dca5d53cc811a75b6c62c37fae66b73947f2525d59f4e905e4