The Principia Machina/TPC-PY/vectors/yardstick corpus.json: Difference between revisions
TPC-PY source vectors/yardstick_corpus.json (0.1.0), SHA-256 5e82d2e217cfbded; conformed TPS 0.3.0; PROPOSED, not declared (CO-8) |
m 1 revision imported |
(No difference)
| |
Revision as of 04:53, 28 September 2026
{
"meta": {
"name": "tpc_yardstick_corpus",
"version": "0.1.0",
"status": "VERIFIED (both residences)",
"conforms_tps": "0.1.0 revision 4 (TPS 4.5: SR9 C1, C2, C4 on a declared, executable TMS entry; D100.1)",
"module": "tpc_yardstick 0.1.0 (tpc_zone 0.2.0, tpc_sr9 0.1.0)",
"suite": "sr9_synthetic_suite 0.1.0, verbatim",
"note": "Expectations hand-derived: a() R1=1 R2=2 R3=0 R4=0 R5=1 R6=1 R7=0; steps 3 1 1 1 2 2 2; only R4 fails SR1; R5 in LIM, R6 in OTHER. Both residences MUST reproduce every expect."
},
"cases": [
{
"id": "key/skel-R1",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "skel",
"rid": "R1",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"expect": "[OK,[0,1,3]]"
},
{
"id": "key/skel-R4-fails-SR1",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "skel",
"rid": "R4",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"expect": "[OK,[1,0,1]]"
},
{
"id": "key/comb-R1",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "comb",
"rid": "R1",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"note": "a + 0.5 s = 1 + 1.5",
"expect": "[OK,[0,2.5,3]]"
},
{
"id": "key/comb-R2",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "comb",
"rid": "R2",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"note": "2 + 0.5; ties R1 on the WSUM, S breaks the tie",
"expect": "[OK,[0,2.5,1]]"
},
{
"id": "key/lim-R5-uses-limiting-key",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "lim",
"rid": "R5",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"expect": "[OK,[0,-1,2]]"
},
{
"id": "key/lim-R1-uses-main-key",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "lim",
"rid": "R1",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"expect": "[OK,[0,1,3]]"
},
{
"id": "key/lim_main-R3-no-negative-zero",
"fn": "yardstick_key",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "lim_main",
"rid": "R3",
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
}
},
"note": "NEG of a(R3) = 0 is written 0, never -0",
"expect": "[OK,[0,0]]"
},
{
"id": "harness/skel",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "skel",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "the strike skeleton declared in the grammar reproduces increment 3's skeleton fixture",
"expect": "[OK,true,true,true,0]"
},
{
"id": "harness/comb",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "comb",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"expect": "[OK,true,true,true,0]"
},
{
"id": "checks/lim",
"fn": "yardstick_checks",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "lim",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "R5 (LIM) is keyed by -a: one more assumption lowers its key, exempt inside the declared DOMAIN",
"expect": "[OK,[true,[]],[true,[],[R5]],[true,[]]]"
},
{
"id": "checks/lim_main",
"fn": "yardstick_checks",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "lim_main",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "every MAIN record inverted and exempt; R5 (LIM) and R6 (OTHER) keep the main KEY and pass",
"expect": "[OK,[true,[]],[true,[],[R1,R2,R3,R4,R7]],[true,[]]]"
},
{
"id": "refused/naive-key-is-not-well-formed",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "naive",
"KEY": [
"A",
"S"
],
"LIMITING": []
}
]
},
"name": "naive",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "C1 fails by construction: KEY must begin with SR1",
"expect": "[REFUSED,TMS is not well-formed]"
},
{
"id": "refused/more-is-better-is-not-well-formed",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "more",
"KEY": [
"SR1",
"NEG:A",
"S"
],
"LIMITING": []
}
]
},
"name": "more",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "static C2 refuses it at entry",
"expect": "[REFUSED,TMS is not well-formed]"
},
{
"id": "refused/no-such-yardstick",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "nope",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"expect": "[REFUSED,no yardstick named nope]"
},
{
"id": "refused/name-escaped",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "xy",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"expect": "[REFUSED,no yardstick named x<U+202E>y]"
},
{
"id": "refused/field-awaits-c16",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "field",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"expect": "[REFUSED,FIELD terms await the record field schema (C-16)]"
},
{
"id": "refused/weight-not-finite",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "big",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"expect": "[REFUSED,weight w_big is not a finite double]"
},
{
"id": "refused/value-not-finite",
"fn": "yardstick_harness",
"input": {
"tms": {
"PARAMETERS": {
"STEP_CONVENTION": "one inference rule is one step",
"K": "2",
"N_X": 2,
"S_MAX": 10
},
"CONSTANTS": [
{
"NAME": "w_a",
"VALUE": "1"
},
{
"NAME": "w_s",
"VALUE": "0.5"
},
{
"NAME": "w_big",
"VALUE": "1e400"
},
{
"NAME": "w_huge",
"VALUE": "1e308"
}
],
"YARDSTICKS": [
{
"NAME": "skel",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": []
},
{
"NAME": "comb",
"KEY": [
"SR1",
"WSUM:w_a*A;w_s*S",
"S"
],
"LIMITING": []
},
{
"NAME": "lim",
"KEY": [
"SR1",
"A",
"S"
],
"LIMITING": [
{
"DOMAIN": "LIM",
"KEY": [
"SR1",
"NEG:A",
"S"
]
}
]
},
{
"NAME": "lim_main",
"KEY": [
"SR1",
"A"
],
"LIMITING": [
{
"DOMAIN": "MAIN",
"KEY": [
"SR1",
"NEG:A"
]
}
]
},
{
"NAME": "field",
"KEY": [
"SR1",
"FIELD:VALUE"
],
"LIMITING": []
},
{
"NAME": "big",
"KEY": [
"SR1",
"WSUM:w_big*S"
],
"LIMITING": []
},
{
"NAME": "huge",
"KEY": [
"SR1",
"WSUM:w_huge*A;w_huge*S"
],
"LIMITING": []
}
]
},
"name": "huge",
"suite": {
"name": "sr9_synthetic_suite",
"version": "0.1.0",
"tfk_assumptions": [],
"records": {
"R1": {
"regime": "L",
"assumptions": [
"A1"
],
"cites": [],
"steps": 3,
"domain": "MAIN",
"sr1_fail": false
},
"R2": {
"regime": "L",
"assumptions": [
"A1",
"A2"
],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R3": {
"regime": "M",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": false
},
"R4": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 1,
"domain": "MAIN",
"sr1_fail": true
},
"R5": {
"regime": "L",
"assumptions": [
"A3"
],
"cites": [],
"steps": 2,
"domain": "LIM",
"sr1_fail": false
},
"R6": {
"regime": "M",
"assumptions": [
"A4"
],
"cites": [],
"steps": 2,
"domain": "OTHER",
"sr1_fail": false
},
"R7": {
"regime": "L",
"assumptions": [],
"cites": [],
"steps": 2,
"domain": "MAIN",
"sr1_fail": false
}
},
"contradictions": [
[
"R1",
"R3"
],
[
"R2",
"R3"
],
[
"R7",
"R3"
]
]
}
},
"note": "1e308*a + 1e308*s overflows to infinity",
"expect": "[REFUSED,a yardstick value is not finite]"
}
]
}