[Cbor] Re: I-D Action: draft-mcnally-deterministic-cbor-10.html

Anders Rundgren <anders.rundgren.net@gmail.com> Tue, 30 July 2024 20:46 UTC

Return-Path: <anders.rundgren.net@gmail.com>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id E63AFC15155B for <cbor@ietfa.amsl.com>; Tue, 30 Jul 2024 13:46:57 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -7.105
X-Spam-Level:
X-Spam-Status: No, score=-7.105 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_HI=-5, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01, URIBL_BLOCKED=0.001, URIBL_DBL_BLOCKED_OPENDNS=0.001, URIBL_ZEN_BLOCKED_OPENDNS=0.001] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id IUN3JaEHTF4I for <cbor@ietfa.amsl.com>; Tue, 30 Jul 2024 13:46:54 -0700 (PDT)
Received: from mail-wr1-x42e.google.com (mail-wr1-x42e.google.com [IPv6:2a00:1450:4864:20::42e]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature ECDSA (P-256) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 507A3C14F71C for <cbor@ietf.org>; Tue, 30 Jul 2024 13:46:54 -0700 (PDT)
Received: by mail-wr1-x42e.google.com with SMTP id ffacd0b85a97d-3684eb5be64so2630100f8f.3 for <cbor@ietf.org>; Tue, 30 Jul 2024 13:46:54 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1722372412; x=1722977212; darn=ietf.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:cc:to:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=VACu8nQWnIpEP7D3WR8+kOuD/ytesgBMEve/auV7EjY=; b=LYW6uFzFh99L9cMFzsXE8Bm70nr3lwEq+jGspRENCjqWJdjlIPppyZ5nu968qDlteA E+8rvXQhynbwdrvLaEGD6pcSzy6SkboCn9LzeqS1hzVAURygdT4IdwtRNfEd8QE1luEC CkfxCcpYZqiS1Sut3TSgt1FiyN3VQozEougu1xfSjkp4LamsZomDWFTyMOQRNdUvslTZ 2o7pVnJE/e6yAH/peejysUrbXPLcjEtbbrBz9s3JM43fZZze8L0KCEZgjXDOHum1tmCt JNcDj6sFzVyvtLtB8+uPQ7e5z8JrUMuUJeBGoFiEwRoMfjOB1SMzIMh0ScoVL9Xm2ozO GfhA==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722372412; x=1722977212; h=content-transfer-encoding:in-reply-to:from:content-language :references:cc:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=VACu8nQWnIpEP7D3WR8+kOuD/ytesgBMEve/auV7EjY=; b=gPnCZ5o5purh+rYqNJQoM49MpG/+2XwjouGpMEoAlMguAWppQ4KhHwViwRBDyNaYhf g45KhtiMm4pCbXgnaZzBs9bCP3eRw3lFXEWmVqyKB3WcqkcM+LvEGYVWa/aDQsVJzYKb OJKo0h+mhH7YgDaegUVhHpj8yWTb6cPwaPaoUj7J4k5DtCB1aMVHdlxHNHUrN5mmahb6 yI4w3scxmOkRicda78P/se1yFO5QdH5NDqkp35dbvZem0TRxPtq3eUD1FMYmHh1tJccE lc+f5Pn5/t0mDHHg/VAwuy5xNKwTFPge+nYd7gzz+eY2sAY3AUe5ZjQ/OhFDwzgfifmk MrrQ==
X-Forwarded-Encrypted: i=1; AJvYcCUVASSSgVfz9O8cH5tZXx7pwly5s+y6mSsfHRyVuuLjEs91BGRkfi8I48uziPB97aOuFvwT5WV7LLsqiy53
X-Gm-Message-State: AOJu0Yx8JQ8MSQQ4ZFt4OD/LXffVUfJBm/KiHu+WsxJ3XekEF+w3Obvv aGbAKl5ADOjoRSI3+MiRjdoOqvhzK+XZH1Vpr42kyqiuaNj2ab38j2hcow==
X-Google-Smtp-Source: AGHT+IFlBxTHxrVVN94p1DD7a/JEEax96zuR8SKWS2ftqi4RQlCX4MtXhaXRWfaIaTnaBGpB1oxL5w==
X-Received: by 2002:adf:e74e:0:b0:367:83e9:b4a5 with SMTP id ffacd0b85a97d-36b5d092cc5mr8823610f8f.49.1722372412193; Tue, 30 Jul 2024 13:46:52 -0700 (PDT)
Received: from ?IPV6:2a01:e0a:e1b:64b0:5c04:8a55:7c48:b67? ([2a01:e0a:e1b:64b0:5c04:8a55:7c48:b67]) by smtp.googlemail.com with ESMTPSA id 5b1f17b1804b1-4280a04a366sm192466215e9.1.2024.07.30.13.46.51 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 30 Jul 2024 13:46:51 -0700 (PDT)
Message-ID: <ae409f6c-f5f9-4fa4-b8aa-bb4565fffbd3@gmail.com>
Date: Tue, 30 Jul 2024 22:46:50 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: Christopher Allen <christophera@lifewithalacrity.com>
References: <a962e326-ab3f-4857-a1ee-2042cf87f32a@gmail.com> <F3E4450A-EA4B-437E-9C58-5DB3972A152C@island-resort.com> <6601a16c-2b2e-45b2-b4e8-7bd4ba136401@gmail.com> <ea6a35e1-18a7-4bea-8ff8-5249e1f26b71@gmail.com> <CAEBC446-7730-4473-AC93-7908ADCB78B4@wolfmcnally.com> <5a2b1212-200e-4c17-acdf-1278c4539531@gmail.com> <2BFB6C9E-62C5-4DB9-B289-D870B546EC26@cursive.net> <4752c6cb-5c20-4eb4-b33f-99e79e49b8fe@gmail.com> <CAAse2dFAPuY5sxOoKvSrimQf99YqoqU6-a8fmYixEJ-wXtAiXg@mail.gmail.com>
Content-Language: en-US
From: Anders Rundgren <anders.rundgren.net@gmail.com>
In-Reply-To: <CAAse2dFAPuY5sxOoKvSrimQf99YqoqU6-a8fmYixEJ-wXtAiXg@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Message-ID-Hash: W25BOKPH3HFGJGGHPK63OONABDK3ZHYQ
X-Message-ID-Hash: W25BOKPH3HFGJGGHPK63OONABDK3ZHYQ
X-MailFrom: anders.rundgren.net@gmail.com
X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; header-match-cbor.ietf.org-0; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header
CC: Joe Hildebrand <hildjj@cursive.net>, Wolf McNally <wolf@wolfmcnally.com>, CBOR <cbor@ietf.org>, Shannon Appelcline <shannon.appelcline@gmail.com>, Carsten Bormann <cabo@tzi.org>, Laurence Lundblade <lgl@island-resort.com>
X-Mailman-Version: 3.3.9rc4
Precedence: list
Subject: [Cbor] Re: I-D Action: draft-mcnally-deterministic-cbor-10.html
List-Id: "Concise Binary Object Representation (CBOR)" <cbor.ietf.org>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/F1LRahyP11SMx2PxVWAoqmPeBCM>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Owner: <mailto:cbor-owner@ietf.org>
List-Post: <mailto:cbor@ietf.org>
List-Subscribe: <mailto:cbor-join@ietf.org>
List-Unsubscribe: <mailto:cbor-leave@ietf.org>

Hi Christopher,

On 2024-07-30 22:22, Christopher Allen wrote:
> 
> On Mon, Jul 29, 2024 at 11:21 PM Anders Rundgren <anders.rundgren.net@gmail.com <mailto:anders.rundgren.net@gmail.com>> wrote:
> 
>     On 2024-07-29 15:49, Joe Hildebrand wrote:
> 
>      > - I'm still not sold on bidirectional diagnostic notation, and have not planned on writing a parser for it, but I'm still thinking about that.  However, I don't see what it has to do with this discussion.
> 
> 
>     Well, it has.  This feature permits writing and reading fully compatible CDE from external text based databases [1].  Gordian Envelopes rely on a similar feature but using dCBOR.
> 
> 
> To be clear, we do have something called Envelope Notation, but it is not bidirectional. It is designed to make the envelope structures clear for debugging purposes only.
> 
> ```
> "Alice" [
>      "knows": "Bob"
> ]
> ```
> 
> or with --tree
> 
> ```
> e54d6fd3 NODE
>      27840350 subj "Alice"
>      55560bdf ASSERTION
>          7092d620 pred "knows"
>          9a771715 obj "Bob"
> ```
> We do have a `dcbor-cli` app
> https://github.com/BlockchainCommons/bc-dcbor-cli <https://github.com/BlockchainCommons/bc-dcbor-cli> that supports basic CBOR diagnostic output, but I would not say that it is a full implementation of latest notation specs — again, our purpose is not round trip but to enable clarity of structures for debugging. I'm not even sure we test round-tripping.
> 

Thanx!

> An important point here is that round-tripping of binary to text and back can actually get in the way of useful debugging support for software engineers.

FWIW, this ability is why I prefer CDE.  If you write 2.0 in the left window of https://cbor.me and press the -> button it will come out as CBOR hex in the right window.  If you then push the <- button it will still render as 2.0.  Using the dCBOR option breaks this scheme.

This is an intrinsic part of what I call the Enterprise Application profile: https://mailarchive.ietf.org/arch/msg/cbor/PFZXSxyvQ7zG6Cj6QmzHd-_K52g/

Anders

> 
> -- Christopher Allen