Repository navigation

Establish the evidence-gated executable logic museum and Lean oracle - #2

Draft

SMC17 wants to merge 25 commits into

mainfrom

agent/museum-trust-frontier

Draft

Establish the evidence-gated executable logic museum and Lean oracle#2
SMC17 wants to merge 25 commits into
mainfrom
agent/museum-trust-frontier

Commits on Jul 17, 2026
- v0.18.0: Peircean triad — abduction + induction engines over the SAT oracle
  SMC17
  committed
  57ee0db
- v0.19.0: reasoning-mode wave — MaxSAT, min-cost + first-order abduction, Bayesian induction, defaults, rational closure
  SMC17
  committed
  ad10d9a
Commits on Jul 18, 2026
Commits on Jul 21, 2026
- museum: establish evidence-gated verified exhibits
  SMC17
  committed
  94ec78b
- museum: verify finite Dung argumentation
  SMC17
  committed
  62f5085
- museum: verify propositional stable models
  SMC17
  committed
  46d5b39
- museum: verify finite Reiter default logic
  SMC17
  committed
  1d77fab
- museum: verify finite AGM base change
  SMC17
  committed
  4a7c08a
- museum: verify propositional circumscription
  SMC17
  committed
  022e3c3
- harden KLM ranking evidence
  SMC17
  committed
  96d989d
- add Lean oracle and GitHub evidence gates
  SMC17
  committed
  37beda1
- fix Lean oracle module discovery
  SMC17
  committed
  8b264ff
- ci: use supported Lean 4.28 checker
  SMC17
  committed
  434bb93
- v0.23.0: PDL finite-frame semantics — verified_exhibit (two independent evaluators + exhaustive oracle)
  SMC17
  committed
  4a7df29
- Audit round: close unknown-collapse gap, honest bounded-CTL labels, IPASIR version bump, FOL scope doc
  SMC17
  committed
  6c5658a
Commits on Jul 22, 2026
Commits on Aug 20, 2026
- fmt: wrap single-element LTL SAT clause for zig fmt --check
  SMC17
  committed
  a4ca17d
- merge origin/main into museum-trust-frontier
  SMC17
  committed
  a4eea78
- Merge remote-tracking branch 'origin/main' into rebase-museum-onto-main
  SMC17
  committed
  5ab44e9
- fmt: wrap taxonomy registry extra rows for zig fmt --check
  SMC17
  committed
  2bf6ccd

Navigation Menu

Repository navigation

Establish the evidence-gated executable logic museum and Lean oracle - #2

Establish the evidence-gated executable logic museum and Lean oracle#2
SMC17 wants to merge 25 commits into
mainfrom
agent/museum-trust-frontier

Commits on Jul 17, 2026

v0.18.0: Peircean triad — abduction + induction engines over the SAT oracle

v0.19.0: reasoning-mode wave — MaxSAT, min-cost + first-order abduction, Bayesian induction, defaults, rational closure

Commits on Jul 18, 2026

v0.20.0: nonmonotonic completion — argumentation, answer sets, AGM, circumscription, analogy

v0.21.0: classical-adjacent wave — intuitionistic, many-valued, epistemic, syllogistic, EL

v0.22.0: substructural + normative — MLL linear logic, deontic SDL; registry map widened

NEXT.md: session cursor after v0.18–v0.22 reasoning waves

Commits on Jul 21, 2026

museum: establish evidence-gated verified exhibits

museum: verify finite Dung argumentation

museum: verify propositional stable models

museum: verify finite Reiter default logic

museum: verify finite AGM base change

museum: verify propositional circumscription

harden KLM ranking evidence

add Lean oracle and GitHub evidence gates

fix Lean oracle module discovery

ci: use supported Lean 4.28 checker

v0.23.0: PDL finite-frame semantics — verified_exhibit (two independent evaluators + exhaustive oracle)

Audit round: close unknown-collapse gap, honest bounded-CTL labels, IPASIR version bump, FOL scope doc

Commits on Jul 22, 2026

Add verified_exhibit: bounded LTL (X/F/G/U/R) with two-semantics cross-check

Fix registry: ltl-bounded maturity uses valid Maturity enum

Extend bounded LTL with past-time fragment (PLTL): Y/Z/S/B

Commits on Aug 20, 2026

fmt: wrap single-element LTL SAT clause for zig fmt --check

merge origin/main into museum-trust-frontier

Merge remote-tracking branch 'origin/main' into rebase-museum-onto-main

fmt: wrap taxonomy registry extra rows for zig fmt --check