feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C) by hyperpolymath · Pull Request #274 · hyperpolymath/typed-wasm

fix(ci): revert #268's workflow bumps — they drifted off actions.lock again

claude

committed

13d26a5

fix(test): follow the .md -> .adoc and .well-known -> www/ moves

claude

committed

145d84b

feat(abi): port the resource-algebra grade kernel to Idris2

claude

committed

d527295

refactor(abi): L11 Tropical and Echo draw their grade from the kernel

claude

committed

5cd9cde

test(abi): grade-kernel gate and the falsifiers behind the kernel

claude

committed

8fcd981

docs: name the grade kernel in LEVEL-STATUS, CONTRACT, spec and CHANGELOG

claude

committed

6d39c32

docs: SPDX header on CHANGELOG.adoc

claude

committed

417745d

merge main into claude/new-session-ywdrth (#270 and #271 landed as squash merges)

claude

committed

bb2380b

feat(abi): L11 and L12 obligations read through the grade kernel

claude

committed

91f5dcb

feat(abi): L13 occupancy — HWM grade per private memory, R-2 at a boundary

claude

committed

2388727

docs: LEVEL-STATUS rows 11–13 name the kernel artefacts

claude

committed

84e1427

fix(deps): repair Cargo.lock — wasmparser listed twice since #231–#233

claude

committed

e080ef6

style(abi): bind module/field implicits in the L12 staleness layer

claude

committed

eec5e50

feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel

claude

committed

334dde6

docs: LEVEL-STATUS row 16 names the K-CUT artefacts

claude

committed

1e46312

fix(ci): revert #265's smtp-notify-action bump — off actions.lock

claude

committed

921f00a

merge claude/new-session-ywdrth (PR B: smtp-notify revert) into PR C

claude

committed

167e151

Merge branch 'main' into claude/new-session-ywdrth-c

hyperpolymath

authored

95cb5c5

Navigation Menu

Repository navigation

feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C) - #274

feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C)#274
hyperpolymath merged 18 commits into
mainfrom
claude/new-session-ywdrth-c

Commits on Oct 14, 2026

fix(ci): revert #268's workflow bumps — they drifted off actions.lock again

fix(test): follow the .md -> .adoc and .well-known -> www/ moves

feat(abi): port the resource-algebra grade kernel to Idris2

refactor(abi): L11 Tropical and Echo draw their grade from the kernel

test(abi): grade-kernel gate and the falsifiers behind the kernel

docs: name the grade kernel in LEVEL-STATUS, CONTRACT, spec and CHANGELOG

docs: SPDX header on CHANGELOG.adoc

merge main into claude/new-session-ywdrth (#270 and #271 landed as squash merges)

feat(abi): L11 and L12 obligations read through the grade kernel

feat(abi): L13 occupancy — HWM grade per private memory, R-2 at a boundary

docs: LEVEL-STATUS rows 11–13 name the kernel artefacts

fix(deps): repair Cargo.lock — wasmparser listed twice since #231–#233

style(abi): bind module/field implicits in the L12 staleness layer

feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel

docs: LEVEL-STATUS row 16 names the K-CUT artefacts

fix(ci): revert #265's smtp-notify-action bump — off actions.lock

merge claude/new-session-ywdrth (PR B: smtp-notify revert) into PR C

Merge branch 'main' into claude/new-session-ywdrth-c