dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot pushed to jcp/erasure-tombstone at Transaction-Science/open-standards 2026-09-01 05:58:55 -04:00
8a1232b759 jcp: an erasure path that neither breaks the chain nor loses the joules
dcharlot created branch jcp/erasure-tombstone in Transaction-Science/open-standards 2026-09-01 05:58:54 -04:00
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-31 23:05:23 -04:00
94e626045f Remove 19 unused dependencies, and make script/clippy exit clean
dcharlot merged pull request Transaction-Science/open-standards#72 2026-08-31 20:07:06 -04:00
proof: closed_by_stub rides in the signed receipt (SPEC §6.1)
dcharlot pushed to main at Transaction-Science/open-standards 2026-08-31 20:07:05 -04:00
6bde8f8ff8 Merge pull request 'proof: closed_by_stub rides in the signed receipt (SPEC §6.1)' (#72) from proof/stub-on-the-wire into main
f1f53f53ce proof: closed_by_stub rides in the signed receipt (SPEC §6.1)
Compare 2 commits »
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-30 17:56:04 -04:00
946fcf29fe joule_core: Evidence the deployment-memory claim instead of asserting it
dcharlot created pull request Transaction-Science/open-standards#73 2026-08-30 17:25:32 -04:00
jcp: let an action receipt name the attested environment it was recorded in
dcharlot pushed to jcp/environment-binding at Transaction-Science/open-standards 2026-08-30 17:25:08 -04:00
ad2a41249f jcp: let an action receipt name the attested environment it was recorded in
dcharlot created branch jcp/environment-binding in Transaction-Science/open-standards 2026-08-30 17:25:08 -04:00
dcharlot created pull request Transaction-Science/open-standards#72 2026-08-30 17:23:07 -04:00
proof: closed_by_stub rides in the signed receipt (SPEC §6.1)
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-30 17:23:05 -04:00
604a2b26c6 zed: Remove the visual test runner, which this fork orphaned
dcharlot pushed to proof/stub-on-the-wire at Transaction-Science/open-standards 2026-08-30 17:22:48 -04:00
f1f53f53ce proof: closed_by_stub rides in the signed receipt (SPEC §6.1)
dcharlot created branch proof/stub-on-the-wire in Transaction-Science/open-standards 2026-08-30 17:22:48 -04:00
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-30 17:17:04 -04:00
4e1eb7ab71 Clear the rest of the workspace lint debt
da8430783a Clear the workspace-wide lint debt left by the Rust 1.98 upgrade
d0302cd13d joule_core: Disclose when a run reached green by weakening its tests
e5150e4079 joule_core: Add a read-only ceiling to the tool gate
3e5f424e79 joule_core: Stop the agent's file tools from leaving the worktree
Compare 5 commits »
dcharlot created pull request Transaction-Science/open-standards#71 2026-08-30 17:15:36 -04:00
compliance: grade on water too, and retire the two magic floats
c3afedf762 compliance: grade on water too, and retire the two magic floats
dcharlot created branch compliance/composite-grade in Transaction-Science/open-standards 2026-08-30 17:15:11 -04:00
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-30 16:15:38 -04:00
272525842e joule_core: Show what the harness has learned, next to what the run cost
f3bcf92313 fs, settings: Clear Rust 1.98 lints blocking the panel's clippy gate
Compare 2 commits »
dcharlot created pull request Transaction-Science/open-standards#70 2026-08-30 15:52:52 -04:00
mesh: a cost model that can represent the request it is meant to refuse
327295732b mesh: a cost model that can represent the request it is meant to refuse