Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
120 commits
Select commit Hold shift + click to select a range
36e1744
feat(006): add bounded T079 Codex requests
TheHalfMoon Aug 21, 2026
3471256
test(006): add bounded T079 connected proof
TheHalfMoon Aug 21, 2026
0334153
test(006): register T079 connected proof
TheHalfMoon Aug 21, 2026
fa5c4f3
fix(006): restore canonical main registration baseline
TheHalfMoon Aug 21, 2026
9640699
test(006): register T079 focused proof
TheHalfMoon Aug 21, 2026
8a33152
fix(006): tighten T079 version parsing
TheHalfMoon Aug 21, 2026
864b3b6
style(006): rustfmt T079 connected proof
TheHalfMoon Aug 21, 2026
372b264
style(006): rustfmt T079 protocol additions
TheHalfMoon Aug 21, 2026
933d6da
fix(006): satisfy T079 Clippy event handling
TheHalfMoon Aug 21, 2026
891e5c8
fix(006): isolate T079 Codex environment surface
TheHalfMoon Aug 21, 2026
475d241
test(006): prove T079 environment isolation
TheHalfMoon Aug 21, 2026
a64a254
style(006): terminate T079 test source cleanly
TheHalfMoon Aug 21, 2026
6c7c056
style(006): rustfmt T079 Codex isolation
TheHalfMoon Aug 21, 2026
081998e
style(006): rustfmt T079 connected proof
TheHalfMoon Aug 21, 2026
6911eb3
fix(006): reconcile T079 independent review findings
TheHalfMoon Aug 21, 2026
dac222f
style(006): rustfmt T079 review reconciliation
TheHalfMoon Aug 21, 2026
7ab0def
fix(006): gate T079 proof builders to tests
TheHalfMoon Aug 21, 2026
005172c
fix(006): reconcile T079 cleanup review findings
TheHalfMoon Aug 21, 2026
5ee3eba
style(006): rustfmt T079 cleanup repair
TheHalfMoon Aug 21, 2026
02be977
fix(006): isolate T079 Codex launch environment
TheHalfMoon Aug 21, 2026
ab05100
style(006): rustfmt T079 launch isolation
TheHalfMoon Aug 21, 2026
46008bf
fix(006): bind T079 launch identity fail closed
TheHalfMoon Aug 22, 2026
abeacfd
style(006): rustfmt T079 handle binding
TheHalfMoon Aug 22, 2026
96a050d
fix(006): keep T079 cleanup bounded
TheHalfMoon Aug 22, 2026
86412a9
fix(006): clarify retained T079 executable handle
TheHalfMoon Aug 22, 2026
a14b4db
fix(006): apply rustfmt to T079 handle rename
TheHalfMoon Aug 22, 2026
c9a9e73
fix(006): close T079 prelaunch and process-scope gaps
TheHalfMoon Aug 22, 2026
a5e8069
fix(006): apply rustfmt to T079 process-scope repair
TheHalfMoon Aug 22, 2026
ebc7523
fix(006): bound T079 readers and deny process descendants
TheHalfMoon Aug 22, 2026
32cfb60
fix(006): correct T079 regression delimiter
TheHalfMoon Aug 22, 2026
0bffbe6
fix(006): apply rustfmt to T079 descendant regression
TheHalfMoon Aug 22, 2026
a869b5b
fix(006): scope Clippy allow to T079 process include
TheHalfMoon Aug 22, 2026
0cbdca6
fix(006): gate T079 Stdio import to Linux
TheHalfMoon Aug 22, 2026
d94beef
fix(006): keep T079 proof roots outside checkout
TheHalfMoon Aug 22, 2026
c3d2c75
style(006): rustfmt T079 checkout-safety repair
TheHalfMoon Aug 22, 2026
42fcf5f
noop
TheHalfMoon Aug 22, 2026
cbc771f
repair(006): restore T079 exact tree after accidental metadata write
TheHalfMoon Aug 22, 2026
e9128eb
fix(006): reconcile Codex 0.149 default config evidence
TheHalfMoon Aug 22, 2026
b09b480
fix(006): reject every unknown Codex config key
TheHalfMoon Aug 22, 2026
65dc30e
fix(006): bind Codex 0.149 feature defaults exactly
TheHalfMoon Aug 22, 2026
c1bb00a
fix(006): bind full Codex 0.149 config surface
TheHalfMoon Aug 22, 2026
379627c
fix(006): fail closed on unknown Codex notifications
TheHalfMoon Aug 22, 2026
cbca6bd
fix(006): bound T079 nested notification shapes
TheHalfMoon Aug 22, 2026
4ef65b8
fix(006): bind T079 pre-response notification identity
TheHalfMoon Aug 23, 2026
9dc110d
style(006): apply rustfmt to T079 ordering repair
TheHalfMoon Aug 23, 2026
46eebaf
fix(006): clear failed T079 request phase state
TheHalfMoon Aug 23, 2026
f4c1042
style(006): apply rustfmt to T079 error regression
TheHalfMoon Aug 23, 2026
0526260
fix(006): validate T079 nested field shapes
TheHalfMoon Aug 23, 2026
8f4dac6
fix(006): restore T079 JSON fixtures
TheHalfMoon Aug 23, 2026
0944893
style(006): apply rustfmt to T079 nested-shape repair
TheHalfMoon Aug 23, 2026
6ac22a1
fix(006): require complete T079 protocol shapes
TheHalfMoon Aug 23, 2026
8d997bf
style(006): apply rustfmt to T079 required-shape repair
TheHalfMoon Aug 23, 2026
0a17c74
fix(006): tighten T079 notification value validation
TheHalfMoon Aug 23, 2026
82cd9d5
style(006): apply rustfmt to T079 value validation repair
TheHalfMoon Aug 23, 2026
88a3b7c
fix(006): require unsigned T079 reasoning indices
TheHalfMoon Aug 23, 2026
72af50d
style(006): apply rustfmt to T079 reasoning index repair
TheHalfMoon Aug 23, 2026
68518a1
fix(006): require unsigned token usage counters
TheHalfMoon Aug 23, 2026
7490702
fix(006): admit exact bundled-bwrap config warning
TheHalfMoon Aug 23, 2026
75919b8
chore(006): restore T079-only review scope
TheHalfMoon Aug 23, 2026
09cf432
docs(006): document bounded config warning exception
TheHalfMoon Aug 23, 2026
fe22ddf
style(006): restore tasks final newline
TheHalfMoon Aug 23, 2026
22d8360
style(006): preserve canonical tasks bytes
TheHalfMoon Aug 23, 2026
8268fad
fix(006): disable Codex remote control during T079
TheHalfMoon Aug 24, 2026
eeffac9
fix(006): close T079 review isolation gaps
TheHalfMoon Aug 24, 2026
dd0103e
test(006): report T079 rejection metadata
TheHalfMoon Aug 24, 2026
90b26e6
perf(006): defer T079 rejection metadata parsing
TheHalfMoon Aug 24, 2026
1905787
fix(006): redact T079 rejection diagnostic identifiers
TheHalfMoon Aug 24, 2026
f7898f9
style(006): format T079 rejection diagnostics
TheHalfMoon Aug 24, 2026
f5554c0
docs(006): align T079 rejection diagnostic contract
TheHalfMoon Aug 24, 2026
934c829
docs(006): bind T079 diagnostic scope
TheHalfMoon Aug 24, 2026
a151788
docs(006): restore T080 path wording
TheHalfMoon Aug 24, 2026
0bb6cc2
test(006): classify T079 rejected notifications safely
TheHalfMoon Aug 24, 2026
e9f1c6d
style(006): format T079 Policy A regressions
TheHalfMoon Aug 24, 2026
dfa9d1e
docs(006): pin T079 diagnostic method classes
TheHalfMoon Aug 24, 2026
c3d987a
style(006): terminate T079 tasks file
TheHalfMoon Aug 24, 2026
d90483a
fix(006): close T079 Qodo review gaps
TheHalfMoon Aug 24, 2026
dc10843
fix(006): bind T079 preflight before version launch
TheHalfMoon Aug 25, 2026
9f0b422
style(006): rustfmt T079 preflight repair
TheHalfMoon Aug 25, 2026
d7051f5
spec: document T079 connected proof safety boundaries
TheHalfMoon Aug 26, 2026
aff5d24
test: preflight T079 connected proof platform
TheHalfMoon Aug 26, 2026
3c7ffbc
test: preserve T079 harness semantics around platform preflight
TheHalfMoon Aug 26, 2026
f819fa8
style: format T079 platform preflight tests
TheHalfMoon Aug 26, 2026
ea79041
docs: restore tasks EOF newline
TheHalfMoon Aug 26, 2026
1b0e719
fix(t079): close turn notification phase on completion
TheHalfMoon Aug 26, 2026
9b36814
docs(006): amend T079 rejection diagnostics
TheHalfMoon Aug 27, 2026
40c3bda
test(006): classify T079 terminal interaction rejection
TheHalfMoon Aug 27, 2026
80cf92a
fix(006): enforce single-shot T079 phase requests
TheHalfMoon Aug 27, 2026
284a77c
fix(006): cancel dependent T079 turn after thread failure
TheHalfMoon Aug 27, 2026
e20d252
style(006): format T079 dependent-failure regression
TheHalfMoon Aug 27, 2026
25fe1f9
fix(006): terminalize completed T079 turn
TheHalfMoon Aug 27, 2026
fe3b87d
fix(006): restore exact T079 fixture bytes
TheHalfMoon Aug 27, 2026
5bf81d5
fix(006): make T079 turn completion terminal
TheHalfMoon Aug 27, 2026
1fe0ecd
fix(006): restore exact T079 baseline after failed rewrite
TheHalfMoon Aug 27, 2026
6fe3d96
fix(006): keep completed T079 turn terminal
TheHalfMoon Aug 27, 2026
9ba0779
docs(006): pin T079 terminal completion invariant
TheHalfMoon Aug 27, 2026
c60f860
fix(006): disable Codex shell tool for T079 proof
TheHalfMoon Aug 27, 2026
6fa296d
fix(006): bound T079 App Server diagnostics
TheHalfMoon Aug 28, 2026
2a8b2d9
Fix 10 failing CI check(s): GitHub Actions: quality / 0_rust (macos-l…
coderabbitai[bot] Aug 28, 2026
6321493
fix(006): bind T079 turn to established thread
TheHalfMoon Aug 28, 2026
47466de
style(006): rustfmt T079 thread binding regression
TheHalfMoon Aug 28, 2026
eb5a951
test(006): bind T079 thread before turn request
TheHalfMoon Aug 28, 2026
3bbb9c1
fix(006): harden T079 connected proof terminality
TheHalfMoon Aug 28, 2026
17c5344
style(006): format T079 connected proof hardening
TheHalfMoon Aug 28, 2026
be28495
fix(006): harden T079 proof provenance
TheHalfMoon Aug 29, 2026
9f3c2c1
Fix 10 failing CI check(s): GitHub Actions: quality / 0_rust (ubuntu-…
coderabbitai[bot] Aug 29, 2026
f071fe8
fix(006): disable Codex apps in T079 proof
TheHalfMoon Sep 1, 2026
4c3c7cb
fix(006): restore T079 raw fixtures
TheHalfMoon Sep 1, 2026
9e22994
docs(006): record T079 Apps authority repair
TheHalfMoon Sep 1, 2026
4e4731d
chore(006): merge canonical main into T079 candidate
TheHalfMoon Sep 1, 2026
a461cea
fix(006): deny T079 post-launch executable replacement
Sep 2, 2026
95ebfd2
fix(006): close T079 x32 and final-answer gaps
Sep 2, 2026
d352b9a
spec(006): narrow T079 generic warning suppression
TheHalfMoon Sep 3, 2026
6151a37
fix(006): suppress T079 generic warning notification
TheHalfMoon Sep 3, 2026
44e6e4a
test(006): align T079 notification opt-out assertion
TheHalfMoon Sep 3, 2026
c6cbee8
docs(006): reconcile T079 Codex 0.149 text input wire shape
TheHalfMoon Sep 3, 2026
9f9c9c1
fix(006): align T079 Codex text input wire key
TheHalfMoon Sep 3, 2026
67505af
docs(006): decouple live evidence from implementation scheduling
TheHalfMoon Sep 5, 2026
6e3c855
fix(006): bind T079 passive user message to exact prompt
TheHalfMoon Sep 5, 2026
412dd48
style(006): format T079 prompt binding
TheHalfMoon Sep 5, 2026
8f875cc
merge(main): sync T079 candidate with canonical research main
TheHalfMoon Sep 5, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
@@ -0,0 +1,193 @@
# Spec 006 Tasks Amendment 001 — Live-Evidence Scheduling

Status: CANDIDATE UNTIL GUARDED LANDING

Authority basis: Constitution 1.1.0 Governance deviation/amendment process and Founder governance decision recorded on PR #80 in issue comment `5551657392`.

## Purpose

Spec 006 intentionally requires real local Codex, Claude, and Worker execution evidence for selected acceptance claims. The repository implementation for those surfaces can be deterministically implemented, tested, reviewed, and landed even when the designated physical runtime is temporarily unavailable to the execution session performing repository work.

The original task graph couples repository implementation scheduling to external runtime availability. That coupling can indefinitely freeze later deterministic implementation work without increasing the truthfulness of the required live evidence. This amendment removes only that scheduling deadlock. It does not reduce, replace, synthesize, or waive any live-runtime evidence requirement.

## Precedence and Scope

When this amendment becomes canonical, it is part of the Spec 006 Tasks package and supersedes only the dependency-scheduling statements in `tasks.md` that conflict with this document for T079, T080, and the real-runtime portion of T082.

All other `tasks.md` requirements remain unchanged, including every safety boundary, authorized-path boundary, protocol pin, exact-output requirement, review requirement, evidence-integrity rule, and non-authorization statement.

If this amendment and `tasks.md` can be read consistently, both apply. If they conflict only on whether missing physical-runtime evidence blocks the next repository implementation slice, this amendment controls.

## Two Evidence Lanes

For T079, T080, and the real-runtime portion of T082, maintain two distinct evidence lanes.

### IMPLEMENTATION_LANE

The implementation lane requires, on the exact candidate:

- only task-authorized implementation and deterministic test surfaces;
- repository `quality` SUCCESS and every other applicable deterministic/platform CI gate;
- focused deterministic tests registered and demonstrably executed;
- author correctness/safety/evidence-integrity review;
- Ponytail/YAGNI review;
- fresh independent substantive review bound to the exact candidate, or an explicitly valid review stack whose final delta reaches it;
- zero unresolved material findings;
- exact changed-file/scope reconciliation;
- no unauthorized dependency, runtime, protocol, credential, access, or authority expansion;
- guarded expected-head landing;
- post-merge canonical main/tree verification before the next implementation slice begins.

A successfully landed implementation lane may satisfy the repository-implementation dependency for the next task.

### LIVE_EVIDENCE_LANE

The live-evidence lane remains exactly the real-runtime acceptance evidence already specified by the owning task.

No implementation-lane result, CI result, mock, fixture, generic Linux container, GitHub-hosted runner, historical receipt, Agent claim, newly manufactured authentication route, newly provisioned remote execution route, or reviewer statement may substitute for live evidence.

Missing access to an already-qualified designated runtime is recorded as:

```text
LIVE_EVIDENCE_DEFERRED_EXTERNAL
```

It is not recorded as PASS.

## T079 Scheduling Amendment

T079 remains the first task allowed to send a real Codex prompt under its existing safety and one-shot rules.

The T079 implementation may be landed after `T079_IMPLEMENTATION_LANE=PASS` even when the designated real local Codex runtime is unavailable.

After guarded landing and post-merge verification:

```text
T079_IMPLEMENTATION_LANE=LANDED
T079_LIVE_EVIDENCE_LANE=OPEN_DEFERRED_EXTERNAL
T079_LIVE_PASS=NO
```

That state satisfies the implementation-order dependency for starting the T080 implementation slice. It does not mean original T079 live acceptance is closed.

The exact T079 live contract remains unchanged. A live attempt still requires separately valid attempt-time authority and a qualifying governed runtime. Any candidate/head movement invalidates candidate-bound live authorization as already specified.

## T080 Scheduling Amendment

T080 remains the first task allowed to send a real Claude prompt under its existing safety boundary.

The T080 implementation may be developed and landed after the T079 implementation lane is canonically landed, without requiring T079 live PASS first.

If a qualifying real Claude runtime is unavailable, T080 must remain:

```text
T080_LIVE_EVIDENCE_LANE=OPEN_DEFERRED_EXTERNAL
T080_LIVE_PASS=NO
```

A landed T080 implementation lane satisfies the implementation-order dependency for T081. It does not establish real Claude execution, native-session provenance, or any runtime capability claim.

## T081

T081 remains deterministic contract/handoff work. It may begin only after the T080 implementation lane is canonically landed and post-merge verified.

T081 does not convert deferred T079 or T080 live evidence into PASS and must preserve `Agent completion != verification/acceptance`.

## T082 Scheduling Amendment

T082 contains both deterministic implementation and a real Codex Worker edit acceptance requirement.

Its deterministic implementation lane may be developed and landed after T081 is canonically landed.

If the qualifying governed Worker runtime is unavailable, record:

```text
T082_WORKER_LIVE_EVIDENCE_LANE=OPEN_DEFERRED_EXTERNAL
T082_WORKER_LIVE_PASS=NO
```

A landed T082 implementation lane satisfies the implementation-order dependency for T083. It does not establish that a real Worker edit occurred.

The original T082 rules remain unchanged: exact Winds-owned worktree identity, explicit approval, bounded authority, no primary-checkout mutation, no automatic merge/push/PR, dirty/failed state preservation, and Agent completion remaining `AGENT_REPORTED` until independent Git/evidence observation.

## T083–T085

T083, T084, and T085 continue in their existing dependency order using canonically landed implementation lanes as predecessor implementation dependencies.

They must preserve deferred live-evidence state explicitly and may not promote deferred or historical runtime evidence into current PASS.

Platform/runtime claims in T085 remain limited to actual evidence.

## T086 Final Reconciliation

T086 must reconcile both implementation and live-evidence lanes separately.

T086 may close the repository implementation program only when T070–T085 implementation requirements are canonically reconciled and all deterministic/review/landing gates pass.

T086 MUST NOT claim a live Codex, Claude, or Worker capability whose required live-evidence lane is still deferred.

If any live-evidence lane remains deferred, final state must distinguish repository implementation completion from live-capability acceptance, for example:

```text
SPEC_006_IMPLEMENTATION_PROGRAM=CLOSED_CANONICAL
SPEC_006_LIVE_RUNTIME_ACCEPTANCE=DEFERRED_EXTERNAL
T079_LIVE_PASS=NO
T080_LIVE_PASS=NO
T082_WORKER_LIVE_PASS=NO
```

The original `SPEC_006_FIRST_IMPLEMENTATION_PROGRAM=CLOSED_CANONICAL` marker may be used only for implementation-program closure and must be accompanied by explicit live-evidence state when any live lane is deferred.

A release, README, status page, or product claim may not represent a deferred live capability as proven. If final release acceptance requires those live capabilities, that release acceptance remains blocked until genuine evidence exists or a separately reviewed canonical scope amendment explicitly removes the capability from the release claim.

## Revised Implementation Dependency Chain

After this amendment is canonical:

```text
T078
-> T079_IMPLEMENTATION_LANE
-> T080_IMPLEMENTATION_LANE
-> T081
-> T082_IMPLEMENTATION_LANE
-> T083
-> T084
-> T085
-> T086
```

The live-evidence lanes remain separately open until genuinely satisfied:

```text
T079_LIVE_EVIDENCE_LANE
T080_LIVE_EVIDENCE_LANE
T082_WORKER_LIVE_EVIDENCE_LANE
```

## Explicit Non-Authorization

This amendment does not authorize:

- fabrication, inference, or reuse of stale live evidence;
- installing or updating Codex/Claude solely to manufacture acceptance evidence;
- credential read/copy/printing, login automation, terms acceptance, access/billing escalation, or synthetic authenticated homes;
- generic remote execution, a new remote-control path, MCP runtime, ACP v2, daemon/public IPC, plugin host, recursive fleet, or model gateway;
- primary-checkout mutation by an Agent;
- automatic winner selection, acceptance, merge, push, PR creation, force-clean, rebase, cherry-pick, or autonomous landing;
- weakening T079 one-shot semantics;
- treating deterministic CI as physical-runtime proof;
- treating an implementation-lane landing as a live-runtime PASS.

## Migration / Compatibility Impact

- Repository implementation scheduling changes only for the three explicitly identified real-runtime surfaces.
- Existing implementation, historical evidence, live receipts, and failed/consumed attempts remain historical and unchanged.
- Existing protocol/safety/security acceptance rules remain unchanged.
- Existing exact-head qualification becomes stale on any candidate that adds this amendment and must be rerun from scratch.
- Any previous T079 exact-head live authorization is invalid after candidate/head movement and must not be reused on the amended head.

## Acceptance of This Amendment

This amendment is not canonical merely because the Founder decision or this candidate file exists.

Before it can govern scheduling, the exact candidate containing it must satisfy the repository Standard Acceptance Gate, including deterministic CI, correctness/safety/evidence-integrity review, Ponytail/YAGNI review, fresh independent substantive exact-head review, zero unresolved material findings, exact scope reconciliation, guarded expected-head landing, and post-merge canonical verification.
Loading