# Rug Theory

**SATIRE — fictional laws, fictional disciplinary terminology, no physical predictions.**

## Abstract

We introduce the rug as a candidate mediator between the left-hand library and
the right-hand recording studio. Its principal observable is that people keep
mentioning it. After an exhaustive investigation consisting of looking at the
picture again, we conclude that further sitting is required.

## The Rug Principle

A sufficiently well-positioned rug can cause a room to be described as
“together,” even when its occupants are pursuing several incompatible deadlines.

This principle has not been quantified. The measuring tape is under a manuscript.

## Five laws of Dude Physics

1. **Conservation of unfinished projects.** Moving a manuscript from the desk to
   the chair changes its location without reducing the amount of work remaining.
2. **Spontaneous symmetry lounging.** An empty chair permits many possible
   sitting orientations. Occupancy chooses one and calls the others theoretical.
3. **The uncertainty of the patch cable.** The better you know which socket a
   cable leaves, the more likely its destination is behind the synthesizer.
4. **The monolith boundary condition.** A black rectangular object increases the
   apparent seriousness of everything within three feet. It does not repair a proof.
5. **The rug's right of refusal.** A carpet may connect a room aesthetically while
   declining responsibility for its owner's theory of the universe.

## The rug field equation

```text
Status: UNRESOLVED
Reason: This is a rug.
Next action: Put the kettle on; label the conjecture.
```

The absence of an equation here is deliberate. A decorative equation would make
the page look more scientific without making it more informative. Readers who
require a tensor may consult the chalkboard, which has also declined peer review.

## Proposed apparatus

| Instrument | Intended measurement | Actual outcome |
|---|---|---|
| Armillary sphere | The location of everything | Looks excellent on the desk |
| Proof screen | Whether a theorem follows from its premises | Requires an actual source file and Lean run |
| Mixing console | Signal levels | Has no jurisdiction over ontology |
| Monolith | Gravitas | Abundant; uncalibrated |
| Rug | Floor coverage | Present in the image |
| Amber sign | Open questions | UNRESOLVED |

## Peer review

**Reviewer 1:** The proposal mistakes interior design for a fundamental interaction.

**Authors:** Accepted. Classification changed to interior design.

**Reviewer 2:** Please compare against the bare-floor baseline.

**Authors:** Both images are included. They differ in many objects, so the
comparison cannot isolate a causal rug effect.

**Reviewer 3:** The number 66 appears to have been selected after looking at the list.

**Authors:** Correct. It is an inventory identifier, not a dimensionless constant.

**Reviewer 4:** This paper could be shorter.

**Authors:** A recurring concern throughout the corpus.

## Closing the fictional seminar

The rug cannot validate EFMW. It cannot authenticate a consent message. It cannot
turn an unexecuted Lean file into a verified proof. It can participate in a good
picture and a better joke, which is already a respectable afternoon's work.

**End of satire.** For actual claim boundaries, see [EFMW.md](EFMW.md) and
[CLAIMS.md](CLAIMS.md).