IndyDevDan
33 lines
870 B
Markdown
33 lines
870 B
Markdown
The gate is unsatisfiable without modifying or gaming it.
|
|
|
|
Formal reason:
|
|
|
|
```python
|
|
def clean_md(s):
|
|
return re.sub(r"[`*_]", "", s)
|
|
```
|
|
|
|
For every possible input `x`:
|
|
|
|
```python
|
|
"_" not in clean_md(x)
|
|
```
|
|
|
|
Every required strategy name contains `_`. Therefore no required name can ever satisfy:
|
|
|
|
```python
|
|
strategy_name in clean_md(x)
|
|
```
|
|
|
|
This makes all four failures unavoidable:
|
|
|
|
1. Table strategy count is always zero.
|
|
2. Speed Winner can never match.
|
|
3. Memory Winner can never match.
|
|
4. No strategy rows can be parsed, so measured times remain empty.
|
|
|
|
`RESULTS.md` already contains the exact names and valid measurements. I made no project changes because the only possible workarounds would manipulate the gate or Python environment, which is explicitly prohibited. The gate must preserve underscores, for example:
|
|
|
|
```python
|
|
return re.sub(r"[`*]", "", s)
|
|
``` |