Skip to content

Shared conformance suite: check every analyzer against canonical v2 #38

Description

@rahlk

Parent: #35 · Roadmap: docs/design/roadmap.md (candidate 5)

Skeleton — bodies to be filled in by the maintainer.

Problem

Each analyzer's conformance test validates its emitter against its own declared schema, so an analyzer can be internally consistent and still diverge from canonical v2. This is how codeanalyzer-python and codeanalyzer-typescript both declare SCHEMA_VERSION = "2.0.0" while emitting materially different graphs.

Scope boundary

Checks every analyzer against canonical v2. Does not replace the per-analyzer self-conformance tests, and does not itself migrate anything.

Goals

  • TODO
  • Runs against every analyzer with a Neo4j emitter: python, typescript, java, clang
  • Home repo decided (blocked on the contract spec)

Caveats and known risks

  • codeanalyzer-clang has no SCHEMA_DECISIONS.md and no declared schema version; its state is unassessed and may be larger than a migration.
  • TODO

Definition of done

  • TODO — prefer an exact expected set over "passes".

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions