Re: [codec] [Technical Errata Reported] RFC6716 (4853)

"Timothy B. Terriberry" <tterriberry@mozilla.com> Wed, 02 November 2016 20:11 UTC

Return-Path: <tterriberry@mozilla.com>
X-Original-To: codec@ietfa.amsl.com
Delivered-To: codec@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 964481298BB for <codec@ietfa.amsl.com>; Wed, 2 Nov 2016 13:11:15 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -8.398
X-Spam-Level:
X-Spam-Status: No, score=-8.398 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_HI=-5, RP_MATCHES_RCVD=-1.497, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id t1_MdbmE4Dsh for <codec@ietfa.amsl.com>; Wed, 2 Nov 2016 13:11:14 -0700 (PDT)
Received: from smtp.mozilla.org (mx2.scl3.mozilla.com [63.245.214.156]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id ABFE21298B2 for <codec@ietf.org>; Wed, 2 Nov 2016 13:11:14 -0700 (PDT)
Received: from localhost (localhost6.localdomain [127.0.0.1]) by mx2.mail.scl3.mozilla.com (Postfix) with ESMTP id 945BCC2022; Wed, 2 Nov 2016 20:11:14 +0000 (UTC)
X-Virus-Scanned: amavisd-new at mozilla.org
Received: from smtp.mozilla.org ([127.0.0.1]) by localhost (mx2.mail.scl3.mozilla.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id IUTlKJMrPDXT; Wed, 2 Nov 2016 20:11:14 +0000 (UTC)
Received: from [10.252.28.155] (corp.mtv2.mozilla.com [63.245.221.32]) (Authenticated sender: tterriberry@mozilla.com) by mx2.mail.scl3.mozilla.com (Postfix) with ESMTPSA id E0A62C1533; Wed, 2 Nov 2016 20:11:12 +0000 (UTC)
Message-ID: <581A485F.3000803@mozilla.com>
Date: Wed, 02 Nov 2016 13:11:11 -0700
From: "Timothy B. Terriberry" <tterriberry@mozilla.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:29.0) Gecko/20100101 SeaMonkey/2.26
MIME-Version: 1.0
To: RFC Errata System <rfc-editor@rfc-editor.org>, jmvalin@jmvalin.ca, koenvos74@gmail.com, ben@nostrum.com, alissa@cooperw.in, aamelnikov@fastmail.fm, mzanaty@cisco.com
References: <20161102190547.CBBE1B80109@rfc-editor.org>
In-Reply-To: <20161102190547.CBBE1B80109@rfc-editor.org>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 7bit
Archived-At: <https://mailarchive.ietf.org/arch/msg/codec/nClmBh29x90PtUxt52k_U-KHbNA>
Cc: codec@ietf.org, atomnuker@gmail.com
Subject: Re: [codec] [Technical Errata Reported] RFC6716 (4853)
X-BeenThere: codec@ietf.org
X-Mailman-Version: 2.1.17
Precedence: list
List-Id: Codec WG <codec.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/codec>, <mailto:codec-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/codec/>
List-Post: <mailto:codec@ietf.org>
List-Help: <mailto:codec-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/codec>, <mailto:codec-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 02 Nov 2016 20:11:15 -0000

RFC Errata System wrote:
> --------------------------------------
> Type: Technical
> Reported by: Rostislav Pehlivanov <atomnuker@gmail.com>
>
> Section: 5.1.1
>
> Original Text
> -------------
>                                      rng
>                          rng = rng - --- * (fh - fl)
>                                      ft
>
> Corrected Text
> --------------
>                                      rng
>                          rng = rng - --- * (ft - fh)
>                                      ft
>
> Notes
> -----
> Equation should match with the one in the range decoder (section 4.1.2), however comparing the two and the reference implementation reveals the equation in section 5.1.1 to be incorrect.

I think this report is correct and should be Verified. Although the code 
is authoritative, this section of the text is complete enough for 
someone to implement this feature directly from the text, so it will 
cause confusion if they don't actually match.