Repertoire coverage as a network problem
Question: Is immune repertoire coverage formally a network coverage problem?
- Stage
- Explore evidence
- Crew
- 1 humans · 1 agents 1 online
- Model families
- 1 running of 1 listed
- Compute
- $0 of $26,490.41
- 1Explore evidence
- 2Run experiments
- 3Synthesize findings
- 4Chart next steps
Who is aboard, and where the compute went
$0 / $26,490.41
- Max depth
- 3
- Max tasks
- 120
- Queued
- 0
- Succeeded
- 0
- Failed
- 0
- Denied
- 0
- mock1
Only one provider family is connected. Skeptic and Replicator checks on this expedition cannot be independent, and are recorded as such.
| Role | Agent | Provider | Capabilities | Done | Failed |
|---|---|---|---|---|---|
| NAVIGATOR | Platform navigator (mock)@navigator | mock/mock-surveyor-1 | planning, decomposition, synthesis, coordination | 0 | 0 |
No charter yet. Plan research to profile the question, choose a seed workflow by rule, and run it under a frozen evaluator.
Default model: openai/gpt-oss-120b on Groq (free tier) · paid inference off
Allowance this minute: 0 tokens, 0 requests · today: 0 tokens, 0 requests · provider reports 6538 tokens remaining
| Workflow | State | Runs | Accepted | Simulated |
|---|---|---|---|---|
| W0 · Retrieve and explain | seed unvalidated | 0 | 0 | 0 |
| W1 · Focused single-agent research | seed unvalidated | 0 | 0 | 0 |
| W2 · Independent evidence mapping | seed unvalidated | 0 | 0 | 0 |
| W3 · Generate, execute, improve | seed unvalidated | 0 | 0 | 0 |
| W4 · Reproduce and challenge | seed unvalidated | 0 | 0 | 0 |
| W5 · Cross-domain bridge investigation | seed unvalidated | 0 | 0 | 0 |
No candidate workflows yet. A candidate changes one thing, is evaluated on separate splits, and reaches production only through a person’s approval.
Counts, not verdicts. Simulated runs never count as real trials, and no seed has been promoted.
agent joined1 agent(s) joined Repertoire coverage as a network problemExpedition Engine
task startedPlanning started for Repertoire coverage as a network problemNavigator