# EFMW in this room

EFMW is Matthew Chenoweth Wright's research program, associated in his project
vocabulary with Einstein–Feynman–Maxwell–Wright and entangled field memory waves.
Its recurring interests include memory, recurrence, coherence, proposed field
dynamics, computational monitoring and formal methods. This page introduces the
work represented by the room's symbols. It does not establish a physical theory.

## Four different kinds of work

| Kind | What would count as support | What does not substitute for it |
|---|---|---|
| Proposed physics | Defined quantities, consistent equations, distinguishable predictions and suitable empirical tests | Visual resemblance, conversational success or a theorem about a different model |
| Formal mathematics | Kernel-checked statements whose definitions and assumptions match the intended claim | Decorative code, theorem counts alone or an unexecuted file |
| Computational monitoring | Executed implementations, specified datasets and baselines, held-out evaluation and reported failures | A compelling anecdote or stability of an internal score |
| Interpretation and art | A clear account that a reader can inspect and contest | Claims of measured physical causality |

These activities can inform each other. Their evidence does not transfer
automatically. A proven safety invariant in an abstract protocol is not a
measurement of an informational field in nature.

## What the inspected project sources say

The [EFMW front door](https://github.com/enuminous/EFMW) identifies a frozen review
target, `Monolithic-102-Zoo-Lean4` at commit
`01f51acb0b0e564105dcf7f14cc55998d41b91ce`. Its inventory distinguishes 53
structural encodings, 15 analytic models, one partial specialization and 33 open
analytic entries. These are that snapshot's categories, not a count of confirmed
physical discoveries. It limits the stated ME-003 specialization to a flat
Minkowski setting. It also distinguishes an experimental recurrent-vector
software prototype from evidence of truth, consciousness or physical law.

The [EFMW Lagrangian repository](https://github.com/enuminous/EFMW-Lagrangian)
describes a candidate C1 action and 585 displayed statements. Its account
distinguishes matched scalar magnitudes under explicit assumptions from potential
sign differences and incomplete gauge/gravity equivalences. The stated 720 scalar
certificates concern derivative magnitudes and sign nonidentity; they are not 720
independent laws of nature. Continuum results carry analytic hypotheses. A
complete physical interpretation is outside those formal checks.

The [Monolithic Zoo Lean repository](https://github.com/enuminous/Monolithic-Zoo-Lean4)
formalizes selected kernels and contracts. It does not claim a complete translation
of every Python behavior. Its historical animal roster, extension models and
individual obligations must be read separately. The carved animals in the room
point toward this practice of asking different diagnostic questions. They do
not report that an audit was executed here.

The [Boardy–Monolithic reference study](https://github.com/enuminous/Boardy-Monolithic-Lean4-Zoo)
offers a useful concrete contrast: a state-machine theorem has a defined subject.
Its assumptions about authentication, delivery and faithful extraction of events
matter to what the result means. The historical study retained in that repository
is an independent reference protocol, not Boardy's deployed implementation.
See the pinned historical study in [SOURCES.md](SOURCES.md); do not mistake it for
the repository's later replay-protection extension.

These descriptions are based on inspected source documents listed with blob
identifiers in [SOURCES.md](SOURCES.md). **No external Lean build, EFMW benchmark,
or physics experiment was executed while assembling Dude Physics.**

## Recursion in the actual exchange

The observable sequence is: personal context informs a generated room; the room
is inventoried; the inventory's rug description evokes a cultural reference;
Matthew names the event; the exchange becomes the subject of a repository.

Later turns reuse earlier products as context. That is a sensible descriptive
use of recursion. Establishing a special EFMW mechanism would require an explicit
operational definition and discriminating evidence. Neither is supplied by this
single conversation. The room's resemblance to themes in the research is an
interpretation, not an experimental result.

## A possible future study, not a result

If someone wanted to study this class of conversational event, they could define
an outcome such as recognition of a previously unrequested cultural association,
preserve complete prompts and outputs, vary context, and compare against
conventional association models. They would need to predefine the scoring rule,
avoid counting only entertaining successes, and distinguish recognition from
agreement. A physical-field hypothesis would require additional physical
observables and predictions.

This repository implements none of that experiment. Its interactive claim check
is a fixed educational classifier, not an EFMW engine or a scientific instrument.

## The useful habit

The amber UNRESOLVED sign is a good emblem for the research practice represented
here. Keep a proposal available for work while stating what is missing. Let a
theorem be a theorem about its model. Let an experiment carry its limitations.
Let a joke stay funny without demanding that nature ratify it.