npm - @almadar/std - Versions diffs - 16.254.0 → 16.255.0 - Mend

@almadar/std 16.254.0 → 16.255.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.

Files changed (455) hide show

package/behaviors/registry/ml/atoms/std-ml-infer.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"name":"std-ml-infer","version":"1.0.0","description":"std-ml-infer — the learned rung (R4) of the intelligence ladder, and the seam between a .lolo circuit and a trained model deployed on masar (or off-the-shelf HuggingFace weights) reached through the ml service. Sends the caller-supplied input straight to call-service ml infer, then guards the raw output before it ever becomes an effect: validates it against the declared outputContract, clamps it into range, and only then decides. Emits INFERRED when the output satisfies the contract and confidence clears confidenceFloor — carrying the clamped output, confidence, and an empty violations list. Otherwise abstains with INFER_ABSTAINED, whose reason is one of: low confidence (contract satisfied but below floor, violations empty), contract violation (violations populated via contract/violations for diagnosis), or unavailable (the service call itself failed — a masar cold start or a down endpoint, never surfaced as a user-visible error). Use when a numeric or tensor-shaped model answer needs a licensed guard before becoming a decision — classification scores, regressions, embedding-derived predictions — and the next rung (R5 generative) should take over on any abstain.","orbitals":[{"name":"MlInferOrbital","id":"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80","entity":{"name":"Inference","id":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","persistence":"runtime","fields":[{"name":"input","type":"object","default":{},"items":{"type":"string"}},{"name":"output","type":"array","default":[],"items":{"type":"number"}},{"name":"confidence","type":"number","default":0},{"name":"violations","type":"array","default":[],"items":{"type":"union","values":["ShapeMismatchViolation","RangeViolationDetail","NotATensorViolation"],"properties":{"RangeViolationDetail":{"name":"RangeViolationDetail","type":"object","properties":{"max":{"name":"max","type":"number","required":true},"actualMax":{"name":"actualMax","type":"number","required":true},"dim":{"name":"dim","type":"number","required":true},"min":{"name":"min","type":"number","required":true},"type":{"name":"type","type":"string","required":false,"values":["range_violation"]},"actualMin":{"name":"actualMin","type":"number","required":true}}},"NotATensorViolation":{"name":"NotATensorViolation","type":"object","properties":{"type":{"name":"type","type":"string","required":false,"values":["not_a_tensor"]},"actualType":{"name":"actualType","type":"string","required":true}}},"ShapeMismatchViolation":{"name":"ShapeMismatchViolation","type":"object","properties":{"actual":{"name":"actual","type":"array","required":true,"items":{"type":"number"}},"expected":{"name":"expected","type":"array","required":true,"items":{"type":"number"}},"type":{"name":"type","type":"string","required":false,"values":["shape_mismatch"]}}}}}},{"name":"reason","type":"string","default":""},{"name":"request","type":"object","default":{},"properties":{"key":{"name":"key","type":"string","required":true},"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"candidate":{"name":"candidate","type":"string","required":true},"accepted":{"name":"accepted","type":"array","required":true,"items":{"type":"string"}}}},{"name":"status","type":"string","default":"idle","values":["idle","inferring","resolved"]}]},"traits":[{"name":"InferenceRun","id":"trt_XW1M7206PC3B6129C2KWMFMB3C","effectRow":[{"kind":"call-service","resource":"ml.infer"},{"kind":"emit","resource":"INFERRED"},{"kind":"emit","resource":"INFER_ABSTAINED"},{"kind":"render-ui","resource":"toast"},{"kind":"set","resource":"@entity.confidence"},{"kind":"set","resource":"@entity.input"},{"kind":"set","resource":"@entity.output"},{"kind":"set","resource":"@entity.reason"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.violations"}],"category":"lifecycle","linkedEntity":"Inference","linkedEntityId":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","entityRefIds":{"Inference":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8"},"emits":[{"event":"INFERRED_RAW","eventId":"evt_J1A8THYYR8FC425JDF84CFR5XG","description":"Raw ml.infer service result, flattened onto the payload by the call-service effect executor","tier":"secondary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"number","required":true}]},{"event":"INFER_CALL_FAILED","eventId":"evt_V147VRWD236H1TJNYMNMGRB844","description":"call-service infer failure signal — a masar cold start or a down endpoint lands here, not as a user-visible error","tier":"secondary","payloadSchema":[{"name":"error","type":"string","required":true}]},{"event":"INFERRED","eventId":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","description":"The service answered, the output satisfies outputContract, and confidence clears confidenceFloor — output already clamped","tier":"primary","scope":"external","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"float","required":true},{"name":"violations","type":"[ContractViolation]","required":true}]},{"event":"INFER_ABSTAINED","eventId":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","description":"The abstain — reason is one of: low confidence, contract violation, unavailable. violations is populated only on the contract violation path. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"violations","type":"[ContractViolation]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"inferring"},{"name":"resolved"}],"events":[{"key":"INIT","id":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","name":"Initialize"},{"key":"INFER","id":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","name":"Infer","payloadSchema":[{"name":"input","type":"Map<string,string>","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"INFERRED_RAW","id":"evt_J1A8THYYR8FC425JDF84CFR5XG","name":"Inferred Raw","description":"Raw ml.infer service result, flattened onto the payload by the call-service effect executor","tier":"secondary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"number","required":true}]},{"key":"INFER_CALL_FAILED","id":"evt_V147VRWD236H1TJNYMNMGRB844","name":"Infer Call Failed","description":"call-service infer failure signal — a masar cold start or a down endpoint lands here, not as a user-visible error","tier":"secondary","payloadSchema":[{"name":"error","type":"string","required":true}]},{"key":"RESET","id":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","name":"Reset"},{"key":"INFERRED","id":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","name":"Inferred","description":"The service answered, the output satisfies outputContract, and confidence clears confidenceFloor — output already clamped","tier":"primary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"float","required":true},{"name":"violations","type":"[ContractViolation]","required":true}]},{"key":"INFER_ABSTAINED","id":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","name":"Infer Abstained","description":"The abstain — reason is one of: low confidence, contract violation, unavailable. violations is populated only on the contract violation path. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"violations","type":"[ContractViolation]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"inferring","event":"INFER","eventId":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","effects":[["set","@entity.input","@payload.input"],["set","@entity.request","@payload.request"],["set","@entity.status","inferring"],["call-service","ml","infer",{"model":"@config.model","input":"@entity.input"},{"emit":{"success":"INFERRED_RAW","failure":"INFER_CALL_FAILED"}}]]},{"from":"inferring","to":"idle","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"inferring","to":"resolved","event":"INFERRED_RAW","eventId":"evt_J1A8THYYR8FC425JDF84CFR5XG","effects":[["set","@entity.output","@payload.output"],["set","@entity.confidence","@payload.confidence"],["let",[["validation",["contract/validate-output","@entity.output","@config.outputContract"]]],["if",["object/get","@validation","valid"],["if",[">=","@entity.confidence","@config.confidenceFloor"],["do",["set","@entity.output",["contract/clamp-output","@entity.output","@config.outputContract"]],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.status","resolved"],["emit","INFERRED",{"output":"@entity.output","confidence":"@entity.confidence","violations":"@entity.violations"}]],["do",["set","@entity.violations",[]],["set","@entity.reason","low confidence"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"low confidence","violations":"@entity.violations","request":"@entity.request"}]]],["do",["set","@entity.violations",["contract/violations","@entity.output","@config.outputContract"]],["set","@entity.reason","contract violation"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"contract violation","violations":"@entity.violations","request":"@entity.request"}]]]]]},{"from":"inferring","to":"resolved","event":"INFER_CALL_FAILED","eventId":"evt_V147VRWD236H1TJNYMNMGRB844","effects":[["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason","unavailable"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"unavailable","violations":"@entity.violations","request":"@entity.request"}],["render-ui","toast",{"type":"alert","variant":"error","message":["str/concat","Couldn't run inference — ","@payload.error"],"dismissible":true}]]},{"from":"resolved","to":"resolved","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.status","resolved"]]},{"from":"resolved","to":"idle","event":"RESET","eventId":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"confidenceFloor":{"type":"float","default":0.7,"label":"Confidence floor","description":"Minimum service-reported confidence required to answer; below this the atom abstains with reason low confidence","tier":"policy"},"outputContract":{"type":"OutputContract","default":{"ranges":{}},"label":"Output contract","description":"Declared shape and per-dimension ranges the model output must satisfy; a failing check abstains with reason contract violation. Omit shape to assert ranges only — an empty shape [] asserts a SCALAR output, it does not mean unconstrained","tier":"domain","properties":{"ranges":{"name":"ranges","type":"object","required":false,"items":{"type":"object","properties":{"max":{"name":"max","type":"number","required":true},"min":{"name":"min","type":"number","required":true}}}},"shape":{"name":"shape","type":"array","required":false,"items":{"type":"number"}}}},"model":{"type":"string","default":"","label":"Model reference","description":"hf:<id> for off-the-shelf weights, or a masar checkpoint id, forwarded to the ml service infer action","tier":"infra"}},"scope":"instance"}],"pages":[{"name":"MlInferPage","id":"pag_DCA76GSWFVY7XRWXJ956QKJR85","path":"/ml-infer","traits":[{"ref":"InferenceRun","refId":"trt_XW1M7206PC3B6129C2KWMFMB3C"}]}],"types":{"ContractViolation":[{"name":"","type":"union","properties":[{"name":"ShapeMismatchViolation","type":"object","properties":[{"name":"type","type":"string","values":["shape_mismatch"]},{"name":"expected","type":"[int]","required":true},{"name":"actual","type":"[int]","required":true}]},{"name":"RangeViolationDetail","type":"object","properties":[{"name":"type","type":"string","values":["range_violation"]},{"name":"dim","type":"int","required":true},{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true},{"name":"actualMin","type":"float","required":true},{"name":"actualMax","type":"float","required":true}]},{"name":"NotATensorViolation","type":"object","properties":[{"name":"type","type":"string","values":["not_a_tensor"]},{"name":"actualType","type":"string","required":true}]}]}],"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}],"NotATensorViolation":[{"name":"type","type":"string","values":["not_a_tensor"]},{"name":"actualType","type":"string","required":true}],"OutputContract":[{"name":"shape","type":"[int]"},{"name":"ranges","type":"Map<string,Range>"}],"Range":[{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true}],"RangeViolationDetail":[{"name":"type","type":"string","values":["range_violation"]},{"name":"dim","type":"int","required":true},{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true},{"name":"actualMin","type":"float","required":true},{"name":"actualMax","type":"float","required":true}],"ShapeMismatchViolation":[{"name":"type","type":"string","values":["shape_mismatch"]},{"name":"expected","type":"[int]","required":true},{"name":"actual","type":"[int]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8":{"id":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","kind":"entity","bakedName":"Inference","curName":"Inference","renames":[],"owner":"workspace"},"evt_3KMVJATV5ZDJZWYN9MB34WFN45":{"id":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_6SEQ5R22MV1ADNYK45Y94JNFQG":{"id":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","kind":"event","bakedName":"INFER","curName":"INFER","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR":{"id":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","kind":"event","bakedName":"INFER_ABSTAINED","curName":"INFER_ABSTAINED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ":{"id":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_J1A8THYYR8FC425JDF84CFR5XG":{"id":"evt_J1A8THYYR8FC425JDF84CFR5XG","kind":"event","bakedName":"INFERRED_RAW","curName":"INFERRED_RAW","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_MSGPKHQSTNWXASS9YTWM69RJPQ":{"id":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","kind":"event","bakedName":"INFERRED","curName":"INFERRED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_V147VRWD236H1TJNYMNMGRB844":{"id":"evt_V147VRWD236H1TJNYMNMGRB844","kind":"event","bakedName":"INFER_CALL_FAILED","curName":"INFER_CALL_FAILED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80":{"id":"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80","kind":"orbital","bakedName":"MlInferOrbital","curName":"MlInferOrbital","renames":[],"owner":"workspace"},"pag_DCA76GSWFVY7XRWXJ956QKJR85":{"id":"pag_DCA76GSWFVY7XRWXJ956QKJR85","kind":"page","bakedName":"MlInferPage","curName":"MlInferPage","renames":[],"owner":"workspace"},"trt_XW1M7206PC3B6129C2KWMFMB3C":{"id":"trt_XW1M7206PC3B6129C2KWMFMB3C","kind":"trait","bakedName":"InferenceRun","curName":"InferenceRun","renames":[],"owner":"workspace"}}}}
1	+ {"name":"std-ml-infer","version":"1.0.0","description":"std-ml-infer — the learned rung (R4) of the intelligence ladder, and the seam between a .lolo circuit and a trained model deployed on masar (or off-the-shelf HuggingFace weights) reached through the ml service. Sends the caller-supplied input straight to call-service ml infer, then guards the raw output before it ever becomes an effect: validates it against the declared outputContract, clamps it into range, and only then decides. Emits INFERRED when the output satisfies the contract and confidence clears confidenceFloor — carrying the clamped output, confidence, and an empty violations list. Otherwise abstains with INFER_ABSTAINED, whose reason is one of: low confidence (contract satisfied but below floor, violations empty), contract violation (violations populated via contract/violations for diagnosis), or unavailable (the service call itself failed — a masar cold start or a down endpoint, never surfaced as a user-visible error). Use when a numeric or tensor-shaped model answer needs a licensed guard before becoming a decision — classification scores, regressions, embedding-derived predictions — and the next rung (R5 generative) should take over on any abstain.","orbitals":[{"name":"MlInferOrbital","id":"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80","entity":{"name":"Inference","id":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","persistence":"runtime","fields":[{"name":"input","type":"object","default":{},"items":{"type":"string"}},{"name":"output","type":"array","default":[],"items":{"type":"number"}},{"name":"confidence","type":"number","default":0},{"name":"violations","type":"array","default":[],"items":{"type":"union","values":["ShapeMismatchViolation","RangeViolationDetail","NotATensorViolation"],"properties":{"ShapeMismatchViolation":{"name":"ShapeMismatchViolation","type":"object","properties":{"type":{"name":"type","type":"string","required":false,"values":["shape_mismatch"]},"actual":{"name":"actual","type":"array","required":true,"items":{"type":"number"}},"expected":{"name":"expected","type":"array","required":true,"items":{"type":"number"}}}},"RangeViolationDetail":{"name":"RangeViolationDetail","type":"object","properties":{"min":{"name":"min","type":"number","required":true},"dim":{"name":"dim","type":"number","required":true},"type":{"name":"type","type":"string","required":false,"values":["range_violation"]},"actualMax":{"name":"actualMax","type":"number","required":true},"max":{"name":"max","type":"number","required":true},"actualMin":{"name":"actualMin","type":"number","required":true}}},"NotATensorViolation":{"name":"NotATensorViolation","type":"object","properties":{"actualType":{"name":"actualType","type":"string","required":true},"type":{"name":"type","type":"string","required":false,"values":["not_a_tensor"]}}}}}},{"name":"reason","type":"string","default":""},{"name":"request","type":"object","default":{},"properties":{"candidate":{"name":"candidate","type":"string","required":true},"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"accepted":{"name":"accepted","type":"array","required":true,"items":{"type":"string"}},"key":{"name":"key","type":"string","required":true}}},{"name":"status","type":"string","default":"idle","values":["idle","inferring","resolved"]}]},"traits":[{"name":"InferenceRun","id":"trt_XW1M7206PC3B6129C2KWMFMB3C","effectRow":[{"kind":"call-service","resource":"ml.infer"},{"kind":"emit","resource":"INFERRED"},{"kind":"emit","resource":"INFER_ABSTAINED"},{"kind":"render-ui","resource":"toast"},{"kind":"set","resource":"@entity.confidence"},{"kind":"set","resource":"@entity.input"},{"kind":"set","resource":"@entity.output"},{"kind":"set","resource":"@entity.reason"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.violations"}],"category":"lifecycle","linkedEntity":"Inference","linkedEntityId":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","entityRefIds":{"Inference":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8"},"emits":[{"event":"INFERRED_RAW","eventId":"evt_J1A8THYYR8FC425JDF84CFR5XG","description":"Raw ml.infer service result, flattened onto the payload by the call-service effect executor","tier":"secondary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"number","required":true}]},{"event":"INFER_CALL_FAILED","eventId":"evt_V147VRWD236H1TJNYMNMGRB844","description":"call-service infer failure signal — a masar cold start or a down endpoint lands here, not as a user-visible error","tier":"secondary","payloadSchema":[{"name":"error","type":"string","required":true}]},{"event":"INFERRED","eventId":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","description":"The service answered, the output satisfies outputContract, and confidence clears confidenceFloor — output already clamped","tier":"primary","scope":"external","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"float","required":true},{"name":"violations","type":"[ContractViolation]","required":true}]},{"event":"INFER_ABSTAINED","eventId":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","description":"The abstain — reason is one of: low confidence, contract violation, unavailable. violations is populated only on the contract violation path. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"violations","type":"[ContractViolation]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"inferring"},{"name":"resolved"}],"events":[{"key":"INIT","id":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","name":"Initialize"},{"key":"INFER","id":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","name":"Infer","payloadSchema":[{"name":"input","type":"Map<string,string>","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"INFERRED_RAW","id":"evt_J1A8THYYR8FC425JDF84CFR5XG","name":"Inferred Raw","description":"Raw ml.infer service result, flattened onto the payload by the call-service effect executor","tier":"secondary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"number","required":true}]},{"key":"INFER_CALL_FAILED","id":"evt_V147VRWD236H1TJNYMNMGRB844","name":"Infer Call Failed","description":"call-service infer failure signal — a masar cold start or a down endpoint lands here, not as a user-visible error","tier":"secondary","payloadSchema":[{"name":"error","type":"string","required":true}]},{"key":"RESET","id":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","name":"Reset"},{"key":"INFERRED","id":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","name":"Inferred","description":"The service answered, the output satisfies outputContract, and confidence clears confidenceFloor — output already clamped","tier":"primary","payloadSchema":[{"name":"output","type":"[float]","required":true},{"name":"confidence","type":"float","required":true},{"name":"violations","type":"[ContractViolation]","required":true}]},{"key":"INFER_ABSTAINED","id":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","name":"Infer Abstained","description":"The abstain — reason is one of: low confidence, contract violation, unavailable. violations is populated only on the contract violation path. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"violations","type":"[ContractViolation]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"inferring","event":"INFER","eventId":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","effects":[["set","@entity.input","@payload.input"],["set","@entity.request","@payload.request"],["set","@entity.status","inferring"],["call-service","ml","infer",{"model":"@config.model","input":"@entity.input"},{"emit":{"success":"INFERRED_RAW","failure":"INFER_CALL_FAILED"}}]]},{"from":"inferring","to":"idle","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"inferring","to":"resolved","event":"INFERRED_RAW","eventId":"evt_J1A8THYYR8FC425JDF84CFR5XG","effects":[["set","@entity.output","@payload.output"],["set","@entity.confidence","@payload.confidence"],["let",[["validation",["contract/validate-output","@entity.output","@config.outputContract"]]],["if",["object/get","@validation","valid"],["if",[">=","@entity.confidence","@config.confidenceFloor"],["do",["set","@entity.output",["contract/clamp-output","@entity.output","@config.outputContract"]],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.status","resolved"],["emit","INFERRED",{"output":"@entity.output","confidence":"@entity.confidence","violations":"@entity.violations"}]],["do",["set","@entity.violations",[]],["set","@entity.reason","low confidence"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"low confidence","violations":"@entity.violations","request":"@entity.request"}]]],["do",["set","@entity.violations",["contract/violations","@entity.output","@config.outputContract"]],["set","@entity.reason","contract violation"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"contract violation","violations":"@entity.violations","request":"@entity.request"}]]]]]},{"from":"inferring","to":"resolved","event":"INFER_CALL_FAILED","eventId":"evt_V147VRWD236H1TJNYMNMGRB844","effects":[["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason","unavailable"],["set","@entity.status","resolved"],["emit","INFER_ABSTAINED",{"reason":"unavailable","violations":"@entity.violations","request":"@entity.request"}],["render-ui","toast",{"type":"alert","variant":"error","message":["str/concat","Couldn't run inference — ","@payload.error"],"dismissible":true}]]},{"from":"resolved","to":"resolved","event":"INIT","eventId":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","effects":[["set","@entity.status","resolved"]]},{"from":"resolved","to":"idle","event":"RESET","eventId":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","effects":[["set","@entity.input",{}],["set","@entity.output",[]],["set","@entity.confidence",0],["set","@entity.violations",[]],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"outputContract":{"type":"OutputContract","default":{"ranges":{}},"label":"Output contract","description":"Declared shape and per-dimension ranges the model output must satisfy; a failing check abstains with reason contract violation. Omit shape to assert ranges only — an empty shape [] asserts a SCALAR output, it does not mean unconstrained","tier":"domain","properties":{"ranges":{"name":"ranges","type":"object","required":false,"items":{"type":"object","properties":{"max":{"name":"max","type":"number","required":true},"min":{"name":"min","type":"number","required":true}}}},"shape":{"name":"shape","type":"array","required":false,"items":{"type":"number"}}}},"model":{"type":"string","default":"","label":"Model reference","description":"hf:<id> for off-the-shelf weights, or a masar checkpoint id, forwarded to the ml service infer action","tier":"infra"},"confidenceFloor":{"type":"float","default":0.7,"label":"Confidence floor","description":"Minimum service-reported confidence required to answer; below this the atom abstains with reason low confidence","tier":"policy"}},"scope":"instance"}],"pages":[{"name":"MlInferPage","id":"pag_DCA76GSWFVY7XRWXJ956QKJR85","path":"/ml-infer","traits":[{"ref":"InferenceRun","refId":"trt_XW1M7206PC3B6129C2KWMFMB3C"}]}],"types":{"ContractViolation":[{"name":"","type":"union","properties":[{"name":"ShapeMismatchViolation","type":"object","properties":[{"name":"type","type":"string","values":["shape_mismatch"]},{"name":"expected","type":"[int]","required":true},{"name":"actual","type":"[int]","required":true}]},{"name":"RangeViolationDetail","type":"object","properties":[{"name":"type","type":"string","values":["range_violation"]},{"name":"dim","type":"int","required":true},{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true},{"name":"actualMin","type":"float","required":true},{"name":"actualMax","type":"float","required":true}]},{"name":"NotATensorViolation","type":"object","properties":[{"name":"type","type":"string","values":["not_a_tensor"]},{"name":"actualType","type":"string","required":true}]}]}],"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}],"NotATensorViolation":[{"name":"type","type":"string","values":["not_a_tensor"]},{"name":"actualType","type":"string","required":true}],"OutputContract":[{"name":"shape","type":"[int]"},{"name":"ranges","type":"Map<string,Range>"}],"Range":[{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true}],"RangeViolationDetail":[{"name":"type","type":"string","values":["range_violation"]},{"name":"dim","type":"int","required":true},{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true},{"name":"actualMin","type":"float","required":true},{"name":"actualMax","type":"float","required":true}],"ShapeMismatchViolation":[{"name":"type","type":"string","values":["shape_mismatch"]},{"name":"expected","type":"[int]","required":true},{"name":"actual","type":"[int]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8":{"id":"ent_4JZG648ZY6FZ3A7FYD7P9ATJR8","kind":"entity","bakedName":"Inference","curName":"Inference","renames":[],"owner":"workspace"},"evt_3KMVJATV5ZDJZWYN9MB34WFN45":{"id":"evt_3KMVJATV5ZDJZWYN9MB34WFN45","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_6SEQ5R22MV1ADNYK45Y94JNFQG":{"id":"evt_6SEQ5R22MV1ADNYK45Y94JNFQG","kind":"event","bakedName":"INFER","curName":"INFER","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR":{"id":"evt_8NF5ZFXMEAT75DJ7QHBEH9G9FR","kind":"event","bakedName":"INFER_ABSTAINED","curName":"INFER_ABSTAINED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ":{"id":"evt_DQMKXW6R4YC2FD74ZDWZC8VBQQ","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_J1A8THYYR8FC425JDF84CFR5XG":{"id":"evt_J1A8THYYR8FC425JDF84CFR5XG","kind":"event","bakedName":"INFERRED_RAW","curName":"INFERRED_RAW","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_MSGPKHQSTNWXASS9YTWM69RJPQ":{"id":"evt_MSGPKHQSTNWXASS9YTWM69RJPQ","kind":"event","bakedName":"INFERRED","curName":"INFERRED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"evt_V147VRWD236H1TJNYMNMGRB844":{"id":"evt_V147VRWD236H1TJNYMNMGRB844","kind":"event","bakedName":"INFER_CALL_FAILED","curName":"INFER_CALL_FAILED","renames":[],"owner":"workspace","parent":"trt_XW1M7206PC3B6129C2KWMFMB3C"},"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80":{"id":"orb_6DYCMVWPH5B8JRWJ2TJAKKWA80","kind":"orbital","bakedName":"MlInferOrbital","curName":"MlInferOrbital","renames":[],"owner":"workspace"},"pag_DCA76GSWFVY7XRWXJ956QKJR85":{"id":"pag_DCA76GSWFVY7XRWXJ956QKJR85","kind":"page","bakedName":"MlInferPage","curName":"MlInferPage","renames":[],"owner":"workspace"},"trt_XW1M7206PC3B6129C2KWMFMB3C":{"id":"trt_XW1M7206PC3B6129C2KWMFMB3C","kind":"trait","bakedName":"InferenceRun","curName":"InferenceRun","renames":[],"owner":"workspace"}}}}

package/behaviors/registry/ml/atoms/std-ml-posterior.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"name":"std-ml-posterior","version":"1.0.0","description":"std-ml-posterior — the statistical rung (R2) of the intelligence ladder. Holds a Beta(alpha, beta) belief over an unknown success rate and updates it from boolean observations (Bayesian updating, knowledge tracing, Thompson-sampling prior). After each observation it draws samples from the posterior, computes a credible interval, and decides: MASTERY_REACHED when the mean clears the floor with a tight interval, REMEDIATION_NEEDED when the mean sits at or below the ceiling with the same confidence, or EVIDENCE_INSUFFICIENT — the abstain — when the interval is still too wide to trust. Use when a hand-tuned score needs to become a belief that can say 'not enough evidence yet' (mastery, skill, risk, preference, difficulty).","orbitals":[{"name":"MlPosteriorOrbital","id":"orb_HBMQPXZ840M20A5ZBV772GG7BK","entity":{"name":"Posterior","id":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","persistence":"runtime","fields":[{"name":"alpha","type":"number","default":1,"description":"Beta distribution success count (prior + observed successes)."},{"name":"beta","type":"number","default":1,"description":"Beta distribution failure count (prior + observed failures)."},{"name":"mean","type":"number","default":0,"description":"Posterior mean: alpha / (alpha + beta)."},{"name":"intervalLow","type":"number","default":0,"description":"Lower bound of the last computed credible interval."},{"name":"intervalHigh","type":"number","default":0,"description":"Upper bound of the last computed credible interval."},{"name":"observations","type":"number","default":0,"description":"Number of observations folded into the posterior so far."},{"name":"status","type":"string","default":"idle","values":["idle","insufficient","mastered","remediate"]}]},"traits":[{"name":"PosteriorBelief","id":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8","entityRebindable":true,"entityContract":{"requires":[],"provides":["alpha","beta","intervalHigh","intervalLow","mean","observations","status"]},"effectRow":[{"kind":"emit","resource":"EVIDENCE_INSUFFICIENT"},{"kind":"emit","resource":"MASTERY_REACHED"},{"kind":"emit","resource":"REMEDIATION_NEEDED"},{"kind":"set","resource":"@entity.alpha"},{"kind":"set","resource":"@entity.beta"},{"kind":"set","resource":"@entity.intervalHigh"},{"kind":"set","resource":"@entity.intervalLow"},{"kind":"set","resource":"@entity.mean"},{"kind":"set","resource":"@entity.observations"},{"kind":"set","resource":"@entity.status"}],"category":"lifecycle","linkedEntity":"Posterior","linkedEntityId":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","entityRefIds":{"Posterior":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG"},"emits":[{"event":"MASTERY_REACHED","eventId":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","description":"The posterior mean clears masteryFloor with a credible interval narrow enough to trust.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"event":"REMEDIATION_NEEDED","eventId":"evt_J6ABH5C15C0JP27NJV6KG05NEC","description":"The posterior mean is at or below remediationCeiling with a credible interval narrow enough to trust.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"event":"EVIDENCE_INSUFFICIENT","eventId":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","description":"The abstain — the credible interval is still wider than intervalWidthMax, so no verdict is licensed yet.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true}],"events":[{"key":"INIT","id":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","name":"Initialize"},{"key":"OBSERVE","id":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","name":"Observe","payloadSchema":[{"name":"outcome","type":"boolean","required":true}],"listened":true},{"key":"MASTERY_REACHED","id":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","name":"Mastery Reached","description":"The posterior mean clears masteryFloor with a credible interval narrow enough to trust.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"key":"REMEDIATION_NEEDED","id":"evt_J6ABH5C15C0JP27NJV6KG05NEC","name":"Remediation Needed","description":"The posterior mean is at or below remediationCeiling with a credible interval narrow enough to trust.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"key":"EVIDENCE_INSUFFICIENT","id":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","name":"Evidence Insufficient","description":"The abstain — the credible interval is still wider than intervalWidthMax, so no verdict is licensed yet.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","effects":[["set","@entity.alpha","@config.priorAlpha"],["set","@entity.beta","@config.priorBeta"],["set","@entity.mean",["/","@config.priorAlpha",["+","@config.priorAlpha","@config.priorBeta"]]],["set","@entity.intervalLow",0],["set","@entity.intervalHigh",0],["set","@entity.observations",0],["set","@entity.status","idle"]]},{"from":"idle","to":"idle","event":"OBSERVE","eventId":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","effects":[["set","@entity.alpha",["if","@payload.outcome",["+","@entity.alpha",1],"@entity.alpha"]],["set","@entity.beta",["if","@payload.outcome","@entity.beta",["+","@entity.beta",1]]],["set","@entity.observations",["+","@entity.observations",1]],["set","@entity.mean",["/","@entity.alpha",["+","@entity.alpha","@entity.beta"]]],["let",[["samples",["prob/sample","@config.sampleCount",["prob/beta","@entity.alpha","@entity.beta"]]],["interval",["prob/credible-interval","@samples",0.05]],["low",["array/nth","@interval",0]],["high",["array/nth","@interval",1]],["width",["-","@high","@low"]]],["do",["set","@entity.intervalLow","@low"],["set","@entity.intervalHigh","@high"],["if",[">","@width","@config.intervalWidthMax"],["do",["set","@entity.status","insufficient"],["emit","EVIDENCE_INSUFFICIENT",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["if",[">=","@entity.mean","@config.masteryFloor"],["do",["set","@entity.status","mastered"],["emit","MASTERY_REACHED",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["if",["<=","@entity.mean","@config.remediationCeiling"],["do",["set","@entity.status","remediate"],["emit","REMEDIATION_NEEDED",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["do",["set","@entity.status","insufficient"],["emit","EVIDENCE_INSUFFICIENT",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]]]]]]]]}]},"config":{"priorAlpha":{"type":"float","default":1,"label":"Prior alpha","description":"Beta prior success pseudo-count before any observation.","tier":"domain"},"remediationCeiling":{"type":"float","default":0.4,"label":"Remediation ceiling","description":"Posterior mean at or below this, with a tight interval, licenses REMEDIATION_NEEDED.","tier":"policy"},"intervalWidthMax":{"type":"float","default":0.3,"label":"Max credible-interval width","description":"Above this width the posterior is too uncertain to decide — abstain with EVIDENCE_INSUFFICIENT.","tier":"policy"},"priorBeta":{"type":"float","default":1,"label":"Prior beta","description":"Beta prior failure pseudo-count before any observation.","tier":"domain"},"masteryFloor":{"type":"float","default":0.8,"label":"Mastery floor","description":"Posterior mean at or above this, with a tight interval, licenses MASTERY_REACHED.","tier":"policy"},"sampleCount":{"type":"int","default":200,"label":"Posterior sample count","description":"Number of Monte Carlo draws from the Beta posterior used to estimate the credible interval.","tier":"infra"}},"scope":"instance"}],"pages":[{"name":"MlPosteriorPage","id":"pag_2TYM68VD7PPKV0EWVA3Q3809J2","path":"/ml-posterior","traits":[{"ref":"PosteriorBelief","refId":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG":{"id":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","kind":"entity","bakedName":"Posterior","curName":"Posterior","renames":[],"owner":"workspace"},"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K":{"id":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","kind":"event","bakedName":"OBSERVE","curName":"OBSERVE","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_G0VMZ16AXC5EP88RFPDRD71BQW":{"id":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_J6ABH5C15C0JP27NJV6KG05NEC":{"id":"evt_J6ABH5C15C0JP27NJV6KG05NEC","kind":"event","bakedName":"REMEDIATION_NEEDED","curName":"REMEDIATION_NEEDED","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X":{"id":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","kind":"event","bakedName":"EVIDENCE_INSUFFICIENT","curName":"EVIDENCE_INSUFFICIENT","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_QRNYFA1T36X1K0KH28EYXAZM8G":{"id":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","kind":"event","bakedName":"MASTERY_REACHED","curName":"MASTERY_REACHED","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"orb_HBMQPXZ840M20A5ZBV772GG7BK":{"id":"orb_HBMQPXZ840M20A5ZBV772GG7BK","kind":"orbital","bakedName":"MlPosteriorOrbital","curName":"MlPosteriorOrbital","renames":[],"owner":"workspace"},"pag_2TYM68VD7PPKV0EWVA3Q3809J2":{"id":"pag_2TYM68VD7PPKV0EWVA3Q3809J2","kind":"page","bakedName":"MlPosteriorPage","curName":"MlPosteriorPage","renames":[],"owner":"workspace"},"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8":{"id":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8","kind":"trait","bakedName":"PosteriorBelief","curName":"PosteriorBelief","renames":[],"owner":"workspace"}}}}
1	+ {"name":"std-ml-posterior","version":"1.0.0","description":"std-ml-posterior — the statistical rung (R2) of the intelligence ladder. Holds a Beta(alpha, beta) belief over an unknown success rate and updates it from boolean observations (Bayesian updating, knowledge tracing, Thompson-sampling prior). After each observation it draws samples from the posterior, computes a credible interval, and decides: MASTERY_REACHED when the mean clears the floor with a tight interval, REMEDIATION_NEEDED when the mean sits at or below the ceiling with the same confidence, or EVIDENCE_INSUFFICIENT — the abstain — when the interval is still too wide to trust. Use when a hand-tuned score needs to become a belief that can say 'not enough evidence yet' (mastery, skill, risk, preference, difficulty).","orbitals":[{"name":"MlPosteriorOrbital","id":"orb_HBMQPXZ840M20A5ZBV772GG7BK","entity":{"name":"Posterior","id":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","persistence":"runtime","fields":[{"name":"alpha","type":"number","default":1,"description":"Beta distribution success count (prior + observed successes)."},{"name":"beta","type":"number","default":1,"description":"Beta distribution failure count (prior + observed failures)."},{"name":"mean","type":"number","default":0,"description":"Posterior mean: alpha / (alpha + beta)."},{"name":"intervalLow","type":"number","default":0,"description":"Lower bound of the last computed credible interval."},{"name":"intervalHigh","type":"number","default":0,"description":"Upper bound of the last computed credible interval."},{"name":"observations","type":"number","default":0,"description":"Number of observations folded into the posterior so far."},{"name":"status","type":"string","default":"idle","values":["idle","insufficient","mastered","remediate"]}]},"traits":[{"name":"PosteriorBelief","id":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8","entityRebindable":true,"entityContract":{"requires":[],"provides":["alpha","beta","intervalHigh","intervalLow","mean","observations","status"]},"effectRow":[{"kind":"emit","resource":"EVIDENCE_INSUFFICIENT"},{"kind":"emit","resource":"MASTERY_REACHED"},{"kind":"emit","resource":"REMEDIATION_NEEDED"},{"kind":"set","resource":"@entity.alpha"},{"kind":"set","resource":"@entity.beta"},{"kind":"set","resource":"@entity.intervalHigh"},{"kind":"set","resource":"@entity.intervalLow"},{"kind":"set","resource":"@entity.mean"},{"kind":"set","resource":"@entity.observations"},{"kind":"set","resource":"@entity.status"}],"category":"lifecycle","linkedEntity":"Posterior","linkedEntityId":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","entityRefIds":{"Posterior":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG"},"emits":[{"event":"MASTERY_REACHED","eventId":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","description":"The posterior mean clears masteryFloor with a credible interval narrow enough to trust.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"event":"REMEDIATION_NEEDED","eventId":"evt_J6ABH5C15C0JP27NJV6KG05NEC","description":"The posterior mean is at or below remediationCeiling with a credible interval narrow enough to trust.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"event":"EVIDENCE_INSUFFICIENT","eventId":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","description":"The abstain — the credible interval is still wider than intervalWidthMax, so no verdict is licensed yet.","tier":"primary","scope":"external","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true}],"events":[{"key":"INIT","id":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","name":"Initialize"},{"key":"OBSERVE","id":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","name":"Observe","payloadSchema":[{"name":"outcome","type":"boolean","required":true}],"listened":true},{"key":"MASTERY_REACHED","id":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","name":"Mastery Reached","description":"The posterior mean clears masteryFloor with a credible interval narrow enough to trust.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"key":"REMEDIATION_NEEDED","id":"evt_J6ABH5C15C0JP27NJV6KG05NEC","name":"Remediation Needed","description":"The posterior mean is at or below remediationCeiling with a credible interval narrow enough to trust.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]},{"key":"EVIDENCE_INSUFFICIENT","id":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","name":"Evidence Insufficient","description":"The abstain — the credible interval is still wider than intervalWidthMax, so no verdict is licensed yet.","tier":"primary","payloadSchema":[{"name":"mean","type":"float","required":true},{"name":"intervalLow","type":"float","required":true},{"name":"intervalHigh","type":"float","required":true}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","effects":[["set","@entity.alpha","@config.priorAlpha"],["set","@entity.beta","@config.priorBeta"],["set","@entity.mean",["/","@config.priorAlpha",["+","@config.priorAlpha","@config.priorBeta"]]],["set","@entity.intervalLow",0],["set","@entity.intervalHigh",0],["set","@entity.observations",0],["set","@entity.status","idle"]]},{"from":"idle","to":"idle","event":"OBSERVE","eventId":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","effects":[["set","@entity.alpha",["if","@payload.outcome",["+","@entity.alpha",1],"@entity.alpha"]],["set","@entity.beta",["if","@payload.outcome","@entity.beta",["+","@entity.beta",1]]],["set","@entity.observations",["+","@entity.observations",1]],["set","@entity.mean",["/","@entity.alpha",["+","@entity.alpha","@entity.beta"]]],["let",[["samples",["prob/sample","@config.sampleCount",["prob/beta","@entity.alpha","@entity.beta"]]],["interval",["prob/credible-interval","@samples",0.05]],["low",["array/nth","@interval",0]],["high",["array/nth","@interval",1]],["width",["-","@high","@low"]]],["do",["set","@entity.intervalLow","@low"],["set","@entity.intervalHigh","@high"],["if",[">","@width","@config.intervalWidthMax"],["do",["set","@entity.status","insufficient"],["emit","EVIDENCE_INSUFFICIENT",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["if",[">=","@entity.mean","@config.masteryFloor"],["do",["set","@entity.status","mastered"],["emit","MASTERY_REACHED",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["if",["<=","@entity.mean","@config.remediationCeiling"],["do",["set","@entity.status","remediate"],["emit","REMEDIATION_NEEDED",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]],["do",["set","@entity.status","insufficient"],["emit","EVIDENCE_INSUFFICIENT",{"mean":"@entity.mean","intervalLow":"@low","intervalHigh":"@high"}]]]]]]]]}]},"config":{"sampleCount":{"type":"int","default":200,"label":"Posterior sample count","description":"Number of Monte Carlo draws from the Beta posterior used to estimate the credible interval.","tier":"infra"},"remediationCeiling":{"type":"float","default":0.4,"label":"Remediation ceiling","description":"Posterior mean at or below this, with a tight interval, licenses REMEDIATION_NEEDED.","tier":"policy"},"priorAlpha":{"type":"float","default":1,"label":"Prior alpha","description":"Beta prior success pseudo-count before any observation.","tier":"domain"},"masteryFloor":{"type":"float","default":0.8,"label":"Mastery floor","description":"Posterior mean at or above this, with a tight interval, licenses MASTERY_REACHED.","tier":"policy"},"intervalWidthMax":{"type":"float","default":0.3,"label":"Max credible-interval width","description":"Above this width the posterior is too uncertain to decide — abstain with EVIDENCE_INSUFFICIENT.","tier":"policy"},"priorBeta":{"type":"float","default":1,"label":"Prior beta","description":"Beta prior failure pseudo-count before any observation.","tier":"domain"}},"scope":"instance"}],"pages":[{"name":"MlPosteriorPage","id":"pag_2TYM68VD7PPKV0EWVA3Q3809J2","path":"/ml-posterior","traits":[{"ref":"PosteriorBelief","refId":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"}]}]}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG":{"id":"ent_2JTZ13NFMKQT9HVF1CYB2Z4NYG","kind":"entity","bakedName":"Posterior","curName":"Posterior","renames":[],"owner":"workspace"},"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K":{"id":"evt_EYTHAWD1WZGYFNP5HB9G0S8Z6K","kind":"event","bakedName":"OBSERVE","curName":"OBSERVE","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_G0VMZ16AXC5EP88RFPDRD71BQW":{"id":"evt_G0VMZ16AXC5EP88RFPDRD71BQW","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_J6ABH5C15C0JP27NJV6KG05NEC":{"id":"evt_J6ABH5C15C0JP27NJV6KG05NEC","kind":"event","bakedName":"REMEDIATION_NEEDED","curName":"REMEDIATION_NEEDED","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X":{"id":"evt_KR40GAKE5YQ2ZAFRH3HWJGAC8X","kind":"event","bakedName":"EVIDENCE_INSUFFICIENT","curName":"EVIDENCE_INSUFFICIENT","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"evt_QRNYFA1T36X1K0KH28EYXAZM8G":{"id":"evt_QRNYFA1T36X1K0KH28EYXAZM8G","kind":"event","bakedName":"MASTERY_REACHED","curName":"MASTERY_REACHED","renames":[],"owner":"workspace","parent":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8"},"orb_HBMQPXZ840M20A5ZBV772GG7BK":{"id":"orb_HBMQPXZ840M20A5ZBV772GG7BK","kind":"orbital","bakedName":"MlPosteriorOrbital","curName":"MlPosteriorOrbital","renames":[],"owner":"workspace"},"pag_2TYM68VD7PPKV0EWVA3Q3809J2":{"id":"pag_2TYM68VD7PPKV0EWVA3Q3809J2","kind":"page","bakedName":"MlPosteriorPage","curName":"MlPosteriorPage","renames":[],"owner":"workspace"},"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8":{"id":"trt_X5ZKHSJ3861M3B2VDX5X6S2HK8","kind":"trait","bakedName":"PosteriorBelief","curName":"PosteriorBelief","renames":[],"owner":"workspace"}}}}

package/behaviors/registry/ml/atoms/std-ml-similarity.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"name":"std-ml-similarity","version":"1.0.0","description":"Retrieval rung (R3) — embed a candidate against references and gate on cosine floor + margin; abstains when not confident.","orbitals":[{"name":"MlSimilarityOrbital","id":"orb_9KJJAS7KPESV716VXRW92NQM8Z","entity":{"name":"SimilarityComparison","id":"ent_JR7706D45QJ2VTJ43BJFS574MC","persistence":"runtime","fields":[{"name":"query","type":"string","default":""},{"name":"candidates","type":"array","default":[],"items":{"type":"string"}},{"name":"embeddings","type":"array","default":[],"items":{"type":"array","items":{"type":"number"}}},{"name":"queryVector","type":"array","default":[],"items":{"type":"number"}},{"name":"candidateVectors","type":"array","default":[],"items":{"type":"array","items":{"type":"number"}}},{"name":"matchIndex","type":"number","default":0},{"name":"matchScore","type":"number","default":0},{"name":"matchMargin","type":"number","default":0},{"name":"reason","type":"string","default":""},{"name":"request","type":"object","default":{},"properties":{"accepted":{"name":"accepted","type":"array","required":true,"items":{"type":"string"}},"candidate":{"name":"candidate","type":"string","required":true},"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"key":{"name":"key","type":"string","required":true}}},{"name":"status","type":"string","default":"idle","values":["idle","embedding","resolved"]}]},"traits":[{"name":"SimilarityRun","id":"trt_0MK3JVG03F01QQC6KY6ST9YZKF","effectRow":[{"kind":"emit","resource":"SIMILARITY_ABSTAINED"},{"kind":"emit","resource":"SIMILARITY_MATCHED"},{"kind":"llm/embed"},{"kind":"set","resource":"@entity.candidateVectors"},{"kind":"set","resource":"@entity.candidates"},{"kind":"set","resource":"@entity.embeddings"},{"kind":"set","resource":"@entity.matchIndex"},{"kind":"set","resource":"@entity.matchMargin"},{"kind":"set","resource":"@entity.matchScore"},{"kind":"set","resource":"@entity.query"},{"kind":"set","resource":"@entity.queryVector"},{"kind":"set","resource":"@entity.reason"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"}],"category":"lifecycle","linkedEntity":"SimilarityComparison","linkedEntityId":"ent_JR7706D45QJ2VTJ43BJFS574MC","entityRefIds":{"SimilarityComparison":"ent_JR7706D45QJ2VTJ43BJFS574MC"},"emits":[{"event":"EMBEDDED","eventId":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","description":"Raw embeddings from llm/embed — query vector at index 0, candidate vectors following in input order","tier":"secondary","payloadSchema":[{"name":"result","type":"[[float]]","required":true}]},{"event":"SIMILARITY_MATCHED","eventId":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","description":"Candidate matched with high confidence — score at or above floor, with a clear margin over the runner-up","tier":"primary","scope":"external","payloadSchema":[{"name":"index","type":"int","required":true},{"name":"score","type":"float","required":true}]},{"event":"SIMILARITY_ABSTAINED","eventId":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","description":"No confident match — reason is one of: empty candidate list, below floor, thin margin, embedding unavailable. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"embedding"},{"name":"resolved"}],"events":[{"key":"INIT","id":"evt_487BQMWXNTETXAG0F0W0XT1EE7","name":"Initialize"},{"key":"COMPARE","id":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","name":"Compare","payloadSchema":[{"name":"query","type":"string","required":true},{"name":"candidates","type":"[string]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"EMBEDDED","id":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","name":"Embedded","description":"Raw embeddings from llm/embed — query vector at index 0, candidate vectors following in input order","tier":"secondary","payloadSchema":[{"name":"result","type":"[[float]]","required":true}]},{"key":"EMBED_FAILED","id":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","name":"Embed Failed"},{"key":"RESET","id":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","name":"Reset"},{"key":"SIMILARITY_MATCHED","id":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","name":"Similarity Matched","description":"Candidate matched with high confidence — score at or above floor, with a clear margin over the runner-up","tier":"primary","payloadSchema":[{"name":"index","type":"int","required":true},{"name":"score","type":"float","required":true}]},{"key":"SIMILARITY_ABSTAINED","id":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","name":"Similarity Abstained","description":"No confident match — reason is one of: empty candidate list, below floor, thin margin, embedding unavailable. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"embedding","event":"COMPARE","eventId":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","guard":[">",["array/len","@payload.candidates"],0],"effects":[["set","@entity.query","@payload.query"],["set","@entity.candidates","@payload.candidates"],["set","@entity.request","@payload.request"],["set","@entity.status","embedding"],["llm/embed",["array/prepend","@payload.candidates","@payload.query"],{"emit":{"success":"EMBEDDED","failure":"EMBED_FAILED"}}]]},{"from":"idle","to":"resolved","event":"COMPARE","eventId":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","guard":["==",["array/len","@payload.candidates"],0],"effects":[["set","@entity.query","@payload.query"],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","empty candidate list"],["set","@entity.request","@payload.request"],["set","@entity.status","resolved"],["emit","SIMILARITY_ABSTAINED",{"reason":"empty candidate list","request":"@entity.request"}]]},{"from":"embedding","to":"idle","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"embedding","to":"resolved","event":"EMBEDDED","eventId":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","effects":[["set","@entity.embeddings","@payload.result"],["set","@entity.status","resolved"],["if",["<",["array/len","@payload.result"],2],["do",["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","embedding result incomplete"],["emit","SIMILARITY_ABSTAINED",{"reason":"embedding result incomplete","request":"@entity.request"}]],["do",["set","@entity.queryVector",["array/first","@entity.embeddings"]],["set","@entity.candidateVectors",["array/drop","@entity.embeddings",1]],["let",[["nearest",["array/nearest","@entity.queryVector","@entity.candidateVectors"]]],["do",["set","@entity.matchIndex",["object/get","@nearest","index"]],["set","@entity.matchScore",["object/get","@nearest","score"]],["set","@entity.matchMargin",["object/get","@nearest","margin"]],["if",["and",[">=","@entity.matchScore","@config.floor"],[">=","@entity.matchMargin","@config.margin"]],["do",["set","@entity.reason",""],["emit","SIMILARITY_MATCHED",{"index":"@entity.matchIndex","score":"@entity.matchScore"}]],["do",["set","@entity.reason",["if",["<","@entity.matchScore","@config.floor"],"below floor","thin margin"]],["emit","SIMILARITY_ABSTAINED",{"reason":"@entity.reason","request":"@entity.request"}]]]]]]]]},{"from":"embedding","to":"resolved","event":"EMBED_FAILED","eventId":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","effects":[["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","embedding unavailable"],["set","@entity.status","resolved"],["emit","SIMILARITY_ABSTAINED",{"reason":"embedding unavailable","request":"@entity.request"}]]},{"from":"resolved","to":"resolved","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.status","resolved"]]},{"from":"resolved","to":"idle","event":"RESET","eventId":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"margin":{"type":"float","default":0.05,"label":"Match margin","description":"Minimum gap between the best and second-best score required to trust the match","tier":"policy"},"floor":{"type":"float","default":0.82,"label":"Match floor","description":"Minimum cosine score for a confident match","tier":"policy"}},"scope":"instance"}],"pages":[{"name":"MlSimilarityPage","id":"pag_RRQD3Y0R94C4J2K9195F2GJ2W2","path":"/ml-similarity","traits":[{"ref":"SimilarityRun","refId":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"}]}],"types":{"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_JR7706D45QJ2VTJ43BJFS574MC":{"id":"ent_JR7706D45QJ2VTJ43BJFS574MC","kind":"entity","bakedName":"SimilarityComparison","curName":"SimilarityComparison","renames":[],"owner":"workspace"},"evt_487BQMWXNTETXAG0F0W0XT1EE7":{"id":"evt_487BQMWXNTETXAG0F0W0XT1EE7","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_7A2QNAP9Q44VJ47968ZS7J3BY6":{"id":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","kind":"event","bakedName":"EMBED_FAILED","curName":"EMBED_FAILED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ":{"id":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","kind":"event","bakedName":"EMBEDDED","curName":"EMBEDDED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_TR4HXB3SFGWQR5J9HDHNPSV855":{"id":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK":{"id":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","kind":"event","bakedName":"COMPARE","curName":"COMPARE","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_WQ2RXTMYD3F6HJRPMSRKAA105V":{"id":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","kind":"event","bakedName":"SIMILARITY_ABSTAINED","curName":"SIMILARITY_ABSTAINED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_WV3K1VX6VXKDYXYR0V69X54H0B":{"id":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","kind":"event","bakedName":"SIMILARITY_MATCHED","curName":"SIMILARITY_MATCHED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"orb_9KJJAS7KPESV716VXRW92NQM8Z":{"id":"orb_9KJJAS7KPESV716VXRW92NQM8Z","kind":"orbital","bakedName":"MlSimilarityOrbital","curName":"MlSimilarityOrbital","renames":[],"owner":"workspace"},"pag_RRQD3Y0R94C4J2K9195F2GJ2W2":{"id":"pag_RRQD3Y0R94C4J2K9195F2GJ2W2","kind":"page","bakedName":"MlSimilarityPage","curName":"MlSimilarityPage","renames":[],"owner":"workspace"},"trt_0MK3JVG03F01QQC6KY6ST9YZKF":{"id":"trt_0MK3JVG03F01QQC6KY6ST9YZKF","kind":"trait","bakedName":"SimilarityRun","curName":"SimilarityRun","renames":[],"owner":"workspace"}}}}
1	+ {"name":"std-ml-similarity","version":"1.0.0","description":"Retrieval rung (R3) — embed a candidate against references and gate on cosine floor + margin; abstains when not confident.","orbitals":[{"name":"MlSimilarityOrbital","id":"orb_9KJJAS7KPESV716VXRW92NQM8Z","entity":{"name":"SimilarityComparison","id":"ent_JR7706D45QJ2VTJ43BJFS574MC","persistence":"runtime","fields":[{"name":"query","type":"string","default":""},{"name":"candidates","type":"array","default":[],"items":{"type":"string"}},{"name":"embeddings","type":"array","default":[],"items":{"type":"array","items":{"type":"number"}}},{"name":"queryVector","type":"array","default":[],"items":{"type":"number"}},{"name":"candidateVectors","type":"array","default":[],"items":{"type":"array","items":{"type":"number"}}},{"name":"matchIndex","type":"number","default":0},{"name":"matchScore","type":"number","default":0},{"name":"matchMargin","type":"number","default":0},{"name":"reason","type":"string","default":""},{"name":"request","type":"object","default":{},"properties":{"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"candidate":{"name":"candidate","type":"string","required":true},"key":{"name":"key","type":"string","required":true},"accepted":{"name":"accepted","type":"array","required":true,"items":{"type":"string"}}}},{"name":"status","type":"string","default":"idle","values":["idle","embedding","resolved"]}]},"traits":[{"name":"SimilarityRun","id":"trt_0MK3JVG03F01QQC6KY6ST9YZKF","effectRow":[{"kind":"emit","resource":"SIMILARITY_ABSTAINED"},{"kind":"emit","resource":"SIMILARITY_MATCHED"},{"kind":"llm/embed"},{"kind":"set","resource":"@entity.candidateVectors"},{"kind":"set","resource":"@entity.candidates"},{"kind":"set","resource":"@entity.embeddings"},{"kind":"set","resource":"@entity.matchIndex"},{"kind":"set","resource":"@entity.matchMargin"},{"kind":"set","resource":"@entity.matchScore"},{"kind":"set","resource":"@entity.query"},{"kind":"set","resource":"@entity.queryVector"},{"kind":"set","resource":"@entity.reason"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"}],"category":"lifecycle","linkedEntity":"SimilarityComparison","linkedEntityId":"ent_JR7706D45QJ2VTJ43BJFS574MC","entityRefIds":{"SimilarityComparison":"ent_JR7706D45QJ2VTJ43BJFS574MC"},"emits":[{"event":"EMBEDDED","eventId":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","description":"Raw embeddings from llm/embed — query vector at index 0, candidate vectors following in input order","tier":"secondary","payloadSchema":[{"name":"result","type":"[[float]]","required":true}]},{"event":"SIMILARITY_MATCHED","eventId":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","description":"Candidate matched with high confidence — score at or above floor, with a clear margin over the runner-up","tier":"primary","scope":"external","payloadSchema":[{"name":"index","type":"int","required":true},{"name":"score","type":"float","required":true}]},{"event":"SIMILARITY_ABSTAINED","eventId":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","description":"No confident match — reason is one of: empty candidate list, below floor, thin margin, embedding unavailable. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"embedding"},{"name":"resolved"}],"events":[{"key":"INIT","id":"evt_487BQMWXNTETXAG0F0W0XT1EE7","name":"Initialize"},{"key":"COMPARE","id":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","name":"Compare","payloadSchema":[{"name":"query","type":"string","required":true},{"name":"candidates","type":"[string]","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"EMBEDDED","id":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","name":"Embedded","description":"Raw embeddings from llm/embed — query vector at index 0, candidate vectors following in input order","tier":"secondary","payloadSchema":[{"name":"result","type":"[[float]]","required":true}]},{"key":"EMBED_FAILED","id":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","name":"Embed Failed"},{"key":"RESET","id":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","name":"Reset"},{"key":"SIMILARITY_MATCHED","id":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","name":"Similarity Matched","description":"Candidate matched with high confidence — score at or above floor, with a clear margin over the runner-up","tier":"primary","payloadSchema":[{"name":"index","type":"int","required":true},{"name":"score","type":"float","required":true}]},{"key":"SIMILARITY_ABSTAINED","id":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","name":"Similarity Abstained","description":"No confident match — reason is one of: empty candidate list, below floor, thin margin, embedding unavailable. request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"reason","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"embedding","event":"COMPARE","eventId":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","guard":[">",["array/len","@payload.candidates"],0],"effects":[["set","@entity.query","@payload.query"],["set","@entity.candidates","@payload.candidates"],["set","@entity.request","@payload.request"],["set","@entity.status","embedding"],["llm/embed",["array/prepend","@payload.candidates","@payload.query"],{"emit":{"success":"EMBEDDED","failure":"EMBED_FAILED"}}]]},{"from":"idle","to":"resolved","event":"COMPARE","eventId":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","guard":["==",["array/len","@payload.candidates"],0],"effects":[["set","@entity.query","@payload.query"],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","empty candidate list"],["set","@entity.request","@payload.request"],["set","@entity.status","resolved"],["emit","SIMILARITY_ABSTAINED",{"reason":"empty candidate list","request":"@entity.request"}]]},{"from":"embedding","to":"idle","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"embedding","to":"resolved","event":"EMBEDDED","eventId":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","effects":[["set","@entity.embeddings","@payload.result"],["set","@entity.status","resolved"],["if",["<",["array/len","@payload.result"],2],["do",["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","embedding result incomplete"],["emit","SIMILARITY_ABSTAINED",{"reason":"embedding result incomplete","request":"@entity.request"}]],["do",["set","@entity.queryVector",["array/first","@entity.embeddings"]],["set","@entity.candidateVectors",["array/drop","@entity.embeddings",1]],["let",[["nearest",["array/nearest","@entity.queryVector","@entity.candidateVectors"]]],["do",["set","@entity.matchIndex",["object/get","@nearest","index"]],["set","@entity.matchScore",["object/get","@nearest","score"]],["set","@entity.matchMargin",["object/get","@nearest","margin"]],["if",["and",[">=","@entity.matchScore","@config.floor"],[">=","@entity.matchMargin","@config.margin"]],["do",["set","@entity.reason",""],["emit","SIMILARITY_MATCHED",{"index":"@entity.matchIndex","score":"@entity.matchScore"}]],["do",["set","@entity.reason",["if",["<","@entity.matchScore","@config.floor"],"below floor","thin margin"]],["emit","SIMILARITY_ABSTAINED",{"reason":"@entity.reason","request":"@entity.request"}]]]]]]]]},{"from":"embedding","to":"resolved","event":"EMBED_FAILED","eventId":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","effects":[["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason","embedding unavailable"],["set","@entity.status","resolved"],["emit","SIMILARITY_ABSTAINED",{"reason":"embedding unavailable","request":"@entity.request"}]]},{"from":"resolved","to":"resolved","event":"INIT","eventId":"evt_487BQMWXNTETXAG0F0W0XT1EE7","effects":[["set","@entity.status","resolved"]]},{"from":"resolved","to":"idle","event":"RESET","eventId":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","effects":[["set","@entity.query",""],["set","@entity.candidates",[]],["set","@entity.embeddings",[]],["set","@entity.queryVector",[]],["set","@entity.candidateVectors",[]],["set","@entity.matchIndex",0],["set","@entity.matchScore",0],["set","@entity.matchMargin",0],["set","@entity.reason",""],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"margin":{"type":"float","default":0.05,"label":"Match margin","description":"Minimum gap between the best and second-best score required to trust the match","tier":"policy"},"floor":{"type":"float","default":0.82,"label":"Match floor","description":"Minimum cosine score for a confident match","tier":"policy"}},"scope":"instance"}],"pages":[{"name":"MlSimilarityPage","id":"pag_RRQD3Y0R94C4J2K9195F2GJ2W2","path":"/ml-similarity","traits":[{"ref":"SimilarityRun","refId":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"}]}],"types":{"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_JR7706D45QJ2VTJ43BJFS574MC":{"id":"ent_JR7706D45QJ2VTJ43BJFS574MC","kind":"entity","bakedName":"SimilarityComparison","curName":"SimilarityComparison","renames":[],"owner":"workspace"},"evt_487BQMWXNTETXAG0F0W0XT1EE7":{"id":"evt_487BQMWXNTETXAG0F0W0XT1EE7","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_7A2QNAP9Q44VJ47968ZS7J3BY6":{"id":"evt_7A2QNAP9Q44VJ47968ZS7J3BY6","kind":"event","bakedName":"EMBED_FAILED","curName":"EMBED_FAILED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ":{"id":"evt_KK3CV4FHBBRNNPW4HQ8493TFDJ","kind":"event","bakedName":"EMBEDDED","curName":"EMBEDDED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_TR4HXB3SFGWQR5J9HDHNPSV855":{"id":"evt_TR4HXB3SFGWQR5J9HDHNPSV855","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK":{"id":"evt_VAGW4T7N9KTMSXY7T5RJ8FM8HK","kind":"event","bakedName":"COMPARE","curName":"COMPARE","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_WQ2RXTMYD3F6HJRPMSRKAA105V":{"id":"evt_WQ2RXTMYD3F6HJRPMSRKAA105V","kind":"event","bakedName":"SIMILARITY_ABSTAINED","curName":"SIMILARITY_ABSTAINED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"evt_WV3K1VX6VXKDYXYR0V69X54H0B":{"id":"evt_WV3K1VX6VXKDYXYR0V69X54H0B","kind":"event","bakedName":"SIMILARITY_MATCHED","curName":"SIMILARITY_MATCHED","renames":[],"owner":"workspace","parent":"trt_0MK3JVG03F01QQC6KY6ST9YZKF"},"orb_9KJJAS7KPESV716VXRW92NQM8Z":{"id":"orb_9KJJAS7KPESV716VXRW92NQM8Z","kind":"orbital","bakedName":"MlSimilarityOrbital","curName":"MlSimilarityOrbital","renames":[],"owner":"workspace"},"pag_RRQD3Y0R94C4J2K9195F2GJ2W2":{"id":"pag_RRQD3Y0R94C4J2K9195F2GJ2W2","kind":"page","bakedName":"MlSimilarityPage","curName":"MlSimilarityPage","renames":[],"owner":"workspace"},"trt_0MK3JVG03F01QQC6KY6ST9YZKF":{"id":"trt_0MK3JVG03F01QQC6KY6ST9YZKF","kind":"trait","bakedName":"SimilarityRun","curName":"SimilarityRun","renames":[],"owner":"workspace"}}}}

package/behaviors/registry/ml/atoms/std-tokenizer.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"name":"std-tokenizer","version":"1.0.0","description":"std-tokenizer — a text-preprocessing atom for tokenization. Splits raw text into a token sequence using a configurable method (whitespace, character, or arbitrary delimiter), normalizes and truncates the sequence, then maps each token to a vocabulary id (falling back to unkId when the token is absent from config.vocab). Feeds downstream embedding or sequence-model atoms. Pure circuit logic: str/* and array/* operators only, no ML compute, no model call.","orbitals":[{"name":"MlTokenizerOrbital","id":"orb_YXG5WMJAT05D009QMG67C6JBCW","entity":{"name":"TokenSequence","id":"ent_PHF6GF4J2T91DEPE8D40F824BD","persistence":"runtime","fields":[{"name":"text","type":"string","default":""},{"name":"tokens","type":"array","default":[],"items":{"type":"string"}},{"name":"tokenIds","type":"array","default":[],"items":{"type":"number"}},{"name":"tokenCount","type":"number","default":0},{"name":"request","type":"object","default":{},"properties":{"~~candidate~~":{"name":"~~candidate~~","type":"string","required":true},"~~key~~":{"name":"~~key~~","type":"~~string~~","required":true},"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"~~accepted~~":{"name":"~~accepted~~","type":"~~array~~","required":true~~,"items":{"type":"string"~~}}}},{"name":"status","type":"string","default":"idle","values":["idle","checked"]}]},"traits":[{"name":"TokenizerRun","id":"trt_6X39R6XVS3XWHTWHGER7FABASV","effectRow":[{"kind":"emit","resource":"TOKENIZED"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.text"},{"kind":"set","resource":"@entity.tokenCount"},{"kind":"set","resource":"@entity.tokenIds"},{"kind":"set","resource":"@entity.tokens"}],"category":"lifecycle","linkedEntity":"TokenSequence","linkedEntityId":"ent_PHF6GF4J2T91DEPE8D40F824BD","entityRefIds":{"TokenSequence":"ent_PHF6GF4J2T91DEPE8D40F824BD"},"emits":[{"event":"TOKENIZED","eventId":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","description":"Text tokenized into a normalized, truncated token sequence with vocabulary ids","tier":"primary","scope":"external","payloadSchema":[{"name":"tokens","type":"[string]","required":true},{"name":"tokenIds","type":"[int]","required":true},{"name":"tokenCount","type":"int","required":true}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"checked"}],"events":[{"key":"INIT","id":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","name":"Initialize"},{"key":"TOKENIZE","id":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","name":"Tokenize","payloadSchema":[{"name":"text","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"RESET","id":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","name":"Reset"},{"key":"TOKENIZED","id":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","name":"Tokenized","description":"Text tokenized into a normalized, truncated token sequence with vocabulary ids","tier":"primary","payloadSchema":[{"name":"tokens","type":"[string]","required":true},{"name":"tokenIds","type":"[int]","required":true},{"name":"tokenCount","type":"int","required":true}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","effects":[["set","@entity.text",""],["set","@entity.tokens",[]],["set","@entity.tokenIds",[]],["set","@entity.tokenCount",0],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"checked","event":"TOKENIZE","eventId":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","effects":[["let",[["split",["if",["==","@config.method","character"],["str/split","@payload.text",""],["str/split","@payload.text",["if",["==","@config.method","delimiter"],"@config.delimiter"," "]]]],["trimmed",["if","@config.trimWhitespace",["array/map","@split",["fn","t",["str/trim","@t"]]],"@split"]],["normalized",["if","@config.lowercase",["array/map","@trimmed",["fn","t",["str/lower","@t"]]],"@trimmed"]],["nonEmpty",["array/filter","@normalized",["fn","t",[">",["str/len","@t"],0]]]],["truncated",["array/slice","@nonEmpty",0,"@config.maxLength"]],["ids",["array/map","@truncated",["fn","t",["object/get","@config.vocab","@t","@config.unkId"]]]]],["do",["set","@entity.text","@payload.text"],["set","@entity.tokens","@truncated"],["set","@entity.tokenIds","@ids"],["set","@entity.tokenCount",["array/len","@truncated"]],["set","@entity.request","@payload.request"],["set","@entity.status","checked"],["emit","TOKENIZED",{"tokens":"@entity.tokens","tokenIds":"@entity.tokenIds","tokenCount":"@entity.tokenCount"}]]]]},{"from":"checked","to":"checked","event":"INIT","eventId":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","effects":[["set","@entity.status","checked"]]},{"from":"checked","to":"idle","event":"RESET","eventId":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","effects":[["set","@entity.text",""],["set","@entity.tokens",[]],["set","@entity.tokenIds",[]],["set","@entity.tokenCount",0],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"~~lowercase~~":{"type":"~~boolean~~","default":~~true~~,"label":"~~Lowercase~~","description":"~~Lowercase~~ ~~every~~ ~~token~~ ~~before~~ ~~vocabulary~~ ~~lookup~~","tier":"~~policy~~"},"trimWhitespace":{"type":"boolean","default":true,"label":"Trim whitespace","description":"Trim each token and drop tokens that are empty afterward","tier":"policy"},"~~maxLength~~":{"type":"int","default":~~512~~,"label":"~~Max~~ ~~length~~","description":"~~Truncate~~ ~~the~~ token ~~sequence~~ to at ~~most~~ ~~this~~ ~~many tokens~~","tier":"policy"},"vocab":{"type":"Map<string,int>","default":{},"label":"Vocabulary","description":"Token-to-id map; a token absent from this map resolves to unkId","tier":"domain","items":{"type":"number"}},"~~delimiter~~":{"type":"string","default":",","label":"~~Delimiter~~","description":"~~Split~~ ~~delimiter~~ ~~used~~ ~~when~~ ~~method~~ is delimiter; ~~ignored~~ ~~otherwise~~","tier":"~~domain~~"},"~~unkId~~":{"type":"int","default":0,"label":"~~Unknown~~ ~~token id~~","description":"Id ~~assigned~~ to a ~~token~~ ~~that~~ is ~~not~~ ~~present~~ ~~in config.vocab~~","tier":"policy"},"~~method~~":{"type":"~~string~~","default":~~"whitespace"~~,"label":"~~Method~~","description":"~~Whitespace~~ ~~splits~~ on ~~single~~ ~~spaces,~~ ~~character splits into individual characters, delimiter splits on config.delimiter~~","tier":"policy"~~,"values":["whitespace","character","delimiter"]~~}},"scope":"instance"}],"pages":[{"name":"MlTokenizerPage","id":"pag_XT4XHEJJZ99FMNZCXG23H0EW6W","path":"/ml-tokenizer","traits":[{"ref":"TokenizerRun","refId":"trt_6X39R6XVS3XWHTWHGER7FABASV"}]}],"types":{"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_PHF6GF4J2T91DEPE8D40F824BD":{"id":"ent_PHF6GF4J2T91DEPE8D40F824BD","kind":"entity","bakedName":"TokenSequence","curName":"TokenSequence","renames":[],"owner":"workspace"},"evt_2CSVD5RAJM59A5NHPNBPN3QGM8":{"id":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","kind":"event","bakedName":"TOKENIZED","curName":"TOKENIZED","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_9GEGT7Y3P81V4AA63HRDYJP4W7":{"id":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF":{"id":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","kind":"event","bakedName":"TOKENIZE","curName":"TOKENIZE","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_WF8YGWTSFRCQW2P49TNA6NHVEM":{"id":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"orb_YXG5WMJAT05D009QMG67C6JBCW":{"id":"orb_YXG5WMJAT05D009QMG67C6JBCW","kind":"orbital","bakedName":"MlTokenizerOrbital","curName":"MlTokenizerOrbital","renames":[],"owner":"workspace"},"pag_XT4XHEJJZ99FMNZCXG23H0EW6W":{"id":"pag_XT4XHEJJZ99FMNZCXG23H0EW6W","kind":"page","bakedName":"MlTokenizerPage","curName":"MlTokenizerPage","renames":[],"owner":"workspace"},"trt_6X39R6XVS3XWHTWHGER7FABASV":{"id":"trt_6X39R6XVS3XWHTWHGER7FABASV","kind":"trait","bakedName":"TokenizerRun","curName":"TokenizerRun","renames":[],"owner":"workspace"}}}}
1	+ {"name":"std-tokenizer","version":"1.0.0","description":"std-tokenizer — a text-preprocessing atom for tokenization. Splits raw text into a token sequence using a configurable method (whitespace, character, or arbitrary delimiter), normalizes and truncates the sequence, then maps each token to a vocabulary id (falling back to unkId when the token is absent from config.vocab). Feeds downstream embedding or sequence-model atoms. Pure circuit logic: str/* and array/* operators only, no ML compute, no model call.","orbitals":[{"name":"MlTokenizerOrbital","id":"orb_YXG5WMJAT05D009QMG67C6JBCW","entity":{"name":"TokenSequence","id":"ent_PHF6GF4J2T91DEPE8D40F824BD","persistence":"runtime","fields":[{"name":"text","type":"string","default":""},{"name":"tokens","type":"array","default":[],"items":{"type":"string"}},{"name":"tokenIds","type":"array","default":[],"items":{"type":"number"}},{"name":"tokenCount","type":"number","default":0},{"name":"request","type":"object","default":{},"properties":{"key":{"name":"key","type":"string","required":true},"accepted":{"name":"accepted","type":"array","required":true,"items":{"type":"string"}},"categories":{"name":"categories","type":"array","required":true,"items":{"type":"string"}},"candidate":{"name":"candidate","type":"string","required":true}}},{"name":"status","type":"string","default":"idle","values":["idle","checked"]}]},"traits":[{"name":"TokenizerRun","id":"trt_6X39R6XVS3XWHTWHGER7FABASV","effectRow":[{"kind":"emit","resource":"TOKENIZED"},{"kind":"set","resource":"@entity.request"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.text"},{"kind":"set","resource":"@entity.tokenCount"},{"kind":"set","resource":"@entity.tokenIds"},{"kind":"set","resource":"@entity.tokens"}],"category":"lifecycle","linkedEntity":"TokenSequence","linkedEntityId":"ent_PHF6GF4J2T91DEPE8D40F824BD","entityRefIds":{"TokenSequence":"ent_PHF6GF4J2T91DEPE8D40F824BD"},"emits":[{"event":"TOKENIZED","eventId":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","description":"Text tokenized into a normalized, truncated token sequence with vocabulary ids","tier":"primary","scope":"external","payloadSchema":[{"name":"tokens","type":"[string]","required":true},{"name":"tokenIds","type":"[int]","required":true},{"name":"tokenCount","type":"int","required":true}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"checked"}],"events":[{"key":"INIT","id":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","name":"Initialize"},{"key":"TOKENIZE","id":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","name":"Tokenize","payloadSchema":[{"name":"text","type":"string","required":true},{"name":"request","type":"object","properties":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}],"listened":true},{"key":"RESET","id":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","name":"Reset"},{"key":"TOKENIZED","id":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","name":"Tokenized","description":"Text tokenized into a normalized, truncated token sequence with vocabulary ids","tier":"primary","payloadSchema":[{"name":"tokens","type":"[string]","required":true},{"name":"tokenIds","type":"[int]","required":true},{"name":"tokenCount","type":"int","required":true}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","effects":[["set","@entity.text",""],["set","@entity.tokens",[]],["set","@entity.tokenIds",[]],["set","@entity.tokenCount",0],["set","@entity.request",{}],["set","@entity.status","idle"]]},{"from":"idle","to":"checked","event":"TOKENIZE","eventId":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","effects":[["let",[["split",["if",["==","@config.method","character"],["str/split","@payload.text",""],["str/split","@payload.text",["if",["==","@config.method","delimiter"],"@config.delimiter"," "]]]],["trimmed",["if","@config.trimWhitespace",["array/map","@split",["fn","t",["str/trim","@t"]]],"@split"]],["normalized",["if","@config.lowercase",["array/map","@trimmed",["fn","t",["str/lower","@t"]]],"@trimmed"]],["nonEmpty",["array/filter","@normalized",["fn","t",[">",["str/len","@t"],0]]]],["truncated",["array/slice","@nonEmpty",0,"@config.maxLength"]],["ids",["array/map","@truncated",["fn","t",["object/get","@config.vocab","@t","@config.unkId"]]]]],["do",["set","@entity.text","@payload.text"],["set","@entity.tokens","@truncated"],["set","@entity.tokenIds","@ids"],["set","@entity.tokenCount",["array/len","@truncated"]],["set","@entity.request","@payload.request"],["set","@entity.status","checked"],["emit","TOKENIZED",{"tokens":"@entity.tokens","tokenIds":"@entity.tokenIds","tokenCount":"@entity.tokenCount"}]]]]},{"from":"checked","to":"checked","event":"INIT","eventId":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","effects":[["set","@entity.status","checked"]]},{"from":"checked","to":"idle","event":"RESET","eventId":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","effects":[["set","@entity.text",""],["set","@entity.tokens",[]],["set","@entity.tokenIds",[]],["set","@entity.tokenCount",0],["set","@entity.request",{}],["set","@entity.status","idle"]]}]},"config":{"delimiter":{"type":"string","default":",","label":"Delimiter","description":"Split delimiter used when method is delimiter; ignored otherwise","tier":"domain"},"trimWhitespace":{"type":"boolean","default":true,"label":"Trim whitespace","description":"Trim each token and drop tokens that are empty afterward","tier":"policy"},"unkId":{"type":"int","default":0,"label":"Unknown token id","description":"Id assigned to a token that is not present in config.vocab","tier":"policy"},"vocab":{"type":"Map<string,int>","default":{},"label":"Vocabulary","description":"Token-to-id map; a token absent from this map resolves to unkId","tier":"domain","items":{"type":"number"}},"method":{"type":"string","default":"whitespace","label":"Method","description":"Whitespace splits on single spaces, character splits into individual characters, delimiter splits on config.delimiter","tier":"policy","values":["whitespace","character","delimiter"]},"maxLength":{"type":"int","default":512,"label":"Max length","description":"Truncate the token sequence to at most this many tokens","tier":"policy"},"lowercase":{"type":"boolean","default":true,"label":"Lowercase","description":"Lowercase every token before vocabulary lookup","tier":"policy"}},"scope":"instance"}],"pages":[{"name":"MlTokenizerPage","id":"pag_XT4XHEJJZ99FMNZCXG23H0EW6W","path":"/ml-tokenizer","traits":[{"ref":"TokenizerRun","refId":"trt_6X39R6XVS3XWHTWHGER7FABASV"}]}],"types":{"DecisionRequest":[{"name":"candidate","type":"string","required":true},{"name":"key","type":"string","required":true},{"name":"accepted","type":"[string]","required":true},{"name":"categories","type":"[string]","required":true}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_PHF6GF4J2T91DEPE8D40F824BD":{"id":"ent_PHF6GF4J2T91DEPE8D40F824BD","kind":"entity","bakedName":"TokenSequence","curName":"TokenSequence","renames":[],"owner":"workspace"},"evt_2CSVD5RAJM59A5NHPNBPN3QGM8":{"id":"evt_2CSVD5RAJM59A5NHPNBPN3QGM8","kind":"event","bakedName":"TOKENIZED","curName":"TOKENIZED","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_9GEGT7Y3P81V4AA63HRDYJP4W7":{"id":"evt_9GEGT7Y3P81V4AA63HRDYJP4W7","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF":{"id":"evt_CZRG0ZBHYBRZ5VKN1ED2Z1YGAF","kind":"event","bakedName":"TOKENIZE","curName":"TOKENIZE","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"evt_WF8YGWTSFRCQW2P49TNA6NHVEM":{"id":"evt_WF8YGWTSFRCQW2P49TNA6NHVEM","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_6X39R6XVS3XWHTWHGER7FABASV"},"orb_YXG5WMJAT05D009QMG67C6JBCW":{"id":"orb_YXG5WMJAT05D009QMG67C6JBCW","kind":"orbital","bakedName":"MlTokenizerOrbital","curName":"MlTokenizerOrbital","renames":[],"owner":"workspace"},"pag_XT4XHEJJZ99FMNZCXG23H0EW6W":{"id":"pag_XT4XHEJJZ99FMNZCXG23H0EW6W","kind":"page","bakedName":"MlTokenizerPage","curName":"MlTokenizerPage","renames":[],"owner":"workspace"},"trt_6X39R6XVS3XWHTWHGER7FABASV":{"id":"trt_6X39R6XVS3XWHTWHGER7FABASV","kind":"trait","bakedName":"TokenizerRun","curName":"TokenizerRun","renames":[],"owner":"workspace"}}}}

package/behaviors/registry/ml/atoms/std-weight-validator.orb CHANGED Viewed

	@@ -1 +1 @@
1	- {"name":"std-weight-validator","version":"1.0.0","description":"std-weight-validator — a constraint-checking atom for model weights, applying the same discipline as the zero-warning validator to weights: constrained and checked, not trusted (Almadar_Intelligence_Ladder.md §7.5). Checks a candidate weight tensor against three pure predicate constraints — magnitude bounds (every element's absolute value must clear maxMagnitude), forbidden regions (excluded [min,max] bands no weight may land in even within the magnitude bound), and a regression threshold against a baseline tensor (per-element drift must not exceed regressionThreshold; 0 disables the check) — and reports every violated check with its detail. Emits WEIGHTS_ACCEPTED when all three checks clear, or WEIGHTS_REJECTED carrying the full violations list otherwise. Pure circuit logic: predicates and comparisons only, no ML compute, no model call.","orbitals":[{"name":"MlWeightValidatorOrbital","id":"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ","entity":{"name":"WeightValidation","id":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","persistence":"runtime","fields":[{"name":"weights","type":"array","default":[],"items":{"type":"number"}},{"name":"baseline","type":"array","default":[],"items":{"type":"number"}},{"name":"violations","type":"array","default":[],"items":{"type":"object","properties":{"value":{"name":"value","type":"number","required":false},"~~check~~":{"name":"~~check~~","type":"~~string~~","required":~~true~~},"~~index~~":{"name":"~~index~~","type":"~~number~~","required":~~false~~}}}},{"name":"valid","type":"boolean","default":false},{"name":"status","type":"string","default":"idle","values":["idle","checked"]}]},"traits":[{"name":"WeightValidatorRun","id":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0","effectRow":[{"kind":"emit","resource":"WEIGHTS_ACCEPTED"},{"kind":"emit","resource":"WEIGHTS_REJECTED"},{"kind":"set","resource":"@entity.baseline"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.valid"},{"kind":"set","resource":"@entity.violations"},{"kind":"set","resource":"@entity.weights"}],"category":"lifecycle","linkedEntity":"WeightValidation","linkedEntityId":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","entityRefIds":{"WeightValidation":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ"},"emits":[{"event":"WEIGHTS_ACCEPTED","eventId":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","description":"All constraint checks passed — magnitude bounds, forbidden regions, and regression are all clear","tier":"primary","scope":"external","payloadSchema":[{"name":"weights","type":"[float]","required":true}]},{"event":"WEIGHTS_REJECTED","eventId":"evt_27V18NDJF4S7J82VTT3CD0BHRN","description":"At least one constraint check failed; violations lists every failing check with its detail (magnitude, forbidden-region, or regression). request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"violations","type":"[object]","required":true,"properties":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}],"entity":"WeightViolation"},{"name":"request","type":"$r"}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"checked"}],"events":[{"key":"INIT","id":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","name":"Initialize"},{"key":"VALIDATE_WEIGHTS","id":"evt_VEY14XVDKWPSY716RV32FQK6J7","name":"Validate Weights","payloadSchema":[{"name":"weights","type":"[float]","required":true},{"name":"baseline","type":"[float]"},{"name":"request","type":"$r"}],"listened":true},{"key":"RESET","id":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","name":"Reset"},{"key":"WEIGHTS_ACCEPTED","id":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","name":"Weights Accepted","description":"All constraint checks passed — magnitude bounds, forbidden regions, and regression are all clear","tier":"primary","payloadSchema":[{"name":"weights","type":"[float]","required":true}]},{"key":"WEIGHTS_REJECTED","id":"evt_27V18NDJF4S7J82VTT3CD0BHRN","name":"Weights Rejected","description":"At least one constraint check failed; violations lists every failing check with its detail (magnitude, forbidden-region, or regression). request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"violations","type":"[object]","required":true,"properties":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}],"entity":"WeightViolation"},{"name":"request","type":"$r"}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","effects":[["set","@entity.weights",[]],["set","@entity.baseline",[]],["set","@entity.violations",[]],["set","@entity.valid",false],["set","@entity.status","idle"]]},{"from":"idle","to":"checked","event":"VALIDATE_WEIGHTS","eventId":"evt_VEY14XVDKWPSY716RV32FQK6J7","effects":[["let",[["cand","@payload.weights"],["base","@payload.baseline"],["magnitudeHits",["array/filter","@cand",["fn","w",[">",["math/abs","@w"],"@config.maxMagnitude"]]]],["regionHits",["array/filter","@cand",["fn","w",["array/some","@config.forbiddenRegions",["fn","r",["and",[">=","@w","@r.min"],["<=","@w","@r.max"]]]]]]],["regressionHits",["if",[">","@config.regressionThreshold",0],["array/filter",["array/range",0,["array/len","@cand"]],["fn","i",[">",["math/abs",["-",["array/nth","@cand","@i"],["array/nth","@base","@i"]]],"@config.regressionThreshold"]]],[]]],["violations",["array/concat",["array/map","@magnitudeHits",["fn","w",{"check":"magnitude","value":"@w"}]],["array/map","@regionHits",["fn","w",{"check":"forbidden-region","value":"@w"}]],["array/map","@regressionHits",["fn","i",{"check":"regression","index":"@i"}]]]]],["do",["set","@entity.weights","@cand"],["set","@entity.baseline","@base"],["set","@entity.violations","@violations"],["if",["==",["array/len","@violations"],0],["do",["set","@entity.valid",true],["set","@entity.status","checked"],["emit","WEIGHTS_ACCEPTED",{"weights":"@cand"}]],["do",["set","@entity.valid",false],["set","@entity.status","checked"],["emit","WEIGHTS_REJECTED",{"violations":"@violations","request":"@payload.request"}]]]]]]},{"from":"checked","to":"checked","event":"INIT","eventId":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","effects":[["set","@entity.status","checked"]]},{"from":"checked","to":"idle","event":"RESET","eventId":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","effects":[["set","@entity.weights",[]],["set","@entity.baseline",[]],["set","@entity.violations",[]],["set","@entity.valid",false],["set","@entity.status","idle"]]}]},"config":{"regressionThreshold":{"type":"float","default":0,"label":"Regression threshold","description":"Max allowed per-element absolute drift between candidate and baseline weights; 0 disables the regression check","tier":"policy"},"maxMagnitude":{"type":"float","default":10,"label":"Max weight magnitude","description":"Every weight's absolute value must not exceed this bound","tier":"policy"},"forbiddenRegions":{"type":"[Range]","default":[],"label":"Forbidden regions","description":"Value ranges no weight may fall inside, even within the magnitude bound","tier":"domain","items":{"type":"object","properties":{"min":{"name":"min","type":"number","required":true},"max":{"name":"max","type":"number","required":true}}}}},"scope":"instance","typeParams":[{"name":"r","kind":"Entity"}]}],"pages":[{"name":"MlWeightValidatorPage","id":"pag_514B34PJ9P94V2ZT894W4DXWJ9","path":"/ml-weight-validator","traits":[{"ref":"WeightValidatorRun","refId":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"}]}],"types":{"Range":[{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true}],"WeightViolation":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ":{"id":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","kind":"entity","bakedName":"WeightValidation","curName":"WeightValidation","renames":[],"owner":"workspace"},"evt_27V18NDJF4S7J82VTT3CD0BHRN":{"id":"evt_27V18NDJF4S7J82VTT3CD0BHRN","kind":"event","bakedName":"WEIGHTS_REJECTED","curName":"WEIGHTS_REJECTED","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ":{"id":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","kind":"event","bakedName":"WEIGHTS_ACCEPTED","curName":"WEIGHTS_ACCEPTED","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q":{"id":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_VEY14XVDKWPSY716RV32FQK6J7":{"id":"evt_VEY14XVDKWPSY716RV32FQK6J7","kind":"event","bakedName":"VALIDATE_WEIGHTS","curName":"VALIDATE_WEIGHTS","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_VWJS1QAXC4EP2E40YTWCQGFBPK":{"id":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ":{"id":"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ","kind":"orbital","bakedName":"MlWeightValidatorOrbital","curName":"MlWeightValidatorOrbital","renames":[],"owner":"workspace"},"pag_514B34PJ9P94V2ZT894W4DXWJ9":{"id":"pag_514B34PJ9P94V2ZT894W4DXWJ9","kind":"page","bakedName":"MlWeightValidatorPage","curName":"MlWeightValidatorPage","renames":[],"owner":"workspace"},"trt_DPZKV7FB20NH05N7E9XKM4GPJ0":{"id":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0","kind":"trait","bakedName":"WeightValidatorRun","curName":"WeightValidatorRun","renames":[],"owner":"workspace"}}}}
1	+ {"name":"std-weight-validator","version":"1.0.0","description":"std-weight-validator — a constraint-checking atom for model weights, applying the same discipline as the zero-warning validator to weights: constrained and checked, not trusted (Almadar_Intelligence_Ladder.md §7.5). Checks a candidate weight tensor against three pure predicate constraints — magnitude bounds (every element's absolute value must clear maxMagnitude), forbidden regions (excluded [min,max] bands no weight may land in even within the magnitude bound), and a regression threshold against a baseline tensor (per-element drift must not exceed regressionThreshold; 0 disables the check) — and reports every violated check with its detail. Emits WEIGHTS_ACCEPTED when all three checks clear, or WEIGHTS_REJECTED carrying the full violations list otherwise. Pure circuit logic: predicates and comparisons only, no ML compute, no model call.","orbitals":[{"name":"MlWeightValidatorOrbital","id":"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ","entity":{"name":"WeightValidation","id":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","persistence":"runtime","fields":[{"name":"weights","type":"array","default":[],"items":{"type":"number"}},{"name":"baseline","type":"array","default":[],"items":{"type":"number"}},{"name":"violations","type":"array","default":[],"items":{"type":"object","properties":{"value":{"name":"value","type":"number","required":false},"index":{"name":"index","type":"number","required":false},"check":{"name":"check","type":"string","required":true}}}},{"name":"valid","type":"boolean","default":false},{"name":"status","type":"string","default":"idle","values":["idle","checked"]}]},"traits":[{"name":"WeightValidatorRun","id":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0","effectRow":[{"kind":"emit","resource":"WEIGHTS_ACCEPTED"},{"kind":"emit","resource":"WEIGHTS_REJECTED"},{"kind":"set","resource":"@entity.baseline"},{"kind":"set","resource":"@entity.status"},{"kind":"set","resource":"@entity.valid"},{"kind":"set","resource":"@entity.violations"},{"kind":"set","resource":"@entity.weights"}],"category":"lifecycle","linkedEntity":"WeightValidation","linkedEntityId":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","entityRefIds":{"WeightValidation":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ"},"emits":[{"event":"WEIGHTS_ACCEPTED","eventId":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","description":"All constraint checks passed — magnitude bounds, forbidden regions, and regression are all clear","tier":"primary","scope":"external","payloadSchema":[{"name":"weights","type":"[float]","required":true}]},{"event":"WEIGHTS_REJECTED","eventId":"evt_27V18NDJF4S7J82VTT3CD0BHRN","description":"At least one constraint check failed; violations lists every failing check with its detail (magnitude, forbidden-region, or regression). request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","scope":"external","payloadSchema":[{"name":"violations","type":"[object]","required":true,"properties":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}],"entity":"WeightViolation"},{"name":"request","type":"$r"}]}],"stateMachine":{"states":[{"name":"idle","isInitial":true},{"name":"checked"}],"events":[{"key":"INIT","id":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","name":"Initialize"},{"key":"VALIDATE_WEIGHTS","id":"evt_VEY14XVDKWPSY716RV32FQK6J7","name":"Validate Weights","payloadSchema":[{"name":"weights","type":"[float]","required":true},{"name":"baseline","type":"[float]"},{"name":"request","type":"$r"}],"listened":true},{"key":"RESET","id":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","name":"Reset"},{"key":"WEIGHTS_ACCEPTED","id":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","name":"Weights Accepted","description":"All constraint checks passed — magnitude bounds, forbidden regions, and regression are all clear","tier":"primary","payloadSchema":[{"name":"weights","type":"[float]","required":true}]},{"key":"WEIGHTS_REJECTED","id":"evt_27V18NDJF4S7J82VTT3CD0BHRN","name":"Weights Rejected","description":"At least one constraint check failed; violations lists every failing check with its detail (magnitude, forbidden-region, or regression). request echoes the originating request untouched so the next rung can project its own inputs out of it","tier":"primary","payloadSchema":[{"name":"violations","type":"[object]","required":true,"properties":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}],"entity":"WeightViolation"},{"name":"request","type":"$r"}]}],"transitions":[{"from":"idle","to":"idle","event":"INIT","eventId":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","effects":[["set","@entity.weights",[]],["set","@entity.baseline",[]],["set","@entity.violations",[]],["set","@entity.valid",false],["set","@entity.status","idle"]]},{"from":"idle","to":"checked","event":"VALIDATE_WEIGHTS","eventId":"evt_VEY14XVDKWPSY716RV32FQK6J7","effects":[["let",[["cand","@payload.weights"],["base","@payload.baseline"],["magnitudeHits",["array/filter","@cand",["fn","w",[">",["math/abs","@w"],"@config.maxMagnitude"]]]],["regionHits",["array/filter","@cand",["fn","w",["array/some","@config.forbiddenRegions",["fn","r",["and",[">=","@w","@r.min"],["<=","@w","@r.max"]]]]]]],["regressionHits",["if",[">","@config.regressionThreshold",0],["array/filter",["array/range",0,["array/len","@cand"]],["fn","i",[">",["math/abs",["-",["array/nth","@cand","@i"],["array/nth","@base","@i"]]],"@config.regressionThreshold"]]],[]]],["violations",["array/concat",["array/map","@magnitudeHits",["fn","w",{"check":"magnitude","value":"@w"}]],["array/map","@regionHits",["fn","w",{"check":"forbidden-region","value":"@w"}]],["array/map","@regressionHits",["fn","i",{"check":"regression","index":"@i"}]]]]],["do",["set","@entity.weights","@cand"],["set","@entity.baseline","@base"],["set","@entity.violations","@violations"],["if",["==",["array/len","@violations"],0],["do",["set","@entity.valid",true],["set","@entity.status","checked"],["emit","WEIGHTS_ACCEPTED",{"weights":"@cand"}]],["do",["set","@entity.valid",false],["set","@entity.status","checked"],["emit","WEIGHTS_REJECTED",{"violations":"@violations","request":"@payload.request"}]]]]]]},{"from":"checked","to":"checked","event":"INIT","eventId":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","effects":[["set","@entity.status","checked"]]},{"from":"checked","to":"idle","event":"RESET","eventId":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","effects":[["set","@entity.weights",[]],["set","@entity.baseline",[]],["set","@entity.violations",[]],["set","@entity.valid",false],["set","@entity.status","idle"]]}]},"config":{"maxMagnitude":{"type":"float","default":10,"label":"Max weight magnitude","description":"Every weight's absolute value must not exceed this bound","tier":"policy"},"forbiddenRegions":{"type":"[Range]","default":[],"label":"Forbidden regions","description":"Value ranges no weight may fall inside, even within the magnitude bound","tier":"domain","items":{"type":"object","properties":{"min":{"name":"min","type":"number","required":true},"max":{"name":"max","type":"number","required":true}}}},"regressionThreshold":{"type":"float","default":0,"label":"Regression threshold","description":"Max allowed per-element absolute drift between candidate and baseline weights; 0 disables the regression check","tier":"policy"}},"scope":"instance","typeParams":[{"name":"r","kind":"Entity"}]}],"pages":[{"name":"MlWeightValidatorPage","id":"pag_514B34PJ9P94V2ZT894W4DXWJ9","path":"/ml-weight-validator","traits":[{"ref":"WeightValidatorRun","refId":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"}]}],"types":{"Range":[{"name":"min","type":"float","required":true},{"name":"max","type":"float","required":true}],"WeightViolation":[{"name":"check","type":"string","required":true},{"name":"value","type":"float"},{"name":"index","type":"int"}]}}],"schemaVersion":1,"ledger":{"schemaVersion":1,"entries":{"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ":{"id":"ent_GFAPHYVPD9V6MZCFMV9H7SBAHQ","kind":"entity","bakedName":"WeightValidation","curName":"WeightValidation","renames":[],"owner":"workspace"},"evt_27V18NDJF4S7J82VTT3CD0BHRN":{"id":"evt_27V18NDJF4S7J82VTT3CD0BHRN","kind":"event","bakedName":"WEIGHTS_REJECTED","curName":"WEIGHTS_REJECTED","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ":{"id":"evt_CTM8KJJ9HX4RYXEPS8ANXN79KZ","kind":"event","bakedName":"WEIGHTS_ACCEPTED","curName":"WEIGHTS_ACCEPTED","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q":{"id":"evt_H0Y5MFKF98QMMFY2X6BQDPGJ9Q","kind":"event","bakedName":"INIT","curName":"INIT","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_VEY14XVDKWPSY716RV32FQK6J7":{"id":"evt_VEY14XVDKWPSY716RV32FQK6J7","kind":"event","bakedName":"VALIDATE_WEIGHTS","curName":"VALIDATE_WEIGHTS","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"evt_VWJS1QAXC4EP2E40YTWCQGFBPK":{"id":"evt_VWJS1QAXC4EP2E40YTWCQGFBPK","kind":"event","bakedName":"RESET","curName":"RESET","renames":[],"owner":"workspace","parent":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0"},"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ":{"id":"orb_NQRDG9HQFSVQWJ4ADC0VNET0EQ","kind":"orbital","bakedName":"MlWeightValidatorOrbital","curName":"MlWeightValidatorOrbital","renames":[],"owner":"workspace"},"pag_514B34PJ9P94V2ZT894W4DXWJ9":{"id":"pag_514B34PJ9P94V2ZT894W4DXWJ9","kind":"page","bakedName":"MlWeightValidatorPage","curName":"MlWeightValidatorPage","renames":[],"owner":"workspace"},"trt_DPZKV7FB20NH05N7E9XKM4GPJ0":{"id":"trt_DPZKV7FB20NH05N7E9XKM4GPJ0","kind":"trait","bakedName":"WeightValidatorRun","curName":"WeightValidatorRun","renames":[],"owner":"workspace"}}}}