Skip to content

Commit 381004e

Browse files
frawarefraware
committed
Fix reference-authority schedule and complete live inter-sim export path
Add capture_inter_sim_offline_graph.py to dump offline_transition_graph via pinned RLEnvironment, refresh committed export as live_upstream_dump, and re-run flagship refresh cycle. - Fix reference-authority.yml cron schedule; document check in BRANCH_PROTECTION - Commit live_dumps graph + provenance; EXPORT_PROVENANCE export_kind live_upstream_dump - Makefile targets capture-inter-sim-graph and refresh-live-upstream-export-live
1 parent 2ff5fea commit 381004e

22 files changed

Lines changed: 419 additions & 104 deletions

‎.github/workflows/reference-authority.yml‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,8 @@ on:
66
push:
77
branches: [main]
88
schedule:
9-
workflow_dispatch:
10-
# Monthly drift check on main (same as scheduled).
119
- cron: "0 6 1 * *"
10+
workflow_dispatch:
1211

1312
concurrency:
1413
group: reference-authority-${{ github.workflow }}-${{ github.ref }}

‎Makefile‎

Lines changed: 12 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ else
2323
PYTHON ?= python
2424
endif
2525

26-
.PHONY: test test-reference test-slow test-solver test-vendor-moreau smoke-solver smoke-check env-check reference-correctness perf-benchmark diff-check trust-dashboard parity-native-licensed artifact-validation-report parity-report audit dashboard validate-fixture lint typecheck format format-check cov cov-gates compile-deps verify-extended bootstrap-moreau upgrade-host-realistic-vendor host-realistic-rehearsal export-upstream-rehearsal batch-solve-report check-batch-acceptance verify-reference-system reference-authority-check reference-authority-snapshot refresh-live-upstream-export host-realistic-refresh-cycle host-realistic-refresh-milestone sync-published-readmes
26+
.PHONY: test test-reference test-slow test-solver test-vendor-moreau smoke-solver smoke-check env-check reference-correctness perf-benchmark diff-check trust-dashboard parity-native-licensed artifact-validation-report parity-report audit dashboard validate-fixture lint typecheck format format-check cov cov-gates compile-deps verify-extended bootstrap-moreau upgrade-host-realistic-vendor host-realistic-rehearsal export-upstream-rehearsal batch-solve-report check-batch-acceptance verify-reference-system reference-authority-check reference-authority-snapshot capture-inter-sim-graph refresh-live-upstream-export refresh-live-upstream-export-live host-realistic-refresh-cycle host-realistic-refresh-milestone sync-published-readmes
2727

2828
test:
2929
$(PYTHON) -m pytest -q
@@ -92,8 +92,18 @@ reference-authority-check:
9292
reference-authority-snapshot:
9393
$(PYTHON) scripts/generate_reference_authority_snapshot.py
9494

95+
capture-inter-sim-graph:
96+
$(PYTHON) scripts/capture_inter_sim_offline_graph.py \
97+
--host-realistic-fork \
98+
--out benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.json
99+
95100
refresh-live-upstream-export:
96-
@echo "Usage: $(PYTHON) scripts/refresh_live_upstream_export.py --graph-json <path/to/offline_transition_graph.json>"
101+
@echo "Usage: make capture-inter-sim-graph && make refresh-live-upstream-export-live"
102+
@echo " or: $(PYTHON) scripts/refresh_live_upstream_export.py --graph-json <path>"
103+
104+
refresh-live-upstream-export-live: capture-inter-sim-graph
105+
$(PYTHON) scripts/refresh_live_upstream_export.py \
106+
--graph-json benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.json
97107

98108
verify-reference-system: reference-authority-check
99109
$(PYTHON) -m pytest \

