Module catalog 

Progressive disclosure and the truncation lock (crates/runtime/Spec.lean §8-60, §8-61). Only what this session can actually reach is listed — admission is the caller’s evidence: the assembler registers the tools a building’s vocation, rules and book allow, and reads each building’s reading room off its city::policy rules. Of what is admitted, the mode’s core travels as tools; the rest is one line each in the dormant index, and a run fetches a guide with describe and runs a dormant tool through call.

tool_defs is the single source of ChatRequest.tools: a tool absent here and absent from the dormant index does not exist for the model.

Structs

Catalog

CatalogEntry

One disclosed row: “what it is + when to use it” resident-side, the “how to use it” expansion fetched on demand.

SkillPin

One skill a run was dispatched with, pinned to the bytes it read.

Enums

Expansion

What a second-level disclosure turns out to be.

Constants

DORMANT_INDEX_CEILING

The most bytes the dormant index may take, header and +N more line included, whatever the building admits (runtime D19).