dcharlot
0 followers · 0 following
  • Joined on 2026-07-07
Repositories Projects Packages Public activity Starred repositories
dcharlot merged pull request Transaction-Science/open-standards#205 2026-10-10 23:00:20 -04:00
wai-web: reach builds — L1, L2, J and an ES5 loader (CI verdict pending)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 22:59:45 -04:00
a4490cf89e Merge pull request 'wai: wai generate and wai score, and the instruction object of wai.generate.spectral (form v0)' (#197) from wai/generate-score-cli into main
815f3fb8c2 Merge origin/main into wai/generate-score-cli
4c09bea76a wai-web wasm32 CI: the browser generator and score synth make every native pin
cdc351b33c wai REGISTRY: the status note names wai.generate.spectral among the registrations v0.4.0 completes
7e3b883074 wai generate.spectral: the model is the parameter set, so the envelope carries no pin; inspect and unwrap report the payload
Compare 13 commits »
dcharlot merged pull request Transaction-Science/open-standards#197 2026-10-10 22:59:44 -04:00
wai: `wai generate` and `wai score`, and the instruction object of wai.generate.spectral (form v0)
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 22:25:18 -04:00
4b2d348edf Merge pull request 'meter model subprocesses where they ran: the L3 model enters the run's figure' (#211) from feat/meter-model-subprocesses into main
68aa43bafd ci: run the L3 and fabric-meter oracle tests on the macOS energy job
cbcc27f1f7 l3-jouleclaw: grade a fallback span as no reading; never read the llama engine whole
e325ab5d9a jouledesk-github: a model process is never read whole; a fallback carries no model reading
49c88f4387 joule-code-remediate: seal the L3 window's device classes as separate records
Compare 13 commits »
dcharlot merged pull request Transaction-Science/open-standards#211 2026-10-10 22:25:18 -04:00
meter model subprocesses where they ran: the L3 model enters the run's figure
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 22:24:53 -04:00
2db417f344 Merge pull request 'no fabricated readings: every figure sealed as a reading was read' (#212) from fix/no-fabricated-readings into main
4759874771 jouledesk, joulehook: the docs say a figure carries its meter's grade, not "measured"
667d75916d jcp-cli: the meter line names the rung and the probe's own grade
3844e05974 jcp-x402: the settlement record carries its figure's grade; pay meters its compute
0c14dc33c8 jouleclaw-hydra-client: a transport's joule figure carries its grade; ungraded is an estimate
Compare 22 commits »
dcharlot merged pull request Transaction-Science/open-standards#212 2026-10-10 22:24:51 -04:00
no fabricated readings: every figure sealed as a reading was read
68aa43bafd ci: run the L3 and fabric-meter oracle tests on the macOS energy job
cbcc27f1f7 l3-jouleclaw: grade a fallback span as no reading; never read the llama engine whole
e325ab5d9a jouledesk-github: a model process is never read whole; a fallback carries no model reading
49c88f4387 joule-code-remediate: seal the L3 window's device classes as separate records
8a2f1b1c0d joule-code-remediate: drop JOULE_FIX_L3_SELF_CONTAINED, which could never take effect
Compare 31 commits »
dcharlot pushed to wai/w4-4-staged-packages at Transaction-Science/open-standards 2026-10-10 22:24:07 -04:00
e1acae7881 Merge wai/d1-record-true (with #205, #197 and main) into wai/w4-4-staged-packages
4e7155b955 Merge wai/reach-builds (with #197 and main) into wai/d1-record-true
4e52e7923a Merge wai/generate-score-cli (with main) into wai/reach-builds
815f3fb8c2 Merge origin/main into wai/generate-score-cli
5be238af32 Merge pull request 'wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)' (#206) from wai/d2a-operators-crate into main
Compare 127 commits »
dcharlot pushed to wai/d1-record-true at Transaction-Science/open-standards 2026-10-10 22:23:54 -04:00
4e7155b955 Merge wai/reach-builds (with #197 and main) into wai/d1-record-true
4e52e7923a Merge wai/generate-score-cli (with main) into wai/reach-builds
815f3fb8c2 Merge origin/main into wai/generate-score-cli
5be238af32 Merge pull request 'wai-ops: the reference crate and conformance vectors for wai-ops/1 (D2a)' (#206) from wai/d2a-operators-crate into main
3affd4c77b Merge pull request 'sandbox: a setup assertion walked a tree that still held the warm-up worker' (#208) from dcharlot/tree-energy-setup-race into main
Compare 133 commits »
dcharlot pushed to main at Transaction-Science/open-standards 2026-10-10 22:23:37 -04:00
2d9d2a2753 Merge pull request 'proof: z3 could be made to prove a false claim; meter solver subprocesses where they ran' (#213) from feat/meter-solver-subprocesses into main
10360d246e proof SPEC §7: a cache hit's zero is sealed Estimator
88052772bb sandbox-proof: name the hook type in the panicking-hook test
97070fa194 proof-solvers: name the check-sat answer CheckSat, so clippy stays clean
5bcb48498b sandbox-proof: prove_local's public doc linked a private item
Compare 19 commits »
dcharlot merged pull request Transaction-Science/open-standards#213 2026-10-10 22:23:35 -04:00
proof: z3 could be made to prove a false claim; meter solver subprocesses where they ran
dcharlot created pull request Transaction-Science/open-standards#213 2026-10-10 18:22:39 -04:00
proof: z3 could be made to prove a false claim; meter solver subprocesses where they ran
10360d246e proof SPEC §7: a cache hit's zero is sealed Estimator
88052772bb sandbox-proof: name the hook type in the panicking-hook test
97070fa194 proof-solvers: name the check-sat answer CheckSat, so clippy stays clean
5bcb48498b sandbox-proof: prove_local's public doc linked a private item
866c8aa23d proof-solvers: Z3Server's public doc linked the private shape guard
Compare 10 commits »
dcharlot created branch feat/meter-solver-subprocesses in Transaction-Science/open-standards 2026-10-10 18:22:37 -04:00
dcharlot created pull request Transaction-Science/open-standards#212 2026-10-10 18:16:56 -04:00
no fabricated readings: every figure sealed as a reading was read
4759874771 jouledesk, joulehook: the docs say a figure carries its meter's grade, not "measured"
667d75916d jcp-cli: the meter line names the rung and the probe's own grade
3844e05974 jcp-x402: the settlement record carries its figure's grade; pay meters its compute
0c14dc33c8 jouleclaw-hydra-client: a transport's joule figure carries its grade; ungraded is an estimate
23508f227d ci: run mesh-openai's serve_example test in the mesh-rs feature step
Compare 10 commits »
dcharlot created branch fix/no-fabricated-readings in Transaction-Science/open-standards 2026-10-10 18:16:53 -04:00
dcharlot created pull request Transaction-Science/open-standards#211 2026-10-10 18:09:23 -04:00
meter model subprocesses where they ran: the L3 model enters the run's figure
04d0712ba1 ci: run the L3 and fabric-meter oracle tests on the macOS energy job
a64c9ad55b l3-jouleclaw: grade a fallback span as no reading; never read the llama engine whole
c4c72c3f76 jouledesk-github: a model process is never read whole; a fallback carries no model reading
fe0e5d168a joule-code-remediate: seal the L3 window's device classes as separate records
351b65e813 joule-code-remediate: drop JOULE_FIX_L3_SELF_CONTAINED, which could never take effect
Compare 10 commits »