[PR #301] [MERGED] test: add limit monotonicity and partial-evidence regressions #1937

New issue

Closed

opened 2026-10-16 21:12:40 +00:00 by bsakaguchi · 0 comments

bsakaguchi commented

2026-10-16 21:12:40 +00:00

Owner

📋 Pull Request Information

Original PR: https://github.com/morluto/rea/pull/301
Author: @N0zoM1z0
Created: 7/17/2026
Status: ✅ Merged
Merged: 7/17/2026
Merged by: @N0zoM1z0

Base: main ← Head: agent/test-limit-monotonicity

📝 Commits (1)

4afd970 test: add limit monotonicity and partial-evidence regressions

📊 Changes

2 files changed (+280 additions, -4 deletions)

View changed files

➕ tests/coverageMonotonicity.test.ts (+260 -0)
📝 tests/javascriptArtifactReconstruction.test.ts (+20 -4)

📄 Description

What

Add property-based tests for source pagination and downstream projection monotonicity.
Exercise aggregate managed graph omissions across types, methods, fields, P/Invoke imports, and native implementations.
Assert parser-unknown managed inputs cannot become complete merely by widening projection limits.
Assert AST-truncated Electron/JavaScript import edges inherit partial unknown-count coverage.

Why

Coverage and authority must fail closed under pagination, parser gaps, and local projection bounds. Shrinking a limit must never improve completeness, and a derived edge must not claim stronger coverage than its source analysis.

Impact

This is a test-only change. It locks the existing fail-closed coverage contract for both managed and Electron/JavaScript analysis without changing caller-visible schemas or runtime behavior.

Checks

npm run check
npm run verify:managed
npm run verify:package
npm run knip
npm run jscpd
npm run scan:todos
npx vitest run tests/coverageMonotonicity.test.ts tests/javascriptArtifactReconstruction.test.ts --coverage.enabled=false

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/morluto/rea/pull/301 **Author:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Created:** 7/17/2026 **Status:** ✅ Merged **Merged:** 7/17/2026 **Merged by:** [@N0zoM1z0](https://github.com/N0zoM1z0) **Base:** `main` ← **Head:** `agent/test-limit-monotonicity` --- ### 📝 Commits (1) - [`4afd970`](https://github.com/morluto/rea/commit/4afd97029c3eebc0c755b0c9dee2fd74217a1305) test: add limit monotonicity and partial-evidence regressions ### 📊 Changes **2 files changed** (+280 additions, -4 deletions) <details> <summary>View changed files</summary> ➕ `tests/coverageMonotonicity.test.ts` (+260 -0) 📝 `tests/javascriptArtifactReconstruction.test.ts` (+20 -4) </details> ### 📄 Description ## What - Add property-based tests for source pagination and downstream projection monotonicity. - Exercise aggregate managed graph omissions across types, methods, fields, P/Invoke imports, and native implementations. - Assert parser-unknown managed inputs cannot become complete merely by widening projection limits. - Assert AST-truncated Electron/JavaScript import edges inherit partial unknown-count coverage. ## Why Coverage and authority must fail closed under pagination, parser gaps, and local projection bounds. Shrinking a limit must never improve completeness, and a derived edge must not claim stronger coverage than its source analysis. ## Impact This is a test-only change. It locks the existing fail-closed coverage contract for both managed and Electron/JavaScript analysis without changing caller-visible schemas or runtime behavior. ## Checks - npm run check - npm run verify:managed - npm run verify:package - npm run knip - npm run jscpd - npm run scan:todos - npx vitest run tests/coverageMonotonicity.test.ts tests/javascriptArtifactReconstruction.test.ts --coverage.enabled=false --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

bsakaguchi

2026-10-16 21:12:40 +00:00

closed this issue
added the
pull-request
label

bsakaguchi referenced this issue

2026-10-31 00:57:00 +00:00

[PR #1949] [MERGED] feat(ghidra): admit soft-float MIPS32r2 ELF with integer-register float storage #4930

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

morluto/rea#1937

No description provided.

Rows
Columns