Skip to content

Draw the argument the service rests on; align the cards to one column - #628

Merged
gHashTag merged 3 commits into
mainfrom
feat/verification-diagram
Aug 8, 2026
Merged

Draw the argument the service rests on; align the cards to one column#628
gHashTag merged 3 commits into
mainfrom
feat/verification-diagram

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 8, 2026

Copy link
Copy Markdown
Owner

The diagram

The service depends on one idea a paragraph carries badly: a testbench written from the same assumptions as the design agrees with the design's bugs, so the check has to be derived independently. That's a claim about the shape of a process — what diagrams are for.

puts the two shapes side by side: one specification producing RTL and a testbench derived from that RTL (drawn faint, it's the thing being argued against), versus one specification producing the RTL and a reference model independently, meeting at a bit-exact comparison and carried through simulate → synthesise → route → board.

Inline SVG, so it inherits the page's colours and needs no second asset. <title> + <desc> for screen readers. Placed directly after the hero, because every item in the deliverables list depends on the reader believing this first.

Trust signals moved above the fold

Beside the CTA rather than 1500px below it, which is where the research on B2B landing pages puts them. Measured facts only — cycles run, mismatches found, turnaround, price of the first module. Badges are not something this page has earned.

A layout defect, found by measuring rather than looking

section is a centring flex column, so every card shrank to its own content and the column had ragged edges — 782, 860, 650, 786 and 585 pixels on one page. The cards now stretch: all six pages share one 860px column. Text stays centred, which comes from the stylesheet rather than from align-items.

Mobile

The diagram can't reflow and its 9px labels would be illegible scaled to a phone, so below 640px it scrolls with a line of copy saying so — a silent scroll container reads as a cropped image.

🤖 Generated with Claude Code

Dmitrii Vasilev and others added 3 commits August 8, 2026 18:10
The first pass caught the evidence and licensing pages. Grepping the bundle
rather than trusting the diff found it still shipping from the service page's
proof strip, the about page's achievements list, and module 05 of the course, in
both languages — six more strings.

Module 05 no longer promises a frequency at all. It now teaches the thing that
is actually true and more useful: that a hard multiplier in the path can leave
you with no frequency report whatsoever, because the router has no timing model
through the block.

Verified by grepping the served bundle, not the source: the only remaining
occurrences are inside the two withdrawal notices.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Third pass, and the reason there was a third: the i18n messages live in
apps/website/messages/, not under src/, so every grep scoped to src reported
clean while the bundle still shipped the claim from en.json and ru.json — the
about page's achievements list takes the locale value over its own default.

Found by grepping the built bundle. That is now the only check I trust for this:
the source can look clean while the artefact is not.

Also removed it from the course's why2 paragraph in Russian and its English lede.

Built bundle now contains three occurrences of the digits 323: the two
withdrawal notices, and .6932323 inside an unrelated formula constant.
…lumn

The service depends on one idea that a paragraph carries badly: a testbench
written from the same assumptions as the design agrees with the design's bugs,
so the check has to be derived independently. That is a claim about the shape of
a process, which is what a diagram is for.

New VerificationDiagram puts the two shapes side by side — one specification
producing RTL and a testbench derived from that RTL, faint, versus one
specification producing the RTL and a reference model independently, meeting at a
bit-exact comparison and carried through simulate → synthesise → route → board.
Inline SVG so it inherits the page's colours and needs no second asset, with a
title and description for screen readers. It sits directly after the hero,
because every item in the deliverables list below depends on the reader
believing this first.

Trust signals moved up beside the CTA rather than sitting 1500px below it, which
is where the research on B2B landing pages puts them. They are measured facts —
cycles run, mismatches found, turnaround, price of the first module — because
badges are not something this page has earned.

Fixed a real layout defect found while measuring rather than looking: `section`
is a centring flex column, so every card shrank to its own content and the
column had ragged edges — 782, 860, 650, 786 and 585 pixels on a single page.
The cards now stretch, so all six pages share one 860px column. Text stays
centred; that comes from the stylesheet, not from align-items.

The diagram cannot reflow and its 9px labels would be illegible scaled to a
phone, so below 640px it scrolls, with a line of copy saying so — a silent
scroll container reads as a cropped image.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@gHashTag
gHashTag merged commit b5e1e04 into main Aug 8, 2026
18 of 31 checks passed
@gHashTag
gHashTag deleted the feat/verification-diagram branch August 8, 2026 11:32
github-actions Bot added a commit that referenced this pull request Aug 8, 2026
Draw the argument the service rests on; align the cards to one column (#628)

* Finish the withdrawal: the figure was on four more pages

The first pass caught the evidence and licensing pages. Grepping the bundle
rather than trusting the diff found it still shipping from the service page's
proof strip, the about page's achievements list, and module 05 of the course, in
both languages — six more strings.

Module 05 no longer promises a frequency at all. It now teaches the thing that
is actually true and more useful: that a hard multiplier in the path can leave
you with no frequency report whatsoever, because the router has no timing model
through the block.

Verified by grepping the served bundle, not the source: the only remaining
occurrences are inside the two withdrawal notices.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

* The last two copies were in the locale files, outside src/

Third pass, and the reason there was a third: the i18n messages live in
apps/website/messages/, not under src/, so every grep scoped to src reported
clean while the bundle still shipped the claim from en.json and ru.json — the
about page's achievements list takes the locale value over its own default.

Found by grepping the built bundle. That is now the only check I trust for this:
the source can look clean while the artefact is not.

Also removed it from the course's why2 paragraph in Russian and its English lede.

Built bundle now contains three occurrences of the digits 323: the two
withdrawal notices, and .6932323 inside an unrelated formula constant.

* Draw the argument the service rests on, and align the cards to one column

The service depends on one idea that a paragraph carries badly: a testbench
written from the same assumptions as the design agrees with the design's bugs,
so the check has to be derived independently. That is a claim about the shape of
a process, which is what a diagram is for.

New VerificationDiagram puts the two shapes side by side — one specification
producing RTL and a testbench derived from that RTL, faint, versus one
specification producing the RTL and a reference model independently, meeting at a
bit-exact comparison and carried through simulate → synthesise → route → board.
Inline SVG so it inherits the page's colours and needs no second asset, with a
title and description for screen readers. It sits directly after the hero,
because every item in the deliverables list below depends on the reader
believing this first.

Trust signals moved up beside the CTA rather than sitting 1500px below it, which
is where the research on B2B landing pages puts them. They are measured facts —
cycles run, mismatches found, turnaround, price of the first module — because
badges are not something this page has earned.

Fixed a real layout defect found while measuring rather than looking: `section`
is a centring flex column, so every card shrank to its own content and the
column had ragged edges — 782, 860, 650, 786 and 585 pixels on a single page.
The cards now stretch, so all six pages share one 860px column. Text stays
centred; that comes from the stylesheet, not from align-items.

The diagram cannot reflow and its 9px labels would be illegible scaled to a
phone, so below 640px it scrolls, with a line of copy saying so — a silent
scroll container reads as a cropped image.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

---------

Co-authored-by: Dmitrii Vasilev <admin@t27.dev>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant