Module api_reasoning 

Deterministic JSON, GraphQL, and paired-visibility reasoning.

Runtime scope

• Build: always/default.
• Execution: Surface B support (API reasoning).
• Default termivar scan: no.
• Support: implemented and tested.

See docs/internals/runtime-map.md.

The profile is transport-neutral and opt-in. It recognizes disclosed API representations and turns one already-paired visibility comparison into a reviewable boundary hypothesis. It never combines independent principals, responses, or UI/API observations and never declares a vulnerability.

Structs

StandardApiInstallReport

Counts of definitions added by one idempotent profile installation.

StandardApiReasoning

Validated deterministic JSON/GraphQL and visibility-boundary rule pack.

Enums

StandardApiReasoningError

Failures while constructing or installing the standard API profile.

Constants

STANDARD_API_AXIOM_COUNT

Number of semantic axioms defined by StandardApiReasoning.

STANDARD_API_CONCEPT_COUNT

Number of concepts defined by StandardApiReasoning.

STANDARD_API_RULE_COUNT

Number of deterministic rules defined by StandardApiReasoning.