# -*- coding: utf-8 -*-
"""原创离线合成样例；不连接模型、不读取账户。输出位于脚本旁。
已有输入保留，修改输入后可以重跑。失败边界由 --negative 单独演示。
"""
from pathlib import Path
import sys, json, csv, math, io, hashlib, html, base64, re
sys.stdout.reconfigure(encoding='utf-8')
sys.stderr.reconfigure(encoding='utf-8')
BASE = Path(__file__).resolve().parent
NEG = '--negative' in sys.argv
def write(name, value):
p=BASE/name; p.parent.mkdir(parents=True,exist_ok=True)
if isinstance(value,bytes): p.write_bytes(value)
else: p.write_text(value,encoding='utf-8',newline='')
def seed(name,value):
if not (BASE/name).exists(): write(name,value)
def jwrite(name,value): write(name,json.dumps(value,ensure_ascii=False,indent=2))
def jseed(name,value):
if not (BASE/name).exists(): jwrite(name,value)
def load(name): return json.loads((BASE/name).read_text(encoding='utf-8'))
def table(name,heads,rows):
f=io.StringIO(newline='');w=csv.writer(f);w.writerow(heads);w.writerows(rows);write(name,f.getvalue())
def page(name,title,body):
write(name,''+html.escape(title)+''+html.escape(title)+'
'+body+'')
def emit(data): print(json.dumps(data,ensure_ascii=False))
seed('tasks.csv','task,duration,predecessors\nA,2,\nB,3,A\nC,4,A\nD,2,B;C\n')
tasks={r['task']:{'d':int(r['duration']),'pre':[x for x in r['predecessors'].split(';') if x]} for r in csv.DictReader((BASE/'tasks.csv').open())}
if NEG:tasks['A']['pre']=['D']
order=[];es={};ef={}
while len(order)