Re: [xdi] Nested inner root fun on Friday morning

["=Drummond Reed" <drummond.reed@xdi.org>]

Dan,

All good questions, but Markus' work on implementing link contracts using inner roots has unearthed a deeper question that we need to answer first as a TC before we can give you answers to your questions. I'll post a message about that next. Once we finish that thread, let's get back to your questions.

=Drummond 

On Fri, Jun 6, 2014 at 3:55 AM, Dan Blum <dan@respectnetwork.net> wrote:

Unfortunately, as good as I am at English, I'm that bad at XDI. However, I have potential because I was once an excellent assembly language programmer. 

Please let me know if I should stop asking questions because everyone understands this and I'm just getting too old, or if I should continue asking :-)

Anyway, here are my questions. Markus, Drummond or Joseph could you answer them on the list because there will never be time to cover this in a rambling conversation with a large group :-)

Can you please describe in English what the equivalent statements above are all trying to say?

e.g. "this is 1111's copy of a public link contract for the graph of Markus" (but I perhaps there's more to it, a $ref I don't understand for example)? If probably needs a paragraph in English to explain this.

Why is there an inner root for a public link contract?

e.g. "because 1111 needs to "remember" that it can access Markus's graph"

Why is there a second inner root?

Why do we need both a short and long notation?

Thanks,

Dan

On Fri, Jun 6, 2014 at 4:53 AM, Markus Sabadello <markus.sabadello@xdi.org> wrote:

I think the following are all equivalent notations for the same graph:

1. ([=]!:uuid:1111/$public)($do/$get)=markus/$ref/([=]!:uuid:1111/$public)($do/$get)[=]!:uuid:1111

2. [=]!:uuid:1111/$public/($do/$get/(=markus/$ref/[=]!:uuid:1111))

3. ([=]!:uuid:1111/$public)$do/$get/(=markus/$ref/[=]!:uuid:1111))

4. [=]!:uuid:1111/$public/(($do/$get)=markus/$ref/($do/$get)[=]!:uuid:1111))

In 1. the first inner root is in normal notation, and the second inner root is in normal notation.
In 2. the first inner root is in short notation, and the second inner root is in short notation.
In 3. the first inner root is in normal notation, and the second inner root is in short notation.
In 4. the first inner root is in short notation, and the second inner root is in normal notation.

Markus