This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 7277 - """(This is only a "SHOULD" and not a "MUST" requirement because it has been proven to be impossible.""" There has to be better wording than 'should do the impossible'. Should attempt to verify? Impossible in some cases? JimJJewett@gmail
Summary: """(This is only a "SHOULD" and not a "MUST" requirement because it has been ...
Status: VERIFIED WONTFIX
Alias: None
Product: HTML WG
Classification: Unclassified
Component: pre-LC1 HTML5 spec (editor: Ian Hickson) (show other bugs)
Version: unspecified
Hardware: All All
: P3 normal
Target Milestone: LC
Assignee: Ian 'Hixie' Hickson
QA Contact: HTML WG Bugzilla archive list
URL: http://whatwg.org/specs/web-apps/curr...
Whiteboard:
Keywords: NoReply
Depends on:
Blocks:
 
Reported: 2009-08-14 04:26 UTC by contributor
Modified: 2010-10-04 14:33 UTC (History)
3 users (show)

See Also:

Attachments

Description contributor 2009-08-14 04:26:29 UTC 
Section: http://whatwg.org/specs/web-apps/current-work/#dom-trees

Comment:
"""(This is only a "SHOULD" and not a "MUST" requirement because it has been proven to be impossible.""" There has to be better wording than 'should do the impossible'.  Should attempt to verify?  Impossible in some cases? JimJJewett@gmail

Posted from: 99.18.85.170
Comment 1 Maciej Stachowiak 2009-08-14 04:58:46 UTC 
It's impossible to prove in the general case that a script never causes a nonconforming state, because it is equivalent to the halting problem and thus not computable. However, it is possible to detect some simple violations (such as problems that occur on loading the page).
Comment 2 Ian 'Hixie' Hickson 2009-09-09 10:29:44 UTC 
I think the playful way it's written now is fine. It's a bit of a joke to people who know their computation theory.
Comment 3 Maciej Stachowiak 2010-03-14 14:49:05 UTC 
This bug predates the HTML Working Group Decision Policy.

If you are satisfied with the resolution of this bug, please change the state of this bug to CLOSED. If you have additional information and would like the editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the tracker issue; or you may create a tracker issue yourself, if you are able to do so. For more details, see this document:
  http://dev.w3.org/html5/decision-policy/decision-policy.html

This bug is now being moved to VERIFIED. Please respond within two weeks. If this bug is not closed, reopened or escalated within two weeks, it may be marked as NoReply and will no longer be considered a pending comment.