--  Copyright © 2026 Lingenic LLC. All rights reserved.
--  Licensed under the Lingenic Source-Available License v2.3.
--  Production use requires a separate license from Licensor.
--  See LICENSE.md and COPYRIGHT in the project root.
--

-------------------------------------------------------------------------------
--  Lingenic-Text
--  Formally Verified Unicode Text Processing Library
--
--  Properties ghost specification.
--
--  Pure package that owns UCD property type definitions shared between
--  Properties and other modules.  Having a Pure spec companion keeps
--  dependency arrows pointing the right way: IDNA_Spec (and any future
--  consumer) depends on Properties_Spec, never the reverse.
-------------------------------------------------------------------------------

package Lingenic_Text.Properties_Spec
   with SPARK_Mode, Pure
is

   ---------------------------------------------------------------------------
   --  Joining_Type values (DerivedJoiningType.txt)
   ---------------------------------------------------------------------------

   JT_U : constant := 0;  --  Non_Joining (default)
   JT_L : constant := 1;  --  Left_Joining
   JT_R : constant := 2;  --  Right_Joining
   JT_D : constant := 3;  --  Dual_Joining
   JT_C : constant := 4;  --  Join_Causing
   JT_T : constant := 5;  --  Transparent

   subtype JT_Value is Natural range 0 .. 5;

end Lingenic_Text.Properties_Spec;