Meta-hardening: legibility, security, invariant tests (zero runtime change)#7
Merged
Meta-hardening: legibility, security, invariant tests (zero runtime change)#7
Conversation
Added a security policy document outlining the scope, threat model, invariants, and reporting vulnerabilities for the stop-machine project.
This document outlines the decision flow for envelope evaluation by the conformance gate, including exit decision mapping, rule evaluation order, evaluation policies, and GateResult fields.
Document the architecture and data flow of the stop-machine.
This file contains cross-cutting invariant enforcement tests for the stop-machine, verifying structural invariants related to EXIT_ENUM consistency, StopMachine terminal-state enforcement, and gate boundary validations.
Added security policy, documentation, and tests. Updated CI workflow.
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.
Scope
Meta-hardening pass: legibility, security policy, and invariant test coverage.
Constraint: ZERO runtime semantic change. No edits to
stop_machine.py,gate.py,rules.py,envelope_parser.py, orprimitives/*.Changes
A) New files
SECURITY.mddocs/runtime-trace.mddocs/architecture-diagram.mdtests/__init__.pytests/test_invariant_enforcement.pyB) Modified files
CHANGELOG.md.github/workflows/ci.ymlRun invariant testsstep (python -m pytest tests/ -v)Invariant tests cover
StopMachineclass inprimitives/Gateclass in v0 primitive foldersanalysis/,docs/,artifacts/,examples/stop_machine.pydefines exactly{ALLOW, HOLD, DENY}statesSILENCEexitLICENSEandREADME.mdexist at repo rootVerification
main