PR 007 — Autoflow State Machine: commit-bound, pure orchestration state - #9

Merged

LogicDuke merged 24 commits into

mainfrom

pr-007/autoflow-state-machine

Aug 24, 2026

Commits on Aug 11, 2026

feat: add commit-bound Autoflow state machine

LogicDuke
and
claude
committed
7cfbfc9
Fix workflow trust-boundary validation
LogicDuke
committed
d4dd226
docs: clarify Autoflow rejection precedence

LogicDuke
and
claude
committed
a22eb52
Harden workflow state admission readers
LogicDuke
committed
56adfa9
fix: enforce current invocation commit binding

LogicDuke
and
claude
committed
f570ec6
fix: complete workflow snapshot and verdict validation

LogicDuke
and
claude
committed
e1d80f0
fix: harden workflow cardinality and temporal invariants

LogicDuke
and
claude
committed
2bd3191
fix: harden workflow list and temporal invariants

LogicDuke
and
claude
committed
b2c27ec
fix: close PR 007 final Codex workflow invariant findings

LogicDuke
and
claude
committed
8800805
test: reach frozen-list-gated assertions

LogicDuke
and
claude
committed
a03c0ef
fix: enforce sequence capacity across revision gaps

LogicDuke
and
claude
committed
ad14bbc
fix: reserve sequence slots for status transitions

LogicDuke
and
claude
committed
977d854

Commits on Aug 12, 2026

fix: account for HEAD slots in status chronology

LogicDuke
and
claude
committed
4aae023
fix: enforce bounded workflow chronology invariants

LogicDuke
and
claude
committed
808e8e9
fix: reserve final sequence slot for closed workflows

LogicDuke
and
claude
committed
c18569b
fix: account for terminal and gate slots in chronology

LogicDuke
and
claude
committed
a01f54d
fix: enforce revision sequence upper bound

LogicDuke
and
claude
committed
d6a73af
fix: count only human decisions that can clear a gate

LogicDuke
and
claude
committed
7587ad9

Commits on Aug 24, 2026

fix: insulate workflow descriptor objects

LogicDuke
and
claude
committed
8722376
Merge pull request #52 from LogicDuke/repair/pr009-workflow-descriptor-isolation
LogicDuke
authored
7131f4c
Merge main 556144b into PR 007 reconciliation

LogicDuke
and
claude
committed
5accbca
fix: fail closed on unreadable push force flag

LogicDuke
and
claude
committed
15a35cc
Merge pull request #54 from LogicDuke/repair/pr053-job-operation-force-unreadable
LogicDuke
authored
89ca7ba
Merge pull request #53 from LogicDuke/reconcile/pr009-main-556144b
LogicDuke
authored
2db44b0