Skip to content

refactor(verify): catalog G36 declaration requirements - #87

Merged
jscott3201 merged 1 commit into
mainfrom
refactor/typed-declaration-catalog
Aug 24, 2026
Merged

refactor(verify): catalog G36 declaration requirements#87
jscott3201 merged 1 commit into
mainfrom
refactor/typed-declaration-catalog

Conversation

@jscott3201

Copy link
Copy Markdown
Owner

Summary

  • replace the two per-class checker branches with a private typed declaration catalog
  • verify block members and enumeration literals through one fail-fast syntax path
  • strengthen regression coverage for catalog order, short-circuiting, and exact diagnostics

Boundary

The public Rust function, CLI behavior, fixed source targets, check order, and error text remain unchanged. The catalog is private and in-memory; this PR adds no Python bridge, serialization, PyO3, cxf-json, dependency or workspace change, schema or registry change, generated artifact, dependency closure, inheritance, or semantic resolution.

Validation

  • scoped rustfmt plus library and binary Cargo checks
  • Rust tests — 22 passed
  • pinned G36 declaration and source-inventory checks — 431 release and 693 development files
  • routine lint suite — 189 passed
  • fault replay — 137 fault directories and 1,760 scenarios passed
  • dataset harness — 32 tests and the tiny FPU replay passed

@jscott3201
jscott3201 merged commit 26c97ec into main Aug 24, 2026
3 checks passed
@jscott3201
jscott3201 deleted the refactor/typed-declaration-catalog branch August 24, 2026 18:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant