Database: return typed singular global KB exports #74

Closed

nsaspy wants to merge 0 commits from hackmode-rage-database/typed-global-fetch-20260831-1102 into master

nsaspy commented

2026-09-04 20:37:00 +00:00

Owner

Slice

Close the remaining read-boundary asymmetry in the canonical global KB: plural reads already return typed global-kb-export values, while the singular fetch still leaks a raw Tek9 node.

RED-first proof

Test-only head bbd743cafe91c66dec69f0773bc080169f7703e8 requires fetch-global-kb-export to:

return a typed global-kb-export for a persisted stable record ID;
preserve stable identity and export evidence;
return NIL for an absent record.

The current implementation returns tek9:fetch-node directly, so core should fail at the new typed-boundary regression before implementation.

Ownership

Database-owned only. No Hackpert expert/orchestration files and no StarIntel product work.

## Slice Close the remaining read-boundary asymmetry in the canonical global KB: plural reads already return typed `global-kb-export` values, while the singular fetch still leaks a raw Tek9 node. ## RED-first proof Test-only head `bbd743cafe91c66dec69f0773bc080169f7703e8` requires `fetch-global-kb-export` to: - return a typed `global-kb-export` for a persisted stable record ID; - preserve stable identity and export evidence; - return `NIL` for an absent record. The current implementation returns `tek9:fetch-node` directly, so `core` should fail at the new typed-boundary regression before implementation. ## Ownership Database-owned only. No Hackpert expert/orchestration files and no StarIntel product work.

nsaspy referenced this pull request

2026-09-04 20:37:12 +00:00

Database: derive KB candidates from execution outcomes #106

nsaspy closed this pull request

2026-09-04 20:56:12 +00:00