github.com/russross/blackfriday/v2 v2.1.0: Tables

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify github.com/russross/blackfriday/v2.Tables in pkg:golang/github.com/russross/blackfriday/v2@v2.1.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:golang/github.com/russross/blackfriday/v2@v2.1.0
Demonstrate these symbols/APIs:
  - github.com/russross/blackfriday/v2.Tables

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:db5125fe9a9512ef2aa6fa78956cd9be4a45d670f1dc7c45a4be56e37e5b364b","contract":["blackfriday.Tables enables parsing markdown tables into HTML table elements (table, thead, tbody, th, td)","blackfriday.Tables sets align attributes on table header and data cells based on column alignment markers","blackfriday.New with Tables parses AST nodes of types Table, TableHead, TableBody, TableRow, and TableCell with IsHeader metadata","blackfriday parser without Tables extension does not parse markdown tables into Table AST nodes"],"goal":"verify github.com/russross/blackfriday/v2.Tables in pkg:golang/github.com/russross/blackfriday/v2@v2.1.0","kind":"HOW","packages":["pkg:golang/github.com/russross/blackfriday/v2@v2.1.0"],"schemaVersion":1,"symbols":["github.com/russross/blackfriday/v2.Tables"]},"contractCommand":["go","run","./test"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"golang","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"go","schemaVersion":1},"license":"MIT-0","packages":["pkg:golang/github.com/russross/blackfriday/v2@v2.1.0"],"schemaVersion":1,"subject":"pkg:golang/github.com/russross/blackfriday/v2@v2.1.0","symbols":["github.com/russross/blackfriday/v2.Tables"],"verifierAdapter":"golang@1"}

module sample

go 1.26.6

require github.com/russross/blackfriday/v2 v2.1.0

github.com/russross/blackfriday/v2 v2.1.0 h1:JIOH55/0cWyOuilr9/qlrm0BSXldqnqwMsf35Ld67mk=
github.com/russross/blackfriday/v2 v2.1.0/go.mod h1:+Rmxgy9KzJVeS9/2gXHxylqXiyQDYRxCVz55jmeOWTM=

package main

import (
	"fmt"

	"github.com/russross/blackfriday/v2"
)

func main() {
	markdown := []byte(`| Name | Role | Status |
| :--- | :---: | ---: |
| Alice | Admin | Active |
| Bob | User | Pending |
`)

	html := blackfriday.Run(markdown, blackfriday.WithExtensions(blackfriday.Tables))
	fmt.Printf("Rendered HTML table:\n%s\n", string(html))
}

{
  "schemaVersion": 1,
  "goal": "verify github.com/russross/blackfriday/v2.Tables in pkg:golang/github.com/russross/blackfriday/v2@v2.1.0",
  "kind": "HOW",
  "packages": [
    "pkg:golang/github.com/russross/blackfriday/v2@v2.1.0"
  ],
  "symbols": [
    "github.com/russross/blackfriday/v2.Tables"
  ]
}

package main

import (
	"fmt"
	"os"
	"strings"

	"github.com/russross/blackfriday/v2"
)

func main() {
	if err := runContract(); err != nil {
		fmt.Fprintf(os.Stderr, "Contract verification failed: %v\n", err)
		os.Exit(1)
	}
	fmt.Println("All Tables contract assertions passed successfully.")
}

