feat(benchmarks): add covering path-lift bijection

[yuelgrace1810-ops]

Summary

• add one independent Regression-family Harbor task derived from DeepTheorem train row 0
• require a freely chosen finite base path, every unique lift, endpoint transport, and reversed-path inverse
• accept alternative valid paths while rejecting cardinality-only answers and corrupted lift traces

Quality gate

• score: 89/100
• primary objective: constructive unique-path-lifting reasoning
• difficulty: Hard (provisional; no empirical baseline yet)
• shortcut audit: equal fiber counts alone cannot pass; the complete local-cover and inverse-lift certificate is mandatory
• assurance ceiling: COMPUTED

Validation

• make harbor-check: 456 passed
• alternative base path accepted
• corrupted reverse lift rejected
• Ruff lint and format: passed
• git diff --check: passed
• local container Oracle unavailable because Docker is not installed; GitHub task Oracle is required before this PR is healthy

Provenance

• Jiahao004/DeepTheorem
• revision f5935720f176cedff4ecd8ebf83d1696e31cfac8
• train row 0 / source id 87
• MIT

Portfolio contribution

This adds topological transport through a finite graph cover, distinct from graph property computation, counterexample search, fixed proof-DAG replay, and matrix basis construction.

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 2f7c2f5db7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[morluto]

@codex

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 2f7c2f5db7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1b79b3d71d

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

[chatgpt-codex-connector]

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0b61419e16

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".