Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
38 commits
Select commit Hold shift + click to select a range
977d268
test(browser): require semantic role-name evidence
seonghobae Aug 11, 2026
5f1f972
test(browser): verify computed role-name evidence
seonghobae Aug 11, 2026
a9402a1
test(browser): require real task resource evidence
seonghobae Aug 11, 2026
1a71860
test(browser): measure controlled task resource evidence
seonghobae Aug 11, 2026
adc263b
chore(browser): sync hardened fixture contract
seonghobae Aug 11, 2026
f231935
chore(browser): sync hardened fixture contract
seonghobae Aug 11, 2026
fa11155
test(browser): inherit Agent Task URL invariant
seonghobae Aug 11, 2026
7794a45
fix(browser): inherit current Agent Task URL invariant
seonghobae Aug 11, 2026
4708135
style(browser): preserve canonical final newline
seonghobae Aug 11, 2026
844ee45
chore(browser): reconcile semantic stack with current parent
seonghobae Aug 11, 2026
f82a3b2
chore(browser): align semantic evidence with current execution parent
seonghobae Aug 11, 2026
3fd3e4a
test(browser): require inherited URL invariance
seonghobae Aug 12, 2026
6586fd8
fix(browser): preserve URL invariant in resource evidence
seonghobae Aug 12, 2026
e0b5d43
chore(browser): align resource evidence with current semantic parent
seonghobae Aug 12, 2026
e874f5a
merge: align semantic role-name proof with current prerequisite
seonghobae Aug 15, 2026
d03d055
merge: align Agent Task resource evidence with current prerequisite
seonghobae Aug 15, 2026
585e900
merge: realign semantic role-name proof with current Agent Task prere…
seonghobae Aug 17, 2026
3671bbc
fix(stack): preserve current prerequisite tree in semantic role-name …
seonghobae Aug 17, 2026
0104bd9
merge: realign Agent Task resource evidence with current semantic pre…
seonghobae Aug 17, 2026
61c2fb8
Merge 3671bbcef2c6d2c7114b165af6f730cc9116883f into b35e97c08b37a2e6f…
seonghobae Aug 20, 2026
b898597
Merge current Agent Task cleanup contract into semantic evidence stack
seonghobae Aug 21, 2026
b116027
docs(browser): record semantic role evidence
seonghobae Aug 21, 2026
53fd5e2
Merge 0104bd92be53e7b6db1023dc03218f788880dce1 into 61c2fb8c2aeda5842…
seonghobae Aug 20, 2026
da99395
docs(browser): record Agent Task resource evidence
seonghobae Aug 21, 2026
2cf3f28
merge(stack): refresh semantic Agent Task evidence prerequisite
seonghobae Aug 26, 2026
94c9624
docs(browser): preserve semantic evidence changelog after stack refresh
seonghobae Aug 26, 2026
fa66590
merge(browser): realign resource evidence with current semantic prere…
seonghobae Aug 26, 2026
46c56cd
Merge current Agent Task prerequisite into semantic evidence
seonghobae Aug 28, 2026
edc032b
Merge commit '961f40f5bed683b2f17a20aaaf26908725cc161c' into agent/pr…
seonghobae Aug 28, 2026
54738f6
Merge commit '51967a9f28a32e08e68b87b4f6cd46f1f1104ec7' into agent/pr…
seonghobae Aug 28, 2026
087f552
Merge current semantic Agent Task prerequisite into resource evidence
seonghobae Aug 28, 2026
8b685c1
Merge commit '9be8d2517c73cb79d212e0b3d6d139e110eec5e9' into HEAD
seonghobae Aug 28, 2026
96d26ff
Merge commit '362af53351787d51a77938159c1d840804c8d2b2' into HEAD
seonghobae Aug 28, 2026
39625a0
merge: restack semantic role evidence on latest Chrome fix
seonghobae Aug 28, 2026
f86ce50
test: make semantic cleanup evidence non-vacuous
seonghobae Aug 28, 2026
f521ed7
Merge remote-tracking branch 'refs/remotes/origin/test/agent-task-sem…
seonghobae Aug 28, 2026
600d397
test: complete resource evidence cleanup fixture
seonghobae Aug 28, 2026
15e9920
chore(stack): converge resource evidence onto current Agent Task parent
seonghobae Aug 29, 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 CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,6 +10,7 @@ All notable changes to OriginWeave are documented in this file. The format follo
- Record truncated WebDriver trial responses as bounded failed-trial evidence instead of aborting the complete MV3 compatibility run.
- Close the first pinned-Chrome fixture server when startup of the second server fails, and attempt both shutdowns when one cleanup fails, preventing partial compatibility runs from leaking loopback server threads.
- The fixture-shutdown contract now exercises successful MV3 and Agent Task trial paths before asserting reverse-order server cleanup.
- The resource-evidence shutdown fixture now supplies complete semantic and measured resource surfaces before exercising reverse-order cleanup.
- The fixture-shutdown success double now includes both browser-computed semantic verification surfaces, so cleanup failures cannot mask incomplete Agent Task evidence.
### Added
- Corrected the 2026-08-26 product-gap snapshot with current #229 presentation-identity evidence, stacked-only #205 integration evidence, current base/head pairs, the 126-PR queue count, explicit root-versus-child merge ordering, and the active GitHub counted-approval gate.
Expand Down Expand Up @@ -43,6 +44,7 @@ All notable changes to OriginWeave are documented in this file. The format follo
- Cumulative interactive-first RAM, VRAM, batch, local-model, admission, pause, and compositor-pressure mitigation plans, including active-consumer reduction at exact hard limits.
- Real pinned-Chrome WebDriver evidence for the controlled Agent Task fixture: the CI lane uses an isolated profile, disables extensions, types and submits synthetic text, observes the same-document post-condition, and proves profile cleanup; this does not claim a shipped OriginWeave browser adapter.
- Active pinned-Chrome Agent Task evidence verifies browser-computed role/name for controlled input and submit targets before action; this remains test-harness semantic evidence and does not claim a product semantic observer or authority.
- Active pinned-Chrome Agent Task evidence records browser-process RSS, semantic-observation bytes, action latency, and task duration from bounded trusted adapter inputs; this remains test evidence and does not claim process-set attribution or product resource telemetry.
- Universally value-redacted network evidence with explicit path, metadata, and provenance bounds; ambiguous path rejection; validated source URLs; lowercase SHA-256 identifiers; and verification state.
- Versioned schema-bound extraction contracts with bounded identifiers and field counts, typed value/cardinality metadata, explicit duplicate-free reviewed source channels, fail-closed schema validation, and deterministic `Display`/`std::error::Error` contracts for public schema failures.
- Rust 1.97.1 build contract, strict Clippy and rustdoc gates, and exact production function, line, region, and branch coverage enforcement.
Expand Down
4 changes: 2 additions & 2 deletions docs/DOCUMENTATION_FITNESS.md
Original file line number Diff line number Diff line change
Expand Up @@ -164,9 +164,9 @@ Active #65 supplies a deterministic synthetic local web fixture with a labelled

