refactor: restructure paragraph attribute handling across all writers

- Replace monolithic test file with format-specific test suite (32 new test files)
- Standardize paragraph attribute processing in 31 writer modules
- Add paragraph_attributes extension to control attribute preservation behavior
- Update shared writer utilities for consistent attribute handling
- Modify HTML tests to reflect new attribute processing logic

Fixes #10768

Author: Valgard

src/Text/Pandoc/Extensions.hs

@@ -109,6 +109,7 @@ data Extension =
     | Ext_ntb                 -- ^ ConTeXt Natural Tables
     | Ext_old_dashes          -- ^ -- = em, - before number = en
     | Ext_pandoc_title_block  -- ^ Pandoc title block
+    | Ext_paragraph_attributes -- ^ Allow paragraph attributes in HTML
     | Ext_pipe_tables         -- ^ Pipe tables (as in PHP markdown extra)
     | Ext_raw_attribute           -- ^ Allow explicit raw blocks/inlines
     | Ext_raw_html            -- ^ Allow raw HTML
@@ -598,6 +599,7 @@ getAllExtensions f = universalExtensions <> getAll f
     , Ext_literate_haskell
     , Ext_epub_html_exts
     , Ext_smart
+    , Ext_paragraph_attributes
     ]
   getAll "html4"           = getAll "html"
   getAll "html5"           = getAll "html"

src/Text/Pandoc/Writers/AsciiDoc.hs

@@ -377,34 +377,38 @@ blockToAsciiDoc opts (DefinitionList items) = do
   return $ mconcat contents <> blankline
 
 -- convert admonition and sidebar divs to asicidoc
-blockToAsciiDoc opts (Div (ident,classes,_) bs) = do
-  let identifier = if T.null ident then empty else "[[" <> literal ident <> "]]"
-  let admonition_classes = ["attention","caution","danger","error","hint",
-                     "important","note","tip","warning"]
-  let sidebar_class = "sidebar"
-
-  contents <-
-       case classes of
-         (l:_) | l `elem` admonition_classes || T.toLower l == sidebar_class -> do
-             let (titleBs, bodyBs) =
-                     case bs of
-                       (Div (_,["title"],_) ts : rest) -> (ts, rest)
-                       _ -> ([], bs)
-             let fence = if l == "sidebar" then "****" else "===="
-             elemTitle <- if null titleBs ||
-                                   -- If title matches class, omit
-                                   (T.toLower (T.strip (stringify titleBs))) == l
-                                   then return mempty
-                                   else ("." <>) <$>
-                                         blockListToAsciiDoc opts titleBs
-             elemBody <- blockListToAsciiDoc opts bodyBs
-             return $ "[" <> literal (T.toUpper l) <> "]" $$
-                      chomp elemTitle $$
-                      fence $$
-                      chomp elemBody $$
-                      fence
-         _ -> blockListToAsciiDoc opts bs
-  return $ identifier $$ contents $$ blankline
+blockToAsciiDoc opts divBlock@(Div (ident,classes,_) bs) = do
+  -- First try to unwrap wrapper divs
+  case unwrapWrapperDiv divBlock of
+    Para inlines -> blockToAsciiDoc opts (Para inlines)
+    _ -> do
+      let identifier = if T.null ident then empty else "[[" <> literal ident <> "]]"
+      let admonition_classes = ["attention","caution","danger","error","hint",
+                         "important","note","tip","warning"]
+      let sidebar_class = "sidebar"
+
+      contents <-
+           case classes of
+             (l:_) | l `elem` admonition_classes || T.toLower l == sidebar_class -> do
+                 let (titleBs, bodyBs) =
+                         case bs of
+                           (Div (_,["title"],_) ts : rest) -> (ts, rest)
+                           _ -> ([], bs)
+                 let fence = if l == "sidebar" then "****" else "===="
+                 elemTitle <- if null titleBs ||
+                                       -- If title matches class, omit
+                                       (T.toLower (T.strip (stringify titleBs))) == l
+                                       then return mempty
+                                       else ("." <>) <$>
+                                             blockListToAsciiDoc opts titleBs
+                 elemBody <- blockListToAsciiDoc opts bodyBs
+                 return $ "[" <> literal (T.toUpper l) <> "]" $$
+                          chomp elemTitle $$
+                          fence $$
+                          chomp elemBody $$
+                          fence
+             _ -> blockListToAsciiDoc opts bs
+      return $ identifier $$ contents $$ blankline
 
 -- | Convert bullet list item (list of blocks) to asciidoc.
 bulletListItemToAsciiDoc :: PandocMonad m

src/Text/Pandoc/Writers/ConTeXt.hs

