Re: [braid] Re: New Version Notification for draft-toomim-httpbis-versions-00.txt

Michael Toomim <toomim@gmail.com> Thu, 25 July 2024 10:13 UTC

Received: by ietfa.amsl.com (Postfix) id 882D4C1840FA; Thu, 25 Jul 2024 03:13:48 -0700 (PDT)
Delivered-To: ietfarch-httpbisa-archive-bis2juki@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 876E5C14CE29 for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Thu, 25 Jul 2024 03:13:48 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -2.85
X-Spam-Level:
X-Spam-Status: No, score=-2.85 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, HEADER_FROM_DIFFERENT_DOMAINS=0.25, HTML_MESSAGE=0.001, MAILING_LIST_MULTI=-1, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, T_SCC_BODY_TEXT_LINE=-0.01] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=w3.org header.b="JF1O1vcC"; dkim=pass (2048-bit key) header.d=w3.org header.b="IV/irbm9"; dkim=pass (2048-bit key) header.d=gmail.com header.b="gbaMNVje"
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 RzXN5OhpSWjc for <ietfarch-httpbisa-archive-bis2Juki@ietfa.amsl.com>; Thu, 25 Jul 2024 03:13:48 -0700 (PDT)
Received: from mab.w3.org (mab.w3.org [IPv6:2600:1f18:7d7a:2700:d091:4b25:8566:8113]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id D1308C180B63 for <httpbisa-archive-bis2Juki@ietf.org>; Thu, 25 Jul 2024 03:13:47 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=w3.org; s=s1; h=Subject:In-Reply-To:From:References:Cc:To:MIME-Version:Date: Message-ID:Content-Type:Reply-To; bh=3vtoBRIHgM+8MwWJsYrgN4WeOXwpamAPMd198NcV368=; b=JF1O1vcCgxr670h3wnlLY8T0Yl esslDYGP6aSs62hbxBl5s7xU+I+v/gnkdMDWrN1PyvTeWdEaJ/q9RgVbSOY01dHPAIoVJx6VQC231 HQIhRkn4Qiyxs9kTTlyLcmmoypRLm6J6M+ib2Yuo93qCf/CB7UAw38yDYP34xvUL8H7SJhGxWaRSk Nw3cSW5m4RIlQqXa3UL9hyJtD14f6tTYuSFwhlRwxaRXV5heSs/UnepoHXAZfA/DDWEJpwVOnmN1v KbtHsYj6lYvHuOw6Z3hq7cRwr/I4YRsodDiM55jp3RNS93DLI41iNaiBaSraJ92cDyDXHE2+M5ZEn LmV56xlg==;
Received: from lists by mab.w3.org with local (Exim 4.96) (envelope-from <ietf-http-wg-request@listhub.w3.org>) id 1sWvTN-006gPU-0Q for ietf-http-wg-dist@listhub.w3.org; Thu, 25 Jul 2024 10:13:21 +0000
Resent-Date: Thu, 25 Jul 2024 10:13:21 +0000
Resent-Message-Id: <E1sWvTN-006gPU-0Q@mab.w3.org>
Received: from ip-10-0-0-224.ec2.internal ([10.0.0.224] helo=puck.w3.org) by mab.w3.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from <toomim@gmail.com>) id 1sWvTL-006gOZ-1C for ietf-http-wg@listhub.w3.internal; Thu, 25 Jul 2024 10:13:19 +0000
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=w3.org; s=s1; h=In-Reply-To:From:References:Cc:To:Subject:MIME-Version:Date: Message-ID:Content-Type:Reply-To; bh=3vtoBRIHgM+8MwWJsYrgN4WeOXwpamAPMd198NcV368=; t=1721902399; x=1722766399; b=IV/irbm9tCg19i9pQsaJWDnXYS9Y17h9MoaonvURrdSVks6d1TqdiGym2ZjwYTXkdIDsP71Yt2A 908vjMOoWLYN31nKZ8A6H+w1yyA+nNrEWIVk8mHPM5beur0gPrFuC7Hm7X1R7pABDz0hZxB3QT49W 32n66Puhhlr2o2Y0laZN6bIwzJNfIK1izWPP8YkcU3txC8/lWTrQQCuuLeuYzRZKQD4XM75CZFU6w rWjG+ReN5UB7PBhwjIshRsB8sKpbyflDAz7NBMInBPQ3gt0/sv8HA/ejgrW3rN6wLrtZMpHONtaC/ hjky4jBbhg6xoSIrHTfJOo6V0DuZlYrfhpHg==;
Received-SPF: pass (puck.w3.org: domain of gmail.com designates 2607:f8b0:4864:20::1033 as permitted sender) client-ip=2607:f8b0:4864:20::1033; envelope-from=toomim@gmail.com; helo=mail-pj1-x1033.google.com;
Received: from mail-pj1-x1033.google.com ([2607:f8b0:4864:20::1033]) by puck.w3.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.96) (envelope-from <toomim@gmail.com>) id 1sWvTK-004O0X-2T for ietf-http-wg@w3.org; Thu, 25 Jul 2024 10:13:19 +0000
Received: by mail-pj1-x1033.google.com with SMTP id 98e67ed59e1d1-2cb4c4de4cbso549007a91.1 for <ietf-http-wg@w3.org>; Thu, 25 Jul 2024 03:13:18 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1721902395; x=1722507195; darn=w3.org; h=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=3vtoBRIHgM+8MwWJsYrgN4WeOXwpamAPMd198NcV368=; b=gbaMNVje0QmhTIvYC3RDnHg+S9k06n4PZI1nmzsWjDBxNhFifxbbb2JYhVSeNayLIj JF79etlxtDaXqoJqc+zPQUple4cWBCbA91RycrZDNNutxbRKIQpH73GKVbPMo065/Tsq 10Qfyzy6G+LhG9sukOsqTPVMK0cgBTt0ziu1IVIyKe/5ylSrt9KRmcmg1SYI5lKsueLA ZALpffPvoxnakTReX3RMaoAkhg7iJ4RJGLLjRxK3iu8obEw3v/NexoqguRjwQFWesbLE rUOPUO7dP/WTgwFEDezrtHJsPretqw8IgSvz8VMCuc4wC6y3PMSJAMX8rRtvPvAQ5mSL t0PQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1721902395; x=1722507195; h=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=3vtoBRIHgM+8MwWJsYrgN4WeOXwpamAPMd198NcV368=; b=rIat0lUVZ8dh/VrSOtKlVvYmrevCATw2dyM90W7vUigfx/Tu4M95TB32ory6+cU0uN f3zKU80NlxJkgNREbZnrIEEEDZgTXIVGlYhbH0SZ/ti2stlT6psC1pnYgkuOGtHcpDMJ KODpqwigNYTFFBQbBkyNSFSU7UdT39t7yAo0bbgCAINY5c2WnDDwYtDxk214CfpxAqsx mh10fQS0u33o7DQng873zpJXUxH9gw2RsQnrFA54kDlLfGsTWTJeNdszJAdjyyZLSi/K HKDE8qJVm9uFsSgeRjSWTCSZIFgnWdADjhaBa8UGrx24vo9ygX61BZq1nD4eZUcMEdV1 5lxA==
X-Gm-Message-State: AOJu0Yy5WU5VuwQef0Phx45l3Hbpb/9YDeJE2aRUJUFErtTkdnXMVXxr fNxUCub7Nt4m5Iui1g99sBqlizgZYWb3/EI8BJFMmErziacty5Nl
X-Google-Smtp-Source: AGHT+IFMueNt5okJPJ4fbNMh5W6k5aWGRNZ4XPfj8z5OwAqfJZV7YCfVIF7nmC02aH0DK/RxeQCV2Q==
X-Received: by 2002:a17:90a:3ea3:b0:2c9:8f14:c02e with SMTP id 98e67ed59e1d1-2cf23772f87mr2678414a91.1.1721902394581; Thu, 25 Jul 2024 03:13:14 -0700 (PDT)
Received: from [172.31.7.130] ([207.194.231.35]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-2cdb739114bsm3256236a91.2.2024.07.25.03.13.13 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Thu, 25 Jul 2024 03:13:14 -0700 (PDT)
Content-Type: multipart/alternative; boundary="------------P8doYc8CokgeRpFBAXPX23b6"
Message-ID: <1e4fd529-4127-47f0-bf89-8bf6d2255c0c@gmail.com>
Date: Thu, 25 Jul 2024 03:13:13 -0700
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
To: Pierre Chapuis <catwell-gmail1@catwell.info>, Rory Hewitt <rory.hewitt@gmail.com>
Cc: HTTP Working Group <ietf-http-wg@w3.org>, Braid <braid-http@googlegroups.com>
References: <172046173132.445281.15041630415895010148@dt-datatracker-5f88556585-j5r2h> <ff54cd4f-c30e-4447-8744-3297e53b74be@gmail.com> <CAEmMwDxBnLtjRCasVz8ogz1c_Q=9XjYtpNu+sJ6UO==xO4QzJw@mail.gmail.com> <d713500c-c4db-4bf8-8096-edb0b5ff1751@gmail.com> <fdce4502-6888-4c27-bb14-c239e19e8771@app.fastmail.com>
Content-Language: en-US
From: Michael Toomim <toomim@gmail.com>
In-Reply-To: <fdce4502-6888-4c27-bb14-c239e19e8771@app.fastmail.com>
X-W3C-Hub-DKIM-Status: validation passed: (address=toomim@gmail.com domain=gmail.com), signature is good
X-W3C-Hub-Spam-Status: No, score=-5.1
X-W3C-Hub-Spam-Report: BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, DMARC_PASS=-0.001, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_KAM_HTML_FONT_INVALID=0.01, W3C_AA=-1, W3C_DB=-1, W3C_WL=-1
X-W3C-Scan-Sig: puck.w3.org 1sWvTK-004O0X-2T 257ffb7a77290f56c0f96e2b3ac7d336
X-Original-To: ietf-http-wg@w3.org
Subject: Re: [braid] Re: New Version Notification for draft-toomim-httpbis-versions-00.txt
Archived-At: <https://www.w3.org/mid/1e4fd529-4127-47f0-bf89-8bf6d2255c0c@gmail.com>
Resent-From: ietf-http-wg@w3.org
X-Mailing-List: <ietf-http-wg@w3.org> archive/latest/52131
X-Loop: ietf-http-wg@w3.org
Resent-Sender: ietf-http-wg-request@w3.org
Precedence: list
List-Id: <ietf-http-wg.w3.org>
List-Help: <https://www.w3.org/email/>
List-Post: <mailto:ietf-http-wg@w3.org>
List-Unsubscribe: <mailto:ietf-http-wg-request@w3.org?subject=unsubscribe>

Good point! I've clarified the spec 
<https://github.com/braid-org/braid-spec/commit/130da883cc663d7caed8090472dcd4f73df634c8> 
on merging by adding a reference to [Merge-Types].

Thank you!

On 7/22/24 8:04 PM, Pierre Chapuis wrote:
> > Any version can be recreated by first merging its parents, and then 
> applying the its update onto that merger.
>
> It either means there cannot be conflicts between parents - or in 
> other words that conflict resolution is deterministic, commutative 
> *and* associative (like CRDTs), or that updates must always contain 
> the conflict resolution of their parents like Git.
>
> That last solution also means updates can be rejected by the server if 
> its history is incoherent, and comes with its own issues. The way Git 
> works is that conflict resolution is always performed with human 
> intervention on pull, not on push.
>
> I know Braid has answers to this (Merge Types) and you are trying to 
> break up the spec here, but it is not surprising that if you have a 
> spec that says "versions can have several parents and you can merge 
> them" people are going to wonder how.