# Primary sources and inspection record

Inspected **2026-11-07** through the connected GitHub source reader. These are
project-authored descriptions, not independent empirical validation. Blob hashes
identify the inspected file contents; a blob hash is not a repository commit.
Links to default branches may change after this inspection.

| Source | Inspected file | Git blob SHA |
|---|---|---|
| [EFMW](https://github.com/enuminous/EFMW/blob/main/README.md) | `README.md` | `0dfe70d7974d930462ea44cd94d3cedebc228e6e` |
| [EFMW Lagrangian](https://github.com/enuminous/EFMW-Lagrangian/blob/main/README.md) | `README.md` | `243ab3403603a175f526748b10004b900bd4cb9a` |
| [Monolithic Zoo Lean4](https://github.com/enuminous/Monolithic-Zoo-Lean4/blob/main/README.md) | `README.md` | `b7a891d417ad7d79043f9f6e61c9aec596bc2c48` |
| [Boardy–Monolithic historical study](https://github.com/enuminous/Boardy-Monolithic-Lean4-Zoo/blob/f12fcbe20c772063cb84f764473199a2d83e9414/study/STUDY.md) | `study/STUDY.md` at commit `f12fcbe20c772063cb84f764473199a2d83e9414` | `50fbdf2c0a72b627d44bfeddb7965d4ab89e8cec` |

## Relevant scope

**EFMW front door.** Identifies a frozen review target with separate structural,
analytic, partial and open categories. The research prototype described there
does not establish consciousness or physical law. Its stated frozen target is
[Monolithic-102-Zoo-Lean4 at 01f51acb](https://github.com/enuminous/Monolithic-102-Zoo-Lean4/tree/01f51acb0b0e564105dcf7f14cc55998d41b91ce).
This is a source-reported target, not an additional build performed for this archive.

**Lagrangian.** The README explicitly separates scalar checks from missing
gauge/gravity bridges and other analytic/physical obligations. Its counts should
retain their declared unit: statements or certificates, not experimentally
established laws.

**Zoo.** Selected operational contracts and kernels have formal representations.
The documentation's limits on Python translation and on extension-model coverage
are material. The original repository's `verify.py` is a static check, not a Lean
execution. That script is different from this repository's package validator.

**Boardy study.** The pinned file is the preserved historical reference study.
Later repository additions address consent-message replay and provide a
conversation simulation. The historical study is cited here for its scope and
trust-boundary discussion, not as the final replay-protection specification.
No claim is made about Boardy's proprietary deployed system.

## Conversation and artwork

The other primary materials are the user-supplied room, generated image,
preserved image instruction, 72-entry inventory and the exchange documented in
[EMERGENT_DUDEISM.md](EMERGENT_DUDEISM.md). The user recognized *The Big Lebowski*
association. No movie still, poster, screenplay or soundtrack is included.

This archive offers a literary account, not a film-history or religious-history
survey. “Dudeism” here follows Matthew's phrase; no affiliation with a Dudeist
organization is claimed.

## Execution boundary

Source inspection is not reproduction. No external EFMW, Zoo, Lagrangian or
Boardy Lean command was executed for this package. Only the local package commands
listed in [VERIFICATION.md](VERIFICATION.md) were run for Dude Physics.