dcharlot
created branch fix/clippy-sweep in Transaction-Science/open-standards
2026-10-13 09:56:07 -04:00
e1be07c28a
Merge pull request 'spec citations: five named sections their SPECs do not have, and a check so they cannot return' (#238) from dcharlot/spec-citations-resolve into main
spec citations: five named sections their SPECs do not have, and a check so they cannot return
dcharlot
deleted branch 2026-10-13 09:36:08 -04:00
fix/z3-goal-deadline from Transaction-Science/open-standards
dcharlot
deleted branch 2026-10-13 09:36:08 -04:00
feat/intercept-one-span-per-pass from Transaction-Science/open-standards
dcharlot
deleted branch 2026-10-13 09:36:07 -04:00
fix/gateway-test-server-any-awk from Transaction-Science/open-standards
dcharlot
deleted branch 2026-10-13 09:36:06 -04:00
feat/eoc-cascade-meter-at-its-resolution from Transaction-Science/open-standards
8b7a83053b
Merge pull request 'proof-solvers: a time limit on every z3 goal, and a deadline on its I/O' (#239) from fix/z3-goal-deadline into main
proof-solvers: a time limit on every z3 goal, and a deadline on its I/O
f77960d752
Merge pull request 'jcp-intercept: a reading meter meters a seam as one span, divided among its steps by CPU time' (#236) from feat/intercept-one-span-per-pass into main
6d7bc256a5
jcp-intercept: a reading meter meters a seam as one span, divided among its steps by CPU time
jcp-intercept: a reading meter meters a seam as one span, divided among its steps by CPU time
30dfbc45df
Merge pull request 'jcp-gateway: the stdio tests' awk server answers on any awk' (#234) from fix/gateway-test-server-any-awk into main
jcp-gateway: the stdio tests' awk server answers on any awk
54bdab08d7
Merge pull request 'eoc-cascade: a hit reads no meter and is charged a calibrated estimate; the span opens at the neural stage' (#233) from feat/eoc-cascade-meter-at-its-resolution into main
23eacd79a5
eoc docs: what a resolve is charged, with the measured figures; the example prints the unmetered baseline
bd865deb9a
eoc-cascade: a hit's calibrated figure and a neural resolve's span, against an oracle on the real counter
2add533104
eoc-cascade: a hit reads no meter and is charged a calibrated estimate; the span opens at the neural stage
eoc-cascade: a hit reads no meter and is charged a calibrated estimate; the span opens at the neural stage
c20f8473c4
Merge pull request 'wai-vector: section 5 and the text layer, its checker, and the three-engine browser leg (D7-7, D7-8)' (#237) from wai/d7-text-and-browser into main
wai-vector: section 5 and the text layer, its checker, and the three-engine browser leg (D7-7, D7-8)
ci: every wai-rs test is run by a job or listed with its reason, none can run empty, and wai_prov runs
dcharlot
pushed to ci/tests-are-run at Transaction-Science/open-standards
2026-10-13 06:41:17 -04:00
bd3983c6e3
Merge pull request 'wai-quantum-serve 0.5.1: limits a request cannot pass, and a body is read whole or refused' (#235) from wai/quantum-serve-limits into main
8510ae7a4a
Merge pull request 'quantum-meter: wai-quantum's RunMeter over this process's CPU and GPU counters' (#232) from wai/quantum-run-meter into main
6f4641c9a8
Merge pull request 'wai: reader limits that bound memory (manifest values, text decode), and the codec wrappers in CI' (#231) from wai/security-gaps into main
dcharlot
pushed to wai/d7-text-and-browser at Transaction-Science/open-standards
2026-10-13 06:39:10 -04:00
6f4641c9a8
Merge pull request 'wai: reader limits that bound memory (manifest values, text decode), and the codec wrappers in CI' (#231) from wai/security-gaps into main
f244bd33a3
Merge pull request 'sandbox-meter: a member waiting on the kernel in the middle of its work is not settled' (#230) from fix/tree-energy-reap-under-load into main