-
released this
2026-08-05 16:16:55 +00:00 | -9 commits to main since this releasev0.4 Phase 5 — Examples + Cross-Links (P5)
Add 2 good + 2 bad examples (D-068 — pre-named, highest illustration value) and verify cross-domain links. Examples are markdown with fenced code only (no standalone .ts/.py/.go/.rs — D-020). Bad examples are single-breach citing the specific breached P-rule (D-068).
Files
examples/good/edge-offline-sync.md— demonstrates offline-first + CRDT/LWW sync (edge P2, P4, P5, P10)examples/good/messaging-idempotent-consumer.md— demonstrates exactly-once-via-idempotency-keys + dedup (messaging P3, P4, P5, P10)examples/bad/edge-sync-loop.md— single-breach: edge P4 (Sync Conflicts are Bounded, Not Infinite) — livelock, not eventual consistencyexamples/bad/messaging-shared-subscription.md— single-breach: messaging P2 (Ordering is a Property) primary; P3 compounding consequence
Cross-link audit (ATELIER-114)
- 57 cross-links verified across 26 new derived docs — all resolve to MANIFEST-listed docs
- edge↔messaging bidirectional: edge/iot.md → messaging/queues.md (MQTT QoS) AND messaging/streams.md → edge/iot.md both resolve (IDEATE-40)
- Language-derived docs link to both new (edge/messaging) and existing domains (IDEATE-40)
- 0 back-link edits to v0.1/v0.2/v0.3 content (D-026 extended)
Requirements covered
- ATELIER-112, ATELIER-113, ATELIER-114 (3/3)
Next
- P6: Final review + audit + milestone ship -> v0.3.6 (IS the v0.4 release)
Downloads