johndoe6345789 c04431a5e2 Update TLA+ specifications and validation scripts ...

- Revised architecture alignment in README.md to reference JSON package format.
- Enhanced SUMMARY.md with detailed specifications for workflow, collaboration, and integration systems.
- Updated package_system.tla to include JSON package format and manifest path.
- Modified validate-specs.sh to include package_system.tla in validation checks.

2026-01-03 00:11:12 +00:00

2.3 KiB

Executable File

Raw Permalink Blame History

View Raw