Skip to content
Closed

Closed #1175

Show file tree
Hide file tree
Changes from all commits
Commits
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 .gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
# Keep captured stderr verbatim, including Zig's final blank summary line.
docs/agent-cast/evidence/**/*.stderr whitespace=-blank-at-eof
53 changes: 53 additions & 0 deletions .github/workflows/agent-cast.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
name: Agent-cast Foundation

on:
pull_request:
paths:
- 'experiments/agent_cast/**'
- 'docs/agent-cast/**'
- 'scripts/agent_cast_ledger.py'
- 'scripts/qualify_agent_cast.py'
- 'scripts/tests/test_agent_cast_*.py'
- '.github/workflows/agent-cast.yml'
- '.github/actions/setup-zig/**'
workflow_dispatch:

permissions:
contents: read

concurrency:
group: agent-cast-${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
qualify:
name: Agent-cast (${{ matrix.runner }})
runs-on: ${{ matrix.runner }}
timeout-minutes: 15
strategy:
fail-fast: false
matrix:
runner: [ubuntu-24.04, macos-15]
env:
PYTHONDONTWRITEBYTECODE: '1'
steps:
- uses: actions/checkout@v4
- uses: ./.github/actions/setup-zig
with:
version: '0.16.0'
cache-key: agent-cast-foundation
- name: Validate ledger and exercise its failure cases
run: |
python3 scripts/agent_cast_ledger.py validate --json
python3 -m unittest scripts.tests.test_agent_cast_ledger -v
python3 -m unittest scripts.tests.test_agent_cast_qualification -v
- name: Build and drive the prototype
run: python3 scripts/qualify_agent_cast.py --output "$RUNNER_TEMP/agent-cast-receipts"
- name: Retain qualification evidence
if: always()
uses: actions/upload-artifact@v4
with:
name: agent-cast-${{ matrix.runner }}-${{ github.sha }}
path: ${{ runner.temp }}/agent-cast-receipts/
if-no-files-found: warn
retention-days: 14
504 changes: 504 additions & 0 deletions docs/agent-cast-architecture.html

Large diffs are not rendered by default.

11 changes: 11 additions & 0 deletions docs/agent-cast/events.jsonl
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
{"sequence": 1, "observed_at_utc": "2026-10-06T19:38:41.491825+00:00", "event": "program_created", "source": "user request to set milestones, ledger, model assignments and begin", "details": {"branch": "agent-cast-foundation", "scope": "M0/M1 initial foundation; later milestones remain planned"}}
{"sequence": 2, "observed_at_utc": "2026-10-06T19:38:41.491825+00:00", "event": "tasks_assigned", "details": {"implementation": {"task": "AC-0101", "model": "gpt-6.1-sol", "agent": "/root/agent_cast_core"}, "routine": {"task": "AC-0002", "model": "gpt-6-luna", "agent": "/root/agent_cast_ledger_tools"}, "review": {"task": "AC-0103", "model": "gpt-6-astra", "agent": "/root/agent_cast_contract_review"}, "input_tokens": null, "output_tokens": null, "usage_source": null}}
{"sequence": 3, "observed_at_utc": "2026-10-06T19:55:56.443491+00:00", "event": "compiler_repair_verified", "details": {"failure": "docs/agent-cast/evidence/initial-format-failure.json", "repair": "docs/agent-cast/evidence/compiler-repair.json", "reverification": "docs/agent-cast/evidence/foundation.json"}}
{"sequence": 4, "observed_at_utc": "2026-10-06T19:55:56.443491+00:00", "event": "review_finding_resolved", "details": {"task": "AC-0103", "evidence": "docs/agent-cast/evidence/contract-review.json", "finding": "Borrowed admission data must remain unchanged; snapshot owns captured bytes/path."}}
{"sequence": 5, "observed_at_utc": "2026-10-06T19:55:56.443491+00:00", "event": "local_verification_recorded", "details": {"tasks": ["AC-0001", "AC-0002", "AC-0003", "AC-0101", "AC-0102", "AC-0103", "AC-0104"], "zig_unit_tests": 18, "ledger_cli_tests": 10, "independent_actual_fixtures": 2, "logical_receipts_per_mode": 10, "backing_reader_calls": {"disabled": 8, "enabled": 4}, "performance_claim": null}}
{"sequence": 6, "observed_at_utc": "2026-10-06T19:55:56.443491+00:00", "event": "publication_gate_pending", "details": {"task": "AC-0105", "evidence": "docs/agent-cast/evidence/checkpoint.json", "reason": "Available GitHub account has READ access; no exact-commit CI result exists."}}
{"sequence": 7, "observed_at_utc": "2026-10-06T20:02:55.247521+00:00", "event": "overnight_goal_started", "details": {"scope": "M2 through M8 implemented and independent red-team validation", "active_task": "AC-0201", "token_budget": null, "heavy_job_policy": "one per host", "infra_inventory": "No known local Linux container runtime; existing pinned Docker CI lane identified", "red_team_foundation_finding": "Test wording confused snapshot hashing with successful reader invocation; wording repaired, source-dependent proof must be refreshed."}}
{"sequence": 8, "observed_at_utc": "2026-10-06T20:21:58.277937+00:00", "event": "m2_completed_cache_verified", "details": {"evidence": "docs/agent-cast/evidence/m2.json", "unit_tests": 52, "qualified_actual_fixtures": 2, "cache_receipts_per_fixture": 11}}
{"sequence": 9, "observed_at_utc": "2026-10-06T20:21:58.277937+00:00", "event": "red_team_findings_repaired", "details": {"evidence": "docs/agent-cast/evidence/m2-review.json", "actual_broker_validation": "pending"}}
{"sequence": 10, "observed_at_utc": "2026-10-06T20:21:58.277937+00:00", "event": "fork_publication_route_created", "details": {"evidence": "docs/agent-cast/evidence/publication-route.json", "ci_result": "not_run"}}
{"sequence": 11, "observed_at_utc": "2026-10-06T20:53:14.195117+00:00", "event": "registry_and_oracles_verified", "details": {"runtime_receipt": "docs/agent-cast/evidence/registry-2026-10-06/qualification.json", "unit_tests": 62, "oracle_control_receipt": "docs/agent-cast/evidence/oracle-controls-2026-10-06/receipt.json", "actual_broker_and_clients": "in_progress", "full_goal": "active_through_M8"}}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
src/authority.zig
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
{
"schema_version": 1,
"recorded_at_utc": "2026-10-06T20:26:21.574962+00:00",
"scope": "local foundation/cache correctness and subscriber/framing unit checks; logical agents in one process; no broker or isolation qualification",
"platform": "macOS-26.5.2-arm64-arm-64bit-Mach-O",
"machine": "arm64",
"source_sha256": {
"experiments/agent_cast/build.zig": "a8720adf37fc415ddf4f647d68f642f007ced0a996fbef66b8b730d1bea5e0d6",
"experiments/agent_cast/src/authority.zig": "8b43a63572e6571e30e556ffc721f59ed175e9277420ff8e409f1bd8984afaba",
"experiments/agent_cast/src/cache.zig": "7b26432c7b196c97589048aa2a05e26b0f7f91526ed23ce2f3714148ced207d0",
"experiments/agent_cast/src/cache_demo.zig": "f75346013a621eab61afcc8a34a29860ed95ab510f787c298c5fa9c3a771ea33",
"experiments/agent_cast/src/cached_executor.zig": "60d3f98158ab47f469f8483a9e5ff20ddc2a9a5f791c09d5441d9fff96b45992",
"experiments/agent_cast/src/contracts.zig": "d11df3241d4d9c5441da4b85250d192fb0e890ff7bdd613368c917a71ca2470e",
"experiments/agent_cast/src/demo.zig": "1b085e57e0663722c0a15a7af8b65f14a2a3d5b377ccaf50e11589e6276fb032",
"experiments/agent_cast/src/executor.zig": "5453b7d0505222bb34e6a3bd83522695cd57beb714858949341646ecde51380b",
"experiments/agent_cast/src/optimizer.zig": "e33266af767f303d2c3918a27d514afd1e62913aad495fdfacf6b42dcfa55a63",
"experiments/agent_cast/src/subscribers.zig": "034a2ecd3e181b61794987a3128ba93a5b5cb2c0bf47f9164ecd9a5899ed302f",
"experiments/agent_cast/src/tests.zig": "c03790db06fd05069fbd65c8e7d30f3867eba7644a36ab1edd290c6ef9551d09",
"experiments/agent_cast/src/wire.zig": "2696b554acdbebc2efde48b20085abaf528e92710c302bf823995ed71cfb9547"
},
"checks": [
{
"name": "zig-version",
"argv": [
"<verified-zig-0.16.0>",
"version"
],
"cwd": "<checkout>/experiments/agent_cast",
"exit_code": 0,
"seconds": 0.03716295794583857,
"stdout": "zig-version.stdout",
"stderr": "zig-version.stderr"
},
{
"name": "format",
"argv": [
"<verified-zig-0.16.0>",
"fmt",
"--check",
"src/",
"build.zig"
],
"cwd": "<checkout>/experiments/agent_cast",
"exit_code": 1,
"seconds": 0.03903308417648077,
"stdout": "format.stdout",
"stderr": "format.stderr"
}
],
"ci_status": "not_run",
"performance_claim": null,
"ok": false,
"zig_version": "0.16.0",
"error": "format failed: ",
"path_normalization": "Machine-specific path prefixes replaced; failed gate retained, not counted as verification."
}
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
0.16.0
15 changes: 15 additions & 0 deletions docs/agent-cast/evidence/authority-review.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"observed_at_utc": "2026-10-06T20:53:14.195117+00:00",
"source": "Independent Astra static review followed by parent62-test qualification with patched authority retry case.",
"requested_model": "gpt-6-astra",
"finding": "Exact duplicate issuance using the original deadline failed after expiry before retained-ID lookup.",
"resolution": "Future-deadline validation now applies only to new issuance. Exact expired retry returns retained permit and unchanged deadline; changed binding and reclaimed ID reject.",
"evidence": "registry-2026-10-06/qualification.json",
"integration_requirements": [
"Actual control-FD exclusivity and authenticated agent role must be runtime-tested.",
"Cache namespace must bind opaque task lifetime plus resource/implementation generations so late old producers cannot repopulate a new scope.",
"Prepared borrowed bindings must be copied before asynchronous execution.",
"Transport delivery and client acknowledgment are different facts; reconnect may replay output without repeating the backing effect."
],
"broker_runtime_qualified": false
}
27 changes: 27 additions & 0 deletions docs/agent-cast/evidence/checkpoint.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
{
"observed_at_utc": "2026-10-06T19:55:56.443491+00:00",
"repository": "vercel-labs/fx",
"branch": "agent-cast-foundation",
"authenticated_account": "alvgeppetto-debug",
"viewer_permission": "READ",
"source": "gh repo view vercel-labs/fx --json nameWithOwner,isPrivate,viewerPermission",
"push": "not_attempted_without_repository_write_access",
"draft_pr": null,
"exact_commit_ci": "not_run",
"prototype_workflow": ".github/workflows/agent-cast.yml",
"required_product_checks": [
"Build & Test",
"E2E (deterministic)",
"Shellcheck",
"Startup Latency",
"macOS arm64"
],
"required_prototype_checks": [
"Agent-cast (ubuntu-24.04)",
"Agent-cast (macos-15)"
],
"ship_gate": "not_run",
"remaining_action": "Publish the local checkpoint using a contributor account with appropriate access, open a draft PR, and qualify its exact current commit.",
"checkpoint_ref": "agent-cast-foundation",
"checkpoint_policy": "Resolve the local branch HEAD after its checkpoint commit; verify the recorded source hashes and require CI on the exact current commit before promotion."
}
47 changes: 47 additions & 0 deletions docs/agent-cast/evidence/compiler-repair.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
[
{
"phase": "format",
"argv": [
"<verified-zig-0.16.0>",
"fmt",
"src/",
"build.zig"
],
"cwd": "<checkout>/experiments/agent_cast",
"exit_code": 0,
"seconds": 0.03945279214531183,
"stdout": "",
"stderr": ""
},
{
"phase": "build",
"argv": [
"<verified-zig-0.16.0>",
"build",
"-Doptimize=ReleaseSafe",
"-j1"
],
"cwd": "<checkout>/experiments/agent_cast",
"exit_code": 0,
"seconds": 9.568622666876763,
"stdout": "",
"stderr": ""
},
{
"phase": "unit",
"argv": [
"<verified-zig-0.16.0>",
"build",
"test",
"-Doptimize=ReleaseSafe",
"-j1",
"--summary",
"all"
],
"cwd": "<checkout>/experiments/agent_cast",
"exit_code": 0,
"seconds": 4.928705625003204,
"stdout": "",
"stderr": "Build Summary: 3/3 steps succeeded; 18/18 tests passed\ntest success\n+- run test 18 pass (18 total) 4ms MaxRSS:2M\n +- compile test ReleaseSafe native success 4s MaxRSS:387M\n\n"
}
]
30 changes: 30 additions & 0 deletions docs/agent-cast/evidence/contract-review.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
{
"recorded_at_utc": "2026-10-06T19:55:06.387230+00:00",
"source": "Delegated review response in this session; coordinator checked the cited boundary and owned-capture implementation.",
"agent": "/root/agent_cast_contract_review",
"requested_model": "gpt-6-astra",
"reasoning_effort": "high",
"scope": "Exact binding, immutable grouping and borrowed-memory contracts in the bounded synchronous fixture.",
"finding": "Borrowed binding data must remain unchanged as well as alive. A const slice alone does not freeze mutable backing.",
"resolution": [
"CallBinding and Plan document frozen borrowed backing through receipt consumption.",
"Snapshot duplicates bytes and path; identity points to stable owned hash storage.",
"Focused tests mutate original source/path buffers and verify captured bytes; mutation of captured bytes is detected before admission."
],
"remaining_gaps": [
"Host admissions are fixture assertions, not production permission tokens or current registry queries.",
"No expiry/revocation race, cancellation, subscriber lifetime, completed cache, broker or worker recovery is qualified.",
"No latency or harness efficiency claim."
],
"source_sha256": {
"experiments/agent_cast/build.zig": "6de2342b938220052abb5f2aa6484a2d0b4989318f929f8cfc6cd5b71260d5b5",
"experiments/agent_cast/src/contracts.zig": "d11df3241d4d9c5441da4b85250d192fb0e890ff7bdd613368c917a71ca2470e",
"experiments/agent_cast/src/demo.zig": "1b085e57e0663722c0a15a7af8b65f14a2a3d5b377ccaf50e11589e6276fb032",
"experiments/agent_cast/src/executor.zig": "d7a24d288eaa054762c58462e10877c14b736b26ab9dab23afca56b0f24cf990",
"experiments/agent_cast/src/optimizer.zig": "e33266af767f303d2c3918a27d514afd1e62913aad495fdfacf6b42dcfa55a63",
"experiments/agent_cast/src/tests.zig": "4d80e3ea2d4d149f0fb9c09bd3f0c327f20995aac083ea51a5e4e89bd4cbd8ce"
},
"input_tokens": null,
"output_tokens": null,
"usage_source": null
}
Empty file.
Empty file.
Empty file.
Loading