alphacouncil-agent 1.0.1 → 1.0.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/.claude-plugin/marketplace.json +2 -2
- package/.claude-plugin/plugin.json +1 -1
- package/.codex-plugin/plugin.json +1 -1
- package/CHANGELOG.md +37 -0
- package/data/authored/core-seats.mjs +3 -3
- package/data/authored/quant-seats.mjs +2 -2
- package/data/authored/value-seats.mjs +4 -4
- package/data/build-profile.v1.json +1 -1
- package/knowledge/ai-assisted-solo/experiments/runs/a.json +2 -2
- package/knowledge/ai-assisted-solo/experiments/runs/b.json +2 -2
- package/knowledge/ai-assisted-solo/experiments/runs/c.json +2 -2
- package/knowledge/ai-assisted-solo/experiments/runs/d13.json +15 -15
- package/knowledge/ai-assisted-solo/experiments/runs/d26.json +21 -21
- package/knowledge/ai-assisted-solo/experiments/runs/e-d13.json +18 -18
- package/knowledge/ai-assisted-solo/experiments/runs/e-d26.json +24 -24
- package/knowledge/ai-assisted-solo/experiments/runs/h_ai_reference.json +25 -25
- package/knowledge/ai-assisted-solo/experiments/simulation-input.json +4 -4
- package/knowledge/ai-assisted-solo/experiments/simulation-manifest.json +19 -19
- package/knowledge/solo-test/masters/master_graham/decision_policy.json +1 -1
- package/knowledge/solo-test/masters/master_klarman/decision_policy.json +1 -1
- package/knowledge/solo-test/masters/master_pabrai/decision_policy.json +1 -1
- package/mcp/lib/basket-news.mjs +181 -0
- package/mcp/lib/breadth.mjs +24 -0
- package/mcp/lib/cross-market.mjs +180 -0
- package/mcp/lib/grounding.mjs +34 -2
- package/mcp/lib/industry.mjs +23 -2
- package/mcp/lib/instrument-facts.mjs +3 -0
- package/mcp/lib/markdown.mjs +41 -8
- package/mcp/lib/personas-v3/grounding-adapter.mjs +139 -0
- package/package.json +1 -1
- package/scripts/lib/persona-v3-solo-formula-pipeline.mjs +11 -0
|
@@ -6,14 +6,14 @@
|
|
|
6
6
|
},
|
|
7
7
|
"metadata": {
|
|
8
8
|
"description": "AlphaCouncil plugins for public-equity research.",
|
|
9
|
-
"version": "1.0.
|
|
9
|
+
"version": "1.0.2"
|
|
10
10
|
},
|
|
11
11
|
"plugins": [
|
|
12
12
|
{
|
|
13
13
|
"name": "alphacouncil-agent",
|
|
14
14
|
"source": "./",
|
|
15
15
|
"description": "Multi-agent company, ETF and index research: evidence packets, method seats, bull/bear debate and portfolio-manager synthesis.",
|
|
16
|
-
"version": "1.0.
|
|
16
|
+
"version": "1.0.2",
|
|
17
17
|
"author": {
|
|
18
18
|
"name": "Zhao73"
|
|
19
19
|
},
|
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "alphacouncil-agent",
|
|
3
|
-
"version": "1.0.
|
|
3
|
+
"version": "1.0.2",
|
|
4
4
|
"description": "Multi-agent company, ETF and market-index research for Claude Code with sourced evidence, method seats, bull/bear debate and a full portfolio-manager report.",
|
|
5
5
|
"author": {
|
|
6
6
|
"name": "Zhao73"
|
package/CHANGELOG.md
CHANGED
|
@@ -2,6 +2,43 @@
|
|
|
2
2
|
|
|
3
3
|
Notable changes per release. Dates are UTC.
|
|
4
4
|
|
|
5
|
+
## [1.0.2] — 2026-07-29
|
|
6
|
+
|
|
7
|
+
### Added
|
|
8
|
+
|
|
9
|
+
- **A basket now has a news identity.** `SOX` has no press office and files nothing, so a
|
|
10
|
+
basket run carried market-wide headlines and no industry at all. The industry is derived from
|
|
11
|
+
the SIC groups of the largest holdings, weighted — SOXX resolves to semiconductors because
|
|
12
|
+
its holdings are semiconductor registrants, and it survives a rebalance because nothing is
|
|
13
|
+
hand-maintained. Where no group dominates, the basket is queried as the several industries it
|
|
14
|
+
actually is: an industrial fund gets aerospace, machinery and electronics rather than one
|
|
15
|
+
misleading label. Constituent news and 8-K filings come with the weight of the holding they
|
|
16
|
+
belong to.
|
|
17
|
+
- **The SIC group table covers every code a US registrant can file.** It had real holes —
|
|
18
|
+
aerospace and autos, brokers, media and entertainment, commercial research — and a holding in
|
|
19
|
+
one of them resolved to no industry and therefore to no industry news. 22 groups to 43, with
|
|
20
|
+
a test that walks every SIC from 0100 to 8999.
|
|
21
|
+
- **News as counts, never as content.** `news.covered_weight` and `news.filing_event_weight`
|
|
22
|
+
are dated quantities an event-driven method may read. Headlines themselves stay out of the
|
|
23
|
+
arithmetic: a stance that changed with the morning's press would not be reproducible, which
|
|
24
|
+
is the property this runtime exists to protect.
|
|
25
|
+
- **Cross-market correlation and sector dispersion.** Correlation to the broad market, to
|
|
26
|
+
KOSPI, to KOSDAQ and to the semiconductor cycle, plus dispersion across the eleven sector
|
|
27
|
+
SPDRs. Dalio's authored policy already limited position size by correlation and had none to
|
|
28
|
+
read. Sessions pair by DATE: Korea and the United States keep different holidays, and zipping
|
|
29
|
+
two close arrays by index compares a Tuesday with a Wednesday.
|
|
30
|
+
|
|
31
|
+
### Changed
|
|
32
|
+
|
|
33
|
+
- **A fired veto is a verdict, not silence.** Graham finding no asset floor has answered —
|
|
34
|
+
his construction is a price below a computed floor, and without one there is no margin of
|
|
35
|
+
safety, which is his own definition of speculation. He passes. Klarman and Pabrai likewise.
|
|
36
|
+
Left alone: li_lu, forensic_short and asness refuse on circle-of-competence grounds, and a
|
|
37
|
+
forensic short with no allegation is not bearish.
|
|
38
|
+
- **The report separates a judgment from a data gap**, in four languages. A seat whose method
|
|
39
|
+
ran to completion and returned "not this one" no longer reads as a seat that was starved of
|
|
40
|
+
inputs.
|
|
41
|
+
|
|
5
42
|
## [1.0.1] — 2026-07-29
|
|
6
43
|
|
|
7
44
|
A SOX run ended with 25 of 27 seats abstaining. The seats were not the problem.
|
|
@@ -187,9 +187,9 @@ export const coreSeats = Object.freeze({
|
|
|
187
187
|
{
|
|
188
188
|
veto_id: "master_graham.no_asset_floor",
|
|
189
189
|
rationale:
|
|
190
|
-
"Graham's floor is what the owners would have left once the current liabilities are paid. When net current assets are zero or negative there is no asset floor at all, and the defensive method has nothing to say about the security at any price (The Intelligent Investor ch. 15; Security Analysis on net current asset value).",
|
|
190
|
+
"Graham's floor is what the owners would have left once the current liabilities are paid. When net current assets are zero or negative there is no asset floor at all, and the defensive method has nothing to say about the security at any price (The Intelligent Investor ch. 15; Security Analysis on net current asset value). An absent floor is not an absent opinion. Graham's whole construction is a price below a computed floor, and where no floor can be computed there is no margin of safety -- which is his own definition of speculation rather than investment. He passes. Reporting that as out-of-scope hid a decision behind a word that reads as a broken system.",
|
|
191
191
|
condition: { op: "lte", left: { fact_id: "financial.net_current_asset_value" }, right: { literal: 0 } },
|
|
192
|
-
on_trigger: { common_stance: "
|
|
192
|
+
on_trigger: { common_stance: "opposed", native_state: "insufficient_floor" },
|
|
193
193
|
},
|
|
194
194
|
{
|
|
195
195
|
veto_id: "master_graham.fixed_charge_coverage_failure",
|
|
@@ -604,7 +604,7 @@ export const coreSeats = Object.freeze({
|
|
|
604
604
|
{
|
|
605
605
|
veto_id: "master_druckenmiller.liquidity_draining_into_inversion",
|
|
606
606
|
rationale:
|
|
607
|
-
"Liquidity contracting while the curve is inverted is the configuration in which he says there is nothing to do on the long side. The method exists to find an asymmetric setup, and when both primary drivers point the same way against risk there is no inflection to probe.",
|
|
607
|
+
"Liquidity contracting while the curve is inverted is the configuration in which he says there is nothing to do on the long side. The method exists to find an asymmetric setup, and when both primary drivers point the same way against risk there is no inflection to probe. No inflection is a reason not to have a position, which is itself his most repeated instruction: he sizes hard when he sees the turn and stays out otherwise. Standing aside is the output, not the absence of one.",
|
|
608
608
|
condition: {
|
|
609
609
|
op: "all",
|
|
610
610
|
conditions: [
|
|
@@ -279,7 +279,7 @@ export const quantSeats = Object.freeze({
|
|
|
279
279
|
{
|
|
280
280
|
veto_id: "master_simons.no_observation_to_test",
|
|
281
281
|
rationale:
|
|
282
|
-
"A session that did not move is not an observation of anything, and scoring it would be manufacturing a result out of an empty sample. This is the only refusal the available facts can express, which is itself the finding: his real vetoes are leakage, an absent holdout and cost erasure, and not one of the three has a fact in this pack to be tested against.",
|
|
282
|
+
"A session that did not move is not an observation of anything, and scoring it would be manufacturing a result out of an empty sample. This is the only refusal the available facts can express, which is itself the finding: his real vetoes are leakage, an absent holdout and cost erasure, and not one of the three has a fact in this pack to be tested against. A signal that cannot be tested does not get traded. That is a decision his method reaches, not a subject it fails to recognise, and the honest rendering is standing aside rather than silence.",
|
|
283
283
|
condition: { op: "lte", left: { output_id: "market.session_move_over_implied" }, right: { literal: 0 } },
|
|
284
284
|
on_trigger: { common_stance: "out_of_scope", native_state: "invalid_test" },
|
|
285
285
|
},
|
|
@@ -351,7 +351,7 @@ export const quantSeats = Object.freeze({
|
|
|
351
351
|
{
|
|
352
352
|
veto_id: "master_soros.no_reflexive_link",
|
|
353
353
|
rationale:
|
|
354
|
-
"The build spec's first veto family and Alchemy's own standard: a reflexivity thesis has to show feedback that reaches the fundamentals, not merely a price that moved. Where leverage is zero the financing burden is zero, credit conditions cannot touch this borrower's economics, and there is no loop to be right or wrong about - a question outside the method rather than a verdict on the security.",
|
|
354
|
+
"The build spec's first veto family and Alchemy's own standard: a reflexivity thesis has to show feedback that reaches the fundamentals, not merely a price that moved. Where leverage is zero the financing burden is zero, credit conditions cannot touch this borrower's economics, and there is no loop to be right or wrong about - a question outside the method rather than a verdict on the security. No feedback loop means there is nothing here for reflexivity to act on, so he is not in it. That is a stated position on the security rather than a failure to have one.",
|
|
355
355
|
condition: { op: "lte", left: { output_id: "reflexivity.financing_burden" }, right: { literal: 0 } },
|
|
356
356
|
on_trigger: { common_stance: "out_of_scope", native_state: "no_loop" },
|
|
357
357
|
},
|
|
@@ -211,9 +211,9 @@ export const valueSeats = Object.freeze({
|
|
|
211
211
|
{
|
|
212
212
|
veto_id: "master_klarman.no_reconstructable_downside",
|
|
213
213
|
rationale:
|
|
214
|
-
"Margin of Safety begins from what an asset is worth on conservative assumptions, and the whole method is the distance between that figure and the price. When tangible book plus cash less debt is zero or negative there is no conservatively assessed value to be safe below, and the correct answer is that the downside cannot be reconstructed -- not that the security is expensive.",
|
|
214
|
+
"Margin of Safety begins from what an asset is worth on conservative assumptions, and the whole method is the distance between that figure and the price. When tangible book plus cash less debt is zero or negative there is no conservatively assessed value to be safe below, and the correct answer is that the downside cannot be reconstructed -- not that the security is expensive. The first rule Klarman states is not losing money, and it is not satisfiable by an asset whose downside cannot be reconstructed. Declining to own something is a position on it; the seat says so instead of falling silent.",
|
|
215
215
|
condition: { op: "lte", left: { fact_id: "valuation.downside_asset_value" }, right: { literal: 0 } },
|
|
216
|
-
on_trigger: { common_stance: "
|
|
216
|
+
on_trigger: { common_stance: "opposed", native_state: "downside_unknown" },
|
|
217
217
|
},
|
|
218
218
|
{
|
|
219
219
|
veto_id: "master_klarman.senior_claims_consume_the_assets",
|
|
@@ -307,9 +307,9 @@ export const valueSeats = Object.freeze({
|
|
|
307
307
|
{
|
|
308
308
|
veto_id: "master_pabrai.no_downside_floor",
|
|
309
309
|
rationale:
|
|
310
|
-
"The first Dhandho question is what the downside is, and the method has no second question until that one is answered. A floor of zero or below means neither net current assets nor tangible book leaves anything recoverable, so \"tails, I don't lose much\" is not a claim the facts support at any price.",
|
|
310
|
+
"The first Dhandho question is what the downside is, and the method has no second question until that one is answered. A floor of zero or below means neither net current assets nor tangible book leaves anything recoverable, so \"tails, I don't lose much\" is not a claim the facts support at any price. Heads I win, tails I don't lose much presupposes knowing how much tails costs. Without a floor the second half is unevaluated, and the Dhandho answer to that is to pass rather than to abstain.",
|
|
311
311
|
condition: { op: "lte", left: { fact_id: "valuation.downside_floor" }, right: { literal: 0 } },
|
|
312
|
-
on_trigger: { common_stance: "
|
|
312
|
+
on_trigger: { common_stance: "opposed", native_state: "no_floor" },
|
|
313
313
|
},
|
|
314
314
|
{
|
|
315
315
|
veto_id: "master_pabrai.financing_fails_before_resolution",
|
|
@@ -18,7 +18,7 @@
|
|
|
18
18
|
"formal_h_satisfied": false,
|
|
19
19
|
"human_reference": false,
|
|
20
20
|
"input_binding": {
|
|
21
|
-
"input_hash": "sha256:
|
|
21
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
22
22
|
"path": "simulation-input.json"
|
|
23
23
|
},
|
|
24
24
|
"network_allowed": false,
|
|
@@ -54,7 +54,7 @@
|
|
|
54
54
|
"verifier_checks": []
|
|
55
55
|
},
|
|
56
56
|
"reviewer_kind": "ai",
|
|
57
|
-
"run_artifact_hash": "sha256:
|
|
57
|
+
"run_artifact_hash": "sha256:a0161522586f9a9b2ee80b68081279ec2b9399692e8e9e1ec56aef00379d27db",
|
|
58
58
|
"run_id": "A",
|
|
59
59
|
"schema_version": 1,
|
|
60
60
|
"simulation_scope": "single deterministic seat surrogate; formal single-model answer is not simulated"
|
|
@@ -16,7 +16,7 @@
|
|
|
16
16
|
"formal_h_satisfied": false,
|
|
17
17
|
"human_reference": false,
|
|
18
18
|
"input_binding": {
|
|
19
|
-
"input_hash": "sha256:
|
|
19
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
20
20
|
"path": "simulation-input.json"
|
|
21
21
|
},
|
|
22
22
|
"network_allowed": false,
|
|
@@ -37,7 +37,7 @@
|
|
|
37
37
|
"verifier_checks": []
|
|
38
38
|
},
|
|
39
39
|
"reviewer_kind": "ai",
|
|
40
|
-
"run_artifact_hash": "sha256:
|
|
40
|
+
"run_artifact_hash": "sha256:133ca81d8703085824a374f545ca30f83e90e4af45b8bdab17ed5aaa0e39adb1",
|
|
41
41
|
"run_id": "B",
|
|
42
42
|
"schema_version": 1,
|
|
43
43
|
"simulation_scope": "frozen-input control digest only; eight LLM analyst outputs are not simulated"
|
|
@@ -16,7 +16,7 @@
|
|
|
16
16
|
"formal_h_satisfied": false,
|
|
17
17
|
"human_reference": false,
|
|
18
18
|
"input_binding": {
|
|
19
|
-
"input_hash": "sha256:
|
|
19
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
20
20
|
"path": "simulation-input.json"
|
|
21
21
|
},
|
|
22
22
|
"network_allowed": false,
|
|
@@ -37,7 +37,7 @@
|
|
|
37
37
|
"verifier_checks": []
|
|
38
38
|
},
|
|
39
39
|
"reviewer_kind": "ai",
|
|
40
|
-
"run_artifact_hash": "sha256:
|
|
40
|
+
"run_artifact_hash": "sha256:0760f289508bcbed0222e48531f3b0f8c394243fca4d7f6ad0a8de0b53fbb1b9",
|
|
41
41
|
"run_id": "C",
|
|
42
42
|
"schema_version": 1,
|
|
43
43
|
"simulation_scope": "prompt-catalog binding only; prompt-only LLM outputs are not simulated"
|
|
@@ -30,12 +30,12 @@
|
|
|
30
30
|
"formal_h_satisfied": false,
|
|
31
31
|
"human_reference": false,
|
|
32
32
|
"input_binding": {
|
|
33
|
-
"input_hash": "sha256:
|
|
33
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
34
34
|
"path": "simulation-input.json"
|
|
35
35
|
},
|
|
36
36
|
"network_allowed": false,
|
|
37
37
|
"production_effect": "none",
|
|
38
|
-
"result_hash": "sha256:
|
|
38
|
+
"result_hash": "sha256:fcaf68ab4c58ea790b7bdac6dbdd43bb69fde74450df0cb90fe9baab72723e78",
|
|
39
39
|
"results": {
|
|
40
40
|
"blocked_fail_closed_count": 0,
|
|
41
41
|
"completion_status": "completed_machine_simulation",
|
|
@@ -55,18 +55,18 @@
|
|
|
55
55
|
"structured_decision_hash": "sha256:3c8bc0bab2865cf2f92e3cbcb1dce6d5bc6c4219004bae09a88f3a010057eb85"
|
|
56
56
|
},
|
|
57
57
|
{
|
|
58
|
-
"anonymous_method_hash": "sha256:
|
|
59
|
-
"deterministic_core_hash": "sha256:
|
|
58
|
+
"anonymous_method_hash": "sha256:9f75bea5d4df5ca9568a1f23bb8d85664f07f752b69235b101929e064135f75f",
|
|
59
|
+
"deterministic_core_hash": "sha256:a20f6d80d48d021a5c7b72fef1a74e42f528027710015c962d4d556ac1e6c4da",
|
|
60
60
|
"fact_pack_hash": "sha256:f69c424fb4ab9bb147ca933702857366ea492f8e988bfb2aeeb4e64df2c32706",
|
|
61
|
-
"frozen_decision_hash": "sha256:
|
|
61
|
+
"frozen_decision_hash": "sha256:234e552565bac7e446160dcf086dfde730ede400f03238d57d50d6e231de2ab8",
|
|
62
62
|
"native_state": "provisional_reject",
|
|
63
|
-
"pack_hash": "sha256:
|
|
63
|
+
"pack_hash": "sha256:f960a6c7061ae791935590e8d045478a65ea451335aceaed5c275894a9b8c9d7",
|
|
64
64
|
"persona_id": "master_graham",
|
|
65
|
-
"policy_execution_hash": "sha256:
|
|
65
|
+
"policy_execution_hash": "sha256:d3412e038f48794eaf1822ffbe7492c1756877ba6f9e9a735ae84631c5f0a3be",
|
|
66
66
|
"score_ratio": 0.6666666666666666,
|
|
67
67
|
"stance": "opposed",
|
|
68
68
|
"status": "executed",
|
|
69
|
-
"structured_decision_hash": "sha256:
|
|
69
|
+
"structured_decision_hash": "sha256:50c4dc6b37d568f3ef9fb44d5e6df96934647dc64830e8b76b3751039e962908"
|
|
70
70
|
},
|
|
71
71
|
{
|
|
72
72
|
"anonymous_method_hash": "sha256:897de3a4d8083b8a41f2203cc3e6b22c19ba01418d957d8c7272d39f41e1b9ba",
|
|
@@ -125,18 +125,18 @@
|
|
|
125
125
|
"structured_decision_hash": "sha256:681107df21fe8be65cc2e1ed044625466f9d0ac900b28f8eaaa79614d87d37f7"
|
|
126
126
|
},
|
|
127
127
|
{
|
|
128
|
-
"anonymous_method_hash": "sha256:
|
|
129
|
-
"deterministic_core_hash": "sha256:
|
|
128
|
+
"anonymous_method_hash": "sha256:992b5268a4549c4e5723c6dceb0b65a0aa1f03dbe906dca95da34e5b0469e344",
|
|
129
|
+
"deterministic_core_hash": "sha256:8c2b1adcaab9d55ff5bab83b7ed62fa4250dd65acd3988b21571c4b6d71c1d8a",
|
|
130
130
|
"fact_pack_hash": "sha256:6735e9705be48f6b9c19db94360b13ad6727db15e288c4e1225664ddd1d1a5a1",
|
|
131
|
-
"frozen_decision_hash": "sha256:
|
|
131
|
+
"frozen_decision_hash": "sha256:779b9a62a801452bc1b48e809692f25d10348c43978a44d9e860b2706d84dbfe",
|
|
132
132
|
"native_state": "provisional_watch",
|
|
133
|
-
"pack_hash": "sha256:
|
|
133
|
+
"pack_hash": "sha256:8ee9e13deaadaeef3065feb7bb5b39382181338cf1055b769b153cad4c308ce4",
|
|
134
134
|
"persona_id": "master_pabrai",
|
|
135
|
-
"policy_execution_hash": "sha256:
|
|
135
|
+
"policy_execution_hash": "sha256:87a2a8034242271ddea852302c001d0e0ef35de1b75cd01c5041d436693da2b0",
|
|
136
136
|
"score_ratio": 0.6666666666666666,
|
|
137
137
|
"stance": "cautious",
|
|
138
138
|
"status": "executed",
|
|
139
|
-
"structured_decision_hash": "sha256:
|
|
139
|
+
"structured_decision_hash": "sha256:200220879e34db72003a0570b0408c74da25aaa505bb72f015efed0cf974fc97"
|
|
140
140
|
},
|
|
141
141
|
{
|
|
142
142
|
"anonymous_method_hash": "sha256:40e8c2fc7e7e7379c93fb65429cc35cd559b98873aae505ebdaf85aaf8e977bb",
|
|
@@ -234,7 +234,7 @@
|
|
|
234
234
|
"verifier_checks": []
|
|
235
235
|
},
|
|
236
236
|
"reviewer_kind": "ai",
|
|
237
|
-
"run_artifact_hash": "sha256:
|
|
237
|
+
"run_artifact_hash": "sha256:6e5ae1711c012a4a7bb670090485ed071f5fdb66f33145e3adf9fb394c2231df",
|
|
238
238
|
"run_id": "D13",
|
|
239
239
|
"schema_version": 1,
|
|
240
240
|
"simulation_scope": "13 physical provisional deterministic seats on frozen synthetic typed facts"
|
|
@@ -44,12 +44,12 @@
|
|
|
44
44
|
"formal_h_satisfied": false,
|
|
45
45
|
"human_reference": false,
|
|
46
46
|
"input_binding": {
|
|
47
|
-
"input_hash": "sha256:
|
|
47
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
48
48
|
"path": "simulation-input.json"
|
|
49
49
|
},
|
|
50
50
|
"network_allowed": false,
|
|
51
51
|
"production_effect": "none",
|
|
52
|
-
"result_hash": "sha256:
|
|
52
|
+
"result_hash": "sha256:60f6be2cd9f6592112477193e168f38ab6c87bc97e2e6f6988a41d3ab93c1a1e",
|
|
53
53
|
"results": {
|
|
54
54
|
"blocked_fail_closed_count": 1,
|
|
55
55
|
"completion_status": "completed_machine_simulation",
|
|
@@ -81,18 +81,18 @@
|
|
|
81
81
|
"structured_decision_hash": "sha256:1f311deaad734cbe73028eeefe08e2a967ad680a182cc415469bde700f01b490"
|
|
82
82
|
},
|
|
83
83
|
{
|
|
84
|
-
"anonymous_method_hash": "sha256:
|
|
85
|
-
"deterministic_core_hash": "sha256:
|
|
84
|
+
"anonymous_method_hash": "sha256:9f75bea5d4df5ca9568a1f23bb8d85664f07f752b69235b101929e064135f75f",
|
|
85
|
+
"deterministic_core_hash": "sha256:a20f6d80d48d021a5c7b72fef1a74e42f528027710015c962d4d556ac1e6c4da",
|
|
86
86
|
"fact_pack_hash": "sha256:f69c424fb4ab9bb147ca933702857366ea492f8e988bfb2aeeb4e64df2c32706",
|
|
87
|
-
"frozen_decision_hash": "sha256:
|
|
87
|
+
"frozen_decision_hash": "sha256:234e552565bac7e446160dcf086dfde730ede400f03238d57d50d6e231de2ab8",
|
|
88
88
|
"native_state": "provisional_reject",
|
|
89
|
-
"pack_hash": "sha256:
|
|
89
|
+
"pack_hash": "sha256:f960a6c7061ae791935590e8d045478a65ea451335aceaed5c275894a9b8c9d7",
|
|
90
90
|
"persona_id": "master_graham",
|
|
91
|
-
"policy_execution_hash": "sha256:
|
|
91
|
+
"policy_execution_hash": "sha256:d3412e038f48794eaf1822ffbe7492c1756877ba6f9e9a735ae84631c5f0a3be",
|
|
92
92
|
"score_ratio": 0.6666666666666666,
|
|
93
93
|
"stance": "opposed",
|
|
94
94
|
"status": "executed",
|
|
95
|
-
"structured_decision_hash": "sha256:
|
|
95
|
+
"structured_decision_hash": "sha256:50c4dc6b37d568f3ef9fb44d5e6df96934647dc64830e8b76b3751039e962908"
|
|
96
96
|
},
|
|
97
97
|
{
|
|
98
98
|
"anonymous_method_hash": "sha256:8b5e33a808364beb9174b2c54d21b88c86b36a4428a066136db4987b26c1a828",
|
|
@@ -319,32 +319,32 @@
|
|
|
319
319
|
"structured_decision_hash": "sha256:681107df21fe8be65cc2e1ed044625466f9d0ac900b28f8eaaa79614d87d37f7"
|
|
320
320
|
},
|
|
321
321
|
{
|
|
322
|
-
"anonymous_method_hash": "sha256:
|
|
323
|
-
"deterministic_core_hash": "sha256:
|
|
322
|
+
"anonymous_method_hash": "sha256:47bf9d68671a5328275480eea9fea1ca3712ef761bcb23bf76f85643c9116e4f",
|
|
323
|
+
"deterministic_core_hash": "sha256:d899dad2f478d8465e55acf5854a7872484fa53dcad0b310c6cdc4f51c2f133b",
|
|
324
324
|
"fact_pack_hash": "sha256:0b481c9b13e34ec6465e5007d364473d71c462e3940726744fa6f91b9646f4d3",
|
|
325
|
-
"frozen_decision_hash": "sha256:
|
|
325
|
+
"frozen_decision_hash": "sha256:40c289c8d230547674eb3a04cc029b91ad3b4781093cb135152cc7ef6a8a3ef6",
|
|
326
326
|
"native_state": "provisional_absolute_return_candidate",
|
|
327
|
-
"pack_hash": "sha256:
|
|
327
|
+
"pack_hash": "sha256:a09fec122e5d4f43d8885a5b00e354d259768c7f4648c9f0eebb358cf0461134",
|
|
328
328
|
"persona_id": "master_klarman",
|
|
329
|
-
"policy_execution_hash": "sha256:
|
|
329
|
+
"policy_execution_hash": "sha256:67d06b995c5ef1fa3ce84e344cb0c2d30a703a3682144e2a89d4f10314624109",
|
|
330
330
|
"score_ratio": 1,
|
|
331
331
|
"stance": "constructive",
|
|
332
332
|
"status": "executed",
|
|
333
|
-
"structured_decision_hash": "sha256:
|
|
333
|
+
"structured_decision_hash": "sha256:095f5331acb2dcbbe883f49592ff723eb27495f82a9e1fcf74336e6301b9f08f"
|
|
334
334
|
},
|
|
335
335
|
{
|
|
336
|
-
"anonymous_method_hash": "sha256:
|
|
337
|
-
"deterministic_core_hash": "sha256:
|
|
336
|
+
"anonymous_method_hash": "sha256:992b5268a4549c4e5723c6dceb0b65a0aa1f03dbe906dca95da34e5b0469e344",
|
|
337
|
+
"deterministic_core_hash": "sha256:8c2b1adcaab9d55ff5bab83b7ed62fa4250dd65acd3988b21571c4b6d71c1d8a",
|
|
338
338
|
"fact_pack_hash": "sha256:6735e9705be48f6b9c19db94360b13ad6727db15e288c4e1225664ddd1d1a5a1",
|
|
339
|
-
"frozen_decision_hash": "sha256:
|
|
339
|
+
"frozen_decision_hash": "sha256:779b9a62a801452bc1b48e809692f25d10348c43978a44d9e860b2706d84dbfe",
|
|
340
340
|
"native_state": "provisional_watch",
|
|
341
|
-
"pack_hash": "sha256:
|
|
341
|
+
"pack_hash": "sha256:8ee9e13deaadaeef3065feb7bb5b39382181338cf1055b769b153cad4c308ce4",
|
|
342
342
|
"persona_id": "master_pabrai",
|
|
343
|
-
"policy_execution_hash": "sha256:
|
|
343
|
+
"policy_execution_hash": "sha256:87a2a8034242271ddea852302c001d0e0ef35de1b75cd01c5041d436693da2b0",
|
|
344
344
|
"score_ratio": 0.6666666666666666,
|
|
345
345
|
"stance": "cautious",
|
|
346
346
|
"status": "executed",
|
|
347
|
-
"structured_decision_hash": "sha256:
|
|
347
|
+
"structured_decision_hash": "sha256:200220879e34db72003a0570b0408c74da25aaa505bb72f015efed0cf974fc97"
|
|
348
348
|
},
|
|
349
349
|
{
|
|
350
350
|
"anonymous_method_hash": "sha256:897de3a4d8083b8a41f2203cc3e6b22c19ba01418d957d8c7272d39f41e1b9ba",
|
|
@@ -449,7 +449,7 @@
|
|
|
449
449
|
"verifier_checks": []
|
|
450
450
|
},
|
|
451
451
|
"reviewer_kind": "ai",
|
|
452
|
-
"run_artifact_hash": "sha256:
|
|
452
|
+
"run_artifact_hash": "sha256:184b9acfc9670ced5e8a41f346a3f6fc90d3e7f5db5f6093f61e4425d267d527",
|
|
453
453
|
"run_id": "D26",
|
|
454
454
|
"schema_version": 1,
|
|
455
455
|
"simulation_scope": "27 physical provisional deterministic seats on frozen synthetic typed facts"
|
|
@@ -30,12 +30,12 @@
|
|
|
30
30
|
"formal_h_satisfied": false,
|
|
31
31
|
"human_reference": false,
|
|
32
32
|
"input_binding": {
|
|
33
|
-
"input_hash": "sha256:
|
|
33
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
34
34
|
"path": "simulation-input.json"
|
|
35
35
|
},
|
|
36
36
|
"network_allowed": false,
|
|
37
37
|
"production_effect": "none",
|
|
38
|
-
"result_hash": "sha256:
|
|
38
|
+
"result_hash": "sha256:f77176ca2d3788eb4bcd741ae4d7de67fa0daa57e4049f6dbe26b45ce9d3b587",
|
|
39
39
|
"results": {
|
|
40
40
|
"blocked_fail_closed_count": 0,
|
|
41
41
|
"completion_status": "completed_machine_simulation",
|
|
@@ -55,18 +55,18 @@
|
|
|
55
55
|
"structured_decision_hash": "sha256:3c8bc0bab2865cf2f92e3cbcb1dce6d5bc6c4219004bae09a88f3a010057eb85"
|
|
56
56
|
},
|
|
57
57
|
{
|
|
58
|
-
"anonymous_method_hash": "sha256:
|
|
59
|
-
"deterministic_core_hash": "sha256:
|
|
58
|
+
"anonymous_method_hash": "sha256:9f75bea5d4df5ca9568a1f23bb8d85664f07f752b69235b101929e064135f75f",
|
|
59
|
+
"deterministic_core_hash": "sha256:a20f6d80d48d021a5c7b72fef1a74e42f528027710015c962d4d556ac1e6c4da",
|
|
60
60
|
"fact_pack_hash": "sha256:f69c424fb4ab9bb147ca933702857366ea492f8e988bfb2aeeb4e64df2c32706",
|
|
61
|
-
"frozen_decision_hash": "sha256:
|
|
61
|
+
"frozen_decision_hash": "sha256:234e552565bac7e446160dcf086dfde730ede400f03238d57d50d6e231de2ab8",
|
|
62
62
|
"native_state": "provisional_reject",
|
|
63
|
-
"pack_hash": "sha256:
|
|
63
|
+
"pack_hash": "sha256:f960a6c7061ae791935590e8d045478a65ea451335aceaed5c275894a9b8c9d7",
|
|
64
64
|
"persona_id": "master_graham",
|
|
65
|
-
"policy_execution_hash": "sha256:
|
|
65
|
+
"policy_execution_hash": "sha256:d3412e038f48794eaf1822ffbe7492c1756877ba6f9e9a735ae84631c5f0a3be",
|
|
66
66
|
"score_ratio": 0.6666666666666666,
|
|
67
67
|
"stance": "opposed",
|
|
68
68
|
"status": "executed",
|
|
69
|
-
"structured_decision_hash": "sha256:
|
|
69
|
+
"structured_decision_hash": "sha256:50c4dc6b37d568f3ef9fb44d5e6df96934647dc64830e8b76b3751039e962908"
|
|
70
70
|
},
|
|
71
71
|
{
|
|
72
72
|
"anonymous_method_hash": "sha256:897de3a4d8083b8a41f2203cc3e6b22c19ba01418d957d8c7272d39f41e1b9ba",
|
|
@@ -125,18 +125,18 @@
|
|
|
125
125
|
"structured_decision_hash": "sha256:681107df21fe8be65cc2e1ed044625466f9d0ac900b28f8eaaa79614d87d37f7"
|
|
126
126
|
},
|
|
127
127
|
{
|
|
128
|
-
"anonymous_method_hash": "sha256:
|
|
129
|
-
"deterministic_core_hash": "sha256:
|
|
128
|
+
"anonymous_method_hash": "sha256:992b5268a4549c4e5723c6dceb0b65a0aa1f03dbe906dca95da34e5b0469e344",
|
|
129
|
+
"deterministic_core_hash": "sha256:8c2b1adcaab9d55ff5bab83b7ed62fa4250dd65acd3988b21571c4b6d71c1d8a",
|
|
130
130
|
"fact_pack_hash": "sha256:6735e9705be48f6b9c19db94360b13ad6727db15e288c4e1225664ddd1d1a5a1",
|
|
131
|
-
"frozen_decision_hash": "sha256:
|
|
131
|
+
"frozen_decision_hash": "sha256:779b9a62a801452bc1b48e809692f25d10348c43978a44d9e860b2706d84dbfe",
|
|
132
132
|
"native_state": "provisional_watch",
|
|
133
|
-
"pack_hash": "sha256:
|
|
133
|
+
"pack_hash": "sha256:8ee9e13deaadaeef3065feb7bb5b39382181338cf1055b769b153cad4c308ce4",
|
|
134
134
|
"persona_id": "master_pabrai",
|
|
135
|
-
"policy_execution_hash": "sha256:
|
|
135
|
+
"policy_execution_hash": "sha256:87a2a8034242271ddea852302c001d0e0ef35de1b75cd01c5041d436693da2b0",
|
|
136
136
|
"score_ratio": 0.6666666666666666,
|
|
137
137
|
"stance": "cautious",
|
|
138
138
|
"status": "executed",
|
|
139
|
-
"structured_decision_hash": "sha256:
|
|
139
|
+
"structured_decision_hash": "sha256:200220879e34db72003a0570b0408c74da25aaa505bb72f015efed0cf974fc97"
|
|
140
140
|
},
|
|
141
141
|
{
|
|
142
142
|
"anonymous_method_hash": "sha256:40e8c2fc7e7e7379c93fb65429cc35cd559b98873aae505ebdaf85aaf8e977bb",
|
|
@@ -234,13 +234,13 @@
|
|
|
234
234
|
"verifier_checks": [
|
|
235
235
|
{
|
|
236
236
|
"check_id": "physical_input_hash_binding",
|
|
237
|
-
"input_hash": "sha256:
|
|
237
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
238
238
|
"status": "pass"
|
|
239
239
|
},
|
|
240
240
|
{
|
|
241
241
|
"check_id": "deterministic_rederivation",
|
|
242
|
-
"first_result_hash": "sha256:
|
|
243
|
-
"repeated_result_hash": "sha256:
|
|
242
|
+
"first_result_hash": "sha256:f5f0214d062a4be4cc37b88f45935c549f148d36007a3a30fcb2bad5ad8d32d7",
|
|
243
|
+
"repeated_result_hash": "sha256:f5f0214d062a4be4cc37b88f45935c549f148d36007a3a30fcb2bad5ad8d32d7",
|
|
244
244
|
"status": "pass"
|
|
245
245
|
},
|
|
246
246
|
{
|
|
@@ -251,7 +251,7 @@
|
|
|
251
251
|
]
|
|
252
252
|
},
|
|
253
253
|
"reviewer_kind": "ai",
|
|
254
|
-
"run_artifact_hash": "sha256:
|
|
254
|
+
"run_artifact_hash": "sha256:76d61211082a3e02ac4e9196b5732183d6ca6c529e9e990622a228bc0e599bd5",
|
|
255
255
|
"run_id": "E:D13",
|
|
256
256
|
"schema_version": 1,
|
|
257
257
|
"simulation_scope": "D13 deterministic seats plus machine-only hash, rederivation and fail-closed checks"
|
|
@@ -44,12 +44,12 @@
|
|
|
44
44
|
"formal_h_satisfied": false,
|
|
45
45
|
"human_reference": false,
|
|
46
46
|
"input_binding": {
|
|
47
|
-
"input_hash": "sha256:
|
|
47
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
48
48
|
"path": "simulation-input.json"
|
|
49
49
|
},
|
|
50
50
|
"network_allowed": false,
|
|
51
51
|
"production_effect": "none",
|
|
52
|
-
"result_hash": "sha256:
|
|
52
|
+
"result_hash": "sha256:de7e06a9bf681eb8d55a26c5130bb2f4c8cd0f586958f4e659cdcad43d335315",
|
|
53
53
|
"results": {
|
|
54
54
|
"blocked_fail_closed_count": 1,
|
|
55
55
|
"completion_status": "completed_machine_simulation",
|
|
@@ -81,18 +81,18 @@
|
|
|
81
81
|
"structured_decision_hash": "sha256:1f311deaad734cbe73028eeefe08e2a967ad680a182cc415469bde700f01b490"
|
|
82
82
|
},
|
|
83
83
|
{
|
|
84
|
-
"anonymous_method_hash": "sha256:
|
|
85
|
-
"deterministic_core_hash": "sha256:
|
|
84
|
+
"anonymous_method_hash": "sha256:9f75bea5d4df5ca9568a1f23bb8d85664f07f752b69235b101929e064135f75f",
|
|
85
|
+
"deterministic_core_hash": "sha256:a20f6d80d48d021a5c7b72fef1a74e42f528027710015c962d4d556ac1e6c4da",
|
|
86
86
|
"fact_pack_hash": "sha256:f69c424fb4ab9bb147ca933702857366ea492f8e988bfb2aeeb4e64df2c32706",
|
|
87
|
-
"frozen_decision_hash": "sha256:
|
|
87
|
+
"frozen_decision_hash": "sha256:234e552565bac7e446160dcf086dfde730ede400f03238d57d50d6e231de2ab8",
|
|
88
88
|
"native_state": "provisional_reject",
|
|
89
|
-
"pack_hash": "sha256:
|
|
89
|
+
"pack_hash": "sha256:f960a6c7061ae791935590e8d045478a65ea451335aceaed5c275894a9b8c9d7",
|
|
90
90
|
"persona_id": "master_graham",
|
|
91
|
-
"policy_execution_hash": "sha256:
|
|
91
|
+
"policy_execution_hash": "sha256:d3412e038f48794eaf1822ffbe7492c1756877ba6f9e9a735ae84631c5f0a3be",
|
|
92
92
|
"score_ratio": 0.6666666666666666,
|
|
93
93
|
"stance": "opposed",
|
|
94
94
|
"status": "executed",
|
|
95
|
-
"structured_decision_hash": "sha256:
|
|
95
|
+
"structured_decision_hash": "sha256:50c4dc6b37d568f3ef9fb44d5e6df96934647dc64830e8b76b3751039e962908"
|
|
96
96
|
},
|
|
97
97
|
{
|
|
98
98
|
"anonymous_method_hash": "sha256:8b5e33a808364beb9174b2c54d21b88c86b36a4428a066136db4987b26c1a828",
|
|
@@ -319,32 +319,32 @@
|
|
|
319
319
|
"structured_decision_hash": "sha256:681107df21fe8be65cc2e1ed044625466f9d0ac900b28f8eaaa79614d87d37f7"
|
|
320
320
|
},
|
|
321
321
|
{
|
|
322
|
-
"anonymous_method_hash": "sha256:
|
|
323
|
-
"deterministic_core_hash": "sha256:
|
|
322
|
+
"anonymous_method_hash": "sha256:47bf9d68671a5328275480eea9fea1ca3712ef761bcb23bf76f85643c9116e4f",
|
|
323
|
+
"deterministic_core_hash": "sha256:d899dad2f478d8465e55acf5854a7872484fa53dcad0b310c6cdc4f51c2f133b",
|
|
324
324
|
"fact_pack_hash": "sha256:0b481c9b13e34ec6465e5007d364473d71c462e3940726744fa6f91b9646f4d3",
|
|
325
|
-
"frozen_decision_hash": "sha256:
|
|
325
|
+
"frozen_decision_hash": "sha256:40c289c8d230547674eb3a04cc029b91ad3b4781093cb135152cc7ef6a8a3ef6",
|
|
326
326
|
"native_state": "provisional_absolute_return_candidate",
|
|
327
|
-
"pack_hash": "sha256:
|
|
327
|
+
"pack_hash": "sha256:a09fec122e5d4f43d8885a5b00e354d259768c7f4648c9f0eebb358cf0461134",
|
|
328
328
|
"persona_id": "master_klarman",
|
|
329
|
-
"policy_execution_hash": "sha256:
|
|
329
|
+
"policy_execution_hash": "sha256:67d06b995c5ef1fa3ce84e344cb0c2d30a703a3682144e2a89d4f10314624109",
|
|
330
330
|
"score_ratio": 1,
|
|
331
331
|
"stance": "constructive",
|
|
332
332
|
"status": "executed",
|
|
333
|
-
"structured_decision_hash": "sha256:
|
|
333
|
+
"structured_decision_hash": "sha256:095f5331acb2dcbbe883f49592ff723eb27495f82a9e1fcf74336e6301b9f08f"
|
|
334
334
|
},
|
|
335
335
|
{
|
|
336
|
-
"anonymous_method_hash": "sha256:
|
|
337
|
-
"deterministic_core_hash": "sha256:
|
|
336
|
+
"anonymous_method_hash": "sha256:992b5268a4549c4e5723c6dceb0b65a0aa1f03dbe906dca95da34e5b0469e344",
|
|
337
|
+
"deterministic_core_hash": "sha256:8c2b1adcaab9d55ff5bab83b7ed62fa4250dd65acd3988b21571c4b6d71c1d8a",
|
|
338
338
|
"fact_pack_hash": "sha256:6735e9705be48f6b9c19db94360b13ad6727db15e288c4e1225664ddd1d1a5a1",
|
|
339
|
-
"frozen_decision_hash": "sha256:
|
|
339
|
+
"frozen_decision_hash": "sha256:779b9a62a801452bc1b48e809692f25d10348c43978a44d9e860b2706d84dbfe",
|
|
340
340
|
"native_state": "provisional_watch",
|
|
341
|
-
"pack_hash": "sha256:
|
|
341
|
+
"pack_hash": "sha256:8ee9e13deaadaeef3065feb7bb5b39382181338cf1055b769b153cad4c308ce4",
|
|
342
342
|
"persona_id": "master_pabrai",
|
|
343
|
-
"policy_execution_hash": "sha256:
|
|
343
|
+
"policy_execution_hash": "sha256:87a2a8034242271ddea852302c001d0e0ef35de1b75cd01c5041d436693da2b0",
|
|
344
344
|
"score_ratio": 0.6666666666666666,
|
|
345
345
|
"stance": "cautious",
|
|
346
346
|
"status": "executed",
|
|
347
|
-
"structured_decision_hash": "sha256:
|
|
347
|
+
"structured_decision_hash": "sha256:200220879e34db72003a0570b0408c74da25aaa505bb72f015efed0cf974fc97"
|
|
348
348
|
},
|
|
349
349
|
{
|
|
350
350
|
"anonymous_method_hash": "sha256:897de3a4d8083b8a41f2203cc3e6b22c19ba01418d957d8c7272d39f41e1b9ba",
|
|
@@ -449,13 +449,13 @@
|
|
|
449
449
|
"verifier_checks": [
|
|
450
450
|
{
|
|
451
451
|
"check_id": "physical_input_hash_binding",
|
|
452
|
-
"input_hash": "sha256:
|
|
452
|
+
"input_hash": "sha256:db8f31c70e4b4589561a53127b16985a8b9d09000ba536df3467eacf857d2d0c",
|
|
453
453
|
"status": "pass"
|
|
454
454
|
},
|
|
455
455
|
{
|
|
456
456
|
"check_id": "deterministic_rederivation",
|
|
457
|
-
"first_result_hash": "sha256:
|
|
458
|
-
"repeated_result_hash": "sha256:
|
|
457
|
+
"first_result_hash": "sha256:dbb01a7bdcaccf19f2f022ca64586dd0866fe1ce4f3d5c33ffad61efccc8e997",
|
|
458
|
+
"repeated_result_hash": "sha256:dbb01a7bdcaccf19f2f022ca64586dd0866fe1ce4f3d5c33ffad61efccc8e997",
|
|
459
459
|
"status": "pass"
|
|
460
460
|
},
|
|
461
461
|
{
|
|
@@ -466,7 +466,7 @@
|
|
|
466
466
|
]
|
|
467
467
|
},
|
|
468
468
|
"reviewer_kind": "ai",
|
|
469
|
-
"run_artifact_hash": "sha256:
|
|
469
|
+
"run_artifact_hash": "sha256:8120ff805d85265449c057f713f2684f06f409b5d0c288de3e3e620c220ec531",
|
|
470
470
|
"run_id": "E:D26",
|
|
471
471
|
"schema_version": 1,
|
|
472
472
|
"simulation_scope": "D26 deterministic seats plus machine-only hash, rederivation and fail-closed checks"
|