KofTwentyTwo/AppKit
2
0 Fork 0
Code Issues 22 Pull Requests 4 Actions Packages Projects Releases 1 Wiki Activity

test: publish generated-input coverage and verify Scorecard detection #14

New Issue
Open
opened 2026-10-10 16:58:44 +00:00 by KofTwentyTwo · 1 comment
KofTwentyTwo commented 2026-10-10 16:58:44 +00:00 (Migrated from github.com)
Copy link
Copy source

Problem

Scorecard alert #2 reports no fuzzing integration. Four FsCheck properties (500 cases each) are implemented locally but not on main.

Acceptance criteria

Publish the properties and private test dependency; keep all unit/coverage gates passing; rerun Scorecard and verify the actual Fuzzing result before closing the alert; document shrunk counterexample replay.

Scope

AppKit core and updates.

This issue is part of the user-requested AppKit readiness remediation. Local work is not completion until the applicable published/runtime state and checks are verified. Substantial AI assistance: Codex.

## Problem Scorecard alert #2 reports no fuzzing integration. Four FsCheck properties (500 cases each) are implemented locally but not on main. ## Acceptance criteria Publish the properties and private test dependency; keep all unit/coverage gates passing; rerun Scorecard and verify the actual Fuzzing result before closing the alert; document shrunk counterexample replay. ## Scope AppKit core and updates. This issue is part of the user-requested AppKit readiness remediation. Local work is not completion until the applicable published/runtime state and checks are verified. Substantial AI assistance: Codex.
KofTwentyTwo commented 2026-10-10 17:52:26 +00:00 (Migrated from github.com)
Copy link
Copy source

Generated-input coverage is committed locally in AppKit 4cea46bb1dbb3a0d38011fafef0b2443c6d0e53d.

Four FsCheck properties run 500 cases each in the normal unit suite, covering settings repair, malformed bytes, JSON persistence and log tails. All 119 unit tests pass and core/updates remain at 100% line coverage. The UI helper foreground fix also passed all 12 sample UI tests.

Remaining: publish through CI, rerun Scorecard and inspect detection. These bounded properties do not prove large-file resilience; that remains #18. Signed and signed-off commit; AI assistance: Codex (GPT-6).

Generated-input coverage is committed locally in AppKit `4cea46bb1dbb3a0d38011fafef0b2443c6d0e53d`. Four FsCheck properties run 500 cases each in the normal unit suite, covering settings repair, malformed bytes, JSON persistence and log tails. All 119 unit tests pass and core/updates remain at 100% line coverage. The UI helper foreground fix also passed all 12 sample UI tests. Remaining: publish through CI, rerun Scorecard and inspect detection. These bounded properties do not prove large-file resilience; that remains #18. Signed and signed-off commit; AI assistance: Codex (GPT-6).
Sign in to join this conversation.
No Branch/Tag Specified
Labels
Clear labels
accessibility
Barrier affecting people with disabilities
 bug
Something isn't working
 deferred
Agreed follow-up, unscheduled
 dependencies
Pull requests that update a dependency file
 documentation
Improvements or additions to documentation
 duplicate
This issue or pull request already exists
 enhancement
New feature or request
 github_actions
Pull requests that update GitHub Actions code
 good first issue
Good for newcomers
 help wanted
Extra attention is needed
 invalid
This doesn't seem right
 needs-owner
Blocked on the owner
 priority
Work this first
 quality
Tests, gates, and code quality
 question
Further information is requested
 refactor
Internal restructuring, no behavior change
 release
Release and packaging
 wontfix
This will not be worked on
No labels quality
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
forge-recovery (Forge Recovery) james.maes (James Maes)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: KofTwentyTwo/AppKit#14