Repository navigation

feat: begin snapshot-bound verification planning - #2

Open

GTrunSec wants to merge 69 commits into

mainfrom

agent/software-engineering-mainline

Open

feat: begin snapshot-bound verification planning#2
GTrunSec wants to merge 69 commits into
mainfrom
agent/software-engineering-mainline

Commits on Sep 23, 2026
- Start snapshot-bound verification planning in Aitia
  GTrunSec
  committed
  2e69ec3
- Constrain assurance obligation evidence kinds
  GTrunSec
  committed
  dbd4e95
- Order verification obligations with POO Flow Graph
  GTrunSec
  committed
  96dd131
- Bind verification obligations to exact snapshot context
  GTrunSec
  committed
  5684df6
- Preserve independent verification branches across dependency cycles
  GTrunSec
  committed
  05544ef
- Expose every blocked verification cycle in plans
  GTrunSec
  committed
  94a3ebc
- Derive inert replacement obligation requirements
  GTrunSec
  committed
  3658d9e
- Explain declared verifier choices without execution
  GTrunSec
  committed
  50bbfed
- Require independent obligations for composed claims
  GTrunSec
  committed
  979daf8
- Avoid Darwin cross-module keyword symbol crash
  GTrunSec
  committed
  95bcf24
- Prove independent composition obligation boundary
  GTrunSec
  committed
  3c75da8
- feat(assurance): bind explicitly declared replacement obligations
  GTrunSec
  committed
  33c4426
- ci: consume POO Flow test exit-status pin
  GTrunSec
  committed
  9d3a852
- ci: pin source-complete POO Flow test mechanism
  GTrunSec
  committed
  50ae06f
- assurance: classify verifier outcomes before evidence admission
  GTrunSec
  committed
  ed16837
- assurance: require sealed verifier support for current evidence
  GTrunSec
  committed
  0f7a827
- Make sealed support admission the sole public API
  GTrunSec
  committed
  b3247df
- Reject forged verification adapters in assurance checks
  GTrunSec
  committed
  6b1476b
- Close pure Phase 3 planning with exact replay receipt
  GTrunSec
  committed
  611df23
- Add bounded assurance lifecycle TLA model and counterexamples
  GTrunSec
  committed
  608525c
- Check conditional assurance lifecycle progress with TLC
  GTrunSec
  committed
  742291f
- Bind assurance verification to configured Host capability
  GTrunSec
  committed
  9ea6385
- Issue source-bound Host admissions without snapshot mutation
  GTrunSec
  committed
  e2bc828
- Reject noncanonical Host snapshots before admission
  GTrunSec
  committed
  e955a88
- Bind Host admissions to current assurance support edges
  GTrunSec
  committed
  1416c28
- Assess Host-backed claim support requirements without authority
  GTrunSec
  committed
  c105cea
- Bind undecided Decisions to current Host preflight
  GTrunSec
  committed
  af032f8
- Project current Decision preflights into Cedar requests
  GTrunSec
  committed
  7814032
- Mark Aitia Cedar requests as preflight-only
  GTrunSec
  committed
  d5fedd4
- Recheck Host-issued Cedar requests at current source cut
  GTrunSec
  committed
  d14f7bb
- Require source-bound Cedar capability for future Aitia release
  GTrunSec
  committed
  ad2abff
- Add POO-native SDLC design contract review
  GTrunSec
  committed
  1d1ddc1
Commits on Sep 24, 2026
- Bind SDLC design guarantees to assurance source snapshots
  GTrunSec
  committed
  4b2bfbb
- Project design guarantees onto current Host support
  GTrunSec
  committed
  891467b
- Bind SDLC support review to supplied source bytes
  GTrunSec
  committed
  eb84d0a
- Model NASA NPR 7150.2 as stable SDLC profile family
  GTrunSec
  committed
  9ed4026
- Bind NASA GitOps checks to selected standard edition and source lock
  GTrunSec
  committed
  5e314d3
- Make source-bound Host admissions fail closed on byte drift
  GTrunSec
  committed
  f5328fd
- Bind source-reader verification to Host-materialized inputs
  GTrunSec
  committed
  32dc5d3
- Qualify installed Python verifier with job executor and TLC contracts
  GTrunSec
  committed
  ed0d706
- Install locked wheel-test dependencies on a cold cache
  GTrunSec
  committed
  95f7394
- Keep Aitia native transport alive across Python calls
  GTrunSec
  committed
  d2960e1
- Run Python verifier from frozen source bytes
  GTrunSec
  committed
  b439af0
- Bound Python verifier output and stop timed-out process groups
  GTrunSec
  committed
  2bf1a64
- Scope AnyIO foundation to the full Aitia Python runtime
  GTrunSec
  committed
  6d62587
- Document full SDLC design and causal assurance workflows
  GTrunSec
  committed
  f343824
- Ground design judgments in historical cases and existing Cedar boundaries
  GTrunSec
  committed
  de65fa2
- feat(org): consume Orgize contract ABI in production Python runtime
  GTrunSec
  committed
  bc168ce
Commits on Sep 28, 2026
- feat(sdlc): add retirement assurance and Org workspace flow
  GTrunSec
  committed
  d42d2ae
- build(python): clean stale CFFI before native qualification
  GTrunSec
  committed
  49cbc5d
Commits on Oct 10, 2026
- Migrate Aitia formal models from TLA+ to Quint
  GTrunSec
  committed
  70a8d2e
- Adapt Aitia imports to POO Flow POO-native owners
  GTrunSec
  committed
  9367d7a
- Track latest POO Flow PR 34 revision in CI
  GTrunSec
  committed
  f0ba057
- Execute bounded retirement ingress through local Scheme Host
  GTrunSec
  committed
  cb3ed96
- Fix retirement Host lazy slots and reentrant handoff
  GTrunSec
  committed
  60a0764
- Reject reentrant starts with receipt and bound Host claims
  GTrunSec
  committed
  b373c36
- Qualify Aitia against latest parent Orgize pin
  GTrunSec
  committed
  cc243a7
Commits on Oct 11, 2026
Commits on Oct 16, 2026

Commits

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Commits on Sep 28, 2026

Commits on Oct 10, 2026

Commits on Oct 11, 2026

Commits on Oct 16, 2026