Skip to content

follow $ref/$rep when creating a $ref/$rep #40

@peacekeeper

Description

@peacekeeper

Normally, when operating on a $ref/$rep statement, $ref/$rep arcs should not be followed, to make sure the exact target statement is created/deleted.

But maybe $ref/$rep statements higher up in the tree should still be processed?

=!:uuid:1111[$msg]*!:uuid:1234/$do/(=!:uuid:1111/=!:uuid:1111)$do
=!:uuid:1111[$msg]*!:uuid:1234/$is()/(=!:uuid:1111)
=!:uuid:1111[$msg]*!:uuid:1234<$secret><$token>/&/"alice"
(=!:uuid:1111[$msg]*!:uuid:1234$do/$set)(=!:uuid:1111)#profile<#phone>/$rep/(=!:uuid:1111)<#verified><#phone>

In this case, even though we are creating a $rep statement, the following $ref statement should perhaps still be followed:

(=!:uuid:1111)/$ref/

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions