marius/Open_Ultra_SAST
1
0
Fork 0
mirror of https://github.com/norandom/OpenUltraSAST.git synced 2026-11-13 17:58:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

feat(access-control-prover): persist canonical fact matches

Browse Source
This commit is contained in:
Marius Ciepluch
2026-11-01 17:24:50 +01:00
parent f739b39ead
commit 9b61e492e6
3 changed files with 396 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.kiro/specs/access-control-prover/tasks.md
+1 -1
View File
@@ -367,7 +367,7 @@ its final resolution, dominance, fact-acquisition and measurement semantics with
- _Requirements: 1.1, 1.5, 1.7, 2.9, 2.10, 13.2, 13.4_
- _Boundary: Entry Knowledge Migration_
- _Depends: 14.1, 14.2, 14.3, 14.4_
- [ ] 14.6 Add canonical structural-observation and fact-match persistence
- [x] 14.6 Add canonical structural-observation and fact-match persistence
- Provide the downstream write boundary that persists canonical `StructuralObservation` bytes and returns immutable references through a read-only resolver.
- Persist completed `fact_match_bytes` only after its observation references exist, then return the match reference without inserting a circular self-reference into the match digest.
- Done when stored observation and match bytes resolve canonically and byte or reference substitution is refused deterministically.