LinearClosureMorphismNC now does a cheap assertion

Author: mohamed-barakat

LinearClosuresForCAP/PackageInfo.g

@@ -10,7 +10,7 @@ SetPackageInfo( rec(
 
 PackageName := "LinearClosuresForCAP",
 Subtitle := "Linear closures",
-Version := "2025.08-04",
+Version := "2025.09-01",
 Date := (function ( ) if IsBound( GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE ) then return GAPInfo.SystemEnvironment.GAP_PKG_RELEASE_DATE; else return Concatenation( ~.Version{[ 1 .. 4 ]}, "-", ~.Version{[ 6, 7 ]}, "-01" ); fi; end)( ),
 License := "GPL-2.0-or-later",
 

LinearClosuresForCAP/gap/LinearClosure.gi

@@ -354,12 +354,17 @@ end );
 InstallOtherMethodForCompilerForCAP( LinearClosureMorphismNC,
                                      [ IsLinearClosure, IsLinearClosureObject, IsList, IsList, IsLinearClosureObject ],
   function( category, source, coefficients, support_morphisms, range )
+    local underlying_category;
+    
+    underlying_category := UnderlyingCategory( category );
+    
+    #% CAP_JIT_DROP_NEXT_STATEMENT
+    Assert( 0, ForAll( support_morphisms, mor -> IsIdenticalObj( CapCategory( mor ), underlying_category ) ) );
 
     return CreateCapCategoryMorphismWithAttributes( category,
-        source, range,
-        CoefficientsList, coefficients,
-        SupportMorphisms, support_morphisms
-    );
+                   source, range,
+                   CoefficientsList, coefficients,
+                   SupportMorphisms, support_morphisms );
 
 end );