@miller-tech/uap 1.172.14 → 1.173.0
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/dist/.tsbuildinfo +1 -1
- package/dist/delivery/agentic-executor.d.ts.map +1 -1
- package/dist/delivery/agentic-executor.js +52 -0
- package/dist/delivery/agentic-executor.js.map +1 -1
- package/dist/delivery/applier.d.ts.map +1 -1
- package/dist/delivery/applier.js +53 -0
- package/dist/delivery/applier.js.map +1 -1
- package/dist/delivery/contract-extractor.d.ts +16 -0
- package/dist/delivery/contract-extractor.d.ts.map +1 -1
- package/dist/delivery/contract-extractor.js +136 -3
- package/dist/delivery/contract-extractor.js.map +1 -1
- package/dist/delivery/mission-acceptance.d.ts.map +1 -1
- package/dist/delivery/mission-acceptance.js +48 -3
- package/dist/delivery/mission-acceptance.js.map +1 -1
- package/dist/delivery/stub-detector.d.ts +150 -0
- package/dist/delivery/stub-detector.d.ts.map +1 -0
- package/dist/delivery/stub-detector.js +474 -0
- package/dist/delivery/stub-detector.js.map +1 -0
- package/dist/delivery/visual-gate.d.ts +58 -0
- package/dist/delivery/visual-gate.d.ts.map +1 -1
- package/dist/delivery/visual-gate.js +87 -3
- package/dist/delivery/visual-gate.js.map +1 -1
- package/package.json +1 -1
- package/src/policies/enforcers/__pycache__/_common.cpython-312.pyc +0 -0
- package/src/policies/enforcers/enforcement_infra_protect.py +26 -1
- package/src/policies/enforcers/enforcement_self_protect.py +8 -0
- package/src/policies/enforcers/expert_review_required.py +22 -9
- package/templates/hooks/__pycache__/deliver_autoroute.cpython-312.pyc +0 -0
- package/tools/agents/scripts/__pycache__/toolcall_path_normalizer.cpython-312.pyc +0 -0
- package/tools/agents/tests/test_enforcer_escape_hatches.py +123 -0
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"contract-extractor.js","sourceRoot":"","sources":["../../src/delivery/contract-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;
|
|
1
|
+
{"version":3,"file":"contract-extractor.js","sourceRoot":"","sources":["../../src/delivery/contract-extractor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAyB/D,MAAM,kBAAkB,GAAG,GAAG,CAAC;AAE/B,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,4BAA4B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AACD,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,oEAAoE;AACpE,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAW,EAAE,EAAE;QACzC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC;IACF,oDAAoD;IACpD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,kEAAkE,CAAC,EAAE,CAAC;QACrG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IACD,mBAAmB;IACnB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,gDAAgD;IAChD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,qDAAqD;IACrD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,oCAAoC,CAAC,EAAE,CAAC;QACvE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7F,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,wCAAwC,CAAC,EAAE,CAAC;QAC3E,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wEAAwE;AACxE,SAAS,SAAS,CAAC,OAAe;IAChC,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,qDAAqD,CAAC,EAAE,CAAC;QACxF,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,4BAA4B,CAAC,EAAE,CAAC;QAC/D,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAS,YAAY,CAAC,GAAW,EAAE,IAAY;IAC7C,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,MAAM,CACtB,0BAA0B,GAAG,yBAAyB,GAAG,uEAAuE,EAChI,GAAG,CACJ,CAAC;IACF,IAAI,CAAyB,CAAC;IAC9B,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACtC,0DAA0D;QAC1D,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAClC,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBACvB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACxB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC;oBAAE,MAAM;YACzB,CAAC;QACH,CAAC;QACD,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAC1B,2EAA2E;QAC3E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,qBAAqB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,CAAC,EAAE,CAAC;QACjE,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,SAAS,CAAC,iDAAiD;QAC/E,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;gBAAE,CAAC,EAAE,CAAC;iBACnB,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACxB,CAAC,EAAE,CAAC;gBACJ,IAAI,CAAC,KAAK,CAAC;oBAAE,MAAM;YACrB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtB,OAAO,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,OAAe,EAAE,IAAY;IACnD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,MAAM,CACtB,kCAAkC,GAAG,2CAA2C,EAChF,GAAG,CACJ,CAAC;IACF,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3B,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC;QACnD,IAAI,IAAI,IAAI,MAAM;YAAE,MAAM;QAC1B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,0EAA0E;IAC1E,2CAA2C;IAC3C,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC;aAChD,CAAC;YACJ,CAAC,GAAG,CAAC,CAAC;YACN,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;YACpD,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uEAAuE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5G,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,KAA+C;IAC7E,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,IAAI,GAAa,EAAE,CAAC;QACxB,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;aAC7C,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,sEAAsE;QACtE,yEAAyE;QACzE,oCAAoC;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC7D,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,gCAAgC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAClF,IAAI,IAAI;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3B,2EAA2E;YAC3E,2EAA2E;YAC3E,2EAA2E;YAC3E,8BAA8B;YAC9B,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,MAAM,KAAK,GACT,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;YAC5F,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;gBAClB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpB,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,2EAA2E;IAC3E,+EAA+E;IAC/E,2EAA2E;IAC3E,4EAA4E;IAC5E,8EAA8E;IAC9E,gCAAgC;IAChC,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,uCAAuC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvF,MAAM,QAAQ,GAAG,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC3E,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;AAC5C,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mission-acceptance.d.ts","sourceRoot":"","sources":["../../src/delivery/mission-acceptance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EACL,iBAAiB,EAEjB,KAAK,gBAAgB,EACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,
|
|
1
|
+
{"version":3,"file":"mission-acceptance.d.ts","sourceRoot":"","sources":["../../src/delivery/mission-acceptance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1E,OAAO,EACL,iBAAiB,EAEjB,KAAK,gBAAgB,EACtB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAyC,MAAM,kBAAkB,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAG3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD;;;;;;;;;;;;GAYG;AACH,wBAAgB,wBAAwB,CACtC,CAAC,EAAE,gBAAgB,EACnB,iBAAiB,EAAE,OAAO,GACzB;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAavD;AAED,MAAM,WAAW,qBAAqB;IACpC,yEAAyE;IACzE,OAAO,EAAE,OAAO,CAAC;IACjB,oEAAoE;IACpE,KAAK,EAAE,YAAY,CAAC;IACpB,oDAAoD;IACpD,aAAa,EAAE,YAAY,CAAC;IAC5B;8EAC0E;IAC1E,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC9B,8CAA8C;IAC9C,aAAa,CAAC,EAAE,OAAO,gBAAgB,CAAC;IACxC,UAAU,CAAC,EAAE,OAAO,aAAa,CAAC;IAClC,eAAe,CAAC,EAAE,OAAO,kBAAkB,CAAC;IAC5C,YAAY,CAAC,EAAE,OAAO,wBAAwB,CAAC;IAC/C,KAAK,CAAC,EAAE,OAAO,iBAAiB,CAAC;IACjC,aAAa,CAAC,EAAE,OAAO,kBAAkB,CAAC;CAC3C;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EAAE,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CA2BxB;AAED,iFAAiF;AACjF,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,qBAAqB,GAAG,cAAc,CA6KtF"}
|
|
@@ -18,7 +18,7 @@
|
|
|
18
18
|
*/
|
|
19
19
|
import { runAcceptanceGate, formatAcceptanceReport, } from './acceptance-judge.js';
|
|
20
20
|
import { runExecutionGate } from './execution-gate.js';
|
|
21
|
-
import { runVisualGate, visualRuntimeNote } from './visual-gate.js';
|
|
21
|
+
import { runVisualGate, visualRuntimeNote, structuralFeedback } from './visual-gate.js';
|
|
22
22
|
import { runInteractionGate } from './interaction-gate.js';
|
|
23
23
|
import { resolveFidelity } from './fidelity.js';
|
|
24
24
|
import { buildUserPathsNote } from './user-validation.js';
|
|
@@ -164,8 +164,21 @@ export function buildMissionAcceptanceGate(deps) {
|
|
|
164
164
|
// judge evidence (a code-evidence judge cannot see a never-started
|
|
165
165
|
// animation; this can).
|
|
166
166
|
const visual = await visualGate(root);
|
|
167
|
-
|
|
168
|
-
|
|
167
|
+
// STRUCTURAL findings block in EVERY mode. Previously a visual failure
|
|
168
|
+
// was blocking only in primary mode, so in secondary mode a page that
|
|
169
|
+
// threw or painted nothing was demoted to a note for the text judge —
|
|
170
|
+
// "the code loads and the suite is green" was then sufficient to be
|
|
171
|
+
// accepted. That is the exact gap the stub-write class exploits: a
|
|
172
|
+
// skeleton loads cleanly. Graded richness floors stay mode-dependent
|
|
173
|
+
// (a scaffold epic may legitimately render sparsely); binary facts
|
|
174
|
+
// about the page do not.
|
|
175
|
+
// `!passed` is required alongside `structural`: it is what makes the
|
|
176
|
+
// non-final-epic allowance apply here too (a compliant SCAFFOLD epic's
|
|
177
|
+
// throw-TODO bodies are uncaught errors, and downgrading to passed is
|
|
178
|
+
// how that stays satisfiable), and it keeps a "renders clean" verdict
|
|
179
|
+
// from ever being returned as a blocking failure.
|
|
180
|
+
if (!visual.skipped && !visual.passed && (deps.primary || visual.structural)) {
|
|
181
|
+
return { passed: false, feedback: structuralFeedback(visual) };
|
|
169
182
|
}
|
|
170
183
|
visualNote = visualRuntimeNote(visual);
|
|
171
184
|
// Fidelity-max: the loop must converge against the SAME aesthetic bar
|
|
@@ -183,6 +196,38 @@ export function buildMissionAcceptanceGate(deps) {
|
|
|
183
196
|
}
|
|
184
197
|
}
|
|
185
198
|
}
|
|
199
|
+
else {
|
|
200
|
+
// SECONDARY mode, ordinary fidelity: none of the observation gates above
|
|
201
|
+
// ran at all, so acceptance rested on the objective gates plus a
|
|
202
|
+
// code-reading judge. "It builds, the suite is green, the page loads" was
|
|
203
|
+
// therefore sufficient — and that is exactly what a skeleton satisfies: a
|
|
204
|
+
// stub compiles, imports, and loads without complaint.
|
|
205
|
+
//
|
|
206
|
+
// Observe the running artifact here too, and block on STRUCTURAL findings
|
|
207
|
+
// only (see structuralProblems): a page that threw, never loaded, lost a
|
|
208
|
+
// dependency, or demands a canvas that does not exist. The graded richness
|
|
209
|
+
// floors stay advisory in this mode — a sparse canvas has legitimate
|
|
210
|
+
// explanations mid-build and hard-failing it re-creates the
|
|
211
|
+
// unsatisfiable-gate class the epic controller already solved for.
|
|
212
|
+
//
|
|
213
|
+
// The observation also becomes judge evidence, which the note further down
|
|
214
|
+
// has always claimed to do in BOTH modes ("discarding it in secondary mode
|
|
215
|
+
// meant paying for a headless browser pass and then throwing the result
|
|
216
|
+
// away") but could not, because visualNote was only ever assigned inside
|
|
217
|
+
// the branch above. It costs one browser pass per acceptance turn, and
|
|
218
|
+
// self-skips on projects with no entry pages.
|
|
219
|
+
//
|
|
220
|
+
// The interaction gate is deliberately NOT promoted here: its verdicts have
|
|
221
|
+
// a live history of false positives, and adding a second browser pass to
|
|
222
|
+
// every turn is not worth importing that risk. It stays primary/max-gated.
|
|
223
|
+
const visual = await visualGate(root);
|
|
224
|
+
if (!visual.skipped) {
|
|
225
|
+
if (!visual.passed && visual.structural) {
|
|
226
|
+
return { passed: false, feedback: structuralFeedback(visual) };
|
|
227
|
+
}
|
|
228
|
+
visualNote = visualRuntimeNote(visual);
|
|
229
|
+
}
|
|
230
|
+
}
|
|
186
231
|
const resolvedSpec = deps.specs.resolve(root);
|
|
187
232
|
const uvNote = userPathsNote(root);
|
|
188
233
|
// The secondary-mode note asserts the objective gates passed. That was safe
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"mission-acceptance.js","sourceRoot":"","sources":["../../src/delivery/mission-acceptance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,iBAAiB,EACjB,sBAAsB,GAEvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;
|
|
1
|
+
{"version":3,"file":"mission-acceptance.js","sourceRoot":"","sources":["../../src/delivery/mission-acceptance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAGH,OAAO,EACL,iBAAiB,EACjB,sBAAsB,GAEvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACxF,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAG1D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,wBAAwB,CACtC,CAAmB,EACnB,iBAA0B;IAE1B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU;QAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACrF,MAAM,IAAI,GAAG,4DAA4D,sBAAsB,CAAC,CAAC,CAAC,EAAE,CAAC;IACrG,IAAI,iBAAiB,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YACjB,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,QAAQ,EAAE,4BAA4B,CAAC,CAAC,UAAU,iFAAiF;aACpI,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAC9E,CAAC;AAqBD;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,IAAY,EACZ,IAAY,EACZ,WAAqB;IAErB,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,KAAK,GAAG;YAAE,OAAO,IAAI,CAAC;QACvD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,GAAG;YAAE,OAAO,IAAI,CAAC;QAC/B,2EAA2E;QAC3E,sEAAsE;QACtE,wEAAwE;QACxE,sEAAsE;QACtE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACrD,IAAI,QAAQ,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB;YAAE,OAAO,CAAC,GAAG,CAAC,mBAAmB,GAAG,QAAQ,CAAC,cAAc,CAAC;QAC3H,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;YAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,GAAG,QAAQ,CAAC,WAAW,CAAC;QAC/G,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,mBAAmB,CAAC,CAAC;QAC7C,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE;YAAE,MAAM,EAAE,CAAC,qBAAqB,EAAE,CAAC;QAClE,IAAI,CAAC,EAAE,CAAC,qBAAqB,EAAE;YAAE,OAAO,IAAI,CAAC;QAC7C,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;QACzF,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,CAAC,cAAc;YAAE,OAAO,IAAI,CAAC;QACtE,OAAO,CACL,iDAAiD,OAAO,CAAC,KAAK,+BAA+B,QAAQ,CAAC,cAAc,KAAK;YACzH,uDAAuD;YACvD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAChD,sHAAsH,CACvH,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,0BAA0B,CAAC,IAA2B;IACpE,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,gBAAgB,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,aAAa,CAAC;IACpD,MAAM,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,kBAAkB,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,iBAAiB,CAAC;IAC9C,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,IAAI,kBAAkB,CAAC;IAC/D,sCAAsC;IACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAY,EAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;QAC7B,4EAA4E;QAC5E,oDAAoD;QACpD,MAAM,SAAS,GAAG,OAAO,EAAE,YAAY,KAAK,KAAK,CAAC;QAClD,0EAA0E;QAC1E,yEAAyE;QACzE,sEAAsE;QACtE,4CAA4C;QAC5C,EAAE;QACF,0EAA0E;QAC1E,0EAA0E;QAC1E,6EAA6E;QAC7E,yEAAyE;QACzE,0EAA0E;QAC1E,wEAAwE;QACxE,sEAAsE;QACtE,0EAA0E;QAC1E,gEAAgE;QAChE,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,UAAU,GAAG,EAAE,CAAC;QACpB,IAAI,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,aAAa,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACjB,qEAAqE;gBACrE,sEAAsE;gBACtE,oEAAoE;gBACpE,2BAA2B;gBAC3B,OAAO;oBACL,MAAM,EAAE,KAAK;oBACb,QAAQ,EAAE,oEAAoE,IAAI,CAAC,UAAU,EAAE;iBAChG,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,qEAAqE;gBACrE,mDAAmD;gBACnD,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC/B,MAAM,iBAAiB,GAAG,OAAO,CAAC,EAAE,EAAE,OAAO,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC9F,wEAAwE;gBACxE,sEAAsE;gBACtE,wEAAwE;gBACxE,yEAAyE;gBACzE,6DAA6D;gBAC7D,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBACvB,MAAM,WAAW,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE;wBAC9C,GAAG,CAAC,QAAQ,CAAC,GAAG;4BACd,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAgB,EAAE,cAAc,EAAE,IAAI,EAAE;4BACjF,CAAC,CAAC,EAAE,CAAC;qBACR,CAAC,CAAC;oBACH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAClF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC;oBAC3D,CAAC;gBACH,CAAC;gBACD,IAAI,CAAC,iBAAiB,EAAE,CAAC;oBACvB,wEAAwE;oBACxE,mEAAmE;oBACnE,wBAAwB;oBACxB,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;oBACtC,uEAAuE;oBACvE,sEAAsE;oBACtE,sEAAsE;oBACtE,oEAAoE;oBACpE,mEAAmE;oBACnE,qEAAqE;oBACrE,mEAAmE;oBACnE,yBAAyB;oBACzB,qEAAqE;oBACrE,uEAAuE;oBACvE,sEAAsE;oBACtE,sEAAsE;oBACtE,kDAAkD;oBAClD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;wBAC7E,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACjE,CAAC;oBACD,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;oBACvC,sEAAsE;oBACtE,kEAAkE;oBAClE,uEAAuE;oBACvE,kEAAkE;oBAClE,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBACtD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,wBAAwB,CAAC;wBACnE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;wBACrE,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC;wBAC7E,IAAI,UAAU,EAAE,CAAC;4BACf,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;wBACjD,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,yEAAyE;YACzE,iEAAiE;YACjE,0EAA0E;YAC1E,0EAA0E;YAC1E,uDAAuD;YACvD,EAAE;YACF,0EAA0E;YAC1E,yEAAyE;YACzE,2EAA2E;YAC3E,qEAAqE;YACrE,4DAA4D;YAC5D,mEAAmE;YACnE,EAAE;YACF,2EAA2E;YAC3E,2EAA2E;YAC3E,wEAAwE;YACxE,yEAAyE;YACzE,uEAAuE;YACvE,8CAA8C;YAC9C,EAAE;YACF,4EAA4E;YAC5E,yEAAyE;YACzE,2EAA2E;YAC3E,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpB,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;oBACxC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACjE,CAAC;gBACD,UAAU,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACnC,4EAA4E;QAC5E,0DAA0D;QAC1D,0EAA0E;QAC1E,sEAAsE;QACtE,uDAAuD;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO;YAC3B,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,SAAS;gBACT,CAAC,CAAC,+JAA+J;gBACjK,CAAC,CAAC,qIAAqI,CAAC;QAC5I,0EAA0E;QAC1E,4EAA4E;QAC5E,mBAAmB;QACnB,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC;aACzE,MAAM,CAAC,OAAO,CAAC;aACf,IAAI,CAAC,GAAG,CAAC,CAAC;QACb,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC;YACpB,IAAI,EAAE,YAAY;YAClB,WAAW,EAAE,IAAI;YACjB,QAAQ,EAAE,IAAI,CAAC,aAAa;YAC5B,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,+DAA+D;QAC/D,8DAA8D;QAC9D,EAAE;QACF,6EAA6E;QAC7E,+EAA+E;QAC/E,6EAA6E;QAC7E,6EAA6E;QAC7E,8EAA8E;QAC9E,0EAA0E;QAC1E,yEAAyE;QACzE,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;YACpF,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACvB,IAAI,CACF,+JAA+J,CAChK,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC"}
|
|
@@ -0,0 +1,150 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Refuse a write whose content is a STUB rather than an implementation.
|
|
3
|
+
*
|
|
4
|
+
* The existing P3 anti-gutting guard (agentic-executor) compares BYTE SIZES and
|
|
5
|
+
* only fires when the target already exists. That leaves the failure actually
|
|
6
|
+
* observed wide open: a weak model writing brand-new files as stubs. From a real
|
|
7
|
+
* run (octopus_invaders_v3, 2026-07-30) — SEVEN modules written straight to disk
|
|
8
|
+
* as skeletons, then re-read by the model and used as the house style for more of
|
|
9
|
+
* them. A first write has nothing to shrink from, and a stub→stub rewrite is no
|
|
10
|
+
* shrink, so neither tripped the size guard. Nor do the run gates catch it: a
|
|
11
|
+
* stub LOADS cleanly, which is exactly why execution-gate.ts documents the
|
|
12
|
+
* "frozen game" class it could not detect.
|
|
13
|
+
*
|
|
14
|
+
* WHY EMPTY BODIES, NOT THE WORD "STUB"
|
|
15
|
+
* The header said "— Stub" in every one of those files, which is trivially
|
|
16
|
+
* greppable — and equally trivially omitted by the next model. The durable
|
|
17
|
+
* signal is semantic: a module that declares a full API surface and implements
|
|
18
|
+
* none of it.
|
|
19
|
+
*
|
|
20
|
+
* WHAT COUNTS AS A CALLABLE (and why this is not one regex)
|
|
21
|
+
* The ratio is only meaningful if the denominator is right, and the first cut of
|
|
22
|
+
* this file got it wrong in three ways that review caught, each of which biased
|
|
23
|
+
* toward refusing REAL code:
|
|
24
|
+
*
|
|
25
|
+
* - `if (…) {`, `while (…) {`, `catch (e) {` all match "identifier, parens,
|
|
26
|
+
* brace", so control flow was counted as API surface. A defensive module of
|
|
27
|
+
* three real functions wrapped in three ignore-catches scored 50% empty.
|
|
28
|
+
* - a `}` inside a comment or string terminated the brace scan early, so real
|
|
29
|
+
* bodies were measured as empty ("// clamp to } of the arena" emptied its
|
|
30
|
+
* function).
|
|
31
|
+
* - `export const init = () => {}` matched NOTHING, because every alternative
|
|
32
|
+
* required a word character or `)` before the paren. The dominant modern stub
|
|
33
|
+
* idiom scored zero callables and sailed through — and it is the first shape
|
|
34
|
+
* a model reaches for after one refusal.
|
|
35
|
+
*
|
|
36
|
+
* So: strip comments and string literals first (length-preserving, to keep
|
|
37
|
+
* indices valid), then find bodies by scanning BACKWARD from each `{` to decide
|
|
38
|
+
* whether it opens a callable. That handles return-type annotations, generics,
|
|
39
|
+
* and nested parens in parameter lists, none of which a `[^()]*` regex can.
|
|
40
|
+
*
|
|
41
|
+
* MEASURED POPULATIONS (all figures produced BY this implementation, not recalled
|
|
42
|
+
* from an earlier one — the first draft of this header cited numbers from a
|
|
43
|
+
* scanner that counted `if` blocks as callables, and they no longer reproduced)
|
|
44
|
+
*
|
|
45
|
+
* the 7 live stubs 4–10 callables, 75–90% empty, ~300–390 bytes each
|
|
46
|
+
* config.js (real, same directory, same run) 10 callables, 0% empty, 7.0 KB
|
|
47
|
+
* this repo, every .ts under src/ 324 files, 0 flagged
|
|
48
|
+
* worst real file anywhere here execution-gate.ts, 50% empty / 72 callables
|
|
49
|
+
*
|
|
50
|
+
* The gap between "worst real file" and the unlabelled bar is what the thresholds
|
|
51
|
+
* actually rest on, so a negative-control test re-derives it on every run instead
|
|
52
|
+
* of trusting this comment.
|
|
53
|
+
*/
|
|
54
|
+
export interface StubVerdict {
|
|
55
|
+
isStub: boolean;
|
|
56
|
+
/** Human-facing explanation, used verbatim in the refusal. */
|
|
57
|
+
reason: string;
|
|
58
|
+
callables: number;
|
|
59
|
+
emptyRatio: number;
|
|
60
|
+
marker: boolean;
|
|
61
|
+
}
|
|
62
|
+
/**
|
|
63
|
+
* Blank out comments and string/template literals, replacing their contents with
|
|
64
|
+
* spaces so every index in the result still lines up with the input.
|
|
65
|
+
*
|
|
66
|
+
* Needed because the brace scan and the signature scan both count raw
|
|
67
|
+
* punctuation, and a `}` or `(` inside a comment or a string is not code. The
|
|
68
|
+
* length-preserving choice matters: bodies are sliced by index afterwards.
|
|
69
|
+
*/
|
|
70
|
+
export declare function stripNonCode(src: string): string;
|
|
71
|
+
/**
|
|
72
|
+
* Bodies of function-like constructs, brace-matched over stripped source.
|
|
73
|
+
*
|
|
74
|
+
* A regex cannot do this: `\{[^{}]*\}` only ever matches innermost braces, so a
|
|
75
|
+
* real file full of nested logic reports a handful of callables and the ratio
|
|
76
|
+
* becomes meaningless (measured during design — the naive version found 1–2
|
|
77
|
+
* callables in 1000-line modules).
|
|
78
|
+
*/
|
|
79
|
+
export declare function extractFunctionBodies(src: string): string[];
|
|
80
|
+
/**
|
|
81
|
+
* Is a body empty of executable content? Comments do not count as substance.
|
|
82
|
+
*
|
|
83
|
+
* `return true` / `return 0` were originally counted as empty too. They are not:
|
|
84
|
+
* `canShoot() { return true; }` is an ordinary predicate, and treating it as a
|
|
85
|
+
* stub put a real module three points from a false refusal — and, because
|
|
86
|
+
* contract-extractor reuses this predicate, annotated real exports as "declared
|
|
87
|
+
* but NOT implemented" in the text handed to dependent epics. Only genuinely
|
|
88
|
+
* vacuous returns count.
|
|
89
|
+
*/
|
|
90
|
+
export declare function isEmptyBody(body: string): boolean;
|
|
91
|
+
/**
|
|
92
|
+
* Decide whether `content` is a stub for `path`.
|
|
93
|
+
*
|
|
94
|
+
* Thresholds are set from the measured populations, biased toward letting things
|
|
95
|
+
* through: a false refusal blocks legitimate work and trains the operator to set
|
|
96
|
+
* the override, which costs more than an occasional miss.
|
|
97
|
+
*
|
|
98
|
+
* - ≥6 callables and ≥60% empty → stub, no label needed.
|
|
99
|
+
* - ≥3 callables and ≥45% empty AND a self-label → stub.
|
|
100
|
+
*
|
|
101
|
+
* The two bars differ because a self-label is strong evidence and should lower
|
|
102
|
+
* the ratio required, not merely the surface size. Replaying the real corpus
|
|
103
|
+
* caught this: background.js is unambiguously a stub ("Background Module —
|
|
104
|
+
* Stub") but sits at 50% empty, so a single 60% bar let it through — 6 of 7
|
|
105
|
+
* blocked, a miss on a file the guard exists for.
|
|
106
|
+
*
|
|
107
|
+
* A file with one or two empty bodies is never flagged, on either bar: no-op
|
|
108
|
+
* defaults and intentional no-op handlers are ordinary, and there is no evidence
|
|
109
|
+
* to separate them from a stub at that size. That promise is what the labelled
|
|
110
|
+
* bar's `empties >= 3` floor keeps — with only `ratio >= 0.45`, a 3-body file
|
|
111
|
+
* with 2 empties and a "TODO: implement" header would have been refused.
|
|
112
|
+
*
|
|
113
|
+
* NOT flagged, by design: `throw new Error("TODO")` / `todo!()` /
|
|
114
|
+
* `raise NotImplementedError` bodies. Those are what a SCAFFOLD epic is
|
|
115
|
+
* explicitly instructed to produce (epic-mission.ts), and they are honest —
|
|
116
|
+
* they announce themselves at runtime instead of silently succeeding, which is
|
|
117
|
+
* the whole problem with `{}`.
|
|
118
|
+
*/
|
|
119
|
+
export declare function detectStub(path: string, content: string, prior?: string): StubVerdict;
|
|
120
|
+
/**
|
|
121
|
+
* The refusal text handed back to the model.
|
|
122
|
+
*
|
|
123
|
+
* Says what to do instead, because a bare refusal on the agentic path produces a
|
|
124
|
+
* retry of the identical content — the same reason the P3 guard spells out
|
|
125
|
+
* edit_file. Names the override so a human reading the transcript can unblock a
|
|
126
|
+
* legitimate case without reading this source.
|
|
127
|
+
*/
|
|
128
|
+
export declare function stubRefusal(path: string, verdict: StubVerdict): string;
|
|
129
|
+
/**
|
|
130
|
+
* Operator opt-out, matching UAP_DELIVER_ALLOW_GUTTING's shape. ENV ONLY.
|
|
131
|
+
*
|
|
132
|
+
* There was briefly a second disjunct here, `UAP_EPIC_STUBS_OK`, set by the epic
|
|
133
|
+
* controller for CONTRACTS and SCAFFOLD epics — the two phases whose prompts say
|
|
134
|
+
* stub bodies are the DELIVERABLE. It is gone, because it was SELF-GRANTABLE:
|
|
135
|
+
* `epic.scaffold` and `epic.contracts` come out of the PLANNER MODEL's JSON
|
|
136
|
+
* (decompose.ts), and the planner and the executor are the same model. Labelling
|
|
137
|
+
* a phase `"scaffold": true` would have switched the guard off for it. An
|
|
138
|
+
* override the constrained party can set is not an override, it is an off switch
|
|
139
|
+
* — the same reasoning that made expert-review's inline waiver indefensible.
|
|
140
|
+
*
|
|
141
|
+
* Nothing is lost by removing it. A COMPLIANT scaffold already passes: the prompt
|
|
142
|
+
* asks for `throw new Error("TODO")` / `todo!()` / `raise NotImplementedError`
|
|
143
|
+
* bodies, and those are not empty. The exemption would only ever have permitted
|
|
144
|
+
* the one shape the prompt does not ask for, bare `{}` — which is also the only
|
|
145
|
+
* shape that fails silently at runtime instead of announcing itself. So the
|
|
146
|
+
* refusal names the compliant form instead of waiving the check, which keeps the
|
|
147
|
+
* phase satisfiable without handing the model a switch.
|
|
148
|
+
*/
|
|
149
|
+
export declare function stubGuardDisabled(): boolean;
|
|
150
|
+
//# sourceMappingURL=stub-detector.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"stub-detector.d.ts","sourceRoot":"","sources":["../../src/delivery/stub-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAqEH,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,OAAO,CAAC;IAChB,8DAA8D;IAC9D,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAwChD;AAiGD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAiB3D;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAMjD;AAgBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,WAAW,CAoErF;AAED;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,CAWtE;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,wBAAgB,iBAAiB,IAAI,OAAO,CAE3C"}
|