# Evidence: Block 2 · Service (block-2) - block type: block - date: 2026-08-15 - resulting state: closed/verified - story points (combined assembled cost): 60122 - execution id: 20260815.204259.896Z-c16cfcc8 ## Stories built - Parse CommonMark leaf blocks and link reference definitions. (block-001) [story] ## Reusable compacts - spec_compact.md - spec_tests_compact.md - normalize_compact.md ## Stacked context - compass: COMPASS.md (SP 1455) - implements: FEATURE-Block-Leafs.md (SP 666) - context: spec.txt (SP 51527) - context: spec_tests.py (SP 1609) - context: cmark.py (SP 339) - context: normalize.py (SP 1631) - context: ARCHITECTURE_compact.md (SP 87) - stack: common_compact.md (SP 1179) - stack: python_compact.md (SP 1534) ## Build directory changes - commonmark ## Pre-build acceptance observation - RED: block-leafs-conformance (FEATURE-Block-Leafs.md) intent: The implementation passes every supplied conformance example owned by leaf-block parsing. return code: 1 stdout: Example 49 (lines 942-948) Thematic breaks Foo *** --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

Foo ***

Foo

***
    +

Example 55 (lines 994-1004) Thematic breaks _ _ _ _ a a------ ---a--- --- expected HTML +++ actual HTML @@ -1 +1 @@ -

_ _ _ _ a

a------

---a---

a------

---a---

Example 57 (lines 1019-1031) Thematic breaks - foo *** - bar --- expected HTML +++ actual HTML @@ -1 +1 @@ -

foo ***
bar

Example 58 (lines 1036-1044) Thematic breaks Foo *** bar --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo

bar

Foo *** bar

Example 60 (lines 1066-1078) Thematic breaks * Foo * * * * Bar --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Example 66 (lines 1167-1171) ATX headings # foo *bar* \*baz\* --- expected HTML +++ actual HTML @@ -1 +1 @@ -

foo bar baz

Example 70 (lines 1206-1212) ATX headings foo # bar --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

foo # bar

foo

# bar
    +

Example 79 (lines 1307-1315) ATX headings ## # ### ### --- expected HTML +++ actual HTML @@ -1 +1 @@ -

###

Example 81 (lines 1361-1368) Setext headings Foo *bar baz* ==== --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo bar baz

Foo *bar baz* ====

Example 82 (lines 1375-1382) Setext headings Foo *bar baz* ==== --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo bar baz

Foo *bar baz*
====

Example 87 (lines 1449-1455) Setext headings Foo --- --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

Foo ---

Foo

---
    +

Example 88 (lines 1460-1471) Setext headings Foo = = Foo --- - --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo = =

Foo

Foo = =

Foo --- -

Example 93 (lines 1527-1537) Setext headings > foo bar === --- expected HTML +++ actual HTML @@ -1 +1 @@ -

foo bar ===

foo

bar

Example 94 (lines 1540-1548) Setext headings - Foo --- --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Example 95 (lines 1555-1562) Setext headings Foo Bar --- --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo Bar

Foo Bar ---

Example 99 (lines 1606-1614) Setext headings - foo ----- --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Example 105 (lines 1706-1716) Setext headings Foo bar * * * baz --- expected HTML +++ actual HTML @@ -1 +1 @@ -

Foo bar

baz

Foo bar * baz

Example 108 (lines 1763-1774) Indented code blocks - foo bar --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

foo
bar

bar
    +

Example 109 (lines 1777-1790) Indented code blocks 1. foo - bar --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

foo
- bar

- bar
    +

Example 113 (lines 1851-1858) Indented code blocks Foo bar --- expected HTML +++ actual HTML @@ -1 +1,2 @@ -

Foo bar

Foo

bar
    +

