📐 Spec

Stigmem Protocol Specification

3 min readSpec contributor · Implementerv0.9.0a1 modular spec set

What this page is

A navigator that maps every legacy section-based docs page to its maintained component spec home. Section-based pages remain compatibility entry points for older links while ADR-010 extraction finishes.

Authoritative source

The maintained protocol composition is generated from the modular component specs and colocated experimental specs rendered below. Historical evolutionary snapshots remain archived in the repository.

Security disclosure

Report vulnerabilities via the GitHub private advisory path — not as public issues.

Modular spec map

Rendered entry point

Maintained spec home

Summary

Motivation

Protocol overview prose

Why immutable typed facts beat per-agent mutable stores.

Atomic Fact Shape

Spec-01-Fact-Model

Fact tuple, value types, HLC field, and fact-model boundaries.

Fact Semantics

Spec-15-Fact-Semantics

Provenance, expiry, retraction, contradiction, and conflict entities.

Intent Envelope

Spec-X8-Intent-Envelope

Deferred indefinitely per ADR-001; design intent preserved for ADR-008 reintroduction.

Wire Format

Spec-03-HTTP-API

JSON/HTTP API surface and route contracts.

Federation

Spec-05-Federation-Trust

Peer declaration, capability negotiation, replication, and federation scope rules.

Design Decisions Log

Protocol overview prose

Historical rationale; not an independent component spec.

Open Questions

Planning material

Open design questions; not an independent component spec.

Namespace Registry

Spec-16-Namespace-Registry

Reserved prefixes and registry rules.

Schema and Migration

Spec-17-Schema-and-Migration

Schema, migration cursor, indexes, and backend contract.

Failure Mode Scenarios

Spec-18-Conformance-and-Failure-Modes

Federation and conformance acceptance scenarios.

Adapter ABI

Spec-19-Adapter-ABI

Minimum adapter contract and conformance expectations.

Lint Semantics

Spec-20-Lint-Semantics

Read-only lint checks, finding shapes, severity, and async job behavior.

Decay Semantics

Spec-X9-Decay-Semantics

Experimental/deferred decay sweep semantics.

Synthesis

Spec-X10-Synthesis

Experimental/deferred synthesis semantics.

Memory Garden

Spec-02 + Spec-08 + Spec-X5

Basic scopes/gardens are core; advanced ACL remains experimental.

Source Attestation

Spec-X6-Source-Attestation

Experimental source-to-key binding.

Federation Trust

Spec-04 + Spec-05 + Spec-06 + Spec-08

Manifests, capability tokens, peer trust, and quarantine boundaries.

Recall & Graph

Spec-07 + Spec-X11

Core recall pipeline plus experimental graph/embedding features.

Subscriptions / push federation

Spec-X7-Subscriptions

Experimental subscription and push-delivery semantics.

Lazy Instruction Discovery

Spec-X1-Lazy-Instruction-Discovery

Experimental lazy instruction recall.

Security Hardening

Spec-09 + Spec-10 + Spec-11 + Spec-12

mTLS, key rotation, audit, quotas, replay protection, and HLC skew bounds.

Right-to-be-Forgotten Tombstones

Spec-X2-RTBF-Tombstones

Experimental/deferred tombstone behavior.

Time-Travel / As-Of Queries

Spec-X3-Time-Travel-Queries

Experimental/deferred as-of query behavior.

Content-Addressed Fact IDs

Spec-21-Content-Addressed-IDs

Core CIDs per ADR-017.

Archive

Previous evolutionary spec snapshots (pre-reset through v2.0) remain preserved under the repository archive. Per ADR-001, those version markers labeled internal development checkpoints, not tagged releases; the canonical version line of stigmem begins at v0.9.0a1.