Skip to content

docs: release Dotdog 1.0 website and type-driven design research - #66

Merged
logohere merged 8 commits into
docs/landingfrom
docs/type-driven-design
Nov 1, 2026
Merged

logohere merged 8 commits into
docs/landingfrom
docs/type-driven-design

Conversation

@logohere

@logohere logohere commented Oct 31, 2026 •

Copy link
Copy Markdown
Contributor

Scope

Fixes #67. Release-ready Dotdog 1.0 website using the existing static site and original dog artwork. No framework, product runtime dependency or service added.

  • Responsive homepage: clear hierarchy, npm/Bun tabs, keyboard-accessible controls, release/migration links, amber palette and working Feed/Pet/Fetch interactions.
  • README, about, handbook and agent reference aligned with shipped spec/REA/type workflows and eleven MCP tools. Remove retired commands, unsupported hallucination/token claims and generated-graph commit guidance.
  • Fix broken agent-page JavaScript, code-block copy targets and narrow-screen table overflow.
  • Preserve thesis/PDF, research sources and locked harness. Historical 47-test/61-check/62-check records remain distinct from released implementation results.

Evidence

Dotdog 1.0.0 release, publisher, source runtime matrix, published Spec Kit asset verification.

Fresh public-registry npm/Bun consumers passed spec refresh, context/impact, real TypeScript invalid/repair, evidence tamper, REA import/path and stdio MCP checks. Registry integrity, npm signatures and provenance match the retained source/archive receipt. Registry README matches its packaged source. Final implementation suite: 133 tests / 2,124 assertions / one snapshot.

Site verification

  • Site/navigation, local README, inline JavaScript syntax and diff checks pass. README checker skips external checkouts; it does not prove cross-repository synchronization.
  • Desktop and 390/320px renders reviewed. No page overflow on homepage/handbook/agents after repair.
  • Actual browser checks passed keyboard runtime tabs, clipboard content, dog interactions, handbook anchor, about content and handbook/agent code-block copy targets with no page JavaScript errors.
  • Existing migration/docs and linked dogbench pages respond successfully.
  • Current-head CI and post-merge Pages/live-site verification required before issue closure.

Limits

Types/imported graphs retain partial coverage. No whole-program, requirement-satisfaction or coding-agent productivity claim. Authenticated model-driven Claude invocation/edit-refresh remains unverified. Raw test logs and private learning remain outside public changes.

@logohere logohere changed the title docs: add type-driven design as a distinct workflow research: evaluate a type-driven design addition with reproducible tests Nov 1, 2026
@logohere logohere changed the title research: evaluate a type-driven design addition with reproducible tests docs: type-driven design thesis and tested Dotdog workflows Nov 1, 2026
@logohere logohere changed the title docs: type-driven design thesis and tested Dotdog workflows docs: release Dotdog 1.0 website and type-driven design research Nov 1, 2026

logohere commented Nov 1, 2026

Copy link
Copy Markdown
Contributor Author

Final automated review of 5e29fe3: no blocking findings in the reviewed site/research changes. Current-head navigation/drift/research checks pass. Browser checks passed desktop plus 390/320px layouts, keyboard runtime tabs, actual clipboard contents, dog interactions, handbook navigation and per-block copy behavior; the reproduced mobile table overflow and agent-script parse failure are repaired. Original dog SVG bytes are unchanged. Historical research artifacts remain separate from released implementation evidence. No product framework or runtime dependency added.

Proceeding with the requested production merge. This is an automated scoped review, not an independent human approval; branch-protection settings remain unchanged. Live Pages verification follows the merge.

@logohere
logohere merged commit 0816a69 into docs/landing Nov 1, 2026
4 checks passed
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.

Release Dotdog 1.0 site refresh and current documentation

1 participant