Files
Pranit 73b9704036 Bring the remaining fx TLA+ models into tests/tla
- Add models, checkers, and Bun drivers for ACP permission modes and
  speed, launch flags, durable libfx, the MCP-v2 engine and the MCP
  host, /usage, the shell tool and git admission, the shell snapshot
  and terminal lifecycle, the libfx provider credential edge, the
  indexer's grep, file picker, and snapshot reuse, and the session
  rollout.
- Add tests/tla/lib/ and tests/tla/drivers/lib/ so every checker and
  driver finds TLC and Java the same way, gives each TLC run its own
  temp folder, runs the binary from this checkout, and keeps sound off.
- Add tests/tla/mcp/rules.md, the MCP specification rules the MCP-v2
  models cite by ID.
- Mark the models that describe the next MCP-v2 version, and run their
  drivers only with --next or FX_TLA_NEXT_MCP=1.
- Point the /usage and MCP trace comments in src/ at their models, and
  update tests/tla/README.md, tests/AGENTS.md, and CONTRIBUTING.md.
2026-10-14 01:24:13 -04:00
..