Why the checker does not agree by accident

Why the checker does not agree by accident An architecture diagram generated by Archify. poly-ref · reference interpreter · Check path: No model decides a verdict; never imports poly-io poly-ref reference interpreter poly-core · AST, types, checker, codes · Check path: No model decides a verdict; never imports poly-io poly-core AST, types, checker, codes poly-lang · lexer, parser, formatter · Check path: No model decides a verdict; never imports poly-io › The compiler: Code that turns source into artefacts; poly-ref imports none of it poly-lang lexer, parser, formatter poly-lower · machine to artefacts · Check path: No model decides a verdict; never imports poly-io › The compiler: Code that turns source into artefacts; poly-ref imports none of it poly-lower machine to artefacts sam-pattern 2.3.0 · SAM v2 strict profile · Architecture component sam-pattern 2.3.0 SAM v2 strict profile Check pipeline · stages 0 to 5, folded · Check path: No model decides a verdict; never imports poly-io Check pipeline stages 0 to 5, folded parse source type and domain check lower a checked machine strict validate validate, deadlock, liveness AST types AST and check result AST types only drive a lowered module The compiler: Code that turns source into artefacts; poly-ref imports none of it Check path: No model decides a verdict; never imports poly-io Legend Backend

The short answer

  • • poly-ref imports no compiler code, only erased types from core, and the import-boundary script enforces it
  • • the pipeline then requires poly-ref and polygraph to agree on counts and findings

Not shown here

  • • The runtime, the ledger and the feedback commands, none of which touch the independence rule
  • • Connected but out of scope: poly CLI, poly-embed, Certified build, polygraph 8.4.0, Polyaxion, polycheck

Constraints

  • • poly-ref shares no code with the compiler: a checker written from the same code would agree with its bugs; poly-ref may import only node builtins, sam-pattern and type-only imports of core