Skip to content

fix(graph): normalize Biology prerequisites and validate required learning - #117

Merged
enpasos merged 23 commits into
mainfrom
fix/g17-biology-assessment-basis
Nov 11, 2026
Merged

enpasos merged 23 commits into
mainfrom
fix/g17-biology-assessment-basis

Conversation

@enpasos

@enpasos enpasos commented Nov 10, 2026 •

Copy link
Copy Markdown
Owner

Biology's prerequisite normalization must preserve assessment seed eligibility and retain every necessary atom as an actual learning target. This change normalizes and transitively reduces the existing Biology requirements, preserves ten assessment applicability predicates through exact prior literal references, and enforces APV-102 against the actual backend learning projection.

The Biology data change affects 89 requires arrays and ten explicit applicability bases. The flat V8 proof retains the exact Chemistry V7 parent, 1,933 ordered operations and 79 continuations. APV-102 now checks emitted acquisition targets, visible definitions and completion inputs; source-country membership remains a separate check.

Delivery dependencies

Depends on #113, #114, #115 and #116, whose current heads are already integrated for testing. Those PRs remain separate deliveries and must land first. Their commits are consequently still visible in this PR's current diff. Chemistry #111 is already on main.

Validation

  • Actual Biology minimality CLI: 485 scoped nodes, 884 authored requirements, zero findings.
  • Actual public V8 loader: passed in 487.563 seconds; the subsequent regular milestone producer also verifies V8 using the final APV-102 compiler.
  • Native current-scope gate: 761 complete configurations checked across the 21-catalog inventory. Another 172 not-offered, 467 incomplete and 12 invalid cases are classified separately. This is not an exhaustive multi-subject powerset check.
  • Both deliberately damaged Biology projections fail the APV-102 emission gate and runtime prerequisite checks. Raw V8 negative cases and 23 source/applicability regressions pass.
  • Regular milestone producer and all ten protected floors pass: five M7 and five M6. Status content is unchanged except the generated timestamp and verified proof binding.
  • View validation passes with zero errors and zero active warnings; no new accepted-warning entries. Concept-document build and bound inputs pass.

Detailed evidence and acceptance boundaries.

Draft pending complete remote CI and dependency delivery. Enabling G17 in the standard milestone producer and correcting the remaining subjects remain subsequent parts of the active goal.

…um-prerequisite-closure

# Conflicts:
#	backend/src/test/java/com/skillpilot/backend/service/ProjectionRoleLearnerServiceTest.java
#	docs/concept/skill-graph/skillpilot-graph-definition.build.json
…t' into fix/personal-curriculum-prerequisite-closure

# Conflicts:
#	app/scripts/applicabilityCompiler.ts
…g17-biology-assessment-basis

# Conflicts:
#	backend/src/test/java/com/skillpilot/backend/completion/FirstMathPrerequisiteReductionTest.java
#	docs/concept/skill-graph/skillpilot-graph-definition.build.json
enpasos added a commit that referenced this pull request Nov 11, 2026
…pipeline

Since ef9db49 the dual-round resolution test builds its basis-bound
fixture through the Python release-model consumer. That import chain needs
the pinned jsonschema package (and its referencing dependency), which only
the Curriculum CI job installed. The frontend job therefore failed in
"Test learning-goal book contracts and publication" with
"ModuleNotFoundError: No module named 'referencing'" on every stack head
that reached the step (#118, #120, #121); on #117 the disk-reserve failure
hid it.

Set up Python 3.10 and install
scripts/curriculum_package_validation_requirements.txt directly before that
step, exactly as the Curriculum CI job does. No later frontend step invokes
Python.

Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
@enpasos
enpasos merged commit 8550c49 into main Nov 11, 2026
18 of 19 checks passed
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