0.7.1g1P1: mint authority for the 67 admissible appearing identities

[GionaGranchelli]

Base

5bcb030c953c425289fad9e640ab65c15936ecda — the actual squash merge of #466. Note for the record: GitHub displayed b0c79986… as the provisional merge SHA while #466 was open; that was not authoritative history and was not used. The branch is cut from the real post-merge epic tip.

What this mints

Exactly 67 population-admission preauthorizations in config/quality/mutation-population-admissions.yml, through the repository's existing M30-M39 authority mechanism. The population itself does not change: P1 proposes, P2 consumes later.

authorized identities	67
prior adjudications (P1 68-row manifest)	16
G5b TOOLING_LIMITATION	36
G5c EQUIVALENT	11
G5d UNREACHABLE	4
twelfth G5c identity (a9760bea3a92)	excluded — it is KILLED
statuses	36 TIMED_OUT · 27 SURVIVED · 4 NO_COVERAGE
family / module	approval / :tramai-engine for all 67
fromBaseSha	5bcb030c… (every entry)
populationDigest	9aebd3202288c82ff006f2db33c95cac0772746fa3c3061569167cd3f45df9b0 (every entry)
analyzer semantics	bound per entry: pitest 1.19.0 / engine 1.22.1, the 11 mutators, timeoutConst 4000, timeoutFactor 1.25

Mandatory invariants — all proven before writing

1. cardinality = 67 ✓ · 2. all 67 in the G6 appearing NON_KILLED population ✓ · 3. no G6 KILLED identity authorized ✓ · 4. none missing ✓ · 5. none duplicated ✓ · 6. every entry has existing adjudication provenance ✓ · 7. the four G5d UNREACHABLE records retain their artifact-relative caveat — it is embedded in their reason ✓ · 8. no baseline, mutator set, timeout, family enrollment, classification semantics or ceiling change ✓ · 9. P1 performs no P2 consumption ✓ · 10. no new admissibility decision invented — every category and reason is copied from a committed adjudication ✓

Reconstruction provenance

The 67 were reconstructed from committed records at the new tip, not from cached preparation: the G5b/G5c/G5d manifests and the P1 68-row manifest. The committed admissible union is exactly 67 and equals the G6 appearing NON_KILLED set (67 == 67), with the KILLED twelfth G5c identity excluded. Nothing was added, removed, rerun or substituted to make a mismatch close.

Independent verification of the written authority

Re-parsed the committed ledger independently: schemaVersion 1 · 67 entries · unique · all canonical 64-hex · exact set equality with the committed admissible union · every fromBaseSha = the checkpoint · every populationDigest = the G6 digest · every entry carries a reason with its adjudication document · outcomes all NON_KILLED · statuses 36/27/4 · categories 36/16/11/4 · no KILLED identity authorized.

Scope

git status shows one changed file: the admissions ledger. Existing file header documentation preserved verbatim. No production, test, baseline, classification, enrollment, mutator, timeout or ceiling change.

Explicitly out of scope

P2 is not performed. No consumption, no population transition, no baseline regeneration. G6 remains the measurement authority — the campaign was not rerun, reinterpreted or broadened.

Gates: spotlessCheck verifyStaticAnalysis verifyChangePolicy -PchangePolicyBase=5bcb030c… BUILD SUCCESSFUL (change class runtime-behaviour, no policy violations, 1 changed file). Exact-head CI is the final authority; the admission verifiers run there. Not self-merged.

[Copilot]

Copilot review overview

🟡 Changes recommended

Three reason fields (lines 440, 615, 640) are truncated mid-structure, dropping the UNDETERMINED second-disposition from the copied provenance, and the M36 lock makes this incomplete rationale permanent once committed.

Review effort: Balanced
Findings: 1

Open (1)

• Truncated immutable reason omits prior adjudication · New

What changed in this PR

This PR adds data to the governance ledger config/quality/mutation-population-admissions.yml, minting exactly 67 population-admission preauthorizations ("P1") for the appearing candidate-only NON_KILLED mutation identities in :tramai-engine. It uses the repository's existing M30–M39 authority mechanism: each entry records the exact persisted row (status/outcome/family/module), the analyzer semantics it is valid under, the authority base SHA (5bcb030c…), the G6 population digest (9aebd320…), and an adjudication reason. The population itself is unchanged — P1 only proposes authorizations that a later "P2" transition consumes. The file header documentation and schemaVersion: "1" are preserved; admissions: [] becomes a 67-entry list.

I verified the mechanical invariants against the loader (MutationPopulationAdmissionLoader.kt) and the source manifests: 67 entries, all identities unique and valid 64-hex, uniform fromBaseSha/populationDigest/family/module/outcome, status split 36 TIMED_OUT · 27 SURVIVED · 4 NO_COVERAGE, category split 36 G5b · 11 G5c · 4 G5d · 16 prior-adjudication, and the KILLED identity a9760bea… correctly excluded.

Changes:

• Replace admissions: [] with 67 admission entries authorizing the appearing NON_KILLED identities, all bound to the same base SHA, population digest, and analyzer semantics.
• Each entry carries an adjudication reason copied from a committed G5b/G5c/G5d or P1-manifest record.

File	Description
config/​quality/​mutation-population-admissions.yml	Adds 67 population-admission preauthorizations; three reason fields are truncated and drop an UNDETERMINED disposition from the copied provenance.

---

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

[GionaGranchelli]

Correction pushed on this branch: the three truncated reason fields are fixed at ff29eb4f.

All three prior-adjudication admissions now carry their complete committed chronology explicitly rather than a half-serialized repr:

final adjudication EQUIVALENT in TASK-0.7.1g1G4-RESIDUAL-11-MANIFEST.json; predecessor TASK-0.7.1g1G4-RESIDUAL-25-MANIFEST.json disposition UNDETERMINED

I verified that chronology against both committed manifests rather than copying it: all three are disposition: UNDETERMINED in the residual-25 record and disposition: EQUIVALENT in the residual-11 record.

Only the reason fields changed — 3 insertions, 3 deletions, one file. Identity, status, outcome, analyzer, fromBaseSha, populationDigest and cohort membership are untouched. P1 invariants re-proven after the edit: 67 admissions, unique, exact set equality with the committed admissible union, statuses 36/27/4, provenance 36/16/11/4 (checked by joining each identity to its actual adjudication document), fromBaseSha = 5bcb030c… and populationDigest = 9aebd320… for all 67, zero KILLED, no truncated reason remaining anywhere.