‎benchmarks/PUBLISHED_RUN_INDEX.json‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
{
22
"schema_version": 2,
3-
"generated_at_utc": "2026-05-26T05:47:34Z",
3+
"generated_at_utc": "2026-05-26T06:05:57Z",
44
"published_root": "benchmarks/published_runs",
55
"governed_run_ids": [
66
"host-realistic-20260525",
@@ -13,19 +13,19 @@
1313
"repository_relative_path": "benchmarks/published_runs/host-realistic-20260525",
1414
"integrity": {
1515
"config.json": {
16-
"sha256": "ab21e47b8d88ceac50e4609c888205b5b68382cc4a80bfdcc79710d89e83655a"
16+
"sha256": "317c93d00bf9ba3f470df31bdec786ab381ad40433ddbf62e7bcf8cf6c24a04b"
1717
},
1818
"config.schema.json": {
1919
"sha256": "dc0d0af539739180848d298d3a8e112fda79dbec96091ed42dce7bcae58005bd"
2020
},
2121
"summary.json": {
22-
"sha256": "9042038f2b9ba098eb291abcc1fa174f95d2d2f074bcdd8ae3acb9e3b1708df3"
22+
"sha256": "a3ade3d7a4c5877634522440038f5e0a58e72825d233aec4fed0df28897c0ae3"
2323
},
2424
"summary.schema.json": {
2525
"sha256": "c54f6deb392afcefae57e7822bd00c1191c47263655e3f76cfeb432576310fa6"
2626
},
2727
"episodes.jsonl": {
28-
"sha256": "e2bc4661db46e719f0d0f9257444824ae0b054ad5299563e4cf127b578ff4e3d"
28+
"sha256": "e3552d3aeb092887f8a105c6e887db9a42d713effad617ac06376d92d30af474"
2929
},
3030
"episodes.schema.json": {
3131
"sha256": "94819ce8fddc8fd4ab880d219bc1c65654158a7a0a2884de644a70e4a3dfdff2"

‎benchmarks/external_evidence/EXPORT_PROVENANCE.json‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,10 @@
33
"export_json": "benchmarks/external_evidence/offline_graph_export_upstream.json",
44
"upstream_repository": "https://github.com/fraware/inter-sim-rl",
55
"upstream_revision_pin": "third_party/inter-sim-rl/REVISION",
6-
"export_kind": "structural_committed",
6+
"export_kind": "live_upstream_dump",
77
"graph_shape": "host_realistic_fork",
88
"flagship_run_id": "host-realistic-20260525",
9-
"notes": "Multi-branch offline graph export (Root to NodeA/NodeB/NodeC). Structural host-shaped evidence committed for the export to bank to publish loop. For a live upstream dump use scripts/refresh_live_upstream_export.py then make upgrade-host-realistic-vendor."
9+
"notes": "Live upstream dump replaced committed structural export. Re-run make upgrade-host-realistic-vendor.",
10+
"exported_at_utc": "2026-05-26T06:05:03Z",
11+
"source_graph_json": "benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.json"
1012
}

‎benchmarks/external_evidence/README.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ Committed artifacts that demonstrate the **export → transition bank → publis
1414
| Kind | What it is | When to use |
1515
|------|------------|-------------|
1616
| **Committed structural graph** | Multi-branch graph checked into this directory (rehearsal fork or prior export) | Proves the governed loop in public CI without a live simulator session |
17-
| **Live upstream dump** | JSON produced on a patched `inter-sim-rl` host from a real `offline_transition_graph` | Replace `offline_graph_export_upstream.json` when you have a fresh dump; update `EXPORT_PROVENANCE.json` (revision, host, timestamp) |
17+
| **Live upstream dump** | Raw graph captured via `make capture-inter-sim-graph` (pinned `RLEnvironment` + M2 patch) then `refresh_live_upstream_export.py` | Replaces `offline_graph_export_upstream.json`; updates `EXPORT_PROVENANCE.json` (`export_kind: live_upstream_dump`) |
1818

1919
After replacing the JSON, re-run:
2020

‎benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.json‎

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
1+
{
2+
"Root": [
3+
{
4+
"destination_address": "NodeA",
5+
"destination_coords": [
6+
1.0,
7+
0.0
8+
],
9+
"first_instruction": "Turn right",
10+
"action_class": "turn_right",
11+
"duration_sec": 10.0,
12+
"distance_m": 100.0
13+
},
14+
{
15+
"destination_address": "NodeB",
16+
"destination_coords": [
17+
0.0,
18+
1.0
19+
],
20+
"first_instruction": "Turn left",
21+
"action_class": "turn_left",
22+
"duration_sec": 12.0,
23+
"distance_m": 120.0
24+
}
25+
],
26+
"NodeA": [
27+
{
28+
"destination_address": "NodeC",
29+
"destination_coords": [
30+
2.0,
31+
0.0
32+
],
33+
"first_instruction": "Go straight",
34+
"action_class": "go_straight",
35+
"duration_sec": 5.0,
36+
"distance_m": 50.0
37+
}
38+
],
39+
"NodeB": [],
40+
"NodeC": []
41+
}

‎benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.provenance.json‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
{
2+
"schema_version": "conicshield_live_graph_capture/v1",
3+
"captured_at_utc": "2026-05-26T06:04:53Z",
4+
"graph_json": "benchmarks/external_evidence/live_dumps/offline_transition_graph_host_realistic.json",
5+
"intersim_root": "/mnt/c/Users/mateo/conicshield/third_party/inter-sim-rl/checkout",
6+
"upstream_repository": "https://github.com/fraware/inter-sim-rl",
7+
"upstream_sha": "f1f04ee11d064262f5ee2810abfcb01715260182",
8+
"graph_source": "conicshield.bench.inter_sim_export.fork_graph_for_rehearsal",
9+
"capture_method": "RLEnvironment.offline_transition_graph after construct"
10+
}

‎benchmarks/external_evidence/offline_graph_export_upstream.json‎

Lines changed: 29 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -2,24 +2,42 @@
22
"schema_version": "offline_transition_graph_export/v1",
33
"root_address": "Root",
44
"coords_by_address": {
5-
"Root": [0.0, 0.0],
6-
"NodeA": [1.0, 0.0],
7-
"NodeB": [0.0, 1.0],
8-
"NodeC": [2.0, 0.0]
5+
"Root": [
6+
0.0,
7+
0.0
8+
],
9+
"NodeA": [
10+
1.0,
11+
0.0
12+
],
13+
"NodeB": [
14+
0.0,
15+
1.0
16+
],
17+
"NodeC": [
18+
2.0,
19+
0.0
20+
]
921
},
1022
"transition_graph": {
1123
"Root": [
1224
{
1325
"destination_address": "NodeA",
14-
"destination_coords": [1.0, 0.0],
26+
"destination_coords": [
27+
1.0,
28+
0.0
29+
],
1530
"first_instruction": "Turn right",
1631
"action_class": "turn_right",
1732
"duration_sec": 10.0,
1833
"distance_m": 100.0
1934
},
2035
{
2136
"destination_address": "NodeB",
22-
"destination_coords": [0.0, 1.0],
37+
"destination_coords": [
38+
0.0,
39+
1.0
40+
],
2341
"first_instruction": "Turn left",
2442
"action_class": "turn_left",
2543
"duration_sec": 12.0,
@@ -29,7 +47,10 @@
2947
"NodeA": [
3048
{
3149
"destination_address": "NodeC",
32-
"destination_coords": [2.0, 0.0],
50+
"destination_coords": [
51+
2.0,
52+
0.0
53+
],
3354
"first_instruction": "Go straight",
3455
"action_class": "go_straight",
3556
"duration_sec": 5.0,
@@ -40,5 +61,5 @@
4061
"NodeC": []
4162
},
4263
"max_depth": 4,
43-
"max_nodes": 16
64+
"max_nodes": 8
4465
}

‎benchmarks/published_runs/host-realistic-20260525/config.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
{
22
"benchmark_name": "host-realistic-20260525",
33
"description": "Frozen parity fixture",
4-
"created_at_utc": "2026-05-26T05:46:50Z",
4+
"created_at_utc": "2026-05-26T06:05:14Z",
55
"policy": {
66
"policy_id": "policy_fixture",
77
"checkpoint": null,

0 commit comments

Comments
 (0)