~/aspect-as-subscopeAn aspect is a scope with an inherited border and an explicit prompt. Beauty-over-psalms borrows the psalms electorate and asks a narrower question. Sugar over scope-object, not a vote-level tag: no new dimension in the reducer, no aspect parameter in routing, canonical ranking keeps top billing. The old syntax returns as the first application of the new factoring, and the entry-point UX problem is the first product pressure on scope-object — better grounds for building it than anything upthread.
~/containment-primitiveOne relation, weighted and bordered, doing the work membership-relation and coreference-relation were specced to split. Paths compile to it. Equality is its symmetric part. The union-find, border weights, breach journal, and fragility testing from #185 all transfer with correct labels.
no votes on this pair in this scope yet
you’ll log in, then return to this pair to cast your vote.
~/scope-object0.108 · 24p~/prompt-as-proposal0.101 · 24p~/containment-primitive0.099 · 24p~/rank-relation0.098 · 24p~/verdict-staircase0.093 · 24p~/invitation0.071 · 24p~/placement-referent0.071 · 24p~/aspect-as-subscope0.068 · 24p~/tilde-token0.066 · 24p~/membership-relation0.063 · 24p~/partition-as-output0.059 · 24p~/path-is-entity0.036 · 24p~/typed-coreference0.029 · 24p~/coreference-relation0.027 · 24p~/path-quotient0.011 · 24p