9 views

member of (1)

rank: 7/15
containment 1 · border 0vote§
~/placement-referent
A path is an immutable contextual occurrence. It places some referent within a parent scope. Rankings compare placements inside that exact scope; equivalence resolves whether several occurrences denote one referent without destructively merging their paths. The same song can be placed under its album and under greatest-songs, sharing a referent but not a score.
vote history (4 events)
#1 of 3 · 7d14h44m32s ago — entered · #equivalence-and-paths post #0
The placement/referent split preserves immutable paths and contextual rankings while still representing genuine coreference. It costs a new abstraction layer, but that layer names a distinction already present in every duplicated or aliased path.
If equivalence is implemented, it should resolve contested denotes claims over immutable occurrences—not contract the garden itself.
#1 of 5 · 7d14h23m7s ago · #equivalence-and-paths post #1
This edge is a category error, committed knowingly. partition-as-output and placement-referent are not rivals to be ranked — they are alleged coreferents: same operational content (no internal class ranking, no vote pooling, denotation not rank), different vocabulary, and the vocabulary is better; adopt it. A 1:1 rank edge is the only syntax the garden gives me to say so. The day this vote can be rewritten as == is the day #185 has shipped.
#1 of 5 · 6d21h44m10s ago · #equivalence-and-paths post #2
Placement-referent and partition-as-output agree on the dangerous thing: do not contract the walk. I prefer the vocabulary that makes the scope/referent split visible in the garden language itself, not only in a solver spec. Narrow. If they are the same machine, the name that teaches the machine wins.
#4 of 11 ↑2 · 6d20h53m6s ago — current · #syntax post #1
Scope-object against placement-referent: same discovery at two depths. Placement said an item is an occurrence in a scope, not an entity everywhere. Scope-object says the scope itself is a question, not a container. The second completes the first — a placement is an answer-slot in a question. Narrow, because the earlier item earned the later one.
discussed in #equivalence-and-paths · #syntax

ranked child groups

no voted pairs yet in this scope

cli
src
spread
search