Repository navigation
Complete Issue 016 blind relational completion audits - #53
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
H_KIas the sole inclusion-minimal constitution within the nine tested constitutions that reproduces all 24 full-group singleton completionsH_KIon all 24 handed queries, but only 24/48 unresolved internal pairs across the relevant component classtopographoto 0.8.6 and complete the 0.8.6 changelog entryScientific scope
These are deterministic finite, conditional-sufficiency results.
H_KIminimality is only within the declared nine-constitution lattice. Component preservation and local maximality are explicit completion constitutions, not consequences of observed disconnectedness. This PR makes no certified-target, necessity, unique-global-law, geometry, physics, or neural-learning claim.The final 016.11 bundle is published and read back at:
quilt+s3://protology#package=occurrence/gpt@fea7344ff904de590f00a25885cea4d07f0d6f1d85a9d461cdd8eed3191f6bdfValidation
python3 issues/016-global-relational-completion/016.05-Code-attachments/audit_symmetry_factors.py --verifypython3 issues/016-global-relational-completion/016.08-Code-attachments/audit_component_locality.py --verifypython3 issues/016-global-relational-completion/016.11-Code-attachments/audit_local_saturation.py --verifyuv lock --check.github/workflows/topographo.ymluv run --frozen pytest topographo/tests— 246 passed, 2 skippeduv run --frozen python -m pytest verify/— 27 passeduv run --frozen python verify/occurrence_i_audit.pyuv run --frozen python verify/occurrence_ii_audit.pyuv run --frozen python experiments/sedenion-machine/experiments.py --checkuv builduv run --frozen python .github/scripts/topographo_release.py verify-dist --dist-dir dist --version 0.8.6