01 continuity
A fresh agent can resume the work instead of reconstructing it.
The next session starts from active goals, corrections, obligations, recent change and a bounded next action, all drawn from structured project state.
Made possible by - Orient
- goal stack
- corrections
- coordination state
Explore the system → 02 truth
A claim can show the evidence chain that earned its place.
Accepted knowledge retains its source artifact, literal quote, provenance, confidence and temporal state instead of collapsing into an embedding and an answer.
Made possible by - source artifacts
- literal quotes
- typed claims
- provenance
Explore the system → 03 code
An agent can walk code structure and meaning, not just search text.
Exact symbols, definitions, imports, callers, callees, source sites and semantic claims live in one navigable model of the repository.
Made possible by - tree-sitter
- symbol graph
- resolved edges
- semantic claims
Explore the system → 04 coordination
Agent identities remain stable across renames, restarts and handoffs.
Senders come from authenticated connections and message targets resolve to durable identities, preserving delivery as the team and its processes change.
Made possible by - connection identity
- canonical targets
- typed posts
Explore the system → 05 governance
Each agent sees only the slice of the world it was granted.
Entity scope is enforced in the query layer and the callable tool surface is derived per connection, not left to prompt instructions.
Made possible by - connection scope
- query enforcement
- tool allow-list
Explore the system → 06 leverage
One reviewed operating method can travel across agent vendors.
Canonical workflow contracts compile into native routers for each supported harness, while detailed methodology remains governed by Sophia.
Made possible by - capability graph
- workflow IR
- cross-harness compiler
Explore the system → 07 continuity
Models and agent tools can change without erasing project memory.
The durable record lives in the local state layer rather than inside one provider’s context window, so a different authorised agent can continue from the same governed state.
Made possible by - local daemon
- MCP
- persistent graph
- saved sessions
Explore the system → 08 truth
A human correction outranks the model structurally.
The corrected fact becomes the authoritative successor. The displaced model claim remains inspectable history but cannot quietly regain precedence.
Made possible by - authority classes
- supersession
- journal
Explore the system → 09 code
Understanding a codebase becomes shared infrastructure.
Once source-grounded structure and verified summaries are established, every authorised agent can query them instead of paying to rediscover the repository alone.
Made possible by - persistent graph
- mined summaries
- scoped MCP
Explore the system → 10 coordination
Agents coordinate around explicit dependencies and outcomes.
A declared wait becomes shared state with a deadline and a terminal outcome—satisfied, unsatisfied or unverifiable—so the team knows when work is ready to continue.
Made possible by - wait predicates
- deadlines
- terminal outcomes
Explore the system → 11 governance
Delegation gives each worker only the authority its task requires.
A trusted agent can create a task-sized worker connection whose profile, scope and lifetime are bounded by the authority of its parent.
Made possible by - delegated credentials
- scope ceiling
- expiry
Explore the system → 12 leverage
A skill activation can be matched to its reviewed release.
Final-byte installation receipts and a connection-bound lifecycle challenge identify the matching router release while keeping tool authority separate.
Made possible by - install receipt
- release identity
- single-use challenge
Explore the system → 13 continuity
A handoff carries unfinished work into the next agent.
Stable workspace identity and explicit handoff state preserve responsibility, context and next actions across fresh credentials, daemon restarts and new agent processes.
Made possible by - workspace identity
- durable leases
- handoff state
Explore the system → 14 truth
Disagreement stays queryable instead of disappearing into synthesis.
Conflicting claims remain distinct, attributable rows that agents can inspect and resolve rather than prose a model must rediscover and reinterpret.
Made possible by - typed predicates
- provenance
- contradiction queries
Explore the system → 15 code
Code understanding can stay aligned with the source as it changes.
Content hashes, resolver identity and freshness state connect repository changes to the derived edges and summaries that need to be rechecked.
Made possible by - content hashes
- resolution receipts
- freshness state
Explore the system → 16 coordination
Agent teams can plan from a live map of who is waiting on whom.
Declared dependency edges make sequence, readiness, cycles and overdue obligations queryable, giving orchestrators a coordination model beyond message counts and online dots.
Made possible by - wait graph
- liveness evidence
- escalation state
Explore the system → 17 governance
Owners retain approval over sensitive agent actions.
Elevated mutation classes pass through an explicit owner approval gate, preserving human authority regardless of the agent’s ordinary connection profile.
Made possible by - authority profiles
- elevated-write gate
- owner approval
Explore the system → 18 leverage
An agent can join many state reads without flooding its own context.
A small program runs against scoped Sophia tools inside a sandboxed V8 isolate, keeping intermediate results out of chat and reducing call-surface tokens by about 90%.
Made possible by - typed MCP SDK
- V8 isolate
- field projection
Explore the system → 19 continuity
An owner’s correction follows every future agent.
Corrections become durable state, surface during orientation and require acknowledgement instead of depending on someone finding the right old conversation.
Made possible by - human authority
- supersession
- Orient
Explore the system → 20 truth
Source evidence, accepted knowledge and agent memory keep distinct authority.
Artifacts, evidence, candidate interpretations, accepted knowledge, agent memory and human corrections remain separate layers that agents can reason over explicitly.
Made possible by - truth layers
- confidence caps
- admission rules
Explore the system → 21 code
Multiple agents can learn one large repository without duplicating effort.
Durable queues and bounded leases divide the corpus, while source receipts and explicit completion state make every contribution accountable.
Made possible by - work queues
- leases
- source receipts
- admission
Explore the system → 22 coordination
Completed work arrives with evidence another agent can verify.
Branch, tip, push state, verification and remaining blockers travel as bounded structured data that an orchestrator can evaluate directly.
Made possible by - typed closeouts
- Git evidence
- verification receipts
Explore the system → 23 governance
An entire agent session can be inspected and, where supported, undone.
Writes land in an append-only mutation journal with grouping and inverse operations, so recovery is a system capability rather than a request to “put it back.”
Made possible by - mutation journal
- session grouping
- inverse operations
Explore the system → 24 leverage
One query can cross corpora without flattening their authority.
Structured knowledge, document bodies and wiki pages share a front door, while specialised paths and truth layers preserve what kind of result came back.
Made possible by - cross-corpus search
- intent routing
- truth layers
Explore the system → 25 continuity
“What changed since I left?” becomes a query.
Journalled mutations, per-connection read state, goals and coordination events can be compared with the agent’s last known position.
Made possible by - catch-up cursor
- mutation journal
- read state
Explore the system → 26 truth
Agents know when an answer requires direct source inspection.
When verified coverage is insufficient, Sophia can return what is missing and the exact source path to inspect instead of substituting plausible prose.
Made possible by - coverage receipts
- trust admission
- source fallback
Explore the system → 27 code
Navigable code relationships are anchored to exact source sites.
Deterministic local or import-scoped evidence promotes a candidate relationship into an exact edge; unresolved candidates remain clearly labelled for inspection.
Made possible by - source sites
- candidate sets
- resolution classes
Explore the system → 28 coordination
Work state can be shared while unread state remains personal.
Agents coordinate through the same durable channels, but each connection advances its own read cursor and can resume without consuming another agent’s inbox.
Made possible by - shared journal
- per-connection cursors
- durable sequence
Explore the system → 29 governance
Agents may draft reusable playbooks; only the owner can publish them.
Draft skill bodies remain inert and off disk until approval over an owner-only transport, closing a cross-agent instruction-injection path.
Made possible by - draft isolation
- owner transport
- publication journal
Explore the system → 30 leverage
Knowledge and agent action can share one local governance boundary.
The same owner-controlled daemon stores state, scopes access, routes model work and refuses silent provider fallback—so custody applies to operations as well as files.
Made possible by - local daemon
- encrypted state
- provider policy
- MCP gate
Explore the system → No ability matches this lens.