|
| 1 | +# SPDX-License-Identifier: PMPL-1.0-or-later |
| 2 | +# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk> |
| 3 | +# |
| 4 | +# coverage.a2ml — Session coverage tracking |
| 5 | +# Updated at the end of each AI agent session. |
| 6 | +# Persists what was visited, what was skipped, and what has MUSTs. |
| 7 | +# |
| 8 | +# Reference: ADR-002 in standards/agentic-a2ml/docs/ |
| 9 | + |
| 10 | +[metadata] |
| 11 | +version = "1.0.0" |
| 12 | +last-updated = "2026-03-24" |
| 13 | + |
| 14 | +# ============================================================================ |
| 15 | +# COVERAGE STATE |
| 16 | +# ============================================================================ |
| 17 | +# Updated by agents at session end. Tracks which components have been |
| 18 | +# visited and which have known MUSTs that were skipped. |
| 19 | + |
| 20 | +[coverage] |
| 21 | +total-components = 0 |
| 22 | +visited-components = 0 |
| 23 | +coverage-percent = 0 |
| 24 | + |
| 25 | +# ============================================================================ |
| 26 | +# VISITED COMPONENTS |
| 27 | +# ============================================================================ |
| 28 | +# Component → session date + ring reached |
| 29 | +# Agents add entries as they work through components. |
| 30 | +# |
| 31 | +# Example: |
| 32 | +# [coverage.visited.emergency-room] |
| 33 | +# date = "2026-03-23" |
| 34 | +# ring = 2 |
| 35 | +# fixes = 3 |
| 36 | +# notes = "boot-guardian built, shutdown-marshal built" |
| 37 | + |
| 38 | +# ============================================================================ |
| 39 | +# SKIPPED COMPONENTS WITH MUSTS |
| 40 | +# ============================================================================ |
| 41 | +# Components with known MUSTs that were not visited in the most recent session. |
| 42 | +# These become P1 inputs for the next session's Phase 0. |
| 43 | +# |
| 44 | +# Example: |
| 45 | +# [coverage.skipped-musts.session-sentinel] |
| 46 | +# priority = "P0" |
| 47 | +# issue = "56 SIGABRTs in 4 days, D-Bus race condition" |
| 48 | +# discovered = "2026-03-23" |
| 49 | + |
| 50 | +# ============================================================================ |
| 51 | +# CHERRY-PICKING AUDIT |
| 52 | +# ============================================================================ |
| 53 | +# At session end, agents report whether they chose easy work over hard work. |
| 54 | +# This is the accountability mechanism for the weighted priority system. |
| 55 | +# |
| 56 | +# [coverage.cherry-picking] |
| 57 | +# easy-high-completed = 3 |
| 58 | +# hard-high-completed = 1 |
| 59 | +# easy-low-completed = 2 |
| 60 | +# hard-low-deferred = 4 |
| 61 | +# assessment = "Correctly prioritised — all MUST items addressed before COULDs" |
0 commit comments