Fix unnecessary bullet points for single extensions in HTML docs (#936)

## Summary
Fixes issue #927 
where single extension definitions were showing unnecessary bullet
points in the HTML documentation's "Defining Extension" section.

## Problem
- Single extensions like `definedBy: Sm` were displaying as `• Sm,
version >= 1.11.0` with unwanted bullet points
- This made the documentation look cluttered for simple cases where only
one extension is involved
- Multiple extensions correctly needed bullets, but single ones should
appear clean

## Solution
- Modified `to_asciidoc` method in `req_expression.rb` to detect simple
single extensions at root level
- Added `is_simple_single_extension?()` helper to identify when bullets
aren't needed
- Added `to_asciidoc_no_bullet()` method for clean formatting of single
extensions
- Preserved existing bullet behavior for complex multi-extension
conditions (allOf, anyOf, etc.)

## Testing
- Single extensions now display cleanly: `Sm, version >= 1.11.0`
- Multiple extensions maintain proper structure with bullets
- No regression in complex extension requirement formatting

## Impact
- Improves readability of HTML documentation for CSRs with single
defining extensions
- Maintains backward compatibility for all existing complex extension
definitions

Ready for Review @ThinkOpenly @dhower-qc 

Fixes #927

---------

Signed-off-by: Sukuna0007Abhi <[email protected]>
Signed-off-by: GitHub <[email protected]>

Author: Sukuna0007Abhi

backends/instructions_appendix/all_instructions.golden.adoc

@@ -3812,11 +3812,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** D, version >= [email protected]
-*** Zcd, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** D, version >= [email protected]
+* Zcd, version >= [email protected]
 
 
 [#udb:doc:inst:c_fldsp]
@@ -3850,11 +3850,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** D, version >= [email protected]
-*** Zcd, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** D, version >= [email protected]
+* Zcd, version >= [email protected]
 
 
 [#udb:doc:inst:c_flw]
@@ -3889,11 +3889,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** F, version >= [email protected]
-*** Zcf, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** F, version >= [email protected]
+* Zcf, version >= [email protected]
 
 
 [#udb:doc:inst:c_flwsp]
@@ -3927,11 +3927,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** F, version >= [email protected]
-*** Zcf, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** F, version >= [email protected]
+* Zcf, version >= [email protected]
 
 
 [#udb:doc:inst:c_fsd]
@@ -3966,11 +3966,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** D, version >= [email protected]
-*** Zcd, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** D, version >= [email protected]
+* Zcd, version >= [email protected]
 
 
 [#udb:doc:inst:c_fsdsp]
@@ -4004,11 +4004,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** D, version >= [email protected]
-*** Zcd, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** D, version >= [email protected]
+* Zcd, version >= [email protected]
 
 
 [#udb:doc:inst:c_fsw]
@@ -4043,11 +4043,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** F, version >= [email protected]
-*** Zcf, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** F, version >= [email protected]
+* Zcf, version >= [email protected]
 
 
 [#udb:doc:inst:c_fswsp]
@@ -4081,11 +4081,11 @@ Decode Variables::
 |===
 
 Included in::
-* anyOf:
-*** allOf:
-***** C, version >= [email protected]
-***** F, version >= [email protected]
-*** Zcf, version >= [email protected]
+anyOf:
+* allOf:
+** C, version >= [email protected]
+** F, version >= [email protected]
+* Zcf, version >= [email protected]
 
 
 [#udb:doc:inst:c_j]
@@ -46326,10 +46326,10 @@ Decode Variables::
 |===
 
 Included in::
-* allOf:
-*** Zbb, version >= [email protected]
-*** not:
-***** Zbkb, version >= [email protected]
+allOf:
+* Zbb, version >= [email protected]
+* not:
+** Zbkb, version >= [email protected]
 
 
 [#udb:doc:inst:zip]

tools/ruby-gems/udb/lib/udb/req_expression.rb

@@ -151,23 +151,49 @@ def flat_versions
     end
   end
 
+  sig { params(cond: T.any(String, T::Hash[String, T.untyped], T::Array[T.untyped])).returns(T::Boolean) }
+  def is_simple_single_extension?(cond)
+    case cond
+    when String
+      true
+    when Hash
+      # Single extension with name and optional version
+      cond.key?("name") && cond.size <= 2 && (cond.size == 1 || cond.key?("version"))
+    else
+      false
+    end
+  end
+
+  sig { params(cond: T.any(String, T::Hash[String, T.untyped], T::Array[T.untyped])).returns(T::Boolean) }
+  def is_complex_condition_header?(cond)
+    # Check if this is a complex condition header (allOf, anyOf, oneOf, etc.)
+    cond.is_a?(Hash) && !cond.key?("name")
+  end
+
   sig { params(cond: T.any(String, T::Hash[String, T.untyped], T::Array[T.untyped]), indent: Integer, join: String).returns(String) }
   def to_asciidoc(cond = @hsh, indent = 0, join: "\n")
+    # For simple single extension OR complex condition headers at root level (indent = 0), don't show bullets
+    use_bullets = !(indent == 0 && (is_simple_single_extension?(cond) || is_complex_condition_header?(cond)))
+    bullet_prefix = use_bullets ? "#{'*' * indent} " : ""
+
     case cond
     when String
-      "#{'*' * indent}* #{cond}, version >= #{T.must(@arch.extension(cond)).min_version}"
+      "#{bullet_prefix}#{cond}, version >= #{T.must(@arch.extension(cond)).min_version}"
     when Hash
       if cond.key?("name")
         if cond.key?("version")
-          "#{'*' * indent}* #{cond['name']}, version #{cond['version']}#{join}"
+          "#{bullet_prefix}#{cond['name']}, version #{cond['version']}#{join}"
         else
-          "#{'*' * indent}* #{cond['name']}, version >= #{T.must(@arch.extension(cond['name'])).min_version}#{join}"
+          "#{bullet_prefix}#{cond['name']}, version >= #{T.must(@arch.extension(cond['name'])).min_version}#{join}"
         end
       else
-        "#{'*' * indent}* #{cond.keys[0]}:#{join}" + to_asciidoc(cond[T.must(cond.keys[0])], indent + 2)
+        "#{bullet_prefix}#{cond.keys[0]}:#{join}" + to_asciidoc(cond[T.must(cond.keys[0])], indent + 1)
       end
     when Array
-      cond.map { |e| to_asciidoc(e, indent) }.join(join)
+      # Arrays represent multiple items, so they need bullets for clarity
+      # Use indent=1 at root level to ensure bullets are shown
+      array_indent = indent == 0 ? 1 : indent
+      cond.map { |e| to_asciidoc(e, array_indent) }.join(join)
     else
       T.absurd(cond)
     end