Skip to content

IMPLEMENTATION.md

Latest commit

 

History

History
18 lines (14 loc) · 741 Bytes

IMPLEMENTATION.md

File metadata and controls

18 lines (14 loc) · 741 Bytes
Raw

cli — implementation map

The functor DESIGN.md ("Categorical model") → code. Model-first (FRAMEWORK §6.1 / HANDOFF §7.2 step 2): this component has no categorical model yet, so this map holds only the crate root. Rows are added WITH the model and the code, in the same change (FRAMEWORK §6.3).

Objects (Dat) → code

Object Form / shape Realized at State
crate root stub crates/mapal-cli/src/main.rs planned

Morphisms (Trn / relations) → code

None mapped — awaits DESIGN.md's ## Categorical model (Dat + Trn) section (ADR-0014); writing that model is the first step of this component's increment.

Notes / divergences

None — no code beyond the stub.