 freemo
|
e28f9a8597
|
Docs: Add resource DAG operational semantics, tool reachability, cross-mechanism coordination, container, and LSP resource type ADRs (036-040)
- ADR-036: Resource DAG Operational Semantics (10 purposes, sandbox boundary algebra)
- ADR-037: Tool Reachability and Access Projection (transitive reach, read/write routing)
- ADR-038: Cross-Mechanism Sandbox Coordination (coherence, write-then-sync, lazy materialization)
- ADR-039: Container and Execution Environment Resource Types (9 engine-agnostic types)
- ADR-040: Language Server Protocol Resource Types (lsp-server, lsp-workspace, lsp-document)
- Updated specification.md with 7 new subsections for operational semantics
- Updated resource_dag.md reference doc with operational semantics section
- Updated ADR-008, ADR-011, ADR-015, ADR-027 with cross-references
- Resolved merge conflicts from cherry-pick renumbering (033-037 -> 036-040)
- Fixed all stale display-text references across all files
|
2026-02-21 19:51:28 -05:00 |
|
|
freemo
|
a3f4fba659
|
Docs: Clarified purpose of LSP server in specification
|
2026-02-21 18:04:12 -05:00 |
|
|
freemo
|
571d476493
|
Docs: Added decision tree recording and other details to the doc along with related ADR
|
2026-02-21 18:04:07 -05:00 |
|
|
freemo
|
0265b8c712
|
Docs: Added JINJA2 details to docs
CI / benchmark-publish (pull_request) Has been skipped
CI / build (pull_request) Successful in 18s
CI / lint (pull_request) Successful in 21s
CI / quality (pull_request) Successful in 33s
CI / security (pull_request) Successful in 38s
CI / typecheck (pull_request) Successful in 38s
CI / coverage (pull_request) Has been cancelled
CI / unit_tests (pull_request) Has been cancelled
CI / integration_tests (pull_request) Has been cancelled
CI / benchmark-regression (pull_request) Has been cancelled
CI / docker (pull_request) Has been cancelled
|
2026-02-20 15:57:21 +00:00 |
|
|
freemo
|
24b475dcec
|
Docs: Normalized ADRs
CI / lint (push) Failing after 17s
CI / quality (push) Successful in 17s
CI / typecheck (push) Successful in 31s
CI / coverage (push) Has been skipped
CI / security (push) Successful in 32s
CI / build (push) Successful in 15s
CI / integration_tests (push) Successful in 4m5s
CI / unit_tests (push) Has been cancelled
CI / docker (push) Has been cancelled
|
2026-02-18 00:09:51 -05:00 |
|
|
freemo
|
740e08b2a4
|
Docs: Updated ADRs and specification to include details about standards
CI / lint (push) Successful in 17s
CI / typecheck (push) Successful in 31s
CI / security (push) Successful in 36s
CI / quality (push) Successful in 24s
CI / build (push) Successful in 19s
CI / integration_tests (push) Successful in 8m35s
CI / unit_tests (push) Successful in 16m16s
CI / coverage (push) Successful in 8m54s
CI / docker (push) Successful in 39s
|
2026-02-17 19:31:27 -05:00 |
|
 Jeffrey Phillips Freeman
|
96ceedbef4
|
Docs: Cleaned up ADR home page with better descriptions of content
CI / lint (push) Failing after 14s
CI / typecheck (push) Successful in 27s
CI / coverage (push) Has been skipped
CI / security (push) Successful in 28s
CI / quality (push) Successful in 16s
CI / unit_tests (push) Has been cancelled
CI / integration_tests (push) Has been cancelled
CI / build (push) Has been cancelled
CI / docker (push) Has been cancelled
|
2026-02-16 23:49:18 -05:00 |
|
|
Jeffrey Phillips Freeman
|
339b7de700
|
Docs: Added ADRs and improved TOC handling
CI / lint (push) Successful in 15s
CI / typecheck (push) Successful in 30s
CI / security (push) Successful in 24s
CI / quality (push) Successful in 16s
CI / integration_tests (push) Successful in 5m6s
CI / build (push) Successful in 15s
CI / unit_tests (push) Successful in 16m32s
CI / docker (push) Successful in 9s
CI / coverage (push) Has been cancelled
|
2026-02-16 22:11:01 -05:00 |
|
|
freemo
|
155a5d7819
|
Docs: Updated ADRs and referenced them from the specification
CI / typecheck (push) Waiting to run
CI / lint (push) Waiting to run
CI / security (push) Waiting to run
CI / quality (push) Waiting to run
CI / unit_tests (push) Waiting to run
CI / integration_tests (push) Waiting to run
CI / coverage (push) Blocked by required conditions
CI / build (push) Waiting to run
CI / docker (push) Blocked by required conditions
|
2026-02-16 18:53:06 -05:00 |
|