Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
3264047
Plan the downstream consumer boundary (12.1.1)
leynos Jun 7, 2026
b987852
Document OrthoConfig boundary states
leynos Jun 14, 2026
76af117
Add OrthoConfig consumer boundary matrix
leynos Jun 14, 2026
bfecd96
Link OrthoConfig boundary matrix from docs
leynos Jun 14, 2026
6dda698
Gate OrthoConfig boundary documentation
leynos Jun 14, 2026
6e7f307
Explain OrthoConfig boundary states to users
leynos Jun 14, 2026
d747396
Type boundary manifest test helpers
leynos Jun 14, 2026
3a3cca9
Extract boundary field constraint checks
leynos Jun 14, 2026
c73e831
Consolidate boundary state evidence checks
leynos Jun 14, 2026
291977a
Record boundary implementation completion
leynos Jun 15, 2026
48814d4
Enforce pending boundary review expiry
leynos Jun 15, 2026
9371c42
Harden docs gate boundary coverage
leynos Jun 20, 2026
7a89d00
Hide docs gate adapter details
leynos Jun 20, 2026
221e323
Make boundary review dates explicit
leynos Jun 21, 2026
6715922
Separate boundary manifest parsing
leynos Jun 21, 2026
da482ce
Deduplicate boundary error assertions
leynos Jun 21, 2026
92b02cc
Expose boundary manifest gate diagnostics
leynos Jun 21, 2026
26e9344
Add boundary manifest load observability
leynos Jun 21, 2026
59484ab
Expand boundary manifest review coverage
leynos Jun 21, 2026
3bf5657
Consolidate boundary manifest success recording
leynos Jun 21, 2026
8e8490e
Simplify boundary evidence property oracle
leynos Jun 21, 2026
e5f2631
Inline boundary manifest deserialization
leynos Jun 21, 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
2 changes: 2 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,8 @@ jobs:
run: uv tool install nixie-cli==1.0.0
- name: Mermaid lint
run: make nixie
- name: Boundary manifest gate
run: cargo test -p weaver-docs-gate --test boundary_manifest -- --nocapture
- name: Install Whitaker
run: |
cargo install --locked \
Expand Down
97 changes: 92 additions & 5 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 6 additions & 2 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,7 @@ members = [
"crates/sempai-yaml",
"crates/sempai",
"crates/weaver-cards",
"crates/weaver-docs-gate",
]
resolver = "2"

Expand All @@ -37,8 +38,9 @@ insta = "1.41"
lru = "0.12"
lsp-types = "0.97"
mockall = "0.14.0"
metrics = "0.24"
once_cell = "1.19"
ortho_config = "0.8.0"
ortho_config = { git = "https://github.com/leynos/ortho-config.git", rev = "4339a6f3c61dc4fed86493d99ffb05230bee2a1b" }
Comment thread
leynos marked this conversation as resolved.
predicates = "3.1"
proptest = "1.5"
rstest = "0.26.1"
Expand All @@ -52,8 +54,10 @@ sha2 = "0.10"
saphyr = "0.0.6"
tempfile = "3.10"
thiserror = "2.0"
time = { version = "0.3", features = ["formatting"] }
time = { version = "0.3", features = ["formatting", "macros", "parsing"] }
toml = "0.9.12"
tracing = "0.1"
trybuild = "1.0"
tree-sitter = "0.25.10"
tree-sitter-python = "0.25.0"
tree-sitter-rust = "0.24.0"
Expand Down
25 changes: 25 additions & 0 deletions crates/weaver-docs-gate/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
[package]
name = "weaver-docs-gate"
edition.workspace = true
version.workspace = true
rust-version.workspace = true
publish = false

[dependencies]
cap-std = { workspace = true }
camino = { workspace = true }
metrics = { workspace = true }
serde = { workspace = true }
thiserror = { workspace = true }
time = { workspace = true }
toml = { workspace = true }
tracing = { workspace = true }

[dev-dependencies]
insta = { workspace = true }
proptest = { workspace = true }
tempfile = { workspace = true }
trybuild = { workspace = true }

[lints]
workspace = true
45 changes: 45 additions & 0 deletions crates/weaver-docs-gate/examples/render_boundary_matrix.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
//! Regenerate the `OrthoConfig` consumer boundary matrix.
//!
//! This example is the documented command-line adapter for the crate's public
//! APIs. It loads `docs/orthoconfig-consumer-boundary.toml` with
//! `load_manifest_file`, renders the Markdown matrix with `render_matrix`, and
//! writes the result to the output path supplied by the caller.

use std::env;

use camino::Utf8Path;
use cap_std::{ambient_authority, fs::Dir};
use weaver_docs_gate::{load_manifest_file, render_matrix};

/// Regenerate a boundary matrix from a manifest path and output path.
fn main() -> Result<(), String> {
let mut args = env::args().skip(1);
let manifest_path = args
.next()
.ok_or_else(|| "usage: render_boundary_matrix <manifest> <output>".to_owned())?;
let output_path = args
.next()
.ok_or_else(|| "usage: render_boundary_matrix <manifest> <output>".to_owned())?;

if args.next().is_some() {
return Err("usage: render_boundary_matrix <manifest> <output>".to_owned());
}

let manifest =
load_manifest_file(Utf8Path::new(&manifest_path)).map_err(|error| error.to_string())?;
write_output(Utf8Path::new(&output_path), render_matrix(&manifest))
}

/// Write the regenerated matrix through a capability-oriented directory handle.
fn write_output(path: &Utf8Path, content: String) -> Result<(), String> {
let parent = path
.parent()
.ok_or_else(|| format!("invalid output path: {path}"))?;
let file_name = path
.file_name()
.ok_or_else(|| format!("invalid output path: {path}"))?;
let dir =
Dir::open_ambient_dir(parent, ambient_authority()).map_err(|error| error.to_string())?;
dir.write(file_name, content)
.map_err(|error| error.to_string())
}
Loading
Loading