Repository navigation

feat(kernel-utils): attenuation by narrowing - #1134

Merged

ci-belphegor merged 16 commits into

mainfrom

grypez/narrowing-lib

Oct 6, 2026

Commits on Oct 2, 2026

feat(kernel-utils): declare the narrowing API surface

ci-belphegor
and
claude
committed
6ec8c70
feat(kernel-utils): narrowInterfaceGuard

ci-belphegor
and
claude
committed
e0cdc74
feat(kernel-utils): narrow

ci-belphegor
and
claude
committed
46be8b0
feat(kernel-utils): join

ci-belphegor
and
claude
committed
c2a71ae
feat(kernel-utils): narrow default-guarded exos

ci-belphegor
and
claude
committed
6826b79
test(kernel-test): narrow, join, and default-guarded narrowing in a vat

ci-belphegor
and
claude
committed
49486a3
chore(kernel-utils): link the narrowing changelog entries to #1134

ci-belphegor
and
claude
committed
ad44bc0
fix(kernel-utils): keep joins of default-guarded narrowings sound

ci-belphegor
and
claude
committed
e0ec8cb

Commits on Oct 6, 2026

fix(kernel-utils): make join exact for multi-argument methods

ci-belphegor
and
claude
committed
cde6aeb
test(kernel-test): join multi-argument narrowings and narrow a join in a vat

ci-belphegor
and
claude
committed
738b2d5
docs: describe narrowing deltas in disjunctive normal form

ci-belphegor
and
claude
committed
b19bb68
fix(kernel-utils): narrow a rest position to its own argument

ci-belphegor
and
claude
committed
c968e7a
fix(kernel-utils): isolate recorded deltas and read deltas by own keys

ci-belphegor
and
claude
committed
f9c097b
fix(kernel-utils): await promise bases and refs before reading provenance

ci-belphegor
and
claude
committed
939aa7f
fix(kernel-utils): harden a delta before narrow awaits its base

ci-belphegor
and
claude
committed
35dc4bb
test(kernel-test): call narrow and join directly under lockdown

ci-belphegor
and
claude
committed
0e41efc