ivue 2.5.0 → 2.6.0

package/skills/ivue/ivue-generator-standard.ts

@@ -21,12 +21,12 @@
 import { existsSync, readFileSync } from 'node:fs';
 import { basename, dirname, resolve } from 'node:path';
 import { Static } from '../../lib/Static';
-import { CheckStandard, type CheckProof, type Finding, type StandardCheck } from './ivue-standards-check';
+import { CheckStandard } from './ivue-standards-check';
 
 class $GeneratorStandard extends CheckStandard.$Class {
-  static get invariants_a_test_file_opens_with_its_generator_header(): StandardCheck {
+  static get invariants_a_test_file_opens_with_its_generator_header(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_test_file_opens_with_its_generator_header', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) findings.push(this.finding(this.invariants_a_test_file_opens_with_its_generator_header, unit, 1, `no \`${this.$grammar.GENERATOR}\` header — the test file opens with its generator header, before any import`));
@@ -36,9 +36,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_generator_header_carries_both_registers_in_order(): StandardCheck {
+  static get invariants_a_generator_header_carries_both_registers_in_order(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_generator_header_carries_both_registers_in_order', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       const grammar = this.$grammar;
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
@@ -54,9 +54,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_header_symbol_is_declared_in_the_sibling_source(): StandardCheck {
+  static get invariants_a_header_symbol_is_declared_in_the_sibling_source(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_header_symbol_is_declared_in_the_sibling_source', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -92,9 +92,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_claim_annotation_sits_directly_above_its_test(): StandardCheck {
+  static get invariants_a_claim_annotation_sits_directly_above_its_test(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_claim_annotation_sits_directly_above_its_test', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -106,9 +106,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_header_claims_and_annotated_tests_match_one_to_one(): StandardCheck {
+  static get invariants_header_claims_and_annotated_tests_match_one_to_one(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_header_claims_and_annotated_tests_match_one_to_one', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -127,9 +127,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_an_impossibility_is_proved_by_an_exact_negative_test(): StandardCheck {
+  static get invariants_an_impossibility_is_proved_by_an_exact_negative_test(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_an_impossibility_is_proved_by_an_exact_negative_test', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -154,9 +154,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_contract_pointer_resolves_and_is_proved(): StandardCheck {
+  static get invariants_a_contract_pointer_resolves_and_is_proved(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_contract_pointer_resolves_and_is_proved', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -187,9 +187,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_source_tripwire_resolves_to_its_sibling_header(): StandardCheck {
+  static get invariants_a_source_tripwire_resolves_to_its_sibling_header(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_source_tripwire_resolves_to_its_sibling_header', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       const grammar = this.$grammar;
       const SYMBOL_ONLY = new RegExp(`^\\s*//\\s*${grammar.DOMAIN}:\\s*([^—\\n]+?)\\s*$`);
       for (const unit of context.sources) {
@@ -214,9 +214,9 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_a_test_caveat_derives_from_a_tested_claim(): StandardCheck {
+  static get invariants_a_test_caveat_derives_from_a_tested_claim(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_a_test_caveat_derives_from_a_tested_claim', (context) => {
-      const findings: Finding[] = [];
+      const findings: CheckStandard.Finding[] = [];
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present || !header.described) continue;
@@ -234,10 +234,10 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get invariants_two_test_files_do_not_share_one_generator_header(): StandardCheck {
+  static get invariants_two_test_files_do_not_share_one_generator_header(): CheckStandard.StandardCheck {
     return this.defineCheck('invariants_two_test_files_do_not_share_one_generator_header', (context) => {
-      const findings: Finding[] = [];
-      const normalized = new Map<string, SourceUnit>();
+      const findings: CheckStandard.Finding[] = [];
+      const normalized = new Map<string, CheckStandard.SourceUnit>();
       for (const unit of context.tests) {
         const header = this.parseHeader(unit);
         if (!header.present) continue;
@@ -253,7 +253,7 @@ class $GeneratorStandard extends CheckStandard.$Class {
     });
   }
 
-  static get checks(): readonly StandardCheck[] {
+  static get checks(): readonly CheckStandard.StandardCheck[] {
     return [
       ...super.checks,
       this.invariants_a_test_file_opens_with_its_generator_header,
@@ -269,7 +269,7 @@ class $GeneratorStandard extends CheckStandard.$Class {
     ];
   }
 
-  static get proofs(): Readonly<Record<string, CheckProof>> {
+  static get proofs(): Readonly<Record<string, CheckStandard.CheckProof>> {
     const fixture = this.$fixtures;
     const grammar = this.$grammar;
     const contractName = `demo${grammar.CONTRACT_SUFFIX}`;

package/skills/ivue/ivue-house-gate.ts

@@ -19,7 +19,7 @@
  *   npm run gate:house -- --source-root src --test-glob 'src/**\/*.test.ts'
  */
 import { Static } from '../../lib/Static';
-import { CheckStandard, type CheckProof, type StandardCheck } from './ivue-standards-check';
+import { CheckStandard } from './ivue-standards-check';
 
 // This gate extends the ivue-only Standard. Teams using the invariant
 // methodology (generator headers on test files, claims bound to tests)
@@ -58,6 +58,7 @@ class $HouseGate extends CheckStandard.$Class {
       a_lifecycle_hook_delegates_to_one_method: 'warn',
       the_state_destructure_is_total: 'error',
       template_expressions_carry_no_logic: 'error',
+      one_handler_per_event: 'error',
       watch_lifetime_matches_the_instance_owner: 'error',
       a_reactive_closure_delegates_to_one_method: 'error',
       a_store_is_used_lazily_and_swapped_at_the_class_slot: 'error',
@@ -95,7 +96,7 @@ class $HouseGate extends CheckStandard.$Class {
     return 900;
   }
 
-  static get a_source_file_stays_under_the_line_budget(): StandardCheck {
+  static get a_source_file_stays_under_the_line_budget(): CheckStandard.StandardCheck {
     return this.defineCheck('a_source_file_stays_under_the_line_budget', (context) =>
       context.sources
         .filter((unit) => unit.lines.length > this.MAX_SOURCE_LINES)
@@ -103,11 +104,11 @@ class $HouseGate extends CheckStandard.$Class {
     );
   }
 
-  static get checks(): readonly StandardCheck[] {
+  static get checks(): readonly CheckStandard.StandardCheck[] {
     return [...super.checks, this.a_source_file_stays_under_the_line_budget];
   }
 
-  static get proofs(): Readonly<Record<string, CheckProof>> {
+  static get proofs(): Readonly<Record<string, CheckStandard.CheckProof>> {
     return {
       ...super.proofs,
       [this.a_source_file_stays_under_the_line_budget.name]: {