dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot deleted tag v0.0.0-rustcheck from Transaction-Science/agent-joule 2026-08-27 18:09:43 -04:00
dcharlot closed pull request Transaction-Science/open-standards#61 2026-08-27 13:34:52 -04:00
chore: Rust 1.98.0 (latest stable) + refresh every dependency
ad49173ff8 eoc: pin rand off 0.10.2, which does not compile
44eae552a2 eoc: bind a published facility band to the allocation it came from
bd5c960f13 eoc: divide a measured facility total among tenants without losing any of it
3e7811fbbb wai: neutral-atom rearrangement — wai.quantum.rearrange
fc5c19b696 docs(wai): document the system libraries a default wai-rs build links
Compare 7 commits »
65972aeb94 eoc: unblock the workspace build — two dependency faults, neither new
dcharlot pushed to main at Transaction-Science/agent-joule 2026-08-27 13:17:53 -04:00
f32e7b59f2 fix(release): build every platform from the tag, not the dispatch branch
cdf6faa62e eoc: bind a published facility band to the allocation it came from
dcharlot pushed to main at Transaction-Science/open-standards 2026-08-27 13:10:25 -04:00
3e7811fbbb wai: neutral-atom rearrangement — wai.quantum.rearrange
dcharlot created pull request Transaction-Science/open-standards#64 2026-08-27 10:42:06 -04:00
compliance: derive the A-G band instead of accepting one
078aeb3c2a compliance: derive the A-G band instead of accepting one
dcharlot created branch compliance/banding-function in Transaction-Science/open-standards 2026-08-27 10:41:39 -04:00
dcharlot created pull request Transaction-Science/open-standards#63 2026-08-27 10:36:17 -04:00
eoc: divide a measured facility total among tenants without losing any of it
a4ae4ea880 eoc: divide a measured facility total among tenants without losing any of it
dcharlot created branch eoc/multi-tenant-allocation in Transaction-Science/open-standards 2026-08-27 10:35:56 -04:00
dcharlot pushed to main at Transaction-Science/open-standards 2026-08-26 12:27:31 -04:00
fc5c19b696 docs(wai): document the system libraries a default wai-rs build links
dcharlot pushed to main at Transaction-Science/open-standards 2026-08-26 12:19:55 -04:00
84fc32449a chore(deps): update dependencies for Rust 1.98, pinning the crypto generations
be643d1202 fix: carry JCP §4.8 dual-ceiling fields through downstream Grant literals
Compare 2 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-08-26 11:57:03 -04:00
8eb90cf901 wai: circuit compilation + equivalence proof — wai.quantum.compile
dcharlot pushed to fix/jcp-grant-fields at Transaction-Science/open-standards 2026-08-26 11:55:49 -04:00
3727ece048 fix(jcp): add §4.8 Grant budget_funds/caveats at example/test call sites
dcharlot created branch fix/jcp-grant-fields in Transaction-Science/open-standards 2026-08-26 11:55:49 -04:00
dcharlot pushed to ci-standards-workspaces at Transaction-Science/open-standards 2026-08-26 11:53:17 -04:00
6b03da3883 ci: install z3 for the two workspaces that need a solver
dcharlot pushed to sandbox/honest-tier at Transaction-Science/open-standards 2026-08-26 11:52:34 -04:00
9ea6705110 sandbox: give the S7 locality claim something that can falsify it (SPEC §7.7)