Further progress on generalizing generalizations

src/core/anticipation+aviation-core.scala

@@ -27,7 +27,7 @@ package instantApi:
       type Source = Long
       type Result = Long
       type Domain = Instants
-      export Timing.Instant.generic.{generalization, specialization}
+      export Timing.Instant.generic.{generalization, apply}
 
 package durationApi:
   given aviationDuration: Timing.Duration is GenericDuration & SpecificDuration =

src/core/aviation.LocalTime.scala

@@ -23,7 +23,7 @@ import java.time as jt
 
 object LocalTime:
   given generic: RomanCalendar => LocalTime is Abstractable across Instants into Long =
-    _.instant.abstraction
+    _.instant.generic
 
 case class LocalTime(date: Date, time: Clockface, timezone: Timezone):
   def instant(using RomanCalendar): Instant =

src/core/aviation.Timing.scala

@@ -40,13 +40,13 @@ object Timing:
         type Source = Long
         type Result = Long
         type Domain = Instants
-        def specialization(long: Long): Timing.TaiInstant = long
+        def apply(long: Long): Timing.TaiInstant = long
         def generalization(instant: Timing.TaiInstant): Long = instant
 
 
   object Instant:
     def apply[InstantType: Abstractable across Instants into Long](instant: InstantType): Instant =
-      of(instant.abstraction)
+      of(instant.generic)
 
     erased given underlying: Underlying[Instant, Long] = ###
     def of(millis: Long): Instant = millis
@@ -58,7 +58,7 @@ object Timing:
         type Result = Long
         type Source = Long
         type Domain = Instants
-        def specialization(long: Long): Timing.Instant = long
+        def apply(long: Long): Timing.Instant = long
         def generalization(instant: Timing.Instant): Long = instant
 
     inline given orderable: Instant is Orderable: