toasterson/akh-medu
Watch
1
0
Fork
You've already forked akh-medu
 0
Code Issues 12 Pull requests 37 Projects Releases 3 Packages 8 Wiki Activity Actions 3

WIP: WI-368 validate synthesized KG facts and preserve source supports #513

Draft
toasterson wants to merge 12 commits from claude/wi-01a08260-synthesis-validation into claude/wi-01a0825f-seshat-curiosity-1-implement-structured
pull from: claude/wi-01a08260-synthesis-validation
merge into: toasterson:claude/wi-01a0825f-seshat-curiosity-1-implement-structured
Conversation 0 Commits 12 Files changed 23 +3277 -44
toasterson commented 2026-10-02 21:12:24 +00:00
Owner
Copy link

Work item: 01a08260-37c8-7bb3-af7b-1d6c9c00ebbe (WI-368)

Seshat synthesis candidates pass bounded syntax, trusted retrieval membership, confidence, arity/type, duplicate and contradiction checks before assertion. Durable per-fact source supports allow scoped retraction while preserving independent support.

Stacked on WI-367 PR #360. Draft status, the pending hard prerequisite and parent WI-26 hold remain. WI-369 owns scheduling.

ThoughtStep retains enum ordinal/index tag 110 and SeshatSynthesis uses 111; main 0–109 ordinals remain stable. Both branches use the exact shared TraceId declaration through the public provenance::TraceId re-export. WI-405 retains its AKHPRV2 codec and legacy AgentDecision 8/Delegation 89 decoder. Literal binary and actual ledger reopen/index fixtures cover both additions.

Old experimental WI-368/369 unversioned synthesis 110 redb data is incompatible with this canonical layout. No feature deployment occurred; exercised ledgers were disposable. Retained branch data requires its exact producer schema for export or an explicitly selected offline migration with rebuilt indexes. No heuristic dual decoding is provided. Named PostgreSQL/WAL JSON is unaffected.

Integration evidence: ordinary Git, selected only for the validation command (merge.mergiraf.driver=git merge-file %A %O %B), produces tree 28764bc82a53e7ba6bc916bfbf6722c084b5afc8, compiled/tested as unpublished validation commit 60e692fa25f5c7b677929c02ae031f7660a52445. All shared provenance files exactly match final WI-405 source. The local Mergiraf timeout/fallback duplicated imports despite reporting success; that result was rejected. Any merge must retain exactly one shared TraceId declaration/import and one explanation arm per new variant. No persistent Git configuration changed.

No deployment, paid inference, lifecycle advance, hold removal or dependency override occurred. Native exact-head CI/review and integration gates remain separate.

Validation on source 10f6bd9eca: 34 named tests passed (provenance: test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 4039 filtered out; finished in 2.78s; admission: test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 4050 filtered out; finished in 1.62s; wal: test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 4060 filtered out; finished in 0.39s). Server lib/akhomed and no-default lib checks, plus ordinary server-lib Clippy, passed; existing warnings remain. Combined tree: 68 provenance, synthesis, emitted-WAL, trace and explanation tests plus server lib/akhomed check passed. Reviewed source 514e2b06a1 differs from the named branch test source only by the explicitly reviewed equivalent explanation-arm relocation where applicable; final combined tests/compile cover that placement. Published head 212cff8cb4 adds evidence documentation only. Both independent source reviews approved.

