Skip to content

[codex] remove exam manifest architecture#1640

Merged
TSavo merged 1 commit into
mainfrom
codex/acquaint-20260529-115526
May 29, 2026
Merged

[codex] remove exam manifest architecture#1640
TSavo merged 1 commit into
mainfrom
codex/acquaint-20260529-115526

Conversation

@TSavo
Copy link
Copy Markdown
Owner

@TSavo TSavo commented May 29, 2026

Summary

Removes the exam-manifest architecture end to end now that the shared concept-hub vocabulary model is gone.

  • Deletes the Rust exam manifest runtime, dispatch path, federation handshake, IR memento fields, plugin registry exam metadata, tests, fixtures, and protocol spec.
  • Removes exam/question citation behavior from Python, Java, Rust walk/bind/materialize paths so refusals are plain substrate refusals.
  • Removes exam_manifest/exam_question config pins from checked-in project config files and generated config tests.
  • Deletes menagerie exam artifacts, minting/probe scripts, old concept-hub audit/plan docs, and related tests.
  • Adds a TypeScript guard test that rejects real legacy exam identifiers while allowing unrelated words like "example".

Why

The exam model was dead code after the shared vocabulary/concept-hub removal. Keeping it around made the system advertise and pin a capability that no longer has a valid role.

Validation

Post-final-rebase checks:

  • git diff --check
  • pnpm vitest run implementations/typescript/src/legacy-ontology-removal.test.ts
  • exact repo grep for legacy exam identifiers: clean
  • exact config.toml / manifest.toml grep for legacy exam identifiers: clean

Longer local checks run before the final one-commit rebase:

  • python3 -m pytest implementations/python/provekit-lift-python-source/tests - 91 passed
  • mvn -pl provekit-lift-java-source -am test - build success, 52 source-module tests plus reactor deps
  • cargo test --manifest-path menagerie/smoke-test-e2e/driver/Cargo.toml - 1 passed
  • CARGO_BUILD_JOBS=2 cargo test -p provekit-cli --test cmd_materialize_integration - 20 passed after installing the TypeScript better-sqlite3 kit deps
  • CARGO_BUILD_JOBS=2 cargo test -p provekit-cli --test library_tag_dispatch_test - 2 passed after installing the TypeScript pg kit deps

The full Rust package command was intentionally stopped after it began a second long rerun; the first full run reached the TypeScript kit dependency gaps above, those were fixed locally with npm ci in the affected kit dirs, and the failed tests were rerun directly.

@coderabbitai
Copy link
Copy Markdown

coderabbitai Bot commented May 29, 2026

Warning

Review limit reached

@TSavo, we couldn't start this review because you've reached your PR review rate limit.

More reviews will be available in 21 minutes and 24 seconds. Learn how PR review limits work.

Your organization has run out of usage credits. Purchase more in the billing tab.

⌛ How to resolve this issue?

After more reviews become available, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans include higher PR review limits than trial, open-source, and free plans. In all cases, reviews become available again over time. During sustained high-volume PR review activity, CodeRabbit may temporarily slow when the next review becomes available.

Please see our Fair Usage Limits Policy for further information.

ℹ️ Review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: 199f18bb-fe5b-4e45-9ed3-51f029989539

📥 Commits

Reviewing files that changed from the base of the PR and between fdfeb9f and ca671e7.

