Repository navigation
Publish official-002 and protocol-025, and remove a tailnet name - #118
Merged
Merged
Conversation
Both runs were quoted in public while their records lived only on the run host. Their condition directories (and official-002's separate MemPalace pass, official-002-mp-*) and both endpoints files are now in results/, cfg/ excluded as for every run. All fifteen condition directories verify from their own sessions. The host home prefix is replaced by $HOME: 36,657 occurrences in 448 files. Re-derived from the records, protocol-025 is a little weaker than the figures quoted before (348 admitted cells, not 358; protocol vs bare -15 at p=0.082, not -17; recall vs protocol +18 at p=0.025, not +20). Same directions. docs/STATUS.md records both sets and says the records win. A network-identity scan found git's user@<host>.<tailnet>.ts.net identity, printed in an error by one MemPalace session, in official-003-present (published 2026-09-02) and in official-002-mp-present. Both are redacted to user@host.invalid; the diff on the published files is exactly that and official-003-present still verifies. tests/test_no_host_inventory.py now treats `.ts.net` as inventory, so it cannot come back unnoticed; it failed on the restored master file before the redaction and passes after. The old SHAs remain readable on GitHub until purged. docs/diagrams/ adds the pipeline diagram and its gitdiagram graph source. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
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
1 participant
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
official-002-mp-*) and protocol-025 (five conditions) were quoted in public while their records lived only on the run host. They are now inresults/,cfg/excluded. All fifteen condition directories verify from their own sessions. Host home prefix redacted to$HOME(36,657 occurrences, 448 files).protocolvsbare−15 at p=0.082 (not −17 at 0.053),recallvsprotocol+18 at p=0.025 (not +20 at 0.015). Same directions.docs/STATUS.mdrecords both and says the records win.official-003-presentprinted git'suser@<host>.<tailnet>.ts.netidentity in an error. Redacted here (the diff on the published files is exactly that substitution, and the run still verifies), andtests/test_no_host_inventory.pynow treats.ts.netas inventory. The old commits remain readable on GitHub until purged.docs/diagrams/: the pipeline diagram and its gitdiagram graph source.Test plan
python -m scripts.verify_runon all 15 new condition directories and onofficial-003-presenttests/test_no_host_inventory.py: fails on the restored masterofficial-003-present/records.jsonl, passes after redactionuvx ruff@0.16.2 check .🤖 Generated with Claude Code