Example 128 (lines 2091-2102) Fenced code blocks > ``` > aaa bbb --- expected HTML +++ actual HTML @@ -1,2 +1,3 @@

aaa
    +

bbb

Example 131 (lines 2133-2142) Fenced code blocks ``` aaa aaa ``` --- expected HTML +++ actual HTML @@ -1,3 +1,3 @@ -

aaa
    + aaa
     aaa
     
    
    Example 132 (lines 2145-2156) Fenced code blocks
      ```
    aaa
      aaa
    aaa
      ```
    
    --- expected HTML
    +++ actual HTML
    @@ -1,4 +1,4 @@
     aaa
    -aaa
    +  aaa
     aaa
     
    
    Example 133 (lines 2159-2170) Fenced code blocks
       ```
       aaa
        aaa
      aaa
       ```
    
    --- expected HTML
    +++ actual HTML
    @@ -1,4 +1,4 @@
    -aaa
    - aaa
    -aaa
    +   aaa
    +    aaa
    +  aaa
     
    
    Example 146 (lines 2337-2344) Fenced code blocks
    ~~~ aa ``` ~~~
    foo
    ~~~
    
    --- expected HTML
    +++ actual HTML
    @@ -1,2 +1 @@
    -foo
    -
    +~~~ aa ` ~~~ foo

    
    Example 148 (lines 2429-2444) HTML blocks
    
        **Hello**,
    
    _world_.
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1,3 +1,3 @@
          **Hello**,world.
    -

    +

    
    Example 151 (lines 2493-2499) HTML blocks
    
    *foo*
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -*foo*
    +foo
    
    Example 152 (lines 2504-2514) HTML blocks
    
    
    *Markdown*
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Markdown
    +Markdown

    
    Example 163 (lines 2642-2650) HTML blocks
    
    *bar*
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    - *bar*  
    + bar 
    
    Example 164 (lines 2655-2663) HTML blocks
    
    *bar*
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    - *bar*  
    + bar 
    
    Example 165 (lines 2666-2674) HTML blocks
    
    *bar*
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    - *bar*  
    + bar 
    
    Example 166 (lines 2677-2683) HTML blocks
    
    *bar*
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    - *bar* 
    + bar
    
    Example 167 (lines 2692-2700) HTML blocks
    
    *foo*
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    - *foo*  
    + foo 
    
    Example 168 (lines 2707-2717) HTML blocks
    
    
    *foo*
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo 
    +
foo

    
    Example 171 (lines 2753-2769) HTML blocks
    
    import Text.HTML.TagSoup
    
    main :: IO ()
    main = print $ parseTags tags
    
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -1,6 +1,4 @@
     
    -import Text.HTML.TagSoup
    -
    -main :: IO ()
    +import Text.HTML.TagSoupmain :: IO ()
     main = print $ parseTags tags
    -
okay
    +

okay
    
    Example 172 (lines 2774-2788) HTML blocks
    
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -okay
    +okay
    
    Example 173 (lines 2793-2809) HTML blocks
        
    *foo*
    
    _bar_
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -*foo* _bar_
    +</p> <p><em>foo</em></p> <p><em>bar</em></p> <p>
    
    Example 174 (lines 2813-2829) HTML blocks
    
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -okay
    +okay
    
    Example 175 (lines 2836-2846) HTML blocks
    
    *foo*
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo
    +*foo*
    
    Example 179 (lines 2887-2893) HTML blocks
    *bar*
    *baz*
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -*bar*baz
    +*bar* *baz* 
    
    Example 181 (lines 2912-2924) HTML blocks
    
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -1,4 +1,5 @@
     okay
    +bar
    +   baz -->
    +okay
    +-->
    
    Example 182 (lines 2930-2944) HTML blocks
    ';
    
    ?>
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -1,3 +1,2 @@
     '; ?>okay
    + echo '>';
?> okay
    
    Example 184 (lines 2958-2986) HTML blocks
    
    okay
    
    --- expected HTML
    +++ actual HTML
    @@ -3,10 +3,5 @@
     {
       if (a < b && a < 0) then {
         return 1;
    -
    -  } else {
    -
    -    return 0;
    -  }
    -}
    -]]>okay
    + } else {
return 0;
    +
} } ]]> okay
    
    Example 187 (lines 3017-3027) HTML blocks
    Foo
    
    bar
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Foo
bar
    +Foo
bar

    
    Example 190 (lines 3090-3100) HTML blocks
    
    
    *Emphasized* text.
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Emphasized text.
    +Emphasized text.

    
    Example 192 (lines 3125-3145) HTML blocks
    
    
    
    
    
    Hi
    
    
    
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Hi
    +
Hi

    
    Example 193 (lines 3152-3173) HTML blocks
    
    
      
    
        
          Hi
        
    
      
    
    
    
    --- expected HTML
    +++ actual HTML
    @@ -1,4 +1,4 @@
    -<td>
    +
<td>
       Hi
     </td>
    -

    +

    
    Example 195 (lines 3210-3218) Link reference definitions
       [foo]: 
          /url  
               'the title'  
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1,3 @@
    -foo
    +[foo]:
  /url  
    +       'the title'  
    +
[foo]
    
    Example 196 (lines 3221-3227) Link reference definitions
    [Foo*bar\]]:my_(url) 'title (with parens)'
    
    [Foo*bar\]]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Foo*bar]
    +[Foo*bar]]:my_(url) 'title (with parens)'
[Foo*bar]]
    
    Example 197 (lines 3230-3238) Link reference definitions
    [Foo bar]:
    
    'title'
    
    [Foo bar]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Foo bar
    +[Foo bar]:  'title'
[Foo bar]
    
    Example 198 (lines 3243-3257) Link reference definitions
    [foo]: /url '
    title
    line1
    line2
    '
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1,5 +1 @@
    -foo
    +[foo]: /url ' title line1 line2 '
[foo]
    
    Example 200 (lines 3277-3284) Link reference definitions
    [foo]:
    /url
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo
    +[foo]: /url
[foo]
    
    Example 202 (lines 3301-3307) Link reference definitions
    [foo]: <>
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo
    +foo
    
    Example 203 (lines 3312-3319) Link reference definitions
    [foo]: (baz)
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -[foo]: (baz)
[foo]
    +foo
    
    Example 204 (lines 3325-3331) Link reference definitions
    [foo]: /url\bar\*baz "foo\"bar\baz"
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo
    +[foo]: /url\bar*baz "foo"bar\baz"
[foo]
    
    Example 206 (lines 3348-3355) Link reference definitions
    [foo]
    
    [foo]: first
    [foo]: second
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo
    +foo
    
    Example 208 (lines 3370-3376) Link reference definitions
    [ΑΓΩ]: /φου
    
    [αγω]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -αγω
    +αγω
    
    Example 210 (lines 3393-3400) Link reference definitions
    [
    foo
    ]: /url
    bar
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -bar
    +[ foo ]: /url bar
    
    Example 213 (lines 3426-3434) Link reference definitions
        [foo]: /url "title"
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1,2 +1,2 @@
    -[foo]: /url "title"
    +[foo]: /url "title"
     
[foo]
    
    Example 214 (lines 3440-3450) Link reference definitions
    ```
    [foo]: /url
    ```
    
    [foo]
    
    --- expected HTML
    +++ actual HTML
    @@ -1,2 +1 @@
    -[foo]: /url
    -
[foo]
    +
foo
    
    Example 215 (lines 3455-3464) Link reference definitions
    Foo
    [bar]: /baz
    
    [bar]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -Foo [bar]: /baz
[bar]
    +Foo
bar
    
    Example 219 (lines 3504-3517) Link reference definitions
    [foo]: /foo-url "foo"
    [bar]: /bar-url
      "bar"
    [baz]: /baz-url
    
    [foo],
    [bar],
    [baz]
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo, bar, baz
    +"bar"
foo, bar, baz
    
    Example 220 (lines 3525-3533) Link reference definitions
    [foo]
    
    > [foo]: /url
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1 @@
    -foo

    +[foo]
[foo]: /url
    
    Example 225 (lines 3600-3608) Paragraphs
    aaa
                 bbb
                                           ccc
    
    --- expected HTML
    +++ actual HTML
    @@ -1 +1,3 @@
    -aaa bbb ccc
    +aaa
         bbb
    +                                   ccc
    +
    
    122 passed, 65 failed, 0 errored, 468 skipped
  stderr:
    Traceback (most recent call last):
      File "block-leafs-conformance.py", line 24, in 
        assert result.returncode == 0
               ^^^^^^^^^^^^^^^^^^^^^^
    AssertionError
- GREEN (prepassed): block-leafs-interface (FEATURE-Block-Leafs.md)
  intent: Leaf parsing remains reachable through the required executable interface.
  return code: 0
  stdout:
    heading
    code
    
- GREEN (prepassed): block-leafs-reference-input (FEATURE-Block-Leafs.md)
  intent: Link-reference-definition input is accepted through the executable interface.
  return code: 0
  stdout:
    label

## Post-build programmatic acceptance
- PASS: block-leafs-conformance (FEATURE-Block-Leafs.md)
  intent: The implementation passes every supplied conformance example owned by leaf-block parsing.
  target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3
  provisioning: not required
  return code: 0
  stdout:
    187 passed, 0 failed, 0 errored, 468 skipped
- PASS: block-leafs-interface (FEATURE-Block-Leafs.md)
  intent: Leaf parsing remains reachable through the required executable interface.
  target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3
  provisioning: not required
  return code: 0
  stdout:
    heading
    code
    
- PASS: block-leafs-reference-input (FEATURE-Block-Leafs.md)
  intent: Link-reference-definition input is accepted through the executable interface.
  target interpreter: /mnt/c/Users/barlo/projects/drydock/.venv/bin/python3
  provisioning: not required
  return code: 0
  stdout:
    label

## Repair attempts
- attempt 0 (initial build): failed; 2/3 checks; 163/187 cases model=gpt-5.6-luna; execution 20260815.203501.159Z-3db12411
- attempt 1 (repair 1): built; 3/3 checks; 187/187 cases model=gpt-5.6-luna; execution 20260815.204259.896Z-c16cfcc8

## Build summary

CommonMark 0.31.2 specification: block structure precedes inline parsing. Leaf blocks include thematic breaks, headings, indented/fenced code, HTML blocks, reference definitions, paragraphs, and blank lines. Reference labels normalize via Unicode case-folding and whitespace collapsing; first definition wins.



Runs supplied CommonMark examples against `--program`, optionally filtered by section pattern. Verdict is the process exit status: failures plus errors; output is diagnostic only.



Normalizes HTML for conformance comparison: collapses insignificant whitespace, normalizes attributes and entities, preserves preformatted content, and canonicalizes URLs.


RESULT: SUCCESS

FILES CHANGED:
- commonmark

SUMMARY:
Implemented and repaired leaf-block parsing and link-reference collection. Scoped conformance: 187 passed, 0 failed, 0 errored. Direct executable interface verification passed.

BLOCKERS:
- None

foo bar *baz*

foo bar baz

###

Foo bar baz

Foo bar baz

bar

Foo

Foo Bar

foo

heading

heading

foo bar baz