Repository navigation

[Reference] Collaborative textbook workflow implementation - #70

Closed

Deicyde wants to merge 137 commits into

mainfrom

feature/textbook-control-plane-20260829

Commits on Aug 30, 2026

Merge pull request #41 from VivienCabannes/hardening/repl-stderr-fairness
Deicyde
committed
d77263b
Merge pull request #42 from VivienCabannes/docs/repair-shipped-skill-contracts
Deicyde
committed
7e95267
Merge pull request #43 from VivienCabannes/feature/project-inspect-catalog
Deicyde
committed
1c91da8
Merge pull request #44 from VivienCabannes/feature/project-new-atomic
Deicyde
committed
da69ac6
Merge pull request #45 from VivienCabannes/feature/project-repair-conservative
Deicyde
committed
cf55f9b
Merge pull request #46 from VivienCabannes/hardening/lean-integration-gates
Deicyde
committed
1fd7d57
Merge pull request #47 from VivienCabannes/feature/project-aware-repl-imports
Deicyde
committed
4ec4aed
Merge pull request #49 from VivienCabannes/feature/import-keyed-repl-contexts
Deicyde
committed
4d1e0fc
[autoform] Scale graph and runtime traversal
Deicyde
committed
59eb293
[autoform] Publish rendered sites transactionally
Deicyde
committed
5f59799
[autoform] Close publication transaction races
Deicyde
committed
b72cd55
[autoform] Bind publication to verified source snapshots
Deicyde
committed
48f9d32
[autoform] Fence publication rollback generation
Deicyde
committed
a69a095
[autoform] Make publication commit irreversible
Deicyde
committed
72df56e
[autoform] Retain uncertain publication generations
Deicyde
committed
0306e43
[autoform] Describe publication commit precisely
Deicyde
committed
0dfae05
[autoform] Restore Graph pickles on Python 3.10
Deicyde
committed
9b6ff9c
[autoform] Fence collaborative claims by session
Deicyde
committed
983401b
[autoform] Close mixed-version claim races
Deicyde
committed
cecc56a
[autoform] Pin claim clocks and filesystem identity
Deicyde
committed
582845d
[autoform] Harden claim transport and migration
Deicyde
committed
da68694
[autoform] Bind blueprint claims to built artifacts
Deicyde
committed
054d973
[autoform] Verify exact Mathlib package provenance
Deicyde
committed
3988572
[autoform] Verify canonical Mathlib checkout
Deicyde
committed
b585956
[autoform] Reject rewritten Mathlib history
Deicyde
committed
20f9e66
[autoform] Expose fenced claim receipts
Deicyde
committed
807dbb1

Commits on Aug 31, 2026

[autoform] Isolate Mathlib Git inspection
Deicyde
committed
43dbc92
[autoform] Match claim repository object format
Deicyde
committed
425a3d3
[autoform] Verify remote claim object formats
Deicyde
committed
d1f27e3
[autoform] Cover remote claim format edge cases
Deicyde
committed
b064434
[autoform] Parse Git ref records by LF
Deicyde
committed
fdd927b
[autoform] Decode Git ref bytes losslessly
Deicyde
committed
85bf1cb
[autoform] Exercise packed non-UTF8 claim refs
Deicyde
committed
5222ad4
[autoform] Add backend-neutral orchestration overlay
Deicyde
committed
333c2a1
[autoform] Persist autonomous run state
Deicyde
committed
6fe5424
Add durable worktree and merge queue control plane
Deicyde
committed
2dd9511
[autoform] Bind execution to exhaustive source coverage
Deicyde
committed
06a4564
[autoform] Keep source artifacts out of publications
Deicyde
committed
7ad4fbd
[autoform] Normalize execution input failures
Deicyde
committed
4ca4356
[autoform] Harden coverage snapshots and publication
Deicyde
committed
577ec96
[autoform] Reject malformed v2 selectors
Deicyde
committed
d05153f
[autoform] Close coverage v2 snapshot gaps
Deicyde
committed
0b77ce6
[autoform] Parse case-sensitive YAML hex escapes
Deicyde
committed
aaeb6a1
Use durable article IDs for worker claims
Deicyde
committed
7a73ed1
Require proof metadata transition in worker prompt
Deicyde
committed
84719fc
Add fail-closed candidate admission gates
Deicyde
committed
913f193
Add independent candidate review contract
Deicyde
committed
a1f1945
Harden independent candidate review evidence
Deicyde
committed
46a2768
Bind reviewer evidence to admitted commits
Deicyde
committed
85693cb
Harden reviewer prompt transport
Deicyde
committed
4c6532b
[autoform] Add resumable controller ledger APIs
Deicyde
committed
68742b4
[autoform] Harden controller ledger recovery
Deicyde
committed
6074b71
[autoform] Seal controller ledger invariants
Deicyde
committed
6b10cdd
[autoform] Close ledger recovery invariants
Deicyde
committed
0cf2c76
Reject stale candidates and preserve v1 integration history
Deicyde
committed
a9b08fd
Harden replay and target adoption ledger
Deicyde
committed
0638326
Fence unresolved merge replays
Deicyde
committed
c401545
Expose unresolved replay recovery state
Deicyde
committed
7988f49
Harden replay recovery ledger invariants
Deicyde
committed
b470873
[autoform] Support Lean and Mathlib v4.33.0

toskua
authored and
Deicyde
committed
696635e
Ignore generated bytecode in template coverage test
Deicyde
committed
d1a2377
Isolate publication tests from Actions coordinates
Deicyde
committed
dd93e71

