Tianyi Cui 7b07b70750 test: address Codex review of property tests (PR 3) ...

- llm: generator now emits finish chunks (the finish-defaults property was
  vacuously green); add a property asserting streaming and one-shot assembly
  agree on usage and finish
- agent-loop: assert the synchronous burst batches into exactly one turn; add
  a mixed-schedule property (send/settle interleavings); recordStatus returns
  its disposer; per-run timeouts so a hang loses no seed
- session: randomize the noise/message interleaving (was a fixed alternation)
- tools: exclude non-finite doubles from generated numeric args (JSON-real)

2026-06-14 00:24:23 +08:00

..

properties.spec.ts

test: address Codex review of property tests (PR 3)

2026-06-14 00:24:23 +08:00

session.spec.ts

feat(invariants): dev-mode event-contract assertions + session-log freeze (RFC 005 pt 3, RFC 008)

2026-06-13 23:25:12 +08:00