1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
#!/usr/bin/env python3
"""Apply the frozen A2b selector and advancement gate."""
import argparse
import glob
import json
import math
import os
def read(path):
with open(path) as handle:
record = json.load(handle)
args = record["args"]
expected = {
"depth": 20, "width": 16, "seed": 0, "epochs": 20,
"train_limit": 10000, "val_examples": 5000,
"eval_split": "validation", "normalization": "batchnorm",
}
for key, value in expected.items():
if args.get(key) != value:
raise ValueError(f"{path}: {key} drift")
if record["provenance"]["git_tracked_dirty"]:
raise ValueError(f"tracked-dirty result: {path}")
if record["evaluation_protocol"]["test_evaluations"]:
raise ValueError(f"short screen touched test: {path}")
accuracy = float(record["final"]["accuracy"])
loss = float(record["final"]["loss"])
return {
"path": path, "mode": args["mode"], "lr": float(args["lr"]),
"vectorizer_mode": args.get("vectorizer_mode"),
"a_scale": float(args.get("a_scale", 0.0)),
"eta_A": float(args.get("eta_A", 0.0)),
"accuracy": accuracy, "loss": loss,
"finite": record["final"]["finite"] and math.isfinite(accuracy + loss),
"total_macs": record["work"]["total_macs_estimate"],
"source_commit": record["provenance"]["git_commit"],
}
def main():
parser = argparse.ArgumentParser()
parser.add_argument("--input", default="results/oral_a_short")
parser.add_argument("--out", default="results/oral_a_short_selection.json")
args = parser.parse_args()
rows = [read(path) for path in sorted(glob.glob(os.path.join(args.input, "*.json")))]
if len(rows) != 10:
raise ValueError(f"expected 10 A2b runs, found {len(rows)}")
if len({row["source_commit"] for row in rows}) != 1:
raise ValueError("A2b source commits differ")
bp = [row for row in rows if row["mode"] == "bp"]
dfa = [row for row in rows if row["mode"] == "dfa"]
sdil = [row for row in rows if row["mode"] == "sdil"]
if len(bp) != 1 or len(dfa) != 3 or len(sdil) != 6:
raise ValueError("A2b method grid is incomplete")
selected_dfa = sorted(
dfa, key=lambda row: (-row["accuracy"], row["total_macs"], row["lr"]))[0]
best_accuracy = max(row["accuracy"] for row in sdil if row["finite"])
gated_near_best = [row for row in sdil if row["finite"]
and row["vectorizer_mode"] == "channel_gated"
and row["accuracy"] >= best_accuracy - 0.005]
pool = gated_near_best or [row for row in sdil if row["finite"]]
selected_sdil = sorted(
pool, key=lambda row: (-row["accuracy"], row["total_macs"], row["lr"]))[0]
passed = (bp[0]["finite"] and selected_dfa["finite"] and selected_sdil["finite"]
and bp[0]["accuracy"] >= 0.50
and selected_sdil["accuracy"] >= 0.35
and selected_sdil["accuracy"] >= selected_dfa["accuracy"] - 0.10)
output = {
"protocol": "oral_a_A2b_v1",
"status": "selected" if passed else "failed_advancement_gate",
"rows": rows, "selected_bp": bp[0],
"selected_dfa": selected_dfa, "selected_sdil": selected_sdil,
"confirmation_test_seeds_touched": False,
}
os.makedirs(os.path.dirname(os.path.abspath(args.out)), exist_ok=True)
with open(args.out, "w") as handle:
json.dump(output, handle, indent=2, sort_keys=True)
handle.write("\n")
print(json.dumps({key: output[key] for key in (
"status", "selected_bp", "selected_dfa", "selected_sdil")}, indent=2))
if __name__ == "__main__":
main()
|
