Skip to content

PSEUDOFS-AUDIT P6: record the INDEX §5.3 contradiction as closed (refs #32) - #280

Merged
vyskocilm merged 2 commits into
mainfrom
issue-32-r9-stale-flag
Aug 21, 2026
Merged

PSEUDOFS-AUDIT P6: record the INDEX §5.3 contradiction as closed (refs #32)#280
vyskocilm merged 2 commits into
mainfrom
issue-32-r9-stale-flag

Conversation

@vyskocilm

Copy link
Copy Markdown
Contributor

One of tracker #32's R9 doc corrections, verified done.

PSEUDOFS-AUDIT.md's P6 row flagged "Contradicts INDEX §5.3". INDEX §5.3 has since been corrected — it marks the old machine-id "so the sandbox cannot fingerprint the host" conclusion falsified and records boot_id/btime/uptime and the PCI/sound topology fingerprinting the host regardless; INDEX §5.2's headline already states the time namespace is not unshared by --unshare-all. The two documents now agree, so the flag pointed at a contradiction that no longer exists. Reworded to record the contradiction as CLOSED.

PSEUDOFS-AUDIT.md is the document that should not carry an unmeasured or stale claim; a dangling "these disagree" flag after the disagreement was resolved is exactly that.

No code change. One-line doc edit; the golden/test surface is untouched.

🤖 Generated with Claude Code

…(refs #32, R9)

The P6 row carried "Contradicts INDEX §5.3". INDEX §5.3 has since been corrected:
it marks the old machine-id "so the sandbox cannot fingerprint the host" claim
falsified and records that boot_id, btime/uptime and the PCI/sound topology
fingerprint the host regardless, and INDEX §5.2's headline already states the
time namespace is not unshared by --unshare-all. So the two documents now agree;
the flag pointed at a contradiction that no longer exists. Reworded to say the
contradiction is closed rather than open, so the audit stops asserting a
disagreement that was already resolved. One of tracker #32's R9 doc corrections.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@vyskocilm
vyskocilm merged commit 022410b into main Aug 21, 2026
5 checks passed
@vyskocilm
vyskocilm deleted the issue-32-r9-stale-flag branch August 21, 2026 16:44
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