📒 Files selected for processing (90)
  • SHARED-LANGUAGE.md
  • docs/audits/2026-05-17-concept-library-completeness-probe-operation-layer.md
  • docs/audits/2026-05-17-concept-library-completeness-probe.md
  • docs/audits/2026-05-18-760-registry-as-authority-status.md
  • docs/audits/2026-05-18-bootstrap-922-next-phase-readiness.md
  • docs/audits/2026-05-18-kit-as-substrate-participant-vision.md
  • docs/audits/2026-05-18-libprovekit-lift-lower-inventory.md
  • docs/audits/2026-05-18-open-issue-triage.md
  • docs/audits/2026-05-18-pep-1-7-status-and-drift.md
  • docs/audits/2026-05-18-r14-reframe-scope-audit.md
  • docs/audits/2026-05-19-d6-decomposition.md
  • docs/audits/2026-05-25-architecture-ground-truth.md
  • docs/explanation/value-tier-op-family.md
  • docs/plans/2026-05-17-r14-floor-ceiling-registration-tiers.md
  • docs/plans/2026-05-17-realization-tag-kinds-and-marketplace-ruling.md
  • docs/plans/2026-05-19-concept-hub-language-signature-ruling.md
  • implementations/java/.provekit/config.toml
  • implementations/java/provekit-lift-java-source/src/main/java/com/provekit/lift/java_source/JavaBindLifter.java
  • implementations/java/provekit-lift-java-source/src/main/java/com/provekit/lift/java_source/JavaSourceLifter.java
  • implementations/java/provekit-lift-java-source/src/test/java/com/provekit/lift/java_source/JavaSourceLifterTest.java
  • implementations/python/.provekit/config.toml
  • implementations/python/provekit-lift-python-source/src/provekit_lift_python_source/lifter.py
  • implementations/python/provekit-lift-python-source/tests/test_lifter.py
  • implementations/rust/libprovekit/src/core/bind.rs
  • implementations/rust/libprovekit/src/core/mod.rs
  • implementations/rust/libprovekit/src/core/path_executor.rs
  • implementations/rust/libprovekit/src/core/walks.rs
  • implementations/rust/libprovekit/src/exam_manifest.rs
  • implementations/rust/libprovekit/src/lib.rs
  • implementations/rust/libprovekit/tests/bind_kit.rs
  • implementations/rust/libprovekit/tests/exam_manifest_smoke.rs
  • implementations/rust/libprovekit/tests/fixtures/exam_manifest/v1.example.json
  • implementations/rust/libprovekit/tests/lower_claim_bind_result.rs
  • implementations/rust/provekit-cli/src/cmd_bind.rs
  • implementations/rust/provekit-cli/src/cmd_plugin.rs
  • implementations/rust/provekit-cli/src/kit_dispatch.rs
  • implementations/rust/provekit-cli/src/project_config.rs
  • implementations/rust/provekit-cli/src/sort_morphism_catalog.rs
  • implementations/rust/provekit-cli/tests/cmd_bind_integration.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_go_testify.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_go_testing.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_java_junit.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_java_testng.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_python_pytest.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_python_unittest.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_rust_cargo_test.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_scala_scalatest.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_swift_xctest.rs
  • implementations/rust/provekit-cli/tests/cmd_emit_typescript_vitest.rs
  • implementations/rust/provekit-cli/tests/cmd_verify_swift_production_bridge.rs
  • implementations/rust/provekit-cli/tests/cmd_verify_typescript_production_bridge.rs
  • implementations/rust/provekit-cli/tests/cmd_verify_zig_production_bridge.rs
  • implementations/rust/provekit-cli/tests/exam_manifest_dispatch_test.rs
  • implementations/rust/provekit-cli/tests/federation_handshake_test.rs
  • implementations/rust/provekit-ir-types/src/lib.rs
  • implementations/rust/provekit-ir-types/tests/exam_manifest_serde.rs
  • implementations/rust/provekit-ir-types/tests/platform_semantics_mementos.rs
  • implementations/rust/provekit-ir-types/tests/transport_gap_serde.rs
  • implementations/rust/provekit-plugin-loader/src/cid.rs
  • implementations/rust/provekit-plugin-loader/src/registry.rs
  • implementations/rust/provekit-walk/src/bin/walk_rpc.rs
  • implementations/scala/.provekit/config.toml
  • implementations/typescript/src/legacy-ontology-removal.test.ts
  • menagerie/concept-shapes/README.md
  • menagerie/concept-shapes/catalog/index.json
  • menagerie/concept-shapes/exams/.gitkeep
  • menagerie/concept-shapes/exams/v1.1.blake3-512:b38426ba10ee3a6c28e9e32cae9aa65cfb5b750950464d1e67e9d669956bd40288d25c247d0ec2d638fd63e2d235d944f419055c0374c78488b4be98da040451.json
  • menagerie/concept-shapes/exams/v1.blake3-512:0e012db4ce35b235b8482344795ccbe8bccad51522825b5c495a862648736936497b11a940cf0ba9170ee6202849e9a8dc9eca5cb3021261ffa2f4ac4df6edc1.json
  • menagerie/concept-shapes/scripts/mint_exam_manifest.py
  • menagerie/concept-shapes/scripts/mint_remaining_sort_morphisms.py
  • menagerie/concept-shapes/scripts/mint_sort_classification_gaps.py
  • menagerie/concept-shapes/scripts/mint_sort_morphisms_to_concept_hub.py
  • menagerie/concept-shapes/scripts/regenerate_catalog_index.py
  • menagerie/concept-shapes/specs/exam-manifest_shape.spec.json
  • menagerie/concept-shapes/specs/sort-instance_exam_manifest_memento.spec.json
  • menagerie/concept-shapes/specs/sort-instance_exam_question.spec.json
  • menagerie/concept-shapes/specs/sort-instance_exam_question_kind.spec.json
  • menagerie/concept-shapes/tests/test_concept_library_completeness_probe.py
  • menagerie/concept-shapes/tests/test_exam_manifest_generator.py
  • menagerie/concept-shapes/tests/test_exam_manifest_schema_v1_1.py
  • menagerie/concept-shapes/tests/test_sort_morphisms_to_concept_hub.py
  • menagerie/smoke-test-e2e/driver/src/cluster.rs
  • menagerie/smoke-test-e2e/driver/src/main.rs
  • protocol/provekit-ir.cddl
  • protocol/specs/2026-05-12-plugin-protocol.md
  • protocol/specs/2026-05-14-transport-gap-and-partial-morphism-protocol.md
  • protocol/specs/2026-05-16-exam-manifest-memento.md
  • tools/concept-library-completeness-probe-operation-layer.py
  • tools/concept-library-completeness-probe.py
  • tools/concept_library_completeness_probe_lib.py
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch codex/acquaint-20260529-115526

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

@TSavo TSavo marked this pull request as ready for review May 29, 2026 20:44
@TSavo TSavo force-pushed the codex/acquaint-20260529-115526 branch from 9ecb755 to ca671e7 Compare May 29, 2026 20:44
@TSavo TSavo merged commit 3befbb7 into main May 29, 2026
1 of 6 checks passed
@TSavo TSavo deleted the codex/acquaint-20260529-115526 branch May 29, 2026 20:45
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