Skip to content

docs(source): resolve the third gate pass's findings - #208

Merged
joshua-temple merged 1 commit into
mainfrom
docs/source-v1-gate-fixes-4
Aug 23, 2026
Merged

docs(source): resolve the third gate pass's findings#208
joshua-temple merged 1 commit into
mainfrom
docs/source-v1-gate-fixes-4

Conversation

@joshua-temple

Copy link
Copy Markdown
Collaborator

Checkpoint 4.8 — gate rerun-5 contract findings

Gate rerun 5 adversary: 15 HELD / 1 BROKEN(doc-level) / 3 UNDOCUMENTED, findings F1(P1)/F2-F5(P2) — all documentation consistency; zero code defects.

Finding Fix
P1: doc.go 'exactly within a session' vs Kafka's documented in-session concurrent-commit window doc.go scoped to 'each adapter's documented constraints', naming the caveat
P2: Nak-after-Ack outcome unspecified inlet.go Settle: does not unmark; persisted position stays past; in-session reseek may redeliver once
P2: sibling-subscription foreign settle inlet.go: detection boundary explicit
P2: missing-DLQ steady state README setup notes: ErrNoDLQTopic per settle, unmarked, partition stalls until configured
P2: panic inside Begin's fn capability.go: not recovered; propagates; txn open until End/session-close/rebalance fence

Full three-panel gate reruns on this merge as final clearance.

…y + poison-loop and panic semantics

P1 (doc-consistency): doc.go no longer promises 'exactly within a session'
redelivery for offset-riding backends; it now scopes in-session redelivery to
each adapter's documented constraints (naming Kafka's concurrent-commit caveat
explicitly), matching handler.go and the kafka README.

P2s: Nak-after-Ack outcome specified (does not unmark; persisted position stays
past the record; an in-session re-seek may still redeliver once); foreign-settle
detection boundary spelled out (sibling-subscription Kafka records apply as if
delivered); missing-DLQ-topic steady state documented on the README setup notes
(ErrNoDLQTopic per settle, record unmarked, partition stalls until configured);
Begin documents that a panic inside fn is not recovered and leaves the
transaction open until End, session close, or a rebalance fence.
@joshua-temple
joshua-temple merged commit 52f806e into main Aug 23, 2026
121 checks passed
@joshua-temple
joshua-temple deleted the docs/source-v1-gate-fixes-4 branch August 23, 2026 07:22
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