Property-Separated Assurance Reproducibility Package v2.0.0

Résumé fourni par la source

Final-manuscript reproducibility package for the Property-Separated Assurance study on semantic-to-optimization manufacturing scheduling. Version 2.0.0 preserves the frozen v1.0.0 semantic, authority, P2, and legacy reconstruction evidence and adds: the final P1 and OB1–OB7 specifications; preregistered P3 controlled negative-control evidence; repaired OB6 consistency / OB7 completeness separation; bounded assurance implementation-cost evidence; an offline Python verifier for the complete frozen evidence set. The package can be verified without external model calls, optimizer execution, network access, or access to the production scheduling system. Run: python scripts/verify_repro_v2.py Expected result: VERIFY_PROPERTY_SEPARATED_ASSURANCE_REPRO_V2=PASS The historical v1.0.0 release remains available as the original minimal reproducibility package. V2 release archive SHA-256 d084438e9653a476f6e5271bc22c437092b2907c8ec7812bf44914044d55403d

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.