The mind
MARS
The reasoning identity. A compact, low-bit model that decomposes tasks, navigates knowledge and drafts answers. Model bodies are replaceable; MARS is not one checkpoint.
Celiums Solutions · MARS × HiveMind × Hyphae
Local intelligence. Verified knowledge. Governed action.
MARS is a memory-augmented reasoning system: a compact model that runs on your hardware and navigates versioned, proof-bearing knowledge in Hyphae. It cites the exact source of every answer — and refuses to answer what it cannot verify.
MARS / 01·Why MARS exists
Model weights go stale the day training ends.
Confident answers without proof are liability.
Knowledge should live outside the model —
versioned, sourced, and verifiable.
MARS separates reasoning from knowledge. The model thinks; Hyphae remembers; HiveMind governs. No fact is trusted because a neural network said so.
MARS / 02·The governed loop
How MARS answers
Every request crosses six stations. No stage trusts the previous one — and the model never holds authority.
- 1
Bounded task
Every request enters as a typed envelope with explicit limits: iterations, evidence bytes, tool calls, deadline. Nothing runs unbounded.
- 2
ELIZA executive
Deterministic rules match intent first — priority, retrieval mode, clarification. If an admitted rule decides, no neural network is consulted at all.
- 3
Low-bit navigator
A compact quantized model proposes retrieval queries and candidate answers. It is a replaceable process with isolated state — and zero authority.
- 4
Hyphae retrieval
Evidence returns with its source identity, immutable version snapshot and a retrieval proof. Retrieved text is advisory until its proofs pass.
- 5
Verifier
The answer must bind to an exact span inside an authorized source. Proofs are checked deterministically. Wrong-source evidence is rejected — 225 of 225 times in the control.
- 6
Receipt — or abstention
A verified contribution ships with a SHA-256 receipt: decision, source digests, artifact identity. If verification fails, MARS abstains instead of guessing.
Fail-closed by construction: when any station cannot verify, the answer is a governed refusal — never a confident guess.
MARS / 03·One product, three planes
MARS × HiveMind × Hyphae
Three names because three responsibilities. Keeping them separate is the architecture.
The governed runtime
HiveMind
Process lifecycle, deterministic rules, context budgets, verification and receipts. HiveMind decides what the model may see and whether its output survives.
The living memory
Hyphae
Durable, versioned knowledge with source identity, provenance and retrieval proofs. Hyphae is the authority on what is known — the model only navigates it.
MARS / 04·Typed knowledge interface
Nine channels, not one blur
“Reading memory” is not one monolithic skill. MARS is taught each property of Hyphae knowledge as an explicit, separately-tested channel.
source_identity
Source identity
Which exact source a statement comes from.
unit: hyphae/docs/quickstart
version_snapshot
Version snapshot
Which immutable revision of that source is being read.
snapshot: 9f2c…e41a
support_state
Support state
Whether the evidence actually supports the claim.
SUPPORTED / CONTRADICTED
retrieval_intent
Retrieval intent
Which retrieval mode the task requires.
EXACT / LEXICAL / HYBRID
proof_authority
Proof authority
Whether the retrieval proof is valid and authorized.
VERIFIED_ALLOWED / EXPIRED
topology
Topology
Where the evidence sits relative to the question.
SAME_UNIT / CROSS_UNIT
extractive_answer
Extractive answer
The exact answer span bound inside the source.
bytes 1,204 – 1,262
visibility_scope
Visibility scope
Who is authorized to see this knowledge.
PRIVATE_ALLOWED / PUBLIC
continuity
Continuity
Whether the knowledge is current or superseded.
CURRENT / SUPERSEDED
Four channels — proof authority, visibility scope, topology, continuity — are always overridden by deterministic HiveMind authority. Neural heads are interpreters, never judges.
MARS / 05·Radical auditability
Every answer carries a receipt
Not a citation you take on faith — a cryptographic record binding the decision, the exact source version, and the artifact that produced it.
- Source digests identify the exact content version the answer was bound to.
- The artifact SHA-256 pins which model body produced the proposal.
- Receipts are replayable: the same suite, artifact and evidence reproduce the decision.
{
"schema": "hivemind.api.receipt/v1",
"decision": "SUPPORTED",
"source_digests": ["9f2c…e41a"],
"answer_path": "extractive_span_verified",
"artifact_sha256": "396dd653384c…b42571f2"
}
MARS / 06·Measured, not promised
Numbers with receipts
Every figure below is measured and bound to a published evidence receipt in the HiveMind repository.
0 tok/s
generation speed on a consumer RTX 5050 laptop GPU
Receipt · mars1-q4-rtx5050-benchmark
0 MiB
peak VRAM of an 8,151 MiB budget — room to spare on 8 GB cards
Receipt · mars1-q4-rtx5050-benchmark
491/ 0
exact output preservation of the frozen parent with channels active
Receipt · mars-hyphae-full-promotion-decision
0 %
typed-interface accuracy across all nine channels at promotion
Receipt · mars-hyphae-full-promotion-decision
0
governed training rows — zero train/held-out source overlap
Receipt · mars-hyphae-multichannel-datasheet
0 %
verified answers with Hyphae evidence vs 1.7% without (development control)
Receipt · gemma4-e4b-hyphae-development
MARS / 07·The feature nobody ships
MARS knows when not to answer
When evidence is missing, expired, out of scope or contradictory, MARS does not improvise. It returns a governed abstention — with a receipt explaining exactly why.
- Masked-evidence abstention is a promotion gate, not an accident.
- Expired proofs and out-of-scope sources fail closed by authority override.
- An abstention is a governed outcome with a destination — escalate, clarify, or hand to a human.
“What is our refund window for orders placed in 2019?”
No verified local evidence covers this request.
DECISION: ABSTAIN · reason: no authorized source
Active research. Evidence-bound claims.
MARS is experimental. This site describes what has been measured — including the gates that failed. What is not yet proven is labeled as such.
Intelligence you can audit.
MARS, HiveMind and Hyphae are being built in the open by Celiums Solutions — local-first, fail-closed, and receipted end to end.