|
1 | 1 | { |
2 | 2 | "id": "minimal", |
3 | | - "name": "minimal", |
| 3 | + "name": "AWO-aligned Minimal Workflow", |
4 | 4 | "version": "0.1.0", |
5 | | - "objectives": ["Demonstrate CRI run structure with no external dependencies."], |
| 5 | + "objectives": ["Demonstrate AWO-aligned claims and falsification tuple."], |
6 | 6 | "inputs": [{ "path": "workflows/minimal.json", "role": "config" }], |
7 | | - "claims": [{ |
8 | | - "id": "claim_baseline_traceability", |
9 | | - "statement": "CRI produces a self-contained run folder with manifest and gate templates.", |
10 | | - "falsification": { |
11 | | - "dataset": "run directory contents", |
12 | | - "procedure": "check presence of manifest.json, reports/validate.json, and gates/*.md", |
13 | | - "metric": { "name": "files_present", "target": 3, "tolerance": 0, "units": "count" } |
| 7 | + "claims": [ |
| 8 | + { |
| 9 | + "id": "claim_traceability", |
| 10 | + "statement": "CRI produces a self-contained run folder with manifest and gate templates.", |
| 11 | + "falsification": { |
| 12 | + "dataset": "run directory contents", |
| 13 | + "procedure": "after commit, check presence of run_manifest.json, SHA256SUMS.txt, and gates/*.md", |
| 14 | + "metric": { "name": "files_present", "target": 3, "tolerance": 0, "units": "count" } |
| 15 | + } |
14 | 16 | } |
15 | | - }], |
| 17 | + ], |
16 | 18 | "steps": [ |
17 | 19 | { "id": "ingest", "type": "ingest", "uses": ["workflows/minimal.json"], "produces": ["manifest.json"] }, |
18 | 20 | { "id": "validate", "type": "evaluate", "uses": ["schemas/workflow.schema.json"], "produces": ["reports/validate.json"] }, |
|
0 commit comments