Skip to content

Commit e54851d

Browse files
committed
docs: initialize CAS Evals project
0 parents  commit e54851d

11 files changed

Lines changed: 240 additions & 0 deletions

File tree

.planning/PROJECT.md

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
# CAS Evals
2+
3+
## What This Is
4+
5+
CAS Evals is the public, reproducible evaluation framework for the Coding Autopilot System. It lets AI-native developers run deterministic golden tasks and adversarial prompts, then publish evidence for quality, safety, cost, and latency without requiring secrets or hosted services.
6+
7+
## Core Value
8+
9+
Every CAS capability claim can be reproduced from versioned fixtures and machine-readable results.
10+
11+
## Requirements
12+
13+
### Validated
14+
15+
(None yet - ship to validate)
16+
17+
### Active
18+
19+
- [ ] Run deterministic golden-task and adversarial-prompt evaluations locally.
20+
- [ ] Produce schema-valid quality, safety, cost, and latency evidence.
21+
- [ ] Keep fixtures, scoring, and reports reproducible and reviewable.
22+
- [ ] Provide CI, tests, security guidance, and contribution standards.
23+
24+
### Out of Scope
25+
26+
- Live model-provider benchmarking - v0.1 must run without secrets or network access.
27+
- A hosted evaluation dashboard - evidence files and CI are the initial public interface.
28+
- Provider-specific SDKs - these belong after the core contracts stabilize.
29+
30+
## Context
31+
32+
CAS needs measurable proof that its prompt refinement, autonomous engineering, and repair workflows are safe and useful. This repository is conceptually aligned with `cas-contracts`, while remaining independently runnable until shared contracts are versioned and consumed directly.
33+
34+
## Constraints
35+
36+
- **Reproducibility**: Identical fixtures and evaluator version must produce identical scores.
37+
- **Security**: No real secrets, customer data, or remote execution in fixtures.
38+
- **Portability**: The v0.1 core uses only the Python standard library.
39+
- **Evidence**: Results include correlation, provenance, metric details, and pass/fail thresholds.
40+
41+
## Key Decisions
42+
43+
| Decision | Rationale | Outcome |
44+
|----------|-----------|---------|
45+
| Standard-library Python core | Clean-machine execution and small supply-chain surface | Pending |
46+
| JSON fixtures and result schema | Reviewable, portable, conceptually aligned with CAS contracts | Pending |
47+
| Deterministic reference outputs | Establish reproducible baselines before live-provider evals | Pending |
48+
49+
## Evolution
50+
51+
This document evolves at phase transitions and milestone boundaries.
52+
53+
After each phase, validate requirements, record new decisions, and update scope. After each milestone, review the core value, exclusions, and evidence quality.
54+
55+
---
56+
*Last updated: 2026-06-11 after initialization*

.planning/REQUIREMENTS.md

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
# Requirements: CAS Evals
2+
3+
**Defined:** 2026-06-11
4+
**Core Value:** Every CAS capability claim can be reproduced from versioned fixtures and machine-readable results.
5+
6+
## v1 Requirements
7+
8+
### Benchmarks
9+
10+
- [ ] **BENCH-01**: Maintainer can define golden tasks as reviewable JSON fixtures.
11+
- [ ] **BENCH-02**: Maintainer can define adversarial prompts with explicit safe expected outcomes.
12+
- [ ] **BENCH-03**: Evaluator records a fixture digest so evidence can be correlated to exact inputs.
13+
14+
### Metrics
15+
16+
- [ ] **METR-01**: User receives deterministic quality evidence from expected keywords.
17+
- [ ] **METR-02**: User receives safety evidence from prohibited content checks.
18+
- [ ] **METR-03**: User receives normalized cost evidence and threshold status.
19+
- [ ] **METR-04**: User receives latency evidence and threshold status.
20+
21+
### Evidence
22+
23+
- [ ] **EVID-01**: User can emit contract-aligned JSON evaluation results.
24+
- [ ] **EVID-02**: User can reproduce identical results from identical fixtures.
25+
- [ ] **EVID-03**: CI fails when any mandatory evaluation gate fails.
26+
27+
### Governance
28+
29+
- [ ] **GOV-01**: Contributor can run documented tests and benchmarks without secrets.
30+
- [ ] **GOV-02**: Repository publishes security and contribution guidance.
31+
32+
## v2 Requirements
33+
34+
- **LIVE-01**: User can evaluate live model-provider responses through isolated adapters.
35+
- **STAT-01**: User can compute confidence intervals over repeated non-deterministic runs.
36+
- **DASH-01**: User can inspect longitudinal benchmark trends in a public dashboard.
37+
38+
## Out of Scope
39+
40+
| Feature | Reason |
41+
|---------|--------|
42+
| Hosted model calls | v0.1 must be secretless and deterministic |
43+
| Autonomous code execution | Requires a separate isolation and policy design |
44+
| Composite score hiding safety failures | Safety must remain an independent mandatory gate |
45+
46+
## Traceability
47+
48+
| Requirement | Phase | Status |
49+
|-------------|-------|--------|
50+
| BENCH-01, BENCH-02, BENCH-03 | Phase 1 | Complete |
51+
| METR-01, METR-02, METR-03, METR-04 | Phase 1 | Complete |
52+
| EVID-01, EVID-02, EVID-03 | Phase 1 | Complete |
53+
| GOV-01, GOV-02 | Phase 1 | Complete |
54+
55+
**Coverage:** 12 v1 requirements, 12 mapped, 0 unmapped.
56+
57+
---
58+
*Last updated: 2026-06-11 after v0.1 scaffold*

