ha-production-gate/docs/DUAL_REFUSE.md at main · StanByriukov02/ha-production-gate · GitHub
//blob/show" data-turbo-transient="true" />
Skip to content
Search or jump to...
Search code, repositories, users, issues, pull requests...
-->
Search
Clear
Search syntax tips
Provide feedback
--><br>We read every piece of feedback, and take your input very seriously.
Include my email address so I can be contacted
Cancel
Submit feedback
Saved searches
Use saved searches to filter your results more quickly
-->
Name
Query
To see all available qualifiers, see our documentation.
Cancel
Create saved search
Sign in
//blob/show;ref_cta:Sign up;ref_loc:header logged out"}"<br>Sign up
Appearance settings
Resetting focus
You signed in with another tab or window. Reload to refresh your session.<br>You signed out in another tab or window. Reload to refresh your session.<br>You switched accounts on another tab or window. Reload to refresh your session.
Dismiss alert
{{ message }}
StanByriukov02
ha-production-gate
Public
Notifications<br>You must be signed in to change notification settings
Fork
Star
FilesExpand file tree
main
/DUAL_REFUSE.md
Copy path
Blame<br>More file actions
Blame<br>More file actions
Latest commit
History<br>History<br>History
34 lines (22 loc) · 1.14 KB
main
/DUAL_REFUSE.md
Copy path
Top
File metadata and controls<br>Preview
Code
Blame
34 lines (22 loc) · 1.14 KB
Raw<br>Copy raw file<br>Download raw file
OutlineEdit and raw actions
Dual refuse — method (public)
Claim class: soft teaching referee — not field MEASURED
Repo: https://github.com/StanByriukov02/ha-production-gate
Claim
Before treating a physics claim as green on a teaching stack:
Safe → physics gate ALLOW
Hostile → same gate REFUSE (current_allowed=false)
Decision from Rust ha-physics-gate (emit/validate) — no pure-Python PASS if the bin is missing
Named honesty (ε) on the receipt
Dual JSON available after the run (kit outside the git tree on this machine)
If Hostile still allows, the ritual fails.
Run
git clone https://github.com/StanByriukov02/ha-production-gate.git<br>cd ha-production-gate<br>./scripts/bootstrap.sh # Windows: .\scripts\bootstrap.ps1
Expect PRODUCTION_GATE_RITUAL_PASS. Board + examples: examples/.
Honesty
Soft teaching Dual · not field MEASURED · not HIL · not OTP · seal flag on receipt ≠ TPM · CLI ritual (README desk image is companion visual only).
Falsifiers
See the board after a run, or examples/PRODUCTION_GATE_BOARD_SAMPLE.md.
You can’t perform that action at this time.