ADR-0005: Shiplog spec + schema alignment (pre-PR kill-checked)#60

Open

flyingrobots wants to merge 69 commits intomainfrom

Commits on Nov 10, 2025

refactor: Refine ADR-0004 documentation based on feedback
flyingrobots
committed
docs: Clarify commit trailer format in F9-US-SEC acceptance criteria
flyingrobots
committed
docs: Clarify actor-id format in SPEC.md
flyingrobots
committed
docs: Clarify size unit for OpaquePointer in SPEC.md
flyingrobots
committed
docs: Clarify error handling for digest mismatch in SPEC.md Pointer Resolution
flyingrobots
committed
docs: Clarify PrivateStore participant as interface in TECH-SPEC.md diagram
flyingrobots
committed
docs: Add details for Projection Determinism test suite in TECH-SPEC.md
flyingrobots
committed
docs: Update F9-US-DEV user story to BDD format in FEATURES.md
flyingrobots
committed
docs: Mark gatos-compute as planned in SPEC.md system diagram
flyingrobots
committed
docs: Change PoC envelope storage requirement from SHOULD to MUST in SPEC.md
flyingrobots
committed
docs: Clarify purpose of gatos-kv crate in TECH-SPEC.md
flyingrobots
committed
docs: Mark chart data as illustrative in TECH-SPEC.md Performance Guidance
flyingrobots
committed
docs: Refine F9-US-DEV acceptance criteria to be more granular
flyingrobots
committed
docs: Simplify PrivateStore participant name in TECH-SPEC.md diagram
flyingrobots
committed
docs: Remove redundant acceptance criteria for F9-US-DEV
flyingrobots
committed
docs: Add missing field description for digest in OpaquePointer
flyingrobots
committed
docs: Clarify interaction of expiration dates in Consensus Governance
flyingrobots
committed
docs: Specify HTTP GET method for pointer resolution endpoint
flyingrobots
committed
docs: Correct type casing in ADR-0004 OpaquePointer diagram
flyingrobots
committed
docs: Further refine F9-US-DEV acceptance criteria with BDD-style granularity
flyingrobots
committed
docs: Remove redundant acceptance criteria for F9-US-DEV in FEATURES.md
flyingrobots
committed
docs: Clarify sorting order for approvals in SPEC.md PoC section
flyingrobots
committed
docs: Correct inconsistent endpoint URL in ADR-0004
flyingrobots
committed
docs(ADR-0004,SPEC,TECH-SPEC): switch resolver to POST + JWT; add optional HTTP Message Signatures profile; tighten determinism (RFC 8785 JCS + key ordering); clarify namespaces and error taxonomy;…
flyingrobots
committed
docs: harmonize DigestMismatch to 422 across SPEC/TECH-SPEC; ADR response digest headers reflect response body\nschema(privacy): allow ciphertext-only pointers via anyOf; keep kind/algo/location/ca…
flyingrobots
committed
Merge remote-tracking branch 'origin/decisions/ADR-0004' into ADR-0005
flyingrobots
committed
docs(ADR-0005, SPEC, TECH-SPEC): formalize Shiplog + shiplog-compat; add trailer/anchors/notes; schemas + examples; regenerate diagrams
flyingrobots
committed
docs/schemas(ADR-0005): add Shiplog ADR text, shiplog schemas and examples; update schema validator
flyingrobots
committed
docs/schemas(ADR-0005): align envelope field ns->topic; add shiplog schemas to Makefile/schema targets; AJV runner fallback in validator script; decisions index includes ADR-0005
flyingrobots
committed
docs(diagrams): regenerate after ADR-0005 edits
flyingrobots
committed
docs(ADR-0005): rename envelope field ns->topic across diagrams, schema text, and examples in ADR copy
flyingrobots
committed
docs/schemas(ADR-0005): normalize envelope key to ns; add MUST JCS write+hash; link trailer schema; add error taxonomy; tighten Digest guidance; checkpoint anyOf(ulid|commit_oid)
flyingrobots
committed
docs(ADR-0005, SPEC, TECH-SPEC, ADR-0004): address review nits: envelope ns consistency; numeric discipline; trailer MUST; error taxonomy; Digest/X-BLAKE3 guidance; add Shiplog section in SPEC; aut…
flyingrobots
committed
schemas/docs: unify on topic (envelope); fix ; update trailer (repo_head only top-level); pointer conditional for low-entropy via extensions.class; restore executable bit; add Hashing Law callouts;…
flyingrobots
committed
schemas/docs: unify on topic across envelope/ADR; remove what.repo_head; pointer low-entropy conditional; polish examples; JSONL topic; restore exec bit
flyingrobots
committed
docs(privacy): pin AEAD to XChaCha20-Poly1305; enforce nonce uniqueness (HKDF/counter); AAD binding; catastrophe warning (ADR-0004/0005, TECH-SPEC)
flyingrobots
committed
docs(ADR-0005): note that commit_oid in consumer checkpoints MUST be lowercase hex
flyingrobots
committed
gatos-privacy: make digest optional; add validate() + content_id_from_canonical_bytes(); add tests; cleanup deps; schema negatives added; Makefile schema-negative extended; docs nits (USE-CASES new…
flyingrobots
committed
build: fix AJV runner to use 'npx -y ajv-cli@5' (remove redundant 'ajv' token) for compile/validate and script runner
flyingrobots
committed
schemas: strict AJV fixes (types in if/then); consumer_checkpoint anyOf strictRequired safe sub-schemas
flyingrobots
committed

Commits on Nov 11, 2025