Skip to content

Update FEP companion reference to qualified main - #269

Merged
docxology merged 1 commit into
mainfrom
codex/fep-pair-reference-20261018
Oct 18, 2026
Merged

docxology merged 1 commit into
mainfrom
codex/fep-pair-reference-20261018

Conversation

@docxology

Copy link
Copy Markdown
Collaborator

The FEP companion has published its shared-helper and test-layout changes at b3e21f6690a22a98cc68b609a818817247fd6868. Update the GNN reference to that exact reviewed main revision so the paired workflow checks the intended companion.

Only .github/fep-lean-pair.json changes. All 769 GNN owner hashes, authored models and committed manuscript artifacts are unchanged. Both finite and continuous mathematical document bodies are unchanged. Historical native and production evidence retains its original source epochs; native_claim_ready remains false.

Validation:

  • Exact FEP main push workflow 39150264968 succeeded: all 21 executed jobs passed, including native Lean, publication rendering and all 15 installed-wheel cells. The documentation-only lane was skipped as declared.
  • Actual committed-pair status passed all six custody checks; both read-only finite and continuous emitters passed.
  • Runtime custody controls passed 15 tests each on actual Python 3.11 and 3.12. These fixture controls are distinct from the real bridge checks.
  • Strict manuscript tokens, hydration and committed-render freshness passed without regeneration.

Final PR and published-main validation remains required before closeout. No source or scientific scope expansion.

@docxology
docxology merged commit 7dfd9e5 into main Oct 18, 2026
28 checks passed
@docxology
docxology deleted the codex/fep-pair-reference-20261018 branch October 18, 2026 19:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant