| | Status | Subtype | Assigned | Task |
---|
| | Open | | None | T278321 Provide a special page listing invalid ZObjects |
| | Open | | None | T278318 Let users validate an unstored ZObject / edit on a ZObject |
| | Stalled | | None | T269177 ZObject DAO should have a isWellFormed method |
| | Resolved | | cmassaro | T260861 Use the orchestrator/evaluator to validate instances of each Z4/Type using on-wiki defined Z8/Functions instead of hard-coded |
| | Open | | None | T278316 Provide a validation API endpoint for arbitrary ZObjects from both MediaWiki and the orchestrator |
| | Open | | None | T292240 Save Un- (or Under-) Validated ZObjects, Validate Asynchronously via Orchestrator, Then Annotate ZObjects As Valid or Not |
| | Open | | None | T278325 Store that a page contains an invalid ZObject in a tracking table |
| | Open | | None | T278320 Allow to store an invalid ZObject explicitly, so we can have failure examples for Validator functions' Testers |
| | Open | | None | T294045 Create a "Validate" Endpoint in Orchestrator |
| | Duplicate | | None | T273125 Migrate hard-coded validators to validation defined on-wiki |
| | Open | | None | T278319 Provide functionality for users to trigger a re-validation of a stored object |
| | Resolved | | None | T290119 Phase η root task |
| | Resolved | | None | T290118 User-defined types work with validation |
| | Resolved | | cmassaro | T288555 Support serialisation/deserialisation of user-defined types |
| | Resolved | BUG REPORT | cmassaro | T290122 "Could not deserialize input ZObject type: Z86" |
| | Resolved | | cmassaro | T287263 Deserialize Objects in Evaluator Based on Z7K1.Z8K2 |
| | Resolved | | None | T275941 Extend the system to support generated instances of Z4/ZTypes by parameterised functions ("Generic types") |
| | Resolved | | gengh | T277000 Validate a Z7/Function call in the wiki |
| | Resolved | | gengh | T281386 Use the formal ZObject validation definitions from the function-schemata repo in the ZObjectFactory validation code |
| | Declined | | Lindsaykwardell | T282745 Add function-schemata to frontend in order to remedy hybrid forms |
| | Resolved | | Lindsaykwardell | T282816 Use canonicalizer to display JSON |
| | Resolved | | cmassaro | T284474 Add tests for normalize/canonicalize code in frontend. |
| | Resolved | | cmassaro | T284764 Fix Canonicalization Code in Frontend to Handle Z6s That Masquerade as Z9s |
| | Resolved | | None | T291033 A function call used as an argument should validate its return type against the expected type of the argument |
| | Resolved | | None | T291034 Every argument of a function call with a literal or reference should be of a type compatible for that argument |
| | Resolved | | cmassaro | T291032 Arguments taking a function should validate functions as values |
| | Resolved | | None | T291040 Generic functions |
| | Invalid | | None | T291037 Function model: update functions to the new generic types |
| | Invalid | | gengh | T291038 Function model: updates to the data model to implement generic types |
| | Resolved | | DVrandecic | T287196 Update Pre-Generic Function Model |
| | Resolved | | DVrandecic | T287195 Function model: Z21 should be updated to be the null value of Unit |
| | Resolved | | DVrandecic | T287194 Function model: Z8K5 is a Z8/Function not a Z6/String, regardless of what our code says |
| | Resolved | | SimoneThisDot | T303302 Validate that the UX works with typed list for core types (e.g. Z4 has a typed list of Z3s) |
| | Resolved | | SimoneThisDot | T304101 Change the Type UX so that it works (viewing/creating/editing) with a typed list of Z3s for Z4K2 |
| | Resolved | | • JKieserman | T303303 Change the pre-defined core types to use typed lists and not general lists |
| | Resolved | | None | T291039 Functions using generic types as input types or output type can be defined and implemented |
| | Resolved | | None | T291045 Function created by a generic function call can be evaluated |
| | Resolved | | Jdforrester-WMF | T291046 Generic functions can be evaluated |
| | Resolved | | None | T291047 Generic functions can be implemented |
| | Resolved | | None | T291048 Generic functions can be defined |
| | Declined | | None | T291036 Function model: Z8 should change from a type to a function taking a type and a list of types and returning a type |
| | Resolved | | SimoneThisDot | T291041 Instances of a generic type are displayed correctly |
| | Resolved | | SimoneThisDot | T291042 Instances of generic types can be edited |
| | Resolved | | cmassaro | T291044 Instances of generic types are being validated |
| | Resolved | | cmassaro | T285260 Orchestrator Top-Level Validation Should Check Z1K1 |
| | Resolved | | SimoneThisDot | T297244 Let front-end users create and edit instances of any generic type |
| | Resolved | | SimoneThisDot | T291043 Instances of generic typed lists can be created |
| | Resolved | | cmassaro | T266241 Normalizer and canonicalizer should deal with local and global keys |
| | Resolved | | cmassaro | T289681 Composition creating a type doesn't evaluate |
| | Resolved | BUG REPORT | Jdforrester-WMF | T292890 Trying to create a Z14 throws "Cannot read properties of undefined (reading 'filter')" in Vue code |
| | Resolved | | SimoneThisDot | T295470 Change the type search API to allow users to search for functions returning a type in addition to instances of that type |
| | Resolved | | gengh | T262089 Store type identity output in wikilambda_zobject_labels table |
| | Resolved | | gengh | T297925 Change object search API to optionally include functions' return types as the 'type' filter |
| | Resolved | | cmassaro | T286975 Make it possible to define the Typed List function fully |
| | Resolved | | cmassaro | T287102 Resolve Z18s Wherever They Occur |
| | Resolved | | Jdforrester-WMF | T291049 Function that takes a type and returns a type can be evaluated |
| | Resolved | | DVrandecic | T291050 Functions that take a type and return a type can be implemented |
| | Resolved | | DVrandecic | T291051 Functions that take a type and return a type can be defined |
| | Resolved | | Jdforrester-WMF | T293663 Fix instancePath vs. dataPath in function-schemata, Add Tests |
| | Resolved | | cmassaro | T292808 Use type inference logic to serialize the return type of functions which return a generic ZObject (Z8K2 === Z1) |
| | Resolved | | SimoneThisDot | T291023 Instances of user-defined types can be entered using the default component |
| | Resolved | | Jdforrester-WMF | T291029 Instances of a user-defined type can be edited |
| | Resolved | | DVrandecic | T291025 Make it possible to define and implement functions using user-defined types as output or an input type |
| | Resolved | | None | T291028 Instances of a user-defined type which should not validate indeed do not validate |
| | Resolved | | None | T273124 Use evaluation for validation |
| | Resolved | | cmassaro | T260321 Allow users to trigger function calls for built-in functions (orchestrator-only) |
| | Resolved | | DVrandecic | T261964 Agree on architecture for first evaluation engine |
| | Resolved | | Lindsaykwardell | T280558 Normalize Inputs to Orchestrator |
| | Resolved | | arthurlorenzi | T275095 Move normalization and canonicalization code to function-schemata |
| | Resolved | | None | T262770 Normalize ZObjects |
| | Invalid | | None | T280559 Retrieve Function Signature from Orchestrator |
| | Resolved | | cmassaro | T282843 Hook up orchestrator to the evaluator and pass through appropriately-dereferenced Z7 calls |
| | Resolved | | cmassaro | T271762 Create initial Function Evaluator service |
| | Resolved | | cmassaro | T269697 Turn Function Evaluator into a service |
| | Resolved | | cmassaro | T269698 Make Function Evaluator work async |
| | Resolved | | cmassaro | T272630 Define interface for the function-evaluator |
| | Resolved | | Jdforrester-WMF | T276478 Provide "semantically peel-able" list of programming languages that we allow |
| | Resolved | | cmassaro | T273515 Create Execution Environments for Supported Languages |
| | Resolved | | cmassaro | T273517 Create Execution Environment for Python |
| | Resolved | | cmassaro | T275944 Create Execution Environment for JavaScript |
| | Resolved | | None | T261470 Sandboxing and monitoring of evaluations |
| | Resolved | | SimoneThisDot | T291022 Validators for user-defined types can be defined and linked |
| | Resolved | | SimoneThisDot | T291021 Make the UX for creating a user-defined type straightforward |
| | Resolved | | SimoneThisDot | T292891 Provide a custom UX for Z4/Type |
| | Resolved | | Jdforrester-WMF | T291031 Validator implementations can call Z101/object validator, and then add to it |
| | Resolved | | cmassaro | T262997 Validate the values on the keys on a user-defined type |
| | Resolved | | Jdforrester-WMF | T293831 WikiLambda documentation should explain how to get composer dependencies installed, lest users have missing ISchemaLoader fatals |
| | Resolved | | cmassaro | T291030 Validator of a user-defined type can be implemented |
| | Resolved | | cmassaro | T291026 Let user implementations throw a user-defined error during a user-defined validation |
| | Resolved | | None | T291027 Users can create error types |
| | Resolved | | DVrandecic | T293423 Create a function that turns an error type into a type |
| | Resolved | | arthurlorenzi | T290346 Function model: Change the signature of validators from Type -> List to Type -> Type (pass-through) |
| | Resolved | | • AdesojiThisDot | T293742 Navigate to "provide tests" after user define function, instead than to the newly defined object |
| | Resolved | | cmassaro | T290524 Resolution of Z7.Z8K4 Should Produce Normalized Output |
| | Resolved | | cmassaro | T289380 Provide tests proving that Map works with evaluated Z8s |
| | Resolved | | • JKieserman | T287427 New pre-defined built-in function: Z860/Get ZLanguage Given Language Code |
| | Resolved | | gengh | T287746 Update meta page about representation of errors with all the latest conversation/decisions |
| | Resolved | | gengh | T288123 Re-work Z5/Error model and handling |
| | Duplicate | | None | T288121 Just Give Those Z5s the Business |
| | Duplicate | | None | T288120 Get Z5s Tight and Right |
| | Resolved | | gengh | T288125 Create Language-Agnostic Mapping from Validator Error to Z5; Create Client Code in JS and PHP |
| | Resolved | | gengh | T288124 Create Common Representation of Errors in JS and PHP |
| | Resolved | | gengh | T287737 Function model: Replace Z6 with Z39 in the ErrorTypes (Z50) that have arguments that refer to keys |
| | Resolved | | gengh | T287692 Function model: We need an Error type that encapsulates Z5s |
| | Resolved | | Jdforrester-WMF | T290787 Datamodel: change Z22 to evaluation result, introduce new object for pairs |
| | Resolved | | cmassaro | T293910 Function model: Add Z882/Pair ZType to the model (and Z982 built-in implementation) |
| | Resolved | | gengh | T287488 New error type: Multiple errors |
| | Declined | | gengh | T287690 Switch opis/json-schema to v2 |
| | Resolved | | gengh | T287736 Add tests in function-schemata for multi-level errors |
| | Resolved | | gengh | T287735 Create error identification and Z5 formatting in function-schemata php library |
| | Resolved | | gengh | T290695 Support More Specific Validation for Canonical Form |
| | Resolved | | cmassaro | T290741 Type-Specific Canonical-Form Validation in PHP |
| | Resolved | | Jdforrester-WMF | T292093 Move the leftover php code from function-schemata to WikiLambda |
| | Resolved | | gengh | T293903 Remove deprecated ZObjectFactory methods and associated tests |
| | Resolved | | gengh | T287734 Replace wikilambda extension php validation code with call to schemata validation |
| | Resolved | | cmassaro | T276369 Create PHP bindings for function-schemata |
| | Duplicate | | None | T287986 Validation in function-orchestrator Should Return Z5s, not Z10s |
| | Resolved | | DMartin-WMF | T282820 Replace `function-schemata` Schema.validate with validate status |
| | Resolved | | cmassaro | T287980 Wrap Existing Executors in Try Blocks; Return a Z507 with Stack Trace if Execution Fails |
| | Resolved | | gengh | T287921 error.js Should Produce Valid Z5s |
| | Resolved | | arthurlorenzi | T287886 canonicalize() and normalize() should return Z5s instead of throwing errors |
| | Resolved | | cmassaro | T289687 Allow users to create instances of errors in composition |
| | Resolved | | gengh | T289094 Schema Creation Should Produce Error When ZID Is Invalid |
| | Resolved | | Jdforrester-WMF | T287509 Function model: Z502K2 should be a Z5, not Z99 |
| | Resolved | | gengh | T284672 Allow ZObject validation process in ZObjectFactory create method to return an array of errors instead of one. |
| | Resolved | | None | T292533 Convert ZError to human readable error, by accessing the labels and combining all different levels of errors. |
| | Resolved | | gengh | T294827 Provide a "getHumanReadable" method on the ZObject class in WikiLambda |
| | Resolved | | gengh | T292534 Improve format and readability of the errors returned by the APIs |
| | Resolved | | gengh | T292535 ZObjectStore creation and edition methods return a Status object, should they return Z5 instead? |
| | Declined | | None | T292650 Function model: Response envelopes should return a Z509/"List of Z5"-Error |
| | Resolved | | arthurlorenzi | T292168 Transform JSON javascript parser errors to Z5 errors in function-schemata |
| | Resolved | | arthurlorenzi | T294175 Make sure that schema validators are returning Z5/Errors in Normal Form |
| | Resolved | | gengh | T299209 function-orchestrator/evaluator: Migrate ZErrors to use Z885(Z50) as type |
| | Resolved | | DMartin-WMF | T296676 Propagate Validator Errors as Z5s |
| | Resolved | | gengh | T287700 Make error generation code produce an understandable result when called with non-existent arguments |
| | Resolved | | DMartin-WMF | T290216 Add definition for pre-defined Z804/Get key references from object and its built-in implementation Z904 |
| | Resolved | | cmassaro | T294452 Provide a 'map' type (object -> object) |
| | Resolved | | cmassaro | T304097 Allow Z883/Typed Map to accept Z39/Key reference objects as well as Z6/String objects |
| | Resolved | | cmassaro | T303471 Allow for Boolean Curry to work by supporting closures |
| | Resolved | BUG REPORT | cmassaro | T303564 Wrap type implementation throws validation error |
| | Resolved | BUG REPORT | DMartin-WMF | T303576 Literal instance of a user-defined type with a validator crashes the orchestrator |
| | Resolved | | gengh | T304146 function-schemata error generation methods create Z509s with Z10. Replace with typed list. |