@ruso-0/nreki 8.0.1 → 8.0.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +28 -0
- package/package.json +1 -1
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,34 @@
|
|
|
2
2
|
|
|
3
3
|
All notable changes to NREKI will be documented in this file.
|
|
4
4
|
|
|
5
|
+
## 8.0.2 (2026-04-09) — Firewall Verification Test
|
|
6
|
+
|
|
7
|
+
### Fixed (Test Coverage Gap)
|
|
8
|
+
- **Numerical Sanity Firewall regression test:** v8.0.1 introduced an 8-layer
|
|
9
|
+
defense in depth against IEEE 754 NaN/Infinity propagation in the spectral
|
|
10
|
+
solver, but the firewall itself had no dedicated regression test — none of
|
|
11
|
+
the 712 existing tests constructed a graph that triggered real overflow in
|
|
12
|
+
the power iteration. This release adds a single test that builds a star
|
|
13
|
+
graph with extreme weights (1e150 × 1000 nodes), demonstrably overflows the
|
|
14
|
+
`norm` accumulator (`val² ≈ 1e306` × 1000 = `1e309 > Number.MAX_VALUE`),
|
|
15
|
+
and verifies that the Hot-Loop Thermal Guard catches `Infinity` in `norm`,
|
|
16
|
+
the λ₂ short-circuit catches the resulting `NaN`, and the function falls
|
|
17
|
+
back to the degenerate variant of the discriminated union (no `v2`,
|
|
18
|
+
`lambda3`, or `v3`). Defense without verification was half a defense; this
|
|
19
|
+
closes that gap.
|
|
20
|
+
|
|
21
|
+
### Notes
|
|
22
|
+
- **Tests:** 712 → 713 (the new firewall regression test).
|
|
23
|
+
- **Behavioral change:** none. This is purely a coverage addition.
|
|
24
|
+
- **No breaking changes.** No API surface modified.
|
|
25
|
+
- The 3 deferred items from v8.0.1 remain deferred:
|
|
26
|
+
- **Kahan summation:** rejected (precision obliterated by `toFixed(4)`)
|
|
27
|
+
- **PageRank FP audit:** rejected (mathematically immune via L1 simplex)
|
|
28
|
+
- **God Object kernel refactor:** deferred to v8.1 (SRE rule: never mix
|
|
29
|
+
architectural refactors with critical patches)
|
|
30
|
+
|
|
31
|
+
---
|
|
32
|
+
|
|
5
33
|
## 8.0.1 (2026-04-08) — IEEE 754 Hardening: NaN Sink Eradication
|
|
6
34
|
|
|
7
35
|
### Fixed (Critical — Mathematical Soundness)
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@ruso-0/nreki",
|
|
3
|
-
"version": "8.0.
|
|
3
|
+
"version": "8.0.2",
|
|
4
4
|
"description": "MCP plugin that validates AI agent edits in RAM before they touch disk. Spectral clustering, architecture diffs, bridge detection, dead code oracle, and cross-file semantic checks for TypeScript, Go (gopls), and Python (pyright). Zero cloud dependencies.",
|
|
5
5
|
"main": "dist/index.js",
|
|
6
6
|
"type": "module",
|