Skip to content

Architecture

Open this section when the question is structural: where claims and checks are formed, how reasoning steps flow through the package, and how the code keeps meaning visible instead of scattering it.

Structural Shape

Reason architecture centers on explicit reasoning artifacts. Core models define claims, plans, traces, and verification results; execution modules run steps and tools; verification modules check structure and provenance; trace modules make the result replayable rather than just plausible.

flowchart LR
    evidence["evidence input"]
    core["core models"]
    execution["execution runtime"]
    reasoning["reasoning logic"]
    verification["verification checks"]
    traces["trace records"]
    output["reasoning artifact"]

    evidence --> core --> execution --> reasoning --> verification --> output
    execution --> traces --> output
    core --> output

The architectural point of reason is that interpretation stays inspectable. Models define the shapes that matter, execution runs the step, reasoning logic forms the conclusion, verification constrains it, and traces preserve enough history for comparison or replay later.

Read These First

  • open Module Map first when you need the owning code area for a reasoning concern
  • open Execution Model when you need the path from evidence input to reasoning output
  • open Integration Seams when a change could blur retrieval, orchestration, or runtime boundaries

Structural Risk

The main architectural risk here is hiding reasoning policy in the wrong layer until no one can point to the module that actually decided what a claim means.

First Proof Check

  • packages/bijux-canon-reason/src/bijux_canon_reason/core/models for claims, planning, trace, and verification models
  • packages/bijux-canon-reason/src/bijux_canon_reason/execution for runtime and tool execution boundaries
  • packages/bijux-canon-reason/src/bijux_canon_reason/verification for checks that keep claims reviewable
  • packages/bijux-canon-reason/tests for proof that claims, checks, and provenance stay aligned

Pages In This Section

Leave This Section When

  • leave for Interfaces when the structural question is already a public contract question
  • leave for Operations when the issue is running, diagnosing, or releasing the package rather than explaining its shape
  • leave for Quality when the structure is clear and the real question is whether the package has proved it strongly enough

Design Pressure

If a reader cannot point to where meaning is formed versus where meaning is checked, the package has already blurred its own reasoning policy. The architecture page should keep those responsibilities separate and visible.