@decantr/verifier 3.0.0-next.0 → 3.0.0

package/README.md

@@ -37,6 +37,14 @@ npm install @decantr/verifier
 - project source audits ignore test, spec, story, fixture, and mock files for production drift warnings such as localhost endpoints and unsafe rendering patterns
 - project audits emit `COMP001` / `import-existing-component` findings when a production source file locally redeclares a primitive such as `Button`, `Card`, or `Dialog` while an exported reusable primitive already exists under common component paths
 - project audits emit `COMP010` / `replace-raw-control-with-local-component` findings when production JSX renders raw controls such as `<button>` or `<input>` while a project-owned primitive already exists
+- project audits emit behavior-obligation findings when accepted `.decantr/local-patterns.json` patterns declare `behavior_obligations` and production source strongly violates statically checkable dialog/form obligations:
+  - `A11Y010` / `restore-dialog-accessible-name`
+  - `A11Y011` / `restore-label-association`
+  - `INT010` / `restore-visible-consequence-copy`
+  - `INT011` / `restore-cancel-affordance`
+  - `INT012` / `restore-submitting-guard`
+  - `INT013` / `set-explicit-button-type`
+  - `COMP020` / `use-project-owned-interaction-primitive`
 - project audits emit `TOKEN010` / `replace-arbitrary-style-with-bridge-token` findings when an accepted `.decantr/style-bridge.json` exists and production JSX uses arbitrary Tailwind values such as `bg-[#0f172a]`, values inside `cn()`, `clsx()`, `classnames()`, `cva()`, and `tv()` calls, hardcoded inline color styles such as `style={{ backgroundColor: "#0f172a" }}`, or hardcoded visual values in production CSS/module stylesheets
 - published verifier report schemas are exercised by AJV-backed round-trip tests against real audit, critique, and shortlist-report outputs
 - project audits include runtime evidence when a built `dist/` output is present:

package/dist/index.d.ts

@@ -61,6 +61,16 @@ declare const KNOWN_VERIFICATION_DIAGNOSTICS: readonly [{
     readonly code: "COMP010";
     readonly repairId: "replace-raw-control-with-local-component";
     readonly family: "COMP";
+}, {
+    readonly rule: "behavior-project-interaction-primitive";
+    readonly code: "COMP020";
+    readonly repairId: "use-project-owned-interaction-primitive";
+    readonly family: "COMP";
+}, {
+    readonly rule: "behavior-dialog-project-primitive";
+    readonly code: "COMP020";
+    readonly repairId: "use-project-owned-interaction-primitive";
+    readonly family: "COMP";
 }, {
     readonly rule: "component-reuse-primitive-reimplemented";
     readonly code: "COMP001";
@@ -96,6 +106,36 @@ declare const KNOWN_VERIFICATION_DIAGNOSTICS: readonly [{
     readonly code: "A11Y001";
     readonly repairId: "enable-focus-visible";
     readonly family: "A11Y";
+}, {
+    readonly rule: "behavior-dialog-accessible-name";
+    readonly code: "A11Y010";
+    readonly repairId: "restore-dialog-accessible-name";
+    readonly family: "A11Y";
+}, {
+    readonly rule: "behavior-form-label-associated";
+    readonly code: "A11Y011";
+    readonly repairId: "restore-label-association";
+    readonly family: "A11Y";
+}, {
+    readonly rule: "behavior-dialog-visible-consequence";
+    readonly code: "INT010";
+    readonly repairId: "restore-visible-consequence-copy";
+    readonly family: "INT";
+}, {
+    readonly rule: "behavior-dialog-cancel-affordance";
+    readonly code: "INT011";
+    readonly repairId: "restore-cancel-affordance";
+    readonly family: "INT";
+}, {
+    readonly rule: "behavior-dialog-submitting-guard";
+    readonly code: "INT012";
+    readonly repairId: "restore-submitting-guard";
+    readonly family: "INT";
+}, {
+    readonly rule: "behavior-form-explicit-button-type";
+    readonly code: "INT013";
+    readonly repairId: "set-explicit-button-type";
+    readonly family: "INT";
 }, {
     readonly rule: "pack-manifest-present";
     readonly code: "CTX002";
@@ -305,28 +345,6 @@ interface ComponentReuseAudit {
 }
 declare function auditComponentReuse(projectRoot: string, sourceFiles: string[]): ComponentReuseAudit;
 
-declare const STYLE_BRIDGE_ARBITRARY_VALUE_RULE_ID = "style-bridge-arbitrary-value";
-interface StyleBridgeDriftFinding {
-    id: string;
-    file: string;
-    line: number;
-    className: string;
-    value: string;
-    source: 'className' | 'inline-style' | 'stylesheet';
-    property?: string;
-    bridgeMappingIds: string[];
-    tokenHints: string[];
-    classHints: string[];
-    evidence: string[];
-}
-interface StyleBridgeDriftAudit {
-    filesChecked: number;
-    bridgeMappingCount: number;
-    arbitraryValueCount: number;
-    findings: StyleBridgeDriftFinding[];
-}
-declare function auditStyleBridgeDrift(projectRoot: string, sourceFiles: string[]): StyleBridgeDriftAudit;
-
 /**
  * Experiential interaction verifier.
  *
@@ -575,6 +593,28 @@ declare function probePublishedSite(url: string, options?: {
 }): Promise<PublishedSiteProbeV1>;
 declare function resolveGitHubScanInput(input: string): GitHubScanInputResolution;
 
+declare const STYLE_BRIDGE_ARBITRARY_VALUE_RULE_ID = "style-bridge-arbitrary-value";
+interface StyleBridgeDriftFinding {
+    id: string;
+    file: string;
+    line: number;
+    className: string;
+    value: string;
+    source: 'className' | 'inline-style' | 'stylesheet';
+    property?: string;
+    bridgeMappingIds: string[];
+    tokenHints: string[];
+    classHints: string[];
+    evidence: string[];
+}
+interface StyleBridgeDriftAudit {
+    filesChecked: number;
+    bridgeMappingCount: number;
+    arbitraryValueCount: number;
+    findings: StyleBridgeDriftFinding[];
+}
+declare function auditStyleBridgeDrift(projectRoot: string, sourceFiles: string[]): StyleBridgeDriftAudit;
+
 declare const VERIFICATION_SCHEMA_URLS: {
     readonly common: "https://decantr.ai/schemas/verification-report.common.v1.json";
     readonly projectAudit: "https://decantr.ai/schemas/project-audit-report.v1.json";