Skip to content

Add the typed requirement source model - #91

Merged
iperev merged 1 commit into
mainfrom
feature/requirement-source-v2-model
Aug 12, 2026
Merged

Add the typed requirement source model#91
iperev merged 1 commit into
mainfrom
feature/requirement-source-v2-model

Conversation

@iperev

@iperev iperev commented Aug 12, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add a private, representation-neutral v2 requirement source model
  • provide bounded deterministic admission, immutable projections, and exact metadata, reference, scenario, and relation semantics
  • bind the model to REQ-PROOFKIT-SPEC-024 and close SOURCE-MODEL-01 while leaving codec and cutover work separate

Proof

  • npm run check
  • go test -race ./internal/kernel/requirementsourcemodel -count=1
  • go vet ./internal/kernel/requirementsourcemodel
  • go tool staticcheck ./internal/kernel/requirementsourcemodel
  • 37 package tests bound to 37 selectors
  • self coverage: 70/70 requirements, 198 scenarios

Non-Claims

  • no source codec or persistence format is introduced
  • no public CLI or public package API is added
  • no existing requirement source is cut over
  • no package or registry release is performed

@iperev
iperev merged commit 2f6a58d into main Aug 12, 2026
9 checks passed
@iperev
iperev deleted the feature/requirement-source-v2-model branch August 12, 2026 02:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant