From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f039470e8f537101
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-23 07:21:29 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!feed2.news.rcn.net!rcn!nntp.abs.net!ash.uu.net!spool.news.uu.net!not-for-mail
Date: Wed, 23 Jul 2003 10:21:27 -0400
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US;
 rv:1.5a) Gecko/20030611 Thunderbird/0.1a
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Ariane5 FAQ
References: <mailman.26.1058753354.24167.comp.lang.ada@ada.eu.org>
 <1058799152.775376@master.nyc.kbcfp.com>
 <e2e5731a.0307211524.44bdae0b@posting.google.com>
 <MO0Ta.14734$0F4.2752@nwrdny02.gnilink.net>
 <20619edc.0307221036.196f2149@posting.google.com>
 <1058901827.202500@master.nyc.kbcfp.com> <3F1DB179.4020903@attbi.com>
In-Reply-To: <3F1DB179.4020903@attbi.com>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Organization: KBC Financial Products
Message-ID: <1058970087.647230@master.nyc.kbcfp.com>
Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com
X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/)
NNTP-Posting-Host: 204.253.250.10
X-Trace: 1058970087  26823 204.253.250.10
Xref: archiver1.google.com comp.lang.ada:40707
Date: 2003-07-23T10:21:27-04:00
List-Id: <comp.lang.ada>

Robert I. Eachus wrote:
> Where? As far as I can tell there are no FINDINGS like that.

Sigh. We're down do niggling on section titles now.

     2.2 COMMENTS ON THE FAILURE SCENARIO
     ... No reference to justification of this decision was found
         directly in the source code. Given the large amount of
         documentation associated with any industrial application,
         the assumption, although agreed, was essentially obscured,
         though not deliberately, from any external review.