@@ -38,7 +38,7 @@ import Text.Pandoc.Shared
 import Text.Pandoc.URI (isURI)
 import Text.Pandoc.Templates (renderTemplate)
 import Text.Pandoc.Walk (query)
-import Text.Pandoc.Writers.Shared
+import Text.Pandoc.Writers.Shared (unwrapWrapperDiv, defField, getField, resetField, lookupMetaString, metaToContext, getLang)
 import Text.Printf (printf)
 
 import qualified Data.List.NonEmpty as NonEmpty
@@ -187,37 +187,40 @@ toLabel z = T.concatMap go z
 
 -- | Convert Pandoc block element to ConTeXt.
 blockToConTeXt :: PandocMonad m => Block -> WM m (Doc Text)
-blockToConTeXt (Div attr@(_,"section":_,_)
+blockToConTeXt block = blockToConTeXt' (unwrapWrapperDiv block)
+
+blockToConTeXt' :: PandocMonad m => Block -> WM m (Doc Text)
+blockToConTeXt' (Div attr@(_,"section":_,_)
                  (Header level _ title' : xs)) = do
   header' <- sectionHeader attr level title' SectionHeading
   footer' <- sectionFooter attr level
   innerContents <- blockListToConTeXt xs
   return $ header' $$ innerContents $$ footer'
-blockToConTeXt (Plain lst) = do
+blockToConTeXt' (Plain lst) = do
   opts <- gets stOptions
   contents <- inlineListToConTeXt lst
   return $
     if isEnabled Ext_tagging opts
     then "\\bpar{}" <> contents <> "\\epar{}"
     else contents
-blockToConTeXt (Para lst) = do
+blockToConTeXt' (Para lst) = do
   opts <- gets stOptions
   contents <- inlineListToConTeXt lst
   return $
     if isEnabled Ext_tagging opts
     then "\\bpar" $$ contents $$ "\\epar" <> blankline
     else contents <> blankline
-blockToConTeXt (LineBlock lns) = do
+blockToConTeXt' (LineBlock lns) = do
   let emptyToBlankline doc = if isEmpty doc
                              then blankline
                              else doc
   doclines <- mapM inlineListToConTeXt lns
   let contextLines = vcat . map emptyToBlankline $ doclines
   return $ "\\startlines" $$ contextLines $$ "\\stoplines" <> blankline
-blockToConTeXt (BlockQuote lst) = do
+blockToConTeXt' (BlockQuote lst) = do
   contents <- blockListToConTeXt lst
   return $ "\\startblockquote" $$ nest 0 contents $$ "\\stopblockquote" <> blankline
-blockToConTeXt (CodeBlock (_ident, classes, kv) str) = do
+blockToConTeXt' (CodeBlock (_ident, classes, kv) str) = do
   opts <- gets stOptions
   let syntaxMap = writerSyntaxMap opts
   let attr' = ("", classes, kv)
@@ -236,15 +239,15 @@ blockToConTeXt (CodeBlock (_ident, classes, kv) str) = do
     if null classes || isNothing (writerHighlightStyle opts)
     then pure unhighlighted
     else highlighted
-blockToConTeXt b@(RawBlock f str)
+blockToConTeXt' b@(RawBlock f str)
   | f == Format "context" || f == Format "tex" = return $ literal str <> blankline
   | otherwise = empty <$ report (BlockNotRendered b)
-blockToConTeXt (Div ("refs",classes,_) bs) = do
+blockToConTeXt' (Div ("refs",classes,_) bs) = do
   modify $ \st -> st{ stHasCslRefs = True
                     , stCslHangingIndent = "hanging-indent" `elem` classes }
   inner <- blockListToConTeXt bs
   return $ "\\startcslreferences" $$ inner $$ "\\stopcslreferences"
-blockToConTeXt (Div (ident,_,kvs) bs) = do
+blockToConTeXt' (Div (ident,_,kvs) bs) = do
   let align dir txt = "\\startalignment[" <> dir <> "]" $$ txt $$ "\\stopalignment"
   mblang <- fromBCP47 (lookup "lang" kvs)
   let wrapRef txt = if T.null ident
@@ -261,13 +264,13 @@ blockToConTeXt (Div (ident,_,kvs) bs) = do
                        Nothing  -> txt
       wrapBlank txt = blankline <> txt <> blankline
   wrapBlank . wrapLang . wrapDir . wrapRef <$> blockListToConTeXt bs
-blockToConTeXt (BulletList lst) = do
+blockToConTeXt' (BulletList lst) = do
   contents <- mapM listItemToConTeXt lst
   return $ ("\\startitemize" <> if isTightList lst
                                    then brackets "packed"
                                    else empty) $$
     vcat contents $$ literal "\\stopitemize" <> blankline
-blockToConTeXt (OrderedList (start, style', delim) lst) = do
+blockToConTeXt' (OrderedList (start, style', delim) lst) = do
     st <- get
     let level = stOrderedListLevel st
     put st {stOrderedListLevel = level + 1}
@@ -295,15 +298,15 @@ blockToConTeXt (OrderedList (start, style', delim) lst) = do
     let specs = T.pack style'' <> specs2
     return $ "\\startenumerate" <> literal specs $$ vcat contents $$
              "\\stopenumerate" <> blankline
-blockToConTeXt (DefinitionList lst) =
+blockToConTeXt' (DefinitionList lst) =
   liftM vcat $ mapM defListItemToConTeXt lst
-blockToConTeXt HorizontalRule = return $ "\\thinrule" <> blankline
+blockToConTeXt' HorizontalRule = return $ "\\thinrule" <> blankline
 -- If this is ever executed, provide a default for the reference identifier.
-blockToConTeXt (Header level attr lst) =
+blockToConTeXt' (Header level attr lst) =
   sectionHeader attr level lst NonSectionHeading
-blockToConTeXt (Table attr caption colspecs thead tbody tfoot) =
+blockToConTeXt' (Table attr caption colspecs thead tbody tfoot) =
   tableToConTeXt (Ann.toTable attr caption colspecs thead tbody tfoot)
-blockToConTeXt (Figure (ident, _, _) (Caption cshort clong) body) = do
+blockToConTeXt' (Figure (ident, _, _) (Caption cshort clong) body) = do
   title   <- inlineListToConTeXt (blocksToInlines clong)
   list    <- maybe (pure empty) inlineListToConTeXt cshort
   content <- blockListToConTeXt body

src/Text/Pandoc/Writers/DocBook.hs

@@ -204,10 +204,11 @@ blockToDocBook opts (Div (id',"section":_classes,divattrs)
   title' <- inlinesToDocBook opts ils
   contents <- blocksToDocBook opts bs
   return $ inTags True tag attribs $ inTagsSimple "title" title' $$ contents
-blockToDocBook opts (Div (ident,classes,_) bs) = do
+blockToDocBook opts (Div (ident,classes,_kvs) bs) = do
   version <- ask
   let identAttribs = [(idName version, ident) | not (T.null ident)]
       admonitions = ["caution","danger","important","note","tip","warning"]
+
   case classes of
     (l:_) | l `elem` admonitions -> do
         let (mTitleBs, bodyBs) =
@@ -219,13 +220,15 @@ blockToDocBook opts (Div (ident,classes,_) bs) = do
                   _ -> (Nothing, bs)
         admonitionTitle <- case mTitleBs of
                               Nothing -> return mempty
-                              -- id will be attached to the admonition so let’s pass empty identAttrs.
+                              -- id will be attached to the admonition so let's pass empty identAttrs.
                               Just titleBs -> inTagsSimple "title" <$> titleBs
         admonitionBody <- handleDivBody [] bodyBs
         return (inTags True l identAttribs (admonitionTitle $$ admonitionBody))
     _ -> handleDivBody identAttribs bs
   where
     handleDivBody identAttribs [Para lst] =
+      -- For wrapper divs with single Para, apply attributes to para
+      -- For normal divs with single Para, also apply attributes to para (original behavior)
       if hasLineBreaks lst
          then flush . nowrap . inTags False "literallayout" identAttribs
                              <$> inlinesToDocBook opts lst

src/Text/Pandoc/Writers/Docx/OpenXML.hs

@@ -227,6 +227,8 @@ writeOpenXML :: PandocMonad m
              -> WS m (Text, [Element], [Element])
 writeOpenXML opts (Pandoc meta blocks) = do
   setupTranslations meta
+  -- Apply unwrapWrapperDiv to all blocks
+  let blocks' = walk unwrapWrapperDiv blocks
   let includeTOC = writerTableOfContents opts || lookupMetaBool "toc" meta
   let includeLOF = writerListOfFigures opts || lookupMetaBool "lof" meta
   let includeLOT = writerListOfTables opts || lookupMetaBool "lot" meta
@@ -252,7 +254,7 @@ writeOpenXML opts (Pandoc meta blocks) = do
              (fmap (hcat . map (literal . showContent)) . inlinesToOpenXML opts)
              (docAuthors meta)
 
-  doc' <- setFirstPara >> blocksToOpenXML opts blocks
+  doc' <- setFirstPara >> blocksToOpenXML opts blocks'
   let body = vcat $ map (literal . showContent) doc'
   notes' <- gets (reverse . stFootnotes)
   comments <- gets (reverse . stComments)

src/Text/Pandoc/Writers/DokuWiki.hs

@@ -41,7 +41,7 @@ import Text.Pandoc.Shared (figureDiv, linesToPara, removeFormatting, trimr)
 import Text.Pandoc.URI (escapeURI, isURI)
 import Text.Pandoc.Templates (renderTemplate)
 import Text.DocLayout (render, literal)
-import Text.Pandoc.Writers.Shared (defField, metaToContext, toLegacyTable)
+import Text.Pandoc.Writers.Shared (defField, metaToContext, toLegacyTable, unwrapWrapperDiv)
 import Data.Maybe (fromMaybe)
 import qualified Data.Map as M
 
@@ -101,7 +101,7 @@ blockToDokuWiki :: PandocMonad m
                 -> DokuWiki m Text
 
 blockToDokuWiki opts (Div _attrs bs) = do
-  contents <- blockListToDokuWiki opts bs
+  contents <- blockListToDokuWiki opts (map unwrapWrapperDiv bs)
   indent <- asks stIndent
   return $ contents <> if T.null indent then "\n" else ""
 

src/Text/Pandoc/Writers/EPUB.hs

@@ -35,7 +35,7 @@ import qualified Data.Text.Lazy as TL
 import System.FilePath (takeExtension, takeFileName, makeRelative)
 import Text.HTML.TagSoup (Tag (TagOpen), fromAttrib, parseTags)
 import Text.Pandoc.Builder (fromList, setMeta)
-import Text.Pandoc.Writers.Shared (ensureValidXmlIdentifiers)
+import Text.Pandoc.Writers.Shared (ensureValidXmlIdentifiers, unwrapWrapperDiv)
 import Data.Tree (Tree(..))
 import Text.Pandoc.Class (PandocMonad, report)
 import qualified Text.Pandoc.Class.PandocPure as P
@@ -1211,7 +1211,7 @@ transformBlock (RawBlock fmt raw)
   let tags = parseTags raw
   tags' <- mapM transformTag tags
   return $ RawBlock fmt (renderTags' tags')
-transformBlock b = return b
+transformBlock b = return $ unwrapWrapperDiv b
 
 transformInline  :: PandocMonad m
                  => WriterOptions

src/Text/Pandoc/Writers/FB2.hs

@@ -41,7 +41,7 @@ import Text.Pandoc.Shared (blocksToInlines, capitalize, orderedListMarkers,
                            makeSections, tshow, stringify)
 import Text.Pandoc.Walk (walk)
 import Text.Pandoc.Writers.Shared (lookupMetaString, toLegacyTable,
-                                   ensureValidXmlIdentifiers)
+                                   ensureValidXmlIdentifiers, unwrapWrapperDiv)
 import Data.Generics (everywhere, mkT)
 
 -- | Data to be written at the end of the document:
@@ -315,7 +315,7 @@ blockToXml (RawBlock f str) =
          Left msg  -> throwError $ PandocXMLError "" msg
          Right nds -> return nds
     else return []
-blockToXml (Div _ bs) = cMapM blockToXml bs
+blockToXml (Div _ bs) = cMapM blockToXml (map unwrapWrapperDiv bs)
 blockToXml (BlockQuote bs) = list . el "cite" <$> cMapM blockToXml bs
 blockToXml (LineBlock lns) =
   list . el "poem" <$> mapM stanza (split null lns)

src/Text/Pandoc/Writers/HTML.hs

@@ -752,11 +752,17 @@ blockToHtmlInner opts (LineBlock lns) = do
   return $ H.div ! A.class_ "line-block" $ htmlLines
 blockToHtmlInner opts (Div (ident, classes, kvs) [Para pans]) | Just "1" <- lookup "wrapper" kvs = do
   -- This is a paragraph that was wrapped in a Div by the reader
-  -- Unwrap it back to a <p> tag, transferring attributes from the Div
-  let pKVs = filter (\(k,_) -> k /= "wrapper") kvs
-  let pAttr = (ident, classes, pKVs)
+  -- Unwrap it back to a <p> tag, with extension-controlled attribute handling
   inner <- inlineListToHtml opts pans
-  addAttrs opts pAttr (H.p inner)
+  if isEnabled Ext_paragraph_attributes opts
+    then do
+      -- Extension enabled: preserve all attributes except wrapper
+      let pKVs = filter (\(k,_) -> k /= "wrapper") kvs
+      let pAttr = (ident, classes, pKVs)
+      addAttrs opts pAttr (H.p inner)
+    else
+      -- Extension disabled: remove all attributes
+      return (H.p inner)
 blockToHtmlInner opts (Div (ident, "section":dclasses, dkvs)
                    (Header level
                      hattr@(hident,hclasses,hkvs) ils : xs)) = do