neuwirth/levineuwirth.org
neuwirth
/
levineuwirth.org
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

auto: 2026-09-01T10:52:34Z [skip ci]

This commit is contained in:
Levi Neuwirth 2026-09-01 12:52:34 +02:00
parent fb72c85636
commit 3fe113c94b
No known key found for this signature in database
1 changed files with 3 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
content/essays/verified-inference/index.md
View File

@ -267,27 +267,19 @@ machine-profile tooling, and the corrected traffic model.
**Publicly inspectable evidence** — the B200 session archive, the extracted **Publicly inspectable evidence** — the B200 session archive, the extracted
manifests, the calibration logs, and the measured machine profile are all in the manifests, the calibration logs, and the measured machine profile are all in the
repository. An earlier version of this section asked you to treat the figures repository.
above as reported by me rather than independently checkable. That caveat has
been discharged: the inputs that produced them can now be read, and the
cross-checks rerun.
**On a review branch** — the stage-aware weight-split model, the **On a review branch** — the stage-aware weight-split model, the
verifier-transparent weight split itself, and per-variable packed-source verifier-transparent weight split itself, and per-variable packed-source
provenance for the storage mode: three commits on provenance for the storage mode: three commits on
[`weight-split-model`](https://github.com/JamesPetrie/VerInf/tree/weight-split-model), [`weight-split-model`](https://github.com/JamesPetrie/VerInf/tree/weight-split-model),
pushed and readable, but not merged. They are pending review at the next project pushed and readable, but not merged.
meeting, and should be read as committed work in the open rather than as
accepted work.
**On agent assistance.** Implementation was agent-assisted. I owned the research **On agent assistance.** Implementation was agent-assisted. I owned the research
direction, the cost-model derivation and checking, the experimental design, the direction, the cost-model derivation and checking, the experimental design, the
validation, and the review; generated code was kept only after it was tested and validation, and the review; generated code was kept only after it was tested and
cross-checked. This is project-wide practice rather than a personal one, across contributors, cross-checked. This is project-wide practice rather than a personal one, across contributors,
as part of how the fellowship's compute is used. Much of the repository's as part of how the fellowship's compute is used.
history records it in commit trailers; the convention is changing, and my newest
commits carry none. That is precisely why it belongs here in prose rather than
left to be inferred from metadata that may or may not be present.
::: {.work-entry-links} ::: {.work-entry-links}
[Merged pull requests](https://github.com/JamesPetrie/VerInf/pulls?q=is%3Apr+author%3Alevineuwirth) · [Merged pull requests](https://github.com/JamesPetrie/VerInf/pulls?q=is%3Apr+author%3Alevineuwirth) ·