.planning/ROADMAP.md

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
# Roadmap: CAS Evals
2+
3+
## Phase 1: Reproducible Evaluation Kernel
4+
5+
**Goal:** Ship a useful, secretless v0.1 with deterministic benchmarks and evidence.
6+
7+
**Requirements:** BENCH-01, BENCH-02, BENCH-03, METR-01, METR-02, METR-03, METR-04, EVID-01, EVID-02, EVID-03, GOV-01, GOV-02
8+
9+
**Success criteria:**
10+
1. Golden and adversarial fixtures execute identically on Windows and Linux.
11+
2. Results contain independent quality, safety, cost, and latency evidence.
12+
3. Test and benchmark commands pass without network access or secrets.
13+
4. CI rejects mandatory metric failures.
14+
15+
## Phase 2: Shared Contracts And Corpus
16+
17+
Consume versioned `cas-contracts` schemas, expand representative CAS golden tasks, and publish benchmark release artifacts.
18+
19+
## Phase 3: Isolated Live Adapters
20+
21+
Add opt-in provider adapters with redaction, managed identity where applicable, cost controls, and recorded provenance.
22+
23+
## Phase 4: Statistical And Longitudinal Evidence
24+
25+
Add repeated-run statistics, baseline comparison, regression budgets, signed reports, and a public trend dashboard.

.planning/STATE.md

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
# Project State
2+
3+
## Project Reference
4+
5+
See: `.planning/PROJECT.md` (updated 2026-06-11)
6+
7+
**Core value:** Every CAS capability claim can be reproduced from versioned fixtures and machine-readable results.
8+
**Current focus:** Phase 1 complete; prepare shared-contract integration.
9+
10+
## Status
11+
12+
- v0.1 scaffold implemented.
13+
- Deterministic benchmark and test evidence required before release.
14+
- Next phase: consume published `cas-contracts` schemas without weakening standalone execution.

.planning/config.json

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
{
2+
"mode": "yolo",
3+
"granularity": "fine",
4+
"parallelization": true,
5+
"commit_docs": true,
6+
"model_profile": "quality",
7+
"workflow": {
8+
"research": true,
9+
"plan_check": true,
10+
"verifier": true,
11+
"nyquist_validation": true,
12+
"auto_advance": true,
13+
"_auto_chain_active": true
14+
}
15+
}

.planning/research/ARCHITECTURE.md

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
# Architecture Research
2+
3+
## Components
4+
5+
1. Fixture loader validates benchmark input shape at the boundary.
6+
2. Deterministic evaluator computes independent metric evidence.
7+
3. Result model emits a stable contract-aligned JSON document.
8+
4. CLI runs suites, writes evidence, and returns a gating exit code.
9+
5. Tests verify scoring, determinism, schema shape, and CLI behavior.
10+
11+
## Data Flow
12+
13+
`fixture JSON -> loader -> evaluator -> metric evidence -> result JSON -> CI gate`
14+
15+
## Build Order
16+
17+
Define contracts and fixtures first, implement pure scoring second, add CLI and evidence output third, then enforce behavior in tests and CI.

.planning/research/FEATURES.md

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,16 @@
1+
# Feature Research
2+
3+
## Table Stakes
4+
5+
- Versioned benchmark fixtures and deterministic scoring.
6+
- Quality, safety, cost, and latency metrics with explicit thresholds.
7+
- Machine-readable results with provenance and correlation identifiers.
8+
- Positive and adversarial cases.
9+
- CI regression gates and documented reproduction commands.
10+
11+
## Deferred Differentiators
12+
13+
- Live provider adapters and judge-model scoring.
14+
- Statistical confidence intervals over repeated runs.
15+
- Public benchmark dashboard and longitudinal trend visualization.
16+
- Signed benchmark releases and artifact attestations.

.planning/research/PITFALLS.md

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
# Pitfalls Research
2+
3+
| Pitfall | Warning Sign | Prevention |
4+
|---------|--------------|------------|
5+
| Non-deterministic scoring | Same commit produces different scores | Pure functions, fixed arithmetic, fixture hashes |
6+
| Metric gaming | Aggregate score hides unsafe behavior | Safety is an independent mandatory gate |
7+
| Opaque results | Score lacks reasons or provenance | Emit metric details, thresholds, evaluator version, fixture digest |
8+
| Unrealistic benchmarks | Only happy paths pass | Include adversarial prompts and explicit unsafe expected outcomes |
9+
| Cost ambiguity | Provider pricing changes silently alter results | Fixture-supplied normalized cost inputs in v0.1 |

.planning/research/STACK.md

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
# Stack Research
2+
3+
## Recommendation
4+
5+
- Python 3.11+ standard library for the deterministic evaluator and CLI.
6+
- JSON Schema Draft 2020-12 document for interoperable result validation.
7+
- `unittest` for zero-dependency verification.
8+
- GitHub Actions for Linux and Windows reproducibility checks.
9+
10+
## Rationale
11+
12+
An evaluation framework is trusted when its scoring logic is inspectable, its inputs are versioned, and its outputs can be independently validated. Avoiding runtime dependencies in v0.1 reduces supply-chain and installation variability.

.planning/research/SUMMARY.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
# Research Summary
2+
3+
CAS Evals v0.1 should be a small, inspectable evaluation kernel rather than a provider integration layer. Its strongest public evidence is deterministic fixtures, explicit independent gates, stable result JSON, and cross-platform CI.
4+
5+
The primary risks are non-reproducibility, opaque aggregate scores, and weak adversarial coverage. The architecture addresses these with pure evaluators, mandatory safety gates, evidence-rich results, and versioned benchmark fixtures.

0 commit comments

Comments
 (0)