Skip to content

docs: bind capability and SQL claims to actual implementation evidence - #147

Merged
psvensson merged 16 commits into
mainfrom
docs/convergence-truth-20261026
Oct 26, 2026
Merged

psvensson merged 16 commits into
mainfrom
docs/convergence-truth-20261026

Conversation

@psvensson

@psvensson psvensson commented Oct 26, 2026 •

Copy link
Copy Markdown
Owner

Purpose

One coordinated owner-level steering clarification under rule-set revision 4 (no new global R-rule, new acceptance gate or product feature). Identify code-facing claims that cannot be justified on the current backend and specify the existing owners' fail-closed obligations.

Scope / coverage

  • Canonical docs/current-capabilities.json states split component presence, raft-rs cadence, compaction and integrated recovery.
  • Capabilities generator, generated page and source-coupled consistency checker updated together.
  • Current replication architecture and operations guidance no longer promise automatic raft-rs recovery on the basis of predecessor proofs.
  • PostgreSQL-wire owner records a real DO UPDATE→orReplace semantic defect and public typed-refusal boundary, including literal and uncertain-COMMIT obligations.
  • Existing documentation lifecycle owner defines proof-bound claims and a derived, not duplicated convergence snapshot.
  • Sealed Quest evidence, actual runtime semantics, R8 / RS-Raft closeout criteria unchanged.
  • Coordinated follow-ups: active RS-Raft epic snapshot branch docs/rs-raft-convergence-snapshot-20261026 and lab recovery branch docs/disposable-recovery-20261026 in its separate repo.

Concrete unfixed source gaps (do not close with docs)

  • src/partition/partition-snapshot-cadence.js returns COMMITTED_LOG_UNSUPPORTED for file-backed leaders. Automatic raft-rs snapshot/compaction/recovery still needs an owner-level implementation and exact-candidate proof.
  • src/query/pg/pg-translate.js maps PostgreSQL ON CONFLICT DO UPDATE to replacement; a code repair must implement correct semantics or typed refusal before side effects. Public literal and transaction-unknown-outcome proofs remain open.

Verification performed

  • Regenerated proposed public capability page in memory from the modified generator and JSON: byte-exact.
  • Node ESM syntax checks for modified generator and capability checker: both passed.
  • Exact-head GitHub Actions change-gate #40319727857 on 78052505ce375b50ba94b812adc8b67b9e5f5084: success. Generated metadata is current; npm run check passed its fast-static audit and all 179 selected test files (4,750 runner-reported assertions, zero failed files).
  • Added regression tests for source-owner drift and derived fixture inputs from the capability checker's own file list. The two generated test-metadata projections were updated to CI-exact bytes.
  • GitHub compare: 11 files; no production runtime code changed.
  • Not performed: physical lab or R8/canonical distributed-service verification. These remain separate, unclosed requirements.

Integration coordination

Historical predecessor tests remain valid in their original scope. The active RS-Raft integration branch is not changed or resumed by this PR. Preserve existing accepted repairs and the 25 October stop instruction.

@psvensson
psvensson marked this pull request as ready for review October 26, 2026 12:17
@psvensson
psvensson merged commit 7e198e9 into main Oct 26, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant