…ology becomes a proposal: 0061 cut 1.1 (#950)

* The agent remembers what it has seen, and "already in the ontology" becomes a proposal

ADR 0061 cut 1.1, from the first real round (bench4, 100 documents, #947):
120 shapes went to the model, 35 came back in proposals, and the other 85
had no record, so the next round would have offered the same shapes first
and spent seven tenths of its tokens on them. The shapes with the most
statements (died in, wrote, directed, is in) were answered as "the
ontology already has this" (placeOfDeath, author, director, locatedIn),
and cut 1 dropped that answer.

Every shape offered is now recorded in `ontology_agent_reviews`
(migration 0078) with its outcome: proposed, existing or declined, and
the glossary fingerprint it was judged against. Proposed shapes are never
offered again; existing and declined ones return when the glossary
changes. An "existing" answer is saved as a `map_to` proposal with the
property, the direction the shape reads it in, and the shapes; adopting
it writes a person's binding per shape (the same call as the review
queue) or classes each kind word, and enqueues the projection. The prompt
asks for the direction and says not to propose the inverse of an existing
property. The ontology page shows the agent's map_to items with their
shapes and a Reject.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: Wayland Yang <wayland0916@gmail.com>

* Direction belongs to the shape, a declined shape returns when its statements double, and adoption embeds the element

Three more things the real base showed (bench4, rounds 2 and 3):

Two answers for one existing property in two rounds overwrote each other
(p1056 lost "was long a center of" to "continued to produce"), and the
direction they disagreed on was per shape, not per property. A map_to
row now merges across rounds and each shape carries its own direction;
adoption reads it per shape.

Re-offering declined shapes whenever the glossary changed would resend
every declined shape after every adoption (165 shapes, a dozen calls).
Alignment already re-decides unbound shapes against a new element on its
0053 fingerprint, so the agent has nothing to add there. A declined shape
now returns only when its statement count has doubled since it was seen.

An adopted property never entered the alignment shortlist: the shortlist
is picked by vector when a shape has many structural candidates, and a
new element has no vector until something refreshes the index. Adoption
now refreshes the ontology index before enqueueing alignment. On the
bench base this bound the adopted `houses` and four neighbouring
phrasings within a minute, and caught up the five "is bordered to the …
by" shapes left unbound by the earlier `bordered_by` adoption.

Also: map_to items carry the target's label, the page no longer shows
0003's "reclassifies N facts" on agent items, and "Add all" counts only
Suggest's proposals (an agent proposal is signed one at a time, 0012).

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: Wayland Yang <wayland0916@gmail.com>

* ADR 0061 and the index record cut 1.1 (#950)

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Signed-off-by: Wayland Yang <wayland0916@gmail.com>

---------

Signed-off-by: Wayland Yang <wayland0916@gmail.com>
Co-authored-by: Claude Fable 5.1 <noreply@anthropic.com>