code-standards 8.126.3__tar.gz → 8.127.0__tar.gz

{code_standards-8.126.3 → code_standards-8.127.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: code-standards
-Version: 8.126.3
+Version: 8.127.0
 Summary: One deterministic quality gate for Sarj Python, TypeScript, Swift, Kotlin, shell, SQL, IaC, and repository policy.
 Project-URL: Homepage, https://code-standards.sarj.ai/
 Project-URL: Documentation, https://code-standards.sarj.ai/cli/

{code_standards-8.126.3 → code_standards-8.127.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "code-standards"
-version = "8.126.3"
+version = "8.127.0"
 description = "One deterministic quality gate for Sarj Python, TypeScript, Swift, Kotlin, shell, SQL, IaC, and repository policy."
 readme = "README.md"
 requires-python = ">=3.14"

{code_standards-8.126.3 → code_standards-8.127.0}/src/sarj_standards/configs/cli-reference.v1.json

@@ -3305,6 +3305,6 @@
   },
   "program": "code-standards",
   "schemaVersion": 1,
-  "summary": "Adopt, check, fix, diagnose, and update sarj-ai standards (v8.126.3).",
-  "version": "8.126.3"
+  "summary": "Adopt, check, fix, diagnose, and update sarj-ai standards (v8.127.0).",
+  "version": "8.127.0"
 }

{code_standards-8.126.3 → code_standards-8.127.0}/src/sarj_standards/configs/eslint.peers.json

@@ -19,7 +19,7 @@
     "@eslint-community/eslint-plugin-eslint-comments": "4.8.1",
     "@eslint/compat": "2.1.1",
     "@eslint/js": "10.0.1",
-    "@sarj/eslint-plugin": "16.27.0",
+    "@sarj/eslint-plugin": "16.29.0",
     "@shadcn/lint": "0.2.3",
     "@typescript/native": "npm:typescript@7.0.2",
     "@vitest/eslint-plugin": "1.6.28",