Commits on Sep 2, 2026

Require complete coverage for execution
Deicyde
committed
c0ee66d
Add safe attempt candidate commits
Deicyde
committed
14b9f6c
Harden candidate filesystem boundary
Deicyde
committed
51ca91b
Repair candidate recovery invariants
Deicyde
committed
8acbf33
Reject candidates with missing tree objects
Deicyde
committed
efea199
Harden candidate object verification
Deicyde
committed
550866b
Harden candidate creation and recovery invariants
Deicyde
committed
6a5a132
Expose coherent claim ownership fences
Deicyde
committed
462cfe2
Fence publication with article claim handoff
Deicyde
committed
1978588
Block duplicate work during queue handoff
Deicyde
committed
adeead2
Repair publication test doubles
Deicyde
committed
bb6c912
Recover stale merge queue publications
Deicyde
committed
cdefa8d
Harden remote merge queue recovery
Deicyde
committed
62abb52
Reject malformed remote ref observations
Deicyde
committed
4ef745c

Commits on Sep 3, 2026

Add durable execution task planning
Deicyde
committed
65a820b
Add redacted durable run status payload
Deicyde
committed
1aa7fb3
Adapt controller tests to persisted run settings
Deicyde
committed
5811190
Bind controller startup to atomic task plans
Deicyde
committed
13f249e
Poll durable stop requests independently
Deicyde
committed
d61a291
Plan controller recovery before mutation
Deicyde
committed
0451ade
Honor stop requests before candidate admission
Deicyde
committed
91330b2
Plan resumable candidate admission
Deicyde
committed
fe77c9c
Revalidate durable review evidence
Deicyde
committed
2273523
Advance candidate admission durably
Deicyde
committed
65ed0fe
Honor durable review evidence size limit
Deicyde
committed
3a023da
Cover passed candidate gate ordering
Deicyde
committed
a11ca75
Close candidate admission restart races
Deicyde
committed
c74d3cc
Bound fixed-gate command execution
Deicyde
committed
3e51daa
Fail closed without process isolation
Deicyde
committed
806d4d6
Contain fixed-gate subprocess descendants
Deicyde
committed
e9d33fe
Make gate cleanup failures authoritative
Deicyde
committed
d3f30f8
Harden fixed-gate invocation cleanup
Deicyde
committed
48a766a
Fail closed on tracked process errors
Deicyde
committed
16edb20
Bound durable stop monitor shutdown
Deicyde
committed
e11ba5a
Define hard gate provider identity
Deicyde
committed
079311b
Bind durable gate invocation requests
Deicyde
committed
861c3c7
Construct isolated Docker gate containers
Deicyde
committed
b7678f9
Attest Docker gate creation policy
Deicyde
committed
17c8350
Bind immutable gate repository packs
Deicyde
committed
49c2c1f
Frame isolated gate evidence
Deicyde
committed
ef6bd86
Materialize isolated gate inputs
Deicyde
committed
a8835e4
Build bounded repository packs for isolated gates
Deicyde
committed
cc44cb8
Repair isolated gate preflight invariants
Deicyde
committed
8fd3e4b
Publish gate packs without replacement
Deicyde
committed
7dd285e
Contain gate pack cleanup failures
Deicyde
committed
16e4089
Preserve gate pack cleanup precedence
Deicyde
committed
bf8e790
Wrap gate pack path inspection errors
Deicyde
committed
9809e09
Reject unencodable gate pack paths
Deicyde
committed
d790930
Bind Docker gate provider discovery
Deicyde
committed
ca9171b
Harden Docker gate provider discovery
Deicyde
committed
1ca017b
Add canonical gate runtime bundle contract
Deicyde
committed
73d6c2b
Harden Lake bundle manifest validation
Deicyde
committed
69c47e7
Repair gate bundle contract review findings
Deicyde
committed
3059f85
Reject invalid repository pack paths early
Deicyde
committed
0359e13
Resolve provider and bundle path validation
Deicyde
committed
ba812d4

Commits on Sep 4, 2026

[autoform] Add configurable multi-blueprint workspaces

toskua
authored and
Deicyde
committed
a4bbbb5
[autoform] Harden multi-blueprint workspace convergence
Deicyde
committed
33a2139
[autoform] Make workspace initialization fail closed
Deicyde
committed
a80a647
[autoform] Harden workspace publication bindings
Deicyde
committed
b069636
[autoform] Resolve workspace publication outcomes
Deicyde
committed
881a322
[autoform] Harden workspace recovery and model pinning
Deicyde
committed
36b0766
[autoform] Make workspace publication crash-durable
Deicyde
committed
fc23bcc
Bind created directories before durable publication
Deicyde
committed
d38584e
[autoform] Stage directory publication safely
Deicyde
committed
9642efa
[autoform] Complete staged directory portability checks
Deicyde
committed
336871a
[autoform] Reject staged directory aliases
Deicyde
committed
3efa9d6
Harden workspace root and scaffold bindings
Deicyde
committed
1497000
Harden workspace snapshots and publication paths
Deicyde
committed
1a52668
Lint the worker package
Deicyde
committed
9491ef0
Update worker fixtures for pinned identities
Deicyde
committed
b912654
Document current Autoform workflow
Deicyde
committed
00e34cd
Fix plugin installation and workspace usage docs
Deicyde
committed
4539426
Make consolidated tests portable and current
Deicyde
committed
6ad941a
Detect Docker socket inode reuse during discovery
Deicyde
committed
8ecee4d
Unify orchestration behind the Autoform CLI
Deicyde
committed
1cf2ca8