praxis-qa 0.0.1

A shared semantic-memory layer for QA agents. Agents store and maintain knowledge about a system under test (goals, recognition signals, success/failure oracles, alternative paths, risks) decoupled from the procedure used to reach it.

Mneme

A shared semantic-memory layer for QA agents. Codename — rename freely (praxis → your brand) in pyproject.toml and src/.

Most testing tools store procedures (click A, fill B, assert C). Mneme stores knowledge about the system under test — goals, how to recognize states, what success and failure actually look like, which alternative paths exist, and which risks lurk — and keeps that knowledge decoupled from the steps any single run happened to use.

Agents read the knowledge to attempt a goal, regenerate their own steps, and write back what they observed. Over time the memory becomes a living model of the app, maintained by agents instead of by hand.

goal: A returning user can establish an authenticated session.
success_signals:
  - a logout action becomes available          # behavioral, durable
  - POST /session returns 2xx + session cookie  # network, durable
alternative_paths: [email-password, social-oauth]
known_risks:
  - captcha (trigger: several consecutive failures)
  - mfa     (trigger: account has MFA / new device)

Why this is not "another test framework"

This is model-based testing reborn: the discipline that failed historically because maintaining the model by hand cost more than the tests it replaced. The bet here is that agents can build and maintain the model themselves, which inverts that economics. The procedure is disposable; the knowledge is the asset.

What's in this repo

• docs/ — the full design: vision, architecture, schema, MVP experiment, risks, roadmap.
• docs/adr/ — the load-bearing decisions and why.
• schema/ — the language-neutral knowledge schema (JSON Schema) + real examples.
• src/praxis/ — package skeleton (model, store, merge, oracle, adapters).
• experiments/ui-mutation/ — the one experiment that validates or kills the idea.

Start here

1. docs/00-product-brief.md — the one-page pitch.
2. AGENTS.md — how Claude Code should build this (non-negotiables included).
3. experiments/ui-mutation/README.md — build this first.

Non-negotiables (the spine of the design)

1. Store invariants, not coordinates.
2. Every assertion carries provenance + confidence (ADR-0004).
3. The store is append-only (ADR-0001) — no overwrite of knowledge.
4. Core stays runtime-agnostic; runtime code lives behind adapters (ADR-0003).
5. The oracle is sacred — a success oracle is believed only via evidence diversity (≥2 different signal types) or a human/spec seed, never by counting agents; the first oracle is seeded (ADR-0005). Silent poisoning is the way this product dies (docs/06).

License: Apache-2.0 (recommended).