### 3.20 Bounded browser process-set resource evidence

Active #51→#66 establishes two distinct layers: #51 owns single explicitly supplied Linux PID sampling and the bounded telemetry value boundary; #66 owns bounded duplicate-safe aggregation/sampling over an exact caller-owned PID set. #66's exact current contract rejects empty, zero-PID, duplicate, oversized and overflow states and fails closed if any member cannot be sampled.
Active #51→#66 establishes two distinct layers: #51 owns single explicitly supplied Linux PID sampling and the bounded telemetry value boundary; #66 owns bounded duplicate-safe aggregation/sampling over an exact caller-owned PID set. #66's exact current contract rejects empty, zero-PID, duplicate, oversized and overflow states and fails closed if any member cannot be sampled. Active PR #72 records browser-process RSS, semantic-observation bytes, action latency, and task duration for the controlled pinned-Chrome fixture from bounded trusted adapter inputs.

**Resolution:** aggregate resource measurement must not silently undercount a known caller-owned process set, but process membership remains an external attribution responsibility. The implementation does not discover Chromium PIDs, prove process ancestry/task ownership, walk cgroups, sample GPU/VRAM or create a durable telemetry store.
**Resolution:** aggregate resource measurement must not silently undercount a known caller-owned process set, but process membership remains an external attribution responsibility. PR #72 is bounded resource evidence for test repeatability; it does not discover Chromium PIDs, prove process ancestry/task ownership, walk cgroups, sample GPU/VRAM or create a durable telemetry store, and does not turn the fixture into a product resource adapter.

## 4. Durable product decisions captured by the canonical graph

Expand Down
6 changes: 6 additions & 0 deletions docs/TEST_STRATEGY.md
Original file line number Diff line number Diff line change
Expand Up @@ -90,6 +90,12 @@ controlled input and submit target before the real WebDriver action. CSS remains
a fixture-harness locator; this does not establish OriginWeave node authority,
semantic provenance or policy dispatch.

