 LeonSGPandLeonSGP43
|
3d0ce55fd7
|
docs(cookbook): add Change Management module notebook (#991)
* docs(cookbook): add Change Management module notebook
Add cookbook/introduction/24_Change_Management.ipynb covering the
change_management module with verified, executable examples:
- ChangeLogEntry with email-validated author field
- InMemoryVersionStorage save/get/list_all/exists/delete round trip
- named tags (save_tag/get_tag) for release pinning
- compute_checksum / verify_checksum integrity verification with
tamper detection
The change_management module currently has no cookbook coverage. All
API calls and outputs were executed against
semantica/change_management/change_log.py and version_storage.py.
Signed-off-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
* docs(cookbook): clarify outputs verified against repo source, not PyPI release
Signed-off-by: LeonSGP43 <leonsgp43@users.noreply.github.com>
* docs(cookbook): execute change management notebook in Jupyter (real kernel run, stream outputs, execution counts)
Signed-off-by: LeonSGP43 <cine.dreamer.one@gmail.com>
---------
Signed-off-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
Signed-off-by: LeonSGP43 <leonsgp43@users.noreply.github.com>
Signed-off-by: LeonSGP43 <cine.dreamer.one@gmail.com>
Co-authored-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
|
2026-08-27 13:00:36 +05:00 |
|
|
LeonSGPandLeonSGP43
|
b13cc1cca2
|
docs(cookbook): add Reasoning module notebook (#990)
* docs(cookbook): add Reasoning module notebook
Add cookbook/introduction/23_Reasoning.ipynb covering the reasoning
module with verified, executable examples:
- Reasoner facade: add_fact / add_rule / forward_chain
- one-shot infer_facts(facts, rules)
- backward_chain goal proving with premises
- re-run-safe rule deduplication (#732)
- DatalogReasoner: semi-naive fixpoint evaluation + variable queries
- ExplanationGenerator: Explanation / ReasoningPath records
The reasoning module currently has no cookbook coverage even though it
ships reasoning_usage.md in the package. All API calls and outputs were
verified against semantica/reasoning/reasoner.py,
datalog_reasoner.py, and explanation_generator.py.
Signed-off-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
* docs(cookbook): correct infer_facts semantics description (appends to instance state, no reset)
Signed-off-by: LeonSGP43 <leonsgp43@users.noreply.github.com>
* docs(cookbook): execute reasoning notebook in Jupyter (real kernel run, stream outputs, execution counts)
Signed-off-by: LeonSGP43 <cine.dreamer.one@gmail.com>
---------
Signed-off-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
Signed-off-by: LeonSGP43 <leonsgp43@users.noreply.github.com>
Signed-off-by: LeonSGP43 <cine.dreamer.one@gmail.com>
Co-authored-by: LeonSGP43 <LeonSGP43@users.noreply.github.com>
|
2026-08-27 12:55:02 +05:00 |
|