ASPL لباتASPL 0.7.0

Search documentation

Search starts with current English documentation · ASPL 0.7.0

Enter a complete name such as read_line, or words about a topic.

    العربية
    Source files

    Open one UTF-8 .aspl or .لبات file, up to 1 MiB, in a new draft. It stays in this browser and does not run automatically.

    Verify HTTPS with an explicit private CA

    ASPL 0.7.0 · Current release

    Native only. Verify HTTPS with an explicit private CA, with exact supplied sources, requirements, commands and outcomes.

    On this page

    Prepare the native host

    Start the matching TLS service at https://localhost:8443. Put its trusted server.pem in the client working directory. Private CA replaces system trust and never disables verification.

    Follow the deployment guide for certificates, CA selection, working directories and the complete upstream workflow.

    Follow the HTTP guide and API reference. Keep the original filenames and the modules of the selected source variant. Save Arabic and English variants in separate directories. TLS inputs are supplied by the reader, with no bundled certificates or keys. No other data assets are required.

    Arabic source

    Native only · ASPL 0.7.0 · Arabic source

    Execution: Native only · ASPL 0.7.0

    Prerequisites:
    • Native only. Published ASPL 0.7.0 on x86-64 Linux with glibc 2.34 or later. No input lines. Start the matching TLS service at https://localhost:8443. Put its trusted server.pem in the client working directory. Private CA replaces system trust and never disables verification.

    Input: No input lines are required.

    Arabic source · Required source modules, keep each variant in a separate directory:

    استورد طلبات.لبات بسم طلبات.
    دالة ابدأ_الرئيسية() -> ص64 { أرجع طلبات::جرب("https://localhost:8443", صواب). }
    

    Follow the Linux instructions to run this example. Download the source to keep a copy.

    Download عميل-مشفر.لبات

    Expected outcomes
    {
      "native": {
        "check": 0,
        "status": 0,
        "output": "checked text, JSON, 00 FF 41, and 404"
      }
    }

    English source

    Native only · ASPL 0.7.0 · English source

    Execution: Native only · ASPL 0.7.0

    Prerequisites:
    • Native only. Published ASPL 0.7.0 on x86-64 Linux with glibc 2.34 or later. No input lines. Start the matching TLS service at https://localhost:8443. Put its trusted server.pem in the client working directory. Private CA replaces system trust and never disables verification.

    Input: No input lines are required.

    English source · Required source modules, keep each variant in a separate directory:

    import requests.aspl as requests;
    fn start_main() -> i64 { return requests::exercise("https://localhost:8443", true); }
    

    Follow the Linux instructions to run this example. Download the source to keep a copy.

    Download client-tls.aspl

    Expected outcomes
    {
      "native": {
        "check": 0,
        "status": 0,
        "output": "checked text, JSON, 00 FF 41, and 404"
      }
    }

    Commands and outcomes

    ar:

    aspl check ar/client-tls.لبات
    aspl run ar/client-tls.لبات
    aspl build -o http-client-tls-ar-program ar/client-tls.لبات
    ./http-client-tls-ar-program

    en:

    aspl check en/client-tls.لبات
    aspl run en/client-tls.لبات
    aspl build -o http-client-tls-en-program en/client-tls.لبات
    ./http-client-tls-en-program

    Run these commands from the parent of the separate ar/en source directories. With the matching TLS service and private CA ready, the client checks every response, prints the catalog output without a trailing newline and exits with 0. Expected outcome details above come from the catalog. See the HTTP collection.

    Historical normative scope

    • Historical specification, English source

      Historical MVP foreign-operation background only; native HTTP and explicit serving/state APIs are later extensions audited against published 0.7.0, not MVP requirements

    Browse pages