docs.rs failed to build exocortex-reasoning-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
The two-language reasoning layer (§10): Crepe (compile-time Datalog) for
derivation — kernel rules R1-R5 and R7-R9 plus dev-v1 pack rules D1-D6 —
and Steel (embedded Scheme) for belief evolution and explanation traces.
R6 reverse_solves is the one Steel rule in the catalogue (§10.4).
No LLM anywhere (CR-19). No serialization on the reasoning read path (CR-8; asserted by a workspace test).