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/modelsfor claims, planning, trace, and verification modelspackages/bijux-canon-reason/src/bijux_canon_reason/executionfor runtime and tool execution boundariespackages/bijux-canon-reason/src/bijux_canon_reason/verificationfor checks that keep claims reviewablepackages/bijux-canon-reason/testsfor proof that claims, checks, and provenance stay aligned
Pages In This Section¶
- Module Map
- Dependency Direction
- Execution Model
- State and Persistence
- Integration Seams
- Error Model
- Extensibility Model
- Code Navigation
- Architecture Risks
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.