Re: [I18nrp] Mappings for IDNA2008 ?

Martin J. Dürst <duerst@it.aoyama.ac.jp> Wed, 13 February 2019 10:31 UTC

Return-Path: <duerst@it.aoyama.ac.jp>
X-Original-To: i18nrp@ietfa.amsl.com
Delivered-To: i18nrp@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 24FB312894E for <i18nrp@ietfa.amsl.com>; Wed, 13 Feb 2019 02:31:19 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -0.922
X-Spam-Level:
X-Spam-Status: No, score=-0.922 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, FROM_EXCESS_BASE64=0.979, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=no autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=itaoyama.onmicrosoft.com
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 Y5sPnvSbbYjI for <i18nrp@ietfa.amsl.com>; Wed, 13 Feb 2019 02:31:17 -0800 (PST)
Received: from JPN01-OS2-obe.outbound.protection.outlook.com (mail-eopbgr1410094.outbound.protection.outlook.com [40.107.141.94]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id DDC821274D0 for <i18nrp@ietf.org>; Wed, 13 Feb 2019 02:31:16 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=itaoyama.onmicrosoft.com; s=selector1-it-aoyama-ac-jp; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=npohCLUXD3w6IgPL+5fo2QiG90iWR41oWUZ5mzwjP78=; b=BQco8VW8gupImP5r7p0fBjsb22tRDh+Y5vWbO0tY/Qju+uxzop3e+unuHX+6mXuWuLsE8HJvP42YCMFRrqPMxZ4Bb0qERrKawxIxoFTdWYwl37kADUhh0SLc7K8JKG3a7+iSWzYBNAAFTKn8xH4E/FOQSHFMWREwaz7m4FrDse0=
Received: from TYAPR01MB5149.jpnprd01.prod.outlook.com (20.179.187.18) by TYAPR01MB2141.jpnprd01.prod.outlook.com (52.133.177.18) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.1601.21; Wed, 13 Feb 2019 10:31:14 +0000
Received: from TYAPR01MB5149.jpnprd01.prod.outlook.com ([fe80::6d0f:10e4:f18d:70e7]) by TYAPR01MB5149.jpnprd01.prod.outlook.com ([fe80::6d0f:10e4:f18d:70e7%3]) with mapi id 15.20.1622.016; Wed, 13 Feb 2019 10:31:14 +0000
From: =?utf-8?B?TWFydGluIEouIETDvHJzdA==?= <duerst@it.aoyama.ac.jp>
To: =?utf-8?B?UGF0cmlrIEbDpGx0c3Ryw7Zt?= <paf@frobbit.se>
CC: "i18nrp@ietf.org" <i18nrp@ietf.org>
Thread-Topic: [I18nrp] Mappings for IDNA2008 ?
Thread-Index: AQHUv4PUGbQc9j/dO0KIwdn0vuyZBKXdYX0AgAAJSQCAAAGYAIAAIxUA
Date: Wed, 13 Feb 2019 10:31:14 +0000
Message-ID: <47f746f8-b314-1263-0925-e049de90856f@it.aoyama.ac.jp>
References: <20190204225047.02583200DC1666@ary.qy> <6660b7e2-1d5b-6a5d-3d1c-55a757e24843@ix.netcom.com> <ADDA4540-9169-4EE6-B33E-3A0D9EED0BD7@frobbit.se> <16ff0d27-9508-7fdd-bc89-9d6fd47396b1@ix.netcom.com> <D5B49CC8-7AEF-4E81-8774-F3F1F05682E8@frobbit.se> <320f4bc3-17b1-595b-34c7-8f95f69c0f33@ix.netcom.com> <B87C6774-4FF7-4A18-A81D-D0834401C293@frobbit.se> <bc7b727d-f75c-bbba-4f63-ebd1dcd87085@it.aoyama.ac.jp> <A5549B92-9414-4210-A94D-8E53339D3961@frobbit.se> <96242bed-ec65-5955-5a4d-5699b9e3cfb9@it.aoyama.ac.jp> <2207F716-8033-46B7-A750-FB226B870D86@frobbit.se> <ccfd52e0-25b9-b04d-0bcf-701606077296@ix.netcom.com> <EDE1FBF9-CDBA-476A-BB8A-15CFF60EAA06@frobbit.se>
In-Reply-To: <EDE1FBF9-CDBA-476A-BB8A-15CFF60EAA06@frobbit.se>
Accept-Language: en-US
Content-Language: en-US
X-MS-Has-Attach:
X-MS-TNEF-Correlator:
x-clientproxiedby: TY2PR01CA0026.jpnprd01.prod.outlook.com (2603:1096:404:ce::14) To TYAPR01MB5149.jpnprd01.prod.outlook.com (2603:1096:404:12e::18)
authentication-results: spf=none (sender IP is ) smtp.mailfrom=duerst@it.aoyama.ac.jp;
x-ms-exchange-messagesentrepresentingtype: 1
x-originating-ip: [133.2.210.64]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: a857f9d5-ddde-4482-87e3-08d6919e611a
x-microsoft-antispam: BCL:0; PCL:0; RULEID:(2390118)(7020095)(4652040)(7021145)(8989299)(4534185)(7022145)(4603075)(4627221)(201702281549075)(8990200)(7048125)(7024125)(7025125)(7027125)(7023125)(5600110)(711020)(4605077)(2017052603328)(7153060)(7193020); SRVR:TYAPR01MB2141;
x-ms-traffictypediagnostic: TYAPR01MB2141:
x-microsoft-antispam-prvs: <TYAPR01MB2141A3E1CECFDDA8210690D6CA660@TYAPR01MB2141.jpnprd01.prod.outlook.com>
x-forefront-prvs: 094700CA91
x-forefront-antispam-report: SFV:NSPM; SFS:(10019020)(136003)(346002)(366004)(396003)(376002)(39840400004)(199004)(189003)(476003)(85202003)(6916009)(11346002)(31686004)(7736002)(316002)(14454004)(106356001)(3846002)(85182001)(6116002)(6512007)(105586002)(446003)(786003)(31696002)(6506007)(26005)(6436002)(386003)(99286004)(52116002)(486006)(2616005)(53546011)(186003)(93886005)(66574012)(229853002)(305945005)(86362001)(102836004)(8936002)(68736007)(76176011)(81166006)(508600001)(25786009)(71190400001)(71200400001)(2906002)(66066001)(6486002)(53936002)(6246003)(81156014)(97736004)(14444005)(4326008)(256004)(8676002)(74482002); DIR:OUT; SFP:1102; SCL:1; SRVR:TYAPR01MB2141; H:TYAPR01MB5149.jpnprd01.prod.outlook.com; FPR:; SPF:None; LANG:en; PTR:InfoNoRecords; A:0; MX:1;
received-spf: None (protection.outlook.com: it.aoyama.ac.jp does not designate permitted sender hosts)
x-microsoft-exchange-diagnostics: =?utf-8?B?MTtUWUFQUjAxTUIyMTQxOzIzOlUxRUE0VXdhNGcwQmgvd01VQzd0UkNPd283?= =?utf-8?B?VFdERkpYbGtENGRRRzZRQlRhck5LZjlScm9nYmdCM0ZhREF5bmJGdlZuNm5B?= =?utf-8?B?b2tOVWdhOHhsSG5qNlVoT3JCSlREZ0RKdTdxSnhpdG12bzd0eHF4VmtTa24v?= =?utf-8?B?NS9USGhIRWkwZ01XRGhQRzJxRTduTzJ4QU1CWWV1UWw3KzNPTy9YSGJZaDVn?= =?utf-8?B?dFNMdlprWnFaZ0RYcklWQmk2U1hQdG1PaVBOdnJraEZlSmF1b3pabURaeU9E?= =?utf-8?B?ZHIzdWJOTGFRd3B1UnYvWjJ5UDJneUJPWk5zcm1UaFcrOW50RkFtdlRoNTY0?= =?utf-8?B?aEpWN2c0bDZTekh5WThUeDl6WUVmczZXVmRxOHZGeCtPVzY4Q1AxSkxyMWNK?= =?utf-8?B?SkxYalZTOUppa1VuUmlkd3BNNG5DUVp4QjNTTU0weG9zQzRIbjVXbkJyL29R?= =?utf-8?B?bEduK1FvcGI3N291blBPOUtJTE12MC9qM21oV1h5WWpNSzJPV0Q1V2RvZWpL?= =?utf-8?B?aE5SV1Y3amtZc3QvWXZLaWlHTFM3STZYUnJsREhqN3V6dHhWbTl3TmkxOXAr?= =?utf-8?B?K0YyTVlUS2tKS3FaNFFvbXBOWUdUR2kwNmdENkxYU3ZsWVQ5VjJETzVBc2pV?= =?utf-8?B?RHA2Tm1BbWxMZTJzLzFBMmJ6elNEdUNBekhxZGN4RkdIR0RscnRIakMwalZR?= =?utf-8?B?ak54OUtyRkdhTmkyZ0o5VWMvK09wTHFPT1dXNHl4ZFl4ZHZJUzdISjcvcXQv?= =?utf-8?B?RGhWNlZ2ZDFld2dUbmYxejZXM25hSlRxcW4vSm16TVFQdnBTS2l4VnZhMVlN?= =?utf-8?B?bUhQWW1xQWg2SzVXYjNLbHQwalBFcmFVb3JsL3cxTGlwVEhiQStIcTBxdElR?= =?utf-8?B?RWo1U05LaCt6ZjJrd0VOeTBWaGdjeCtROCtiZjl4eUF1M3liaUVWRXBsTXMw?= =?utf-8?B?VlZxcTVWWDFydmlERHJUZTlEbkNzS01yYnJockJyNGM2cGFVRk5jSlo2MnJ6?= =?utf-8?B?YWdid0d1V1VDUVBuNU45WWh0U1N2N0FwbGY2WjBTUi9qQ1VFVUxLaGNReHNC?= =?utf-8?B?WFZYYlBzTW5iVzIzcGR6MmFycGJ4WkFwWXlrSHJiTU4xSmQ4WHZReVA4RkFQ?= =?utf-8?B?dnQ3SDZOSncvc1Fobk1qS1BVM2YxZ2lnRkY4bHhaYmQybldKUDd0RTU5UGNv?= =?utf-8?B?cklZMEVlVlVXd1A0cDJhaWRNd2g0L3hJemRuVjNrell6Tms3ZlY5V0l6eHhF?= =?utf-8?B?Nno4bDRIWCs2UXVubWpPNThIZnY5L3FwRnlMTC9UbVgvNll4akV3cUtSWkZS?= =?utf-8?B?VUp0L281ZFY1VEswNndpMW14T01pZ05pdXFRUEpDeFN4NVdMbE5sQ3NaVUht?= =?utf-8?B?WFNYTUQzTFZUTHdJN3BUSkh1dlUwc2MyZVNSd0pMYTFHU3NhUENoNVo2amEx?= =?utf-8?B?TDFsRFg0RTlYak5VWkpQQlU3VFdKZHJoYXBGMCs0K2lhaUQ1N1pJQWdMc0p5?= =?utf-8?B?c0xjc05QMkMwZ2pSMnFPTDZ2bUN3YTVoSlNnMXJOdU9OMVR6S0FCeUo1VFNz?= =?utf-8?B?VU42L0lPYXpQUWJXNm1wZW9PVFpYVmpkSGJJMWk5YmVvSUxDVFlwWGt3UHda?= =?utf-8?B?bzNPSDkycVNOZXEvcUdjU08wNG80YkZ3b1hjUXZLeWNrRHdSMldSUWJuRkNM?= =?utf-8?B?NGUzL0RtTU83UklpYk5sSVhUMSt5QWN1ZXNEbzRKUks0TmhYQ2MxeDBHbjJN?= =?utf-8?B?N1ZEMGJpWEgxbTM5Zi9UOXQ2c1BheVEweWo5SzBTYW1sbVVWK3JGY2ZpWUgv?= =?utf-8?Q?2Ej3SKvhFYDqe?=
x-ms-exchange-senderadcheck: 1
x-microsoft-antispam-message-info: qBRqFakrckqi83GdCYB4FQVswh8GZ1xDkG67qQro9tivz+xn6JuxJg2wGQtinXFPqANripR8/WjMyfjuE2g4vJkSOHTYj/lsBc49eOm0/8BumD/cYOhaJZBWqMN+L5fSe71D7QUlaVUPoxy6jtJsiBU+PjrnM+JylyJ2KOFYLUOpgOnAVXREBUfLV5QbK1cTh+IVALCsUNRxtKZdpXHbSlfiPpTx2TCbc+bD2YDkJCBzEwPNBuGaAl9rNgeq75DltzQmKOKAINFda7bMVuUDIKM20cXee4Ttqw6COLczBN8wyLxayasPMwj0JOeKCM2tTEtuKyJvs3b87Ac+iXwnBQCxJlYPa0/MAcaMNspjxgzewBWPWh29H2etC9bJmutU5uTze+MmzHPlBZDwboY4qvHxVcyLD2YcJG2uON4qGDs=
Content-Type: text/plain; charset="utf-8"
Content-ID: <CE2C1FE67F4DD040AF2C861741632913@jpnprd01.prod.outlook.com>
Content-Transfer-Encoding: base64
MIME-Version: 1.0
X-OriginatorOrg: it.aoyama.ac.jp
X-MS-Exchange-CrossTenant-Network-Message-Id: a857f9d5-ddde-4482-87e3-08d6919e611a
X-MS-Exchange-CrossTenant-originalarrivaltime: 13 Feb 2019 10:31:13.8882 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-mailboxtype: HOSTED
X-MS-Exchange-CrossTenant-id: e02030e7-4d45-463e-a968-0290e738c18e
X-MS-Exchange-Transport-CrossTenantHeadersStamped: TYAPR01MB2141
Archived-At: <https://mailarchive.ietf.org/arch/msg/i18nrp/3aKcyYxWngWKE5ahG2_YTAPvj2Q>
Subject: Re: [I18nrp] Mappings for IDNA2008 ?
X-BeenThere: i18nrp@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Internationalization Review Procedures <i18nrp.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/i18nrp>, <mailto:i18nrp-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/i18nrp/>
List-Post: <mailto:i18nrp@ietf.org>
List-Help: <mailto:i18nrp-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/i18nrp>, <mailto:i18nrp-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 13 Feb 2019 10:31:19 -0000

Hello Patrik, others,

On 2019/02/13 17:25, Patrik Fältström wrote:
> 
> 
>> On 13 Feb 2019, at 09:19, Asmus Freytag (c) <asmusf@ix.netcom.com>; wrote:
>>
>>> On 2/12/2019 11:46 PM, Patrik Fältström wrote:
>>>
>>>> On 13 Feb 2019, at 08:18, Martin J. Dürst <duerst@it.aoyama.ac.jp>; wrote:
>>>>
>>>> If f(x) is the generic mapping, and f'(x) is the mapping of the
>>>> exceptions, then f(f'(x)), which applies f' *before* f, should do the job.
>>> This works in some cases and not in other cases.
>> Examples?
> 
> This is math. :-)
> 
> If f(x)=x’ and in the locale used f(x) should be x and not x’, you have dependencies between f(x) and f’(x) if you want f(f’(x)) to be x’ and f(f”(x)) to be x.

Well, I have to admit that I didn't explicitly talk about that case in 
my 'proof'. For functions in general (e.g. a function such as f(x) = 
(x+7) mod 15), you are right.

But f(x) (the general mapping function) is idempotent (i.e. f(x) = 
f(f(x)), which means that you can map as many times as you want, you 
always get the same result). This is also true for any locale-dependent 
mapping function. If it were not the case, human users would be very 
surprised: a maps to A, but then A maps to a: That wouldn't make any sense.

Also, and even more important, for the general mapping function, if x is 
allowed in IDNs, then f(x) = x. This may not be true for a 
locale-dependent mapping function (i.e. it would be possible for a 
German mapping function to map (Hungarian) ȁ to ä, although that's not 
needed because German keyboards won't produce ȁ in the first place).

So if f(x)=x', that would mean that x is not allowed in IDNs. That would 
mean that it is impossible that in a specific locale, the desired result 
of f(f'(x)) is x. It may be different from x', i.e. y, but we can easily 
get this by defining that f'(x) = y.

So applying the (in most if not all cases very small) locale-specific 
mapping before the general mapping always will work.

Regards,   Martin.