-- Profile Specification for M2KR4R

package Identity_Details is

type Artistic_Field is (Photographer_Fine_Art, Photographer_Portrait, Photographer_Street); type Skill_Level is (Artist, Composer, Enthusiast, Coder);

-- Primary Identity Configuration Identity : constant String := "System_Engineering_Enthusiast, Monolith_Artist";

-- Photography Profile package Photography is Category : constant array (1 .. 3) of Artistic_Field := (Photographer_Fine_Art, Photographer_Portrait, Photographer_Street); Status : constant Skill_Level := Artist; end Photography;

-- Music Profile / Hobby package Music is Role : constant Skill_Level := Composer; Sub_Type : constant String := "Hobby_Piano_Soundscapes"; end Music;

-- Development / Coding Hobby package Development is Status : constant Skill_Level := Coder; Mode : constant String := "Hobby_System_Engineering"; end Development;

private -- Internal state remains hidden pragma SPARK_Mode (Off); end Identity_Details;