func runContract() error {
	// Assertion 1: blackfriday.Tables enables parsing markdown tables into HTML table elements
	inputBasic := []byte(`| Name | Age |
| --- | --- |
| Alice | 30 |
| Bob | 25 |
`)
	outputBasic := string(blackfriday.Run(inputBasic, blackfriday.WithExtensions(blackfriday.Tables)))
	if !strings.Contains(outputBasic, "<table>") || !strings.Contains(outputBasic, "</table>") {
		return fmt.Errorf("expected <table>...</table> in output, got: %s", outputBasic)
	}
	if !strings.Contains(outputBasic, "<thead>") || !strings.Contains(outputBasic, "</thead>") {
		return fmt.Errorf("expected <thead>...</thead> in output, got: %s", outputBasic)
	}
	if !strings.Contains(outputBasic, "<th>Name</th>") || !strings.Contains(outputBasic, "<th>Age</th>") {
		return fmt.Errorf("expected <th>Name</th> and <th>Age</th> in output, got: %s", outputBasic)
	}
	if !strings.Contains(outputBasic, "<tbody>") || !strings.Contains(outputBasic, "</tbody>") {
		return fmt.Errorf("expected <tbody>...</tbody> in output, got: %s", outputBasic)
	}
	if !strings.Contains(outputBasic, "<td>Alice</td>") || !strings.Contains(outputBasic, "<td>30</td>") {
		return fmt.Errorf("expected <td>Alice</td> and <td>30</td> in output, got: %s", outputBasic)
	}

	// Assertion 2: blackfriday.Tables sets align attributes on table cells based on alignment markers
	inputAligned := []byte(`| Left | Center | Right |
| :--- | :---: | ---: |
| L1 | C1 | R1 |
`)
	outputAligned := string(blackfriday.Run(inputAligned, blackfriday.WithExtensions(blackfriday.Tables)))
	if !strings.Contains(outputAligned, `<th align="left">Left</th>`) {
		return fmt.Errorf("expected align=\"left\" for header, got: %s", outputAligned)
	}
	if !strings.Contains(outputAligned, `<th align="center">Center</th>`) {
		return fmt.Errorf("expected align=\"center\" for header, got: %s", outputAligned)
	}
	if !strings.Contains(outputAligned, `<th align="right">Right</th>`) {
		return fmt.Errorf("expected align=\"right\" for header, got: %s", outputAligned)
	}
	if !strings.Contains(outputAligned, `<td align="left">L1</td>`) {
		return fmt.Errorf("expected align=\"left\" for cell, got: %s", outputAligned)
	}
	if !strings.Contains(outputAligned, `<td align="center">C1</td>`) {
		return fmt.Errorf("expected align=\"center\" for cell, got: %s", outputAligned)
	}
	if !strings.Contains(outputAligned, `<td align="right">R1</td>`) {
		return fmt.Errorf("expected align=\"right\" for cell, got: %s", outputAligned)
	}

	// Assertion 3: blackfriday.New with Tables parses AST nodes of types Table, TableHead, TableBody, TableRow, TableCell
	parser := blackfriday.New(blackfriday.WithExtensions(blackfriday.Tables))
	ast := parser.Parse([]byte(`| Col1 |
| --- |
| Val1 |
`))
	if ast == nil || ast.Type != blackfriday.Document {
		return fmt.Errorf("expected Document AST node, got: %v", ast)
	}
	tableNode := ast.FirstChild
	if tableNode == nil || tableNode.Type != blackfriday.Table {
		return fmt.Errorf("expected Table AST node, got: %v", tableNode)
	}
	tableHead := tableNode.FirstChild
	if tableHead == nil || tableHead.Type != blackfriday.TableHead {
		return fmt.Errorf("expected TableHead AST node, got: %v", tableHead)
	}
	headRow := tableHead.FirstChild
	if headRow == nil || headRow.Type != blackfriday.TableRow {
		return fmt.Errorf("expected TableRow AST node, got: %v", headRow)
	}
	headCell := headRow.FirstChild
	if headCell == nil || headCell.Type != blackfriday.TableCell || !headCell.TableCellData.IsHeader {
		return fmt.Errorf("expected TableCell with IsHeader=true, got: %v", headCell)
	}
	tableBody := tableHead.Next
	if tableBody == nil || tableBody.Type != blackfriday.TableBody {
		return fmt.Errorf("expected TableBody AST node, got: %v", tableBody)
	}
	bodyRow := tableBody.FirstChild
	if bodyRow == nil || bodyRow.Type != blackfriday.TableRow {
		return fmt.Errorf("expected TableRow AST node in body, got: %v", bodyRow)
	}
	bodyCell := bodyRow.FirstChild
	if bodyCell == nil || bodyCell.Type != blackfriday.TableCell || bodyCell.TableCellData.IsHeader {
		return fmt.Errorf("expected TableCell with IsHeader=false, got: %v", bodyCell)
	}

	// Assertion 4: blackfriday parser without Tables extension does not parse markdown tables into Table AST nodes
	parserNoTables := blackfriday.New(blackfriday.WithExtensions(blackfriday.NoExtensions))
	astNoTables := parserNoTables.Parse(inputBasic)
	if astNoTables == nil {
		return fmt.Errorf("expected non-nil AST from parser without Tables")
	}
	for child := astNoTables.FirstChild; child != nil; child = child.Next {
		if child.Type == blackfriday.Table {
			return fmt.Errorf("did not expect Table node in AST when Tables extension is omitted")
		}
	}

	return nil
}