cat / miau-is-true
clone

a browser grid puzzle game where you push words around to rewrite the rules of each level

main
miau-is-true / openspec / changes / add-proof-title-fitting / specs / level-packs / spec.md
spec.md 897B source

ADDED Requirements

Requirement: Authored proof titles SHALL fit the supported mobile ceiling

The pack loader SHALL reject a proof title longer than 64 characters with the player-facing error Titles can be at most 64 characters so they fit on phones. Titles of 64 characters or fewer SHALL remain unchanged. The existing nonblocking W11 recommendation for titles longer than 32 characters SHALL continue to apply to otherwise valid packs.

Scenario: A title at the ceiling remains playable

  • WHEN a pack contains a proof title of exactly 64 characters
  • THEN the loader accepts the title unchanged and the W11 long-title note remains available

Scenario: An overlong title rejects the pack

  • WHEN a pack contains a proof title of 65 characters
  • THEN the loader rejects the pack atomically with Titles can be at most 64 characters so they fit on phones