<?xml version="1.0" encoding="UTF-8" standalone="yes" ?>
<!DOCTYPE bugzilla SYSTEM "https://www.w3.org/Bugs/Public/page.cgi?id=bugzilla.dtd">

<bugzilla version="5.0.4"
          urlbase="https://www.w3.org/Bugs/Public/"
          
          maintainer="sysbot+bugzilla@w3.org"
>

    <bug>
          <bug_id>10879</bug_id>
          
          <creation_ts>2010-09-30 17:37:05 +0000</creation_ts>
          <short_desc>Including &quot;impossible&quot; requirements even as a SHOULD is unnecessary</short_desc>
          <delta_ts>2010-10-05 20:31:50 +0000</delta_ts>
          <reporter_accessible>1</reporter_accessible>
          <cclist_accessible>1</cclist_accessible>
          <classification_id>1</classification_id>
          <classification>Unclassified</classification>
          <product>HTML WG</product>
          <component>pre-LC1 HTML5 spec (editor: Ian Hickson)</component>
          <version>unspecified</version>
          <rep_platform>All</rep_platform>
          <op_sys>All</op_sys>
          <bug_status>RESOLVED</bug_status>
          <resolution>WONTFIX</resolution>
          
          
          <bug_file_loc>http://dev.w3.org/html5/spec/infrastructure.html#conformance-requirements</bug_file_loc>
          <status_whiteboard></status_whiteboard>
          <keywords></keywords>
          <priority>P3</priority>
          <bug_severity>normal</bug_severity>
          <target_milestone>---</target_milestone>
          
          
          <everconfirmed>1</everconfirmed>
          <reporter name="Adrian Bateman [MSFT]">adrianba</reporter>
          <assigned_to name="Ian &apos;Hixie&apos; Hickson">ian</assigned_to>
          <cc>ian</cc>
    
    <cc>mike</cc>
    
    <cc>mjs</cc>
    
    <cc>public-html-admin</cc>
    
    <cc>public-html-wg-issue-tracking</cc>
          
          <qa_contact name="HTML WG Bugzilla archive list">public-html-bugzilla</qa_contact>

      

      

      

          <comment_sort_order>oldest_to_newest</comment_sort_order>  
          <long_desc isprivate="0" >
    <commentid>40226</commentid>
    <comment_count>0</comment_count>
    <who name="Adrian Bateman [MSFT]">adrianba</who>
    <bug_when>2010-09-30 17:37:05 +0000</bug_when>
    <thetext>The spec states that &quot;Conformance checkers...should also check that the input document conforms when parsed with a browsing context in which scripts execute, and that the scripts never cause non-conforming states to occur other than transiently during script execution itself. (This is only a &quot;SHOULD&quot; and not a &quot;MUST&quot; requirement because it has been proven to be impossible.)

Making a requirement a SHOULD instead of a MUST if it has been proven impossible is unncessary and should be removed. If there editor believes there is a different recommendation to be made here, it should be worded appropriately.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>40266</commentid>
    <comment_count>1</comment_count>
    <who name="Ian &apos;Hixie&apos; Hickson">ian</who>
    <bug_when>2010-09-30 19:05:31 +0000</bug_when>
    <thetext>EDITOR&apos;S RESPONSE: This is an Editor&apos;s Response to your comment. If you are satisfied with this response, 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

Status: Rejected
Change Description: no spec change
Rationale: 

It&apos;s a SHOULD because it is possible to make serious inroads into implementing this requirement, it&apos;s just that there are always going to be limits to how far one can go. For example, one could execute the page and spam the page with user interaction events, while monitoring the DOM for validity. However, if a bug occurs only with particular combinations of values, it&apos;s possible that the failure case will never be reached.

So in conclusion, I think &quot;SHOULD&quot; is actually appropriate here, even if, as the spec says, it&apos;s impossible to do a perfect job.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>40478</commentid>
    <comment_count>2</comment_count>
    <who name="Maciej Stachowiak">mjs</who>
    <bug_when>2010-10-02 04:53:05 +0000</bug_when>
    <thetext>It doesn&apos;t seem sensible to me to have a SHOULD-level requirement for something provably impossible. If there is to be a SHOULD requirement, at most it should be to do however much of such checking as is actually possible.</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>40529</commentid>
    <comment_count>3</comment_count>
    <who name="Simon Pieters">zcorpan</who>
    <bug_when>2010-10-04 06:41:01 +0000</bug_when>
    <thetext>A realistic implementation of this requirement is to have the conformance checker as a browser plugin/extension which checks conformance of the document over time while the user interacts with it. (It still cannot prove that scripts never cause non-conforming states to occur, but it can catch a non-conforming state when it actually happens for the user.)</thetext>
  </long_desc><long_desc isprivate="0" >
    <commentid>40654</commentid>
    <comment_count>4</comment_count>
    <who name="Adrian Bateman [MSFT]">adrianba</who>
    <bug_when>2010-10-05 20:31:50 +0000</bug_when>
    <thetext>The requirement could be rewritten as an author requirement so that the author should ensure that scripts don&apos;t cause non-conforming states to occur. Conformance checkers could do whatever they like to approximate this behaviour.</thetext>
  </long_desc>
      
      

    </bug>

</bugzilla>