@@ -46,7 +46,7 @@
     "eslint-plugin-regexp": "3.3.1"
   },
   "ageGatePreapprovals": {
-    "@sarj/eslint-plugin": "16.27.0"
+    "@sarj/eslint-plugin": "16.29.0"
   },
   "yarnIdentityPins": {
     "@typescript-eslint/eslint-plugin": "8.72.0",

{code_standards-8.126.3 → code_standards-8.127.0}/src/sarj_standards/configs/eslint.strict.mjs

@@ -1736,6 +1736,8 @@ export function createConfig(options = {}) {
                 "@sarj/no-hand-rolled-spinner": "error",
                 "@sarj/no-known-value-widening": "error",
                 "@sarj/no-excess-jsx-props": "warn",
+                "@sarj/no-redundant-consumer-union": "warn",
+                "@sarj/prefer-minimal-parameter-contract": "warn",
                 "@sarj/no-invalid-typed-mutation": "warn",
                 "@sarj/no-contradictory-type-predicate": "warn",
                 "@sarj/no-partial-type-predicate": "warn",

{code_standards-8.126.3 → code_standards-8.127.0}/src/sarj_standards/configs/eslint.strict.ts

@@ -1488,6 +1488,8 @@ export function createConfig(options: ConfigOptions = {}): Linter.Config[] {
       "@sarj/no-hand-rolled-spinner": "error",
       "@sarj/no-known-value-widening": "error",
       "@sarj/no-excess-jsx-props": "warn",
+      "@sarj/no-redundant-consumer-union": "warn",
+      "@sarj/prefer-minimal-parameter-contract": "warn",
       "@sarj/no-invalid-typed-mutation": "warn",
       "@sarj/no-contradictory-type-predicate": "warn",
       "@sarj/no-partial-type-predicate": "warn",

{code_standards-8.126.3 → code_standards-8.127.0}/src/sarj_standards/configs/rule-calibration-campaign.v1.json

@@ -2837,6 +2837,22 @@
       "state": "complete",
       "evidence": "First-warning scope qualification is recorded in PR #1747. Three isolated fresh trials scan 2,801 pinned TypeScript files, including 2,673 real files and 128 labeled seeds, with four cold/warm scans per batch and a 250-file cap. Every one of 64 unique new diagnostics is inspected: 64 TP, zero confirmed FP, 64 retained ordinary-function FNs and 128 accepted explicit-forwarding controls. Real code produces zero new findings with partial type availability: 13,003 checker diagnostic occurrences per trial include 7,439 missing-information occurrences, not unique dependencies or files. A complete post-extraction replay preserves every diagnostic and checker-code count. Finite inspected precision is not universal absence of false positives. Three fresh performance trials contain 18 alternating warm pairs per control: full-preset paired median +0.54% and representative 773-file median +1.17%, against a 5% aim. Full-preset warm off/on medians are 1485.63/1533.59ms; representative medians 6453.81/6357.32ms, with wide shared-VM ranges. Native single-registry cold off/on medians are 2285.95/2563.75ms; peak RSS 396320/406552KiB. Separate CPU profiles attribute most rule-stack work to lazy contextual/type queries. Exact source, input and raw evidence pins remain local; public reports omit private identities, source and identifying pins. Canonical verification and exact-head hosted CI remain merge gates.",
       "outcome": "Ship as WARNING without fixes or suggestions. Require a complete native finite contract, an immutable const-arrow implementation with one pure returned scalar/intrinsic view, standard automatic React JSX and ES-module output, one self-closing identifier receiver and one direct plain object-literal spread. Preserve React metadata, implicit Object capabilities, and scalar own-field evidence; abstain on opaque or forwarding implementations, incomplete types, generics, unions, mapped/index surfaces, custom emitters, downlevel arrows and mutable CommonJS exports. An annotation does not remove runtime fields; explicit forwarding or projection requires identity/allocation review. Existing upstream unused-prop and primitive/identical-union owners remain unchanged."
+    },
+    {
+      "task": "rule-audit/typescript/prefer-minimal-parameter-contract",
+      "family": "typescript",
+      "ruleId": "prefer-minimal-parameter-contract",
+      "state": "complete",
+      "evidence": "Final supported-scope evaluation scans 2,830 pinned TypeScript files across nine isolated sources, capped at 250 files per fresh process with four cold/warm scans. All 74 target warnings are exhaustively inspected: 65 JSX, three dependency and six union findings, all labeled synthetic positives; zero confirmed false positives in the inspected final set and zero new real-code findings across 2,673 real files. Sixty-four ordinary-function JSX false negatives and 128 accepted explicit-forwarding sites remain recorded separately. The run has no parser failures and deterministic complete diagnostics. Its 7,440 missing-information occurrences are not unique dependencies or files and do not constitute a clean semantic scan. Generated, suppressed, incomplete, escaping, contextual and domain cases remain separate exclusions or unsupported cases. Three earlier fresh trials on 2,829 files remain historical evidence; their candidate was not qualified after an additional optional-covering-property counterexample was confirmed. The final narrower proof preserves every inspected warning tuple and accepts the separately appended regression. Exact source, corpus pins and raw evidence remain local; public reports omit private identities, source and identifying pins. Performance, full native verification, independent review and exact-head CI remain separate merge gates. Finite inspected precision is not universal absence of false positives. Native TypeScript 6.0.3 before/after controls reproduce unnecessary required-field coupling and the TS2559 weak-type counterexample. The supported consumer retains a used required field and preserves optional/readonly facts. Native ESM emission/runtime controls confirm that assertions, non-null expressions, satisfies and generic instantiations retain lexical eval; all such scope escapes abstain.",
+      "outcome": "Ship the initial scope as WARNING without fixes or suggestions: private top-level direct-call consumers, anonymous readonly broad primitive property contracts, explicit independent primitive returns and fixed pure scalar reads. Require an unread required field and a read required field. Preserve producers and runtime objects; named domain contracts, APIs, callbacks, contextual signatures, reflection, mutation, helper escapes, JSX and unavailable semantic information are unsupported. Do not promote to ERROR without a separate warning release and supporting evidence."
+    },
+    {
+      "task": "rule-audit/typescript/no-redundant-consumer-union",
+      "family": "typescript",
+      "ruleId": "no-redundant-consumer-union",
+      "state": "complete",
+      "evidence": "Final supported-scope evaluation scans 2,830 pinned TypeScript files across nine isolated sources, capped at 250 files per fresh process with four cold/warm scans. All 74 target warnings are exhaustively inspected: 65 JSX, three dependency and six union findings, all labeled synthetic positives; zero confirmed false positives in the inspected final set and zero new real-code findings across 2,673 real files. Sixty-four ordinary-function JSX false negatives and 128 accepted explicit-forwarding sites remain recorded separately. The run has no parser failures and deterministic complete diagnostics. Its 7,440 missing-information occurrences are not unique dependencies or files and do not constitute a clean semantic scan. Generated, suppressed, incomplete, escaping, contextual and domain cases remain separate exclusions or unsupported cases. Three earlier fresh trials on 2,829 files remain historical evidence; their candidate was not qualified after an additional optional-covering-property counterexample was confirmed. The final narrower proof preserves every inspected warning tuple and accepts the separately appended regression. Exact source, corpus pins and raw evidence remain local; public reports omit private identities, source and identifying pins. Performance, full native verification, independent review and exact-head CI remain separate merge gates. Finite inspected precision is not universal absence of false positives. Native TypeScript 6.0.3 probes establish proper Dog-to-Animal coverage and independently reproduce Extract, in-narrowing and fresh-literal changes. Native assignability alone is insufficient: a covering-only optional property rejects an existing identifier, and global Object Any can supply an implicit witness. The corrected rule requires every covering member, including optional members, in the covered declared surface. Two ordinary/implicit-Any regressions and the shared erased-eval controls pass.",
+      "outcome": "Ship the initial scope as WARNING without fixes or suggestions: an inline binary parameter union in the same proven private scalar-consumer boundary, complete readonly broad primitive object surfaces, proper one-way native assignability and all covering members explicitly present in the covered surface. Retain the covering type, never blindly the narrower subtype. Preserve public/type-level alternatives, producers, Any, unknown, generics, variance/callbacks, overloads, nominal/branded and incomplete contracts. General union simplification and Python imported-subtype approximation are withdrawn; error promotion needs a separate qualified change."
     }
   ]
 }