Souta 362bca1c80 test(framework): A+B+E enrichment — property-based, RPC transport, public design doc ... Extends PR #343 in three independent directions: A. Property-based Layer 3 (fast-check) - `helpers/propertyTesting.ts` — `opSequenceArbitrary` produces random VALID adapter op sequences (rename targets only live paths, remove only live paths) by threading an in-memory Set<string> model through fc.gen(). When an invariant fires, fast-check shrinks the failing sequence to a minimal reproducer. - `invariants.property.e2e.test.ts` — one it.fails property (numRuns=5, maxOps=3, timeout=60s) asserting I1+I2 hold for every short random sequence. Plus a generator self-test that samples 50 sequences and verifies the model never proposes an invalid op. B. RPC transport variant of Layer 1 - `self-reflect-rpc.e2e.test.ts` — same 4 cases as the SFTP self-reflect suite, run against a daemon + RPC client. Proves the bug is not SFTP-specific; today both transports fail because no writer-side wiring exists. E. Public design doc - `docs/en/architecture/bidirectional-sync-gap.md` — adapts the internal `.claude/PRPs/reviews/issues-341-342-design-review.md` for the Quartz docs site. Linked from issue comments so external readers can see the full analysis + framework map. Version bump: 1.0.49-beta.0 → 1.0.49-beta.1. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>		2026-05-12 09:33:49 +09:00
..
.obsidian	docs(site): Quartz v4 Phase 0 — two-channel docs deploy (1.0.39)	2026-05-10 09:33:17 +09:00
en	test(framework): A+B+E enrichment — property-based, RPC transport, public design doc	2026-05-12 09:33:49 +09:00
ja	docs(seo): tag architecture (TechArticle) + cookbook (Article) pages	2026-05-11 00:30:51 +09:00
index.md	docs(ja): batch 1 — 9 high-traffic pages translated to Japanese	2026-05-10 22:11:30 +09:00