Active PR #72 additionally records bounded browser-process RSS,
semantic-observation bytes, action latency and task duration for the same
controlled fixture. These are test-harness resource evidence from trusted
adapter inputs; they do not establish Chromium process-set attribution,
GPU/VRAM telemetry or a product resource adapter.

### 3.5 Buyer acceptance

Versioned task packs measure repeatable product outcomes rather than one lucky agent run. The benchmark artifact records browser build, OriginWeave version, model/provider/reasoning configuration, seed where supported, policy profile, hardware profile and source fixtures.
Expand Down
15 changes: 12 additions & 3 deletions docs/traceability/action-postcondition-evidence.md
Original file line number Diff line number Diff line change
Expand Up @@ -71,6 +71,14 @@ PR #71 extends the pinned-Chrome fixture lane by reading WebDriver's browser-com

This is bounded browser-computed evidence for a synthetic test target, not the OriginWeave semantic observation adapter. CSS locators remain test-harness selectors, and the lane does not create OriginWeave node handles, source-channel provenance, policy authority, or permission to execute page-advertised actions.

### PR #72 — bounded Agent Task resource evidence

**Capability maturity:** `IMPLEMENTED_ON_ACTIVE_PR`

PR #72 records browser-process RSS, semantic-observation bytes, action latency, and total task duration while the pinned-Chrome fixture runs. The measurements are bounded, positive observations from the trusted ChromeDriver process identifier and the controlled semantic payload; its shutdown regression double supplies every required semantic and resource surface before cleanup failures are exercised, so incomplete evidence cannot pass incidentally. This makes the real fixture's resource and timing evidence inspectable without introducing a new telemetry subsystem.

This is resource evidence for the active test harness, not process-set attribution or a product resource adapter. It does not discover Chromium children, prove task ownership or ancestry, walk cgroups, sample GPU/VRAM, or export durable product telemetry.

## 4. Non-transitive success semantics

The intended first-slice chain is:
Expand All @@ -96,7 +104,7 @@ VerifiedActionOutcomeEvidence type existence -/> proof of real Chromium executio
controlled fixture success -/> proof of an OriginWeave product browser runtime
```

PR #64 now rejects a caller-supplied observation timestamp that predates caller-supplied dispatch time, but the type cannot independently prove the clock source, that a real browser actually dispatched the action, that the supplied provenance belongs to the claimed browser target/node, or that the observed state was caused by that action. PR #70 proves real Chromium execution against the controlled fixture and PR #71 adds browser-computed role/name evidence, but their test-harness CSS locators and direct WebDriver calls are not the OriginWeave adapter/runtime composition required under issue #28.
PR #64 now rejects a caller-supplied observation timestamp that predates caller-supplied dispatch time, but the type cannot independently prove the clock source, that a real browser actually dispatched the action, that the supplied provenance belongs to the claimed browser target/node, or that the observed state was caused by that action. PR #70 proves real Chromium execution against the controlled fixture, PR #71 adds browser-computed role/name evidence, and PR #72 adds bounded resource evidence, but their test-harness CSS locators, direct WebDriver calls, and fixture-scoped measurements are not the OriginWeave adapter/runtime composition required under issue #28.

## 5. Active prerequisite graph for issue #28

Expand All @@ -111,9 +119,10 @@ The first real Chromium vertical slice remains distributed across bounded active
- PR #64 — verified and caller-timestamp-ordered post-condition action-outcome evidence; and
- PR #65 — controlled hostile local Agent Task workflow fixture; and
- PR #70 — real WebDriver execution of that fixture on pinned Chrome, without claiming a product browser adapter; and
- PR #71 — browser-computed role/name evidence before controlled action, without claiming a product semantic observer.
- PR #71 — browser-computed role/name evidence before controlled action, without claiming a product semantic observer; and
- PR #72 — bounded browser-process RSS, semantic-observation byte, latency, and task-duration resource evidence, without claiming process-set attribution or a product resource adapter.

These active PRs are non-shipped evidence. PR #70/#71 prove bounded browser-level and semantic evidence, but the active set does not itself compose WebDriver BiDi/CDP transport, OriginWeave authority translation, trusted Chromium process attribution, policy-authorized real input dispatch, causal post-condition observation, or deterministic end-to-end teardown/recovery into one protected-main runtime.
These active PRs are non-shipped evidence. PR #70/#71/#72 prove bounded browser-level, semantic, and resource evidence, but the active set does not itself compose WebDriver BiDi/CDP transport, OriginWeave authority translation, trusted Chromium process attribution, policy-authorized real input dispatch, causal post-condition observation, or deterministic end-to-end teardown/recovery into one protected-main runtime.

## 6. Remaining issue #28 boundary

Expand Down
Loading
Loading