Commit graph

361 commits

Author SHA1 Message Date
Meta Vens
4d77df80bc eureka-body map: F34 cites execute_inference_frame at its real lines
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 19:05:29 +01:00
Meta Vens
6adc9d7fce eureka-body map: claude-connector probes (F34), B4 cut line, B4a placed by its spec, B4b-c lines
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 19:05:11 +01:00
Meta Vens
f237623164 research: Claude connector prior art and probes (B4: credential terms, workspace limits, thinking across tool use, token counting)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 18:58:14 +01:00
Meta Vens
8c59b5a0ca eureka-body map: connector-spend probe (F33), B3c placed by its spec, B4 riders carried
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 13:40:07 +01:00
Meta Vens
bedfea44ec eureka-body map: connector-reasoning-item probe (F32), B3b placed by its spec
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 12:34:19 +01:00
Meta Vens
3b64b03d22 eureka-body map: connector-contract-v3 probes (F30-F31), its cut line, B3 split into B3a-c
Spec cut-connector-contract-v3.r2; questions connector-v3-wire, connector-v2-coexistence;
follow-up cultnet-binary-operation-payload. Research 725f5a5.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 07:35:19 +01:00
Meta Vens
725f5a5a75 Research: connector contract v3 prior art and probes (reasoning state, spend, wire)
Serves eureka-body cut connector-contract-v3 and questions connector-v3-wire,
connector-v2-coexistence.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 07:27:59 +01:00
Meta Vens
3f47de5122 eureka-body map: connector-kit-lift probes (F26-F29), its cut line, path B refreshed
Imagination imagination-kit-lift, session self-2026-10-28-eureka. Spec
eureka-body:cut_spec:cut-connector-kit-lift.r1; questions connector-kit-relicense
and codex-connector-fate.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-28 04:04:20 +01:00
Meta Vens
2512c8a42f Merge eureka-substrate/readback-gate: one O(N) upgrade read-back gate in huginn-mind, pinned by CI fixtures (Soul s2 holds)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-26 15:27:17 +01:00
Meta Vens
9f8b927cf2 Type the rows closure of the read-path test
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 15:04:16 +01:00
Meta Vens
2023c0a1e3 Let tests replace the read path under the gate so the view comparison is pinned
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 15:03:47 +01:00
Meta Vens
4c00208f8b Plant the changed-key fault with its receipt renamed so only the re-key check refuses it
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:59:10 +01:00
Meta Vens
9d77c18546 Drop the test-module pipeline_key import the gate's move to the parent module left unused
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:55:09 +01:00
Meta Vens
242f5a7ef5 Re-encode the read-back fault payload as a wider array header, not a map the decoder refuses
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:54:09 +01:00
Meta Vens
92fb906b07 Bend stored questions through the leaf's array encoding in the read-back fault tests
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:52:32 +01:00
Meta Vens
3d6f9179d0 Aim the read-back fault tests at the last question, not the last pipeline document
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:51:42 +01:00
Meta Vens
ac139b4785 Decide the read-back gate in Mind::read_back and pin its checks with committed fixture tests
The gate body moves out of the ignored test into one function over a Mind, now
also refusing a receipted pipeline write with no stored document. The ignored
test is a thin caller; CI plants each fault on a 135-document store.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:50:50 +01:00
Meta Vens
c5fe12ce11 Drop the test-module import the deleted migration test left unused
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:12:27 +01:00
Meta Vens
27921e5653 Add Reader::view and the one stored-document read-back gate in huginn-mind
Mind::view becomes validate_ref then Reader::at(head).view(id); Reader::view is
its lookup, so a caller holding one Reader views many documents from one
snapshot. stored_documents_read_back (ignored, HUGINN_MIND_SNAPSHOT) decodes,
validates, rekeys, re-prepares and views every stored document through one
Reader: O(N) where the deleted per-document Mind::view loop was O(N^2).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:03:11 +01:00
Meta Vens
fe9069e528 Delete the migration-era read-back tests and the leaf's overlapping real-store gate
mind::tests::snapshot_admits_and_reads_back (an O(N^2) per-document Mind::view loop
plus the six idunn-watchdog resolutions and over-64-byte withdrawals of the
2026-10-01 migration) and eureka-pipeline tests::stored_documents_read_back go,
with the leaf README's real-store section. The one gate follows in huginn-mind.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-26 14:02:51 +01:00
Meta Vens
1e319f75f4 eureka-substrate map: upgrade read-back gate (probe timings, one gate in huginn-mind, cut sequence)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-26 14:00:15 +01:00
Meta Vens
fd321fdacd Research: prior art for a materialized read image in Huginn (serves eureka-substrate:follow_up:huginn-materialized-image)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-26 13:53:34 +01:00
Meta Vens
dd07485b4e Merge eureka-substrate/semantic-members-scores: a semantic query returns up to top_k members of its selection, each with its score (Soul s4 holds)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-25 22:39:15 +01:00
Meta Vens
af3efcad40 Members walk: leave descending and cursor to the Selection default
With projection gone the walk spreads Selection::default(); an explicit
descending: false was a mutant no test could tell from the default.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 22:21:58 +01:00
Meta Vens
2a98dcdff2 Members walk test: the role hop uses resolutions of a cut spec (a question cannot be superseded)
The previous commit's test admitted a Superseded resolution of a question,
which admission refuses. Cite r2 through subject and superseded_by instead.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 22:17:30 +01:00
Meta Vens
8c98b7b028 Members walk: drop the dead projection assignment; pin the cites role through members
The walk never reads projection (select reads it only in validate and the
cursor digest), so the assignment and its "headers only" comment decided
nothing. A new test cites Q1 through two roles by rows of one schema and
asserts exact members and matched for subject, superseded_by and no role.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 22:16:07 +01:00
Meta Vens
15d8efe8ab Members walk test: expected ids in the mind's order (admission batch, then key)
The previous commit's test expected plain key order and fails; this one builds
and corrects it.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:34:42 +01:00
Meta Vens
05347b5417 Members walk test: 599 members, so a page of 199 takes 4 pages and fails
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:33:27 +01:00
Meta Vens
eadc2bfadc Qdrant search test: the limit is pinned by value at 1, 12 and 200
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:32:56 +01:00
Meta Vens
dccf920030 Mind::members builds its walk inline and counts its pages; the tests observe the production walk
walk_selection is deleted: members is the only place the walk is spelled.
Members carries the number of select pages taken. The page-size test calls
members with caller limit 1 and document projection over 590 questions and
asserts the exact ids and exactly 3 pages. A new test pins that the cites
hop limits members and matched to the cited rows.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:32:56 +01:00
Meta Vens
68f93b69dc Daemon test: a large top_k reaches the index whole
Twenty members, top_k 15 and 200: the index limit and the row count are both
asserted. Unverified at this commit: built and tested once at the end of the batch.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:05:03 +01:00
Meta Vens
2041fa8467 Qdrant search: the test parses the request body as JSON; the live smoke excludes a non-member
filter and params are asserted by value, so must_not and a top-level exact
fail. live_index_smoke searches a strict subset that leaves out the nearest
point. Unverified at this commit: built and tested once at the end of the batch.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:05:02 +01:00
Meta Vens
abd2890834 Mind::members: the walk's page size is the mind's by construction
The walk selection is built field by field from the caller's filters, so a
caller's limit, projection, order or cursor cannot reach it (one select per
member at limit 1 measured 300 ms against 14 ms). A test pins it.
Unverified at this commit: built and tested once at the end of the batch.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 21:05:02 +01:00
Meta Vens
f13138c3fc Mind::members: drop the projection override the walk never read
cargo-mutants showed deleting it survives: ids come from rows whatever the
projection, so the override decided nothing.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 20:17:47 +01:00
Meta Vens
1868f6a023 Request schema: the SemanticQuery description keeps its newlines escaped
The previous commit wrote raw newlines into the JSON string, which the
published file must not hold.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 20:03:08 +01:00
Meta Vens
19a4d83571 Request schema: regenerate SemanticQuery's description (top_k is the most rows answered, all members)
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 19:58:26 +01:00
Meta Vens
0cfb4fa278 Index test: the ticket test hands the sink the member it expects back
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 19:54:52 +01:00
Meta Vens
874dacde38 Test helper rank_all: the local ranked no longer shadows it
The first commit's huginn-mind test module did not compile (helper shadowed
by a local binding, and a mechanical rewrite had touched the helper body).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 19:52:28 +01:00
Meta Vens
d7b1b1d116 A semantic query returns up to top_k members of its selection, with scores
The mind decides membership (Mind::members) before the index is asked; the
index scores exactly the members (Qdrant has_id + exact) and the page carries
one cosine score per row. Deletes OVERSAMPLE_MAX, the x4 oversample, the
unfiltered VectorIndex::search contract and check_semantic.

