The room
Four shelves, one table, a board for undefined words
The room after the morning sweep, before the first desk hour.
| Shelf | What is filed | Who usually asks for it |
|---|---|---|
| Runtime and clients | Client release notes, feature-gate lists, and margin comparisons between clients the shelf is tracking | Validator operators |
| Accounts and tokens | Token-program changes and Token-2022 extension tabs, including empty tabs that record a look-up with nothing to apply | Program authors |
| Fees and compute | Compute-budget notes, priority-fee descriptions, and default flags called out in a release | Readers tuning transaction settings |
| Governance | SIMD drafts and the definition lists left by Thursday circles | Readers preparing a board or a study group |
Daytime hours
The room is open Tuesday to Saturday, 10:00–18:00, for reserved desk hours and briefings. Sunday and Monday the door stays shut so the annotations can be filed. If you arrive without a reservation, the duty librarian will offer the next open hour rather than squeeze a chair beside someone else’s papers.
While you are in the room
Binders return to the shelf they came from. Cups stay on the sideboard, away from the note tables. Pencils are on the tray; ink stays in your own notebook if you brought one. A quiet voice is enough for a short question. Longer explanations move to a booked briefing so the other table can keep reading.
Finding the door
Street: 140 Yeonji 3-gil전북특별자치도 정읍시 연지3길 140(연지동); City: Jeongeup-si전북특별자치도; State/province/area: North Jeolla; Phone number: 0428239887; Zip code: 56160; Country calling code: +82; Country: Korea
Phone: 0428239887
Circles on the board
| Date | Document | Seat |
|---|---|---|
| 1 October 2026 19:00–20:15 |
Reading a feature-gate list beside a client release | 8 seats · 45,000 KRW |
| 5 November 2026 19:00–20:15 |
Token-2022 extensions a program author meets in account data | 8 seats · 45,000 KRW |
| 3 December 2026 19:00–20:15 |
Stake-account wording for readers who brief a board | 8 seats · 45,000 KRW |