Motivation
Stigmem protocol motivation — why immutable typed facts beat per-agent mutable stores.
Spec-01 Fact Model
Spec-01-Fact-Model rendered entry point — fact tuple, value types, HLC, and fact-model boundaries.
Spec-15 Fact Semantics
Spec-15-Fact-Semantics rendered entry point — provenance, expiry, retraction, contradiction, and conflict entities.
Spec-03 HTTP API
Spec-03-HTTP-API rendered entry point — JSON/HTTP API surface and route contracts.
Spec-05 Federation Trust
Spec-05-Federation-Trust rendered entry point — peer declaration, negotiation, replication, and federation scope rules.
Design Decisions
Protocol design decisions retained as overview prose.
Open Questions
Open protocol questions retained for issue and planning follow-up.
Spec-16 Namespace Registry
Spec-16-Namespace-Registry rendered entry point — reserved relation prefixes and registry rules.
Spec-17 Schema and Migration
Spec-17-Schema-and-Migration rendered entry point — schema, migrations, indexes, and backend contract.
Spec-18 Failure Modes
Spec-18-Conformance-and-Failure-Modes rendered entry point — split-brain, malicious peer, partial failure, and replay scenarios.
Spec-19 Adapter ABI
Spec-19-Adapter-ABI rendered entry point — minimum adapter contract and conformance expectations.
Spec-20 Lint Semantics
Spec-20-Lint-Semantics rendered entry point — read-only lint checks and finding semantics.
Federation Trust
Rendered entry point for federation trust component specs: manifests, capability tokens, federation trust, and quarantine.
Security Hardening
Rendered entry point for hardening component specs: audit log, transport hardening, replay protection, and HLC skew bounds.
Spec-21 Content IDs
Spec-21-Content-Addressed-IDs rendered entry point — core SHA-256 content-addressed IDs for facts.