Work item: 01a08260-37c8-7bb3-af7b-1d6c9c00ebbe (WI-368) Seshat synthesis candidates pass bounded syntax, trusted retrieval membership, confidence, arity/type, duplicate and contradiction checks before assertion. Durable per-fact source supports allow scoped retraction while preserving independent support. Stacked on WI-367 PR #360. Draft status, the pending hard prerequisite and parent WI-26 hold remain. WI-369 owns scheduling. ThoughtStep retains enum ordinal/index tag 110 and SeshatSynthesis uses 111; main 0–109 ordinals remain stable. Both branches use the exact shared TraceId declaration through the public provenance::TraceId re-export. WI-405 retains its AKHPRV2 codec and legacy AgentDecision 8/Delegation 89 decoder. Literal binary and actual ledger reopen/index fixtures cover both additions. Old experimental WI-368/369 unversioned synthesis 110 redb data is incompatible with this canonical layout. No feature deployment occurred; exercised ledgers were disposable. Retained branch data requires its exact producer schema for export or an explicitly selected offline migration with rebuilt indexes. No heuristic dual decoding is provided. Named PostgreSQL/WAL JSON is unaffected. Integration evidence: ordinary Git, selected only for the validation command (merge.mergiraf.driver=git merge-file %A %O %B), produces tree 28764bc82a53e7ba6bc916bfbf6722c084b5afc8, compiled/tested as unpublished validation commit 60e692fa25f5c7b677929c02ae031f7660a52445. All shared provenance files exactly match final WI-405 source. The local Mergiraf timeout/fallback duplicated imports despite reporting success; that result was rejected. Any merge must retain exactly one shared TraceId declaration/import and one explanation arm per new variant. No persistent Git configuration changed. No deployment, paid inference, lifecycle advance, hold removal or dependency override occurred. Native exact-head CI/review and integration gates remain separate. Validation on source 10f6bd9ecac3697dfb674ae659db446034e59b8d: 34 named tests passed (provenance: test result: ok. 22 passed; 0 failed; 0 ignored; 0 measured; 4039 filtered out; finished in 2.78s; admission: test result: ok. 11 passed; 0 failed; 0 ignored; 0 measured; 4050 filtered out; finished in 1.62s; wal: test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 4060 filtered out; finished in 0.39s). Server lib/akhomed and no-default lib checks, plus ordinary server-lib Clippy, passed; existing warnings remain. Combined tree: 68 provenance, synthesis, emitted-WAL, trace and explanation tests plus server lib/akhomed check passed. Reviewed source 514e2b06a1e104ee8bb951a48e53af5bba8a20ea differs from the named branch test source only by the explicitly reviewed equivalent explanation-arm relocation where applicable; final combined tests/compile cover that placement. Published head 212cff8cb40a550baa5c97b482f15cdcbb61a38c adds evidence documentation only. Both independent source reviews approved.
Prepare gated Lilith historical receipt pilot (WI-526)
Some checks failed
CI / test-session-platform (pull_request) Successful in 21m59s
Details
CI / check-seshat (pull_request) Successful in 16m32s
Details
CI / docker-seshd (pull_request) Successful in 11m7s
Details
CI / docker-akh-transcripts (pull_request) Successful in 9m6s
Details
CI / test-akh-medu (pull_request) Successful in 35m38s
Details
CI / docker-sokard (pull_request) Successful in 35m54s
Details
CI / test-sokar (pull_request) Successful in 1h31m35s
Details
CI / check-akh-medu (pull_request) Successful in 1h29m33s
Details
CI / publish-chart (pull_request) Successful in 3h8m46s
Details
CI / platform-images-fleet (pull_request) Has been cancelled
Details
CI / platform-images-collect (pull_request) Has been cancelled
Details
CI / platform-images-daemons (pull_request) Successful in 19m33s
Details
CI / platform-images-core (pull_request) Successful in 32m25s
Details
CI / platform-images-home (pull_request) Successful in 37m49s
Details
3431228486
Merge pull request 'Prepare gated Lilith historical receipt pilot (WI-526)' (#510) from codex/lilith-history-prep-20261001 into main
All checks were successful
CI / check-akh-medu (push) Successful in 15m53s
Details
CI / test-sokar (push) Successful in 25m7s
Details
CI / docker-akh-transcripts (push) Successful in 15m47s
Details
CI / docker-seshd (push) Successful in 31m54s
Details
CI / publish-chart (push) Successful in 25m7s
Details
CI / test-session-platform (push) Successful in 50m39s
Details
CI / check-seshat (push) Successful in 50m52s
Details
CI / docker-sokard (push) Successful in 1h18m26s
Details
CI / test-akh-medu (push) Successful in 2h29m35s
Details
CI / platform-images-core (push) Successful in 21m50s
Details
CI / platform-images-home (push) Successful in 24m4s
Details
CI / platform-images-daemons (push) Successful in 1h27m49s
Details
CI / platform-images-fleet (push) Successful in 6m58s
Details
CI / platform-images-collect (push) Successful in 4m38s
Details
89b1e40b73 
Reviewed-on: #510
docs(seshat): record validated admission and replay evidence
Some checks failed
CI / test-session-platform (pull_request) Has been cancelled
Details
CI / test-sokar (pull_request) Has been cancelled
Details
CI / check-seshat (pull_request) Has been cancelled
Details
CI / check-akh-medu (pull_request) Has been cancelled
Details
CI / test-akh-medu (pull_request) Has been cancelled
Details
CI / docker-seshd (pull_request) Has been cancelled
Details
CI / docker-sokard (pull_request) Has been cancelled
Details
CI / docker-akh-transcripts (pull_request) Has been cancelled
Details
CI / publish-chart (pull_request) Has been cancelled
Details
CI / platform-images-home (pull_request) Has been cancelled
Details
CI / platform-images-core (pull_request) Has been cancelled
Details
CI / platform-images-daemons (pull_request) Has been cancelled
Details
CI / platform-images-fleet (pull_request) Has been cancelled
Details
CI / platform-images-collect (pull_request) Has been cancelled
Details
c15bf1cb75
refactor(provenance): align explanation arms across feature branches
Some checks failed
CI / test-session-platform (pull_request) Has been cancelled
Details
CI / test-sokar (pull_request) Has been cancelled
Details
CI / check-seshat (pull_request) Has been cancelled
Details
CI / check-akh-medu (pull_request) Has been cancelled
Details
CI / test-akh-medu (pull_request) Has been cancelled
Details
CI / docker-seshd (pull_request) Has been cancelled
Details
CI / docker-sokard (pull_request) Has been cancelled
Details
CI / docker-akh-transcripts (pull_request) Has been cancelled
Details
CI / publish-chart (pull_request) Has been cancelled
Details
CI / platform-images-home (pull_request) Has been cancelled
Details
CI / platform-images-core (pull_request) Has been cancelled
Details
CI / platform-images-daemons (pull_request) Has been cancelled
Details
CI / platform-images-fleet (pull_request) Has been cancelled
Details
CI / platform-images-collect (pull_request) Has been cancelled
Details
514e2b06a1
docs: record exact provenance compatibility validation and merge limits
Some checks failed
CI / test-akh-medu (pull_request) Failing after 17m37s
Details
CI / test-session-platform (pull_request) Successful in 31m35s
Details
CI / check-akh-medu (pull_request) Successful in 28m12s
Details
CI / test-sokar (pull_request) Successful in 34m28s
Details
CI / docker-sokard (pull_request) Successful in 26m8s
Details
CI / docker-seshd (pull_request) Successful in 29m44s
Details
CI / docker-akh-transcripts (pull_request) Successful in 33m39s
Details
CI / publish-chart (pull_request) Successful in 58m37s
Details
CI / check-seshat (pull_request) Successful in 2h35m53s
Details
CI / platform-images-home (pull_request) Has been skipped
Details
CI / platform-images-core (pull_request) Has been skipped
Details
CI / platform-images-daemons (pull_request) Has been skipped
Details
CI / platform-images-fleet (pull_request) Has been skipped
Details
CI / platform-images-collect (pull_request) Has been skipped
Details
212cff8cb4
Some checks failed
CI / test-akh-medu (pull_request) Failing after 17m37s
Details
CI / test-session-platform (pull_request) Successful in 31m35s
Details
CI / check-akh-medu (pull_request) Successful in 28m12s
Details
CI / test-sokar (pull_request) Successful in 34m28s
Details
CI / docker-sokard (pull_request) Successful in 26m8s
Details
CI / docker-seshd (pull_request) Successful in 29m44s
Details
CI / docker-akh-transcripts (pull_request) Successful in 33m39s
Details
CI / publish-chart (pull_request) Successful in 58m37s
Details
CI / check-seshat (pull_request) Successful in 2h35m53s
Details
CI / platform-images-home (pull_request) Has been skipped
Details
CI / platform-images-core (pull_request) Has been skipped
Details
CI / platform-images-daemons (pull_request) Has been skipped
Details
CI / platform-images-fleet (pull_request) Has been skipped
Details
CI / platform-images-collect (pull_request) Has been skipped
Details
This pull request is marked as a work in progress.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin claude/wi-01a08260-synthesis-validation:claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a08260-synthesis-validation

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge --no-ff claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a08260-synthesis-validation
git rebase claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge --ff-only claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a08260-synthesis-validation
git rebase claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge --no-ff claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge --squash claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge --ff-only claude/wi-01a08260-synthesis-validation
git switch claude/wi-01a0825f-seshat-curiosity-1-implement-structured
git merge claude/wi-01a08260-synthesis-validation
git push origin claude/wi-01a0825f-seshat-curiosity-1-implement-structured
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
follow-up
Documented operational follow-up

No labels
follow-up
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
toasterson/akh-medu!513
No description provided.