feat(kernel-utils): add sheaf programming module#870

Open

grypez wants to merge 46 commits intomainfrom

grypez/bringing-in-the-sheaves

Commits on Apr 27, 2026

feat(kernel-utils): add sheaf programming module

grypez
and
claude
committed
test(kernel-utils): update index exports snapshot for sheaf and GET_DESCRIPTION

grypez
and
claude
committed
refactor(kernel-utils): require guard in getSection, add getGlobalSection

grypez
and
claude
committed
test(kernel-utils): use vi.fn() spies in sheafify e2e tests to verify dispatch

grypez
and
claude
committed
fix(kernel-utils): fix false negative in collectSheafGuard for rest-arg sections

grypez
and
claude
committed
feat(kernel-utils): metadata as polynomials of invocation data

grypez
and
claude
committed
fix(kernel-utils): fix build errors in sheafify metadata eval

grypez
and
claude
committed
feat(kernel-utils): treat {} as empty sheaf metadata
grypez
committed
refactor(kernel-utils): redesign Lift as AsyncGenerator coroutine

grypez
and
claude
committed
test(kernel-utils): add unit tests for lift composition helpers

grypez
and
claude
committed
fix(kernel-utils): driveLift throws with accumulated errors as cause

grypez
and
claude
committed
docs(kernel-utils): document sheaf module in README

grypez
and
claude
committed
feat(kernel-utils): add makeRemoteSection for CapTP remote refs as sheaf sections

grypez
and
claude
committed
feat(kernel-utils): add getDiscoverableSection, deprecate global section methods

grypez
and
claude
committed
fix(kernel-utils): allow passable default guards for async section interfaces

grypez
and
claude
committed
fix(kernel-utils): bind method calls in makeRemoteSection via E proxy

grypez
and
claude
committed
fix(kernel-utils): suppress noUncheckedIndexedAccess false positive in makeRemoteSection

grypez
and
claude
committed
docs: Update changelogs
grypez
committed
docs(kernel-utils): Improve sheaf documentation
grypez
committed
refactor(kernel-utils): remove unused sheaf revocation API

grypez
and
claude
committed
docs(kernel-utils): fix sheaf doc errors from revocation removal

grypez
and
claude
committed
refactor(kernel-utils): extract buildMethodGuard to eliminate duplication

grypez
and
claude
committed
fix(kernel-utils): harden sheafify return value and frozenSections

grypez
and
claude
committed
feat(kernel-utils): export noopLift as canonical single-section placeholder lift

grypez
and
claude
committed
feat(kernel-utils): add makeSection to eliminate as-unknown-as-Section cast

grypez
and
claude
committed
refactor(kernel-utils): centralize guard payload helpers and move asyncifyMethodGuards to guard.ts

grypez
and
claude
committed
fix(kernel-utils): improve error message for lift object-identity protocol violation

grypez
and
claude
committed
docs(kernel-utils): note that source metadata is for trust-boundary use only

grypez
and
claude
committed
refactor(kernel-utils): remove getStalk and guardCoversPoint from public exports

grypez
and
claude
committed
refactor(kernel-utils): inline driveLift into sheafify and remove drive.ts

grypez
and
claude
committed
refactor(kernel-utils): rename MetaDataSpec → MetadataSpec

grypez
and
claude
committed
refactor(kernel-utils): remove Presheaf<M> thin alias

grypez
and
claude
committed
docs(kernel-utils): document why Sheaf.getSection returns object

grypez
and
claude
committed
refactor(kernel-utils): remove dead resolvedGuard alias in sheafify

grypez
and
claude
committed
test(kernel-utils): add getSection explicit-guard test coverage

grypez
and
claude
committed
test(kernel-utils): add e2e test for multi-candidate lift retry on handler failure

grypez
and
claude
committed
refactor(kernel-utils): unexport collectSheafGuard from public index

grypez
and
claude
committed
docs(kernel-utils): documentation pass for sheaf module

grypez
and
claude
committed
test(kernel-utils): add failing tests for driveLift snapshot and metadataKey conflation bugs

grypez
and
claude
committed
fix(kernel-utils): pass error snapshots to lift generator in driveLift

grypez
and
claude
committed
fix(kernel-utils): use type-tagged encoding in metadataKey to prevent conflation

grypez
and
claude
committed
refactor(kernel-utils): move sheaf exports to ./sheaf subpath

grypez
and
claude
committed
test(kernel-utils): add failing test for NaN constraint detection in decomposeMetadata

grypez
and
claude
committed
fix(kernel-utils): use Object.is for value equality in decomposeMetadata

grypez
and
claude
committed
test(kernel-utils): add failing test for -0 vs +0 collapse in metadataKey

grypez
and
claude
committed
fix(kernel-utils): handle -0 in encodeMetadataEntry

grypez
and
claude
committed