Skip to content

docs(E1-12): register FuelEntryStateHolderTest SIGSEGV fix story for issue #42 - #43

Merged
davidru85 merged 1 commit into
mainfrom
docs/E1-12-register-issue-42-test-segfault-fix
Sep 1, 2026
Merged

docs(E1-12): register FuelEntryStateHolderTest SIGSEGV fix story for issue #42#43
davidru85 merged 1 commit into
mainfrom
docs/E1-12-register-issue-42-test-segfault-fix

Conversation

@davidru85

Copy link
Copy Markdown
Owner

Summary

Story

E1-12 - FuelEntryStateHolderTest Kotlin/Native SIGSEGV on Graph Close

Ready Check

  • Backlog story is explicit
  • Acceptance criteria reviewed
  • Dependencies checked
  • Required decisions are not Proposed or Pending
  • Normative sections reviewed
  • Expected verification identified
  • Human review gates identified before work

Scope Completed

Acceptance Evidence

Out of Scope / Not Done

  • E1-12 implementation (the test fix itself) remains open for a follow-up PR.
  • Any production-code change to AppGraph.close(), StateHolders.close() or DatabaseFactory — deferred to its own gated story if pursued.

Files Changed

  • docs/BACKLOG.md — new story, execution-order line, rationale, story-index row
  • AGENTS.md — remaining Phase 1 count
  • docs/PROJECT_LOG.md — correction entry

Decisions Made

Include any SHOULD you deviated from, and why.

  • None. The story marks the AppGraph.close() safety question as a deferred decision, not a decision taken in this PR.

Verification Run

  • Documentation updated if behaviour, decisions or models changed

Commands or checks run:

git diff --stat
 3 files changed, 81 insertions(+), 1 deletion(-)

No code, build, lint, coverage, architecture or contract check is affected by a documentation-only backlog registration.

Contract Impact

  • No contract changes

Decision Board Impact

  • No decision changes

Shared-Write Modules Touched

  • None

Project Log Entry

  • Entry appended to docs/PROJECT_LOG.md

Human Review Gate

Gates are defined canonically in AGENTS.md.

  • Gated path (AGENTS.md, docs/BACKLOG.md is derived but AGENTS.md is gated)

This PR touches AGENTS.md (Repository State remaining-work count), which is a gated path.

Risks or Follow-ups

…issue #42

Add backlog story E1-12 (S, Phase 1, human-gated) registering GitHub issue
#42: the intermittent SIGSEGV on :shared:iosSimulatorArm64Test where
FuelEntryStateHolderTest closes the AppGraph while collectors on
runTest's backgroundScope are still subscribed, producing a use-after-free
on Kotlin/Native. The fix is test-only; the D-89 production-safety question
is deferred to its own gated story. Follows the E1-11 precedent.

- docs/BACKLOG.md: story, execution-order line, rationale, story-index row
- AGENTS.md: update remaining Phase 1 count
- docs/PROJECT_LOG.md: correction entry
@davidru85
davidru85 deployed to cloud-runtime-verification September 1, 2026 14:08 — with GitHub Actions Active
@davidru85
davidru85 merged commit df37ec7 into main Sep 1, 2026
19 of 20 checks passed
@davidru85
davidru85 deleted the docs/E1-12-register-issue-42-test-segfault-fix branch September 1, 2026 14:34
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.

[Bug]: FuelEntryStateHolderTest segfaults on iosSimulatorArm64 when the graph closes while collectors are live

1 participant