Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
12ae7ec
feat(ci): add pre-ci discipline gate simulation
kenanay Mar 5, 2026
77689fb
docs(arch): add ABDF+BCIB+Phase-11 contract matrix
kenanay Mar 6, 2026
fd03dd3
docs(arch): refine contract matrix based on architectural review
kenanay Mar 6, 2026
bd99617
docs(arch): add runtime state machine specification
kenanay Mar 6, 2026
2edad1e
docs(arch): add Phase-11 event taxonomy + refine contract matrix
kenanay Mar 6, 2026
035d763
spec(phase11): add verification substrate requirements
kenanay Mar 6, 2026
a8f8db0
docs(phase11): normalize taxonomy/contracts and align requirements
kenanay Mar 6, 2026
d972e79
spec(phase11): add design and task plan for verification substrate
kenanay Mar 6, 2026
7f56c2e
spec(phase11): enforce doc sync, owner metadata, and sec/perf controls
kenanay Mar 6, 2026
2db4fc8
feat(phase11): implement P11-01 mailbox capability contract and negat…
kenanay Mar 6, 2026
771ff25
feat(phase11): bootstrap P11-03 ledger hash-chain integrity gate
kenanay Mar 6, 2026
6ce2e21
feat(phase11): bootstrap P11-10 deol sequence ordering gate
kenanay Mar 6, 2026
ab31ab8
feat(phase11): bootstrap ETI transcript layer and CI verification gat…
kenanay Mar 6, 2026
93ad133
fix(phase11): add fail-closed input guards for ETI binding/integrity …
kenanay Mar 6, 2026
79e3d4e
feat(phase11): bootstrap P11-14 DLT monotonicity and ETI binding gate…
kenanay Mar 6, 2026
7c405e9
feat(phase11): harden #44 bootstrap DLT determinism and verification …
kenanay Mar 6, 2026
e90e10e
feat(phase11): bootstrap #45 GCP finalization contract gate
kenanay Mar 6, 2026
d430bdb
feat(phase11): harden #45 bootstrap GCP hash identity and boundary
kenanay Mar 6, 2026
66c68fa
test(phase11): add DLT corruption property matrix
kenanay Mar 6, 2026
096fd18
feat(phase11): implement #47 ABDF snapshot identity gate
kenanay Mar 6, 2026
453cbd4
fix(phase11): re-read ABDF snapshot for hash recompute check
kenanay Mar 6, 2026
f61fdad
feat(phase11): implement #48 BCIB trace identity gate
kenanay Mar 6, 2026
e868b19
feat(phase11): implement #37 replay determinism gate
kenanay Mar 6, 2026
fc4dd54
feat(phase11): implement #41 KPL proof manifest verification gate
kenanay Mar 6, 2026
77d8217
feat(phase11): implement P11-42 proof bundle portability gate
kenanay Mar 7, 2026
ef5df6a
kernel: fix Phase10 ring3 BP classification
kenanay Mar 7, 2026
9cb2171
docs(phase11): add Phase12 distributed proof draft
kenanay Mar 7, 2026
bf6067d
docs: add Phase10/11 local closure report
kenanay Mar 7, 2026
fe9031d
docs: sync closure status surfaces after Phase10/11 local closure
kenanay Mar 7, 2026
e205f2f
phase12: add parity diagnostics and sync truth surfaces
kenanay Mar 10, 2026
01d1cb5
phase12: add proofd observability and authority diagnostics
kenanay Mar 10, 2026
c28029e
docs(architecture): build distributed verification theory corpus
kenanay Mar 13, 2026
2fa2db1
chore: sync all local changes to main - phase12 closure, diversity ga…
kenanay Mar 13, 2026
6228fd2
Merge branch 'main' into feat/phase11-abdf-snapshot-identity
kenanay Mar 14, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -79,3 +79,6 @@ userspace/minimal/.mode.*
# Local agent/spec workspace artifacts
.kiro/
AYKENOS_PROJE_GENEL_YAPI_VE_MIMARI_RAPORU.md

# local experiments
_wip_local/
Loading
Loading