Skip to content

docs: make consumer guidance integration-neutral - #5

Merged
kim-em merged 1 commit into
mainfrom
docs/remove-fc-consumer-guidance
Aug 25, 2026
Merged

docs: make consumer guidance integration-neutral#5
kim-em merged 1 commit into
mainfrom
docs/remove-fc-consumer-guidance

Conversation

@kim-em

@kim-em kim-em commented Aug 25, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • remove the Formal Conjectures-specific consumer direction from the package README
  • retain the generic ownership boundary for resolution, ranges, dependencies, fixtures, and source trees

Validation

  • git diff --check
  • local Markdown link validation
  • lake build
  • python3 tests/scripts/contract.py
  • lake build test_module_paths && lake env .lake/build/bin/test_module_paths
  • python3 -m py_compile tests/scripts/*.py

@kim-em
kim-em merged commit abea76e into main Aug 25, 2026
1 check passed
@kim-em
kim-em deleted the docs/remove-fc-consumer-guidance branch August 25, 2026 23:15
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