~/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.