Skip to content

Commit 1b35d3f

Browse files
authored
docs(horae): Refresh ADR index
Provider verification passes: verify and supply-chain run 31797039383. The external recurseml analysis check reports an analyzer error for the documentation-only diff and remains report-only. CodeRabbit is rate-limited and marked pass. Scoped ADR generator equality passes in the Atlas overlay.
2 parents 41dcf00 + cb226ad commit 1b35d3f

4 files changed

Lines changed: 9 additions & 1 deletion

File tree

backlog.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,9 @@ CFDrs, helios) and the domain layer.
3636
`gamma_4` bound. Evidence: large-magnitude event regression and policy
3737
rounding-bound test.
3838

39+
- [x] [patch] Refresh the generated ADR index from ADR 0001's existing
40+
canonical status header; no decision content changes.
41+
3942
- [x] [minor] Subcycle policy: nested time refinement with a bounded
4043
subcycling budget and rounded parent/child time alignment. Evidence: `subcycling`
4144
suite.

checklist.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,8 @@
1919
reported event instant authoritative, and test the large-magnitude case.
2020
- [x] Replace the subcycle bit-identity claim with the derived ratio-three
2121
`gamma_4` reconstruction bound in code, tests, and book text.
22+
- [x] Regenerate the ADR index from the existing canonical `Status: Accepted`
23+
header for ADR 0001.
2224

2325
## Open (not locally actionable)
2426

docs/adr/README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,4 @@
66

77
| ADR | Title | Status |
88
| --- | ----- | ------ |
9-
| [0001](0001-time-integration-boundary.md) | Own time-integration policy in Horae | |
9+
| [0001](0001-time-integration-boundary.md) | Own time-integration policy in Horae | Accepted |

gap_audit.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,9 @@ policy documents and tests the derived `gamma_4` bound for its four rounded
1111
operations. The root Atlas backlog owns the cross-repository integration
1212
record.
1313

14+
The generated ADR index now records ADR 0001's existing `Accepted` status;
15+
the index is derived state and no decision content changed.
16+
1417
## Boundary
1518

1619
Horae owns typed simulation time, explicit tableaus, adaptive control, event

0 commit comments

Comments
 (0)