Skip to content

[codex] add Jaynes context review design #640

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
kunyuan wants to merge 252 commits into
base: main
Choose a base branch
from
Draft

[codex] add Jaynes context review design #640

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
252 commits
Select commit Hold shift + click to select a range
ecc5073
feat(lang): support parameterized claim templates
LittleBug Apr 21, 2026
7ba3674
feat(lang): expose v6 knowledge types in DSL
LittleBug Apr 21, 2026
e0b463b
feat(ir): add context knowledge and parameter values
LittleBug Apr 21, 2026
f25d09e
feat(compiler): handle v6 knowledge metadata
LittleBug Apr 21, 2026
0bcd882
test: cover v6 knowledge CLI compilation
LittleBug Apr 21, 2026
b6c4ffb
style: apply ruff formatting
LittleBug Apr 21, 2026
0429cd5
feat(lang): add v6 support actions
LittleBug Apr 21, 2026
5e441ca
feat(lang): add v6 relate and infer verbs
LittleBug Apr 21, 2026
dc500a0
fix(lang): warn on v5 support compatibility path
LittleBug Apr 21, 2026
bfa6d18
feat(compiler): lower v6 actions to IR
LittleBug Apr 21, 2026
160ebe6
test(cli): cover v6 action compilation
LittleBug Apr 21, 2026
946a57f
style: format v6 compute test
LittleBug Apr 21, 2026
6fa66b5
fix(lang): preserve compute keyword inputs
LittleBug Apr 21, 2026
17ba777
feat(ir): add qualitative review manifest models
LittleBug Apr 21, 2026
745e471
feat(lang): generate review manifests for v6 actions
LittleBug Apr 21, 2026
6152b51
feat(bp): gate v6 actions by review manifest
LittleBug Apr 21, 2026
6a5097f
feat(cli): expose v6 review warrants
LittleBug Apr 21, 2026
02e665b
feat(cli): load persisted review manifests
LittleBug Apr 21, 2026
2a53607
feat(cli): add inquiry state view
LittleBug Apr 21, 2026
816abe0
feat(cli): add quality gate checks
LittleBug Apr 21, 2026
dee8d69
fix(cli): keep blind warrants from bypassing gate
LittleBug Apr 21, 2026
99194b3
fix(lang): lower root observes as grounding reviews
LittleBug Apr 21, 2026
7ed20dc
fix(cli): pass v6 infer cpts into BP
LittleBug Apr 21, 2026
38a8246
fix(lang): store infer cpts on strategies
LittleBug Apr 21, 2026
fd42e49
Merge PR #468: Gaia Lang v6 phase 1 knowledge primitives
LittleBug Apr 22, 2026
50ee7c1
Merge PR #469: Gaia Lang v6 action hierarchy and lowering
LittleBug Apr 22, 2026
1e6298a
Merge PR #470: Gaia Lang v6 review manifests
LittleBug Apr 22, 2026
3bafdb7
Merge PR #471: Gaia Lang v6 inquiry and quality gate
LittleBug Apr 22, 2026
9dae613
docs: add probabilistic correlation relation idea
LittleBug Apr 22, 2026
6ed7bc4
feat(lang): return evidence from v6 infer
LittleBug Apr 22, 2026
4907624
test(lang): cover infer string evidence
LittleBug Apr 22, 2026
5f777da
Merge PR #472: Return evidence from v6 infer
kunyuan Apr 22, 2026
bb01913
Unify context knowledge as notes
LittleBug Apr 22, 2026
b5fff15
fix: enforce note prior invariants
LittleBug Apr 22, 2026
5528293
Merge pull request #473 from SiliconEinstein/codex/note-knowledge-format
kunyuan Apr 22, 2026
e924b64
[codex] Add propositional logic support to Gaia Lang (#474)
kunyuan Apr 22, 2026
e7dab09
Import GPT Pro Gaia idea specs
LittleBug Apr 23, 2026
f14ce0b
docs(foundation): add consolidated Gaia foundation spec
LittleBug Apr 23, 2026
ecf4f78
docs(foundation): pin unit handling policy (§4.5)
LittleBug Apr 23, 2026
a42b850
docs(foundation): clarify §4.5 — Gaia uses Pint, does not reimplement…
LittleBug Apr 23, 2026
d3a9985
docs(foundation): promote Pint to core via gaia.unit, rename kernel c…
LittleBug Apr 23, 2026
6643390
docs(foundation): add gaia.stats + rename ErrorModelSpec → Distributi…
LittleBug Apr 23, 2026
8711836
docs(foundation): add gaia.constants core module (§4.7)
LittleBug Apr 23, 2026
fb995b1
Align v0.5 inference with Jaynes semantics
LittleBug Apr 24, 2026
1aa7cee
docs(foundation): Segment 1 — U1 Knowledge hierarchy unification
LittleBug Apr 24, 2026
b1c4558
docs(foundation): Segment 2 — R4 review authority + publish-time cont…
LittleBug Apr 24, 2026
c4f8ff4
docs(foundation): Segment 1.5 — retract sidecar-record story, record …
LittleBug Apr 24, 2026
415f8b3
docs(foundation): Segment 3 — CallableRef provenance invariant + §11 …
LittleBug Apr 24, 2026
cdc3408
Report root observations as MaxEnt DOF
LittleBug Apr 24, 2026
e4ed56b
docs(foundation): Segment 4 — §16 audit against v0.5 HEAD + §17 open-…
LittleBug Apr 24, 2026
cd0255b
Prepare v0.5 release checks
LittleBug Apr 24, 2026
26f6c73
Merge pull request #475 from SiliconEinstein/codex/import-gpt-pro-specs
kunyuan Apr 24, 2026
a1cb99f
Fix OR helper rendering in docs
LittleBug Apr 24, 2026
d28f8c9
Avoid pipe syntax in README tables
LittleBug Apr 24, 2026
f974cd1
docs(foundation): Segment 5 — composition primitive (Path A, v0.5 lan…
LittleBug Apr 24, 2026
7ca61e1
docs(foundation): Segment 5.5 — slim §12 to invariants + pointer to c…
LittleBug Apr 24, 2026
f9edcad
Polish v0.5 prior hole diagnostics and docs
LittleBug Apr 24, 2026
4e9ba04
docs(composition): add composition primitive design spec
LittleBug Apr 24, 2026
6caec2f
docs: Segment 6 — address codex review on PR #476
LittleBug Apr 24, 2026
4d35b73
docs(foundation): Segment 7 — Correlate family, associate primitive, …
LittleBug Apr 24, 2026
d39f66f
docs(foundation): Segment 8 — co-located priors on infer / associate
LittleBug Apr 24, 2026
764ea0a
docs: Segment 9 — address codex review round 3 on PR #476
LittleBug Apr 24, 2026
88e3c4c
docs: Segment 10 — rename helper_kind to relation-noun form
LittleBug Apr 24, 2026
b0c5a23
docs: Segment 11 — address codex review round 4 on PR #476
LittleBug Apr 24, 2026
ece1f8e
Merge pull request #476 from SiliconEinstein/docs/gaia-v6-unified-spec
kunyuan Apr 24, 2026
00feccc
Implement composition infer associate primitives
LittleBug Apr 24, 2026
7cda521
Merge pull request #477 from SiliconEinstein/feature/composition-infe…
kunyuan Apr 24, 2026
844bc97
Gate compose review targets in inquiry
LittleBug Apr 24, 2026
a8dfe0c
Link action warrants into inquiry
LittleBug Apr 25, 2026
75a764d
Merge pull request #478 from SiliconEinstein/feature/compose-review-gate
kunyuan Apr 25, 2026
555acff
Add Mendel probability example
LittleBug Apr 25, 2026
340760b
test: isolate legacy v5 DSL warnings
LittleBug Apr 25, 2026
f8acbac
test: narrow legacy DSL markers
LittleBug Apr 25, 2026
d37cecf
Rework Mendel example: pointwise PMF + diffuse reference + qualitativ…
LittleBug Apr 25, 2026
04e2dc4
test: migrate compiler fixtures to v05 verbs
LittleBug Apr 25, 2026
d5085d3
test: label legacy DSL compatibility coverage
LittleBug Apr 25, 2026
4cda192
Implement formalization scaffold dependencies
LittleBug Apr 25, 2026
32a059a
Format scaffold dependency changes
LittleBug Apr 25, 2026
158cfbb
Document the f2_dominant_count_specific workaround
LittleBug Apr 25, 2026
3993c25
feat(cli): scaffold current v05 DSL template
LittleBug Apr 25, 2026
70bab05
chore: remove deprecated review sidecar
LittleBug Apr 25, 2026
fd52c92
docs: refresh v05 authoring skills
LittleBug Apr 25, 2026
8660eb6
Merge pull request #484 from SiliconEinstein/codex/formalization-scaf…
kunyuan Apr 25, 2026
3ab34ca
Link Mendel example workaround to issue #485
LittleBug Apr 25, 2026
6b7270d
Merge pull request #483 from SiliconEinstein/codex/v05-test-surface-c…
kunyuan Apr 25, 2026
22d3a2c
Merge pull request #482 from SiliconEinstein/codex/mendel-probability…
kunyuan Apr 25, 2026
8ad2325
docs: design unit stats constants foundation
LittleBug Apr 25, 2026
183acc3
docs: plan unit stats constants foundation
LittleBug Apr 25, 2026
4e23d5c
feat: add scientific IR schema carriers
LittleBug Apr 25, 2026
34f253a
feat: add Gaia unit facade
LittleBug Apr 25, 2026
4877dae
feat: add distribution spec constructors
LittleBug Apr 25, 2026
9f447c2
feat: add physical constants facade
LittleBug Apr 25, 2026
f506bba
feat: normalize quantity parameters during compile
LittleBug Apr 25, 2026
5e83209
style: format constants module
LittleBug Apr 25, 2026
f05a691
chore: address unit stats review feedback
LittleBug Apr 25, 2026
8582174
refactor: rename distribution carrier API
LittleBug Apr 25, 2026
2de7191
Merge pull request #487 from SiliconEinstein/codex/v05-unit-stats-con…
kunyuan Apr 26, 2026
626036a
Port inquiry review loop to v0.5
LittleBug May 2, 2026
a0cbe62
Fix inquiry review regressions
LittleBug May 2, 2026
85612a2
Address inquiry review follow-up findings
LittleBug May 2, 2026
13c7f7e
Merge pull request #493 from SiliconEinstein/codex/v05-inquiry-main-port
kunyuan May 2, 2026
ead6cdf
feat: add Codex CLI compatibility via .codex/skills/ symlinks
newtontech Apr 27, 2026
72d7d80
fix: address PR #489 review feedback
newtontech Apr 28, 2026
a1894cd
feat(trace): ARM Trace Reviewer v1 — verify / review / show
atom525 Apr 28, 2026
e838b02
style(trace): ruff check --fix + ruff format
atom525 Apr 28, 2026
836814f
Merge pull request #498 from SiliconEinstein/codex/v05-main-sync
kunyuan May 4, 2026
c12b108
Merge origin/main into v0.5
LittleBug May 4, 2026
0f2c076
Merge pull request #503 from SiliconEinstein/codex/v05-merge-main-501
kunyuan May 4, 2026
254be3c
feat: gate infer likelihoods with given claims
LittleBug May 4, 2026
4080984
fix: include infer gates in review prompts
LittleBug May 4, 2026
c93597a
Merge pull request #504 from SiliconEinstein/codex/v05-infer-given-sw…
kunyuan May 4, 2026
986a264
docs(specs): claim formula schema design (#505)
kunyuan May 4, 2026
a1f8c31
feat(lang): lower formula quantifiers and atom metadata (#510)
kunyuan May 4, 2026
73c9a19
docs(specs): bayes module design — hypothesis-data inference subsyste…
kunyuan May 4, 2026
ead06c8
feat(lang): add formula claim sugar (#515)
kunyuan May 4, 2026
601fa8a
docs(specs): v0.6 causal reasoning design (#516)
kunyuan May 5, 2026
81613d1
docs(specs): document binding-conjunction lowering for joint bindings
LittleBug May 5, 2026
c465a4e
Merge pull request #519 from SiliconEinstein/docs/spec-binding-conjun…
kunyuan May 5, 2026
765cd01
feat(lang): complete formula migration cleanup
LittleBug May 5, 2026
685ee7a
Merge pull request #520 from SiliconEinstein/codex/v05-formula-milest…
kunyuan May 5, 2026
57abbbb
docs(bayes): fix module contract review issues
LittleBug May 5, 2026
4da8634
Merge pull request #522 from SiliconEinstein/codex/fix-bayes-doc-cont…
kunyuan May 5, 2026
680a6d7
docs(v0.5): design claim roles and decompose action
LittleBug May 5, 2026
2c27068
docs(specs): causal reasoning design revisions (#521)
kunyuan May 5, 2026
26954ea
feat(lang): add claim roles and decompose action
LittleBug May 5, 2026
df9e0c3
fix(stats): lazy-load unit conversion
LittleBug May 5, 2026
a20229b
fix(lang): validate decompose graph shape
LittleBug May 5, 2026
3979549
Merge pull request #524 from SiliconEinstein/codex/v05-role-decompose…
kunyuan May 5, 2026
1360e2b
docs(specs): bayes actions design — v0.5 Action-aligned revision of #523
LittleBug May 5, 2026
4861578
test(lang): cover role and decompose edge cases
LittleBug May 5, 2026
3cec89d
Merge pull request #527 from SiliconEinstein/codex/fix-v05-codecov-co…
kunyuan May 5, 2026
9ad5a4c
Merge pull request #526 from SiliconEinstein/docs/bayes-actions-design
kunyuan May 5, 2026
ef31c4b
feat(bayes): implement lifted likelihood module
LittleBug May 5, 2026
16d01c8
fix(bayes): PR #523 review follow-ups (#525)
kunyuan May 5, 2026
a85cab2
Merge pull request #523 from SiliconEinstein/codex/bayes-module-imple…
kunyuan May 5, 2026
9ff4c48
docs(bayes): tighten actions design follow-ups
LittleBug May 5, 2026
4ee3376
Merge pull request #528 from SiliconEinstein/codex/fix-bayes-actions-…
kunyuan May 5, 2026
8f4fbac
Implement Bayes action API
LittleBug May 5, 2026
fa4b1da
Merge pull request #530 from SiliconEinstein/codex/implement-bayes-ac…
kunyuan May 5, 2026
1f995f6
docs(specs): causal — promote Mechanism to first-class Knowledge type…
kunyuan May 8, 2026
e81cf20
docs(specs): causal extensions — Population, Counterfactual, Transpor…
kunyuan May 8, 2026
db9e636
Merge main into v0.5 (v0.4.4 + README/CLAUDE.md cleanup) (#538)
kunyuan May 10, 2026
dbc9f9b
docs(specs): action label references design (#539) (#540)
kunyuan May 10, 2026
7d4a998
docs(foundations): tidy gaia-lang/dsl.md for v0.5 (#542)
kunyuan May 11, 2026
61bc61b
docs(foundations): tidy bayes.md + package.md for v0.5 (#543)
kunyuan May 11, 2026
b1b8f04
docs(foundations): rewrite review/review-pipeline.md for v0.5 (#544)
kunyuan May 11, 2026
e3971e6
docs(foundations): cover inquiry/trace/starmap + v0.5 lowering in cli…
kunyuan May 11, 2026
ec7a9c6
docs(foundations): update bp/ for v0.5 lowering paths (#546)
kunyuan May 11, 2026
4a87d9a
docs(specs): LKM package integration design (#547)
kunyuan May 11, 2026
2420a2b
feat(compiler): implement action label reference resolution (#548)
kunyuan May 11, 2026
d486861
docs(foundations): rewrite gaia-lang/knowledge-and-reasoning.md for v…
kunyuan May 11, 2026
f86d621
[codex] Add candidate relation scaffold actions (#549)
kunyuan May 11, 2026
b029c99
docs(gaia-lang): document predicate logic surface (#550)
kunyuan May 11, 2026
8e8e771
refactor(lang): simplify observation support semantics (#551)
kunyuan May 11, 2026
d8cdc9d
v0.5 engineering quality baseline alignment (#553)
Callo42 May 12, 2026
fe02707
docs(gaia-ir): align 08-validation.md StrategyType allowed set with l…
Callo42 May 12, 2026
f543dc5
chore(hooks): add pre-push CI-byte-aligned gate + CLAUDE.md symlink c…
Callo42 May 12, 2026
0debc36
Merge pull request #564 from SiliconEinstein/feat/push-preflight-hook…
Callo42 May 12, 2026
44f3692
fix v0.5 immediate issue triage
LittleBug May 12, 2026
184043e
fix: detect bayes action label collisions
LittleBug May 12, 2026
d5c598c
Merge pull request #561 from SiliconEinstein/codex/fix-v05-immediate-…
kunyuan May 13, 2026
a72dc2c
Remove core predict action
LittleBug May 12, 2026
a28e6eb
docs: remove deleted predict action references
LittleBug May 12, 2026
d8016e7
Merge pull request #562 from SiliconEinstein/codex/remove-core-predict
kunyuan May 13, 2026
fff2b26
Fix source module discovery for Gaia packages
LittleBug May 12, 2026
e67220f
Merge pull request #563 from SiliconEinstein/codex/fix-module-discove…
kunyuan May 13, 2026
7e5d86c
chore: keep pre-push hook read-only
LittleBug May 12, 2026
65024e8
Merge pull request #567 from SiliconEinstein/codex/pr564-prepush-foll…
kunyuan May 13, 2026
142a8dd
fix(packaging): include trace package in v0.5 wheel
LittleBug May 13, 2026
cbb8630
Merge pull request #568 from SiliconEinstein/codex/v05-include-gaia-t…
kunyuan May 13, 2026
17917b4
Clean up Gaia theory docs and old authoring skill
LittleBug May 12, 2026
d2f5289
Merge pull request #566 from SiliconEinstein/codex/fix-239-389
kunyuan May 13, 2026
0681f5c
docs(skills): remove stale gaia-ir-authoring index entry
LittleBug May 13, 2026
b886b32
Merge pull request #571 from SiliconEinstein/codex/remove-stale-gaia-…
kunyuan May 13, 2026
a34b3a2
Rename claim action backref to from_actions
LittleBug May 13, 2026
af23851
Merge pull request #572 from SiliconEinstein/codex/claim-from-actions
kunyuan May 13, 2026
9df0770
docs: consolidate contributor surface and enforce Conventional Commits
Callo42 May 13, 2026
ba86ae8
fix(hooks): isolate pytest from git push env vars
Callo42 May 13, 2026
086d99c
docs: drop CODE_OF_CONDUCT.md
Callo42 May 13, 2026
7f65918
Merge pull request #574 from SiliconEinstein/docs/collab-refactor_rsw
Callo42 May 13, 2026
a55a2d4
docs(security): drop supported-versions and response-time sections
Callo42 May 13, 2026
6f0a4f0
Merge pull request #575 from SiliconEinstein/docs/security-trim_rsw
Callo42 May 13, 2026
e4f9e8d
chore(hooks): install pre-commit stubs into per-worktree .githooks/
Callo42 May 13, 2026
8088335
Merge pull request #576 from SiliconEinstein/chore/per-worktree-hooks…
Callo42 May 13, 2026
ec85a8e
docs: add generated docs site
LittleBug May 13, 2026
e30a7e2
Merge pull request #579 from SiliconEinstein/codex/docs-api-site
kunyuan May 13, 2026
c23a2d6
ci: enable pages for docs deploy
LittleBug May 13, 2026
584fe0c
Merge pull request #583 from SiliconEinstein/codex/fix-docs-pages-enable
kunyuan May 13, 2026
5ae00a1
docs: remove stale visitor worked example
LittleBug May 13, 2026
5dacf57
Merge pull request #586 from SiliconEinstein/codex/remove-stale-worke…
kunyuan May 13, 2026
340c788
docs(theory): add 08-causality-and-jaynes (three-layer ontology)
LittleBug May 13, 2026
fd68a6d
docs(mkdocs): register theory/08 in nav and foundations TOC
LittleBug May 13, 2026
84b682e
docs(theory): fix causality guide API wording
LittleBug May 13, 2026
2c53bfd
Merge pull request #584 from SiliconEinstein/feature/theory-causality…
kunyuan May 13, 2026
f59cb7a
refactor: remove inline prior parameters from probabilistic actions
LittleBug May 13, 2026
5c3e7a3
Merge pull request #587 from SiliconEinstein/codex/remove-inline-prio…
kunyuan May 13, 2026
d91b8de
chore: remove in-repo skill assets
Callo42 May 13, 2026
ce15730
Merge pull request #589 from SiliconEinstein/chore/strip-skills_rsw
kunyuan May 13, 2026
5502683
feat(ir,lang,cli)!: multi-source prior pipeline via register_prior
LittleBug May 13, 2026
ce91e27
fix(examples): order imports per ruff in migrated priors.py files
LittleBug May 13, 2026
668e9b6
fix(priors): preserve custom resolution policy
LittleBug May 13, 2026
1305744
fix(priors): persist resolved prior source
LittleBug May 13, 2026
fc2f030
test(priors): cover multi-source prior edge cases
LittleBug May 13, 2026
32795b8
Merge pull request #588 from SiliconEinstein/feature/multi-source-priors
kunyuan May 13, 2026
630c9e2
feat(continuous): add Distribution predicate surface (#590)
kunyuan May 13, 2026
b12022e
refactor(ir): remove StrategyParamRecord layer
kunyuan May 13, 2026
9699a92
ci(codecov): drop project gate already enforced by pytest
Callo42 May 13, 2026
0177d3b
Merge pull request #595 from SiliconEinstein/ci/drop-codecov-project-…
Callo42 May 13, 2026
9d5d770
[codex] Add BetaBinomial Bayes distribution (#597)
kunyuan May 13, 2026
11272b0
refactor(bp): Replace loopy BP/GBP with TRW-BP/Mean Field VI + Jaynes…
May 13, 2026
3121696
fix: resolve remaining lint errors and restore parameter names for te…
May 13, 2026
e7e2056
fix: resolve mypy type errors in BP modules
May 13, 2026
f3e7afd
test: add comprehensive coverage tests for BP modules
May 13, 2026
79d0e88
refactor: move jaynes_ref into gaia/jaynes_ref/
May 13, 2026
53e10f4
chore: add scipy-stubs to dev deps and update uv.lock
May 13, 2026
4620192
fix(bp): align exact factor potentials with Cromwell, fix D1/merge ow…
atom525 May 14, 2026
e314df8
feat(bp): add cycle graph tests and Loopy BP routing for large graphs
atom525 May 14, 2026
567afd4
fix(tests): remove UserWarning expectation for large graph routing
atom525 May 14, 2026
9380162
Merge pull request #598 from SiliconEinstein/bp-strict-evidence-v05-c…
atom525 May 14, 2026
2015711
refactor: remove jaynes_ref from repository
atom525 May 14, 2026
beacb41
Merge pull request #601 from SiliconEinstein/remove-jaynes-ref
atom525 May 14, 2026
7371a3c
refactor(pyproject): remove all jaynes_ref references
atom525 May 14, 2026
1e1a31b
Merge pull request #602 from SiliconEinstein/fix-pyproject-jaynes-ref
atom525 May 14, 2026
30e2ece
docs(agents): clarify mccabe complexity rationale
Callo42 May 14, 2026
e51a31c
Merge pull request #603 from SiliconEinstein/docs/agents-mccabe-ratio…
Callo42 May 14, 2026
7ed0c15
chore(bp): remove orphaned gbp.py
Callo42 May 14, 2026
112076d
chore: remove stray test artifacts from repo root
Callo42 May 14, 2026
b9e2e9b
ci(quality): tighten suppression gates and add no-growth budget
Callo42 May 14, 2026
74b1b39
ci(workflows): wire suppression-budget gate into CI and pre-push
Callo42 May 14, 2026
0724fd2
Merge pull request #604 from SiliconEinstein/chore/v05-cleanup-and-qu…
Callo42 May 14, 2026
7998b7c
docs: align gaia v0.5 user docs with code (#605)
kunyuan May 14, 2026
a5595bb
alpha-0: gaia.engine.* facade + CLI 6-group reorganization + Phase 0 …
Callo42 May 15, 2026
841269b
fix: repair alpha-0 packaging and docs (#608)
kunyuan May 15, 2026
5b47589
feat(lang): implement reasoning scaffold specs
kunyuan May 16, 2026
52b3f27
chore: remove stale GitHub Pages template
kunyuan May 16, 2026
33ca5c0
docs(specs): engine module reorganization design
LittleBug May 16, 2026
4b683de
docs(specs): address review feedback on engine reorg spec
LittleBug May 16, 2026
adddcff
docs(specs): reframe motivation around module structure, not Bayes
LittleBug May 16, 2026
3fcd3f7
docs(specs): tighten engine reorg follow-up details
LittleBug May 16, 2026
47b2ef7
Merge pull request #617 from SiliconEinstein/kun/engine-module-reorg-…
kunyuan May 16, 2026
c93e1f7
refactor(engine): demote logic and consolidate primitives
LittleBug May 16, 2026
696c95e
test: lock engine reorg import edge cases
LittleBug May 16, 2026
94bb4e4
Merge pull request #624 from SiliconEinstein/codex/engine-reorg-pr-a
kunyuan May 16, 2026
c64db6e
chore: demote outdated v5 surfaces (#627)
kunyuan May 16, 2026
29efb66
[codex] Add release channel strategy (#620)
kunyuan May 16, 2026
1477446
refactor(engine): promote bayes peer module
kunyuan May 16, 2026
17bb525
refactor(engine): register compiler action lowerers
kunyuan May 16, 2026
b0abd87
refactor(engine): harden compiler extension registry (#633)
kunyuan May 16, 2026
3736213
[codex] Add formula graph IR foundation (#632)
kunyuan May 16, 2026
1cc20f1
docs: add Jaynes context review design
LittleBug May 17, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
16 changes: 0 additions & 16 deletions .agents/plugins/marketplace.json
View file
Open in desktop

This file was deleted.

14 changes: 0 additions & 14 deletions .claude-plugin/marketplace.json
View file
Open in desktop

This file was deleted.

11 changes: 0 additions & 11 deletions .claude-plugin/plugin.json
View file
Open in desktop

This file was deleted.

13 changes: 0 additions & 13 deletions ...de/projects/-Users-kunchen-project-Gaia/memory/bug_formalexpr_relation_prior.md
View file
Open in desktop

This file was deleted.

5 changes: 0 additions & 5 deletions .claude/settings.json
View file
Open in desktop

This file was deleted.

147 changes: 0 additions & 147 deletions .claude/skills/brainstorming/SKILL.md
View file
Open in desktop

This file was deleted.

50 changes: 0 additions & 50 deletions .claude/skills/brainstorming/spec-document-reviewer-prompt.md
View file
Open in desktop

This file was deleted.

Loading
Loading