You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
docs: release Dotdog 1.0 website and type-driven design research - #66
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.
Preserve thesis/PDF, research sources and locked harness. Historical 47-test/61-check/62-check records remain distinct from released implementation results.
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
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
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
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
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.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
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.
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
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.