Not yet compiled when committed: the first Yggdrasil run follows.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-25 19:51:29 +01:00
Meta Vens
075d37d748 eureka-substrate map: semantic retrieval quality (body facts S-B1..S-B8, one-cut rationale, cut sequence)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-25 19:43:51 +01:00
Meta Vens
0b8ae4f425 eureka-substrate map: R-B10 live hook probes on claude-code 2.1.308
Admit deny reaches the model (prefixed "hook error"); SubagentStart context
and the admit hook both reach subagents; PreToolUse updatedInput on Agent
does rewrite the subagent's prompt (GitHub #39814 does not hold here).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-23 19:35:21 +02:00
Meta Vens
6066ef0195 eureka-substrate map: recall at admission (body facts R-B1..R-B9, cut sequence)
Imagination pass for cut recall-admit (session self-2026-10-23-eureka-b):
hook input fields, digest stability, latency, fail-open rationale, and the
re-scoped trigger order with the prompt hook last.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-23 19:29:56 +02:00
Meta Vens
98355ac5df mind-body self_run test: PipelineTarget gains repos (merge adaptation for campaign-repos)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 23:41:21 +02:00
Meta Vens
f8eaf50a03 campaign-repos: a campaign's repo set changes by target revision; one line_of decides supersession lineage (squash of eureka-substrate/campaign-repos c0a1f2c..4442e1a)
target.repos additive at epoch v2; Docs::repos_in_force owns membership; line_of owns lineage (targets per campaign, cut_specs per campaign+cut, stewardships per instance+repo, rulings and follow_ups global); rival_in_force owns one-assignment-in-force. Soul s5 holds (eureka-substrate:verdict:cut-campaign-repos.s5).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 23:38:20 +02:00
Meta Vens
35dda44001 mind-self-run: the Self-run actuator (squash of eureka-body/mind-self-run 70d0cef..654a209)
Opens claude only under an open Self run; one pure decide() owns flush, grace, headroom and escalation; process-group signals; ends on child exit or EOF. Soul s3 holds (eureka-body:verdict:cut-mind-self-run.s3).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 23:26:31 +02:00
Meta Vens
5a5890423e Merge readme-front-door: README opens with value, problem, entry points, live versus planned 2026-10-22 20:14:11 +02:00
Meta Vens
f750c78f1d README: status line with live crates, entry points and planned work; workspace has five crates
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 20:13:58 +02:00
Meta Vens
68c6dd7fe0 Merge eureka-body/mind-body-riders: partial brake stop names each unit, prefix-neighbour gate test, varied persona claim ids (Soul s1 holds)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 17:51:24 +02:00
Meta Vens
bd17d9a263 Research: Self-run permission boundary (serves eureka-body❓self-run-permissions)
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-22 17:37:45 +02:00
Meta Vens
056e02d28a mind-body tests: Persona claim ids are drawn from the name generator
The Persona claim-set property drew ids as doc-N and doc; they now come
from the instance-name generator (varied alphabets, both separators, edge
lengths), so a refusal keyed on id text cannot pass. Set shapes and sizes
are unchanged. Follow-up persona-claim-ids-varied.

Not yet built; verified at the head of the cut.

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
2026-10-22 17:37:38 +02:00