METPO Scope-B proposal v6 (electron-transfer predicates) + upstream submission to METPO #535#108
Merged
Merged
Conversation
…icates Proposes METPO:2007600-2007603 for the microbe-specific electron-transfer / bioenergetics residual cluster (the genuine no-upstream-home predicates after the grounding passes): 2007600 transfers electrons via (mediated/carrier transfer; 2 edges) 2007601 imposes gradient of (electrochemical gradient; 4 edges) 2007602 couples electron flow to (chemiosmotic coupling; 1 edge) 2007603 serves as electron donor and acceptor (disproportionation; 1 edge) IDs reserved against the latest METPO release (2026-06-12): 1-series used to 1007093, 2-series to 2000734, 2007xxx wholly unused upstream; 2007600+ is above the v4 block (2007500) and clear of upstream. Grounds 11 motivating edges in predicate_grounding.tsv: 8 to the new predicates, and 3 residual labels to existing v2 predicates where they are equivalents (donates/provides electrons to -> 2007403 transfers electrons to; provides electrons for -> 2007402 feeds electrons into). One-off / ambiguous labels left residual rather than proposed speculatively. Predicate grounding rises 1071 -> 1082 / 1284 (83% -> 84%). Verification: just verify-proposal (12/12 cols; Scope-A N/A as for v2/v4), just robot-validate-proposal PASS (ELK no UNSAT, +6 lines), validate-strict 477 files 0 errors. Grounding idempotent. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
…orts Consolidated TraitMech->METPO submission (v1-v6: 143 classes + 13 predicates) opened as berkeleybop/metpo#535 requesting real METPO IDs. Cross-referenced from each cohort's proposal.md. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Two linked deliverables:
metpo_traitmech_v6— 4 electron-transfer/bioenergetics predicates for the genuine no-upstream-home residual, with IDs reserved against the latest METPO release.proposal.md.v6 cohort (
METPO:2007600–2007603)transfers electrons to(2007403)imposes/increases gradient ofID reservation (latest METPO release
2026-06-12)1-series used to
1007093, 2-series to2000734,2007xxxwholly unused upstream →2007600+is above the v4 block (2007500) and collision-free. The numbers are placeholders; METPO maintainers mint the real IDs (round-trip plan documented inproposal.md).Edge grounding (closes the loop)
Grounded 11 motivating edges in
predicate_grounding.tsv: 8 to the new predicates, 3 to existing v2 predicates where they're equivalents (donates/provides electrons to→ 2007403;provides electrons for→ 2007402). One-off/ambiguous labels left residual rather than proposed speculatively. Predicate grounding 1071 → 1082 / 1284 (83% → 84%).Verification
just verify-proposal metpo_traitmech_v6— 12/12 cols, header directives, subset tag pass (Scope-A check N/A for predicate-only cohorts, as v2/v4).just robot-validate-proposal metpo_traitmech_v6— PASS: ELK no UNSAT, +6 lines (no unintended inferences).just validate-strict— 477 files, 0 errors. Grounding idempotent.🤖 Generated with Claude Code