AG AxiomGuard powered by S-Agent Run demo

semantic code review

Semantic Code Review for TypeScript PRs

Semantic code review catches code changes that are technically valid but semantically wrong for the system.

Semantic code review evaluates whether code preserves the meaning a team already approved in documentation, architecture decisions, and product rules. AxiomGuard implements this with approved SemanticRule YAML, deterministic TypeScript analysis, and proof-carrying findings.

Why it matters

Proof beats plausible review comments.

Approved SemanticRules are the source of truth.

Deterministic symbolic evidence creates PROVEN findings.

Only approved critical rules in block mode can stop a merge.

Use cases

Where teams apply this first.

FAQ

Questions about semantic code review.

How is semantic code review different from linting?

Linting checks generic style and syntax rules. Semantic code review checks project-specific intent, such as domain boundaries, side-effect rules, and business invariants.

Can semantic code review block a pull request?

AxiomGuard can block only when an approved critical SemanticRule produces a PROVEN deterministic finding in block mode.

Related topics

intent-aware code review Intent-Aware Code Review Guardrails

Intent-aware code review verifies that every pull request preserves documented business, product, and architecture rules.

 AI code review guardrails AI Code Review Guardrails for Generated Code

AI code review guardrails help teams keep AI-generated and refactored code aligned with approved business and architecture rules.

 architecture drift prevention Architecture Drift Prevention for Pull Requests

Architecture drift prevention catches pull requests that violate documented module boundaries and approved architecture decisions.

 business logic regression prevention Business Logic Regression Prevention in Code Review

Business logic regression prevention checks pull requests for rule violations such as unsafe side effects, broken product invariants, and invalid thresholds.